一种基于Event-B语言的时间触发系统建模方法

安全关键信息物理系统的时间属性建模和验证至关重要。Event-B模型验证避免了基于状态遍历模型检查方法的状态空间爆炸问题，验证时耗少，适用于高并发系统。然而，常规的Event-B方法缺乏时间语义表达结构，特别是缺乏对可提高系统可预测性的时间触发属性的支持。首先，介绍支持时间触发系统的抽象建模框架TTEB,从系统行为和实现2个抽象层次对时间属性进行建模和精化。然后，通过有序事件链组成的时间触发转移描述行为层时间触发属性；通过全局时钟到分布式本地时钟的精化和分解实现行为模型到实现模型的转化；运用时间触发转移建模分布式时钟周期同步。最后，基于从车跟车系统建模与验证说明方法的可用性和有效性。     

一种新型喷嘴的特性实验研究

对转炉炉体汽雾冷却Hi-vap系统所用的汽雾喷嘴的结构及特性进行了分析和实验研究.实验包括流量-压力特性、雾化角、液流密度分布、水雾覆盖区域以及雾滴直径的测试等.研究结果为优化喷嘴布置提供了依据.     

运用动态BP网络和数学模型预测热轧变形抗力

为了提高变形抗力预测精度,针对传统热轧变形抗力模型的固有缺陷,提出一种将动态BP神经网络与数学模型相结合的新方法.大量实验数据表明,采用这种方法,预测结果的相对误差在±6%以内,预测精度优于传统方法.     

沁河河口村水库导流沲预应力锚杆喷锚支护

喷锚支护是隧洞工程常用的支护方法,喷锚支护又分为普通喷锚支护和预应力喷锚支护。预应力锚杆喷锚支护施工技术要求高,工艺复杂,施工周期长,特别是在洞内施工,空间狭窄,施工干扰大。优化设计参数,采用合理的施工方法,可保证工程工期及工程的经济性。     

用于光纤陀螺油井测斜仪的光源温控系统设计

提出了一种基于DSP的数字化光源温控方案,以适应光纤陀螺油井测斜仪的井下高温工作.方案采用32位TMS320F2812芯片作为控制核心,以脉宽调制(PWM)方式驱动全桥电路.通过分析半导体制冷器TEC的温度动态特性,建立了与之对应的数学模型,设计了PID数字补偿控制算法,实现了数字化的光源温度控制系统.实验结果表明:该温控系统在90℃外界环境温度下,控温精度可以达到±0.03℃,解决了光纤陀螺油井测斜仪的井下高温适应性难题.     

内蒙古水权转换试验区监测效果分析

内蒙古黄河南岸灌区在节水改造区域布设了大量观测断面及观测点，重点对水量、水质、地下水水位等变化情况进行了观测。通过有关观测资料分析,对水权转换试验区节水改造效果进行了分析,定量或定性描述了水权转换对区域水量、水质及地下水的影响。     

直角式钢包回转台的有限元分析

在与传统直臂式钢包回转台比较的基础上，对直角式钢包回转台的倾翻力矩、变形及应力进行了分析。     

惯性导航系统电子设备热仿真研究

应用基于CFD的热分析软件Flotherm,本文对捷联惯导系统的电子设备进行了热仿真研究,讨论了热分析的方法及理论,分析了仿真模型的建立方法,其中对电路板和电子元器件的建模方法及元器件热功耗的确定方法进行了具体研究.在常温条件下,对电子系统进行了稳态的热仿真,得到了系统的温度场分布,并与温度测试结果进行对比,验证了仿真结果的正确性.研究结果作为惯导系统热仿真的基础,将起到关键的作用.     

岱海湖温排水对湖面附加蒸发量影响研究

岱海湖为一内陆封闭型湖泊。本研究利用3、7、12月份冬夏工况,综合考虑岱海湖边界条件,水面温度、密度、水面天然温度、大气温度、相对湿度等影响因子,构建温排水对岱海湖附加蒸发量影响的计算公式。经计算,电厂温排水引起的岱海湖附加蒸发损失量为:3月份为39.46万m3,7月份为73.3万m3,12月份为10.6万m3,岱海湖电厂温排水年附加蒸发水量约为678.2万m3/a。结果表明:附加蒸发量与电厂温排水量变化一致。本研究对干旱区水资源利用具有重要意义。