可靠性增长模型和正交缺陷分类的结合及在过程定性分析中的应用

软件过程的度量和分析是近年来软件工程领域的重要研究方向。传统可靠性增长曲线模型可对软件过程进行预警,正交缺陷分类方法可对软件缺陷进行度量,但是两种方法都无法对软件过程提供直接的指导和定性的分析。提出将传统可靠性增长曲线模型结合正交缺陷分类属性缺陷类型,将不同种类的缺陷放在同一横坐标上进行比较,得出软件过程定性分析结论。     

基于WBDS的企业级应用系统整合模型的研究

如何有机地整合企业内部越来越多的应用系统,统一规划管理,简化操作是企业级应用中一项极富挑战性的工作。企业级应用系统整合模型以成熟的层次软件结构模型WBDS为基础,提出单点登陆、统一用户管理、企业级应用系统整合引擎的解决方案来整合企业内现有的应用系统,为所有的应用系统提供了一个统一的入口,能够极大地简化用户使用系统的操作,并加入了对象关系映射的持久层模块以提高应用系统的性能和改善系统开发的代码量,简化了系统的开发工作。     

基于消息中间件的电子政务协同工作流模型的研究

如何实现各政府部门的异构系统间互联互通是电子政务领域一项极富挑战性的工作。提出了基于消息中间件的电子政务协同工作流模型,将异构系统整合到统一的业务流程之中,并采用Petri网对业务流程中各部门子系统间的调用序列进行了形式化描述,确保了业务流程建模的正确性。     

六水氯化镁脱水蓄热过程的数值模拟

六水氯化镁(MgCl2·6H2O)由于较强的吸附能力、低反应焓以及较高的储热效率,成为当今热化学储能常用的材料.建立六水氯化镁脱水蓄热过程二维数值模型,将质量、动量、能量与化学反应物理场进行耦合,研究反应床的温度与转换程度分布,同时对反应器内自由空气流道的布置进行结构优化设计.讨论了入口流体流速和温度、材料孔隙率以及导...     

一种改进的规划器算法在军用软件GUI测试用例自动生成中的应用

以人工智能中智能规划方法为基础,对军用软件测试用例自动生成技术进行了研究。现有的许多规划器都不能避免组合爆炸问题的发生,而这一问题又是导致规划失败的一个重要问题,针对这一现象,以IPP规划器为例,提出目标分解法对规划器所需事实文件进行划分,并对IPP规划器应用多事实文件处理算法进行扩展,扩展后的MF-IPP规划器能够处理多个事实文档,有效避免了组合爆炸问题的发生。将该方法应用到军用主控软件GUI(Graphical User Interface)测试用例自动生成中,主要思想是首先利用规划器生成初始测试用例,其次提出解扩展的方法来完善测试用例的生成。针对测试用例生成问题进行了比对分析,结果显示,MF-IPP可以很好地防止组合爆炸问题的发生。所生成的测试用例生成时间短、覆盖率高,不仅能够很好地辅助软件测试人员进行测试用例的编写,还能应用于自动化软件测试。     

测点数量与位置对室内热源逆模型的影响分析

针对建筑室内热源逆模型中温度测点的选取是根据直觉或经验,而不是通过系统推导来确定的问题。采用矩阵奇异值分解和矩阵特征值分解原理,探讨温度测点数量与位置对室内热源逆模型的影响。将矩阵条件数和矩阵特征值之间建立函数关系,以逆模型中矩阵的最小条件数作为评判准则,优选温度测点数量与位置。应用该方法对一个三维通风空腔中的温度测点数量与位置进行分析。研究结果表明,通过该方法选取的温度测点可以提高热源逆模型的计算精度。     

一种低合金低温铸钢及其组织与性能

针对极地石油钻机用大钩对材料的性能要求,设计了一种含Cr、Ni低合金低温铸钢,考察了不同热处理工艺对材料组织、室温力学性能以及低温冲击韧性的影响.采用扫描电镜、X射线衍射和透射电镜等手段分析了低温铸钢试样的微观结构、相组成及断口形貌.结果表明:该低温铸钢经930℃炉冷 920℃油冷 680℃空冷热处理后,其显微组织为回火索氏体,其中铁素体呈等轴状,渗碳体已趋于团球化;-20℃冲击功达到57 J,冲击断裂机制为韧性断裂,-45℃冲击功为32 J,冲击断裂机制为不完全脆性断裂.在此热处理条件下,低温铸钢试样表现出优良的室温综合力学性能和较高的低温冲击韧性,达到了石油钻机用大钩所要求的材质性能.     

离子辐照形成空心银纳米颗粒

离子辐照是控制金属纳米颗粒分布和结构的有效方法。将能量为200 keV、剂量为5×10^16ions/cm2的Ag＋注入到非晶SiO2中,形成Ag纳米颗粒层,再用能量为200和500 ke V的Ar＋辐照Ag纳米颗粒。Ar＋辐照后,在部分较大的Ag纳米颗粒中出现空洞,空洞的平均尺寸随着Ar＋辐照剂量的增加而变大。辐照前,Ag纳米颗粒在非晶SiO2中沿纵向呈近似高斯分布;辐照后,投影射程附近的较大的Ag纳米颗粒平均尺寸变大,而投影射程下面的小颗粒逐渐消失。结合Trim程序模拟分析结果可知,Ar＋辐照时的核能量损失和电子能量损失是影响Ag纳米颗粒尺寸分布和结构的重要因素。     

高速铁路板式轨道计算模型的建立

为了合理处理高速铁路板式轨道结构动力学分析中板壳与梁一杆、叠加板、梁轴与弹簧、板与弹簧、板与实体等连接问题,基于Timoshenko板壳理论和直接引入法建立了多点约束方程,构造了板式轨道组合结构计算模型.该模型将组合结构中相关节点对之间位移关系,通过偏心关系和板壳理论的直线假设,建立了多点约束方程,并把该约束方程引入到...     

油缸实时检测系统控制策略研究

针对现有油缸检测系统检测手段和技术落后及检测精度低等缺点,提出把测试项目模块化后,将模块有机组织在液压缸运行过程中来完成油缸检测的控制策略。运用PLC(programmable logic controller,可编程控制器)控制、CoDeSys组态软件和Visual Basic 6.0技术设计了一套油缸实时检测系统。试验结果表明,新的测试系统实现了实时检测、试验数据和曲线以及试验报告的输出和打印,提高了检测效率。