杨石磊 军旅给了我一次生命的转换

立于相山之巅,杨石磊极目远眺,视线中的淮北原野阡陌如织、秋实似锦,大地完成了又一轮秋实的孕育。但杨石磊却感到内心搁浅着一分沉重,长城的延伸,最基础的工程就在基层武装部燕子衔泥、添砖垒石。在安徽省淮北市相山、烈山两个区人武部政委任上7年,杨石磊日夜萦怀的就是这样一种责任和担当,倾吐着矢志不渝的强军情怀。     

基于MDA的MARTE模型形式化转换

非形式化/半形式化模型到形式化模型之间的转换是当前软件工程领域的研究热点。根据异构模型转换,提出了基于MDA的MARTE模型到Object-Z规约之间的转换方法。针对Object-Z在实时领域表达能力不足的问题,首先扩展Object-Z元模型;然后在MDA的元元模型体系下,定义了MARTE元模型和扩展的Object-Z元模型之间的转换规则。MARTE模型可以重用这些转换规则以实现到Object-Z形式化描述之间的转换,进而可以对模型进行形式化验证;最后通过一个实例使用该方法完成模型转换,具体说明了转换规则的应用。     

舰艇编队对潜水声警戒主/被动探测转换区的决策指挥

从大型舰艇编队反潜战术及水声装备作战使用的角度出发,提出了水声警戒主/被动转换区的概念,分析了各种影响因素及其相互关系,研究了水声警戒主/被动转换区的计算方法,建立了转换区的数学模型,得出了多潜艇突防编队警戒幕的概率和水面舰艇编队的对潜警戒探测能力,提出了水声警戒主/被动转换区决策与指挥的方法。     

一种支持并行离散事件仿真建模和并行模型检验的建模语言

并行离散事件仿真(Parallel Discrete Event Simulation,PDES)模型的正确性和可信度对PDES应用的发展起着决定性作用.然而,现有的并行离散事件仿真开发环境都没有提供仿真模型检验功能.并行模型检验(Parallel Model Checking,PMC)方法以其完备性、高效性已经在工业...     

河南省军区组织首长机关进行冬季野营训练

日前,河南省军区组织首长机关进行了冬季野营训练,训练的主要课目是战备等级转换、野战指挥所开设与转移、识图用图、穿戴防毒面具通过染毒地段及防敌空中侦察和野外严寒条件下的警戒、露营、野炊等,并在训练     

搞好民兵对口专业分队接口与补差训练的两点意见

军事专业技术接口与军事基础补差训练是实现民兵对口专业分队"民转军"的基本途径。搞好民兵对口专业分队接口与补差训练,关键在于解决"训什么、怎样训"两个问题。解决好"训什么"的问题。是民兵对口专业分队接口与补差训练的关键环节。(一)关于接口训练的内     

财富500强企业的成功密码

王庚年在《理论前沿》2005年第1期撰文指出：要真正实现政府职能转换,创新政府管理体制,必须明确政府创新的十大理念：     

分布式软件平台StarBus中接口池的研究与实现

按照ＣＯＲＢＡ标准，阐述了接口池在ＳｔａｒＢｕｓ系统中的作用，介绍了ＳｔａｒＢｕｓ系统中接口池的设计，说明了接口池的内容与结构，实现了ＳｔａｒＢｕｓ系统中的接口池服务，为在ＳｔａｒＢｕｓ系统中实现动态激活提供了保证。     

火控雷达的仿真目标建模及实现

中外军队的实践证明 :模拟训练是一种最简便、成本低、效果好的训练方式。对于需要空情保障和训练成本高的雷达训练来说更是如此。探讨了火控雷达回波信号的模型建立及实施方案。     

论军服的湿热舒适性与凉爽性

分析外界环境、服装、人体三者间热量的关系 ,对面料的热量和水分子移动特性、服装内气候等作了评价 ,提出了研究服装湿热舒适性与凉爽性的技术关键是降低服装内湿度。文章还介绍了目前外军和我军有关的研究成果。