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

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

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

基于关键姿态分析的运动图自动构建1321-1328

摘要：高结点聚合运动图（snaptogether motion graph,STMgraph）是刻画虚拟角色运动序列关系的一种结构化运动图.其特点是图中每个结点都包含多条与之相连的边,能够实现对虚拟角色的灵活控制.然而现有的高结点聚合运动图构建方法存在手工标注任务繁重、关键姿态提取结果不准确等问题.针对上述问题,提出了一种基于关键姿态分析的运动图自动构建新方法：通过维度约简和非参数密度估计分析样本数据的概率密度,获得一组关键姿态;然后通过分割获得运动片段,最后构建高结点聚合运动图.该方法不仅提高了关键姿态的提取精度,减少了构图过程的主观因素,同时提高了对虚拟角色控制的灵活性.实验结果表明了该方法的有效性.

基于相关向量机的图像阈值技术1329-1337

摘要：图像阈值化是一种直观有效的图像分割技术,在图像分析、模式识别及计算机视觉中具有重要应用.传统的阈值化方法通常基于某个特定的优化问题,需要在整个灰度范围内搜索最佳阈值（或阈值组合）.最近,基于支持向量回归（SVR）的多阈值分割算法,直接从支持向量（SV）中获得阈值信息,无需对图像施加任何先验假设,并避免了繁琐的优化过程.然而：1.如何从众多SV中获得可靠的阈值尚待解决（SVR阈值方法的公开问题）;2.虽然SVR阈值技术避免了传统多阈值算法可能出现的组合优化问题,但是其中超参数的选择往往需要耗时的交叉验证;3.算法在单峰直方图情形下失效.针对这些问题,并受相关向量机（RVM）方法的启发,提出了一种新的基于RVM的多阈值自动选择技术.由于RVM可以极大地约减＂SV＂数目,并且无需交叉验证进行参数调整,使得最终阈值的确定更加高效、可靠且异常容易;另外所提算法能有效地处理单峰直方图情形,使阈值分割具有更强的适应性.实验表明基于RVM的阈值技术不仅保留了SVR阈值技术的优点,而且解决了其中的公开问题,并显著地提高了算法的效率和适应能力.

基于升阶矩阵的有理曲面之间L_2距离计算1338-1345

摘要：计算曲线曲面之间的距离是几何设计与几何逼近的一个重要课题,如估计有理曲线曲面的降阶逼近和多项式逼近的误差时,需要一种简洁有效的方法来计算原曲线曲面和逼近曲线曲面间的距离.首先给出了基于升阶矩阵的两张有理B啨zier曲面的L2距离表示,然后利用这个L2距离表示和最小二乘法,对有理B啨zier曲面多项式逼近的误差作了明确而统一的度量.最后,基于Bernstein基与B样条基的相互转换,把有理B啨zier曲线曲面的L2距离表示简洁地推广到有理B样条曲线曲面.所得到的几个计算曲线曲面之间的L2距离的公式均可通过矩阵运算表示,十分利于程序的实现,有应用价值.最后还给了几个实例.

一种基于实体替换与小波均值的二维工程图盲水印算法1346-1353

摘要：提出了一种基于实体替换与小波均值的二维工程图盲水印算法.首先在保证工程图外观不变的情况下,将二维工程图中的直线替换成多段线,并提取多段线顶点坐标进行变换以获取旋转、平移和缩放不变性,然后对变换后的顶点坐标数据构造变换单元,对每个单元进行二维小波变换,最后在小波系数中嵌入水印.同时对水印信息采用混沌加密以提高水印的安全性.实验结果与分析表明：这种算法能够实现水印的盲提取,具有良好的不可见性和较高的运行效率,并对平移、旋转、均匀缩放、图形增加等攻击具有良好的鲁棒性,为二维CAD工程图的版权保护提供了一种新的方法.

人体运动仿真综述1354-1361

摘要：人体运动仿真是生物力学、机器人学和计算机科学交叉产生的研究领域,其目的是建立计算模型模拟人体在给定约束下自然真实的物理运动.与一般的人体动画相比,人体运动仿真要求合成的人体运动满足牛顿定律.因此,人体运动仿真除了可用于特效制作,还可用于物理任务的操作培训和学习等方面.首先介绍人体运动仿真的起源与典型应用,然后阐述人体运动仿真研究的关键技术.在关键技术介绍中,引入人体运动仿真研究中使用的人体简化几何模型和物理模型,然后将人体运动仿真方法分成两类：基于前向动力学方法与基于逆向动力学方法,并详细介绍它们的发展历程和最新研究进展.最后从交互动作的仿真、仿真结果验证等几方面讨论人体运动仿真未来可能的发展方向.

计算机研究与发展杂志人工智能

区间值信息系统的知识约简1362-1371

