基于子结构逻辑的不确定性语义时态查询技术研究

为解决不确定性语义时态查询及其计算资源配置的优化问题,使用子结构逻辑对时态演算机制进行了完善并构建了查询中间件原型. 基于构造性逻辑语义,构建了中间件演算流程,将时态属性映射为类型语义,使针对时间属性的运算从句法演算中剥离,在保证表达能力的前提下,仅进行语义计算,加速并优化了查询演算流程.实验结果表明:该方法与中间件原型可行、高效,具有共性,为时态信息处理提供理论与技术支撑.     

并发Lambek演算在时态查询中的语义转换

 为寻找时态逻辑的替代者,以公理化的方式对时态查询语言做句法和语义的分析,构建了并发的Lambek演算（L_CTQ）及其范畴语法用以作时态查询的句法分析。根据L_CTQ演算构造相应的L_CTQ标号自然演绎系统,从而提供句法演算到语义计算的转换方式,为时态查询语句的语义分析提供相关接口。     

反应式系统的并发模型（Ⅳ）——时态逻辑模型

基于文（１￣３）,提出反应式系统并发描述的时态逻辑模型,并给出抽象计算模型的时态语义。     

基于时态逻辑的抽象对象规约方法

提出了一种基于时态逻辑的抽象对象语义描述方法,采用这种方法,可以在说明对象的同时对其行为加以时态限制,从而在语义层次上规约了并行对象系统的行为。在此方法上,还可以进一步对系统进行形式化的验证。     

基于MS SQL的时变属性的表达机制研究

时态信息处理是当前信息处理的主要研究方向之一,时变信息的表达与应用是时态信息处理的关键技术。文中利用RDBMS系统实现时态信息的表达和时态信息的基本应用,通过基于MS SQL的结构化语言实现时态信息处理,特别是对于记录时变属性的时间变元Now的有关操作进行了设计,表达了时态变元Now的即时变化的语义。     

分布式多空间数据库复杂时态数据提取技术

传统方法实现过程复杂、历史复杂时态数据的片面性,导致其无法全面地描述时态数据;且相似性计算无法准确匹配具有动态性与复杂性的时态数据,造成提取精度低。为此,提出一种新的分布式多空间数据库复杂时态数据提取技术。设计动态RBF神经网络,对分布式多空间数据库中未知动态进行识别和建模;通过建模结果完成对复杂时态数据的描述。依据加权关联规则与时态关联规则对支持度和置信度的定义,获取T-FS-tree加权时态关联规则中支持度和置信度。将复杂时态数据描述序列、最小支持度、最小置信度作为输入,将加权时态关联规则作为输出,建立T-FS-tree加权时态关联规则挖掘算法。按照向量计算获取加权时态频繁1项集以及频繁2项集,依据获取的加权时态频繁项集建立初始频繁项集树;依据初始频繁项集树获取全部时态频繁项集;通过获取的频繁项集产生加权时态关联规则。从所有关联规则中选择优先度高的规则,构建的复杂时态数据提取器,实现复杂时态数据提取。实验结果表明,所提方法复杂性低,提取结果更加全面、可靠,有很高的准确性。     

数据库时态处理中间件的设计和实现

根据时态数据库的原理，提出了通过中间件，TDBASE和非时态数据库管理系统交互实现时态处理的设计思想，并描述了TDBASE所支持的时态语法和TDBASE的实现过程。用户可以通过，TDBASE所提供的接口，把具有时态语义的SQL转换成标准的SQL后交由非时态的数据库管理系统运行，从而实现了该数据库管理系统的时态处理功能和其管理下的时态数据库。     

一种集成时空数据模型及语义扩展

采用面向对象的方法提出了一种具有集成特点的时空数据模型．模型分别扩展了空间数据对象和时态数据对象,时空对象是空间对象和时态对象的聚集,空间对象的变化由对象的行为进行描述并以不同的版本表现出来．此外,通过量词符号在时域上的扩充对对象的基本关系进行了语义扩展,在形式上将时态和空间谓词语义统一起来．这种模型能够更好地适应时空信息系统的应用需求．     

一个模糊时态数据库关系代数理论

为了解决时态数据库对客观世界更符合实际的抽象描述、能有效表示和处理复杂对象、支持用户定义的数据类型、扩展建模能力、减少不同类型数据转换代价大等问题,针对复杂数据不仅有时态性,而且具有模糊的特性,从基本的时态数据库模型入手,定义了一系列模糊时态关系元素,并建立了一个能描述模糊时态信息的1NF关系代数.从理论上论证了相应的模糊/时态关系代数映射及运算模型,避免了模糊时态数据库不能提供表达时态信息的环境设施,也增强了现有时态数据库描述模糊事物特性的能力.     

基于时间区间关系的时态模糊描述逻辑研究

