首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   61篇
  国内免费   1篇
  完全免费   46篇
  自动化技术   108篇
  2017年   4篇
  2016年   4篇
  2015年   7篇
  2014年   7篇
  2013年   7篇
  2012年   5篇
  2011年   5篇
  2010年   3篇
  2009年   6篇
  2008年   5篇
  2007年   6篇
  2006年   8篇
  2004年   2篇
  2003年   6篇
  2002年   3篇
  2000年   4篇
  1999年   2篇
  1998年   5篇
  1997年   1篇
  1996年   3篇
  1994年   2篇
  1993年   3篇
  1992年   4篇
  1990年   3篇
  1989年   3篇
排序方式: 共有108条查询结果,搜索用时 31 毫秒
1.
安全协议认证的形式化方法研究   总被引:6,自引:0,他引:6  
安全协议认证是网络安全领域中重大课题之一。形式化方法多种多样。该文首先论述了模型检测技术及其在安全协议验证中的应用,然后介绍了各种定理证明方法和定理证明工具,接着讨论其它形式化验证方法。最后论述形式化方法的一些研究方向。  相似文献
2.
一阶谓词演算定理机器证明的余式方法   总被引:5,自引:2,他引:3  
吴尽昭  刘卓军 《计算机学报》1996,19(10):728-734
本文将一阶谓词泻算的证明转化为代数族的计算,从而获得了代数化的Herbrand过程,双通过一阶多项式间的求余运算,给出了余式方法并评理服它的完备性。同时,我们证明了归结原理是余式方法的一种特例。  相似文献
3.
密码协议的秘密性证明   总被引:4,自引:0,他引:4  
在Paulson的归纳方法基础上提出一种新的密码协议秘密性的证明方法,该方法在消息事件结构中引入会话标识符,给出协议满足秘密性的充要条件,大大简化了协议秘密性的证明,高效且适合机械化实现。  相似文献
4.
安全协议的形式化需求及验证   总被引:4,自引:0,他引:4  
该文采用近世代数和时序逻辑的方法提出并描述了密码协议的形式化安全需求,并在AT模型的基础上加入信任和知识的非单调逻辑,建立了安全协议的计算模型。利用该计算模型对Denning-Sacco公钥协议进行了验证,发展了对此协议的重放攻击,并对协议进行了修改。  相似文献
5.
Vague集的模糊熵*   总被引:4,自引:0,他引:4       下载免费PDF全文
首先,在给出了反例证实现有方法在某些情况得出的结果与实际结论不一致情况下,提出了一个真正考虑了两种因素的改进的vague集模糊熵公理化定义;然后给出一种vague集模糊熵的新计算公式;最后通过定理证明和实例分析,指出它确实同时考虑到vague集的未知性和不确定性,从而证明所给出vague集模糊熵的定义是更加合理的.  相似文献
6.
非经典逻辑的语义tableau方法   总被引:3,自引:0,他引:3       下载免费PDF全文
1.引言自动推理作为自动定理证明的扩展,在计算机科学,特别是人工智能领域中占有重要的地位。许多系统,都是以推理系统作为其核心部分,因此自动推理的研究,对人工智能的其它分枝将产生深远的影响,它所提出的推理方法也被应用于人工智能的各个领域。目前主要的推理方法有:公理系统、自然演绎系统、归结系统、语义tableau系统,不同的方法对于不同的逻辑系统各有优劣。归结系统和语义tableau系统都比较适合于自动推理,其中归结系统与子句或合取范式CNF密切相关,对经典逻辑非常有效,但对于模态逻辑等非经典逻辑存在困难。首  相似文献
7.
基于串空间的Athena分析技术研究   总被引:3,自引:2,他引:1       下载免费PDF全文
基于串空间模型的研究是当前安全协议领域的一个研究热点。Song对串空间模型进行了扩展,将模型检验和定理证明结合起来,提出了一种取名为Athena的安全协议分析方法,并基于该方法开发了自动证明工具APV,Song的工作被认为是串空间理论发展的一个重要事件。本文对Athena进行了系统的分析,介绍了Athena的假设条件,给出了Athena的语法和语义,分析了该逻辑的优点和局限性,在此基础上,分析了Athena的核心算法,讨论了Athena算法自动高效的原因,以及该算法如何避免状态空间爆炸的技术,指出了该算法的缺陷,形成原因以及解决的一般方法。最后对Athena方法的发展方向进行了讨论。  相似文献
8.
前件推导及其计算机实现   总被引:2,自引:0,他引:2  
9.
实时系统软件开发过程中形式方法的作用   总被引:2,自引:0,他引:2  
针对实时系统软件开发的特殊性要求,本文强调形式方法是保证实时系统软件开发正确的一种重要方法。文章首先对形式方法的含义进行了系统的介绍,然后分析了形式方法的三个分支在实时系统软件开发过程中的作用,即形式规约、定理证明、形式验证,并指出了形式方法当前主要应用的能力以及应用的局限性,最后提出了形式方法的一些主要研究方向。  相似文献
10.
基于程序生成的自动化服务组合技术   总被引:2,自引:0,他引:2       下载免费PDF全文
叶力  陈俊亮 《计算机工程》2007,33(18):15-17
自动化服务组合技术是程序生成方法在Semantic Web Services领域的一种应用。该文提取了服务的“输入”、“输出”、“前置条件”、“执行效果”、“执行功能”,定义了服务的语义5元组。通过一个转换模版,把服务描述表述成一阶谓词逻辑公式,根据“证明与程序等价”的理论,利用自动化定理证明系统,完成从已有服务到目标服务的逻辑证明,从所记录的证明路径中提取目标服务的实现体,介绍了实现这一技术的原型系统。  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号