论文摘要撰写要求

<正>是以提供文献内容梗概为目的,不加评论和补充解释,简明、确切地记述文献重要内容的短文。其基本要素包括研究目的、方法、结果和结论。具体地讲就是研究工作的主要对象和范围,采用的手段和方法,得出的结果和重要的结论。篇幅以150字左右为宜。具体包括以下方面:1本文的研究目的或要解决的问题;2解决问题的方法及过程;3主要结果及结论;4本文的     

格值时态命题逻辑LTP(X)的语义问题

在格值命题逻辑系统LP(X)中引入时态算子E(曾经)和F(将会)以及它们的对偶算子H(曾经总是)和G(将会总是)，建立了一个以时轴为语境的格值时态命题逻辑系统LTP(X)，讨论了LTP(X)与时间相关的一系列性质及时态词的重叠问题，证明了MP语义规则和HS语义规则在该系统中成立。     

论科技论文英文摘要的撰写

明确指出了英文摘要对于科技论文在国际交流等方面的重要性以及当前部分作者在英文摘要的撰写中出现的各种问题．并从英文摘要的篇幅、时态、语态和人称等方面详细地讨论了英文摘要的写作方法．     

车展进行时

每逢车展,看到忙碌的同事和媒体同行们,就让我想起大雨将至前的蚂蚁。这样一种状态,似乎很难用一两句话能表述清楚。这让我联想到英语语法中的"现在进行时态",套用一下概念,面对4月末的北京国际车展,相信此时此刻的我们与中国汽车圈的很多人,都进入了"车展进行时态"。     

后现代主义曾为何物

上世纪80年代,人们常问"什么是后现代主义?"时至今日,后现代主义改变了时态,人们更多的是问"后现代主义曾为何物?"本文认为,后现代主义的特征是不平衡发展,不仅是区域上而且在学科和文化领域里也如此.在有些领域,后现代主义发展得快而确然,在另一些领域却是另一番情景.具体情况应具体分析,不可将某一领域的现代主义和后现代主义的可行之区分用于所有的文化领域.     

On Derived Functions of English Progressive Tense

By analysing example sentences, this paper puts forward an idea that English progressive tense has some derived functions apart from its basic usage, which we can use to express or take in ideas more accurately.     

顾及时间维动态分段技术研究

动态分段是一种新的线性特征的动态分析、显示和绘图技术,极大地提高了GIS中线性要素的处理能力,然而,传统动态分段技术在处理具有时态性线性数据时却存在明显的不足。在对传统动态分段技术及其基本要素的探讨和研究的基础上,根据线性特征要素的类型分类,分别给出了顾及时间维的动态分段的数学表达;最后提出了利用时间-线路量度值图(TTD)空间描述时态动态分段的新方法。     

船舶数据模型化传输方法

船端动态异构数据的解析和转换是实现智能化的前提,采用统一的数据模型便于后续提供算力服务。JSON数据模型因其轻量级、易解析、高效率等特点,被用在多种数据传输和数据模型中,通过在非时态JSON模型中加入时间属性,构成时态JSON数据模型,记录数据信息的动态变化,有利于获取任意时刻的数据快照,便于历史数据的查询和分析。最终数据通过DDS(Data Distribution Service)发布订阅式架构实时高效地分发出去。     

公路隧道位移判定基准研究

位移判定基准的设定是采用位移量测信息评价隧道结构安全性的一个关键性问题,传统位移控制基准值的确定方法通常依赖于工程经验,其数据的可靠性不大。论文通过采用支护开裂观察、位移速率信息两个指标进行综合分析,提出四个位移监测管理水平,并根据实测位移-时间时态曲线确定了各管理水平的位移控制基准值,以实现隧道结构安全性评价的准确性。