全文获取类型
收费全文 | 4721篇 |
免费 | 125篇 |
国内免费 | 151篇 |
专业分类
系统科学 | 291篇 |
丛书文集 | 133篇 |
教育与普及 | 23篇 |
理论与方法论 | 4篇 |
现状及发展 | 23篇 |
综合类 | 4523篇 |
出版年
2024年 | 3篇 |
2023年 | 9篇 |
2022年 | 23篇 |
2021年 | 34篇 |
2020年 | 49篇 |
2019年 | 26篇 |
2018年 | 33篇 |
2017年 | 33篇 |
2016年 | 33篇 |
2015年 | 86篇 |
2014年 | 205篇 |
2013年 | 154篇 |
2012年 | 238篇 |
2011年 | 273篇 |
2010年 | 203篇 |
2009年 | 229篇 |
2008年 | 240篇 |
2007年 | 413篇 |
2006年 | 337篇 |
2005年 | 342篇 |
2004年 | 321篇 |
2003年 | 286篇 |
2002年 | 271篇 |
2001年 | 221篇 |
2000年 | 158篇 |
1999年 | 126篇 |
1998年 | 112篇 |
1997年 | 89篇 |
1996年 | 72篇 |
1995年 | 80篇 |
1994年 | 62篇 |
1993年 | 50篇 |
1992年 | 43篇 |
1991年 | 47篇 |
1990年 | 21篇 |
1989年 | 37篇 |
1988年 | 13篇 |
1987年 | 11篇 |
1986年 | 13篇 |
1985年 | 1篇 |
排序方式: 共有4997条查询结果,搜索用时 31 毫秒
261.
薛保菊 《科技情报开发与经济》2006,16(18):233-235
分析了影响软件开发项目进度的因素,提出了提高软件开发项目进度控制的措施以及项目进度控制中应注意的问题。 相似文献
262.
目前在电路设计中,功能验证遇到两方面困难.首先,利用手工输入测试向量的方法不能满足测试需求;其次,观测波形文件的方法不仅费时而且容易出错.本文针对在电路设计过程中所遇到的这两方面困难,以一个有限冲击响应(Finite Impulse Response,FIR)数字滤波器的设计为例.提出引入MATLAB软件进行辅助电路设计的方法.利用MATLAB软件进行电路参数确定,辅助产生电路的仿真测试向量及预期结果,并实现电路仿真结果的自动分析比较.该方法能够灵活地生成大量复杂的测试向量,减轻电路设计者的工作量,节约仿真验证时间,保证电路设计的正确性. 相似文献
263.
264.
265.
266.
基于XYZPADL 的Web 服务体系结构形式描述 总被引:3,自引:0,他引:3
在对时序逻辑语言XYZ/E进行扩展的基础上,对服务、合成服务、面向服务的体系结构以及系统的活性、正确性以及安全性等核心概念进行了形式定义,并对整个Web服务体系结构进行了形式化的描述与实现过程的分解与逐步求精,指出了在该体系结构框架下,系统的活性、正确性以及安全性存在的与服务求精过程中所具有的语义的可组合特性,这一组合特性在服务的状态转换变迁模型下得到了证明,从而为服务的合成与重用机制提供了形式化的理论指导. 相似文献
267.
268.
SHI Wenchang 《武汉大学学报:自然科学英文版》2006,11(6):1493-1497
Trusted path is one of the crucial features that operating systems must provide for fundamental security support. In order to explore the possibility of implementing a trusted path mechanism with the support of trusted platform module (TPM) technologies, and to support TPM capabilities in operating systems, the paper extended the scope of the conventional trusted path to cover the situation in which a user communicates with software residing on a remote host. The paper combined the concept of operating system support for trusted path with that for TPM platforms, and proposed the architecture of an extended trusted path mechanism in operating system with considerations on TPM-capable platforms support. As part of the author's research in secure operating systems, the work of the paper was carried out with Linux as an experimental prototype system. The research result shows that TPM capabilities can strengthen extended trusted path mechanisms of operating systems. 相似文献
269.
嵌入式实时系统的应用越来越广泛,其可靠性更加依赖于嵌入式软件的质量。对嵌入式软件进行测试是提高其质量的重要手段之一。本文主要研究了嵌入式软件的测试策略,分别讨论了基于主机的仿真环境下和基于目标机平台下如何测试嵌入式软件。 相似文献
270.
本文提出了一种改进的扩展表决系统,该系统是利用自动分析表决系统可靠性等参数的工具来构建的。在软件容错中采用N模块冗余(N Modular Redundancy NMR)及N版本编程(N version Programming),应用表决技术,可以屏蔽整个软件系统中出错的部分。在实践中直接应用理论的表决模型会发现很难得到理论分析的结果。针对这样的问题,本文提出一种基于多数(plurality)的扩展表决系统:使用构造决策树的方法和进行DFT遍历作为自动化的计算工具;通过对基本的多数表决系统进行模型扩展,加入指导性规则对决策树进行重构,以自动计算工具的结果作为参考,从而选择更加可靠的表决结果作为输出。最终的模拟测试表明,所提出的扩展表决系统能够提高系统输出的正确率。 相似文献