【摘 要】
：
本文对占先结构的 M-相似性开展了研究,主要讨论了 M-相似性与等价性之间的关系,在此基础上讨论了条件断言布尔组合的语言表达能力。获得的主要成果包括: (1) 提出了一种弱化
论文部分内容阅读
本文对占先结构的 M-相似性开展了研究,主要讨论了 M-相似性与等价性之间的关系,在此基础上讨论了条件断言布尔组合的语言表达能力。获得的主要成果包括: (1) 提出了一种弱化的互模拟概念-M 相似,应用一阶转化技术,基于模型论方法和结果,揭示了 M-相似性和占先结构等价性之间的密切联系,给出了判定占先结构等价性的充要条件。 (2) 研究了条件断言布尔组合的语言表达能力,给出了一阶语句等价于条件断言(正)布尔组合的模型论特征。 (3) 建立了占先结构类可以由条件断言(正)布尔组合刻画的充要条件以及有限刻画的充要条件。
其他文献
虚拟化带来的性能开销阻碍了高性能计算在虚拟集群环境下的大规模应用。首先,虚拟化层次的引入在传统操作系统任务调度中加入了虚拟CPU调度这一额外层次,带来了额外的调度开
随着信息化时代的来临,大规模存储、计算、网络服务的需求快速增加,云数据中心作为一种大规模数据存储、处理网络服务的平台,越来越受到人们的重视。随着服务器虚拟化等技术
本文主要论述了通用分布式网管平台的设计与实现，以及IP网络拓扑管理中的拓扑自动发现算法。通用网管平台是为了解决传统网管系统无法实现对不同类型网络进行管理这一弊端而提
本文在描述Grid Service和J2EE的计算资源整合的需求的基础上，并在介绍了一些整合相关的基本元素之后，给出了基于OGSA的Grid Service与J2EE整合的总体策略，分别从整合的静态架构
本文主要研究面向RE/RP(Reverse Engineering/ Rapid Prototyping)的ICT（Industrial Computed Tomography）切片数据的CLI (Common Layer Interface)建模技术，它综合了ICT技术、
受传感器网络里密钥管理方案的启发，本人提出了更好的Ad Hoc密钥管理架构和方案。 首先，引入簇的概念，对Ad Hoc网络进行分而治之，而不是对整个网络作为一个整体来管理。其次，充
目前正在兴起的信息系统门户技术，为整合信息系统接口提供了新的思路。利用门户来整合信息系统接口和信息系统平台的业务流程成为当前信息化建设的新热点。 深入研究信息门
随着Internet的迅速发展和普及,用户要求更广泛和普遍的信息和资源共享。P2P技术具有分布式的特性并且能够充分利用资源,这使得它在文件共享应用中能够发挥巨大作用。但是,由
地理信息系统是用于采集、存储、管理、处理、检索、分析和表达地理空间数据的计算机系统。WebGIS软件发展很快,它是最近GIS研究的热点也是GIS发展的方向。研究、分析、探讨W
对于网络安全设备而言，性能和成本一直是矛盾的两个方面。高性能网络设备大都采用了ASIC技术来保证网络设备的高吞吐率：而面向中、小企业机构的网络设备只能采用成本较低的CPU