考虑介质变形和启动压力梯度的低渗压裂气井产能分析

低渗储层孔吼狭窄,储层物性差,基本无自然产能,需压裂才能经济开发。存在启动压力梯度并且由于有效应力改变有介质变形现象;针对低渗气藏物性特征,基于稳定渗流理论,利用保角变换原理,推导出考虑启动压力梯度和应力敏感效应以及人工压裂缝的气藏垂直井产能计算模型;分析不同应力敏感系数和启动压力梯度以及人工裂缝长度对气井产能影响。该研究对低渗气藏垂直压裂井合理产能确定有一定指导意义。     

基于隐喻词扩展的短文本聚类算法

针对目前短文本词汇量少、 表达形式多样, 导致同种类文本聚类方法无效的问题, 提出一种利用中文维基百科的丰富词汇间关系对短文本的隐喻词进行扩充的方法, 以解决短文本包含信息少、 词汇表达形式多样的不足. 实验结果表明, 该算法可有效提升短文本的聚类效果.     

基于时空分布式的CMIP5气候多模式集合优化

为了降低单一模式的不确定性和传统模式集合在时间和空间上分布的不均匀性, 建立时空分布式的CMIP5气候多模式集合。利用改进的遗传算法, 从时间和空间尺度优化CMIP5全球气候数据多模式集合, 并采用Taylor图评估其模拟性能。实验结果表明, 基于时空分布式的多模式集合优于单一模式和等权集合。     

GC-MS联用技术结合化学计量学方法分析枳实枳壳挥发油成分

利用水蒸气蒸馏法提取四川枳实和山西枳壳的挥发油成分,采用GC-MS联用技术结合化学计量学方法(直观推导式演进特征投影法和选择性离子检测法)进行分析,同时结合程序升温保留指数辅助定性。定量分析采用峰面积归一化法。结果从枳实中35种化合物,占相对总面积含量的83.07%;枳壳中鉴定出37种化合物,占相对总面积含量的97.74%。二者共有组分20种,主要为D-Limonene,枳实中为50.87%,枳壳中为64.41%。研究表明,将化学计量学方法用于中药挥发油成分的定性定量分析可提高分析结果的准确性。     

岩黄连与抗生素配伍后对金黄色葡萄球菌体外抑菌效果的比较

目的 为了探讨岩黄连与抗生素配伍后体外联合抑菌效果。方法 使用岩黄连、青霉素、左氧氟沙星、磷霉素、头孢拉定作为试验药物,以金黄色葡萄球菌作为试验菌株,采用倍比稀释法测定岩黄连与四种常用抗生素的最小抑菌浓度,采用棋盘稀释法测定岩黄连与四种抗生素的联合抑菌浓度。结果 岩黄连、青霉素、左氧氟沙星、磷霉素和头孢拉定最小抑菌浓度分别为20 mg/mL、0.25 μg/mL、0.5 μg/mL、0.5 μg/mL和1 μg/mL;岩黄连与青霉素、头孢拉定、左氧氟沙星联用后表现为协同作用;岩黄连与磷霉素联用后表现为无关作用。结论 岩黄连与青霉素、头孢拉定、左氧氟沙星联用可达到高效抑制金黄色葡萄的作用,对临床应用具有一定的参考意义。     

模型驱动的Dafny程序形式化生成与自动验证

Dafny是一种内置规范结构的编程语言和静态程序证明器,它能验证程序的功能正确性以及将证明过程自动化,这既提高了软件开发的效率,又极大增强了软件开发的可靠性.该文探索了一种模型驱动的Dafny程序形式化生成的方法.首先,从问题的Radl规约出发,根据规约变换技术得到其Radl算法; 然后,根据PAR方法中循环不变式开发新策略得到问题的循环不变式; 最后,在Radl算法和循环不变式基础上利用模型等价转换规则生成Dafny程序,并由Dafny证明器自动验证其功能正确性.用该方法解决了2个典型问题的算法程序开发与验证,证实了该方法能够有效地提高Dafny程序的生成效率和可靠性.     

基于语义推理的作战计划验证方法

针对联合作战计划编制过程中的作战行动过程验证问题,在已有计划表示和计划推理相关研究的基础上,从知识管理的角度,提出了一种基于语义推理的联合作战行动过程验证方法。通过对计划知识进行基于本体的表示、基于描述逻辑及一阶谓词逻辑的逻辑推理,以实现对联合作战行动过程的验证。并以某联合作战行动过程的验证为例进行了实验。实验表明,该方法可实现对专家知识的扩展,能够发现联合作战行动过程开发的异常与不兼容,由此提高作战计划正确性检验的效率。     

作战计划的本体建模研究

作战计划为指挥员提供先进的决策辅助,需要明确有关作战过程相应的信息需求,并依赖于作战过程的形式化领域模型(本体)的开发。研究了相关文献中的作战行动规划过程模型,综述了若干通用计划本体的开发,如计划概念要素、知识表示技术等,为进一步研究作战行动过程提供了足够的、不同模型的信息。     

给水排水工程实践环节质量保障体系教学改革研究

实践教学环节是高等教育教学活动中的重要组成部分,针对新形势下给排水专业实践教学环节的种种问题,华中科技大学在保障实践教学环节质量方面采取了大量的改革措施,取得了一定的效果.