稠油出砂冷采对射孔技术的要求

稠油出砂冷采作为一种新的采油工艺可以成功地运用于胶结不好的砂岩油藏。采用大孔径、高孔密封孔技术对稠油出砂冷采是必须的，并且对射孔压力和射孔井段有一定特殊要求。     

基于机器学习的SCADE模型组合验证环境假设自动生成方法

高安全应用开发环境(Safety Critical Application Development Environment, SCADE)是工业界进行安全关键软件建模、仿真测试和形式化验证的常用工具,如何解决工业级软件的SCADE模型在进行形式化验证时遇到的状态空间爆炸问题是目前面临的一项重要挑战。基于契约的组合验证方法通过研究软件各构件的上下文和外部环境来编写环境假设对构件的状态空间进行约束,能够解决状态空间爆炸问题,但环境假设的手工编写费时费力。为了解决这一问题,文中提出了一种基于机器学习的SCADE模型组合验证环境假设自动生成方法。首先,针对SCADE模型采用自动仿真方法生成机器学习方法所需数据集;然后,采用决策树和遗传算法进行环境假设自动生成;最后,实现了具有SCADE模型分析和环境假设自动生成功能的原型工具,并基于弹射座椅控制系统案例,验证了所提方法的有效性。     

基于限定自然语言需求模板的AADL模型生成方法

随着嵌入式软件系统在汽车、核工业、航空、航天等安全关键领域的广泛应用,其失效将会导致财产的损失、环境的破坏甚至人员的伤亡,使得保障软件安全性成为系统开发过程中的重要部分.传统的安全性分析方法主要应用在软件的需求分析阶段和设计阶段,然而需求与设计之间的鸿沟却一直是软件工程领域的一大难题.正是由于这一鸿沟的存在,使得需求分析阶段的安全性分析结果难以完整详尽地反映在软件设计中,其根本原因是当前的软件需求主要通过自然语言描述,存在二义性与模糊性,且难以进行自动化处理.为了解决这一问题,本文面向构件化嵌入式软件,首先提出了一种半结构化的限定自然语言需求模板用于需求规约,能够有效降低自然语言需求的二义性与模糊性.然后,为了降低自动化处理的复杂性,采用需求抽象语法图作为中间模型实现基于限定自然语言需求模板规约的软件需求与AADL模型之间的转换,并在此过程中自动记录两者之间的可追踪关系.最后,基于AADL开源工具OSATE对本文所提方法进行了插件实现,并通过航天器导航、制导与控制系统（Guidance,Navigation andControl,GNC）进行了实例性验证.     

真空吸附型爬壁机器人多路压力检测系统设计

针对多吸盘工作的爬壁机器人吸盘内压力的监测问题,提出了一种由单一传感器监测多路管道压力的方法.设计了可多管道接入的分时压力供给装置,在此基础上给出了这种监测系统的工作原理.说明了该系统中电机和传感器的选型与相关要求,给出了相关的实验验证,从压力检测的一致性和检测压力的响应速度2个方面说明了设计的可行性,并分析了该系统扩展到其他需要多管道压力监测场合的可行性.     

基于时间抽象状态机的AADL模型验证

提出了一种基于时间抽象状态机(timed abstract state machine,简称TASM)的AADL(architecture analysis and design language)模型验证方法.分别给出了AADL子集和TASM的抽象语法,并基于语义函数和类ML的元语言形式定义转换规则.在此基础上,基于AADL开源建模环境OSATE(open source AADL tool environment)设计并实现了AADL模型验证与分析工具AADL2TASM,并基于航天器导航、制导与控制系统(guidance,navigation and control)进行了实例性验证.     

双循环两相生物工艺处理生活污水的脱氮中试

采用双循环两相生物工艺(BICT)处理生活污水,探讨了在不同运行模式和试验条件下系统的脱氮性能.试验结果表明:BICT工艺通过设置独立的生物膜法硝化池,强化了系统的硝化效率,减轻了泥龄对系统脱氮的影响,提高了脱氮的稳定性.运行模式和硝化液回流比是影响系统脱氮效果的主要因素.在适宜的条件下,系统的脱氮率可达85%以上,出水TN<15 mg/L.     

四川成都经济区土壤腐殖质重金属元素含量特征研究

通过对四川成都经济区16件土壤样品腐殖质组成及其各组分中重金属元素含量的分析表明,胡敏素是土壤腐殖质的主要组成部分,富里酸和胡敏酸次之.土壤腐殖质中重金属元素含量占土壤伞量20%～44%,是土壤重金属污染元素主要存在方式.重金属元素在腐殖质不同组分中的含量具有很大的差异,Cr主要赋存在胡敏素中,Cd、As、Cu、Zn等元素主要赋存在富罩酸中.各重金属元素在腐殖酸中含量较高,富里酸中的含量均大于胡敏酸,其机理是富里酸对重金属元素的络合是腐殖酸与重金属相互作用的主要方式.     

基于AADL的航天嵌入式软件Ada代码自动生成方法

模型驱动开发方法逐渐应用于航空航天等领域的安全关键软件设计与实现中。体系结构分析设计语言(Architecture Analysis and Design Language, AADL)是一种标准化的嵌入式软件体系结构描述语言,通过建模、验证以及代码自动生成为安全关键软件的设计与实现提供完整支持。然而,工业界实际代码是运行在具有不同特性的目标平台上的,例如不同的软硬件体系结构和编程接口,而现有AADL代码生成研究主要是通过手工将自动生成的代码集成到平台当中,存在工作繁琐且易出错的问题。为此,本文提出一种基于AADL的航天嵌入式软件Ada代码自动生成方法。首先,给出卫星姿轨控系统的AADL建模;其次,给出AADL到平台相关的Ada代码自动转化规则;最后,给出代码生成原型工具,并对卫星姿轨控系统AADL模型所生成的代码进行航天编码规范检查,并运行在相关仿真环境中,验证了本文所提方法的有效性。