检索结果-内蒙古大学图书馆

计算机技术与发展 2014年第2期24卷 19-24页

作者：程佳朱敏柏文阳南京大学计算机软件新技术国家重点实验室江苏南京210023 南京大学计算机科学与技术系江苏南京210023

随着语义网数据规模的爆炸式增长,海量数据存储和检索面临越来越严峻的挑战,分布式数据库与并行计算已成为其主要解决方案。基于列存储分布式数据库HBase设计了一种多表语义网数据存储模型,实现从OWL本体定义到存储模型的映射。基于OWL... 详细信息

随着语义网数据规模的爆炸式增长,海量数据存储和检索面临越来越严峻的挑战,分布式数据库与并行计算已成为其主要解决方案。基于列存储分布式数据库HBase设计了一种多表语义网数据存储模型,实现从OWL本体定义到存储模型的映射。基于OWL本体定义信息对语义网数据实现按类划分,并将三元组存储于主体所属于的类的两张表里,采用MapReduce框架实现并行的数据划分和加载任务,最后在Hadoop集群环境下对方法进行了可行性验证。

关键词：语义网网络本体语言列存储并行计算

来源：评论

学校读者我要写书评

暂无评论

使用动态规划识别自由手绘流程图

使用动态规划识别自由手绘流程图

引用

第十届中国计算机图形学大会暨第十八届全国计算机辅助设计与图形学会会议

作者：施大鹏陈泉冯桂焕骆斌南京大学软件学院江苏南京 210093 计算机软件新技术国家重点实验室江苏南京 210093

使用纸笔可以比使用软件更加轻松的记录下人们的创造性思维,不过使用纸笔生成的草图却很难进行数字化存储与编辑的操作.草图识别技术可以有效解决这一问题.本文主要解决了手绘流程图的自动识别问题.我们的方法以动态规划为基础,分为生... 详细信息

使用纸笔可以比使用软件更加轻松的记录下人们的创造性思维,不过使用纸笔生成的草图却很难进行数字化存储与编辑的操作.草图识别技术可以有效解决这一问题.本文主要解决了手绘流程图的自动识别问题.我们的方法以动态规划为基础,分为生成假设、识别假设以及组合假设三个阶段.使用了WEKA作为分类工具,选择了Random Forest作为具体的分类算法,没有对用户的书写顺序设置约束,实现自由手绘.使用了FCinkML数据库作为测试平台,选取了其中的177张流程图作为测试样本.实验结果中符号的识别率为63.40％、笔画的识别率为76.25％.结果证明我们的方法可以实现流程图的识别,不过在精度上存在较大的改进空间.

关键词：手绘流程图自动识别动态规划分类算法精度控制

来源：评论

学校读者我要写书评

暂无评论

测试用例演化研究进展

引用

软件学报 2013年第4期24卷 663-674页

作者：张智轶陈振宇徐宝文杨瑞计算机软件新技术国家重点实验室(南京大学) 江苏南京210093 南京大学软件学院江苏南京210093

由于功能增加、性能调优、错误修复等原因,软件常常动态演化.现有测试技术难以满足软件演化过程中变化的测试需求,因此需要系统的测试用例演化技术,以有效保障演化软件的质量.回顾测试用例演化技术的研究现状,分别对测试用例选择、测试... 详细信息

由于功能增加、性能调优、错误修复等原因,软件常常动态演化.现有测试技术难以满足软件演化过程中变化的测试需求,因此需要系统的测试用例演化技术,以有效保障演化软件的质量.回顾测试用例演化技术的研究现状,分别对测试用例选择、测试用例修复和测试用例集扩增这3部分内容进行了详细的比较和分析.最后提出测试用例演化技术领域存在的挑战和未来的研究方向.

关键词：软件演化回归测试测试用例选择测试用例修复测试用例集扩增

来源：评论

学校读者我要写书评

暂无评论

计量管理信息系统中的数据库安全

引用

计算机与现代化 2014年第1期 182-185,191页

作者：倪庆毛宇光南京航空航天大学计算机科学与技术学院江苏南京210016 南京大学计算机软件新技术国家重点实验室江苏南京210093

当前信息安全越来越引起人们的重视,本文在介绍计量信息管理系统的架构设计、开发环境和功能模块设计的基础上,重点讨论数据库的安全问题。系统采用ASP+IIS+SQL Server 2005平台架构,结合数据库技术和Web技术,从网络系统层次、操作系统... 详细信息

