全文获取类型
收费全文 | 198篇 |
免费 | 37篇 |
国内免费 | 29篇 |
出版年
2024年 | 1篇 |
2023年 | 2篇 |
2021年 | 3篇 |
2020年 | 1篇 |
2019年 | 1篇 |
2017年 | 1篇 |
2016年 | 6篇 |
2015年 | 8篇 |
2014年 | 9篇 |
2013年 | 7篇 |
2012年 | 10篇 |
2011年 | 13篇 |
2010年 | 5篇 |
2009年 | 18篇 |
2008年 | 11篇 |
2007年 | 15篇 |
2006年 | 21篇 |
2005年 | 14篇 |
2004年 | 28篇 |
2003年 | 17篇 |
2002年 | 6篇 |
2001年 | 14篇 |
2000年 | 7篇 |
1999年 | 6篇 |
1998年 | 5篇 |
1997年 | 4篇 |
1996年 | 4篇 |
1995年 | 5篇 |
1994年 | 5篇 |
1993年 | 3篇 |
1992年 | 6篇 |
1991年 | 4篇 |
1990年 | 1篇 |
1989年 | 3篇 |
排序方式: 共有264条查询结果,搜索用时 265 毫秒
151.
边界附近的点对程序故障更加敏感.针对这一特征,提出了一种基于程序域边界分析的测试方法.从被测程序本身出发,进行定义域确定及子域划分,分析定义域边界和子域边界,并跟据其边界测试点产生测试用例,以检测域边界附近的处理.实验表明对定义域边界及其子域边界进行测试,可有效地提高故障覆盖率. 相似文献
152.
One of the important features of any software system is its operational profile. This is simply the set of all operations that a software is designed to perform and the occurence probabilities of these operations. We present a new model on optimal software testing such that testing is done sequentially using a set of test cases. There may be failures due to the operations in each of these cases. The model parameters, consisting of testing costs and failure rates, all depend on the cases used and the operations performed. Our aim is to find the optimal testing durations in all of the cases in order to minimize the total expected cost. This problem leads to interesting decision models involving nonlinear programming formulations that possess explicit analytical solutions under reasonable assumptions. © 2000 John Wiley & Sons, Inc., Naval Research Logistics 47: 620–634, 2000 相似文献
153.
针对三轴稳定对日指向姿态的太阳同步轨道卫星,提出为获得最大对地数据传输时间的天线波束设计及布局方案。根据某型太阳观测卫星的轨道姿态设计方案,建立数传天线对指定地面站的天线波束指向仿真模型;使用卫星工具包STK仿真软件,分析不同波束角方案及其可能的指向对数传时间的影响,发现了对日指向卫星与对地指向卫星在数传时间上的不同规律,找到最优的天线波束布局来获得最大的数传时间;根据星载数传能力与不同天线波束宽度之间的关系,获得传输数据的最佳天线波束宽度,为这类卫星数传天线的波束设计及其布局提供设计依据。 相似文献
154.
新型作战舰艇舰炮武器系统火控台内配置了舰炮射击指挥软件,实现了射击指挥自动化,使得舰炮射击更加科学化,同时也大大地减轻了射击指挥员的负担.但是,对空射击指挥软件确立的数学模型存在一些缺陷.分析了该数学模型的缺陷,提出了改进方法,给出改进后的数学模型,并对改进前后模型分别进行仿真计算.计算结果表明,改进后的数学模型解算出来的射击方式能提高舰炮武器系统对空作战效能. 相似文献
155.
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 相似文献
156.
介绍了软件安全性和基于Petri网软件安全性分析技术。结合某导弹安全系统的实例,在系统Petri网模型的基础上运用逆向可达图回溯法及关键状态法对系统及其软件的设计进行了安全性分析,还考虑了系统运行时的动态时效对安全性的影响及相应的恢复措施。总结了基于Petri网的系统软件安全性分析的特点。 相似文献
157.
158.
综合考虑了嵌入式软件的特点,将遗传算法应用于搜索全面覆盖软件特殊路径的测试用例生成的问题,合理构建了嵌入式软件测试用例自动生成系统,给出了系统流程图,改进了部分算子,使搜索效果得以加强,并分析了交叉率、变异率等参数的取值范围,通过改变不同的参数值得到对比图,以确定适合该系统的最佳参数值,并针对实际汇编语言编写的嵌入式软件指定路径进行仿真测试,从理论和实践上证明了该思路的正确性和可行性。 相似文献
159.
分析了软件保障费用的基本构成和一般表达式,构建了软件错误更改费用估算模型、新功能保障费用估算模型和有时间限制的保障费用估算模型,并结合实例进行了分析。软件保障模型估算的研究对提高软件保障费用估算的精度和效率有重要意义。 相似文献
160.
基于某型飞机的光电瞄准系统,给出了光电瞄准系统的工作原理,建立了光电瞄准系统接受到的热辐射强度和热辐射检测门限的算法模型.然后根据所建立的模型, 编写软件进行了仿真测试,验证了模型的合理性,形成了一个完整的光电瞄准系统的仿真软件. 相似文献