基于Profibus和iFIX低温风洞空气状态的控制系统

利用我校的低温制冷综合试验台,本文介绍了一种基于Profibus、iFIX和PLC对风洞实验区内的空气状态（温度、湿度和风速）进行自动控制系统的方案。通过介绍控制系统硬件、软件的构成与特点,论述了Profibus、iFIX和PLC如何实现对空气状态的监控,能自动显示系统一些组态画面和生成有关数据报表。此系统有效地提高了空气状态参数的控制精度,具有远程控制和远程管理的功能,更好地为实践教学、科学研究提供服务。     

基于Oracle Spatial的REST的API的设计与实现

采用了.net平台下的Windows Communication Foundation（WCF）技术,完成了基于Oracle Spatial的REST API的设计与实现,与传统Web Service的架构相比具有轻量级、高效率、灵活性和易用性、可扩展性和无状态性等优点[1],能够更好的为用户提供Oracle spatial相关功能的服务。     

缝洞型碳酸盐岩凝析气藏压力衰竭过程中凝析油微观赋存状态

凝析气藏衰竭开采过程中,不同缝洞类型会影响凝析油的析出过程和赋存形态。为了研究缝洞型碳酸盐岩凝析气藏压力衰竭过程中凝析油的形成机理和微观赋存状态,对单缝洞型、多缝洞垂向叠置型和多缝洞横向叠置型三种缝洞类型的碳酸盐储层开展凝析气压力衰竭实验协同微米电子计算机断层扫描技术(computed tomography, CT)扫描,并对不同压力下扫描得到的图像采用人工智能算法进行油、气、岩石骨架分割,得到真实岩心三维孔隙网络模型,通过图像处理和计算分析,实现模拟不同缝洞类型凝析气藏在不同开发阶段凝析油赋存状态的定量和定位置表征。研究表明:碳酸盐岩缝洞储层岩心压力衰竭过程主要是一个油相由多孔状、单孔状和油膜状向网络状转变的过程,最终网络状油增加,多孔状、单孔状和油膜状油减少;利于凝析油析出的储层构造由强到弱排序依次为多缝洞横向叠置型储层、单缝洞型储层、多缝洞垂向叠置型储层;在压力衰竭过程中,随着凝析油增多,油相会向岩石壁面靠近,当凝析油开始产出,油相会远离岩石壁面,随着油相的产出,油相减少,凝析油在表面张力的作用下向岩石壁面靠近。     

城市轨道交通车站客流状态采集范围

随着城市化进程的不断推进,迅猛增加的轨道交通客流对客运组织管理提出了更高的要求。目前,虽然多样化的视频采集设备已广泛应用于地铁客流监测中,但是对视频监测范围缺乏统一的标准规范导致监控设备布设随意性大、客流采集无法满足监测需求,鉴于此,课题开展对轨道交通车站客流状态数据采集范围的研究。首先,阐述了客流状态采集范围的概念和影响因素;其次,分析轨道交通车站不同功能区域的数据采集参数类型,以全面性及精度最优为目标,构建了不同功能区域的采集范围模型,并给出模型中参数权重的计算方法和模型求解方法;最后,以北京西直门地铁站为研究对象进行实例分析,给出其不同功能区客流状态数据的最优采集范围。本研究可为交通流数据的获取提供有效的技术支持和保障。     

基于分层有限状态机的检修工作票智能防误技术

为满足电网对输变电设备检修工作票的高可靠性要求,消除因工作票误填而导致的电网安全事故,文章提出基于分层有限状态机(hierarchical finite state machine, HFSM)的检修工作票智能防误技术,从而降低因信息误填引起的电网潜在风险,提高电网运行安全性和可靠性。首先基于有限状态机理论和分层技术建立分层有限状态模型,提高逻辑分析效率;其次建立基于分层有限状态机的检修工作票防误模型,其中外层为数据信息防误层和安全逻辑分析层,内层为有限状态机流转状态;然后提出用以刻画误填状态频次的防误状态概率指标,从而降低潜在的工作票误填风险;最后通过设计的算例验证该文所提模型的有效性和可行性。     

利用驻极体提供均匀外场和屏蔽外场的设计

利用驻极体具有的可任意切割、拼装、黏接的特性，从静电学的基本规律及由泊松方程构成的静电边值问题出发，对驻极体既可对外提供电场又可设计为屏蔽电场的2个相异思维的研究结果展开了讨论，从而，从理论上指出驻极体既可以制成提供均匀外场的材料又可以制成一种透气性静电屏蔽材料．这为驻极体的工程实际应用提供了基础．     

DEP260变电站事故预警系统的研制

各类变电站在运行过程，必须建立一个安全的运行环境，对变电站各种设备的运行状态及影响变电站安全运行的因素实现在线监测。介绍了变电站事故预警系统的原理，并给出了为满足各种用户要求的系统结构。     

不确定广义系统状态反馈控制的完整性设计

该文研究一类参数不确定广义系统具有完整性的状态反馈控制系统设计问题。目的是设计状态反馈控制律，使得广义闭环系统对所有允许的参数不确定性和任一状态传感器失效都正则，无脉冲且稳定。利用广义系统稳定性的有关结论，将不确定广义系统具有完整性的状态反馈设计问题转化为广义Riccati不等式的求解，最后通过数值算例说明该文设计方法的有效性。     

基于事务形式验证(TBFV)及8051的TBFV模型

提出了一种基于事务的形式验证方法(TBFV)，为待验证的系统构造功能验证模型，每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数．这些可用Kripke结构来描述．这些功能验证模型实现了特定的事务，从而可以将一般的验证要求映射为具体的实现属性．这样，验证者无需了解设计的细节，可在较高层次上对系统行为进行验证．为了证明该方法的效率，分别用该方法和传统的形式验证方法验证了8051的RTL实现．8051中所有的指令都进行了验证，并给出了相应的功能验证模型．实验结果表明，采用该方法可大大节省验证工程师的时间．功能验证模型和验证指令可以在其他设计中复用．     

基于力信息的机器人接触状态下作业的技能学习

为实现机器人接触状态下作业的演示编程，使机器人获得人的基于力信息的作业技能，首先提出了描述接触状态的元素接触形式，用元素接触形式序列建立技能模型，根据不同的接触形式具有的不同腕力分布，利用支持向量机(SVM)对不同的元素接触形式进行辨识，在此基础上机器人获得人在接触状态下的作业技能，实现了演示编程方法中最关键的一步。