公共文化服务平台

计算机软件新技术国家重点实验室: 作品数：339 被引量：2,186H指数：23; 相关作者：陈贵海戴海鹏陶传奇胡伟刘望舒更多>>; 相关机构：南京大学南京航空航天大学宁波大学更多>>; 发文基金：国家自然科学基金江苏省自然科学基金国家高技术研究发展计划更多>>; 相关领域：自动化与计算机技术电子电信文化科学医药卫生更多>>

合作机构

适应用户兴趣变化的改进型协同过滤算法被引量：13: 2016年; 协同过滤算法可以根据用户的历史行为记录去预测其可能喜欢的物品,是现在业界应用极为广泛的推荐算法。但传统的协同过滤算法并没有考虑到用户兴趣的概念漂移,在一些基于时间的协同过滤算法中对推荐时效性的考虑也有所欠缺。针对这些问题,结合用户兴趣随时间转移的特点,改进了相似度的度量方法,同时引入一种增强的时间衰减模型来度量预测值,并将这两种方式有机地结合起来,解决了用户兴趣的概念漂移问题并考虑了推荐算法的时效性。仿真实验中,分别在不同的数据集中对比了该算法与User CF、TCNCF、PTCF以及TimeSVD++算法的预测评分准确度和TopN推荐准确度。实验结果表明,改进算法能够降低预测评分的均方根误差(RMSE),并在TopN推荐准确度上均优于对比算法。; 胡伟健滕飞李灵芳王欢; 关键词：协同过滤个性化推荐用户兴趣欧氏距离

优化分类型神经网络线性集成被引量：17: 2005年; 构造多神经网络集成系统,系统的输出由个体神经网络的输出线性加权产生.提出了一种度量个体神经网络在不同的权重下集成性能的判别函数,函数表示了由个体神经网络输出刻画的模式类内会聚性和类间散布性.应用遗传算法解决了求解最优个体网络集成权重问题.分析了该判别函数的合理性及其与Bayes决策规则的关系.用两个手写体汉字特征数据集和4个UCI数据库中的数据集比较了所提出的神经网络集成方法和其他几种神经网络集成方法的性能.; 王正群陈世福陈兆乾; 关键词：神经网络神经网络集成分类器遗传算法

日汉网络翻译浏览器设计与实现: 讨论日汉网络翻译浏览器设计的难点问题及解决方法。包括：在windOWs95环境下实现日、中、英多国语支撑环境；日汉翻译系统的设计：动态获取网络上HTML页面原码的技术；网络浏览器功能的实现；HTML页面的分析和版面还原，...; 胡海文王启祥; 关键词：机器翻译网络浏览器

基于智能分组策略的XML关键字查询算法: 2016年; XML关键字查询作为一种信息检索方式,一直是相关领域的热点研究问题。在经典查询语义SLCA的基础上,设计并实现了一种基于智能分组策略的XML关键字查询的优化算法。提出的算法通过合理的分组策略可以保证在运算过程中及时去除组内祖先节点和重复节点,减少了大量冗余计算,提高了算法的效率。最后设计多组实验在不同的XML数据上进行测试,实验结果表明了该算法的有效性和高效性。; 张永李泉霖刘博; 关键词：扩展标记语言关键字查询

自动分析递归数据结构的归纳性质被引量：2: 2018年; 提出了一种对递归数据结构的归纳性质进行自动化分析的框架.工作分为3个主要部分.首先,它将递归数据结构的归纳性质分为两个主要类别,并提出对应的处理模式,从而帮助简化对于程序中的递归数据结构上的相关性质的分析.其次,提出了一种称为分割与拼接的技术来发现和描述递归数据结构是如何被程序修改的:递归数据结构首先被分割为若干个互不相交的片段,然后,这些片段以新的方式重新拼接在一起,形成一个新的数据结构.这个技术的重点在于如何将程序原有的性质保留下来,从而为后面的分析过程所使用.最后,提出了一种调用上下文敏感的程序摘要过程间分析方法.案例分析和实验结果表明:分析框架可以有效地分析递归数据结构的归纳性质,并生成对程序证明过程有用的断言.; 汤震浩李彬翟娟翟娟; 关键词：过程间分析

自动合成数组不变式被引量：2: 2018年; 提出了基于抽象解释框架自动合成数组程序不变式的方法,它能够分析按照特定顺序访问一维或者多维数组的程序,然后合成不变式.该方法将性质(包括区间全称量词性质和原子性质)集合作为抽象域,通过前向迭代数据流分析合成数组性质.证明了该方法的正确性和收敛性,并通过一些实例展示了该方法的灵活性.开发了一种原型工具,该工具在各种数组程序(包括competition on software verification中的array-examples benchmark)上的实验展示了方法的可行性和有效性.; 李彬翟娟汤震浩汤恩义赵建华

