首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   301篇
  免费   39篇
  国内免费   51篇
  2023年   8篇
  2022年   1篇
  2021年   4篇
  2020年   3篇
  2019年   2篇
  2018年   1篇
  2017年   1篇
  2016年   2篇
  2015年   1篇
  2014年   9篇
  2013年   11篇
  2012年   9篇
  2011年   19篇
  2010年   19篇
  2009年   14篇
  2008年   20篇
  2007年   13篇
  2006年   24篇
  2005年   13篇
  2004年   20篇
  2003年   13篇
  2002年   12篇
  2001年   17篇
  2000年   11篇
  1999年   13篇
  1998年   7篇
  1997年   27篇
  1996年   9篇
  1995年   13篇
  1994年   17篇
  1993年   2篇
  1992年   6篇
  1991年   5篇
  1990年   2篇
  1989年   2篇
  1988年   1篇
  1987年   2篇
  1986年   1篇
  1985年   3篇
  1984年   1篇
  1983年   1篇
  1982年   2篇
  1981年   9篇
  1980年   7篇
  1979年   8篇
  1977年   2篇
  1976年   4篇
排序方式: 共有391条查询结果,搜索用时 15 毫秒
101.
多视图需求工程中"分而治之"的需求开发方式,必然会产生"需要集成"和"如何集成"等问题.研究了基于多视图的C<'4>ISR系统需求框架及其视图产品,并在此基础上给出了C<'4>ISR系统需求集成的概念与范围.通过建立需求信息模型,从语法、语义和语用三个层次研究构建一个需求集成框架.通过需求产品之间的关联关系,分析不同视图产品在集成中存在的问题,并给出了需求集成框架中不同需求产品的集成过程,为C<'4>ISR系统需求集成问题的解决提供一个可供参考的方法.  相似文献   
102.
要实现军事信息系统的合理设计必须进行有效的系统建模.通过分析事件驱动的过程链(EPC)和Petri网的特点,提出两者相结合的建模方法,着重研究了基于EPC的系统过程描述方法,在EPC模型中引入组织描述和数据流描述,并分析了控制流、数据流相结合的结构合理性验证方法.设计实现了系统建模工具,并通过实例介绍建模过程,验证方法...  相似文献   
103.
日益复杂的军事电子信息系统面临正确性验证挑战,形式化验证方法如模型检验技术成为必需.给出基于时间Petri网表示的军事电子系统模型PMES的定义,然后给出PMES模型转换为时间自动机网的步骤,利用已有的基于时间自动机的模型检验工具对系统性质进行验证;系统的性质要求用时序逻辑语言CTL或TCTL公式表示.雷达干扰机系统说明了该方法的实际应用效果.  相似文献   
104.
研究了一种基于神经网络训练修改权值的加权M距离法用于雷达信号的识别,通过仿真试验验证了此法的正确性和有效性,并对试验结果进行了分析和讨论。  相似文献   
105.
C3I系统仿真及仿真环境研究   总被引:7,自引:1,他引:6  
首先讨论了C3I系统开发中存在的问题并提出解决这些问题的重要性,然后从C3I系统描述模型和仿真环境两个方面,介绍了国内外对于C3I系统仿真的研究现状和发展趋势.最后介绍了我们正在研制的基于对象Petri网的仿真演示环境的特点以及设计和实现方法.  相似文献   
106.
指挥控制参考模型研究进展   总被引:2,自引:0,他引:2  
介绍指挥控制参考模型领域取得的最新进展。在理论上分析了该模型体系结构的不足,引入了逻辑端口的概念。在应用上讨论了建模过程中层次的分拆、组合的原则,并将使用实例图引入该模型的理论研究和对实际系统的建模,取得了若干重要结论。  相似文献   
107.
随着过去十年中面向对象仿真(OOS)的研究、开发以及应用领域的巨大发展,很显然这项技术正在成为建立大型、复合以及/分布系统模型的选择对象。本文讨论了用于建立这些类型系统模型的OOS特征,并把OOS方法与传统仿真方法相比较。在回顾OOS语言和环境之后我们将讨论目前有关面向对象仿真的问题。  相似文献   
108.
网络技术突飞猛进的发展使得其在军事上的应用前景越来越广,网络战争应运而生。本文简要阐述了英、美一些国家就网络战争方面的研究、应用情况,以及未来可能的发展动态。  相似文献   
109.
近年来,随着美国国防部对无人驾驶战斗机的兴趣日益增长,研究无人战斗机已不再是纸上谈兵,而是进入了实质性的计划研究阶段。美国海军有关部门对此进行了专门研究,并启动了一项被称为“高机动致命飞行器”(HMLV)的无人驾驶战斗机的研制计划。  相似文献   
110.
我们经常用理论通信量模式来进行ATM网络通信量控制算法的分析与开发。根据这些模型已经提出了用于通信量成形、管理、流量控制和交换结构的算法。当模型帮助我们获得初步的解决办法时,提出的这种算法的成功和有效将会成为一种假模想模型与真实通信量模型程度相似的一种功能。 本文介绍的ATMTraP,即异步传输模型通信量和性能测试工具,是一个试验性样机,它能够用来表征构成ATM网络的信息源和部件。ATMTraP已经用于Nectar千兆位试验台,用来收集来自各信息源,诸如Cray C-90巨型计算机、Sun工作站、iWARP systolic阵列等的初步通信量统计数据。  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号