全文获取类型
收费全文 | 848篇 |
免费 | 41篇 |
国内免费 | 41篇 |
专业分类
930篇 |
出版年
2024年 | 2篇 |
2023年 | 9篇 |
2022年 | 10篇 |
2021年 | 28篇 |
2020年 | 30篇 |
2019年 | 6篇 |
2018年 | 2篇 |
2017年 | 8篇 |
2016年 | 23篇 |
2015年 | 25篇 |
2014年 | 59篇 |
2013年 | 52篇 |
2012年 | 64篇 |
2011年 | 43篇 |
2010年 | 48篇 |
2009年 | 50篇 |
2008年 | 62篇 |
2007年 | 43篇 |
2006年 | 43篇 |
2005年 | 30篇 |
2004年 | 40篇 |
2003年 | 29篇 |
2002年 | 38篇 |
2001年 | 42篇 |
2000年 | 25篇 |
1999年 | 26篇 |
1998年 | 17篇 |
1997年 | 11篇 |
1996年 | 13篇 |
1995年 | 7篇 |
1994年 | 14篇 |
1993年 | 9篇 |
1992年 | 5篇 |
1991年 | 10篇 |
1990年 | 5篇 |
1989年 | 1篇 |
1973年 | 1篇 |
排序方式: 共有930条查询结果,搜索用时 0 毫秒
11.
基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑(Global Temporal Logic)GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。 相似文献
12.
13.
14.
15.
16.
基于相关性模型的舰船装备测试性分析与建模 总被引:1,自引:0,他引:1
为了提高舰船装备的综合诊断能力,在舰船设计、研制阶段就必须进行装备测试性设计工作。为此,根据舰船装备测试性要求,对装备进行了故障模式影响分析,确定了装备在设计和制造过程中所有可能的故障模式,以及每一故障模式的原因和影响,据此对装备功能和结构进行了划分。然后,利用相关性模型对舰船装备进行测试性分析与建模,建立了舰船装备组成单元的相关性图示模型、数学模型,并运用考虑可靠性和费用的优选方法,建立了舰船装备诊断树,得到舰船装备的测试方案。算例分析表明:该研究可有效提高舰船装备测试的效率,提升测试的经济性。 相似文献
17.
18.
19.
具有50年辉煌历史的国家特大型军工企业内蒙古一机集团,始终把实现和维护广大职工的根本利益作为企业一切工作的重中之中,全方位贯彻实施以人为本的治厂方略,不断提升企业的核心竞争力,取得了连续26年盈利的业绩,实现了"三步"跨越,成为我国兵器行业首家年产值突破50亿元的龙头企业,使企业步入持续、快速、协调、全面发展的崭新阶段。在集团公司领导心目中,十分清醒地认识 相似文献
20.
RAH-66“科曼奇”(Comanche)直升机是美国陆军为适应21世纪的战场环境而要求设计的,是新一代轻型、武装侦察和空战直升机,具有良好的隐身性能。文章详细介绍了RAH-66直升机的有关情况,包括研制计划、所采取的隐身措施、总体结构与使用特点、动力装置、武器系统、机载电子设备及其作用、综合后勤保障等。 相似文献