全文获取类型
收费全文 | 521篇 |
免费 | 17篇 |
国内免费 | 38篇 |
专业分类
系统科学 | 62篇 |
丛书文集 | 11篇 |
教育与普及 | 4篇 |
理论与方法论 | 18篇 |
现状及发展 | 11篇 |
综合类 | 470篇 |
出版年
2024年 | 2篇 |
2023年 | 1篇 |
2022年 | 10篇 |
2021年 | 7篇 |
2020年 | 11篇 |
2019年 | 8篇 |
2018年 | 3篇 |
2017年 | 9篇 |
2016年 | 7篇 |
2015年 | 8篇 |
2014年 | 32篇 |
2013年 | 20篇 |
2012年 | 14篇 |
2011年 | 40篇 |
2010年 | 30篇 |
2009年 | 43篇 |
2008年 | 50篇 |
2007年 | 58篇 |
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篇 |
排序方式: 共有576条查询结果,搜索用时 15 毫秒
11.
协议一致性测试是协议测试中最为关键的测试,是其他协议测试类型的基础。已经有大量的研究与实践对协议一致性测试做了深入探讨,到目前为止,仍然缺乏系统、有效而实用的协议一致性测试方法。从协议一致性测试的协议形式化描述技术人手,分别对协议一致性测试过程中的描述、测试序列生成、测试实现与执行进行了综合研究,阐述了其中存在的问题并给出了基本解决思路。 相似文献
12.
应用形式化分析技术对电子商务系统模拟与验证,可以查找系统设计中的错误和不足,确保系统的正确性和健壮性.本文将目前用于电子商务系统的形式化方法划分为四大类,综合分析并比较了各类方法的应用特点,并指出了进一步地研究工作. 相似文献
13.
信息系统风险评估的数学方法 总被引:4,自引:3,他引:4
给出了现代网络信息系统风险域及其风险点的形式化数学描述,建立了风险估计模型,对不同域中的风险关联性作了探讨,为网络信息系统的安全性评估提供了可行的数学方法。 相似文献
14.
一种认证安全性的分析与设计逻辑 总被引:1,自引:0,他引:1
针对BAN逻辑的局限性,在BSW逻辑的基础上,提出了一种针对认证安全性的分析与设计逻辑.同时,以Needham-Schroeder公钥协议及X.509三消息协议的分析与再设计为例,证明了该逻辑的正确性和有效性. 相似文献
15.
针对虚拟化环境中用户进程运行安全问题,提出一种适用于虚拟化环境的进程隔离方法.该方法引入安全域作为进程隔离保护的基本单元,安全域是进程以及进程运行过程中依赖的环境构成的整体,通过建立安全域之间的依赖关系和安全域之间信息的交换规则,确保进程初始安全和运行过程中的隔离性.给出了安全域的相关概念和形式化描述,以及安全域之间信息流交换和依赖关系的建立方法和相关证明.以Xen虚拟化系统为基础,给出了该保护方法的具体实现以及实验结果,实验结果分析表明:该方法在虚拟化环境中能够抵御多种攻击手段,额外执行开销不超过10%. 相似文献
16.
形式化概念分析已被证明是一种支持模块重组的有效工具.然而,在使用概念分析进行模块重组时,仍存在一些问题有待进一步解决.本文提出一种自动化的遗留软件重组方法,用于从识别的模块化方案中获取一种最佳解决方案.通过在概念分析过程中引入概念抽象、哑概念和概念相似性度量等新的特性,有助于解决现有方法的不足.概念抽象用于表示候选模块... 相似文献
17.
PLC程序测试与验证的研究进展 总被引:2,自引:0,他引:2
可编程逻辑控制器(PLC)是一种在工业领域应用非常广泛的控制装置。随着PLC程序的规模和复杂性不断增加,PLC程序测试与验证已成为一个具有挑战性的问题。该文分析了PLC程序测试与验证的困难。从验证与测试两个方面,分别介绍了该问题的研究现状。对于每一个方法,分别论述了其基本思路、优势与不足。最后,根据当前研究的现状,展望了PLC程序测试与验证技术未来的发展。综合分析来看,PLC程序测试与验证的现有方法都存在比较明显的局限性,有待深入研究。未来可能的新方向包括结构化测试以及不同测试方法的融合等。 相似文献
18.
张文娟 《漳州师范学院学报》2021,(2):13-21
结合概念格中交不可约元的概念,探讨简单闭包空间与形式背景的联系.首先,根据简单闭包空间与知识空间的对偶性,定义知识基的对偶集A,在此基础上,研究合取模型下技能约简的实质.其次,在技能背景中提出交不可约元的概念,论证A与交不可约元一致性.然后,阐述技能约简的本质与形式背景中保持最小交式生成组的约简相同.最后,给出技能约简... 相似文献
19.
功能点分析是从用户的角度度量软件功能规模的一种方法。本文首先对功能点分析(FPA)现有的半形式化模型进行了扩充,然后形式化描述了外部查询(EQ)的4条规则,并提出了基于源代码的逆向工程技术方法来处理这4条规则,为全自动化度量奠定了理论基础。 相似文献
20.