基于二叉树满足MC/DC测试用例设计方法

软件测试是保证软件质量的有效方法,但测试工作过程繁琐,工作量较多。探索高效、可靠的测试用例设计方法一直是大家追求的目标,随着航空航天产品逻辑复杂性的提高及软件规模的日益增大,这种要求也变得更加迫切。依据MC/DC设计的测试用例既提高了测试用例设计的效率又增加了测试覆盖率,比较适合测试逻辑关系相对复杂的软件。当前的很多软件测试工具提供了软件测试覆盖率的判定功能,可以评定设计出的测试用例是否满足MC/DC的要求,而软件测试人员需要的是逆向的过程,论文提出应用唯一原因法和屏蔽法原理设计测试用例,可达到根据逻辑关系自动生成满足MC/DC要求测试用例的目的,提高了测试用例设计的效率。     

矩阵分解原理在电力系统铁磁谐振中的应用

阐述了铁磁谐振等效电路及其数学模型,以矩阵分解技术为工具得到了电路消除谐振的条件,在不同的初始条件下对电路进行模拟仿真.结果表明,消除谐振的条件可以用分解矩阵的HURWITZ条件来决定,并用数值模拟进行验证,结果正确,说明唯一稳态消谐法的有效性.     

隐含子群问题的研究现状

在Shor发现大整数因子分解问题的有效量子算法之后,量子计算迫使我们重新审视现有的密码系统。隐含子群问题是量子计算在群结构上的推广,它暗示通过考虑不同的群和函数来解决更困难的问题,以期找到新的指数倍快于其经典对应物的量子算法。有限交换群隐含子群问题的研究已有相对固定的研究框架和方法,而非交换群隐含子群问题的研究一直很活跃。研究表明,二面体群隐含子群问题的有效解决可能攻破基于格的唯一最短向量问题的密码体制,图同构问题可以转化为对称群隐含子群问题。文中对隐含子群问题的研究现状进行综述,希望能够吸引更多研究者对隐含子群问题的注意。最后为隐含子群问题未来的研究方向提出参考意见。     

面向智能建造的装配式建筑研究与实践

智能建造的实现路径有哪些?我认为,首先,数字设计是智能建造的基础,其目标是定义完整的建筑产品,并将其用作房屋建造过程中的唯一依据;其次,适合于数字化和智能制造的工业化建筑产品,是智能建造的必要载体;再次,智慧工地是智能建造的“总装车间”;最后,通过数字化集成平台,将设计、采购、施工、调试等阶段产生的数据提交给运营管理者的交付方式,是实现智慧维保的基础。在此,我将以中建科技集团研发的4种装配式建筑产品为例来讲解集团在智能建造方面进行的相关探索及成效。