基于S型测试工作量函数的软件可靠性增长模型

软件测试工作量随时间的变化情况对于软件可靠性增长曲线的形状具有显著影响,因此将测试工作量函数(TEF,Testing Effort Function)引入软件可靠性增长模型(SRGM,Software Reliability Growth Model)中以提高软件可靠性评估性能.分析了软件结构特征及学习因素对实际测试过程的综合影响,研究增长速率为先增后减的S型增长趋势的TEF,提出两种S型TEF,即延迟S型TEF与变形S型TEF,并提出考虑延迟S型TEF的SRGM(DSTEF-SRGM)以及变形S型TEF的SRGM(ISTEF-SRGM).在两组真实失效数据集上,进行了这两种SRGM与经典SRGM及其它考虑TEF的SRGM的对比研究.结果表明,ISTEF-SRGM的模型拟合效果最优,同时验证了该模型具有优越的软件可靠性评估性能及模型适应性.

含氧煤层气液化流程爆炸极限分析

大部分含氧煤层气由于技术限制没有被合理利用,而是直接放空,不仅浪费资源,而且污染大气环境。针对某一典型煤层气气源条件和组分特点,设计了一种新型的液化精馏工艺流程,结合HYSYS软件模拟计算结果以及爆炸极限理论,对该液化精馏工艺流程的爆炸极限进行了分析计算,结果表明煤层气中甲烷浓度在压缩、液化以及节流过程中都高于爆炸上限,操作过程安全性比较高。但在精馏塔顶部甲烷浓度开始低于爆炸上限而导致精馏过程存在安全隐患。首先对原料气进行初步脱氧,然后再通过调整精馏塔塔底采出量来控制塔顶杂质气体中甲烷含量,使得其在整个液化及精馏流程中始终高于爆炸上限。分析结果表明,采取安全措施后整个流程都不存在爆炸危险性,甲烷回收率和产品纯度都较高,而且整个流程能耗也比较低。模拟结果显示,所设计的液化及精馏流程对不同气源具有较好的适用性,分析计算结果为含氧煤层气的杂质分离、操作过程的爆炸极限分析以及安全措施的采取提供了一定的参考。

含氧煤层气的液化及杂质分离

煤层气是一种新型清洁能源,但是大部分含氧煤层气由于加工处理技术的限制没有被合理利用,而是直接被放空,不仅造成了资源的浪费,而且还会严重污染大气环境。为了更好地合理利用含氧煤层气,针对大庆庆深气田含氧煤层气气源条件和组分特点,设计了一种新型的煤层气液化及杂质分离工艺流程,采用精馏塔在低温条件下脱除煤层气中的氧气和氮气,精馏塔塔顶冷凝器和塔底再沸器的能量都分别取自于流程中的制冷剂冷却系统和煤层气液化系统,且从塔顶流出的低温杂质气体返回换热器进行冷量回收。采用流程处理软件HYSYS模拟计算的结果表明,所设计的工艺流程能耗较低,精馏塔脱氧脱氮彻底,产品中甲烷纯度高,甲烷回收率较高,该工艺流程的气源适应性和操作安全性都较好。该液化工艺流程的设计为含氧煤层气的液化及杂质分离提供了一种参考方法。

软件可靠性测试充分性问题的理论研究

在分析了软件可靠性测试充分性准则研究的重要意义的基础上 ,阐述了软件测试充分性准则的概念、分类以及软件可靠性测试充分性准则与整个软件测试充分性准则体系的关系 ,提出了其在软件可靠性测试中的一种实现方法 ,是借鉴已有的软件测试充分性方面的理论 ,对软件可靠性测试充分性问题进行的初步探索 .

灰盒测试方法在软件可靠性测试中的应用

阐述了软件可靠性测试的概念和灰盒测试方法在软件可靠性测试中生成测试数据方面的应用 ,给出了方法用于可靠性测试中的工作流程 ,分析了其与传统的可靠性测试方法相比的优越性以及尚未解决的局限性 ,展望了未来的研究方向。