摘要：知识约简是粗糙集理论的重要研究内容之一.传统的知识约简主要针对单值信息系统,但在许多实际问题中,信息系统中的数据往往以区间值的形式存在,因此,区间值信息系统的知识约简研究具有重要意义.现有工作中,论域的分类结果存在冗余度大、误分率高等问题.针对上述问题,在区间值信息系统中引入了α-极大相容类的概念,并提出了新的粗糙上下近似算子,α-极大相容类的采用有效地提高了分类和粗糙近似精度.最后,给出了区间值信息系统知识约简的定义和相应区分函数的计算方法,为区间值信息系统的知识获取提供了一条新的途径.

简约支持向量聚类1372-1381

摘要：针对传统支持向量聚类（support vector clustering,SVC）的高耗费和低性能弊端,提出了简约支持向量聚类算法（reduced support vector clustering,RSVC）.RSVC的核心是简约策略和新的簇划分方法.前者是基于薛定谔方程而设计,提取对模型生成有重要意义的数据构成简约子集,并在此子集之上完成优化过程.后者提出并证明了高斯核函数特征空间的几何性质,并以此设计方法完成对数据簇的辨识任务.理论分析和实验结果表明,和同类算法相比,RSVC可更有效地解决两个弊端,在实际应用中取得良好的聚类效果.

基于自组织演化的多Agent可信联盟研究1382-1391

摘要：不同于现有采用博弈论的方法研究多Agent联盟技术,从联盟信任这一角度开展可信联盟研究,首先在历史合作信息的基础上构建个体信任度,在此基础上建立联盟信任度,进而形成可信联盟.通过联盟间的竞价协商来使得多个小规模的联盟合并成规模更大的联盟从而完成复杂的任务,刻画出联盟演化的自组织性并将信任贯穿于联盟的演化过程.为获得稳定的联盟,在联盟内部收益分配的机制上采用自由竞价与信任评估方式,最后在联盟收益分配结束后,通过信任修正来解决自由竞价中的欺诈行为,并同时获得数据隐私保护,使得联盟内部成员获得公平合理而又高效的分配机制.通过联盟信任,建立起分布式合作模型,可以大规模地降低计算复杂度和可控的风险收益,为动态联盟的稳定性提供有效保障.

一种针对弱标记的直推式多标记分类方法1392-1399

摘要：多标记学习主要解决一个样本可以同时属于多个类别的问题,它广泛适用于图像场景分类、文本分类等任务.在传统的多标记学习中,分类器往往需要利用大量具有完整标记的训练样本才能获得较好的分类性能,然而,在很多现实应用中又往往只能获得少量标记不完整的训练样本.为了更好地利用这些弱标记训练样本,提出一种针对弱标记的直推式多标记分类方法,它可以通过标记误差加权来补全样本标记,同时也能更好地利用弱标记样本提高分类性能.实验结果表明,该方法在弱标记情况下的图像场景分类任务上具有较好的性能提高.

基于多核学习的双稀疏关系学习算法1400-1406

摘要：在关系学习中样本无法在Rn空间中表示.与其他机器学习问题有很大不同,因为无法利用Rn空间的几何结构使得其解决异常困难.将多核学习方法用于关系学习中.首先,可以证明当用逻辑规则生成的核矩阵进行多核学习时,其他核都可以等价转化为线性核.在此基础上,通过用修正FOIL算法迭代生成规则,构造相应的线性核然后进行多核优化,由此实现了由规则诱导出的特征空间上的线性分类器.算法具有＂双稀疏＂特性,即：可以同时得到支持向量和支持规则.此外,可以证明在规则诱导出的特征空间上的多核学习可以转化为平方l1SVM,这是首次提出的新型SVM算法.在6个生物化学和化学信息数据集上与其他算法进行了对比实验.结果表明不仅预测准确率有明显提高,而且得到的规则集数目更小,解释更为直接.

计算机研究与发展杂志研发动态

IBM首个中文版专业社交网站1406-1406

摘要：目前，IBM公司了首个专门面向中国软件开发人员和IT专业人士的垂直社交网站（VSN）——MyDeveloperWorks中文版社交网站．该网站与IBM专门面向全球IT人员的世界一流社交网站MyDeveloperWorks一脉相承，它基于IBM的企业网络和协作技术LotusConnections，沿袭了其全球网站所具备的强大技术资源和最佳社交网站媒体（SNS）属性．MyDeveloperWorks中文版的全中文界面以及丰富的中文技术资源能够帮助中国用户在Web2．0环境中更加轻松地相互协作，推出更多基于开放标准的创新成果．当前，在垂直社交网站上与具有相同任务或目标的同行展开协作，实现web2．0环境下的开发创新，已经成为全球软件开发和IT专业领域的前沿趋势．这是因为开发人员希望能够迅速获得和集成所需行业信息，快速掌握适应主要IT和行业趋势所需要的技能，高效地和同行进行交流与协作．

