基于 VxWorks 的高可用容错系统的设计与实现

文中设计了一种容错系统,该系统是建立在应用程序层之下、操作系统层之上位置结构的中间件.系统由三模冗余与其之间的通信链路组成系统的硬件结构以及由故障检测模块(对节点的检测和对应用程序的检测)、故障处理模块所组成的软件部分构成.基于 VxWorks 实时操作系统,设计了一种高可用的容错中间件系统,分析了系统的组成原理,给出了基于心跳检测的故障检测机制和 N 版本编程方法进行故障检测,以及前向和后向任务恢复方法进行故障恢复,并实现了原型系统.试验表明:给出的容错中间件系统具备了基本的容错能力,可有效提高系统的可用性和可靠性     

一种基于关系模型的动态内容表达方法与实现

目前对三维建模系统的研究多集中于图形性能的改进,而对系统动态内容表达的研究相对缺乏.在此背景下,文中针对性地提出一种基于关系的动态内容表达方法.针对关系的动态背景,建立过程模型;针对关系的作用方式,建立关系模型;并在概念模型基础上设计相应的模型组织与作用方式.通过概念模型对数据进行包装,结合模型的组织作用方式,系统规范了三维图形应用的动态内容表达,并引入一种基于关系的内容表达,以简化动态内容的创建过程.借助OpenSceneGraph三维图形引擎,对提出的三维动态内容表达机制进行了实现,验证了方案的可行性和有效性.     

贝叶斯网络在空间机械臂故障诊断中的应用研究

空间机械臂在空间设施中广泛应用,如何准确快速判断其运行状态成为需要解决的重要问题。文中首先介绍了机械臂在国内外空间设施的应用背景,然后采用基于故障树与贝叶斯网络的故障诊断方法,包括：基于系统组成结构的故障树建模、贝叶斯网络转化、团树传播算法和最大后验估计(MAP)推理结果分析。最后利用单点故障实验和多点故障实验对所提方法进行了验证,结果表明将故障树分析和贝叶斯网络结合应用到空间机械臂故障诊断是有效的、可行的。     

Internet拥塞控制系统在不同源控制算法作用下的资源竞争分析

在未来的Internet拥塞控制协议中,不同的用户群根据不同的QoS需求,可以实现不同的控制算法.系统地研究了拥塞控制系统在AIMD和MIMD两类源算法共同作用下的稳态和动态特性,这些特性揭示了配置不同源控制算法的用户群对网络资源的竞争.内容包括AIMD,MIMD算法共同作用下的系统模型、系统稳态分析、系统稳定性分析等.基于NS2系统的仿真结果,证实了给出的分析方法的有效性,并揭示了不同源算法对网络资源的竞争情况.     

业务逻辑可重构的网络应用系统设计与实现

提出了一种应用软件可重构和可配置的方法,并对此进行研究。由此开发出企业信息化软件开发平台——ICET IP系统。ICET IP系统可适应不同应用逻辑需求,真正实现业务逻辑可重构和系统功能可配置,而且维护升级非常方便。     

西藏电网工程人工劳动降效研究

基于劳动能量消耗和劳动时间消耗,研究确定出西藏地区电网工程人工劳动降效指标。以不同海拔高度处完成同一工作任务为条件,分别测量和计算在各单项工作任务完成进度保持不变时的能量总消耗以及在劳动强度保持不变时的劳动时间总消耗,然后将统计分析得到的各海拔高度相对能量消耗系数和相对时间消耗系数平均加权作为原始数据,利用最小二乘法拟合出劳动降效随海拔高程的变化曲线,从而得出劳动降效指标。     

电能实时远程在线监控系统设计与实现

文中将ZigBee无线传感器网络、MQTT消息代理以及WebSocket技术相结合,设计实现了一个适用于小到家庭大到工业园区的实时远程监测控系统,以减少不必要的电能浪费,同时有效地节省人力物力。系统后台利用ZigBee无线传感器网络采集用电信息;中间层利用MQTT消息代理将采集到的用电信息以消息的格式统一管理,并为用户预留创建新消息的接口,便于系统的扩展;前端采用B/S模式增强其通用性,采用WebSocket技术将Web服务器得到的消息实时地推送到客户端浏览器,提高了系统的实时性。结果表明该系统在可扩展性、通用性、实时性等方面都有所改进。     

基于S7-1200 PLC的材料实验室环境监测物联网系统的设计

为了防止材料实验过程中可燃气体、有毒有害气体泄漏对现场人员造成身体健康损害或者发生爆炸危险,该文设计了基于S7-1200 PLC的材料实验室环境监测物联网系统,抽象出一个七元组材料实验室理想模型,设计出包含感知执行层、控制汇聚层、服务操作层及终端应用层4层物联网结构,重点论述了各层的硬件和软件组成以及各层涉及到的关键技术与算法,并对系统的各层软件实际开发编程做了必要的介绍。实践表明,该系统将S7-1200 PLC技术与物联网技术相结合,设计的远程物联网测控系统具有较高的稳定性、安全性与可靠性,具备较好的实用推广价值。     

基于NetFPGA的VCP网络的设计与实现

可变结构拥塞控制协议(VCP)是一种可适应于高带宽时延乘积网络的显式拥塞控制协议,它仅用两个ECN比特位标记网络拥塞的反馈信息,达到较高的带宽利用率和公平性。但目前针对VCP协议的研究大部分都是基于离散事件仿真验证,本文设计并搭建一种VCP真实网络验证环境。基于Linux协议栈设计VCP网络端系统,基于NetFPGA平台设计VCP网络中间节点,形成完整的VCP网络架构。构建典型的VCP网络实验拓扑,与TCP/DT相比,VCP在实际网络中可达到较好的性能。     

一种提高XCP协议在大RTT差异环境下的鲁棒性方法

现有TCP协议的拥塞控制机制存在很多不足,XCP(eXplicit Control Protocol)协议采用显式反馈的方式有效地克服了这些缺陷.XCP协议能容忍数据流之间一定的RTT差异,但当这种差异超出一定范围时,XCP协议性能恶化,变得不稳定.通过分析XCP协议路由控制周期与数据流RTT的关系,提出了一种控制周期根据RTT差异程度而自适应调整的方法,消除了系统振荡.仿真数据表明,该方法能有效地提高XCP协议在数据流RTT差异较大的环境下的鲁棒性,同时不给路由器带来过大的计算负担.