SMap:基于语义的关系数据库模式与OWL本体间映射方法被引量：5: 2012年; 伴随语义网的发展,语义网本体数量激增.然而万维网上绝大多数的数据仍存储在关系数据库中.建立关系数据库模式与语义网本体间的映射是一种实现两者之间互操作性的有效途径.因此,提出了一种基于语义的关系数据库模式与OWL本体间的映射方法SMap,包含简单映射发现和复杂映射学习两个阶段.在简单映射发现阶段,首先通过逆向工程规则将关系数据库模式和本体中的元素对应地分为不同类别,再为每个元素构建虚拟文档并计算它们之间的相似度,其中针对不同类别的元素设计了不同的虚拟文档抽取方案.在复杂映射学习阶段,基于已发现的简单映射以及重叠的数据库记录和本体实例,自动化地生成训练事实数据,然后运用归纳逻辑编程算法学习出多种类型的基于Horn规则的复杂映射.真实数据集上的实验结果表明,SMap在简单映射发现和复杂映射学习上均明显优于现有的关系数据库模式与本体间映射方法.; 贾存鑫胡伟柏文阳瞿裕忠; 关键词：本体映射关系数据库虚拟文档归纳逻辑编程

融合特征选择的Android恶意逃避攻击研究被引量：2: 2021年; 机器学习系统以其强大的自适应性、自学习能力,越来越多的应用到Android恶意软件检测领域,取得了显著的检测效果.然而,机器学习算法和样本本身还面临着诸多安全威胁,一些经过精心策划的攻击,希望颠覆这些算法并允许恶意行为对抗检测.首先以Drebin系统为例介绍了基于机器学习的Android恶意软件检测方法的原理,然后在攻击目标、攻击策略的基础了提出了针对机器学习分类器的逃避攻击模型.在综合考虑特征权重、可修改性、修改成本的基础上,提出了一种恶意对抗样本生成方法.实验结果表明,只需要修改很少量的特征,就能够逃避线性SVM分类器的检测,最后用一个具体的恶意样本逃避实例验证了提出方法的有效性.; 陈镭杨章静黄璞; 关键词：支持向量机

一种基于特征矩阵的软件脆弱性代码克隆检测方法被引量：12: 2015年; 提出了一种基于特征矩阵的软件代码克隆检测方法.在此基础上,实现了针对多类脆弱性的检测模型.基于对脆弱代码的语法和语义特征分析,从语法分析树抽取特定的关键节点类型描述不同的脆弱性类型,将4种基本克隆类型细化拓展到更多类,通过遍历代码片段对应的语法分析树中关键节点的数量,构造对应的特征矩阵.从公开漏洞数据库中抽取部分实例作为基本知识库,通过对代码进行基于多种克隆类型的聚类计算,达到了从被测软件代码中检测脆弱代码的目的.与基于单一特征向量的检测方法相比,对脆弱性特征的描述更加精确,更具有针对性,并且弥补了形式化检测方法在脆弱性类型覆盖能力上的不足.在对android-kernel代码的测试中发现了9个脆弱性.对不同规模软件代码的测试结果表明,该方法的时间开销和被测代码规模成线性关系.; 甘水滔秦晓军陈左宁王林章; 关键词：脆弱性检测代码克隆特征矩阵

采用2 b深度像素的弹性运动估计算法被引量：1: 2019年; 为降低传统弹性运动估计的计算复杂度,提出一种2 b深度像素的弹性运动估计方法.首先,利用Prewitt算子提取视频帧的梯度,借助梯度模长的均值和标准差将像素深度从8 b降采样为2 b.其次,引进基于位操作的矩阵乘法和基于比较操作的偏导运算,提出了2 b深度像素的弹性运动模型以及求解该模型的简化高斯牛顿法,避免了黑塞矩阵及其逆矩阵的重复计算.同时,采用1阶线性逼近,得出阻尼步长与运动向量增量、运动补偿误差之间的函数关系以及初始步长的近似计算策略,进而以菱形搜索为初始搜索,给出了2 b深度像素的弹性运动模型的快速求解算法.实验表明:该算法的平均峰值信噪比和计算效率明显优于8 b全搜索、2 b全搜索和传统8 b弹性运动估计.; 宋传鸣闵新谢维冬尹宝才王相海; 关键词：视频编码

计算机软件新技术国家重点实验室

合作机构

文献类型

领域

主题

机构

作者

传媒

年份

用户反馈

计算机软件新技术国家重点实验室

合作机构

文献类型

领域

主题

机构

作者

传媒

年份

用户登录

用户反馈