当前信息安全越来越引起人们的重视,本文在介绍计量信息管理系统的架构设计、开发环境和功能模块设计的基础上,重点讨论数据库的安全问题。系统采用ASP+IIS+SQL Server 2005平台架构,结合数据库技术和Web技术,从网络系统层次、操作系统层次和数据库管理系统层次等多方面进行安全性分析,采用用户身份认证、防火墙技术、基于角色的访问控制、数据加密、审计追踪与入侵检测、防数据库下载和防SQL注入攻击等技术对数据库进行保护。

关键词：计量信息管理系统数据库数据库安全

来源：评论

学校读者我要写书评

暂无评论

微内核用户级驱动设计与实现

引用

软件导刊 2014年第9期13卷 72-74页

作者：官水旺南京大学计算机科学与技术系软件新技术国家重点实验室江苏南京210023

随着IT技术的不断发展,出现了越来越多的新设备,操作系统为了保持对这些新设备以及已有老设备的支持,其内核就要加入越来越多的驱动代码,驱动代码的加入使得原本已经复杂的内核更加庞大,且这些代码可能潜伏着许多漏洞,威胁系统安全。而... 详细信息

随着IT技术的不断发展,出现了越来越多的新设备,操作系统为了保持对这些新设备以及已有老设备的支持,其内核就要加入越来越多的驱动代码,驱动代码的加入使得原本已经复杂的内核更加庞大,且这些代码可能潜伏着许多漏洞,威胁系统安全。而微内核系统将设备驱动独立于用户空间,不再处于内核中,使得设备驱动不会影响到内核的安全,这种设计对于减少系统安全威胁帮助很大。

关键词： VTOS微内核系统操作系统驱动限制

来源：评论

学校读者我要写书评

暂无评论

基于数据流的测试用例自动生成研究

引用

计算机技术与发展 2014年第9期24卷 1-5页

作者：戴翔毛宇光吴非薛一帆南京航空航天大学计算机科学与技术学院江苏南京210016 南京大学计算机软件新技术国家重点实验室江苏南京210093

目前的数据流测试技术存在缺乏具体的数据驱动方法,测试用例的生成过程没有与测试需求结合起来等问题。基于此,文中提出一种自动生成测试用例的模型(TRGA),利用控制流图(CFG)计算生成测试用例所需的变量的定义使用对,使用数据类型结构图... 详细信息

目前的数据流测试技术存在缺乏具体的数据驱动方法,测试用例的生成过程没有与测试需求结合起来等问题。基于此,文中提出一种自动生成测试用例的模型(TRGA),利用控制流图(CFG)计算生成测试用例所需的变量的定义使用对,使用数据类型结构图(DTG)来作为创建测试对象的数据驱动,利用遗传算法的搜索能力来生成数据,并提出了一种新的适应度计算方法。实验结果表明,该模型能够在减少搜索时间,降低生成测试用例规模的同时达到较高的测试覆盖率。

关键词：数据流控制流图数据类型结构图适应度测试用例

来源：评论

学校读者我要写书评

暂无评论

一种基于自生成样本学习的奖赏塑形方法

引用

软件学报 2013年第11期24卷 2667-2675页

作者：钱煜俞扬周志华计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

强化学习通过从以往的决策反馈中学习,使Agent做出正确的短期决策,以最大化其获得的累积奖赏值.以往研究发现,奖赏塑形方法通过提供简单、易学的奖赏替代函数(即奖赏塑性函数)来替换真实的环境奖赏,能够有效地提高强化学习性能.然而奖... 详细信息

强化学习通过从以往的决策反馈中学习,使Agent做出正确的短期决策,以最大化其获得的累积奖赏值.以往研究发现,奖赏塑形方法通过提供简单、易学的奖赏替代函数(即奖赏塑性函数)来替换真实的环境奖赏,能够有效地提高强化学习性能.然而奖赏塑形函数通常是在领域知识或者最优策略示例的基础上建立的,均需要专家参与,代价高昂.研究是否可以在强化学习过程中自动地学习有效的奖赏塑形函数.通常,强化学习算法在学习过程中会采集大量样本.这些样本虽然有很多是失败的尝试,但对构造奖赏塑形函数可能提供有用信息.提出了针对奖赏塑形的新型最优策略不变条件,并在此基础上提出了RFPotential方法,从自生成样本中学习奖赏塑形.在多个强化学习算法和问题上进行了实验,其结果表明,该方法可以加速强化学习过程.

