全文获取类型
收费全文 | 552篇 |
免费 | 69篇 |
国内免费 | 51篇 |
出版年
2024年 | 4篇 |
2023年 | 10篇 |
2022年 | 7篇 |
2021年 | 18篇 |
2020年 | 18篇 |
2019年 | 4篇 |
2018年 | 4篇 |
2017年 | 11篇 |
2016年 | 13篇 |
2015年 | 17篇 |
2014年 | 45篇 |
2013年 | 45篇 |
2012年 | 40篇 |
2011年 | 49篇 |
2010年 | 43篇 |
2009年 | 49篇 |
2008年 | 31篇 |
2007年 | 30篇 |
2006年 | 28篇 |
2005年 | 34篇 |
2004年 | 22篇 |
2003年 | 18篇 |
2002年 | 19篇 |
2001年 | 16篇 |
2000年 | 15篇 |
1999年 | 10篇 |
1998年 | 20篇 |
1997年 | 15篇 |
1996年 | 10篇 |
1995年 | 2篇 |
1994年 | 9篇 |
1993年 | 6篇 |
1992年 | 5篇 |
1991年 | 3篇 |
1990年 | 1篇 |
1988年 | 1篇 |
排序方式: 共有672条查询结果,搜索用时 515 毫秒
141.
炮兵指挥自动化系统是C3I系统的一个重要组成部分 ,C3I系统需求的功能分析的方法也完全适用于炮兵自动化指挥系统。本文首先对C3I系统需求的功能分析的方法以及功能分析的Petri网表示作一个简单的介绍 ,而后运用这个方法结合我军的实际情况及战术原则对炮兵指挥自动化系统进行功能分析 ,并通过Petri网表示功能分析。 相似文献
142.
在ATM网中,是否接受一个新呼叫关键在于网络能否提供满足传输性能指标的带宽。因此,能够找到一个既简洁又准确的带宽分配算法是一个很吸引人的问题。对于可变比特率编码的视频信号,若已知比特率概率密度,可用卷积计算所需分配的带宽,但在网中很难实现卷积运算,幸运的是比特率概率密度函数近似正态分布,因此简化了带宽分配算法,本文对这种算法的合理性、误差问题进行了分析,对公式提出了修正看法。 相似文献
143.
随机 Petri 网的瓶颈及其最大处理能力 总被引:1,自引:0,他引:1
介绍了随机Petri网瓶颈的概念,给出了一般随机Petri网最大处理能力的数学模型,针对一类特殊结构的随机Petri网,导出了分析其最大处理能力和瓶颈的快速算法,最后给出了一个防空决策组织信息处理瓶颈与处理能力分析的实例。 相似文献
144.
用Petri网分析系统的逻辑特性时很重要的是分析它的活跃性、非死锁性及安全性。在此提出两个算法—Petri网深度优先算法和活跃性判定算法,并加以证明。 相似文献
145.
张晨曦 《国防科技大学学报》1988,10(2):73-80
本文比较了实时仿真计算机系统中配备A/D、D/A变换器的两种方案。分析了几种检索算法,并且提出了一种新的全并行检索方法——映象检索。文中论述了仿真计算任务的特点及其并行性的开发。本文在分析了AD-10的缺点之后指出,纯异构型仿真专用多处理机的局限性较大,不能充分开发仿真计算任务的并行性。较好的结构形式应是以同构型多处理机为核心。 相似文献
146.
为了对多源遥感数据的处理任务进行有效的调度和管理,提高处理资源的利用率,根据遥感数据处理任务调度问题的特点,采用Petri网对该问题进行形式化描述,建立了遥感数据处理任务调度的数学模型,根据该问题的多目标特性,采用蚁群算法进行求解.给出仿真实例,将蚁群算法的求解结果与启发式算法和模拟退火算法的求解结果进行比较,验证算法... 相似文献
147.
148.
针对装备综合保障工作流建模要求,构建了对象有色Petri网(Object-Oriented Colored Petri Net,OCPN)模型,给出该模型的形式化定义。结合装备使用过程综合保障工作,建立基于OCPN的工作流模型。根据工作流的执行过程,进行了工作流引擎体系结构以及相关类的设计,为工作流模型的计算机化以及工作流管理系统设计与实现提供了一种新的思路。 相似文献
149.
150.
日益复杂的军事电子信息系统面临正确性验证挑战,形式化验证方法如模型检验技术成为必需.给出基于时间Petri网表示的军事电子系统模型PMES的定义,然后给出PMES模型转换为时间自动机网的步骤,利用已有的基于时间自动机的模型检验工具对系统性质进行验证;系统的性质要求用时序逻辑语言CTL或TCTL公式表示.雷达干扰机系统说明了该方法的实际应用效果. 相似文献