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.     

网上学生思想政治工作的特点与实践

调研学生的心理状况,结合网络教育从事辅导员工作的实践,指出适应网络时代教育发展做好学生思想政治工作的根本要求.     

高校新生心理适应期的现状分析及对策思考

对于刚刚跨入大学校门的新生而言,全新的环境与中学时代相比,都发生了很大的变化,"适应理论"认为,个人对环境不适应时会呈现出种种问题行为,这就使得他们必将经历一段艰难的心理适应期.本文旨在就高校新生如何顺利实现心理适应期的角色的转换谈谈自己的拙见.     

聚醚型脂肪族聚氨酯预聚体的制备

以ＨＤＩ为异氰酸酯组分，制备聚醚型脂肪族聚氨酯预聚体。对聚醚脱水条件，反应温度和时间，以及预聚体的一些性能进行了探索。     

一类新的非线性混合拟变分包含的灵敏性分析

研究了一类新的非线性混合拟变分包含的灵敏性问题，通过使用预解算子及不动点技巧，证明了这类含参数的变分包含的解的存在唯一性及连续性，推广了近期有关文献的一些结果。     

倒向重随机微分方程

在任意给定的时间区间上，一类倒向重随机微分方程的系数仅满足局部Lipschitz条件，得到了解的全局存在唯一性结果．     

大学英语听力课堂教学结构优化设计

听力课堂教学改革关键在于引入教学设计。本文对听力课堂教学中预听活动、操练活动等教学环节的内容、媒体、方法等进行了系统设计 ,旨在寻求一种实效的听力课堂教学模式 ,求教于同行专家     

Dynamic Allocation Strategy Based on Pre-allocation and Agent to Implement Ada95‘s Distributed Computing

This paper discusses the model of how the Agent is applied to implement distributed computing of Ada95 and presents a dynamic allocation strategy for distributed computing that based on pre-allocationand Agent. The aim of this strategy is realizing dynamic equilibrium allocation.     

心肌动作电位对心脏节律的影响

采用数值方法分析心肌动作电位对心脏节律的影响。心肌动作电位用Noble模型来描述，心脏节律用Bernardo-Signorint模型来模拟。数值分析结果表明，心肌动作电位形成的靶环波和螺旋波对心脏节律影响较大。当心肌动作电位表现为噪声时，心脏节律可完全破坏。