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

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

基于VxWorks操作系统如何实现宽带超短波电台隧道

介绍了一种基于VxWorks协议栈的隧道的技术,并结合其在宽带超短波电台中的应用,详细讨论了实现隧道技术的原理和过程,并给出了程序实例的关键代码。实践表明,该方法设计简单,性能可靠,效果良好,解决了宽带超短波电台数据通信由于"非标"所带来的一系列问题,满足了不同应用场合下对宽带超短波电台的需求。     

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

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

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

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

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

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

基于Verilog语言的边界扫描结构设计

以对74290IP核加载边界扫描结构为例,采用硬件描述语言Verilog对边界扫描结构进行了模块化设计,并进行了边界扫描测试仿真。结果表明：加载边界扫描结构后的核心逻辑能够实现功能内测试和外部互联测试。该设计方法简单可行,具有一定的通用性,为智能BIT设计、装备健康管理设计中的底层数据采集提供了技术支撑。     

财富500强企业的成功密码

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

增强型个人防火墙

信息时代 ,个人上网机的信息保护越来越受到社会的重视 ,个人防火墙就应运而生。首先简单介绍个人防火墙的原理和功能 ,在特殊IP的过滤和端口、漏洞和进程防护几个方面分析了当前一些典型的个人防火墙产品存在的缺点 ,提出了EPFW的概念 ,然后阐述了EPFW对个人防火墙的IP过滤、端口防护、漏洞防护、病毒防护和进程防护进行增强的设计问题、技术难点以及解决方法。这些都说明对于PC机信息保护而言 ,EPFW是一个可行的合理的解决方案。     

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

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