全文获取类型
收费全文 | 235篇 |
免费 | 37篇 |
国内免费 | 21篇 |
出版年
2023年 | 2篇 |
2022年 | 1篇 |
2021年 | 2篇 |
2020年 | 3篇 |
2019年 | 2篇 |
2018年 | 1篇 |
2016年 | 2篇 |
2015年 | 1篇 |
2014年 | 9篇 |
2013年 | 9篇 |
2012年 | 9篇 |
2011年 | 19篇 |
2010年 | 18篇 |
2009年 | 13篇 |
2008年 | 20篇 |
2007年 | 12篇 |
2006年 | 24篇 |
2005年 | 13篇 |
2004年 | 18篇 |
2003年 | 13篇 |
2002年 | 11篇 |
2001年 | 16篇 |
2000年 | 7篇 |
1999年 | 8篇 |
1998年 | 6篇 |
1997年 | 16篇 |
1996年 | 4篇 |
1995年 | 11篇 |
1994年 | 9篇 |
1993年 | 1篇 |
1992年 | 4篇 |
1991年 | 4篇 |
1988年 | 1篇 |
1987年 | 1篇 |
1985年 | 2篇 |
1982年 | 1篇 |
排序方式: 共有293条查询结果,搜索用时 46 毫秒
71.
72.
73.
日益复杂的军事电子信息系统面临正确性验证挑战,形式化验证方法如模型检验技术成为必需.给出基于时间Petri网表示的军事电子系统模型PMES的定义,然后给出PMES模型转换为时间自动机网的步骤,利用已有的基于时间自动机的模型检验工具对系统性质进行验证;系统的性质要求用时序逻辑语言CTL或TCTL公式表示.雷达干扰机系统说明了该方法的实际应用效果. 相似文献
74.
研究了一种基于神经网络训练修改权值的加权M距离法用于雷达信号的识别,通过仿真试验验证了此法的正确性和有效性,并对试验结果进行了分析和讨论。 相似文献
75.
76.
77.
近年来,随着美国国防部对无人驾驶战斗机的兴趣日益增长,研究无人战斗机已不再是纸上谈兵,而是进入了实质性的计划研究阶段。美国海军有关部门对此进行了专门研究,并启动了一项被称为“高机动致命飞行器”(HMLV)的无人驾驶战斗机的研制计划。 相似文献
78.
产品图样及技术文件是产品生产、试验、验收、使用维护的依据。图样表达的内容应做到正确、清晰,符合图样管理制度的有关规定。图样及技术文件的更改,是产品技术状态管理的重要环节之一,它直接影响到产品的制造质量和工厂的经济效益,切不可忽视。WJ 7—83《产品图样及设计文件的更改办法》明确规定了图样、技术文件在更改过程中 相似文献
79.
罗雪山 《国防科技大学学报》1994,16(1):37-44
本文在对C~3I系统的建模问题进行深入讨论后,提出了一套用于C~3I系统建模的规范化建模方法,并由计算机实现了该方法,使得人们可以通过人机对话的形式进行建模。这一方法解决了目前战争系统尤其是C~3I系统的微分方程不易得到这个问题。文中给出了一个建模案例。 相似文献
80.
本文以(Ph_3P)_2PdCl_2作催化剂,合成出聚二苯丁二炔和二苯丁二炔与苯乙炔共聚物。均聚物及共聚物产率都在90%以上,均聚物分子量为900,二苯丁二炔与苯乙炔最佳摩尔比为1/2(数均分子量为1205)。结构分析表明,均聚物及共聚物均具有反—反式结构。 相似文献