Block-based test data adequacy measurement criteria and test complexity metrics

On the basis of software testing tools we developed for progrmnming languages, we firstly present a new control flowgraph model based on block. In view of the notion of block, we extend the traditional program-based software test data adequacy measurement criteria, and empirically analyze the subsume relation between these measurement criteria. Then, we define four test complexity metrics based on block. They are J-complexity 0; J-complexity 1 ; J-complexity 1 ; J-complexity 2. Finally, we show the Kiviat diagram that makes software quality visible.     

MM教育方式下常微分方程教学实验研究

研究高师MM教育方式下常微分方程教学实验方案的设计框架、实施措施和效果分析，初步摸索出一条MM方式下“问题探究型”(创设问题情景——巧用思想方法——探究‘自主发现’——推证新知结论——获得‘问题解决’——开发实际应用)的创新教学途径。     

2007首届技术转移发展论坛在京举行

2007年年底，由科技部火炬中心、中科院北京分院、中关村管委会联合主办的“2007首届技术转移发展论坛”在京举行。北京市委常委、北京市科教领导小组副组长朱善璐，中科院党组成员、副秘书长何岩，科技部火炬中心主任梁桂等，以及来自科技部、中科院和北京市的政府官员、专家、企业家及国内外知名技术转移机构代表参加了论坛。     

HPLC法测定小儿导赤片中大黄素含量

目的:建立用高效液相色谱(HPLC)法测定小儿导赤片中大黄素的含量.方法:采用HPLC法,色谱柱为Agilent ZORBAXSB-C18(4.6mm×150 mm,5μm),流动相为甲醇-0.1%磷酸水溶液(80:20),流速为1.0 ml/min,柱温为30℃,检测波长为254nm.结果:大黄素在0.04～0.4μg(r=0.999 9)范围内有良好的线性关系.大黄素平均回收率分别为98.25%.结论:该方法操作简便、快速、结果准确可靠.     

抓住即时,活跃课堂——课堂即时性教学探寻

语文课堂是一个充满着无限生命力的地方,它随时都有智慧的火花存在。教师在教学过程中就要随时把握住这一教育契机,对学生进行点拨、指导、熏陶。这就是一种教学艺术。对课堂教学中的即时性教学火花,教师必须在教学实践中不断摸索,敢于创新,探求各种行之有效的方法。     

高职音乐教育现存问题及对策思考

音乐教育是素质教育的重要组成部分。高职音乐教育应以审美为导向，重在培养学生兴趣和修养。通过对高职音乐教育存在问题的研究，我们应重视以下方面：端正学与教思想；灵活教学，不拘于教材知识；培养学生兴趣和修养，促进音乐之外课程的学习。     

DRM单频网规划与实现

DRM是频率在30MHz以下的数字广播系统,抗多径衰弱和干扰强,适合实现单频网,本文在DRM单频网仿真分析的基础提出了网络规划策略,描述了实现发射机时延校正方法.     

向太阳飞去的勇士——爱丁顿

古希腊神话中有两位勇士,他们给自己装上了翅膀。一位成功地飞越了海洋;一位却向着太阳飞去,结果固着翅膀的蜡被阳光烤化,落回地上。人们对成功者赞赏倍至,但爱丁顿认为失败者更值得钦佩。     

浅析地籍测量及成图方法

对目前我国地籍测量试点区测图方法进行了有代表性的具体归纳,并对其成图精度进行了比较,在此基础上分析了各种成图方法之优劣及各自适用范围,以便各种测量方法在成图过程中发挥最佳效益。