关键词：奖赏塑形自生成样本策略不变强化学习

来源：评论

学校读者我要写书评

暂无评论

基于信息流的整数漏洞插装和验证

引用

软件学报 2013年第12期24卷 2767-2781页

作者：孙浩李会朋曾庆凯计算机软件新技术国家重点实验室(南京大学) 江苏南京210093 南京大学计算机科学与技术系江苏南京210093

为降低整数漏洞插装验证的运行开销,提出基于信息流的整数漏洞插装方法.从限定分析对象范围的角度出发,将分析对象约减为污染信息流路径上的所有危险整数操作,以降低静态插装密度.在GCC平台上,实现了原型系统DRIVER(detect and run-time... 详细信息

为降低整数漏洞插装验证的运行开销,提出基于信息流的整数漏洞插装方法.从限定分析对象范围的角度出发,将分析对象约减为污染信息流路径上的所有危险整数操作,以降低静态插装密度.在GCC平台上,实现了原型系统DRIVER(detect and run-time check integer-based vulnerabilities with information flow).实验结果表明,该方法具有精度高、开销低、定位精确等优点.

关键词：整数漏洞信息流污点分析插装

来源：评论

学校读者我要写书评

暂无评论

基于Group Lasso的多源电信数据离网用户分析

引用

南京师范大学学报（工程技术版） 2014年第4期14卷 77-83页

作者：孙良君范剑锋杨琬琪史颖欢高阳周新民中博信息技术研究院有限公司江苏南京210012 南京大学计算机软件新技术国家重点实验室江苏南京210046 江苏省公安厅物证鉴定中心江苏南京210024

随着行业竞争愈演愈烈,电信企业的客户流失情况越来越严重,给电信企业造成了巨大损失.通过电信企业的数据来做离网用户的预测,从而进一步作出挽留客户的正确决策,成为电信企业日益关注的问题.面对电信后台汇总的多源数据,经分析发现其... 详细信息

随着行业竞争愈演愈烈,电信企业的客户流失情况越来越严重,给电信企业造成了巨大损失.通过电信企业的数据来做离网用户的预测,从而进一步作出挽留客户的正确决策,成为电信企业日益关注的问题.面对电信后台汇总的多源数据,经分析发现其呈现天然的组结构.为了选择对于离网类别最具判别性的特征,本文使用了一种基于Group Lasso的组特征选择方法,在此基础上用交叉验证法选择适当的特征组,最终将选择出的少量组特征用于预测离网和停机的宽带用户.实验表明,在江苏某地级市电信离网用户分析数据中取得了比其他特征选择方法的精度平均高至少10%的预测性能.

关键词：电信企业客户流失多源数据特征选择 Group Lasso

来源：评论

学校读者我要写书评

暂无评论

基于流程挖掘的决策支持方法

引用

计算机集成制造系统 2013年第8期19卷 1755-1770页

作者：胡海洋张笑菲胡华葛季栋杭州电子科技大学计算机学院浙江杭州310018 南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学软件学院江苏南京210093 南京理工大学高维信息智能感知与系统教育部重点实验室江苏南京210094

为了提高业务流程的执行效率,考虑工作流执行过程中存在的各种约束条件对工作流决策支持的影响,研究了如何将工作流中各种约束条件考虑在内的决策支持方法,并侧重考虑时间约束和成本约束。首先扩展了传统Petri网,研究了一种增加工作流... 详细信息

为了提高业务流程的执行效率,考虑工作流执行过程中存在的各种约束条件对工作流决策支持的影响,研究了如何将工作流中各种约束条件考虑在内的决策支持方法,并侧重考虑时间约束和成本约束。首先扩展了传统Petri网,研究了一种增加工作流中资源信息描述的、可扩展的业务流程表示模型——时间资源Petri网模型。在此基础上提出一种资源分配优化方法,利用业务流程中存在的多种约束条件,对使用TRPN模型表示的业务流程进行资源优化分配,以在满足当前工作流约束条件的基础上提高流程执行的效率。通过具体的实验分析,验证了所述方法的正确性和有效性。

关键词：资源管理流程挖掘约束条件过程优化

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：