计算机研究与发展杂志 北大期刊 CSCD期刊 统计源期刊

计算机研究与发展 2005年第11期杂志 文档列表

计算机研究与发展杂志人工智能与模式识别

定性Dempster-Shafer理论1833-1842

摘要：采用一个全序的符号值集合来代替数值信任度集合[0,1],提出定性Dempster-Shfer理论来处理既有不确定性又有不精确性的推理问题.首先,定义了适合对不确定性进行定性表达和推理的定性mass函数、定性信任函数等概念,并且研究了这些概念之间的基本关系;其次,详细讨论了定性证据合成问题,提出了基于平均策略的证据合成规则.这种定性Dempster-Shfer理论与其他相关理论相比,既通过在定性领域重新定义Dempster-Shfer理论的基本概念,继承了Dempster-Shfer理论在不确定推理方面的主要特点,同时又具有适合对不精确性操作的既有严格定义又符合直观特性的定性算子,因此更适合基于Dempster-Shafer理论框架不精确表示和处理不确定性.

基于描述逻辑的Agent组织1843-1848

摘要：描述逻辑是基于对象的知识表示形式.已有的描述逻辑没有考虑组织目标,不适合描述多Agent组织模型.针对这个问题,首先给出多Agent组织的模型,结合组织目标考虑组织、子组织之间的关系.基于此模型,提出描述逻辑ALCA框架,用以描述结合目标任务的多Agent组织,证明了ALCA是可判定的,给出一个ALCA的可满足性判定算法.最后通过一个例子说明ALCA的描述性.

中国计算机学会人工智能与模式识别专业委员会第1届Agent理论与应用学术会议（Agent’2006）征文通知1848-1848

一个基于多阶段的多Agent多问题协商框架1849-1855

摘要：多问题协商是电子交易中的关键问题.多Agent技术的不断成熟为这个问题的解决提供了有效的途径.提出了一个以理性Agent为基础的基于多阶段的多问题协商框架,该框架在时间约束下适用于信息不完全的场景,它描述了多问题的价格协商.为了降低多问题协商的复杂性,它将多问题协商分解为多阶段协商,每个阶段的大小(问题数)相同.阶段数和顺序在协商前确定,每个阶段中的问题顺序在协商中确定.在阶段大小相同的情况下,对给定协商问题的分解,框架能给出优化协商议程(agenda).尤其是框架能为参与协商的Agent建立学习系统(LS),以增强Agent的学习能力.最后基于这个框架实现了一个原型系统,原型系统证明这个框架是有效的.

第23届中国数据库学术会议NDBC2006征文通知1855-1855

获胜者确定问题的建模与启发式算法1856-1861

摘要：获胜者确定问题是组合拍卖机制的核心问题.因此,对基于OR与XOR标集的获胜者确定问题建立了0-1规划模型,并且提出了免疫算子与单亲算子相结合的启发式算法.提出多个启发式规则以扩大标比较范围,并应用在预处理中缩减解空间.设计了多个评价函数评估标的优劣,从而将特征知识引入到免疫算子中.仿真实验表明,对大规模问题的求解具有良好的寻优效率和求解质量,免疫算子对达优率和收敛速度都有着明显的提升作用.

SPW／ProSim 2006国际研讨会征文通知1861-1861

局部线性与One-Class结合的科技文本分类方法1862-1869

摘要：结合了局部线性和One-Class的思想对科技文本分类问题进行了研究,利用局部线性的思想寻找文本样本的内在支撑流形,利用One-Class的思想确定正负样本的分界面.与K近邻算法、线性SVM算法和One-Class问题的SVM算法相比,给出的科技文本分类方法具有分类精度高、参数估计简便、正负样本分类精度可控制等优点,为解决科技文献的分类问题提供了一条有效的途径.

基于曲线拟合的手形生物特征认证新算法1870-1875

摘要：针对手形的特点和现有手形认证方法的不足,提出了一种基于曲线拟合的手形生物特征认证新算法.该算法使用手指轮廓拟合曲线的系数作为手形的特征,使用曲线距离函数进行匹配认证,进一步导出基于曲线系数进行求解的简化方法.实验表明,该算法的认证错误接收率和错误拒绝率之和达到1%以下;与现有的手形认证方法相比,该算法在认证的准确率、鲁棒性和运算量方面具有良好的综合性能.

中国计算机学会电子政务与办公自动化专委会全国首届语义Web与本体论学术研讨会（SWON2006）征文通知1875-1875

计算机研究与发展杂志图形与图像处理

混合视频编码控制中一种新的自适应Lagrange乘数选取模型1876-1881

