一种面向Android平台的多媒体数字版权管理系统

  

针对移动终端多媒体音视频数字版权保护问题,设计了一种面向Android平台的数字版权保护方案。该方案采用3DES加密算法,并将数字许可证与移动终端设备硬件绑定,实现了多媒体安全播放和使用控制,以及终端设备间的数字权利分享。实验结果表明,该方案安全性高、加解密速度快,使用控制功能满… …   相似文献

王真  张志勇  常亚楠 《计算机科学》2014,41(5):129-132,142

线性序约束关系的无损连接分解^*

下载全文  

对线性序约束数据库中的数据依赖和无损连接分解进行了研究.介绍了线性序约束数据库的一些基本概念,提出了线性序约束关系中多区域存在依赖和分组多区域存在依赖的概念,证明了变量集满足变量独立和多区域存在依赖是进行模式无损连接分解的充要条件.探讨了变量集在坐标线性变换下保持良性分解的情形.… …   相似文献

范志新  施伯乐 《软件学报》1999,10(1):29-34

公式分层的谓词模态逻辑

下载全文  

由于必然模态词□的引入,谓词模态逻辑的公式在一个可能世界中的真假值可能依赖于其可达的可能世界.在谓词模态逻辑中存在个体跨可能世界相等问题.针对这一问题,Lewis提出了对应物理论,并且在对应物理论中用对应物关系来表示个体跨可能世界相等.但是,当一个对象具有一个以上的对应物时,谓词模态逻辑中的跨可能世界相等关系无法与对应物关系建立一一对应.通过限制谓词模态逻辑中全称量词∀的范围,给出了一种公式分层的谓词模态逻辑.它是谓词模态逻辑的一个子逻辑,并且其语言与谓词模态逻辑的语言是相同的.但其公式是分层定义的,使得∀可以出现在□的范围内,并且□不能出现在∀的范围内.由于任意形如∀x□φ（x）的表达式都不是该逻辑的公式,以量词开头的公式在一个可能世界w中的真假值只依赖于w,该逻辑避免了个体跨可能世界相等问题.给出了该逻辑的语言、语法和语义,并证明了该逻辑是可靠的和完备的.… …   相似文献

孙梅莹  邓少波  陈博  曹存根  眭跃飞 《软件学报》2014,25(5):1014-1024

计算机多用户系统负载测试软件的研究与设计

  总被引：2，自引：0，他引：2

随着软件对企业及人们日常生活的影响日益广泛, 可靠性要求不断加强, 自动化测试工具的研发成了全球软件业的热点。基于计算机多用户系统, 介绍一种负载测试软件的体系结构, 阐述其四大模块: 记录软件、负载发生器、监控软件、报告软件的功能和特点; 给出关键模块的框架设计以及关键技术的实… …   相似文献

余庆春  周怀北  高山 《计算机应用研究》2005,22(3):72-73

基于对称物体的3维重构技术研究

  

3维重构理论与技术是计算机视觉领域最重要的热点问题之一,而基于单幅图像的3维重构由于缺乏足够的几何信息而难以达到预期效果,已成为世纪性难题。针对大部分物体具有对称性特征,或可分解为有限个对称物体元的客观事实,提出基于透视逆变换原理,首先建立包含摇角、倾角、摆角等三元的透视变换矩阵… …   相似文献

于永彦  于长辉 《中国图象图形学报》2008,13(11):2197-2203

最大节约原则下单倍型推导问题的实用算法

下载全文  总被引：1，自引：1，他引：0

在疾病的易感基因研究和药物反应实验中,常常需要知道单倍型,而不仅仅是基因型数据.但是直接通过生物学实验手段来测定单倍型在时间和成本上消耗过大,所以在实验室里往往仅测得基因型,而通过一些计算手段来推导出单倍型.不同于Clark著名的单倍型推导模型,Gusfield和Wang等人提出… …   相似文献

张强锋  车皓阳  陈国良  孙广中 《软件学报》2005,16(10):1699-1707

