无线传感器网络的协议再工程与方法研究

基于协议工程和软件再工程的相关概念,提出一种针对无线传感器网络协议定制行为的规范化工作流程,命名为协议再工程.阐明了协议再工程产生的背景、定义、生命周期和工作流程;同时提出一种将统一建模语言和着色Petri网的U-CPN相集成的方法,用于协议再工程中的形式化描述模型的建立与验证,并对U-CPN和统一建模语言模型的等价性作出了基于网射的证明.最后,通过一个Zigbee相关的实例表明,在U-CPN方法基础上使用协议再工程指导协议修改,在可控性和描述力上具有优势,尤其加强了协议再工程中的形式化分析能力,可以很好地保证协议的修改质量.     

有色-时间Petri网航班延误模型与波及分析

基于有色Petri网和时问Petri网理论,给出了单个机场起飞的多架飞机执行航班的有色Petri网模型,建立了多机场多航班有色-时间Petri网模型,提出了航班延误波及分析方法,用于判断当源机场发生航班延误时,从源机场起飞的各个飞机的下游机场是否出现航班延误,并分析和预测延误时间。仿真实验表明,松弛时间越大,越能够有效吸收延误波及;初始延误时间越长,波及下游机场个数越多。     

用Weibull模型预测油气田(藏)早期开发指标

油气田(藏)开发早期很难进行开发方案的设计。作者根据探明储量、最大产量、假定采收率、生产年限,提出了采用Weibull开发模型进行油气田(藏)早期开发指标预测的方法,制作了Q_maxt_R/N_o-E_R图版,并根据该图版求取增长指数b,制定了Weibull开发模型的开发方案。     

板带轧制过程温度场有限元模拟及影响因素分析(Ⅱ)

采用弹塑性大变形热力耦合有限元法研究了钢板热轧过程,侧重计算轧件厚向温度分布,并分析了热传导模型、轧辊温度变化对计算结果的影响.计算结果与实验结果比较符合.     

粒状物料干燥过程中的传热传质分析

建立了粒状物料干燥过程中传热传质数学模型,并采用数值方法进行了处理,该模型能较好地预测干燥过程中物料的含湿量及温度等的变化。模型计算结果与实验结果吻合良好。     

液排渣粉煤燃烧器空气动力特性的试验

对液排渣粉煤燃烧器内气流运动规律和混合过程进行了冷态模拟研究,分析了结构参数和动力参数对流动的影响。试验表明:燃烧室轴向速度可分成6个不同的的区域,存在4个回流区;简单环形挡渣板也能产生环形回流区,在旋风燃烧室设计中可取代锥形缩口挡渣板。最佳参数为:1次风旋流数S₁为1.78~2.0;1次风口和2次风口距离L₁₂=(0.75~1.15)D;一次风量为15%~20%。     

CC-DR和CC-DHCR的生产物流模型

运用大系统建模方法。从连铸-连轧生产物流过程的工艺要求出发,建立了连铸-轧制、炼钢-连铸和炼钢-连铸-轧制生产物流数学模型,以此为基础提出了二步制订最佳生产物流计划的方法。     

三辊轧管机的调整特性分析

从提高钢管壁厚精度为出发点,推导了三辊轧管机调整参数的计算方法,分析了三辊轧管机的调整特性.应用效果表明,该算法简洁可靠,可以提高三辊轧管机的调整效率和钢管的壁厚精度.     

三层链式客户/服务模型及其分析

为了改进传统的2层客户/服务结构的缺陷,提出了3层链式客户/服务计算模型,研究了其中间层任务的分布.