全文获取类型
收费全文 | 2801篇 |
免费 | 565篇 |
国内免费 | 346篇 |
出版年
2024年 | 30篇 |
2023年 | 103篇 |
2022年 | 73篇 |
2021年 | 121篇 |
2020年 | 158篇 |
2019年 | 87篇 |
2018年 | 23篇 |
2017年 | 89篇 |
2016年 | 123篇 |
2015年 | 93篇 |
2014年 | 227篇 |
2013年 | 170篇 |
2012年 | 219篇 |
2011年 | 221篇 |
2010年 | 205篇 |
2009年 | 186篇 |
2008年 | 249篇 |
2007年 | 202篇 |
2006年 | 157篇 |
2005年 | 131篇 |
2004年 | 120篇 |
2003年 | 121篇 |
2002年 | 88篇 |
2001年 | 99篇 |
2000年 | 51篇 |
1999年 | 54篇 |
1998年 | 62篇 |
1997年 | 43篇 |
1996年 | 37篇 |
1995年 | 38篇 |
1994年 | 38篇 |
1993年 | 16篇 |
1992年 | 16篇 |
1991年 | 23篇 |
1990年 | 18篇 |
1989年 | 18篇 |
1988年 | 2篇 |
1987年 | 1篇 |
排序方式: 共有3712条查询结果,搜索用时 15 毫秒
791.
792.
日益复杂的军事电子信息系统面临正确性验证挑战,形式化验证方法如模型检验技术成为必需.给出基于时间Petri网表示的军事电子系统模型PMES的定义,然后给出PMES模型转换为时间自动机网的步骤,利用已有的基于时间自动机的模型检验工具对系统性质进行验证;系统的性质要求用时序逻辑语言CTL或TCTL公式表示.雷达干扰机系统说明了该方法的实际应用效果. 相似文献
793.
794.
795.
796.
针对高分辨率遥感影像提出了一种面向像斑的自优化迭代分类算法,基于半监督聚类算法获取训练样本,以支持向量机为核心设计了自优化迭代分类器。使用分型网络演化算法获取像斑,并从中选取少量标记样本;结合标记样本,利用半监督模糊C均值算法对像斑进行聚类,并基于密集度筛选得到训练样本;设计了自优化迭代支持向量机分类算法,对所有像斑进行迭代分类直到满足分类要求,并在分类过程中对近邻分类结果进行统计得到高可信度样本以自主优化训练样本集。基于以上方法分别对武汉市QuickBird和WorldView影像进行分类实验,分类总精度分别达到94.67%与92%,与基于人工选取训练样本情况下进行分类的分类总精度(82%与82.67%)、常规支持向量机分类总精度(87.33%与88%)、最小二乘支持向量机分类总精度(88%与89.33%)相比,精度有明显提升,分类效果较好。 相似文献
797.
本文对于在炸药驱动下空气中的二维抛板理论模型,提出了一种具有较普遍意义的简化处理方案。 相似文献
798.
本文用Liapunov—Schmidt方法研究了同时受参数激励与强迫激励作用的非线性振动系统的亚谐分叉问题,用奇异性理论确定了等价意义下的分叉方程的形式,导出了必需的分叉系数,求出并且分析了1/2—1/2亚谐共振分叉方程的普适开折,画出了各个结构稳定域及分叉集上的响应图。 相似文献
799.
高超声速滑翔飞行器在高速突防、快速打击等方面具有重要应用前景,是航空航天领域的重要发展方向。针对高超声速飞行器快速、大空域的飞行环境特性复杂、姿态控制系统适应性要求高的特点,建立高超声速飞行器姿态运动模型,采用解耦设计方法,利用块控反步控制理论设计姿态控制器。经证明和仿真结果表明,该方法严格保证闭环系统的Lyapunov稳定性,控制律设计具有灵活性,响应速度快,能克服气动参数变化带来的影响,鲁棒性较好。 相似文献
800.
针对系统仿真建模可重用的需求,采用组件对象建模的思想对鱼雷进行建模,通过分析鱼雷模型的特点,完成了协同仿真平台下由鱼雷动力学、运动学模块、动力系统模块、控制系统模块、弹道解算系统模块、自导系统模块、引信系统模块、尾流自导模块、误差模块所组成的鱼雷层次结构模型设计,并已实现协同仿真环境中不同粒度的可重用模型的程序开发.通过对鱼雷仿真模型的测试与应用,验证了协同仿真环境下组件对象建模方法具有建模过程快捷、灵活、适应性高、可重用性好和利于跨平台移植的优点. 相似文献