Approximate Degree Reduction of Triangular Bezier Surfaces

ＡｐｐｒｏｘｉｍａｔｅＤｅｇｒｅｅＲｅｄｕｃｔｉｏｎｏｆＴｒｉａｎｇｕｌａｒＢｅｚｉｅｒＳｕｒｆａｃｅｓ＊ＨｕＳｈｉｍｉｎ（胡事民）,ＺｕｏＺｈｅｎｇ（左征）,ＳｕｎＪｉａｇｕａｎｇ（孙家广）ＤｅｐａｒｔｍｅｎｔｏｆＣｏｍｐｕｔｅｒＳｃｉｅｎｃｅａｎ...     

基于角色的可信数字版权安全许可授权模型

为解决数字版权管理(DRM)仅支持静态的预先许可授权在许可控制方面无法确保被保护资源被非法使用问题,提出了基于角色的可信数字版权安全许可授权模型(rDRM),通过对DRM“主体客体条件约束权限”的定义,建立支持角色的许可授权机制,给出了版权安全许可授权、收权和迁移策略,以内容版权许可管理有限状态机实现许可状态的动态控制和许可状态管理。基于角色的rDRM许可授权模型具有很强的灵活性和易管理性,适用于具有较多用户且有着不同权限层次的授权管理,防止数字内容的非法复制和扩散。     

面向对象的软件测试技术探讨

面向对象软件的特征是程序具有更好的结构和更规范的编程风格,但在很大程度上又增加了软件测试的复杂性,给软件测试带来了新的挑战．通过分析面向对象软件的特点及其对软件测试的影响,讨论了面向对象软件测试的内容、测试层次及类级、类族级和系统级的测试方法．     

一个小型机上的通用电路分析程序-GCAPN

众所周知，电路分析技术是电路设计师强有力的工具，在小型机上实现电路分析程序将更有利于它的广泛应用。本文介绍的 ＧＣＡＰＮ是运行在具有磁盘操作系统 ＲＤＯＳ的ＤＪＳ—１３０机（或ＮＯＶＡ机）上的通用电路分析程序，该机具有３２Ｋ内存，字长为１６位。 ＧＣＡＰＮ有一个直观易学的输入语言，采用了“改进节点法”建立电路方程，应用稀疏矩阵技术和隐式变步长的积分方法来求解方程组。程序中对“改进节点法”作了若干改进，并采用了适于小型机特点的数据结构和软件技术。另外，程序中还备有ＭＯＳ和双极型晶体管的模型。用ＧＣＡＰＮ可以进行直流、交流和瞬态分析     

一种改进的自动规划GUI测试用例生成方法

在分析使用AI规划方法生成GUI测试用例方法的基础上,提出了一种基于权重的AI规划生成GUI测试用例方法。通过利用权重区分GUI事件序列重要程度,在此基础上将事件划分成不同子集,以决定测试用例的生成次序,使生成的测试用例更合理．从而提高GUI测试效率。实验结果表明,应用此方法在相同的测试用例数下能发现更多的错误。     

矩形域上张量积 Bézier 曲面的分段定理

利用计算机辅助几何设计（ＣＡＧＤ）中使用最广泛的参数曲面之一Ｂｚｉｅｒ曲面的算子表示与重新参数化技巧，给出定义在矩形域内任一四边形上的子曲面片的张量积Ｂｚｉｅｒ表示，其Ｂｚｉｅｒ控制顶点可从原曲面的控制顶点由显式的公式计算。Ｂｚｉｅｒ曲面传统的离散方法与广义离散方法均为该文的特例。     

基于自由度分析的装配求解实现

装配求解是装配设计的重要内容，目的是利用装配约束信息求解有关实体的位置和方向．本文针对传统装配求解方法的不足，提出了一种基于自由度分析的装配求解方法，它充分利用了装配约束的几何信息，增量式添加约束，同时不断修正所记录的相应装配实体的运动自由度，并通过自由度求出装配实体的转换矩阵．本文具体描述了方法实现的有关结构和装配的推理方法     

基于形式规约的软件测试用例自动生成技术研究

在Hierons提出的一种基于Z语言软件自动测试方法的基础上进行了拓展．该方法基于软件的Z语言规约;以HierOns提出的推理规则为基础,提出了分裂树的算法,将操作模式的约束条件转换为形如ViPi∧Qi的析取范式;然后根据析取范式将Z语言描述的操作模式划分为子操作模式;依据子操作模式的前置条件和后置条件,将子操作模式作为状态转换图的转换关系,构建了被测试软件的状态转换图;依据状态转换图,提出了相应的状态覆盖准则、转换关系覆盖准则和转换关系谓词覆盖准则等测试数据选择准则．     

铍青铜大规格棒材超声波探伤技术研究

随着我国航空、航天、石油、化工等行业的飞速发展,对其用铍铜合金加工材质量的要求日益提高,超声波探伤技术作为铍铜合金加工材的主要质量控制方式日渐重要。本文介绍了铍铜合金大规格棒材超声探伤技术的原理和方法、超声探伤特性及其加工材的常见缺陷类型。并对有缺陷产品的缺陷进行解剖、分析和总结。     

基于扩展的EDPN的类的交互测试用例生成技术的研究

针对类交互测试的正交阵列测试系统(OATS)生成测试用例的方法存在类的状态盲目组合而导致测试用例“爆炸”以及受标准正交阵列的影响使得选择的正交阵列不易扩充等问题,扩展了事件驱动的Petri网(EEDPN)模型,提出了类的状态组合的标记关联递推法生成交互路径,得到了扩展的正交阵列测试系统(EOATS)的类交互测试用例的生成方法,优化了OATS,分析了该方法在类的交互测试技术中的覆盖率问题,讨论了其生成扩展的正交阵列表的充分性。