混合触发的并行程序过程重现技术研究与实现

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

利用DirectX技术再现载机飞行过程

在机载测量设备飞行试验中,载机的飞行姿态和航迹对设备的测量精度影响很大。本文研究了如何使用微软DirectX9.0中的Direct3D、DirectDraw、DirectSound等技术再现载机飞行过程,利用Visual C++和DirectX SDK实现了真实感较强的实时图形仿真。通过在地面PC机上重现载机飞行过程,可以减少试验飞行架次,降低试验成本。

语文教学中实施学生发展性评价的探索

在初中语文教学中实施学生发展性评价,要以促进学生健康发展为目的,重视过程,关注差异,体现以人为本的教学新理念,体现"一切为了孩子"的教育宗旨,推动素质教育的不断深入。

保费依赖向后重现时间过程风险模型的破产概率上界(英文)

本文研究带利率的风险模型,它的索赔计数过程是一个更新计数过程,保费收入依赖于向后重现时间过程.通过鞅方法和递推技术,得到破产概率的两个指数型上界.最后,还研究了几个具体的例子,并且给出上界的数量比较.

浅议现代教育技术在数学课堂教学中的应用

将现代教育技术运用到数学教学中,不仅将抽象的数学概念形象、直观、生动地展现在学生面前,还能利用多媒体的记忆存储能力使教学过程重现,有助于教学难点的突破,使教学的反馈环节效果更加显著;而且利用多媒体网络信息容量大的特点,丰富教学内容,拓宽知识层面,提高学生获取信息的能力。多媒体教学使学生的综合能力和创造能力得到了培养,符合新课程标准的要求,学生将会受益终身。