全文获取类型
收费全文 | 579篇 |
免费 | 154篇 |
国内免费 | 18篇 |
出版年
2024年 | 1篇 |
2023年 | 1篇 |
2022年 | 12篇 |
2021年 | 38篇 |
2020年 | 8篇 |
2019年 | 5篇 |
2018年 | 10篇 |
2017年 | 15篇 |
2016年 | 9篇 |
2015年 | 32篇 |
2014年 | 43篇 |
2013年 | 32篇 |
2012年 | 30篇 |
2011年 | 37篇 |
2010年 | 58篇 |
2009年 | 40篇 |
2008年 | 43篇 |
2007年 | 40篇 |
2006年 | 26篇 |
2005年 | 32篇 |
2004年 | 9篇 |
2003年 | 3篇 |
2002年 | 3篇 |
2001年 | 10篇 |
2000年 | 10篇 |
1999年 | 36篇 |
1998年 | 24篇 |
1997年 | 25篇 |
1996年 | 22篇 |
1995年 | 29篇 |
1994年 | 13篇 |
1993年 | 9篇 |
1992年 | 11篇 |
1991年 | 11篇 |
1990年 | 6篇 |
1989年 | 2篇 |
1988年 | 5篇 |
1987年 | 4篇 |
1986年 | 4篇 |
1985年 | 2篇 |
1983年 | 1篇 |
排序方式: 共有751条查询结果,搜索用时 15 毫秒
81.
82.
随着软硬件系统规模和功能的不断扩充,状态空间爆炸问题严重影响了模型检验的进一步发展与应用,成为验证大规模系统的瓶颈.在显式模型检验工具Murphi的基础上,针对其可达状态空间组织存在的问题进行改进,提出了基于整型指针与Fibonacci散列的可达状态空间组织方法,实现了一个高效的显式模型检验原型系统,在确保验证正确的同时有效缩短了验证时间,并能在系统规范不可满足的情况下给出反例,有助于系统设计人员快速定位错误.理论分析和实验结果表明了本方法的有效性. 相似文献
83.
预惰化主动防、抑爆技术及惰气高倍泡沫应急消防技术是正在研究开发的新型军用油料洞库安全防护技术.惰气的来源制约了技术的开发实施.以燃惰气发生器燃烧室为研究对象,针对现有设计样机体积大、可靠性差及惰气质量较低等缺陷,对其进行了优化设计,在设计中,采用切向弯曲叶片式旋流器作为进风装置,并在火焰筒内采用了多种先进的强化油气掺混燃烧结构,极大地提高了燃烧效率.对优化设计样机的实验测试结果表明优化设计高效合理,满足了应用要求. 相似文献
84.
对新疆构建天山北坡城市带的设想 总被引:1,自引:0,他引:1
白燕 《兵团教育学院学报》2003,13(3):44-47
新世纪,新疆为推动经济的发展,提出了大力发展天山北坡经济带的战略。而经济带的发展必须以城市带为载体,二者是相辅相成关系,文中从构建城市带的意义入手,对城市带建立中存在问题以及思路作了阐述。 相似文献
85.
杨成平 《军队政工理论研究》2008,9(1):48-50
机械化条件下军事训练向信息化条件下军事训练转变,反映了战争形态演变和我军军事斗争任务对军事训练的内在要求,是我军军事训练的一次历史性转变。军事训练政治工作必须与此相适应,由机械化条件下传统模式向信息化条件下现代模式转变,科学确定基本任务,积极推进手段信息化,完善军事训练激励机制。 相似文献
86.
针对Cache一致性协议状态空间爆炸问题,提出共享集合伪临界值(Pseudo-cutoff)的概念,并以采用释放一致性模型的CC-NUMA系统为例,分析了共享数据的分布情况,推导出在一定条件下共享集合伪临界值为4的结论,有效优化了目录Cache协议状态空间,并提出了解决小概率的宽共享事件的方法.实验数据表明,基于伪临界值的协议模型优化,能够有效缩小Cache协议状态空间,加快验证速度,扩大验证规模. 相似文献
87.
88.
杨晓军 《海军工程大学学报》1998,(3)
根据实际的统计数据,对中型舰船入列至一轮中修、一轮中修至二轮中修期间对武备系统的3次小修所需工时及修理范围的比例进行了分析整理,并进行了回归分析,建立了相应的模型,可以定量地看出变化趋势. 相似文献
89.
复合材料结构传热分析的新的高阶热层合理论研究 总被引:1,自引:0,他引:1
提出了新的高阶热层合理论及相应的有限元模型.新的高阶热层合理论比作者最初提出的一阶热层合理论[1]前进了一大步,它有效克服了一阶热层合理论中存在的计算缺陷.大量数值算例表明了高阶热层合理论的精确有效性.算例还对铺设角和纵厚比对层合板温度场的影响进行了分析,并得到了一些有意义的结论. 相似文献
90.
以基于球形齿轮传动的柔性手腕为研究对象,提出了一种新型手腕驱动机构,并对此机构进行运动分析,建立了它的运动模型,推导出了运动方程的解。分析结果证明了该机构运动的确定性、传动的准确性。 相似文献