全文获取类型
收费全文 | 3935篇 |
免费 | 592篇 |
国内免费 | 300篇 |
出版年
2024年 | 33篇 |
2023年 | 106篇 |
2022年 | 72篇 |
2021年 | 108篇 |
2020年 | 179篇 |
2019年 | 99篇 |
2018年 | 27篇 |
2017年 | 81篇 |
2016年 | 143篇 |
2015年 | 100篇 |
2014年 | 260篇 |
2013年 | 216篇 |
2012年 | 288篇 |
2011年 | 262篇 |
2010年 | 274篇 |
2009年 | 238篇 |
2008年 | 342篇 |
2007年 | 454篇 |
2006年 | 228篇 |
2005年 | 189篇 |
2004年 | 150篇 |
2003年 | 163篇 |
2002年 | 129篇 |
2001年 | 127篇 |
2000年 | 76篇 |
1999年 | 81篇 |
1998年 | 75篇 |
1997年 | 62篇 |
1996年 | 56篇 |
1995年 | 49篇 |
1994年 | 40篇 |
1993年 | 20篇 |
1992年 | 29篇 |
1991年 | 26篇 |
1990年 | 23篇 |
1989年 | 20篇 |
1988年 | 1篇 |
1987年 | 1篇 |
排序方式: 共有4827条查询结果,搜索用时 15 毫秒
981.
针对装备综合保障工作流建模要求,构建了对象有色Petri网(Object-Oriented Colored Petri Net,OCPN)模型,给出该模型的形式化定义。结合装备使用过程综合保障工作,建立基于OCPN的工作流模型。根据工作流的执行过程,进行了工作流引擎体系结构以及相关类的设计,为工作流模型的计算机化以及工作流管理系统设计与实现提供了一种新的思路。 相似文献
982.
在混合对策理论的基础上,将空战过程看作是由一系列离散的状态组成的离散事件动态系统,建立了空战过程的离散状态子模型,利用空战态势指数和战机空战能力指数构造了战术评估函数,以完成对战术动作的筛选工作,并结合3DOF质点模型设计了机动指令生成器,实现对无人机运动状态的控制,并在Matlab环境下对机动实例进行了仿真. 相似文献
983.
984.
985.
986.
当前统计模型及其自适应滤波(CSMAF)算法是机动目标跟踪中的一种有效方法.但该方法对目标机动加速度极限值有依赖,并且对弱机动目标跟踪的精度不高.为解决这一问题,利用一种改进的加速度方差自适应调整公式克服了对加速度极限值的依赖,同时利用神经网络对滤波参数信息进行融合,自适应调整过程噪声.仿真结果表明,该方法有很好的机动... 相似文献
987.
988.
989.
日益复杂的军事电子信息系统面临正确性验证挑战,形式化验证方法如模型检验技术成为必需.给出基于时间Petri网表示的军事电子系统模型PMES的定义,然后给出PMES模型转换为时间自动机网的步骤,利用已有的基于时间自动机的模型检验工具对系统性质进行验证;系统的性质要求用时序逻辑语言CTL或TCTL公式表示.雷达干扰机系统说明了该方法的实际应用效果. 相似文献
990.