摘要：目前广为采用的Lagrange乘数选取模型λ=cQ2(平方模型SM)是在基于乘数λ为独立于失真D和比特率R的常数这一假定而得出的.但实际上根据实验观察和理论分析可知,相对于D和R乘数λ不能看做是独立的常数.基于这一命题,从理论推理的角度提出了新的乘数模型(二次函数-对数模型QLM).该模型相对于平方模型,理论上更为合理,而且实验分析也表明,采用该模型后R-D性能得到了提高(平均提高0.03dB),从而证明了所提模型的合理性.

小波滤波器低功耗并行的VLSI结构设计1889-1895

摘要：提出一种基于行和提升算法,实现JPEG2000编码系统中的小波正反变换(discrete wavelettransform)的低功耗、并行的VLSI结构设计方法.利用该方法所得结构一次处理两行数据,分时复用行处理器,使行处理器内以及行、列处理器实现并行处理,且最小化行缓存.对称扩展通过嵌入式电路实现,整个结构采用流水线设计方法优化,加快了变换速度,增加了硬件资源利用率,降低了功耗,效率几乎达到100%.小波滤波器正反变换结构已经经过FPGA验证,可作为单独的IP核应用于正在开发的JPEG2000图像编解码芯片中.

基于图像特征和超混沌迭代的图像认证算法1896-1902

摘要：提出了一种基于图像特征和超混沌迭代的图像认证算法.该算法从原始图像的小波分解中提取低频分量,并从其边缘中找出稳定的特征点,结合水印图像信息进行超混沌迭代得到索引集,版权者和第三信任方用私钥将索引集进行数字签名和加盖时间戳.水印的认证利用了第三信任方和版权者的公钥,而不需要原始图像参与.研究结果表明:该算法对噪声、滤波、压缩、旋转等图像处理方法具有较好的鲁棒性.

一种基于加权色彩直方图的快速图像检索方法1903-1910

摘要：传统的基于颜色直方图的彩色图像检索方法的缺陷非常明显.首先是数据存储和运算量大,更重要的是在光照条件改变的情况下,图像检索效果不理想.为克服此缺陷,提出了一种基于加权色彩直方图的快速图像检索方法,它利用光照不变性模型,消除光照变化对图像的影响,并对归一化后的二维色彩直方图图像在加权后进行子波变换和DCT压缩,其中根据色彩直方图图像的像素点对应色彩值在原始图像中所占的比例,对该像素点的灰度值进行加权.实验结果表明,此方法不仅检索效果比传统方法有所提高,同时图像检索的平均耗时也大大降低.

中国计算机学会全国第5次程序设计语言发展与教学学术会议征文通知1910-1910

一种新的多普勒中心频率实时估计算法1911-1917

摘要：针对可编程器件实现合成孔径雷达多普勒中心频率实时估计问题,提出了复符号估计算法.新算法利用合成孔径雷达回波先验零均值圆对称复高斯分布统计特性,运用复反正弦定律非线性估计回波相关值,降低了多普勒中心频率估计复杂度,适合硬件实现.分析和仿真结果表明,与已有的符号多普勒中心频率估计算法相比,复符号多普勒中心频率估计算法不但大大降低了运算量和相应硬件的实现面积,提高了整个多普勒中心频率估计运算部件的运行效率,而且具有与其相当的估计性能.

计算机研究与发展杂志信息安全

基于比特承诺的计算安全量子密码协议1918-1923

摘要：比特承诺是重要的密码学元素,在复杂密码协议设计(如:零知识证明)中扮演着重要角色.Mayers,Lo和Chu分别独立证明了所有无条件安全的量子比特承诺方案都是不安全的,即著名的Mayers-Lo-Chau不可行定理.但这并不排除存在计算安全的量子比特承诺.2000年,Dumais等人给出了一个基于计算假设的量子单向置换可以用于构造计算安全的比特承诺方案.利用纠错码的方法,把量子比特承诺扩展成量子多比特承诺方案,并证明了所给方案的隐蔽性质和约束性质.以比特承诺方案为基础,给出了量子数字签名和量子加密认证方案的设计方法,并给出了协议的安全性证明.

对两个防欺诈秘密共享方案的安全性注记1924-1927

摘要：在(t,n)秘密共享体制中,秘密分配者将一个秘密信息分成n个秘密片断,然后让n个保存者每人保留一个片断.当需要恢复秘密信息时,任意t个秘密保存者拿出他们持有的秘密片断后,就可按既定的公开算法恢复出该秘密.在秘密恢复阶段,如何有效地鉴别每个秘密片断的真假是一个重要的研究问题.最近,费如纯等学者提出了两个基于RSA和单向函数的防欺诈秘密共享方案.但他们的方案实际上不具备防欺的功能,因为不良的秘密保存者可以非常容易地伪造假的、但能满足检验等式的秘密片断.由此导致的后果是,被欺骗的诚实保存者误以为恢复出的秘密信息是正确的.