基于Petri网的协议测试例自动生成

Petri网支持下的协议一致性测试是协议工程研究中的重要课题.Petri不能很好地支持一致性测试集的自动生成.针对这一问题,分析了对基本Petri网扩展的必要性,提出了一种新的用于支持协议测试的扩展的高级Petri网,揭示了其静态结构和动态行为,并提出了该Petri网到测试描述语言TTCN-3的转换规则.开发了原型系统,并应用于实际的协议一致性测试工作.     

基于HTCPN的飞机维修保障资源配置方法

针对飞机基层级维修保障资源配置问题,提出了一种基于分层赋时着色Petri网(hierarchical timed colored Petri net, HTCPN)的维修保障资源配置方法。首先,根据飞机基层级维修保障工作内容及流程,运用CPN Tools软件,构建飞机维修保障全过程的HTCPN仿真模型,设计仿真时钟折算方法。其次,提出维修保障资源配置规则,建立基于飞机出动架次率的维修保障资源配置模型。最后,算例分析结果表明所提方法能够迅速、准确地完成飞机基层级维修保障资源配置。所提方法为科学制定飞机基层级维修保障配置方案提供了技术支撑,具有一定的工程应用价值。     

自适应的无线融断网络路由算法研究

无线融断网络具有长延时、高动态拓扑、链路不稳定等特点,伴随着网络联接缺乏源端到目的端的持续性,为解决网络通信困难的问题,将多头绒泡菌的智能性和自适应性引入,提出一种自适应的无线融断网络路由算法。搭建无线融断网络模型,推导出链路容量的数学表达;设计下一跳节点的选择策略和最佳路由选择策略,实现在融断网络环境下的数据尽力投递。仿真实验表明,该算法能够在网络开销率较低的情况下,达到良好的数据投递,且平均延迟小。     

琉璃瓦屋面防雷接闪器的暗装

分析生活商住小区中的地电位、地电位反击的影响,琉璃瓦屋面防雷接闪器的暗装.     

Design and validation of wireless acceleration sensor network for structural health monitoring

0IntroductionCivil engineeringstructures suffer damages caused byenvironmental loads,fatigue,caustic effect and materialaging;thus,their strength reduces inevitably during theservice time.In order to assess these damages and makeappropriate decisions to keep the structures in good ser-vice,itis essential toimplement a damage detectionstrat-egy,and the process is referred to as structural healthmonitoring(SHM)[1].In an SHMsystem,a set of sen-sors are mountedinstructuresto measurethe structure…     

大跨度钢管混凝土拱桥的动力特性分析

本文以甘肃在建的主跨180m、宽跨比为1/25.7的上承式钢管混凝土拱桥为例,详细分析该桥的自振特性,进行地震响应的反应谱法分析,并分析了桥面系的弹性约束对主拱结构动力特性的影响。结果表明:由于该桥的宽跨比小于1/20,横桥向地震响应较为强烈。     

建立山区小水电站工程地面控制网的有效方法

控制测量工作在山区水电工程建设中起着重要的作用。本文结合自己的测量经验,介绍了用GPS与电磁波测距导线联合建立小型水电站工程地面控制网的几种有效的方法。     

从三网融合趋势看电信运营商的转型

十一五"规划提出"加强宽带通信网、数字电视网和下一代互联网等信息基础设施建设,推进三网融合".文章阐述了国际上"三网融合"的现状,分析了"三网融合"的可能性,提出中国电信运营商应该抓住机遇,尽快实现从单一运营商向综合信息服务商转型.     

板式换热器中蒸汽凝结换热特性

在板式换热器的蒸汽凝结换热试验台上进行了实验研究,获取蒸汽完全凝结和部分凝结两种典型工况下的换热和压降特性．且就板式换热器中蒸汽凝结过程的换热进行分析和处理,得到了一个在板片槽道中蒸汽凝结换热系数关联式．并推荐用于板式换热器的蒸汽凝结换热系数的计算．     

多介质板式换热器试验研究与分析

对一种基于Alpha magnetic spectrometer（AMS）热系统研究与设计自主开发的能够实现多介质换热的新型板式换热器进行了试验研究与分析.该种新型换热器的换热板片由凸球面和凹球面构成不连续波纹,其换热性能优于BR1型人字形板式换热器,阻力特性明显优于目前常用的60°人字形板式换热器.本文分析了球面波纹强化传热的机理,认为球面波纹能够减小局部场协同角,提高了板间流场与温度场的协同程度.