全文获取类型
收费全文 | 520篇 |
免费 | 19篇 |
国内免费 | 36篇 |
专业分类
系统科学 | 61篇 |
丛书文集 | 11篇 |
教育与普及 | 4篇 |
理论与方法论 | 18篇 |
现状及发展 | 11篇 |
综合类 | 470篇 |
出版年
2024年 | 2篇 |
2023年 | 1篇 |
2022年 | 8篇 |
2021年 | 4篇 |
2020年 | 10篇 |
2019年 | 8篇 |
2018年 | 3篇 |
2017年 | 9篇 |
2016年 | 7篇 |
2015年 | 8篇 |
2014年 | 32篇 |
2013年 | 20篇 |
2012年 | 14篇 |
2011年 | 40篇 |
2010年 | 30篇 |
2009年 | 43篇 |
2008年 | 52篇 |
2007年 | 61篇 |
2006年 | 42篇 |
2005年 | 36篇 |
2004年 | 26篇 |
2003年 | 23篇 |
2002年 | 20篇 |
2001年 | 15篇 |
2000年 | 8篇 |
1999年 | 18篇 |
1998年 | 6篇 |
1997年 | 7篇 |
1996年 | 7篇 |
1995年 | 4篇 |
1994年 | 2篇 |
1992年 | 4篇 |
1990年 | 2篇 |
1989年 | 2篇 |
1987年 | 1篇 |
排序方式: 共有575条查询结果,搜索用时 109 毫秒
1.
基于时间Petri网的密码协议分析 总被引:4,自引:2,他引:2
形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径,但是密码协议的形式化分析研究目前还不够深入.在文中首先对四类常见的密码协议形式化分析方法作了一些比较,阐述了各自的特点,然后用时间Petri网来表示和分析密码协议.该方法不但能够反映协议的静态和动态的特性,而且能够对密码协议进行时间、空间上的性能评估.作为实例,对Aziz-Diffie无线协议作了详细的形式分析和性能评估,验证了已知的、存在的漏洞,并且给出了该协议的改进方案. 相似文献
2.
3.
墨家辩学的研究对象与逻辑类型 总被引:1,自引:0,他引:1
《墨辩》六篇中的“辩”指的是论辩,墨家辩学理论是中国古代关于论辩形式、方法及其规律的科学。墨家辩学中包含有形式逻辑的思想,这种形式逻辑思想届于非形式化的,它通过辩学对自然语言中广义逻辑问题的研究得以表现,因此说,墨家辩学的逻辑类型是中国古代的非形式化的自然语言逻辑。 相似文献
4.
5.
随着电子商务在全球的迅猛发展,电子商务的安全问题日益受到人们的关注。安全的电子商务协议是确保电子商务活动可靠开展的基础,其中不可否认性和公平性则是电子商务协议的两个重要安全需求。介绍了Bolignano电子支付协议,对其不可否认性和公平性进行了分析,发现了协议在公平性方面存在不足,并通过引入ftp传送的思想,对协议进行了改进。最后本文通过严格的协议形式化分析,证明了改进后的协议满足不可否认性和公平性。 相似文献
6.
按照科学认识的一般发展顺序和哲学范畴构成的逻辑顺序构建了数学教育学的范畴存在层面范畴、认识层面范畴、实践层面范畴和价值层面范畴;并认为数学化、形式化与非形式化、知识的学术形态与教育形态、形式与实质、合情推理与演绎推理、数学地思考与数学建模等为数学教育学的基本范畴。 相似文献
7.
介绍了一种新的面向对象的形式化规范说明技术VDM++,它是VDM的一种扩充.并且通过一个实例说明如何应用VDM++技术对面向对象系统进行形式化规范说明. 相似文献
8.
基于通信顺序进程的计算机网络通信协议形式化描述 总被引:5,自引:0,他引:5
描述和设计计算机网络通信协议时,使用抽象的同步通信机制最为方便。但在实际中,使用异步通信机制将不可避免。基于霍尔的“通信顺序进程”和其他对通信协议描述与设计的理论研究结果,本文提出一个形式化方法,这个方法在不论使用何种实现通信机制的情况下都将保证通信协议的正确性 相似文献
9.
形式语义描述方法研究进展与评价 总被引:3,自引:0,他引:3
程序设计语言形式语义描述技术在1990年代进入新一轮发展高潮,它对程序设计语言的设计和标准化,编译程序的设计和优化,程序推理,以及安全协议形式化描述、分析验证与设计等都有着重要的意义。但不同于成熟统一的形式化语法描述技术,语义的形式描述技术尚处于蓬勃发展和多种技术并存时期。首先回顾形式语义描述方法的研究发展史;然后通过实例介绍当前主要的语义形式描述方法;最后给出这些方法的评价标准和比较结果,并指出最有发展潜力的语义描述方法,以及将来的发展方向。 相似文献
10.
信息系统风险评估的数学方法 总被引:4,自引:3,他引:4
给出了现代网络信息系统风险域及其风险点的形式化数学描述,建立了风险估计模型,对不同域中的风险关联性作了探讨,为网络信息系统的安全性评估提供了可行的数学方法。 相似文献