基于TA的等级转换场景变异测试方法研究

针对等级转换场景下的变异测试集不完备问题，提出基于时间自动机(Time Automata, TA)的等级转换场景变异测试研究方法。该方法结合时间自动机理论和等级转换操作流程建立TA模型，同时设计15种变异算子对模型进行变异测试，通过计算加权变异分数评估测试案例集的完备性，并对加权变异分数较低的算子进一步修改补充，最终得到了较为完备的变异测试案例集。     

一种非同步时序电路的测试生成方案

分析了非同步时序电路测试生成所面临的问题。根据测试状态下非同步时序电路的时序特点,结合同步时序电路测试生成算法,提出和论证了一种解决非同步时序电路测试生成问题的方案,通过为时序元件建立完全模型,将时序电路中的时钟信号引入,为非同步时序电路构建出用于测试的单时钟同步电路模型,从而直接用同步时序电路测试生成算法解决非同步电路的测试生成问题。     

时滞测试能量模型的研究和改进

针对文献［１］提出的时滞测试能量函数，指出了该时滞测试能量函数在测试生成时可能产生无效测试，且其表达式较复杂。在此基础上构造了新的时滞测试能量函数，克服了文献［１］的时滞测试能量函数的不足。     

测试图形生成的遗传算法研究

提出了一种用于组合电路测试图形生成的遗传算法。该算法把被测电路的测试生成问题转化为计算一种约束函数的最优解，可充分利用电路的结构信息。为故障节点生成测试时易于操作，且无需经过故障模拟，就可保证对所有可测的单固定型故障及多故障有较高的故障覆盖率。     

数字运动图像清晰度及其测试

研究了数字运动图像清晰度及其测试方法;在极坐标系上建立了数字运动图像清晰度测试序列的数学模型,设计并用计算机生成了不同转速图像各向清晰度测试图序列;定量测试并对比了静止、运动图像的清晰度;实验研究了不同编码参数下MPEG-2数字图像系统重建的运动图像清晰度。     

累加器实现的时延故障单跳变测试序列生成

时延故障的内建自测试通常需要施加测试向量对,包括多跳变向量与单跳变向量。理论与实践表明,单跳变向量比多跳变向量具有更高的强健时延故障覆盖。该文提出了一种采用累加器的单跳变向量生成方案,与以往的方法相比,具有更低的硬件成本。同时,产生所有单跳变向量的时间也接近理论最小值。通过对已有累加器的复用,作为测试序列生成极大地减少了系统性能占用与硬件成本,可有效用于强健时延故障的测试序列生成。     

成对测试中的一种用例生成算法

在对嵌入式软件进行黑盒测试研究的基础上,提出了一种基于成对测试设计思想的测试用例生成算法。该方法充分考虑到待测软件所有外部接口参数的可能取值和各种可能取值的组合。实验结果证明,该算法在不影响测试精度的情况下能有效提高测试用例的选择效果。     

XML技术在软件可靠性测试中的应用

软件的可靠性测试是保证软件质量的重要措施。应用XML保存软件可靠性测试中生成的测试用例,提出了XML测试用例模型,实现了XML测试用例文件生成器与测试引擎,用测试驱动程序来读取测试用例,驱动被测程序运行,自动比较测试结果。能够自动、高效地对软件接口进行测试,测试数据与测试驱动程序相分离,有利于测试数据的维护与重用,在实际应用中取得了很好的效果。     

进位保留阵列乘法器的一种内建自测试

对进位保留阵列乘法器提出了一种内建自测试方案。设计实现了采用累加器生成测试序列和压缩响应,并提出了一种改进的测试向量生成方法。分析与实验结果表明,该方案能实现非冗余固定型故障的完全覆盖。由于乘法器在数据通路中常伴有累加器,该方案通过对已有累加器的复用,作为测试序列生成和响应压缩,减少了硬件占用和系统性能占用,同时具有测试向量少、故障覆盖率高的特点。     

一个基于神经网络的测试生成系统

介绍了一个基于组合电路的Ｈｏｐｆｉｅｌｄ神经网络模型的测试生成系统，系统中运用概率松驰搜索算法求解给定故障的测试矢量。实验结果表明了该系统的可行性     

测试产生的神经网络方法及若干问题研究

介绍了在微机上开发的一种基于神经网络的测试生成系统结构，详细讨论了系统中各模块的实现方案。从提高效率的角度，对电路测试生成中神经网络这一方法的发展及今后须解决的问题做了讨论     

傣族地方人生场域中的灵魂关照——以官纯寨为例

官纯寨是一个典型的傣族乡土社会,其在发展过程中,逐渐形成了一套属于自己的信仰体系,这一体系并不是多元信仰的简单并存,而是官纯人在坚守其原创并世代相传的民间信仰,同时接受外来佛教信仰的基础上,将二者有机结合,建构起的一套具有鲜明民族性与地方性的多元共生的信仰体系。     

电力系统整体可靠性研究

提出了利用Monte-Carlo模拟算法计算电力系统整体可靠性的方法．建立了电力系统运作过程的数学描述模型以及影响电力系统可靠性因素的概率模型，给出了上海市2002年电力系统整体可靠性的模拟计算结果，指出了该计算方法在系统评估和系统规划方面的应用前景．     

基于高速DG的伪随机序列及其产生研究

针对专用伪随机序列发生器的不足,对基于高速数据发生器的伪随机序列及其产生作了较深入的研究。阐述了伪随机序列的几种码制和产生方式,提出了基于高速数据发生器的伪随机序列设计的一般原则和方法,并给出了典型伪随机序列在高速数据发生器中的设计实现和实验结果。     

土家族传统农业生产知识的实践内容及其现代价值——基于红烈和龙桥两个村寨的田野调查

传统农业生产知识是指人们在长期生产实践中,所创造出与农业生产相关、且世代承续的一整套技术、智慧、诀窍和方法等知识的综合体系。通过对红烈和龙桥两个土家族村寨的田野调查研究,发现土家族传统农业生产知识具有显性的经济价值;弥补现代科学技术的缺憾;为现代自然科学研究提供知识标本与素材等重要的现代价值,这种现代价值对人们反思知识的传统与现代性具有启示意义。     

准东地区石炭系烃源岩评价及重要意义

准噶尔盆地东部地区石炭系4个层组（下统塔木岗组、滴水泉组,上统巴塔玛依内山组、石钱滩组）均发育烃源岩。相对而言,塔木岗组及石钱滩组分布范围较有限,钻探程度较低,目前还难以准确评价;而下石炭统滴水泉组烃源岩厚度大,分布稳定,有机质丰度高、类型较好、生烃强度较高,目前已达到湿气演化阶段,是准北地区重要的源岩;与滴水泉组烃源岩相似,上石炭统巴塔玛依内山组分布广泛,生烃指标较好,目前已达到生油高峰,是准东南部北三台—吉木萨尔地区石炭系重要的源岩。五彩湾地区、北三台地区均找到了与这两套源岩有关的油气藏,表明了石炭系良好的勘探前景。     

远程文件快速同步方法

远程文件快速同步在文件备份与恢复、Web缓存等应用场景有广泛的应用。该文给出了一种新的文件快速远程同步方法,在客户端计算文件新旧版本之间的状态差异集和在服务器端重放文件状态差异集实现文件内容差异同步和重命名优化;给出了文件状态差异集的生成、重放和优化方法。实验结果表明,与rsync相比,文件内容差异同步网络流量显著降低,同时,重命名优化网络流量为KB级,与文件长度无关,显著地降低了网络流量。