全文获取类型
收费全文 | 4644篇 |
免费 | 4418篇 |
国内免费 | 676篇 |
出版年
2024年 | 8篇 |
2023年 | 42篇 |
2022年 | 116篇 |
2021年 | 166篇 |
2020年 | 201篇 |
2019年 | 160篇 |
2018年 | 271篇 |
2017年 | 360篇 |
2016年 | 198篇 |
2015年 | 327篇 |
2014年 | 478篇 |
2013年 | 603篇 |
2012年 | 698篇 |
2011年 | 627篇 |
2010年 | 593篇 |
2009年 | 540篇 |
2008年 | 565篇 |
2007年 | 489篇 |
2006年 | 449篇 |
2005年 | 407篇 |
2004年 | 361篇 |
2003年 | 234篇 |
2002年 | 227篇 |
2001年 | 253篇 |
2000年 | 213篇 |
1999年 | 169篇 |
1998年 | 138篇 |
1997年 | 120篇 |
1996年 | 96篇 |
1995年 | 59篇 |
1994年 | 62篇 |
1993年 | 86篇 |
1992年 | 101篇 |
1991年 | 77篇 |
1990年 | 65篇 |
1989年 | 52篇 |
1988年 | 36篇 |
1987年 | 25篇 |
1986年 | 29篇 |
1985年 | 14篇 |
1983年 | 13篇 |
1982年 | 10篇 |
排序方式: 共有9738条查询结果,搜索用时 437 毫秒
991.
992.
随着软硬件系统规模和功能的不断扩充,状态空间爆炸问题严重影响了模型检验的进一步发展与应用,成为验证大规模系统的瓶颈.在显式模型检验工具Murphi的基础上,针对其可达状态空间组织存在的问题进行改进,提出了基于整型指针与Fibonacci散列的可达状态空间组织方法,实现了一个高效的显式模型检验原型系统,在确保验证正确的同时有效缩短了验证时间,并能在系统规范不可满足的情况下给出反例,有助于系统设计人员快速定位错误.理论分析和实验结果表明了本方法的有效性. 相似文献
993.
在防空作战中为了有效地对空中目标的类型进行识别,利用直觉模糊集理论对目标识别信息的不确定性进行量化处理,并在直觉模糊数排序方法研究基础上,提出了一种基于直觉模糊集理论的空中目标类型识别方法。实例分析表明,该方法能够定量描述目标判断信息的不确定性以及在避免信息丢失的同时有效地处理不确定性程度较高的目标判断信息,可为防空作战中目标类型识别提供理论参考。 相似文献
994.
995.
在分布式仿真系统中 ,网上流动的大量冗余数据严重影响了系统的可伸缩性。基于均匀网格的相关过滤法减少了冗余数据 ,但具有匹配不精确 ,格子尺寸单一 ,难以适应所有实体的缺点。提出了一种基于多层次网格的相关过滤方法 ,克服了均匀网格法的上述缺点 ,并继承了均匀网格法处理速度快的特点 ,具有快速灵活的特点 相似文献
996.
分析了卫星激光测距(Satellite Laser Ranging, 简称SLR)检核GPS精密定轨精度基本原理,结合GPS精密定轨误差特点,提出了一种利用SLR数据校准GPS精密定轨系统误差的新方法.新方法在卫星一次过境的短弧段内,利用多个激光测站的分时观测数据,采用多站分时投影思想,重构系统误差,辨识三个方向的定轨精度差异.新方法需要一定数据量的支持,仿真结果表明,利用3个以上测站分时投影可以校准定轨线性系统误差,并且站星矢量之间的夹角越大,效果越好. 相似文献
997.
当前网吧数量不断增多,网吧的消防安全现状也随之引起了各级政府部门和公安消防机构的高度重视。针对网吧火灾事故频发,事故后果严重的现状。深入剖析了网吧的消防安全现状,并从严格审批,搞好网吧消防设施建设,健全预案演练机制,制定消防安全管理制度,加强消防安全知识教育培训等方面提出了应对策略。 相似文献
998.
从普通四元数矩阵的奇异值分解出发,给出了具有行或列对称结构的一类四元数矩阵(即广义四元数延拓矩阵)的奇异值、奇异向量与其母矩阵的奇异值、奇异向量之间的定量关系,推广了现有文献的结果。理论分析和数值实验的结果表明,就一大类广义四元数延拓矩阵而言,仅用母矩阵进行奇异值分解不但可以节省计算量和存储量,而且不影响任何数值精度。 相似文献
999.
1000.