采用随机Petri网的嵌入式机载软件可靠性检测

针对嵌入式机载软件设计中存在的典型缺陷问题，结合嵌入式机载软件任务调度特性，提出采用随机Petri网对嵌入式机载软件设计进行仿真验证的可靠性检测方法，以提高嵌入式机载软件设计的可靠性。该方法采用随机Petri网对嵌入式机载软件系统行为建模，并给出典型缺陷的检测策略和判定准则，然后通过对Petri网模型进行仿真验证，检测系统是否存在此类设计缺陷；并给出了软件设计的运行流程的仿真验证算法，以支持对相应设计的可靠性检测。通过与其他可靠性检测方法的比较，表明了该方法的有效性。     

基于改进AHP和熵权法相结合的山区在役柔性悬索桥运营安全风险评估

针对传统的层次分析法(AHP)在桥梁运营安全评估中的不足之处,提出了基于改进AHP和熵权法相结合的在役悬索桥运营安全风险评估分析方法。该方法通过定量、客观的分析,克服传统评估方法中各个风险指标权重值计算的局限性,做到了主观权重和客观权重相结合,为在役悬索桥制定科学、正确、合理的管理方案提供了重要参考。同时以云南新龙桥为例进行验证,得到各个风险源的权重值,并找到超载风险是影响悬索桥安全运营的主要影响风险源。运用有限元软件对悬索桥运营阶段基于超载风险的仿真分析,明确超载对该桥安全运营的影响程度。研究表明该评估方法改进和完善了在役悬索桥运营风险综合评估方法,同时对其他桥型的风险评估也有一定的参考意义。     

一种基于ROP技术的代码混淆方法

针对静动态逆向分析容易获取程序内部核心代码的问题,提出一种基于ROP技术的代码混淆方法。借鉴ROP攻击技术的代码组织和调用方式,利用内存空间随机分布的gadget指令序列执行目标代码的等价功能,实现隐藏目标代码和抵抗逆向分析的目的。从有效性、时间开销和空间开销三个方面评价方法的性能,分析和实验表明,该方法能够有效增加攻击者静动态获取和分析目标代码的难度,具有较好的时间和空间开销性能。     

GeoGebra软件在小学数学课堂中的应用

GeoGebra软件作为当下流行的作图软件之一,文章利用其与数学课堂教学相结合,通过探讨其在小学课堂中的应用优势和应用策略,来促进教师对其有正确的认识和使用,以促进教师更好地教,学生更好地学,最终达到提升学生核心素养的目的。     

超大规模诱导气气浮技术及其工程应用

为促进国内超大规模诱导气气浮技术的研发和工程应用,结合科威特B油田使用的超大规模诱导气气浮装置的基本结构及工作原理,详细叙述了该设备的工艺流程和性能特点,重点介绍了该设备当前的运行情况及现场操作过程中出现的问题,并给出解决方案,提出了该设备下一步的技术研究方向。     

小型中子管潘宁离子源磁路模拟设计

为改善潘宁离子源磁场均匀性和提高中子产额,通过模拟离子源内部磁场来设计磁路系统以改善粒子分布,获得阴极下方圆柱形磁体结构、阳极周围环形筒磁体结构、双磁环结构、多磁环结构、弧形环结构和加导磁结构等多种磁场模式设计结果及实验数据。实验表明模拟结果与实验数据符合较好;圆环形磁体比圆柱形磁体磁场分布更均匀;圆环数越多,磁场均匀效果越好;加导磁结构有明显固磁效果,可满足小型中子管潘宁离子源对磁场模式的要求。     

氮对含钒Q345钢组织和力学性能的影响

试验钢为含钒0.080%的Q345钢,氮含量按0%、0.022%、0.034%、0.042%逐渐升高。利用Thermo-Calc软件进行了热力学分析计算,结果表明:钢中不含氮时,V(C,N)在奥氏体中析出温度较低,为933℃,当钢中氮含量为0.042%时,在奥氏体中析出温度1 340℃。通过透射电镜,可以发现含钒Q345钢随着氮含量增高,钢中析出了大量的V(C,N)弥散在钢中,起到析出强化作用和细化晶粒作用。金相组织得到明显细化。增氮后钢的力学性能得到明显增强,不含氮时试验钢的屈服强度486 MPa,抗拉强度686 MPa,当氮含量为0.034%时,试验钢的屈服强度为610 MPa,抗拉强度732 MPa,钢的屈服强度提高了124 MPa。抗拉强度提高了46 MPa。并且通过拉伸断口判断,随着氮含量的增加,Q345钢的塑韧性得到增强。