全文获取类型
收费全文 | 2873篇 |
免费 | 556篇 |
国内免费 | 361篇 |
出版年
2024年 | 28篇 |
2023年 | 103篇 |
2022年 | 71篇 |
2021年 | 126篇 |
2020年 | 155篇 |
2019年 | 99篇 |
2018年 | 24篇 |
2017年 | 88篇 |
2016年 | 131篇 |
2015年 | 92篇 |
2014年 | 214篇 |
2013年 | 161篇 |
2012年 | 238篇 |
2011年 | 207篇 |
2010年 | 233篇 |
2009年 | 185篇 |
2008年 | 251篇 |
2007年 | 208篇 |
2006年 | 155篇 |
2005年 | 136篇 |
2004年 | 115篇 |
2003年 | 130篇 |
2002年 | 98篇 |
2001年 | 104篇 |
2000年 | 61篇 |
1999年 | 60篇 |
1998年 | 64篇 |
1997年 | 50篇 |
1996年 | 35篇 |
1995年 | 39篇 |
1994年 | 27篇 |
1993年 | 22篇 |
1992年 | 20篇 |
1991年 | 21篇 |
1990年 | 19篇 |
1989年 | 16篇 |
1988年 | 2篇 |
1987年 | 2篇 |
排序方式: 共有3790条查询结果,搜索用时 468 毫秒
821.
822.
823.
日益复杂的军事电子信息系统面临正确性验证挑战,形式化验证方法如模型检验技术成为必需.给出基于时间Petri网表示的军事电子系统模型PMES的定义,然后给出PMES模型转换为时间自动机网的步骤,利用已有的基于时间自动机的模型检验工具对系统性质进行验证;系统的性质要求用时序逻辑语言CTL或TCTL公式表示.雷达干扰机系统说明了该方法的实际应用效果. 相似文献
824.
825.
826.
本文对于在炸药驱动下空气中的二维抛板理论模型,提出了一种具有较普遍意义的简化处理方案。 相似文献
827.
828.
针对系统仿真建模可重用的需求,采用组件对象建模的思想对鱼雷进行建模,通过分析鱼雷模型的特点,完成了协同仿真平台下由鱼雷动力学、运动学模块、动力系统模块、控制系统模块、弹道解算系统模块、自导系统模块、引信系统模块、尾流自导模块、误差模块所组成的鱼雷层次结构模型设计,并已实现协同仿真环境中不同粒度的可重用模型的程序开发.通过对鱼雷仿真模型的测试与应用,验证了协同仿真环境下组件对象建模方法具有建模过程快捷、灵活、适应性高、可重用性好和利于跨平台移植的优点. 相似文献
829.
830.
一种修正的机动目标模型及自适应滤波算法 总被引:5,自引:0,他引:5
在"当前"统计模型的基础上,通过修正目标加速度的概率分布、机动加速度与方差的自适应关系及过程噪声协方差矩阵,提出了一种修正的机动目标模型及其自适应跟踪算法。理论分析和仿真结果表明,该模型能够准确描述目标的各种机动情况,跟踪算法具有良好的跟踪性能,具有实际应用价值。 相似文献