全文获取类型
收费全文 | 191篇 |
免费 | 24篇 |
国内免费 | 9篇 |
出版年
2024年 | 3篇 |
2023年 | 6篇 |
2022年 | 3篇 |
2021年 | 5篇 |
2020年 | 11篇 |
2019年 | 4篇 |
2017年 | 3篇 |
2016年 | 4篇 |
2015年 | 7篇 |
2014年 | 20篇 |
2013年 | 12篇 |
2012年 | 16篇 |
2011年 | 14篇 |
2010年 | 13篇 |
2009年 | 12篇 |
2008年 | 16篇 |
2007年 | 13篇 |
2006年 | 10篇 |
2005年 | 10篇 |
2004年 | 1篇 |
2003年 | 2篇 |
2002年 | 6篇 |
2001年 | 3篇 |
2000年 | 4篇 |
1999年 | 7篇 |
1998年 | 1篇 |
1997年 | 2篇 |
1996年 | 6篇 |
1995年 | 1篇 |
1994年 | 3篇 |
1993年 | 3篇 |
1992年 | 1篇 |
1991年 | 1篇 |
1989年 | 1篇 |
排序方式: 共有224条查询结果,搜索用时 15 毫秒
21.
22.
随着软硬件系统规模和功能的不断扩充,状态空间爆炸问题严重影响了模型检验的进一步发展与应用,成为验证大规模系统的瓶颈.在显式模型检验工具Murphi的基础上,针对其可达状态空间组织存在的问题进行改进,提出了基于整型指针与Fibonacci散列的可达状态空间组织方法,实现了一个高效的显式模型检验原型系统,在确保验证正确的同时有效缩短了验证时间,并能在系统规范不可满足的情况下给出反例,有助于系统设计人员快速定位错误.理论分析和实验结果表明了本方法的有效性. 相似文献
23.
针对Cache一致性协议状态空间爆炸问题,提出共享集合伪临界值(Pseudo-cutoff)的概念,并以采用释放一致性模型的CC-NUMA系统为例,分析了共享数据的分布情况,推导出在一定条件下共享集合伪临界值为4的结论,有效优化了目录Cache协议状态空间,并提出了解决小概率的宽共享事件的方法.实验数据表明,基于伪临界值的协议模型优化,能够有效缩小Cache协议状态空间,加快验证速度,扩大验证规模. 相似文献
24.
国家对水泥产品及检验方法标准已等同采用了ISO标准,对评价水泥强度标号有着重要影响的标准《水泥胶砂强度检验方法》(ISO),已于1999年5月1日开始实施。目前我国有几千家水泥厂,年产水泥达4.7亿吨,约占世界水泥总产量的1/3,但是水泥实物质量总体水平低,总产量中425号水泥占60%,325号低档水泥占30%以上,525号水泥只占不到10%。目前国际先进水平的水泥实物质量,28d抗压强度为60—70Mpa,3d强度为30Mpa,据统计我国认证企业525R普通水泥3d抗压强度为34.6Mpa,2… 相似文献
25.
26.
武器系统MTBF的Bayes序贯检验方法 总被引:1,自引:0,他引:1
针对武器系统试验鉴定中显著具有的小子样的特点,研究了武器系统平均故障间隔时间(MTBF)的Bayes序贯检验方法,推导了检验模型,平均试验数计算公式、定时和定数截尾实际风险计算公式,并给出了算例。该方法在武器系统可靠性鉴定中具有一定的应用价值。 相似文献
27.
绥芬河市人武部按照“练为战.建为用”的方针,报抓民兵队伍建设.并注重在支援地方经济建设、维护社会稳定及抢险救灾中锤炼和检验队伍。锻造了一支“联得上,拉得出、打得赢”的过硬民兵应急分队。2005年7月,该市绥芬河镇民兵小分队的先进事迹在黑龙江省军区“为振兴龙江,建设小康做贡献”活动推进会上做了经验介绍。图为绥芬河镇民兵应急分队开展和参与各项活动的一组镜头。 相似文献
28.
针对服从KK分布的大拖尾雷达杂波背景下的扩展目标检测问题,利用球不变随机变量表示了KK分布雷达杂波模型。在假设目标回波幅度已知的情况下,研究了基于Neyman-Pearson准则的距离扩展目标最优积累检测器,并通过对目标幅度的最大似然估计,推导了广义最大似然比检验检测器模型。为了降低这两种检测器中因计算第二类修正的贝塞尔函数而引入的运算复杂度,提出了一种基于顺序统计量的广义似然比检测器。该检测器利用检测窗内幅度较大的距离单元回波作为目标回波进行判决。利用蒙特卡罗仿真对这三种算法的性能进行了验证与比较,虽然最优积累检测器与广义似然比检测器具有更好的检测性能,但实现困难,计算量大,而基于顺序统计量的广义似然比检测器则具有更高的实用性。 相似文献
29.
30.