全文获取类型
收费全文 | 166篇 |
免费 | 39篇 |
国内免费 | 14篇 |
出版年
2024年 | 2篇 |
2023年 | 6篇 |
2022年 | 4篇 |
2021年 | 3篇 |
2020年 | 5篇 |
2019年 | 6篇 |
2018年 | 3篇 |
2017年 | 3篇 |
2016年 | 6篇 |
2015年 | 6篇 |
2014年 | 12篇 |
2013年 | 19篇 |
2012年 | 11篇 |
2011年 | 9篇 |
2010年 | 9篇 |
2009年 | 13篇 |
2008年 | 43篇 |
2007年 | 15篇 |
2006年 | 6篇 |
2005年 | 4篇 |
2004年 | 6篇 |
2003年 | 3篇 |
2002年 | 2篇 |
2001年 | 5篇 |
2000年 | 1篇 |
1999年 | 4篇 |
1998年 | 6篇 |
1996年 | 2篇 |
1995年 | 2篇 |
1993年 | 1篇 |
1992年 | 2篇 |
排序方式: 共有219条查询结果,搜索用时 15 毫秒
1.
基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑(Global Temporal Logic)GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。 相似文献
3.
4.
针对当前大型新型作战平台信息化建设存在的作战流程不清晰、作战信息不合理、互操作性差等严重影响新质战斗力生成问题,在详细分析作战信息体系需求和作战信息交换仿真需求的前提下,充分考虑作战使用人员对系统的影响,提出了基于人在回路的动态交互作战信息交换仿真方法,并研制了仿真平台,分析了作战信息交换仿真效果,指出了仿真方法和平台改进发展方向,为大型新型作战平台信息化建设以及作战训练提供了论证方法和手段支撑。 相似文献
5.
6.
军事概念模型是对军事行为空间进行的第一次抽象,它对军事系统表达的准确性和合理性将是作战仿真模拟质量的关键.针对军事系统的复杂性,在众多的建模语言中,选用何种语言进行军事概念模型的验证值得深入研究.Petri网是一种应用广泛、功能较强的建模语言,适合复杂系统建模.分析比较了它的特点,探讨了其运用的思路,最后给出了其在反导作战军事概念建模验证中应用的实例. 相似文献
7.
对大流量气体减压器工作过程中的振动故障进行分析,建立了减压器系统动态数学模型,进行了故障数值仿真,找到了简单有效的提高减压器输出响应稳定性的方法--减小控制腔入口面积,并得到试验验证.仿真结果还表明,大流量气体减压器的振动问题不仅和减压器本身设计参数有关,还和下游管路容积有关. 相似文献
8.
在并行离散事件仿真系统中实现仿真模型间的互操作机制需要引入类似HLA中定义的声明管理(DM)和数据分发管理(DDM)服务.我们开发的KD-PADSE高性能并行离散事件仿真环境采用谓词断言和对象代理方法在面向对象的并行离散事件仿真系统中实现了基于平行结构和事件调度机制的声明管理(DM)和数据分发管理(DDM)服务.在以千兆以太网互联的10节点Linux集群计算机上,采用DDM机制后仿真模型每秒(物理时间)可以进行1万次属性更新,是没有采用DDM机制时的20倍,在功能性和性能上验证了该DDM机制在并行离散事件仿真系统中的适用性. 相似文献
9.
可信性是系统仿真的关键要素.基于BOM的HIA仿真系统可以从仿真模型层次上提高系统的重用性和互操作性.为了确保该类仿真系统的可信性,在建模与仿真全生命周期中开展VV&A研究,十分必要.介绍了基于BOM的HLA仿真系统的FEDEP模型,并简要提出其VV&A过程,重点对用户模型、仿真模型组件及联邦成员的V&V展开研究,最后将这些研究应用于×××反舰导弹突防联邦仿真中.结果表明:提出的VV&A过程切实可行,保障了系统的可信性. 相似文献
10.
仿真模型的验证是根据模型预期的使用目的,判定模型和现实世界客观事物的符合程度,对于不同的问题可能有不同的方法。RTI使用UDP多点传送实现快速传输,因此在传输数据时容易产生信息包丢失的现象。本文对一个传统仿真模型进行了改造,使其与HLA兼容,并据此对模型验证进行了案例研究。 相似文献