一种求解组合逻辑电路最小完全检测集的算法

提出了种产生组合逻辑电路最小完全检测集的算法,通过此算法可以得到组合逻辑电路中任意可测故障的测试及最小完全检测集。     

大型数字电路的动态电流测试模式

组合逻辑电路的最大动态电流测试应在电路的原始输入端施加一个特定的测试序列才能实现。文中提出一种算法模式可以快速生成所需的测试序列。算法与电路的原始输入端数无关。     

基于物元-阴性选择算法的轴箱轴承故障检测

针对高速列车轴箱轴承故障数据获取困难的问题，提出了一种无需先验知识的利用物元和阴性选择算法进行轴承故障检测的方法. 首先利用多维物元构建阴性选择算法的检测器模型，以检测器与训练样本之间的综合关联度作为匹配规则，并在综合关联度约束范围内引入控制参数，实现检测器对非己空间的更大覆盖；其次，根据匹配规则和控制参数构建适应度函数，采用粒子群优化算法生成候选检测器，分析控制参数对检测器生成和粒子群优化算法收敛速度的影响；此外，为降低候选检测器集合的冗余度，基于关联度提出了检测器特征参数区间的合并规则，将成熟检测器个数降低至18个；最后，通过信号模拟方法生成轴箱轴承的各类故障信号，建立100组测试样本，并利用18个成熟检测器进行故障检测. 研究结果表明:成熟检测器对不同类轴承故障均具有较好的检测性能，正常样本的检测器激活率为1.11%，故障样本的检测器激活率不低于96.67%.      

March算法在BIST电路设计中的作用机制

基于March CE算法,设计了一种可嵌入式的具有内建自测试功能的电路;在电路和测试方案设计中依据March CE算法中理论公式,并以此为依据叙述了设计过程中的作用机制,给出BIST电路结构原理图和电路设计图,对所设计的电路进行了测试,验证了所设计电路.     

基于TAIO变异的CTCS-3列控系统测试案例生成方法

为了研究高覆盖已知故障集的中国列车运行控制系统三级（CTCS-3）测试案例生成方法，提出了一种基于输入输出时间自动机（TAIO）变异分析的测试案例生成方法. 结合列控系统模式转换的故障特点，设计了包含模式转换已知故障的8种变异算子（改变行为、改变目标位置、改变源位置等），形成了15 106个变异体；利用输入输出一致性关系（tioco）和k-Bounded模型检验方法生成了10 843个测试案例；应用一致性关系分数（CRS）、平均一致性关系分数（ACRS）和加权一致性关系分数（WCRS）进行了故障覆盖度的分析. 研究结果表明:该方法设计和生成的测试案例能够有效覆盖改变行为、改变不变量和增加sink位置3种故障模式，而对于约束取反和复位取反的故障模式覆盖度不高，需通过额外的观测信息来检测故障.      

一种基于蚁群算法的服务组合方法

Web服务是一种新型的信息集成架构,将多个Web服务组合成一个能完成复杂任务的组合技术是Web服务中关键技术之一．文中提出了一种基于蚁群算法的服务组合方法,对于服务序列可生成全局最优联盟,同时算法基于蚁群系统的学习能力可以有效减少联盟生成的搜索时间和计算量,可实现性好．     

基于BPEL的Web服务组合测试路径生成

为更好地对服务组合展开测试,提出一种基于BPEL的Web服务组合测试路径的生成方法.首先对BPEL流程进行建模,以一种可扩展的控制流程图作为描述BPEL过程的形式模型.在此基础上,采用扩展后的数据流分析方法对所得控制流图进行分析,产生满足既定测试标准的测试路径.最后通过一个服务组合实例来说明模型及算法的有效性.解决了服务组合测试路径的自动生成并保证了测试的充分性.     

一种模糊隶属函数的自动生成算法

提出了一种模糊隶属函数的自动生成算法，该算法基于样本数据的变化趋势对数据进行预处理，同时结合模糊C均值方法，实现连续数据的离散化，直观、合理地确定了模糊隶属函数的中心参数，并应用MATLAB语言实现了模糊隶属函数的自动生成算法。     

一位全加器优化设计算法的研究

二十世纪九十年代以来,演化硬件技术通过演化算法自动生成数字电路已成为研究热点之一。人们希望通过实现较大规模数字电路的自动设计及优化,来提高设计效率、降低能耗,从而节约现实成本。该文以扩展矩阵编码规则为基础,基于多目标优化技术,结合轮盘赌选择、子电路交叉、自适应变异以及跨时代精英机制组成电路演化优化算法。     

光线跟踪长方体求交高效算法

基于Ｃｙｒｕｓ－Ｂｅｃｋ算法及长方体面上点的约束条件,提出光线跟踪中射线与长方体求交测试与运算的高效算法,显改善光线跟踪条件下数控车削加工仿真图形生成速度。该算法具有通用性,适于射线与任意凸多面体的求交测试与运算。