基于活动对象的面向对象测试策略研究

提出基于活动对象的面向对象测试策略，给出三种覆盖标准，用以处理由面向对象新特性带来的问题。其中，所有定义-使用对覆盖标准主要用于指导测试设计者设计验证对象生存期的动态行为的测试用例；所有绑定覆盖标准主要用于解决继承和多态问题，以及执行了哪个绑定；所有交互覆盖标准主要用于解决方法间的数据共享问题。     

用变分法计算介质覆盖微带线的特征阻抗和有效介电常数

本文介绍了采用变分法计算介质覆盖微带线的特性阻抗和有效介电常数的方法．计算结果与文献中的实测值一致．     

最小度和[a,b」——覆盖图

设 a≤ b是整数,G=(V(G),E(G))是一个图G的一个支撑子图F称为G的一个[a,b]—因子,若对任意的v∈V(G),有a≤d_F,(v)≤b.图G称为是[a,b]—覆盖图,若对G的每一条边,存在G的一个[a,b]）—因子包含它,本文给出了一个图是[a,b]—覆盖图的关于最小度的充分条件,证明了下列结果;设1≤an (a b)-2(bn-1)~(1/2)则G是一个[a,b]—覆盖图.     

邻域并和[A,B]—覆盖图

设ａ≤ｂ是整数，Ｇ＝（Ｖ（Ｇ），Ｅ（Ｇ）是一个图。Ｇ的一个支撑子图Ｆ称为Ｇ的一个［ａ，ｂ］－因子，若对任意的υ∈Ｖ（Ｇ）有ａ≤ｄＦ（υ）≤ｂ，图Ｇ称为是［ａ，ｂ］－覆盖图，若对Ｇ的每一条边，存在Ｇ的一个［ａ，ｂ］－因子包含它。本文给出了一个图的［ａ，ｂ］－覆盖图的关于领域并的充分条件，得到了下列结果：设１≤ａ〈ｂ是整数，Ｇ是一个阶为ｎ的图，最小度δ（Ｇ）≥α且ｎ≥２（ａ＋ｂ）（ａ＋ｂ－１）１／ｂ如     

纳米科学与技术的发展与展望

<正> 纳米科学与技术(简称纳米科技)是80年代后期发展起来的,面向21世纪的综合交叉性学科领域,是在纳米尺度上新科学概念和新技术产生的基础。它把介观体系物理、量子力学、混沌物理等为代表的现代科学和以扫描探针显微技术、超微细加工、计算机等为代表的高技术相结合,在纳米尺度上(0.1nm到100nm之间)研究物质(包括原子、分子)的特性和相互作用,以及利用原子、分子及物质在纳米尺度上表现出来的特性制造具有特定功能的产品,实现生产方式的飞跃。     

覆盖平面上给定点集的最小凸多边形的算法

研究求覆盖平面上给定的若干个点的最小凸多边形的算法．给出了两种算法，讨论了算法的基本思想，描述了算法步骤，得出了算法的时间复杂度．结果表明，算法的平均计算时间复杂度为平面上给定点的数量的线性函数，即为Ο（ｎｍ），在最坏情况下可为Ο（ｍ２）     

矿用牙轮钻头原理图生成的数学模型

根据矿用牙轮钻头的布齿原则，利用坐标变换的方法，建立了其生成原理图的数学模型，并开发了相应的ＣＡＤ软件．该软件还可进行覆盖系数分析，提供优化布齿的依据     

覆盖同伦定理的有关讨论

覆盖空间的理论不仅在拓朴学中,而且在一些相关学科如微分几何,李群,黎曼曲面的理论中都有着重要的作用.覆盖同伦定理是覆盖空间的理论中的一个重要定理.但此定理的条件在一些著作中有着不同的规定.本文主要指出了[1]中的覆盖同伦定理的条件不充分,并补充了定理的条件.     

异步时序逻辑电路的最小时钟覆盖设计法

通过引入动态，静态迁移符号，提出了设计异步时序逻辑电路的新方法──最小时钟覆盖法，并举例说明了其应用．