摘要：在超方体Qn的路分解的研究中,证明了Qn存在{Pn+1}-分解的定理;分别给出了Qn存在{P4}-分解的充分必要条件和存在{P3,P4}-分解的充分条件;结合超方体的性质和路分解结论,设计出超方体的路分解算法程序。

摘要：投影时序逻辑是一种具有离散时间模型的时序逻辑,其部分子集又是一种程序设计语言,可处理顺序和并发计算.文章讨论应用投影时序逻辑对数字系统进行形式描述和验证的方法,该方法可在数字系统的不同层级设计过程中,使用投影时序逻辑对其系统行为和性质进行形式化的描述及验证,从而提高系统设计的可信性.

摘要：以问题为中心的情境式教学原理为基本思想,设计了求条件极值的一个教学案例,即攀岩问题。在此案例中,以攀岩为情境,通过问题构建、探索交流、解决问题、效果评价、拓展反思等几个环节,阐述如何将实际问题转化为数学问题,并利用拉格朗日乘数法解决问题的教学过程。