全文获取类型
收费全文 | 484篇 |
免费 | 38篇 |
国内免费 | 51篇 |
出版年
2024年 | 1篇 |
2023年 | 9篇 |
2022年 | 7篇 |
2021年 | 9篇 |
2020年 | 7篇 |
2019年 | 10篇 |
2017年 | 4篇 |
2016年 | 4篇 |
2015年 | 11篇 |
2014年 | 27篇 |
2013年 | 22篇 |
2012年 | 19篇 |
2011年 | 29篇 |
2010年 | 23篇 |
2009年 | 29篇 |
2008年 | 31篇 |
2007年 | 29篇 |
2006年 | 27篇 |
2005年 | 30篇 |
2004年 | 32篇 |
2003年 | 26篇 |
2002年 | 27篇 |
2001年 | 20篇 |
2000年 | 16篇 |
1999年 | 17篇 |
1998年 | 19篇 |
1997年 | 20篇 |
1996年 | 9篇 |
1995年 | 14篇 |
1994年 | 7篇 |
1993年 | 12篇 |
1992年 | 13篇 |
1991年 | 7篇 |
1990年 | 1篇 |
1989年 | 5篇 |
排序方式: 共有573条查询结果,搜索用时 15 毫秒
561.
在阐述了电子对抗装备软件特点的基础上,对研制电子对抗装备软件过程中的测试策略与方法进行了初步的研究,并对在实施测试过程中的几个问题进行了探讨. 相似文献
562.
软件测试工具的问题及解决方法 总被引:1,自引:0,他引:1
讨论了当前软件测试工具的关键技术,并指出了其弱点,介绍了如何基于.NET技术对这些弱点进行相应的改善. 相似文献
563.
564.
565.
每个布尔函数的代数正规型(ANF)是唯一的,对于研究布尔函数有重要意义.利用Mathematica软件得到了高级加密标准的轮变换(Sbox,ShiftRow和MixColumn的复合)的128个分量函数的代数正规型.每个分量函数都是32元布尔函数,其项数在448 ~ 545,平均为496,远远小于随机32元布尔函数的平均项数231.这表明AES轮变换与随机置换有巨大偏差.得到这些ANF的时间复杂度在一个2GHz的PC机上只用几分钟.该方法优于通过真值表得到ANF的经典算法——其得到128个分量函数的时间复杂度为0( 128×32 ×232)=0(244).作为应用,利用得到的ANF建立了一轮AES的一个方程系统,并用Cryptominisat 2.9.0进行求解.使用Guess-and-Determine的方法,利用一个已知明密对,可以在PC机上233h内得到全部128比特密钥. 相似文献
566.
在分析了导弹测发控系统软件特点的基础上,建立了针对该软件的质量模型,运用集成改进层次分析法和多级模糊评判于一体的综合评价方法对该软件进行质量评价,最后获得该软件质量的定量评价结果,并对结果进行了分析。 相似文献
567.
568.
随着计算机技术在军事领域的广泛应用,军用软件的可信性越来越引人关注。在总结了学术界对可信与可信性定义的基础上,给出了军用可信软件和军用软件可信性的定义。分析了国内外军事相关领域可信软件的发展现状,指出了当前我军军用软件研发模式中的不足并阐述了开展军用可信软件研究的意义及其发展方向。 相似文献
569.
570.
基于UML的航天发射指挥控制软件建模研究 总被引:1,自引:0,他引:1
指挥控制软件是影响SLC2S高效运行的重要因素之一。为了提高航天发射指挥控制软件的综合效能,基于统一建模语言(UML)建模技术,从软件需求分析出发,对航天发射指挥控制软件开发进行了静态和动态建模,增强了软件的一致性和可复用性,为软件开发奠定了良好基础。 相似文献