共查询到19条相似文献，搜索用时 62 毫秒
1.
时序逻辑作为一种规格说明语言,能够很好地描述程序性质.为了能够利用现有的定理证明器PVS(prototype verification system)对用时序逻辑公式描述的程序性质予以证明,从而达到程序验证的目的.文中在PVS中建立了时序逻辑的语义模型,同时给出了其语义解释.然后通过一个简单的例子(求解整数平方根的程序),应用时序逻辑公式对该程序的部分性质进行了描述,取得了较好的效果.实现了程序性质的时序逻辑公式表示,为使用PVS验证程序的性质打下了一个好的基础. 相似文献
2.
前期工作交互时态信念逻辑ATBL仅在二值语义下刻画了三种信念算子,没有探?讨它们的模糊语义问题.利用可信度函数给出模糊并发博弈结构,以模态算子的形式在ATL的语法层面给出了三种模糊信念算子,在模糊并发博弈结构下给出其语义,建立了模糊交互时态信念逻辑FATBL,使得ATBL成为FATBL的特殊情况.对Agent认知形式化作了进一步探索,为多Agent系统研究提供了一个较好的形式化工具. 相似文献
3.
4.
5.
欧阳建权 《湘潭大学自然科学学报》2008,30(1):23-27
量子计算以量子物理作为信息处理的理论基础,是一种新的计算模型.多值逻辑是对经典二值逻辑的扩展.为此引入多值逻辑,研究四值量子逻辑系统,主要论述了基于伽罗瓦域的四值量子比特和四值量子逻辑系统. 相似文献
6.
语义信息集成是目前屏蔽数据之间半结构性、异构性和分布性的主要方法,其目的是为用户提供最大范围的精确数据.本文以解决信息集成中的语义冲突为目的,采用Ontology描述全局数据概念、树型结构描述局部数据概念.在此基础上,给出数据的逻辑定义方法,利用相似度计算匹配值来实现数据在语义集成中的匹配,并描述语义信息集成中的映射算法.最后,给出了实验数据和算法执行结果,验证了此方法的正确性. 相似文献
7.
描述逻辑是本体的基础,在实际应用中,描述逻辑可被扩展.介绍了描述逻辑的一种新的扩展——带比较表达式的模糊描述逻辑(FCDLs)来表示和推理语义网的模糊知识.FCDLs的语法和语义以及公理和断言也有明确的定义.FCDLs是模糊描述逻辑(FDLs)的模糊概念和扩展的模糊描述逻辑(EFDLs)的剪集概念的结合.FCDLs和FDLs一样,它也可以使用语义网上的模糊知识来表示、推理模糊本体. 相似文献
8.
在再生核空间W5[0,1]中求解一类四阶奇异边值,给出精确解的级数形式的精确表达式.证明近似解一致收敛于精确解.数值算例验证了算法的有效性. 相似文献
9.
10.
岳嵘 《哈尔滨师范大学自然科学学报》2007,23(3):21-23
参考文献[1]给出了三个函数乘积的一至九阶导数公式,本文给出k个函数乘积的n阶导数公式.利用公式求该类函数的高阶导数,将起到较好的简化作用. 相似文献
11.
12.
提出了一种适合计算机运算的列表法,给出了两个最小项逻辑关系的计算方法,解决了组合逻辑电路的计算机辅助设计问题． 相似文献
13.
运用K图(卡诺图),不仅实现了与-或-非代数系统下逻辑函数的变换,并将逻辑函数的变换与化简结合起来,克服了代数法变换的繁琐与不足,丰富了变换的方法和途径;而且实现了将逻辑函数变换成与-异或代数系统下的RM展开式.K图法具有形象直观、方便快捷的特点,能提高数字电路的教学效果和设计效率. 相似文献
14.
15.
MSP430混合逻辑系统的设计 总被引：1，自引：1，他引：0
阐述了MSP430与非3．3V器件接口时存在的电源电压以及逻辑电平不匹配的问题，分析了产生这些问题的原因，并给出了相应的解决方案。 相似文献
16.
在开放逻辑中，令Γ为一假说，Ａ为一句子，对任何Γ到Γ的幂集合的一个映射ｆ本文定义了如下算子△ｆ，对任何，且．我们讨论了算子△ｆ的不动点的一些性质及其与Ｒ－重构的关系。 相似文献
17.
18.
直觉模糊时态逻辑算子及其性质 总被引：2，自引：0，他引：2
将always，sometime，until，unless等时态算子引入到直觉模糊逻辑中，提出了直觉模糊时态逻辑系统，并研究了该系统中时态算子的一些性质． 相似文献
19.