全文获取类型
收费全文 | 256篇 |
免费 | 55篇 |
国内免费 | 30篇 |
出版年
2024年 | 1篇 |
2023年 | 3篇 |
2021年 | 8篇 |
2020年 | 3篇 |
2019年 | 1篇 |
2018年 | 1篇 |
2017年 | 4篇 |
2016年 | 12篇 |
2015年 | 10篇 |
2014年 | 19篇 |
2013年 | 15篇 |
2012年 | 15篇 |
2011年 | 18篇 |
2010年 | 6篇 |
2009年 | 19篇 |
2008年 | 15篇 |
2007年 | 15篇 |
2006年 | 25篇 |
2005年 | 19篇 |
2004年 | 31篇 |
2003年 | 19篇 |
2002年 | 9篇 |
2001年 | 15篇 |
2000年 | 10篇 |
1999年 | 6篇 |
1998年 | 5篇 |
1997年 | 5篇 |
1996年 | 4篇 |
1995年 | 5篇 |
1994年 | 6篇 |
1993年 | 3篇 |
1992年 | 6篇 |
1991年 | 4篇 |
1990年 | 1篇 |
1989年 | 3篇 |
排序方式: 共有341条查询结果,搜索用时 15 毫秒
131.
软件的可靠性是C ̄3I系统成败的关键之一,用规范和程序分离的办法设计软件,其可靠性无法得到保证。该文阐述了应研究形式化程序设计方法的意见,以及目前在这一领域尚存在的困难和解决的途径。 相似文献
132.
刘秉毅 《军械工程学院学报》1994,(2)
以通用菜单工具作为应用软件系统的用户界面、多种语言编程模块的藕合接口已成为一种趋势。本文提出一种可在操作系统和foxBASE环境下组合(或嵌入)运行的、支持DBMS授权扩充机制、实现多种语言混合编程模块直接藕合的通用菜单工具(MTS)。同时,又对MTS中的菜单对象、授权,菜单文件的数据结构、菜单驱动(维护)模块设计和基于批处理文件的模块藕合方法进行了讨论。 相似文献
133.
134.
建立了基于损伤树的知识表示、知识推理模型及损伤树评估框架,利用损伤树各节点的损伤征兆集,进行装备战场损伤定位,较好地利用了装备专家的领域知识,提高了战场损伤评估的准确性和效率。 相似文献
135.
136.
In this paper we address the problem of how to decide when to terminate the testing/modification process and to release the software during the development phase. We present a Bayesian decision theoretic approach by formulating the optimal release problem as a sequential decision problem. By using a non‐Gaussian Kalman filter type model, proposed by Chen and Singpurwalla (1994), to track software reliability, we are able to obtain tractable expressions for inference and determine a one‐stage look ahead stopping rule under reasonable conditions and a class of loss functions. © 2002 Wiley Periodicals, Inc. Naval Research Logistics, 2003 相似文献
137.
高校教育信息化建设问题及对策 总被引:1,自引:0,他引:1
贾玲 《中国人民武装警察部队学院学报》2008,24(7):63-64,67
高校信息化建设是高校建设的一项重要任务,我国高校信息化经过十几年基础设施建设后,现阶段仍然存在一些问题。总结分析现阶段教育信息化建设中存在的问题及解决策略,有助于高校教育信息化建设健康、有序发展。 相似文献
138.
顶岗实习是职业教育人才培养模式的重要组成部分,是职业院校人才培养的一个重要阶段。我国目前高职软件技术专业学生顶岗实习时间延长了,但质量不高。借鉴加拿大高职教育顶岗实习模式的特点,结合目前软件行业的特点,软件技术专业高职顶岗实习可以在时间安排上做出调整,实行订单式顶岗实习模式。 相似文献
139.
针对军用软件特点,提出并定义一种基于任务剖面的软件系统结构准则;基于该准则,给出一种从功能可靠性、事件可靠性到任务可靠性的分层可靠性预计方法。与侧重于数学建模的相关工作不同,该方法更注重在建模中融合软件可靠性设计、测试和管理,成为可靠性保证的一种途径。 相似文献
140.