基于软件自动修复评估缺陷定位技术的工具:GenProg-FL

  

虽然缺陷定位技术和软件错误自动修复技术已经得到一定的发展,但是软件的修复工作仍然需要程序员投入大量的时间和精力。大多数开发者仍然使用传统调试技术(例如断点)来进行手工的调试,缺陷定位技术的研究成果并没有较好地运用到实际的修复工作中。近来,软件错误自动修复技术得到了快速的发展和广泛… …   相似文献

纪涛  齐玉华  毛晓光 《计算机科学》2014,41(9):88-90,124

一种正态分布下的动态推荐信任模型

下载全文  总被引：2，自引：0，他引：2

建立基于连续过程的推荐信任模型,描述间接信任这种最复杂的信任关系,在保障开放环境的安全和开放系统的可靠运行方面有着重要意义.通过量化间接信任影响因素,运用分级剪枝方法过滤推荐信息,将结果作为正态过程的采样样本,计算获取后验分布期望的Bayesian估计值.在此基础上,详细阐述信任… …   相似文献

邵堃  罗飞  梅袅雄  刘宗田 《软件学报》2012,23(12):3130-3148

控制点误差传播模型及其应用

下载全文  

为了获取遥感影像几何纠正误差空间分布情况,提出一种纠正控制点误差传播模型。该模型首先定义了控制点误差,然后按照控制点误差造成纠正模型参数估计的不确定,通过纠正模型传递至整个区域的建模思路构建了控制点误差传播模型。为将模型推广至更一般的情况,定义了表观控制点误差对误差传播模型进行修… …   相似文献

尤淑撑  刘顺喜 《中国图象图形学报》2011,16(3):469-473

基于DNA折纸术求解图的顶点着色问题的方法

  

该文基于DNA折纸术,设计了一个通过DNA折纸结构的自组装求解图的顶点着色问题的方法.利用DNA折纸术可以构建出具有特定形状的DNA折纸结构.这些结构可以用来编码图的顶点和边,由于这些结构具有粘性末端,因此可以通过特异的分子杂交组装成为代表了不同的图的顶点着色方案的高级结构.利用… …   相似文献

麻晶晶  许进 《电子与信息学报》2022,43(6):1750-1755

基于图像匹配的户外环境注册算法

  

为实现高速鲁棒的户外增强现实系统,提出了一种新的基于图像匹配算法的解决方案,同时描述了系统框架和工作原理,并在景深远小于物距的近似条件下,提出了一种基于全局视频信息的注册方法,即将环境注册问题通过基于快速傅里叶变换的图像匹配算法来实现。该方法先对当前摄像机摄入的图像和系统预存图像… …   相似文献

林倞  王涌天  刘越  郑伟 《中国图象图形学报》2005,10(9):1146-1151

基于可重用方法的库与应用程序接口开发环境

下载全文  总被引：1，自引：0，他引：1

当前,开发以数据库为核心的集成化ＣＡＤ系统已迫在眉睫,为支持这种集成化,提供一个能自动生成数据库和应用程序之间接口的开发环境是很重要的手段之一．本文在分析了这种接口程序的功能和一般结构以后,提出了一个基于可重用方法的库与应用程序接口开发环境的总体模型──ＤＤＢＵＩＳ,试图结合两种… …   相似文献

杨家海  柳西玲 《软件学报》1995,6(1):26-32

一种基于背景声音识别的社会情境感知方法

下载全文  

随着社会需求的不断扩大及技术的不断发展,人与人之间的社会交互也越来越多.理解社会交互特征并能感知用户所处的社会情境语义（如在开会、在上课）,对于促进和辅助用户社会活动具有重要意义.从背景声音的角度对社会交互进行理解,目的是通过对背景声音差异性特征的提取,识别用户所处的社会情境.提… …   相似文献

杨曜  郭斌  於志文 《软件学报》2013,24(S2):24-31

准完全最大距离伪随机测试研究

  

