LNG原料气预处理

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

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

现代安全关键性系统的软件规模和复杂性的快速增长给这类安全关键性软件系统的开发带来了很多挑战.传统文本文档的需求描述方法无法保证此类系统的开发进度和系统可靠性要求.为此文中提出了一种兼具可读性和可自动分析的形式化表格需求建模方法.文中介绍了一种针对这种表格模型测试用例的自动生成方法,工作包括对该形式化需求表格模型展开语义...     

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

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

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

在需求层级进行建模分析与验证是复杂安全关键软件开发过程中的核心关注点.本论文工作面向航空领域中典型安全关键软件的需求层级,提出了一种基于形式化模型检验技术的需求模型验证方法.首先分析了形式化需求模型(SCR)的建模工具(T-VEC)中所定义的递归结构形式的模型语法与语义,提出了一种对模型变量关系进行平展化的方法,将SC...     

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

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

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

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

一种基于形式化规则的航电需求规范化方法

随着航空电子显控系统的日趋繁杂,如何正确分析航空电子显控系统的原始自然语言需求成为需求分析领域中急需解决的问题.本文基于形式化转换规则的需求规范化方法,对航空电子显控系统的原始自然语言需求进行规范化分析与研究.工作主要包括:对于不同的自然语言需求,符号化定义需求语句结构.针对自然语言需求语句当中经常出现的歧义、模糊、不...     

一种基于改进PCFG句法分析的需求模板符合性检查优化方法

需求模板是对需求的一种规范描述,能够减少自然语言需求中的歧义.在进行需求分析之前,检查需求是否符合模板显得尤为重要.由于传统的手工检查非常耗时,为此许多学者展开了相关研究,并提出了一些自动的需求模板符合性检查方法.然而,现有的自动检查方法都是基于组块分析进行的,其召回率、精度均有待于提高.本文提出一种基于改进PCFG句...     

一种面向领域自然语言需求的形式化需求模型生成方法研究

构造一个满足完整性、一致性且组织良好的需求制品是提高安全关键软件质量的重要方法.本文工作面向机载软件领域,设计一种从自然语言描述的条目化需求到形式化需求模型生成的方法;工作包括:分析航电领域的需求描述特征,从该领域的自然语言描述的条目化需求入手,定义一套面向领域的自然语言需求模板,综合考虑所采用的形式化需求模型(VRM...     

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

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