排序方式: 共有31条查询结果,搜索用时 15 毫秒
1.
2.
基于角色的可信数字版权安全许可授权模型 总被引:4,自引:0,他引:4
为解决数字版权管理(DRM)仅支持静态的预先许可授权在许可控制方面无法确保被保护资源被非法使用问题,提出了基于角色的可信数字版权安全许可授权模型(rDRM),通过对DRM“主体客体条件约束权限”的定义,建立支持角色的许可授权机制,给出了版权安全许可授权、收权和迁移策略,以内容版权许可管理有限状态机实现许可状态的动态控制和许可状态管理。基于角色的rDRM许可授权模型具有很强的灵活性和易管理性,适用于具有较多用户且有着不同权限层次的授权管理,防止数字内容的非法复制和扩散。 相似文献
3.
众所周知,电路分析技术是电路设计师强有力的工具,在小型机上实现电路分析程序将更有利于它的广泛应用。本文介绍的 GCAPN是运行在具有磁盘操作系统 RDOS的DJS—130机(或NOVA机)上的通用电路分析程序,该机具有32K内存,字长为16位。 GCAPN有一个直观易学的输入语言,采用了“改进节点法”建立电路方程,应用稀疏矩阵技术和隐式变步长的积分方法来求解方程组。程序中对“改进节点法”作了若干改进,并采用了适于小型机特点的数据结构和软件技术。另外,程序中还备有MOS和双极型晶体管的模型。用GCAPN可以进行直流、交流和瞬态分析 相似文献
4.
一种改进的基于边界跟踪的粘连目标分离算法 总被引:1,自引:0,他引:1
在颗粒图像的自动分割中,经常遇到颗粒粘连、重叠在一起的现象,需要将它们分离为单个颗粒目标.基于边界跟踪的分离算法能够克服聚堆目标连接处的凹陷比较明显并且/或者在连接处存在灰度局部最小边缘的要求,取得了较好的分离效果.但对于某些中轴方向不是垂直或水平的聚堆目标,分割仍然不理想.为此,提出了一种改进的分离算法,该算法通过自动旋转聚堆目标区域使其中轴方向成垂直或水平来实现这种情况下的分离.实验结果表明该算法进一步提高了分离效果. 相似文献
5.
利用计算机辅助几何设计(CAGD)中使用最广泛的参数曲面之一Bzier曲面的算子表示与重新参数化技巧,给出定义在矩形域内任一四边形上的子曲面片的张量积Bzier表示,其Bzier控制顶点可从原曲面的控制顶点由显式的公式计算。Bzier曲面传统的离散方法与广义离散方法均为该文的特例。 相似文献
6.
基于形式规约的软件测试用例自动生成技术研究 总被引:1,自引:0,他引:1
在Hierons提出的一种基于Z语言软件自动测试方法的基础上进行了拓展.该方法基于软件的Z语言规约;以HierOns提出的推理规则为基础,提出了分裂树的算法,将操作模式的约束条件转换为形如ViPi∧Qi的析取范式;然后根据析取范式将Z语言描述的操作模式划分为子操作模式;依据子操作模式的前置条件和后置条件,将子操作模式作为状态转换图的转换关系,构建了被测试软件的状态转换图;依据状态转换图,提出了相应的状态覆盖准则、转换关系覆盖准则和转换关系谓词覆盖准则等测试数据选择准则. 相似文献
7.
针对类交互测试的正交阵列测试系统(OATS)生成测试用例的方法存在类的状态盲目组合而导致测试用例“爆炸”以及受标准正交阵列的影响使得选择的正交阵列不易扩充等问题,扩展了事件驱动的Petri网(EEDPN)模型,提出了类的状态组合的标记关联递推法生成交互路径,得到了扩展的正交阵列测试系统(EOATS)的类交互测试用例的生成方法,优化了OATS,分析了该方法在类的交互测试技术中的覆盖率问题,讨论了其生成扩展的正交阵列表的充分性。 相似文献
8.
一种尺寸自动布局算法 总被引:8,自引:0,他引:8
在由三维模型自动生成二维工程图的过程中 ,可以根据三维模型的信息实现在二维工程图上的自动尺寸标注。然而这些自动标注尺寸往往十分杂乱 ,无法满足尺寸布局的要求。在对尺寸和视图进行几何简化的基础上 ,建立了尺寸布局的几何模型。针对工程图中大量存在的水平尺寸和竖直尺寸 ,提出了一种基于尺寸子集划分的自动布局算法。在寻找最佳尺寸布局时采用了模拟退火算法。该方法已在自行研制的三维 CAD系统中实现 相似文献
9.
Loop细分曲面数控加工刀具轨迹的生成 总被引:2,自引:0,他引:2
细分曲面可以方便地表示任意拓扑结构的光滑曲面 ,正逐渐成为自由曲面造型的有力工具 ;细分曲面的加工是其工业应用的基础。给出一个用于 L oop细分曲面数控加工的无干涉刀具轨迹生成的实用算法 :首先在不考虑干涉的情况下 ,由 L oop细分曲面的初始控制网格直接计算生成刀触数据 ;然后通过对刀具干涉条件的分析 ,确定干涉区域 ,去除产生干涉的刀触点 ;最后将刀触数据转换为无干涉的刀位数据。该算法提供了对基于细分曲面表示的实际零件进行曲面加工的理论基础 相似文献
10.