针对传统的模糊描述逻辑对随时间变化的不精确知识缺乏表达能力,运用时态逻辑,结合模糊计算,提出了基于时间区间关系的时态模糊描述逻辑—TFDL(IntervalAllen).引入Allen区间关系用于表示时间区间关系,并给出了TFDL(IntervalAllen)的语法和语义.该逻辑形成的系统增强了不精确知识的时态关系的表达能力.     

时态助词“将”的意义浅探

本文根据句法格式及"将"、动词、趋向补语三者之间的语义关系,对"将"的两种时态意义及语法功能进行了研究。     

模糊交互时态逻辑及其语义结构

Alur等人建立的交互时态逻辑（ATL ＊）是一种重要的多Agent合作逻辑,它对计算树逻辑（CTL ＊）进行了合作算子拓展,然而它缺乏对不确定时态信息的刻画。通过考察模糊时态事件和模糊时态状态、描述相对时间来改进并发博弈结构,并给出模糊并发博弈结构;把模糊并发博弈结构的若干要件从相对时间域到绝对时间域进行映射,给出已映射模糊并发博弈结构;建立了模糊交互时态逻辑（FATL ＊）,给出其语法,在已映射模糊并发博弈结构下给出其语义;阐述了FATL ＊的表达力比ATL ＊强。     

浅议西班牙语简单过去时与过去未完成时

西班牙语的时态较多也较复杂,且不同于英语的语法体系,其中简单过去时和过去为完成时这两个过去时态对中国学生来说比较难以辨别。本文通过对这两种时态的具体分析以帮助西班牙语学习者理解它们各自的具体用法并分辨其异同。     

基于时态逻辑语言XYZ/E的软件体系结构研究(Ⅰ)——基本组件和连接件的描述

XYZ/E是世界上第一个可执行的时态逻辑语言,它既能描述抽象静态语义,又能表示程序的动态语义,这一特征恰好适合分层描述软件体系结构.本文采用XYZ/E语言刻画了软件体系结构的基本组件与连接件;它为进一步描述体系结构风格提供了一个基础.     

基于DATL的信息物理融合系统安全性建模与验证

为解决微分时态动态逻辑(d TL)表达能力弱以及微分代数动态逻辑(DAL)缺少时序表达能力的问题,提出了一种结合d TL和DAL的微分代数动态时态逻辑(DATL).采用微分代数程序(DAP)作为操作模型,使DAL具有d TL的时序处理能力.定义了DATL操作模型的DAP和DATL语法,给出了DAP的迹语义和DATL语义,在继承d TL和DAL规则的基础上新增了6个规则.通过对飞机避撞系统安全性的规约和验证,检验了DATL的有效性.     

基于时态逻辑语言XYZ／E的软件体系结构研究（Ⅰ）－－基本组件和连接件的描述

XYZ／E是世界上第一个可执行的时态逻辑语言，它既能描述抽象静态语义，又表表示程序的动态语义，这一特征恰好分层描述软件体系结构。本文采用XYZ／E语言刻画了软件体系结构的基本组件与连接件；它为进一步描述体系结构风格提供了一个基础。     

Fuzzy时态逻辑

在现实生活中,我们日常用语具有时间性和Fuzzy性,计算机处于翻转状态时的描述,随时间的改变而变更命题真假的逻辑都具有这两个特点。大家所熟知的二值逻辑不能解决这一类问题,这里提出的Fuzzy时态逻辑,主要是研究具有这样两个特征的语句。本文针对时态语句的特点,引进了三个时态算子,并将时态语句符号化。在此基础上又引进了四个联结词和两个量词,这样就可以对语句作出全时间性(即对过去、现在、将来)的判断。在定义了广义的“历史”和“历史时刻”两个概念后,对时态语句进行了语义解释,并在各种有序的时间上进行语句赋值,从而给出了Fuzzy时态逻辑的一个极小弱谓词演算系统Jt。     

现有时空数据模型的研究

阐述了时空数据建模的主要定义,分析了时空数据库领域的建模需求,包括时态语义、空间语义、时空语义和查询能力．通过对各模型在时空领域中实际应用的研究,重点比较了现有时空数据模型在这4个需求方面的能力表现,并对模型做出评价．结果表明,面向对象数据模型和移动对象数据模型在时空对象的表达上体现了较强的能力．     

英语不定式与动名词作宾语时的选择

就动词不定式和动名词作宾语的语义、时态、语态和搭配等方面进行归纳、对比．把接动名词或不定式作宾语的限定动词分为六类，提出正确选择不定式或动名词作宾语的六种方法。并运用实例来说明用不定式和动名词作宾语时的时态和语态选择的关键所在．以及不定式和动名词在复合宾语中的选用。     

英语时态简表教与学

本文将英语时态按照线性图形象具体地标注成常见的16种,在学生的头脑中构建出一个比较完整的知识体系,让他们熟记每个时态分布在哪个区域,然后在理论定义和例句以及习题和对比学习的辅助之下,复杂的英语时态就会清晰和容易多了.