基于模型检测的机载电子硬件验证方法研究

模型检测技术已广泛应用于计算机硬件、通信协议、控制系统等领域,在民用航空领域如何采用模型检测技术开展硬件符合性验证,成为设计及验证人员待解决的问题。文中介绍模型检测方法的验证机理,并提出使用该方法作为机载电子硬件的补充验证方案。以PCI总线状态机模块作为验证对象,开展模型检测补充验证,确定了状态机各状态转移路径的正确,说明了该方法的合理性。     

电路电磁兼容建模与仿真

提出了对暴露在任意外场中的传输线进行时频分析的新方法，这种方法非常稳定，它能够与任意的传输线模型和电路仿真方法兼容，并且使用这种方法得到的仿真值和实际值之间的差别小于1％。     

独流减河进洪闸除险加固工程建设

独流河减河进洪闸位于大清河与子牙河汇合处，主要功能是宣泄大清河系洪水经独流减河入海， 独流减河的首部控制工程。进洪闸枢纽包括北闸和南闸两座水闸，北闸建于1953年，南闸建于1969年，经过几十年的运用，两闸均存在地面沉降，淤各人严重，泄流不旸，抗滑和抗渗稳定不满足设计要求，设备老化等诸多问题， 被鉴定为三类闸。     

HEGF中CO井筒流动及扩散规律研究

目前,高能气体压裂广泛的应用于低渗透油气田,可以有效清除近井地带由于钻井、射孔和各种措施造成的污染和堵塞,达到油气井增产、注水井增注的目的。但最近一些低渗透油气田却出现了频繁的CO气体中毒事件,给油田及员工带来巨大的损失。针对这一现象,运用现场数据以及物理模拟和数学模拟方法首次通过对CO气体流动、扩散等的综合研究,建立了CO井筒流动及大气扩散模型。同时,也考察了井筒压力、气油比、风速、气体泄放速率、大气稳定度等主要因素对CO气体扩散的影响。通过现场实例计算,证实模型具有较高的准确性。此项工作的完成为建立监控系统提供基础技术依据,同时对合理、有效的开发油气田以及煤层气的开发将具有重要的实际意义。     

我国上市公司股票评级研究——财务结构模型分析法在股票市场中的应用

目前,我国股票市场上的股票评级尚处于探索阶段,评级时多采用专家法或历史法,而对于影响股票评级的各因素的确定以及因素间的相互作用缺乏定量分析。研究将结构模型应用到我国股票市场的股票评级中,建立关于我国股票评级的财务结构模型;分析各个因素对股票评级的影响;建立股票评级经验模式值。     

水工混凝土修补技术应用

针对水工混凝土的老化病害,介绍了不同类型修补材料的特点、性能、适用范围,以及修补技术应用中的一些实例和经验。     

基于P2P的虚拟VPN网关模型

一、虚拟私有网的产生 我们知道，大部分企业或机构都构建有供自己办公使用的局域网，用来沟通部门之间的信息联系和信息共享。对处在地理位置范围相对狭小的机构来说．这很容易做到。但在实际生活中．我们往往会遇到以下几种典型情形：机构的各部门地理位置分散；工作人员异地出差时要访问办公资源；SOHO家庭办公等等。     

对等网络中的信息安全

近年来，对等网络得到迅速发展，其广泛应用促进了信息技术的发展，也带来了一系列的安全问题。介绍了对等网络中若干安全问题，并针对这些问题，分析并给出了相应的安全保障策略，最后对P2P中的信息安全问题的未来做了展望。     

西气东输放空系统的设计与研究

论述了石油天然气行业中的放空系统工作原理，研究了西气东输采用的放空点火系统特点，讨论了放空立管的计算模型，提出了比较符合实际情况的计算模型，指出在桅杆结构的计算分析中，应该考虑钢丝绳的弹性支撑作用。钢丝绳的弹性支撑作用对结构的周期计算、风荷载导算、地震作用的计算都有较大的影响。     

塔架式长冲程抽油机的动力学研究

对塔架式长冲程抽油机进行动力学研究,分析其悬点、主动轮系等运动规律,计算抽油机悬点载荷、平衡重、减速机在主动轮系上产生的扭矩.结合曙一区油井的实际生产情况,确定了电机的额定功率与减速机额定扭矩,此研究结果对于大排量举升工艺的顺利实现具有重要的参考价值.