养护温度对贝利特-硫铝酸钡钙水泥水化的影响

通过水化程度测试、抗压强度测试、XRD及SEM分析,研究了养护温度对贝利特-硫铝酸钡钙水泥水化程度、力学性能和水化产物的组成及其结构的影响,并将实验结果与普通硅酸盐水泥的相关性能进行比较。结果表明:养护温度对贝利特-硫铝酸钡钙水泥的早期水化影响较大,适当提高养护温度对贝利特-硫铝酸钡钙水泥的早期水化具有显著的促进作用,而对后期水化影响较小。养护温度从5℃提高到35℃时,该水泥3d水化程度由31.57%提高到62.56%,水化3d抗压强度由28.1MPa增强到52.7MPa。与普通硅酸盐水泥相比,贝利特-硫铝酸钡钙水泥早期抗压强度受养护温度的影响更大。

CaF_2对阿利特-硫铝酸锶钙水泥性能的影响

将硫铝酸锶钙矿物引入到硅酸盐熟料矿物体系中,合成阿利特-硫铝酸锶钙水泥。利用XRD,SEM-EDS和岩相等测试手段研究了CaF2对阿利特-硫铝酸锶钙水泥熟料矿物组成和水泥性能的影响。结果表明,CaF2能够促进固相反应使得阿利特在较低温度下形成,有利于阿利特和硫铝酸锶钙矿物的共存。当CaF2在熟料中的掺入量为0.6%时,阿利特-硫铝酸锶钙水泥的1 d、3 d和28 d抗压强度分别达到32.8 MPa、67.7 MPa和120.4 MPa,表现出良好的力学性能。

基于覆盖率信息的软件可靠性增长测试实践

软件可靠性增长测试是公认的实现软件可靠性增长以满足软件可靠性定量要求的重要手段,但数量庞大的测试用例往往成为其在实践中进行大规模推广和应用的瓶颈。通过在传统软件可靠性增长测试中引入覆盖率信息的方法来降低可靠性增长测试中需要执行的测试用例数量,从而加快可靠性测试进程,并解决其在实际中不能应用的弊端。通过实践的尝试,希望架起软件可靠性理论研究与工程实践之间的桥梁,以推动软件可靠性工程活动在工程实际中的开展和应用。

具有性别结构和不育控制的单种群模型

建立了一个简单的具有性别结构和不育控制的单种群模型,判断了平衡点存在和稳定的条件,得到了种群一致持续生存和正平衡点全局渐近稳定的充分条件.

土遗址综合监测技术及其应用

土遗址病害发展情况的量化是文物保护工作的难点,本文针对土遗址的常见病害,提出了采用现代工程测量技术、新型激光扫描测量技术和工业三维测量技术获取土遗址赋存基础与本体变化情况的新型土遗址监测技术,经过实践检验,具有一定的实用价值。在实验的基础上,总结了这些技术应用于土遗址综合监测的经验和下一步需要研究的问题。

具有自食和阶段结构的捕食系统的周期解

一些生物的生长具有阶段性，在种群内部有自食现象，当这种生物作为捕食者，可以建立具有时滞、自食现象和阶段结构的捕食系统,讨论了这一系统解的非负性和有界性，利用重合度定理，得到了周期解存在的充分条件．

大型LNG换热器结构设计及换热性能模拟

板翅式换热器目前广泛应用于中小型天然气液化工厂,当其应用于大型天然气液化领域时,由于需要多个冷箱及板翅式换热器并联进行作业,由此带来的流体均布问题较难解决,进而导致换热性能显著下降,这一因素制约了板翅式换热器的大型化应用进程。对现有板翅式换热器结构进行了优化设计,开发出一种新型板翅式换热器换热结构,并对其换热性能进行模拟计算,结果表明,新型板翅式换热器在天然气处理规模较大时,具有较好的换热性能,该研究结果可为大型板翅式换热器结构设计提供参考。

