全文获取类型
收费全文 | 54篇 |
免费 | 7篇 |
国内免费 | 15篇 |
专业分类
综合类 | 6篇 |
化学工业 | 1篇 |
机械仪表 | 2篇 |
建筑科学 | 1篇 |
轻工业 | 1篇 |
无线电 | 6篇 |
冶金工业 | 1篇 |
自动化技术 | 58篇 |
出版年
2024年 | 1篇 |
2021年 | 1篇 |
2019年 | 2篇 |
2017年 | 1篇 |
2016年 | 2篇 |
2015年 | 1篇 |
2014年 | 4篇 |
2013年 | 3篇 |
2012年 | 5篇 |
2011年 | 2篇 |
2010年 | 2篇 |
2009年 | 10篇 |
2008年 | 7篇 |
2007年 | 3篇 |
2006年 | 2篇 |
2005年 | 4篇 |
2004年 | 5篇 |
2003年 | 2篇 |
2001年 | 1篇 |
2000年 | 4篇 |
1999年 | 2篇 |
1998年 | 4篇 |
1996年 | 3篇 |
1995年 | 1篇 |
1994年 | 1篇 |
1993年 | 2篇 |
1992年 | 1篇 |
排序方式: 共有76条查询结果,搜索用时 46 毫秒
1.
《计算机学报》2014,(8)
为了近一步提高模态逻辑推理机的效率,提出了两种Tableau算法优化技术——冲突技术和矛盾学习技术,并结合这两种技术实现了针对模态逻辑S4的推理机S4P.在此基础上,为了从Tableau算法生成的模型图中构造一个规模较小的模型,又提出通用模型的概念,然后给出通用模型的规约技术并证明该技术对于任意依赖于公理D、T、B、4和5中部分或全部公理的正规模态逻辑的正确性.最后,使用逻辑工作台测试用例对S4P的效率进行测试,实验结果表明S4P的效率优于RACER和FACT++;同时,对S4P生成的测试用例中非有效公式的否定对应的通用模型进行规约,实验结果表明通过模型规约能明显地缩减模型的规模. 相似文献
2.
由于必然模态词□的引入,谓词模态逻辑的公式在一个可能世界中的真假值可能依赖于其可达的可能世界.在谓词模态逻辑中存在个体跨可能世界相等问题.针对这一问题,Lewis提出了对应物理论,并且在对应物理论中用对应物关系来表示个体跨可能世界相等.但是,当一个对象具有一个以上的对应物时,谓词模态逻辑中的跨可能世界相等关系无法与对应物关系建立一一对应.通过限制谓词模态逻辑中全称量词∀的范围,给出了一种公式分层的谓词模态逻辑.它是谓词模态逻辑的一个子逻辑,并且其语言与谓词模态逻辑的语言是相同的.但其公式是分层定义的,使得∀可以出现在□的范围内,并且□不能出现在∀的范围内.由于任意形如∀x□φ(x)的表达式都不是该逻辑的公式,以量词开头的公式在一个可能世界w中的真假值只依赖于w,该逻辑避免了个体跨可能世界相等问题.给出了该逻辑的语言、语法和语义,并证明了该逻辑是可靠的和完备的. 相似文献
3.
模态语言是讨论关系结构的一种简洁的语言。基本模态语言是仅有一个模态算子◇的模态语言,用ML(◇)表示此语言,但基本模态语言对框架关系的表达力并不是完全的,加入新的模态算子是增强模态语言表达力的方法之一。在基本模态语言ML(◇)基础上增加全局性模态词“E”得到ML(◇,E)语言,这种更丰富的语言对关系模型和关系框架的表达力明显强于基本模态语言。 相似文献
4.
5.
In this paper, we present a logic system for probabilistic belief named PBL,which expands the language of belief logic by introducing probabilistic belief. Furthermore, we give the probabilistic Aumann semantics of PBL. We also list some valid properties of belief and probabilistic belief, which form the deduction system of PBL. Finally, we prove the soundness and completeness of these properties with respect to probabilistic Aumann semantics. 相似文献
6.
7.
8.
一个安全协议度量方法及其应用 总被引:1,自引:0,他引:1
简要说明了对安全协议进行协议度量和冗余度量的一个基于模态逻辑方法,形式化地给出了协议对安全目标满足度的度量方法定义,并讨论了相应的协议冗余分析和化简方法。给出了对安全协议的内容进行逻辑比较的准则,结合实例分析了两个协议之间的逻辑包含关系。讨论结合逆向推理的两个应用:对基于模态逻辑的协议分析中隐含假设的分析方法,协议设计和生成方法。 相似文献
9.
10.
安全协议的形式化分析方法 总被引:1,自引:0,他引:1
形式化分析方法是目前安全协议验证的主流方法.通过对常用的几种形式化验证方法进行概述和分析,论述了模态逻辑、模型检测技术在安全协议验证中的应用,介绍了各种定理证明方法和工具,并讨论其他形式化验证方法和形式化方法的一些研究方向. 相似文献