埋地输油管道泄漏对大地温度场影响数值模拟

管道泄露后引起流体能量迁移,渗流场对温度场产生较大影响.分析了渗流场与土壤温度场的耦合作用,采用有限容积法建立管道泄漏多孔介质流固耦合换热数学模型,界定合理的边界条件,利用SIMPLE算法进行数值求解.得到了管道泄漏前后大地温度场的变化规律.结果表明:管道泄漏后,一定时间内管道附近大地温度场波动明显.随着泄漏时间的延续...     

一种面向形式化表格需求模型的测试用例生成方法

现代安全关键性系统的软件规模和复杂性的快速增长给这类安全关键性软件系统的开发带来了很多挑战。传统文本文档的需求描述方法无法保证此类系统的开发进度和系统可靠性要求。为此文中提出了一种兼具可读性和可自动分析的形式化表格需求建模方法。文中介绍了一种针对这种表格模型测试用例的自动生成方法,工作包括对该形式化需求表格模型展开语义分析,建立需求模型的控制树结构,得到其测试等价类;为了减少不必要的测试,定义了不同安全级别的软件需求模型的测试覆盖标准,并针对不同覆盖率准则分别给出基于控制树结构的测试路径约束选择方法;对于每条路径约束测试等价类,提出了基于域错误的测试用例选择方法,能够自动生成所需的检测域错误的测试用例集。最后,通过一个需求模型实例展示了所提方法的有效性。     

LNG原料气预处理

对LNG原料气脱水、脱硫方法进行了研究,对三甘醇脱水、固体干燥剂脱水、分子筛脱水进行了比较,阐述了物理脱硫法的优缺点。目标是避免低温下水与烃类冻结而堵塞设备和管道,提高天然气的热值,满足气体质量标准;保证天然气在生冷条件下液化装置能增产运行：避免腐蚀性杂质腐蚀管道及设备。     

一种面向SCR需求模型的形式化验证方法研究

在需求层级进行建模分析与验证是复杂安全关键软件开发过程中的核心关注点.本论文工作面向航空领域中典型安全关键软件的需求层级,提出了一种基于形式化模型检验技术的需求模型验证方法.首先分析了形式化需求模型(SCR)的建模工具(T-VEC)中所定义的递归结构形式的模型语法与语义,提出了一种对模型变量关系进行平展化的方法,将SCR表格关系模型转换为自动机状态迁移图,然后设计了从SCR模型到模型检验工具(nuXmv)的模型自动转换框架,并对模型转换规则给出了严格的定义证明;最后通过一个航空软件系统的需求实例展示了方法的有效性.     

叶面积对葡萄转色病影响的试验

叶面积对葡萄转色病影响的试验葡萄转色病又叫水罐子病，是一种生理病害，主要发生在早熟品种。葡萄近成熟时发病，１９８０年我市引进早熟品种３０余个，到１９８６年全市已发展一万余亩，当大面积投产时，却深受转色病的危害大面积绝产，为此，我们从肥水方面作过许多试...     

滩海油气设施海冰灾害及减灾措施分析

在渤海海域,海冰可能会对滩海油气田冬季生产造成影响。简述了渤海海域的特点、海冰冰情及海 冰灾害。在分析海冰对海工结构的危害作用的基础上,借助于ANSYS有限元分析软件对直桩及锥体结构的抗冰性 能进行了比较分析,椎体结构能抵抗水平冰力。探讨了导管架平台及人工岛两类抗冰结构的特点和性能,指出应结 合近海工程环境参数设计和推广有效的抗冰结构,并根据历史及调查资料建立完善的预警机制及应急预案。     

结合多目标优化算法的模糊聚类有效性指标及应用

模糊聚类方法可以更有效地对复杂数据集进行分析,由于模糊聚类算法的种类繁多且聚类结果会随着输入的聚类个数的不同而改变,使得模糊聚类算法产生的结果不准确,因此,要获得准确的聚类结果必须确定模糊聚类个数k.目前已有的研究主要是利用多种模糊聚类有效性指标来确定最优聚类个数k,但是诸如SSD,PBM等模糊聚类指标会随着划分的聚类个数k的增加而单调递减,导致聚类个数k不准确.为此,文中提出了一种结合多目标优化算法的模糊聚类有效性指标(A Validity Index of Fuzzy Clustering Combined with Multi-obj ective Optimization Algorithm,OSACF),将模糊聚类度量指标与多目标优化算法(Multi-Obj ective Optimization Algorithm,MOEA)相结合来解决聚类最优个数k的问题.与使用聚类有效性指标不同,OSACF通过建立聚类个数k与聚类度量指标之间的双目标模型并使用MOEA优化该双目标模型来确定最优聚类个数k,避免了聚类有效性指标趋于单调递减的影响.另一方面,OSACF使用形态形似距离替代传统的欧氏距离度量,避免了聚类形状对计算聚类k值的影响.实验结果表明,OSACF结合MOEA得到的最优模糊聚类个数k比已有的聚类有效性指标获得的结果更准确.     

城燃管道街道峡谷泄漏扩散CFD数值模拟

城市燃气管道的安全时常受到市政建设的威胁而破坏,与天然气管线野外泄漏的情况不同的是,市区复杂的建筑环境会对气体的扩散情况造成干扰,严重危害人员财产安全。选择CFD数值模拟法,对城市街道峡谷内燃气管线的扩散泄漏进行了分析。基于二维街道峡谷断面模型,对截断阀关闭前后燃气泄漏扩散的基本规律进行了分析研究。数值模拟结果表明,风对燃气的扩散起主导作用,街道峡谷内形成的独立而稳定的涡旋气流场会使燃气聚集并且难以扩散。     

一个机载软件需求形式化建模与分析实例研究

现代民机机载软件系统的功能与复杂度在快速增长的同时还必须满足更严格的安全标准, 使得在机载软件需求层级必须进行诸如一致性、完整性等分析与验证成为重要的挑战. 工作基于一个自主设计实现的面向机载软件自然语言需求形式化建模与分析工具平台(ART)展开对座舱显控软件子系统(EICAS)需求的建模与分析, 包括: ART工具平...