摘要：为了实现并行程序的过程重现复现初始执行时的错误,对源程序进行词法语法分析,在此基础上建立确定性复现所需的信息模板;基于信息模板通过插桩技术实现基于时间和事件混合触发的记录,并设计自适应动态采样周期和记录信息约简方法;基于混合触发实现程序执行时序的确定性以及初始输入的确定性记录,并在Eclipse环境下实现相应的并行程序过程重现插件。试验验证混合触发的记录方式在回放的一致性、记录阶段的开销方面比现有的单一触发具有较好的优势。

摘要：针对水下航行器尾部结构振动声辐射控制难题,以锥柱组合结构为研究对象,开展水下航行器尾部结构振动声辐射特性研究。首先,基于声固耦合方法,计及流体负载的影响,建立结构振动声辐射评估模型;在此基础上,开展垂向激励力作用下锥柱组合结构振动声辐射特性研究,探究舱壁、环肋和纵向加强筋等结构形式对锥柱组合结构振动声辐射的影响规律。研究表明,1~400 Hz频段,在激励位置附近增设舱壁、适当增加环肋数目可改变结构频谱特性,并有效降低幅值响应,而增设纵向加强筋对结构振动声辐射特性影响不大。

摘要：并行程序的应用在提高程序运行效率的同时,也带来了不确定性的错误.这种错误往往难以复现,传统的调试工具越发难以满足并行程序的调试需求.据此提出了一种面向并行程序错误检测以及确定性回放的方法,针对并行程序中容易发生的数据竞争、死锁、原子性违反这几类错误进行检测判断;对并行程序的运行进行插桩以保证程序重复执行时的次序一致.在此理论基础上设计实现了Eclipse插件.通过试验,该工具可以对并行程序易发的错误进行有效的检测判断,较大程度地减少程序调试的工作量.