基于时间着色Petri网的OpenFlow协议建模研究

介绍了Hierarchy CPN的相关定义,然后对OpenFlow协议进行了基于时间着色CPN建模.在建模过程中,详细考虑了Token Colour的选取与相关变量的定义,并考虑了时间属性,针对建模的性能进行了分析.执行上述模型并进行验证分析,得出变迁发生次数与所需时间基本符合稳态分布这一事实,满足预期的要求.对所构建模型进行自定义查询分析,依据模型活性、死锁、可达性等特性构建相应的抽象路径,用于指导抽象测试例的生成.     

飞机发动机地面试车系统的研究

发动机是飞机的核心部件,本系统将发动机试车过程中的参数分为压力、温度、转速三个大类,利用PLC配合变送器接收由变送器传输回来的参数信号,通过参考相关测试标准,得出发动机工作的状态,传输到上位机形成可视化的试车报告。这套飞机发动机地面试车能够更好的发挥保障飞机安全运行的作用。     

白虎加人参汤在糖尿病治疗中的应用

中医理论认为糖尿病属于消渴病的范畴,是由于先天禀赋不足(如先天肾气不足),复因情志失调、饮食不节等原因导致的疾病。本文以白虎加人参汤为研究对象,以糖尿病的病因、白虎加人参汤在糖尿病治疗中的应用、药理作用机制和药效物质基础等方面进行综述,阐述白虎加人参汤在治疗糖尿病中的应用。     

QTP在农村信息化管理系统测试中的应用

自动化测试有着比手工测试的高覆盖率,用QTP实现对系统的功能测试和回归测试。本研究设计与实现了农村信息系统的测试框架,在自动化测试过程中逐步细化实现对农村信息化管理系统的测试,阐述了实现QTP测试流程以及用到的一些关键技术和方法。QTP的reporter功能能方便呈现测试结果,帮助测试人员形成测试分析报告。     

机辅测试对普通话测试活动的影响及发展方向探讨

计算机辅助普通话水平测试是普通话水平测试自身发展需要与信息技术时代相结合的产物。机辅测试使普通话水平测试在效率和公正两方面有了技术保障，同时也对普通话水平测试的相关要素产生了影响。机辅测试还应该在以下几方面做进一步探索：一是继续推动效率与公平；二是继续探索对“朗读短文”和“命题说话”的自动评测；三是努力为改进普通话教学提供服务；四是为整体上改进和完善普通话水平测试提供更多支持。     

板框式污泥脱水系统在宁波毛家坪水厂的应用

污泥脱水系统是自来水厂的重要组成部分,通过对污泥脱水设备的分析比选,结合板框式污泥脱水系统在宁波毛家坪水厂的成功运用经验,从运行原理到系统组成对毛家坪水厂的板框脱水系统进行详细论述,并对板框脱水系统的实际操作运行进行了描述,同时对影响板框脱水机的主要因素进行了分析研究。宁波毛家坪水厂板框式污泥脱水系统对以水库为原水的自来水厂可起到借鉴示范作用。     

一种基于DSP的电量测量仪设计

针对电机试验中的电参数测试,设计了一种基于DSP的电量测量仪。详细论述了整个系统的硬件构架与软件算法,该系统通过采用高精度A/D转换器、DSP芯片以及上位机来完成电压、电流、功率、功率因数及频率的测量与数据的输出显示。对于中小型电机,测量仪既可测三相交流电参数,又可同时测量单相交流与直流电参数;当被测对象为直流有刷电机时,还能测量其转速;测试量程根据输入电流、电压的大小自动进行切换。测试结果表明:该系统精度高,运行稳定可靠,能满足实际需求。     

煤炭残余甲烷量特征实测研究

通过实验室测试方法对120个煤样的甲烷含量进行了研究,并与国外煤炭甲烷含量测试结果进行了对比分析.研究表明:煤炭中甲烷残余量变化很大,总体上在0.2~5 cm~3/g,其中中国煤炭平均为2.24 cm~3/g,国外煤炭平均为1.08 cm~3/g.煤炭中甲烷残余量受煤级、挥发分和煤样粒度等因素影响,甲烷残余量随煤变质程度的增加呈现先增后减的规律.     

基于全周期分段步加的极小子样加速实验方法

针对滚动功能部件在其使用过程中的磨损失效等将直接影响其服役性能的问题,为方便高效地获得滚动功能部件不同时间历程下的在线监测和离线状态数据,提出了一种基于全周期分段步加策略的极小子样滚动功能部件加速实验方法.将滚动功能部件沿轴线方向分成n+1个子段,从子段1开始在加载力Fi作用下以速度vi自子段i至子段n往复跑合zi次,建立了各分段的等效加载力、等效跑合速度、第i个子段单位长度上正常应力水平下总的服役时间Ti的计算模型,并搭建了滚动功能部件服役性能加速实验台.该加速实验方法可应用于细长轴类零件的服役性能和失效演变机理分析及其寿命和可靠性的预测评估.     

基于图像处理技术的连续梁结构振动测试应用研究

采用普通USB摄像头和PC机作为硬件采集图像,利用Matlab软件编制相关程序实施了视频采集及分解、图像预处理、图像计算、信号分析4个模块的程序运行,进行了连续梁模型的振动试验,识别了连续梁模型的固有频率、阻尼比与振型,比较Dasp系统的模态参数识别结果,论证了数字图像测量技术进行参数识别的可靠性和精确性。