三维编织复合材料因其优异的力学性能而得到广泛应用,对其力学性能的研究也取得一些成果.综述了近些年国内外对三维编织复合材料力学性能的研究进展,主要包含试验研究、理论研究,总结了目前研究存在的问题,并对未来的研究趋势做出了展望.
基于2D-C/SiC复合材料面内剪切强度实验数据,以双参数Weibull分布为假设分布模型,采用线性回归法进行参数估计,结合Kolmogorov非参数检验,针对2D-C/SiC复合材料面内剪切强度分布规律进行研究.结果表明:2D-C/SiC复合材料面内剪切强度服从双参数Weibull分布,利用双参数Weibull分布预测2D-C/SiC复合材料面内剪切强度与实验值吻合较好.
核电厂稳压器波动管热分层现象对波动管造成破坏结构完整性及超预期的支承位移和载荷等潜在风险,为了改善波动管热分层现象,对三代核电机组的稳压器波动管进行了布置改进,并对波动管热分层及热位移开展了监测试验.建立管道力学分析模型,对热分层和热位移试验结果进行了分析,采用导热反问题求解方法将测量的外壁面温度反演为内壁面温度,分析了导热反问题求解方法对计算结果的影响,将理论分析位移与测量位移进行了对比.结果表明:采用导热反问题得到的理论计算位移与测量位移差别较未采用时小,导热反问题求解方法能有效提高波动管热分层试验分析的准确性.
大部分软件开发中主要关注源代码级别的可靠性,通常默认编译器和操作系统是可信的.但是作为与安全攸关的软件还必须考虑编译器引入的误编译和操作系统漏洞引入的软件执行错误.形式化方法是一种有效提高软件可靠性的方法,本文对现有形式化技术在核电厂DCS中的可能应用方向进行研究,主要包括DCS逻辑算法的正确性验证、程序的可信编译、实时操作系统的验证.