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

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

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

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

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

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

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

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

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

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

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

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

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

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

RSA密码核时间侧信道检测与量化分析

攻击者通过RSA时间侧信道可有效破解其密钥。但目前缺乏有效的方法检测和评估RSA硬件密码核时间侧信道信息泄漏。针对此问题,利用门级信息流追踪方法检测RSA时间侧信道;提出一种测试框架对密钥位泄露进行定性检测和定量分析。通过对五种不同RSA密码硬件体系结构进行案例研究,实验结果显示,所提方法可有效评估和验证迁移技术对RSA时间侧信道信息泄露的影响。该测试方法可有效辅助硬件设计人员权衡时间侧信道安全性、硬件资源消耗和性能等指标。     

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

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

具有显式反馈的拥塞控制系统研究进展

近年来越来越多的高带宽光纤网络和长时延的卫星网络融入到Internet中来。研究发现，传统TCP协议的拥塞控制机制随着网络带宽和延迟的增大而趋于不稳定。研究这种高带宽时延乘积网络环境下的拥塞控制机制成为热点研究课题，其中一个重要趋势就是采用显式反馈方法。本文讨论了基于IP网络中的显式反馈机制，包括传统ECN、各种类ECN机制以及新的拥塞控制协议；分析了各种机制的特点，总结了现有研究的问题并指出了几个值得继续研究的要点。