解析钢结构焊缝无损探伤质量检测技术

随着我国社会经济和科学技术的发展,我国的炼钢技术发展到一定的高度,并且得到普遍的应用。钢结构自身具有促进建筑系统稳定的作用,焊接能够有效地促进建筑结构稳定的连接。对钢结构的安全和稳定有着直接的影响。因此,钢结构焊缝无损探伤质量检测技术的研究具有重要的意义。无损检测技术能够保证钢结构的整体质量。本文对钢结构焊接的缺陷类型和无损探伤技术的优势进行阐述,注重对钢结构无损探伤质量检测技术进行分析。     

军用方舱空调系统的选择

本文就军用方舱在布局设计时，选用何种空调设备；方舱需要多少制冷量；空调设备附件的使用等进行了分析、论述。文中的一些观点、计算方法仅供参考。     

基于求精的软件体系结构设计方法

分析了当前软件体系结构研究对软件开发支持存在的不足，将软件体系结构求精技术引入大型复杂系统软件体系结构设计与开发过程中，结合抽象层次和层次视图，提出了一个基于求精的软件体系结构设计方法——ARSADM，给出了其关键步骤和过程，用于指导软件体系结构的正确设计。     

数组越界的故障模型及其检测方法研究

数组越界是C程序中的常见故障，该类故障可能造成系统的崩溃。首先针对常见的数组越界故障进行了分析，提出了检测数组越界的判定准则，建立了故障模型。根据该故障模型，采用程序控制流图和路径条件，并结合静态分析思想，给出了可有效地检测出程序中存在的数组越界故障的方法。最后通过实例分析了该方法的应用过程。     

基于CHAM模型的LTS状态树生成算法

标号迁移系统(1abelled transition system，LTS)是形式化一致性测试的重要研究方向，在软件体系结构(software architectures，SA)测试计划生成的研究中，需要从化学抽象机(chemical abstract machine，CHAM)模型中生成LTS，以表达出软件体系结构的动态特征，因此，LTS状态树生成算法是导出软件测试计划和测试用例研究工作中的关键问题，基于CHAM模型，提出了通用LTS状态树生成算法，并使用实例验证了该算法。     

一种自动机学习和符号化执行的软件自动测试方法

针对高可信软件提出一种软件脆弱性自动测试方法。与传统测试方法不同,该方法对待测试程序进行预处理,使用自动机学习算法构造软件与环境交互的抽象机模型,在符号化执行迭代过程中利用抽象机模型指导符号化执行,并动态生成测试数据,同时精化交互抽象机用于后继的符号化迭代测试。解决了传统符号化执行测试技术中缺乏指引、具有较高盲目性的问题,同时也提高了符号化执行测试的效率和代码覆盖率。     

一种基于二分图故障检测模型的软件故障定位方法研究

软件故障诊断过程中代价最昂贵和最耗时的活动之一就是软件故障定位.为了辅助测试人员进行软件故障的定位,在设计分层思想的指导下,在分析软件及其各个模块以及模块中代码之间复杂关系的基础上,通过分析历史数据中软件故障与现象之间的对应关系,建立了基于拓扑图的软件故障传播模型,使得软件故障诊断人员能够利用该拓扑图模型描述具体的软件故障现象.通过该拓扑图模型,软件故障传播模型可转换成更容易进行问题求解的基于二分图的故障检测模型.然后针对该模型设计了基于贪心策略的算法,该算法解决了基于二分图故障检测模型的最小覆盖求解问题,这一问题的求解结果描述了软件故障原因假设集合,通过故障原因与软件模块关系分析可找出与该故障原因对应的相应模块,从而实现故障定位.实验表明,本研究方案能够有效处理软件故障定位问题.     

数字音频来源被动取证研究综述

数字音频来源被动取证研究旨在不依赖主动嵌入的数字水印或数字签名等冗余信息,通过原始数字音频数据的内在设备信息提取出表征设备源机器指纹的特征,进而对数字音频证据来源做出判断,在司法取证、军事信息、新闻传播等领域有着广泛的应用前景。目前,数字音频来源被动取证的研究综述面临时效性不足、针对性不够的问题。据此,给出了数字音频来源被动取证的研究框架和基本思路。对该领域常用的数据集做了简要的分析。根据数字音频来源被动取证的研究对象,将领域内的研究分为特征表达和表征建模两大模块,对频域信息特征、倒谱特征、基于高斯超矢量信息的特征、融合特征、深度特征五类特征,高斯混合取证模型、支持向量机决策模型、稀疏表达分类器决策模型、其他机器学习决策模型、深度学习决策模型五类模型的性能进行了比较分析。总结分析了数字音频来源被动取证领域的研究现状和存在的问题,并对未来的研究方向进行了展望。     

内存泄漏故障静态分析研究

目前研究人员主要采用静态测试技术实施对内存泄漏故障的检测,其基本思想就是依据待测程序的控制流图来设计特定的算法以检测内存泄漏问题,但这些方法的不足之处主要是控制流图的表示方式上未含有进一步可用信息,因此所设计的算法不能很好地执行该故障的检测任务.为此,定义了一种用于内存泄漏故障检测的控制流图,提出控制流图可达路径生成算法,然后根据生成的路径进行内存泄漏故障的检测与分析.实验证实,该方法取得了理想的效果.     

一种调和序列生成及其在故障定位中的应用

为了提高软件的可靠性,在软件运行发生故障时,快速、准确地定位故障点成为非常有意义的研究课题。与以往方法不同,在将故障运行序列和最部近运行序列进行差异对比前,为了避免选取第一条最近成功路径时引起的“盲区”使得后期搜索空间加大,引入了生物学基因序列比对原理,对最部近运行序列不是通过编辑距离比较进行选取,而是通过一条调和序列进行处理。实验表明,方法的故障定位效果较好。