全文获取类型
收费全文 | 693篇 |
免费 | 33篇 |
国内免费 | 24篇 |
出版年
2024年 | 3篇 |
2023年 | 7篇 |
2022年 | 6篇 |
2021年 | 6篇 |
2020年 | 18篇 |
2019年 | 4篇 |
2018年 | 2篇 |
2017年 | 8篇 |
2016年 | 15篇 |
2015年 | 22篇 |
2014年 | 60篇 |
2013年 | 64篇 |
2012年 | 73篇 |
2011年 | 70篇 |
2010年 | 44篇 |
2009年 | 54篇 |
2008年 | 40篇 |
2007年 | 24篇 |
2006年 | 34篇 |
2005年 | 30篇 |
2004年 | 34篇 |
2003年 | 29篇 |
2002年 | 24篇 |
2001年 | 15篇 |
2000年 | 15篇 |
1999年 | 2篇 |
1998年 | 15篇 |
1997年 | 12篇 |
1996年 | 6篇 |
1995年 | 2篇 |
1994年 | 4篇 |
1993年 | 3篇 |
1992年 | 4篇 |
1990年 | 1篇 |
排序方式: 共有750条查询结果,搜索用时 15 毫秒
161.
为了对多源遥感数据的处理任务进行有效的调度和管理,提高处理资源的利用率,根据遥感数据处理任务调度问题的特点,采用Petri网对该问题进行形式化描述,建立了遥感数据处理任务调度的数学模型,根据该问题的多目标特性,采用蚁群算法进行求解.给出仿真实例,将蚁群算法的求解结果与启发式算法和模拟退火算法的求解结果进行比较,验证算法... 相似文献
162.
针对装备综合保障工作流建模要求,构建了对象有色Petri网(Object-Oriented Colored Petri Net,OCPN)模型,给出该模型的形式化定义。结合装备使用过程综合保障工作,建立基于OCPN的工作流模型。根据工作流的执行过程,进行了工作流引擎体系结构以及相关类的设计,为工作流模型的计算机化以及工作流管理系统设计与实现提供了一种新的思路。 相似文献
163.
日益复杂的军事电子信息系统面临正确性验证挑战,形式化验证方法如模型检验技术成为必需.给出基于时间Petri网表示的军事电子系统模型PMES的定义,然后给出PMES模型转换为时间自动机网的步骤,利用已有的基于时间自动机的模型检验工具对系统性质进行验证;系统的性质要求用时序逻辑语言CTL或TCTL公式表示.雷达干扰机系统说明了该方法的实际应用效果. 相似文献
164.
165.
基于CPN建模的行动方案开发与分析系统设计 总被引:1,自引:0,他引:1
协助和支持军事计划人员制订和分析作战计划的建模与仿真能力是军方的现行需求,而行动方案的开发与分析则是作战计划建模与仿真的重点。针对作战计划过程期间开发的军事任务的排序与调度问题,设计了一个行动方案开发与分析系统,系统采用客户机-服务器体系结构,运用基于有色Petri网建模的军事计划领域的概念表示法,并使用状态空间分析技术完成军事任务的自动化排序与调度。军事计划人员通过图形用户界面使用系统,在面对紧急突发事件时,可以快速及时地开发出适当可行的COA,并对COA进行逻辑可行性分析。 相似文献
166.
167.
168.
随着通信网络不断向各领域延伸,飞行自组网作为一种新型移动自组织网络,以飞行器作为空中无线通信节点建立网络,实现网络层高效通信.首先,通过考虑链路质量、流量负载和空间距离构建多路径路由模型,并设计抗干扰的多路径路由算法;其次,构建基于源节点路由回复包接收速率的解析模型;然后,对模型进行分析与评价;最后,通过仿真实验验证所... 相似文献
169.
建设屯垦戍边新型团场是兵团党委贯彻中央精神,发展壮大团场经济、致富职工群众的重大战略部署,与建设社会主义新农村有相通之处,更有创新之举,有着鲜明的时代特征。 相似文献
170.
当前,全军政工信息网已经通到不少单位,没有通政工网的单位有的也建立了自己的局域网,安装了电子邮件服务器。电子邮件与普通邮件相比,它具有如下优点。快速:发送电子邮件后,只需要几秒钟就可通过网络传送到接收人的电子邮箱中。方便:书写、收发电子邮件都通过电脑自动完成,双方接收邮件都无时间和地点限制。可靠:每个电子邮箱地址都是惟一的, 相似文献