简介：基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑（GlobalTemporalLogic）GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。
简介：衡量体育教学质量的方法很多,但运动量和练习密度的安排是其中应考虑的最重要的因素。目前,体育发达国家都很重视对体育课练习密度与运动量的研究,我国早在本世纪五十年代就运用运动量和练习密度的测定结果作为分析、衡量体育教学质量高低的重要依据。到了90年代,随着体育教学研究的不断深入,运动量和练习密度对体育教学的评价作用就更加重要了。笔者试图通过对我院88级体育班在博乐实习期间部分课的练习密度和运动量的分析和评价,从中找出我们体育教学中存在的主要问题,并提出改进的建议,以明确今后教学工作的努力方向。
基于全局时态逻辑(GTL)的验证和测试生成研究
体育实习课练习密度和运动量的调查与分析
