排序方式: 共有160条查询结果,搜索用时 15 毫秒
1.
稳定类语义和辨论语义是逻辑程序语义学研究方面突出的两种语义统一框架理论,它们统一了一些很重要的语义,因为它们有着不同的直觉和概念,它们的相互关系并不清楚。我们在它们最基础的概念层次上证明了,常规逻辑程序句法下二者是等价的,它们有着同样的语义统一能力。基于这个结果,我们为有前途的辨论语义指明一种迭代构造的方法。 相似文献
2.
基于模糊神经网络味觉信号识别的研究 总被引:5,自引:1,他引:4
文中提出了一种基于模糊神经网络方法的味觉信号识别模型,利用小波变换实现了对传感器所采集的味觉信号进行数据压缩及特征抽取,以模糊神经网络作为味觉信号的识别工具。 相似文献
3.
SFT:一个具有较短冻结时间的一致检查点算法 总被引:1,自引:0,他引:1
介绍了一个基于消息记录的一致检查点算法-SFT算法,SFT算法能够实现分布式系统的容错,该算法具有无多米诺效应,冻结时间短,开销小和重启动算法简单的优点,SFT的IPC机制基于PVM,能够保证消息的有序到达,并且其消息的发送和接收操作都是原子操作,另外,IPC机制中进程的id值编码与所在机器无关,这样一个过程即使从故障机器迁移到其它机器上运行仍可与其它进程继续通信,为提高检查点操作的并行性,SFT 相似文献
4.
利用PC机实现对展厅内多个外部设备的自动控制,硬件系统采用可编程输入输出卡,可控制48路外设,软件系统采用Delphi语言嵌汇编的方法直接对DIO端口进行控制。 相似文献
5.
刻画基于模型的中心诊断* 总被引:3,自引:0,他引:3
虽然对基于模型的诊断存在一系列不同的逻辑定义,但所幸的是存在一个统一的抽象定义,它概括了以往的不同定义.在该定义基础上提出了基于模型的中心诊断的概念.通过刻画基于模型的中心诊断过程,论证了基于模型的中心诊断与本原蕴含/蕴含式的直接关系,从而将其理论结果与ATMS(assumption-based truth maintenance system)这类算法联系起来.进一步指出,对基于一致性中心诊断的刻画仅仅是文中所给出的刻画的一个特殊情形. 相似文献
6.
在本文中,我们引进了算子模糊逻辑中的λ-蕴涵和λ-强蕴涵的概念,λ-逻辑结果和λ-弱逻辑结果的概念。证明了两子句的的λ-归结式是这两个子句的λ-逻辑结果,从而完成了λ-归结的完备性定理的证明。 相似文献
7.
8.
9.
面向对象软件的形式规格说明技术 总被引:1,自引:0,他引:1
本文介绍四种面向对象形式规格语言。Object-Z是Z语言的一种扩充,可用于面向对象软件需求规格的形式说明。为研究软件维护和逆向工程,提出了Z~(++),是Z的另一种扩充,其中引入了过程式描述机制。COLD-K是基于代数规格说明技术的面向对象软件设计语言,是一种核心语言,可设计面向用户的形式规格语言,JOOSL是基于COLD-K和Z语言的一种面向对象设计语言,可用于软件自动化的研究。 相似文献
10.
利用格论研究缺省推理 总被引:1,自引:1,他引:0
本文提出了一组转换规则,使用这组转换规则可以把缺省规则转换成扩展规则,然后使用这些扩展规则去扩展缺省理论的初始逻辑公式集合,在这些扩展规则的基础上,我们提出了缺省格(default lattice)的概念,证明了缺省理论的外延刚好对应于它的缺省格的相容性集合的D-极大值,因此可以使用缺省格求出缺省理论的所有外延. 相似文献