面向LonWorks网络的OPC Server设计与实现

OPC是工业控制领域中应用程序互操作规范。针对自主研制的LonWorks网络，实现了其OPC server，使得OPC client软件能方便地从本地或远程访问这种网络。在讨论了应用程序的实时数据库、图形用户接口、OPC对象、I/O读写等实现原理的基础上，研究了该OPC server的写命令处理和多线程同步等关键技术。     

KingView与893-IDCN网络通信接口驱动实现

KingView和893-IDCN分别是一种流行的国产工控组态软件和高性能远程I/O网络。本文分别从KingView驱动程序的工作机制、实现原理、驱动程序设计及优化等方面讨论了KingView与893-IDCN网络的接口驱动的实现方法和过程。该接口驱动程序已随KingView一同发布,并已在众多工矿企业获得成功应用。     

安全关键系统及其软件方法

安全关键系统是指其不正确的功能或失效会导致人员伤亡、财产损失等严重后果的计算机系统。软件系统是安全关键系统研究的核心和难点。阐明了安全关键系统及其软件的基本概念、主要研究内容、起源与现状,重点讨论了安全关键软件方法,特别是形式化方法的原理、相关标准和典型应用。在分析当前安全关键系统的新变化及其软件面临的挑战的基础上,提出并讨论了形式化方法可能的应对对策和发展方向。     

基于CMDS-MSO的无线传感器网络定位算法

针对基于经典多维标度(CMDS)的定位算法中用最短路径距离替代节点间Euclidean距离造成的距离误差,结合质点弹簧模型(MSO)抑制误差的优点,提出了基于CMDS-MSO的新定位算法,该算法既有效抑制了CMDS算法的定位误差,又克服了质点弹簧优化模型算法易陷入局部最优的不足,有效提高了节点的定位精度。仿真结果表明,基于CMDS-MSO的新型定位算法的定位精度要高于基于CMDS的定位算法和基于MSO的定位算法,具有较强的鲁棒性。     

一种软件自适应UML建模及其形式化验证方法

软件自适应的建模和形式化验证是提高自适应软件开发效率、保证自适应软件可靠性的基础,现有研究中软件自适应可视化建模与形式化建模相隔离,一定程度上阻碍了自适应软件的开发.为此,提出MV4SAS的方法,将可视化的UML与严格化的时间自动机相结合,用于软件自适应的建模和形式化验证.首先,应用UML扩展机制引入新的构造型、标记值和约束条件,定义软件自适应建模设施,在此基础上构造软件自适应结构模型和行为模型;然后,根据定义好的转换算法将软件自适应行为模型转换为时间自动机网络,建立软件自适应形式化模型;最后,定义一组软件自适应形式化验证性质,并利用模型检测工具UPPAAL验证软件自适应模型的可靠性.案例研究表明,该方法可有效降低软件自适应建模和验证的复杂度,提高软件自适应的建模效率和模型可靠性.     

编译群体智能系统应用程序:以全分布式智能建筑系统为例

群体智能系统通过邻居个体的信息交互实现群体级别的应用任务,具有良好的鲁棒性和灵活性.与此同时,大多数开发人员难以对分布式、并行的个体交互机制进行描述.一些高级语言允许用户以串行思维方式、从系统全局角度来编程并行的群体智能计算任务,而无需考虑通信协议、数据分布等底层交互细节.但面向用户、全局声明式的群体智能系统应用程序与个体并行执行逻辑存在的巨大语义差距,使得编译过程复杂进而导致应用程序开发效率不高.本文提出了一个编译系统及其支撑工具,支持将高级的群体智能系统应用程序转换为安全、高效的分布式实现.该编译系统通过并行信息识别,计算划分,交互信息生成技术,将面向系统全局、串行编程的群体智能应用程序编译为面向个体独立执行的并行目标代码,从而使用户不必了解个体间的复杂交互机制.设计了一种标准化中间表示,将复杂群体智能计算任务转换为群体智能算子和输入输出变量组合而成的标准化语义模块序列,其以独立于平台的形式表示源程序信息,屏蔽了目标硬件平台的异构性.在一个群体智能系统案例平台中部署和测试了该编译系统,结果表明该系统能够有效将群体智能应用程序编译为平台可执行的目标代码并提升应用程序开发效率,其生成的代码在一系列基准测试中具有比现有编译器更好的性能.     

基于数字操作手的国防工程信息化保障系统

国防工程信息化建设对于打赢信息化战争具有重要意义,为提高国防工程信息化保障能力,满足信息化战争条件下的保障需求,对基于数字操作手的国防工程信息化保障系统进行了研究。首先,提出了国防工程信息化保障数字操作手的概念和设计目标;然后,对信息化保障系统的业务过程进行分析,并据此设计了信息化保障系统架构;最后,对未来数字操作手的研究工作进行了展望。     

基于DCOM 的I/O驱动程序封装关键技术研究

给出了基于DCOM的DLLI／O驱动的封装方案，使客户程序具备了跨进程及计算机边界从而远程访问I/O设备的能力。文章在讨论封装方案的基础上，重点研究了客户程序与I／O组件服务器间的指针、数组、字符串及字符串数组等重要数据类型的数据传递技术。     

人防工程的照明控制技术研究与应用

照明负荷在人防工程的总用电负荷中占很大比重，但目前人防工程的照明控制基本是空白，照明用电浪费严重。首先介绍人防工程照明控制的现状，描述了目前主流的照明控制技术，然后总结了人防工程照明控制的应用原则及注意事项，最后举例说明了照明控制技术的应用。     

6MPY--100型皮辊机更新试验

我国生产的皮辊轧花机，从上世纪60年代到今天，皮辊的结构就没有改变过，保持了原有的钢轴、木芯、橡胶车轮取材的黑橡胶条，用钢钉一条一条钉在木条上。我厂2001年安装使用的新疆棉麻机械厂生产的6MPY-100型皮辊机，皮辊的最大直径是190mm，在实际使用中有许多皮辊直径没有使用到150mm时，就出现钢钉露出打刀的现象。使用中，如果设备调整不当，出现黑花是经常发生的事。