含自发事件的协议一致性测试例的生成

目前有许多基于有限状态机生成一致性测试序列的方法,但是这些方法还不能应用于含有自发事件的有限状态机。文中对UIO方法加以补充,使之适用于含自发事件的有状态机,并已将该方法应用于OSPF协议的一致性测试。     

刍议高层建筑梁式转换层结构设计

梁式转换具有传力路径清晰快捷,工作可靠,构造简单,施工方便等优点,是目前国内应用最广的转换层结构型式。下文介绍了梁式转换层高层建筑在结构整体、转换层及转换大梁三个部分的计算要求．提出了对转换层及其附近层的结构构件的设计建议。     

稻壳粉/PVC门条线的工艺优化

采用双螺杆挤出成型的方法生产稻壳粉/PVC门条线,研究了机头温度、螺杆转速对挤出难易程度、门条线密度及其力学性能的影响,并优化了工艺参数。结果表明:机头温度175℃,螺杆转速10 r/min,主机功率8 kW时,门条线综合质量最佳。此时门条线的吸水率、低温长收缩率、低温宽收缩率分别为0.42%,0.15%和0.22%。     

AP1000机组蒸汽发生器传热管役前检查

为验证某核电站AP1000机组蒸汽发生器传热管的制造质量,按照国家核安全法规、ASME规范第XI卷和西屋设计规格书的要求,在蒸汽发生器水压试验之后、装料之前,采用涡流检查的方法对全部传热管执行100%的役前检查。结合蒸汽发生器传热管役前检查的实施情况,对涡流检查系统、项目实施、检查技术和检查结果进行了阐述。检查发现,2台蒸汽发生器共有24根传热管存在凹痕信号,23根传热管存在肿胀信号（均满足验收标准）,其余传热管无可记录信号。此外,还对本次役前检查结果与制造完工报告进行了分析对比,役前检查结果与制造完工报告一致。     

高锰硅热电材料的微观结构及电热输运性能

采用熔炼、退火结合放电等离子烧结的方法制备了名义成分为MnSi_x ( x=1.60、1.65、1.68、1.73、1.81、1.85 )的高锰硅(HMS, Higher Manganese Silicide)块体材料. 物相分析结果表明, 随着Si初始用量x的增加, HMS (Mn₁₅Si₂₆)相各衍射峰强度先增强后减弱. 当x<1.73时, 样品物相组成为HMS相和少量MnSi相, 当x≥1.73时, 样品物相组成为HMS相和少量Si相. 体系的热电性能受MnSi相和Si相的影响, 热电性能分析结果表明: 随着Si名义含量x的增大, 试样电导率逐渐降低, 赛贝克系数逐渐增大, 热导率先降低后增高. 其中, 名义成分为MnSi_1.68的试样由于具有最高的电性能(功率因子)和较低的热导率, 从而具有最好的热电性能, 在400℃时其无量纲ZT值达到0.36.     

多视角面向对象分析的一致性问题

使用面向对象方法对一个系统进行需求分析时,一个对象的行为在不同的用户看来是不完全相同的.多视角面向对象分析方法就是首先根据每个用户的观点建立模型,然后将这些模型合并为一个统一的模型.在进行合并时,必须解决模型之间的不一致性.文章主要分析了多视角模型间出现不一致的原因,并提出了解决不一致性问题的方法.     

压水反应堆压力容器顶盖的目视检查

针对国内电站顶盖目视检查中所遇到的诸多问题,对顶盖目视检查应重点关注的区域和范围进行了研究说明,提出了在检验实施前,需对检验人员进行专项培训,并对目视检验技术进行能力验证。分析了不同情况下硼结晶的形貌特点、颜色区别、以及漏点的位置分布情况,提出了利用压缩空气吹扫或真空吸尘器抽吸的方式对泄漏源的位置进行准确查找的方法,最后对发现裂纹后的处理给出了建议措施。     

基于EFI驱动-协议模型的自我认证测试系统

可扩展固件接口（EFI）规范为操作系统与平台固件之间的接口定义了一个崭新的模型。它们为启动一个操作系统与执行启动前程序提供了一个标准环境。可扩展固件接口的自我认证测试系统（SCT）利用EFI的驱动一协议模型通过统一的测试协议管理测试用例集合，用于验证一个EFI的实现是否符合EF11．1规范，并且实现了EFI测试的可扩展性和可移植性。该文介绍了EFI自我认证测试系统的原理，框架和流程。     

钛酸纳米管改性高甲氧基果胶/壳聚糖复合膜性能的研究

本文通过流延法制备了高甲氧基果胶/壳聚糖复合膜,并以钛酸纳米管(Titanate nanotubes, TNTs)对其进行了改性。研究结果表明:TNTs的添加促使复合膜表面形成大量颗粒状结构,同时其力学性能、耐水性能和热稳定性上升。在TNTs添加量为0.15 g时,复合膜的拉伸强度、断裂伸长率达到最大,与添加TNTs前相比,分别增加了78.43%,51.23%;同时复合膜的吸水率、水蒸汽透过率则降到最低,与添加TNTs前相比,分别降低了18.18%和26.69%。当TNTs添加量达到0.20 g时,复合膜的各项性能有所回落。