全文获取类型
收费全文 | 621篇 |
免费 | 169篇 |
国内免费 | 40篇 |
出版年
2024年 | 1篇 |
2023年 | 1篇 |
2022年 | 13篇 |
2021年 | 38篇 |
2020年 | 9篇 |
2019年 | 6篇 |
2018年 | 11篇 |
2017年 | 17篇 |
2016年 | 10篇 |
2015年 | 33篇 |
2014年 | 47篇 |
2013年 | 39篇 |
2012年 | 34篇 |
2011年 | 40篇 |
2010年 | 63篇 |
2009年 | 46篇 |
2008年 | 51篇 |
2007年 | 49篇 |
2006年 | 30篇 |
2005年 | 39篇 |
2004年 | 16篇 |
2003年 | 7篇 |
2002年 | 7篇 |
2001年 | 10篇 |
2000年 | 11篇 |
1999年 | 36篇 |
1998年 | 24篇 |
1997年 | 24篇 |
1996年 | 20篇 |
1995年 | 29篇 |
1994年 | 13篇 |
1993年 | 9篇 |
1992年 | 11篇 |
1991年 | 11篇 |
1990年 | 6篇 |
1989年 | 2篇 |
1988年 | 5篇 |
1987年 | 5篇 |
1986年 | 4篇 |
1985年 | 2篇 |
1983年 | 1篇 |
排序方式: 共有830条查询结果,搜索用时 93 毫秒
51.
随着软硬件系统规模和功能的不断扩充,状态空间爆炸问题严重影响了模型检验的进一步发展与应用,成为验证大规模系统的瓶颈.在显式模型检验工具Murphi的基础上,针对其可达状态空间组织存在的问题进行改进,提出了基于整型指针与Fibonacci散列的可达状态空间组织方法,实现了一个高效的显式模型检验原型系统,在确保验证正确的同时有效缩短了验证时间,并能在系统规范不可满足的情况下给出反例,有助于系统设计人员快速定位错误.理论分析和实验结果表明了本方法的有效性. 相似文献
52.
在信号流图的基础上,提出多回路分析的方法,并用于研究反区时速度矢量不稳定及其稳定控制的机理。建立了纵向动力学的信号流图,并证明了一个回路的收敛性定理。在此基础上,通过理论分析得出了速度矢量不稳定在不同层面上的原因,也得出了速度和轨迹的发散度表达式等,并表明阻力-速度曲线、轨迹角-速度曲线、极曲线、阻力系数曲线等存在相互对应的反区和正区,并且阻力-速度曲线和轨迹角-速度曲线在斜率上成比例。研究得出进场动力补偿系统下速度矢量的稳定临界条件、收敛度、稳定机理等,理论分析和仿真比较了速度恒定进场动力补偿系统和迎角恒定进场动力补偿系统在控制性能上的差异。 相似文献
53.
"北斗"卫星导航系统是我国自主研发、独立运行的卫星导航系统,对于国防和经济建设有着非常重要的作用,自2012年12月27日正式提供导航服务以来,在国防和经济建设中发挥着重要的作用。本文就"北斗"的组成、功能、特点、应用及发展前景进行简述,旨在让读者了解"北斗"卫星导航系统基本知识。 相似文献
54.
战争形态正加速向信息化战争演变,数字化作战成为主要形式,作战数据以前所未有的深度广度进入战争全脉络,成为作战的核心,影响着战争进程甚至决定成败。习主席高度重视作战数据建设,多次指出我军数据积累严重不足是军事斗争准备的短板弱项。因此,建设完善配套的作战数据库和形成战时高效的作战数据保障能力,对获取作战信息优势、提升指挥控制能力至关重要,对于提高我军基于网络信息体系的联合作战能力具有重要的支撑作用。 相似文献
55.
培养大学生的法律意识是一项需要深入研究的系统工程.本文采用访谈与问卷调查的形式,对S大学300名在校生进行抽样调查研究,在此基础之上分析大学生法律意识现状及存在的问题,从社会环境、学校教育环境、家庭教育环境三个方面分析问题的成因,并针对性地提出培养大学生法律意识的对策. 相似文献
56.
在频率步进雷达中,通常使用逆快速傅里叶变换方法进行高分辨成像。由于逆快速傅里叶变换的距离旁瓣高,有可能造成强散射点旁瓣掩盖附近弱散射点或者弱小目标情况,限制了其在强杂波环境下的使用。为了抑制高距离旁瓣,近年来提出一种基于最小均方误差准则的自适应脉冲压缩方法。基于自适应脉冲压缩算法原理,推导了频率步进雷达距离旁瓣抑制算法。针对静止和运动目标场景,分析自适应脉冲压缩算法的旁瓣抑制性能。仿真结果表明,与逆快速傅里叶变换和加窗逆快速傅里叶变换处理比较,自适应脉冲压缩算法具有更好的旁瓣抑制效果,能够更好地检测强散射点附近的弱散射点或者弱小目标。 相似文献
57.
针对辐射源运动方程和观测方程的强非线性,提出基于高斯和框架与5阶容积Kalman滤波(5CKF)的跟踪算法GS-5CKF。该方法将起始时刻的时差观测量所确定的位于地球表面的时差线按经度等间隔划分,初始化多个并行的5CKF,线性组合各滤波器的输出获得辐射源运动状态的估计。针对5CKF,提出新的非线性测度并引入滤波器分裂与合并,从而提高了跟踪精度,同时保持GS-5CKF算法复杂度基本不变。仿真表明,相对仅使用单个5CKF和基于高斯和框架但使用3阶容积Kalman滤波器的GS-3CKF等方法,提出的算法具有更高的估计精度。 相似文献
58.
针对脉冲修正弹自身控制离散不连续特征,开展脉冲修正弹脉冲控制参数优化设计方法研究。考虑到脉冲成本和精度的双重要求,选择以脉冲发动机工作次数和脱靶量最少为双目标的函数。在风干扰条件下,提出以脉冲控制时间间隔为离散脉冲控制参数设计变量建立优化模型,以此发展一种改进型递减惯性权重粒子群优化脉冲控制参数的方法,提高修正参数优化收敛速度。仿真结果表明:该算法能快速有效地获得最优解,为在干扰条件下寻找最优的脉冲修正参数和脉冲工作方式提供一种优化设计思路。 相似文献
59.
郑洋 《中国人民武装警察部队学院学报》2010,(10):36-38
为全面提高海南省岛屿应急救援能力,有效防范和应对灾害事故和突发事件,保护人民生命财产安全,提出建立岛屿应急救援体系的思路,构建岛屿应急救援专业队伍和多种形式消防队伍有效联动的综合性应急救援力量体系。 相似文献
60.