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

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

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

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

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

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

一种改进的基于边界跟踪的粘连目标分离算法

在颗粒图像的自动分割中,经常遇到颗粒粘连、重叠在一起的现象,需要将它们分离为单个颗粒目标.基于边界跟踪的分离算法能够克服聚堆目标连接处的凹陷比较明显并且/或者在连接处存在灰度局部最小边缘的要求,取得了较好的分离效果.但对于某些中轴方向不是垂直或水平的聚堆目标,分割仍然不理想.为此,提出了一种改进的分离算法,该算法通过自动旋转聚堆目标区域使其中轴方向成垂直或水平来实现这种情况下的分离.实验结果表明该算法进一步提高了分离效果.     

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

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

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

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

Approximate Degree Reduction of Triangular Bezier Surfaces

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

大数据软件的机遇与挑战

 2019年，大数据、数据科学、机器学习、人工智能领域的研究与应用持续发展。物联网与传感设备的普及带来数据的爆炸性增长。大数据作为产业发展的创新要素，在数据科学与技术、商业模式、产业格局、生态价值与教育层面，均带来了新理念和新思维。大数据与人工智能的快速普及应用除了受数据量激增因素影响外，还有另外两方面因素影响：一是深度神经网络算法处理大规模非结构化数据集的能力越来越强；二是算力的飞跃。随着光刻技术进一步发展，终端设备和边缘设备的数据处理能力持续提高，云、端与边缘计算结合，实现低成本海量可用计算资源。     

采用加权选通信号的扫描自测试方法

提出了一种采用扫描选通信号基于扫描的自测试方法.各扫描链所对应的权值可通过该算法计算出.在这种测试模式下,测试响应的收集可能在任意时钟进行.该方法力求最大限度地提高数字系统内部节点的可控度和可观测度,从而在几乎不带来额外硬件开销的情况下获得尽可能高的故障覆盖率.实验证明,此方法取得了很好的效果.     

Loop细分曲面数控加工刀具轨迹的生成

细分曲面可以方便地表示任意拓扑结构的光滑曲面 ,正逐渐成为自由曲面造型的有力工具 ;细分曲面的加工是其工业应用的基础。给出一个用于 L oop细分曲面数控加工的无干涉刀具轨迹生成的实用算法 :首先在不考虑干涉的情况下 ,由 L oop细分曲面的初始控制网格直接计算生成刀触数据 ;然后通过对刀具干涉条件的分析 ,确定干涉区域 ,去除产生干涉的刀触点 ;最后将刀触数据转换为无干涉的刀位数据。该算法提供了对基于细分曲面表示的实际零件进行曲面加工的理论基础