基于XML的作战方案形式化描述

来源 :系统仿真学报 | 被引量 : 0次 | 上传用户:wxdong2009
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
其他文献
随着国家各大学校校园网络建成与快速发展,网络已经走进了学生们的校园生活当中,在信息化时代来临的今天,网络在带给我们便利的同时,也隐藏着一定的风险,校园网络为学生和教
期刊
三星信息安全有限公司推出的全新物理隔离解决方案,可以根据用户不同的网络环境要求,帮助用户量身定制一个性能价格比极高的网络环境,从而方便用户随意穿梭于内外网之间,而不
文中针对传统的疫情控制效果计算公式 E F= 1 - ( T- T0)( ck - ck0) 和 E F= 1 - ( T×ck0)( ck0 × T0) 的缺欠,提出适用于多循环病害的新的疫情控制效果计算公式 E F= 1 - [( T- T0)(1 - ck) ck0][( ck - ck0)(1 - T) T0] 。此公式的优点是:在 ck0
通化县是吉林省国家农业可持续发展试验示范区1市、8县申报创建主体之一的县份,该县以推进农业供给侧结构性改革为主线,深入贯彻绿色发展理念,大力发展生态农业,着力构建现代
期刊
由方正数码公司自主开发的FireGate防火墙系统通过了新的国家标准(GB/T1 8020-1999标准)的检测,成为国内首家通过检测的包过滤防火墙产品.rnFireGate是一套全面、高性能的网
期刊
在工程项目建设中,经常会需在有限且狭窄的场地来开挖基坑,基于这一情况下,为确保基坑附近建筑物以及坑内施工的安全,在基坑边坡需要进行可靠且安全的支护.下面笔者结合某工
抓源头,严把准入关口.严格执行准入门槛,对不符合发证条件的,一律不允许发证.要严把药品质量关,在进行药品零售企业换证工作过程中,严把许可关,对不符合条件、信誉度低、制售
期刊