测试有效性对软件可靠性验证测试量的影响

针对传统软件可靠性验证测试方法均不考虑软件测试性可能会对验证测试用例数量产生影响的现状,提出一种引入测试有效性对软件可靠性验证测试最小量进行改进的方法.分析了软件测试性的定义及其对软件可靠性测试集合的影响,提出软件测试有效性的概念.比较了考虑测试有效性前后软件可靠性验证测试集合在数量上的差异,证明经典统计方法和无先验知识的Bayesian统计推断方法确定的均为假定测试有效性为零情况下的保守估计.提出结合测试有效性的验证测试量的量化表示模型和验证测试方案的改进方法,基于统计故障注入的原理,提出测试有效性的定量评估方法,最后通过示例给出定量评估过程和方法.

软件可靠性验证测试最小测试量的必要条件

将统计学中样本容量的确定方法引入软件可靠性验证测试中,提出了软件可靠性验证测试最小测试量的必要条件的概念.推荐最小测试量的参考值,使其在满足第一类风险的情况下,第二类风险也不超过某一定值.分析了最小测试量的影响因素,对现有的软件可靠性验证测试方案进行了修正,给出在最小测试量指导下的软件可靠性验证测试流程,弥补了现有方法的判定结论并非在任何情况下都可信的不足.

太阳能固体吸附式制冷吸附床的设计及数值模拟分析

设计了管内填充吸附剂,管外走传热介质的新型吸附床结构,建立了相应的数学模型。以太阳能为驱动热源,分析了吸附床内温度在某时刻的静态分布以及温度、压力和脱附速率随时间的动态变化。通过对吸附床传热效果的分析指出该吸附床结构有较好的传热效果。

软件可靠性测试充分性研究

在阐述了软件测试充分性的定义和软件测试充分性准则的定义、分类和作用的基础上 ,形式化分析了软件正确性测试充分性和软件可靠性测试充分性的目的和实质 ,重点研究了软件可靠性测试的充分性 ,将软件可靠性测试充分性准则分为软件可靠性增长测试充分性准则和软件可靠性验证测试充分性准则 ,给出将测试充分性准则用于可靠性测试流程的模型。

浮式海上油田伴生气液化流程设计与分析

针对南海某油田伴生气的气源组分和特点,设计了无预冷的混合制冷剂液化流程(MRC)和氮膨胀液化流程,在储存条件相同而且产量相同的情况下,分析比较了两种液化流程的性能参数和流程布局。结果表明,氮膨胀液化流程功耗高于MRC流程,但是流程装置简单紧凑,占地面积小,对气源条件变化有较好的适应性,操作安全可靠,对装置晃动不敏感,开停机迅速方便,对气源条件变化有较好的适应性,是比较适合于海上油田伴生气的液化流程。本文还对氮膨胀液化进行了分析,指出了流程中损失较大的设备。

基础隔震异形柱框架结构的参数优化

根据叠层橡胶支座和异形柱框架结构体系的非线性特性及相互间的影响,建立三维非线性有限元分析模型。通过改变叠层橡胶支座的阻尼比和刚度,利用SAP2000有限元软件对模型进行不同地震波作用下动力时程分析。结果表明：控制异形柱框架结构的地震反应,可通过优选隔震层动力参数来实现;异形柱框架结构隔震系统阻尼比最优取值范围为0.22~0.27,刚度应在满足允许位移条件下适当降低取值。

一类具有脉冲控制和Holling Ⅱ功能性反应捕食模型的持续生存和灭绝(英文)

本文研究一类具有脉冲控制和Holling Ⅱ功能性反应的非自治捕食模型,得到该模型解持续生存和灭绝的充分条件,且改善了近年脉冲控制方面的一些结果.