Model‐based code generation for HLA federates

This paper addresses the problem of automated code generation for a High Level Architecture compliant federate application given its behavior model. The behavior model is a part of the architectural model of a federation that the federate can participate in. The federate behavior model is based on Live Sequence Charts, adopted as the behavioral specification formalism in the Federation Architecture Metamodel (FAMM). FAMM serves as a formal language for describing federation architectures. An objective is to help the testing of federation architecture by means of its prototype implementation early in the development lifecycle. A further objective is to help developers construct complete federate applications that are well modularized. The approach to achieve these objectives is aspect‐oriented in that the generated code, which handles the federate's interactions with a federation execution, serves as the base code, where the computation logic is to be weaved as an aspect. Copyright © 2009 John Wiley & Sons, Ltd.     

.NET环境下MFC框架应用的包装集成技术研究

为有效解决.NET应用中对MFC遗留应用系统的快速集成问题,并尽量重用已有系统,研究了.NET环境下MFC应用系统的包装集成技术,提出了用混合DLL方式来对MFC应用进行大粒度封装的方案.在此基础上开发了一个包装器中间件,对该中间件的体系结构进行了分析,叙述了中间件主要组成部分的关键实现技术,然后给出了一个实例.实践结果表明,该技术是行之有效的,能够满足许多应用系统的需求,提高开发效率.     

基于QNX的PC104总线设备驱动模块的开发

QNX作为最优秀的嵌入式实时操作系统之一,已被应用于诸如医疗仪器、电网通信以及航空航天等任务关键型领域。在掌握QNX微内核结构和消息传递机制的基础上,论述了QNX下资源管理器的原理以及资源管理器与设备驱动程序的关系,具体分析了PC104总线设备驱动程序编写规范和步骤。实现了QNX下应用程序对硬件访问的无关性,大大增强了系统安全性以及移植性等。     

移动中间件在ERP系统中的应用

鉴于J2ME和Web Services技术在部署企业移动应用上的优势,本文在深入研究这两种技术的基础上结合实际项目构建了一个企业移动应用系统-移动ERP。它面向企业的工作人员,让他们随时随地查询企业进、销、存等信息,并可以对信息进行审批,实现了移动终端和企业信息的交互,具有一定的实用价值,同时验证了用这两种技术构建企业移动应用程序的可行性。     

可靠实现煤矿双机热备系统的方法

在分析商用双机热备系统在煤矿应用的局限性基础上,提出了一种适用于中小煤矿的双机热备系统纯软件实现方法。该方法采用单/双工混合运行模式保证双机实时性能和数据一致性,采用心跳线连接和对等网络消息传递机制实现运行故障监测与传递功能,采用数据自动同步技术减少人工干预和提高系统可维护性,并采用虚拟IP地址技术实现应用层透明访问和无缝切换功能。实验与应用案例证明该方法符合相关行业安全标准并具备现实可行性。     

面向自动抄表系统的智能消息语言

针对传统自动抄表系统存在的多种计量设备相互通信困难的问题,提出了一种面向自动化抄表系统的智能消息语言(SML).分别阐述了SML的基本概念、结构及其在网络结构中的定位,分析了SML语言标准中的消息簇组成格式、封装和编码方式等.最后,结合电力抄表系统的应用实例,给出了SML语言在电力自动抄表系统中的各种数据传输格式.通过...     

多定位技术融合的位置感知中间件

无论是普适计算还是物联网,定位都是其关键技术之一,为了解决现有的定位技术多面向某一特定应用开发、缺乏通用性等问题,构建了一个通用的实时位置感知中间件UbiRTLM.将应用服务从位置感知技术中分离出来,可以不需要更改原有的应用及服务而动态扩展新的定位技术.通过实验验证了UbiRTLM的定位精度及相关功能.结果表明:UbiRTLM能够满足大多数应用的精度需书并能处理相应的服务请求.     

基于混沌序列的RFID安全加密机制

针对现有RFID系统读写器和标签之间通信安全性低、易受到各种攻击的安全问题,介绍基于Logistic混沌序列的动态实时密钥方法,提出一种基于混沌序列RFID的安全加密机制,采用动态实时密钥对RFID系统中的读写器与电子标签通信消息进行加密。仿真实验结果表明,该方法能够解决RFID系统中非法存取、伪造哄骗、数据泄露、位置跟踪等安全问题。     

一种基于触发机制的轮转算法

在负载平衡技术中,必须使用合适的算法进行成员选择,以决定由哪个副本对象处理到来的客户请求。传统轮转负载平衡算法只能在某些特定条件下平衡负载。针对该缺点,结合普通轮转算法和加权算法的优点,提出一种基于触发机制的轮转算法。实验结果表明,该算法能感知后段资源。     

移动终端的设施农业物联网环境监控系统设计

通过使用物联网(IOT)传输协议—消息队列遥测传输(MQTT)协议,将前端硬件、服务器端及移动端连接在一起,完成对设施农业环境的远程实时监控.在系统中,前端硬件以STM32微处理器为核心,由传感器模块、设备控制模块、GPRS模块和电源模块组成,实现数据的采集和传输;服务器端有数据接收、存储、分析的能力,并担任MQTT消息协议中消息生产者和消息管理者的角色;移动终端软件则以Android操作系统为基础开发了应用软件,用户在装有Android系统的移动终端上安装该应用软件,即可查看实时环境情况,发送控制设备指令等.经过测试,整个系统运行稳定、使用简单、实时性高,用户能有效地对设施农业环境进行远程实时监控.