排序方式: 共有93条查询结果,搜索用时 0 毫秒
31.
32.
时态逻辑形式化描述并发系统性质 总被引:1,自引:0,他引:1
时态逻辑是一种描述反应式(并发)系统中状态迁移序列的形式化方法,用于刻画并发系统所需验证的性质,是模型检测的基础.阐述了时态逻辑CTL 及其子逻辑CTL、LTL的语法及语义,然后分析运用时态逻辑描述并发系统性质,最后给出一个应用实例. 相似文献
33.
网络战,就是敌对双方以计算机技术为主,采取各种“软硬”杀伤手段,以保护己方和打击、破坏对方信息网络为主要目标实施的作战。 相似文献
34.
国防后备力量建设是国防建设的重要组成部分,在中国特色社会主义建设中占有重要地位。新形势下,必须坚持以党的军民融合发展战略统一思想,坚持从实现强国梦强军梦的高度统筹谋划,坚持一切建设和工作向能打仗打胜仗聚焦,从解决"五个问题"入手,推进国防后备力量建设。 相似文献
35.
卫星具有覆盖范围广、可长时间稳定运行、无国界限制、安全性高等独特优势,是提升部队作战效能的"倍增器",也是解决大范围战场信息支撑能力问题的有效手段和最佳途径。21世纪初,高速增长的经济推动越南航天事业驶入了发展的快车道,不仅实现了卫星发射的零突破,还相继发射了多颗通信卫星、遥感卫星和试验型纳卫星。文章主要对越南当前的卫星现状进行总结归纳,并分析其未来的发展计划。 相似文献
36.
谢美华 《国防科技大学学报》2014,36(3):36-40
针对非相干背景光辐照二波耦合中参数的最佳匹配设计问题,提出了一种基于随机共振理论的研究方法。首先,文章通过二波耦合过程进行物理机理分析和数值实验分析,证明了该问题在本质上可归结为一种随机共振现象。其次,从随机共振的角度,研究其中的最佳参数设计问题,给出了一种分布处理的最优参数设计流程。按照该方法,在给定增益要求的情况下,先根据信号光饱和与否来确定晶体长度,最后根据非相干光的比例对增益的影响来确定非相干光的比例。仿真实验表明,经过最佳参数设计后,信号的增益和输出信噪比上均有显著提高。 相似文献
38.
农七师电力公司总投资3.8亿元的2×25M W热电工程去年年底竣工投产后,经过半年多时间的运转,在节能、环保方面都取得了良好效果,该工程DCS自动控制系统使设备运行中的自动化控制能力达到了96%,在区内电力行业处于领先地位。历史短暂的一瞬,现实辉煌的一页。经历了40多年的风雨,农七师电力公司广大职工在准噶尔盆地南缘的大地上,谱写了一支激昂的进行曲。昔日的荒原,今日的绿洲新城。一走进农七师电力公司,便有一种令人耳目一新的感觉。蓝白相间的厂房,高耸的双曲线冷却塔,整洁的办公大楼以及坐落于市中心的电力调度大楼构成了奎屯市区一道… 相似文献
39.
第二次世界大战堪称人类军事史上最波澜壮阔的战争,同时也是军事变革成效最为显著的阶段,世界主要大国都致力于将最新的科学技术应用于军事领域,促进了军事思想、军事技术、作战样式突飞猛进的发展.但是,同样是推动军事变革,由于各国的战略环境、军队结构、历史传统等因素的作用,军事变革的结果却不尽相同.管窥二战前世界主要大国特别是美、英、日等国家航空母舰的运用及发展即可见一斑. 相似文献
40.
针对传统的电磁环境建模方法难以准确地描述电磁环境动态变化的问题,提出了一种基于Multi-Agent技术的动态电磁环境建模方法。首先分析了电磁环境建模的层次结构;然后建立了通信电台、雷达、侦察站、干扰站的Agent实体模型,建立了Agent行动模型和Multi-Agent系统交互模型,解决了个体Agent模型设计中的感知、动作、决策及实现方法上的问题。最后设置某仿真场景,利用Netlogo仿真平台建立仿真验证系统,仿真结果验证了模型的有效性,表明了应用Multi-Agent建模方法解决电磁环境的动态模拟的可行性。 相似文献