导读:本文包含了时态模型论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:时态,模型,关系,范式,嵌套,代数,逻辑。
时态模型论文文献综述
王轶,骆犀羚[1]（2019）在《结构平衡理论的时态模型:形式系统与程序实现》一文中研究指出敌友逻辑(van der Hoek, et al., 2018)采用结构平衡理论的视角对社会网络的动态变化进行了刻画。在一个稳定的社会网络中,主体之间没有理由改变当下的关系,而不稳定网络则通常会向稳定网络演进。敌友逻辑基于分支时间逻辑CTL,其中每条时间线表示网络的一个演进过程。本文前半部分探讨敌友逻辑的可靠且完全的公理系统。敌友逻辑的模型检测、有效性和可满足性检测问题的计算复杂性已知都是PSPACE完全的。本文后半部分介绍敌友逻辑模型检测的程序实现。(本文来源于《逻辑学研究》期刊2019年02期）
李申章,牛斌,张雪坚,何映军,段琳[2]（2018）在《基于基态修正模型的电力GIS时态模型研究》一文中研究指出通过对基态修正模型的研究,建立了一种时间和空间结合的基于基态修正模型的电力GIS模型,有效地组织、管理和完善电网时态地理数据、属性数据、空间数据和时间语义,并重建历史状态、跟踪变化、预测未来;支持电力GIS对时空变化过程的存储,分析和检索,同时支持传统的GIS的空间分析功能,设计和实现了电网GIS及其电网运行数据的快照恢复,变化查询,历史演化分析和数据更新等功能。(本文来源于《中国管理信息化》期刊2018年07期）
吴长彬,闾国年[3]（2008）在《一种改进的基于事件-过程的时态模型研究》一文中研究指出针对当前基于事件时态模型研究的现状和存在的问题,从时空语义表达的目的和要求出发,提出了一种改进的基于事件-过程的时态模型(event-process based spatio-temporal model,E-PSTM),将事件进一步细分为若干过程的组成;采用面向对象的方法进行了模型的逻辑设计。通过模型在地籍变更系统的应用,证明其可方便地实现对土地登记事件和空间变迁过程语义的查询。(本文来源于《武汉大学学报(信息科学版)》期刊2008年12期）
党齐民,孙黎明[4]（2008）在《一种N1NF的时态模型的研究》一文中研究指出基于对时态数据的处理效率问题,提出一种允许关系嵌套的N1NF的时态数据模型,根据模型的特性建立了新的时态操作,并通过关系代数描述了这些时态操作,最后说明本模型的有效性。(本文来源于《计算机与数字工程》期刊2008年10期）
党齐民,孙黎明[5]（2008）在《一种N1NF的时态模型的研究》一文中研究指出基于对时态数据的处理效率问题,本文提出了一种允许关系嵌套的 N1NF 的时态数据模型, 根据模型的特性建立了新的时态操作,并通过关系代数描述了这些时态操作,最后说明了本模型的有效性.(本文来源于《全国第19届计算机技术与应用（CACIS）学术会议论文集（上册）》期刊2008-07-01）
刘汉斌,陈世鸿[6]（1999）在《时序媒体间同步控制机制的时态模型》一文中研究指出在大量实际研制、开发多媒体软件产品工作基础上，通过分析现有同步控制方法的优缺点，提出了一个统一的、可适应时序媒体间同步关系定义的时态模型，该模型可满足时序媒体定量定性的同步控制要求，并给出了“唇同步”控制的时态定义实例．(本文来源于《武汉大学学报(自然科学版)》期刊1999年05期）
王家廞[7]（1995）在《具有不确定性的时态模型》一文中研究指出1引言 许多时态逻辑考虑定性的确定时态信息。Allen~[1.2]推荐一种区l可代数,提出了3定性的确定时态关系。VanBek~[14],Ligozat~[10],Pape~[12],RitL~[13],Ladkin~[5][6]和eban[8]也研究了时间区间的(本文来源于《计算机科学》期刊1995年06期）
时态模型论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
通过对基态修正模型的研究,建立了一种时间和空间结合的基于基态修正模型的电力GIS模型,有效地组织、管理和完善电网时态地理数据、属性数据、空间数据和时间语义,并重建历史状态、跟踪变化、预测未来;支持电力GIS对时空变化过程的存储,分析和检索,同时支持传统的GIS的空间分析功能,设计和实现了电网GIS及其电网运行数据的快照恢复,变化查询,历史演化分析和数据更新等功能。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
时态模型论文参考文献
[1].王轶,骆犀羚.结构平衡理论的时态模型:形式系统与程序实现[J].逻辑学研究.2019
[2].李申章,牛斌,张雪坚,何映军,段琳.基于基态修正模型的电力GIS时态模型研究[J].中国管理信息化.2018
[3].吴长彬,闾国年.一种改进的基于事件-过程的时态模型研究[J].武汉大学学报(信息科学版).2008
[4].党齐民,孙黎明.一种N1NF的时态模型的研究[J].计算机与数字工程.2008
[5].党齐民,孙黎明.一种N1NF的时态模型的研究[C].全国第19届计算机技术与应用（CACIS）学术会议论文集（上册）.2008
[6].刘汉斌,陈世鸿.时序媒体间同步控制机制的时态模型[J].武汉大学学报(自然科学版).1999
[7].王家廞.具有不确定性的时态模型[J].计算机科学.1995
论文知识图