对超大规模集成电路进行随机测试的测试码之间的距离作了定量分析,在此基础上,改进了最大距离随机测试算法中测试码的生成方法,使得所生成的伪随机测试码集合同时达到最大海明距离与近似最大笛卡尔距离。因此每一个测试码可以尽可能多地独立检测到更多不重复的故障。进而提出了准完全最大距离测试新算… …   相似文献

邬晟峰  吴悦  徐拾义 《计算机科学》2014,41(5):50-54,63

基于C—Tree的无级比例尺GIS多边形综合技术

  总被引：6，自引：0，他引：6

无级比例尺GIS是数字地球和Web GIS的核心技术之一,但随着GIS的广泛应用和深入发展,现有的GIS技术已经不能满足信息社会的需要,其中一个需要解决的重要问题就是GIS的空间数据量如何随着比例尺的变化自动增减。针对无级比例尺GIS多边形综合中的选取与合并技术,在对选取的数量规… …   相似文献

田鹏  郑扣根  张寅  潘云鹤 《中国图象图形学报》2001,6(8):765-770

一个基于Web的工作流管理系统

下载全文  总被引：23，自引：2，他引：23

Internet/Intranet/WWW技术的日渐成熟以及资源、应用的日益丰富,为工作流管理系统的构造提供了一个理想的计算环境.在这种易于访问、无处不在的计算环境中,人们可以通过工作流管理系统将各种分布式的信息资源有效地集成、协调起来,以促使企业业务目标的高效实现.文章描述了一… …   相似文献

史美林  杨光信  向勇  伍尚广 《软件学报》1999,10(11):1148-1155

乘积合并接收的差分跳频通信系统在瑞利衰落信道上抗部分频带干扰的性能分析

下载全文  总被引：1，自引：0，他引：1

该文介绍了一种新型短波跳频通信技术差分跳频,频率转移函数设计和信号的检测方法是差分跳频中的关键技术。在瑞利衰落信道上,在有部分频带干扰和加性高斯白噪声共存的条件下,采用乘积合并接收的方法,对差分跳频通信系统的误符号性能进行了理论分析,同时做出相应的计算机仿真。结果证实了,在瑞利衰… …   相似文献

陈智  李少谦  董彬虹 《电子与信息学报》2007,29(5):1163-1167

运用H.264/AVC宏块编码特征的低复杂度率

下载全文  

分析H.264/AVC各帧间编码模式与最佳模式编码同一宏块（MB）时在比特率、参考帧选择及CBP（coded block pattern）上具有的相似性,对MB各最佳编码模式的比特率和CBP分布进行了统计,根据统计结果分析出比特率和CBP相结合能对编码模式进行比较准确的区分定位。… …   相似文献

张庆明  彭强 《中国图象图形学报》2011,16(5):733-739

自适应加权镜像阈值层叠滤波器

  

与传统的阈值层叠滤波器相比,镜像阈值层叠滤波器不仅具有低通滤波的特性,还具有带通和高通的特性。但由于镜像阈值层叠滤波器比传统的阈值层叠滤波器的正布尔函数长度有显著增加,从而使计算量增加,为解决这一问题,提出了一种镜像自适应加权（MAW）算法。该方法充分考虑了镜像阈值分解的特点,并… …   相似文献

崔颖  赵春晖  汤春明  张健沛 《中国图象图形学报》2009,14(7):1279-1283

点到邻域重心距离特征的点云拼接

下载全文  总被引：3，自引：2，他引：1

不规则曲面的拼接是3维拼接中的难点,提出采用不规则曲面点与其一邻域点重心间的距离作为刚性特征对点云进行粗配准,使用迭代最邻近点算法和刚性特征进行精配准。实验结果表明,刚性特征迭代最邻近点算法的误差收敛速度显著提高。当点云为重心距离大于10的差姿态时,该算法与不进行粗配准的迭代最邻… …   相似文献

辛伟  普杰信 《中国图象图形学报》2011,16(5):886-891