地层异常压力的定量评价方法

地层异常压力是油气勘探中重要的研究课题。文中介绍了地层异常压力定量评价的3种方法——当量深度法、比率法和伊顿法。当地层压力较低时（压力系数小于1.4)，伊顿法和比率法的结果较为准确；当地层压力较高时（压力系数大于1.4)，适合用当量深度法。这3种方法都是建立在正常的压实曲线之上的，使用中应合理地选择压实参数，建立其正常的压实曲线。     

反馈神经网络在动态过程数据校正中的应用

以全混流反应器为例 ,对反馈神经网络在动态过程数据校正中的应用进行了研究 ,并对 Elman网络及其改进形式进行了比较。由校正结果得出 ,Elman网络引入自反馈后 ,能更好地反映系统的动态特性。     

C程序控制流程模型的提取技术与实现

控制流图描述了函数执行时可能采取的执行路径。绝大多数静态分析工具都在抽象语法树之上生成控制流图并据此对程序的运行行为进行分析。在模型检测过程中,提取正确的控制流图是构建系统模型的关键。在分析C程序的抽象语法树和控制结构的基础上,设计并实现了程序控制流图提取的算法,并分析了算法的正确性。基于提取的控制流程,可对C程序的某些性质进行模型检验。     

Object-Z 规格说明测试用例的自动生成器

对Object-Z形式规格说明构造测试用例的研究,目前主要集中在理论研究阶段,测试用例的自动生成几乎没有相应的工具支持.Object-Z是基于数学和逻辑的语言,并大量使用了模式复合和简写形式,这给计算机提取完整语义用以自动产生测试用例造成了困难.通过展开Object-Z规格说明中的模式定义,改进Object-Z的文法结构,给出了提取Object-Z规格说明语义的方法,研究了从Object-Z规格说明产生测试用例的自动化过程.这一过程主要包含3个阶段:Object-Z语言的自动解析、语义自动抽取和测试用例自动产生.通过介绍的工具原型,可以很容易得到规格说明中的各种语义;基于某些测试准则,能够方便自动产生可视化的抽象测试用例.     

燃机遮热环制造技术研究

遮热环是F级重型燃气轮机GT部分的一个重要零件,是燃机制造项目中比较少有的高温部件之一.遮热环的材料特殊、形状复杂、尺寸精度要求高.本文主要介绍了遮热环国产化制造过程中的工艺方案设计、设备选型、工装设计、数控程序准备、材料和刀具切削试验、遮热环试制等内容.     

基于反馈神经网络的动态化工过程数据校正

对基于反馈神经网络的化工过程动态数据校正方法进行了研究,实现了自反馈增益的网络结构和动态反向传播算法。连续搅拌槽反应器实例的应用结果表明,反馈网络能快速、有效地校正动态过程测量数据。该方法仅依赖于历史测量数据,无需掌握过程本身的精确模型及测量噪声的参数,克服了应用过程机理模型对化工动态过程进行数据校正的局限性。     

数字式直流PWM调速系统起动过程的分析与探讨

本文分析了直流ＰＷＭ系统起动过程的特点，并提出了系统中限制起动电流的可行方法。     

流程模拟在大型尿素装置操作优化中的应用

在完善水溶液全循环法尿素装置模拟优化系统的基础上 ,增加了新的模块 ,开发了适于改良C法的大型尿素装置的计算机应用软件。利用该软件的流程模拟功能对现场生产装置的操作工况进行了模拟分析 ,找出了装置低负荷运行存在的问题 ,提出了优化的操作方案 ,用于指导实际生产操作 ,以达到降低能耗的目的。     

大豆品种对大豆细菌性斑点病的抗性鉴定

近年来,大豆细菌性斑点病或称大豆细菌性疫病[Pseudomonassyringaepv.glycinea(Coerper)Young,Dye,＆Wilkie]在我国及世界大豆主产区均有不同程度的发生和流行。在田间调查中发现大豆品种对细菌性斑点病的抗病性有差异,即使同一品种在不同地区抗病性也不同,对大豆的产量和质量也有不同程度的影响。小区试验结果表明：在感病品种上,轻者可减产5％～10％,重者则可达到30％～40％;感病重时可使籽粒变色,降低商品价值。据报道,大豆细菌性斑点病菌有生理分化现象,不同地区的大豆细菌性斑点病菌的生理小种不完全相同。各地培育的品种是…     

中型尿素装置模拟优化系统

建立了中型尿素装置的数学模型, 开发成功了尿素生产流程模拟优化系统, 并用于现场生产装置的模拟优化计算。该软件具有信息查询、物性计算、设备核算、流程模拟等多种功能, 可用于指导实际的生产操作和设备改造, 优化生产操作参数, 提高企业的计算机管理水平