欧洲千万亿次超级计算机合作发展计划启动1406-1406

摘要：欧洲千万亿次超级计算机合作发展计划日前在巴塞罗那启动，该计划旨在建立一个连接欧洲各种计算资源的基础设施，增强欧洲的超级计算能力．该计划主要参与国西班牙、法国、意大利和德国签署了有关合作章程．欧盟委员会和包括上述4个国家在内的20个欧洲国家，在欧洲高级计算合作关系联盟的框架内参与了这项计划．新计划将允许欧洲研究人员使用其他国家的超级计算机，通过每秒计算千万亿次的运算速度，

美国境内最大规模的云计算部署1406-1406

摘要：美国肯塔基州教育局近日证实已部署了微软的Live@edu服务，让该州逾70万名学生与教职员能够使用这项服务．此举是到目前为止美国境内最大规模的云计算部署行动．这是微软迎战GoogleApps所获得的一次重大胜利，对微软提供的Live@edu服务来说，也可能是重要的转折点．目前Live@edu的服务对象已扩及1100万人，遍布在全球130个国家、

IBM智慧系统倡导基于云的绿色节能1406-1406

摘要：作为IBM“智慧地球”的基础设施，智慧系统的核心理念是为工作负载而优化．它通过云架构的交付模式和绿色IT理念，是基于IBM从芯片到硬件、软件的系统整合设计推出的一个整体战略．IBM将围绕智慧系统进行全面整合创新，这里的整合创新不仅仅是在基础研究和开发领域，而是贯穿产品从设计到交付以及方案实施等各个环节．在创新的云架构方面，

Twitter有望近期推出分析产品1406-1406

摘要：日前，Twitter宣布收购数据分析创业企业Smallthought Systems，而现在担任Twitter工程师的SamHthcught联合创始人安德鲁·卡顿（AndrewCatton）则透露，Twitter即将推出分析工具．Smallthought最初开发的应用是帮助用户通过谷歌分（GoogleAnalytics）的数据来发现有意义的趋势，而被Twitter收购后，

计算机研究与发展杂志人工智能

类别不平衡的分类方法及在生物信息学中的应用1407-1414

摘要：提出一种处理正反例不平衡的分类方法,以解决生物信息学中的snoRNA识别、microRNA前体判别、SNP位点的真伪识别等问题.利用集成学习的思想,将反例集均匀分割并依次与正例集组合,得到一组类别平衡的训练集.然后对每个训练集采用不同原理的分类器进行训练,最后投票表决待测样本.为了避免弱分类器影响投票效果,结合AdaBoost思想,将每个分类器训练中产生的错误样本加入到下2个分类器的训练集中,既避免了AdaBoost的反复训练,又有效地利用投票机制遏制了弱分类器的影响.5组UCI测试数据和3组生物信息学实验证明了它在处理类别不平衡分类问题时的优越性.

计算机研究与发展杂志数据库技术

不确定数据库中基于x-tuple的高效Top-k查询处理算法1415-1423

摘要：Top-k查询由于其广泛的应用而倍受欢迎.不确定数据库中通常考虑的两条生成规则是：独立和互斥,一个x-tuple是由一些互斥的元组组成的,构成一个x-tuple的各个元组称为该x-tuple的可选元组.U-kRanks查询考虑x-tuple中每个可选元组排在前k的概率,并返回最可能排在前k的k个元组.已有的Top-k语义都没有将x-tuple作为一个整体,因此,定义了一种新的Top-k查询语义,不确定x-kRanks查询（U-x-kRanks）,该Top-k语义返回最可能排在前k的k个x-tuple而非元组.新语义考虑x-tuple中的每个可选元组位于前k的概率,并将之汇集,得到整个x-tuple位于前k的概率.提出了一种基于动态规划的有效算法处理U-x-kRanks查询,在最小的搜索空间内完成查询处理过程.不同数据集合上的综合实验显示,所提出的算法是高效的.

计算机研究与发展杂志形式语义

命题μ-演算全局模型检测的高效算法设计1424-1433

摘要：在Long,Browne,Jha和Marrero等人工作的基础上,详细分析了用Tarski不动点定理计算不动点交替嵌套深度为4的命题μ-演算公式的计算过程,找到了计算中间结果间具有的两组偏序关系,利用这两组偏序关系设计了一个高效的命题μ-演算全局模型检测算法,该算法与Long等人提出的算法有相似的时间复杂度（O（（2n＋1）-d/2-＋1）相对于O（n-d/2-＋1））,但空间复杂度有很大的改进（O（dn）相对于O（n-d/2-＋1））,其中n是变迁系统的状态规模,d是命题μ-演算公式中不动点算子的嵌套深度.算法性能的改进对于命题μ-演算模型检测技术的理论研究与实际推广应用都意义重大.