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

软件学报 2015年第2期26卷 269-278页

作者：陈鑫姜鹏张一帆黄超周岩计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学计算机科学与技术系江苏南京210023

列车控制系统是一种安全攸关系统,为保证其安全性,要求测试过程对安全攸关场景中所有可能的运行进行完全的覆盖.现有的场景建模与测试用例自动生成方法不能完全满足这一技术需求.围绕列车控制系统的安全攸关场景建模以及测试用例自动生... 详细信息

列车控制系统是一种安全攸关系统,为保证其安全性,要求测试过程对安全攸关场景中所有可能的运行进行完全的覆盖.现有的场景建模与测试用例自动生成方法不能完全满足这一技术需求.围绕列车控制系统的安全攸关场景建模以及测试用例自动生成方法展开研究,对UML活动图扩充了事件驱动机制和时间特性描述机制,以满足对安全攸关场景建模的需要,提出了简单路径覆盖准则以定义对场景中所有运行的完全覆盖,并针对这一覆盖准则给出了自动生成测试用例的方法.以地铁列车控制系统为研究对象展开实验,表明了该方法的有效性和局限性.

关键词：安全攸关场景场景建模简单路径覆盖测试用例自动生成

来源：评论

学校读者我要写书评

暂无评论

中英命名实体识别及对齐中的中文分词优化

引用

电子学报 2015年第8期43卷 1481-1487页

作者：尹存燕黄书剑戴新宇陈家骏南京大学计算机软件新技术国家重点实验室江苏南京210023 南京大学计算机科学与技术系江苏南京210023

中文分词结果对中英命名实体识别及对齐有着直接的影响,本文提出了一种命名实体识别及对齐中的中文分词优化方法.该方法利用实体词汇的对齐信息,首先修正命名实体识别结果,然后根据实体对齐结果调整分词粒度、修正错误分词.分词优化后... 详细信息

中文分词结果对中英命名实体识别及对齐有着直接的影响,本文提出了一种命名实体识别及对齐中的中文分词优化方法.该方法利用实体词汇的对齐信息,首先修正命名实体识别结果,然后根据实体对齐结果调整分词粒度、修正错误分词.分词优化后的结果使得双语命名实体尽可能多地实现一一对应,进而提高中英命名实体翻译抽取和统计机器翻译的效果.实验结果表明了本文优化方法的有效性.

关键词：分词命名实体识别双语对齐机器翻译

来源：评论

学校读者我要写书评

暂无评论

代价敏感的局部判别嵌入人脸识别算法

引用

计算机辅助设计与图形学学报 2015年第7期27卷 1304-1312页

作者：杨萌马小虎张哲来苏州大学计算机科学与技术学院苏州215006 南京大学计算机软件新技术国家重点实验室南京210023

局部判别嵌入算法寻求最高的正确识别率时假设所有的错误分类具有相同的错分代价,然而这个假设在现实的人脸识别系统中往往是不成立的,因为不同的错误分类将会导致不同的错分代价.为此,提出一种代价敏感的局部判别嵌入算法.首先通过构... 详细信息

局部判别嵌入算法寻求最高的正确识别率时假设所有的错误分类具有相同的错分代价,然而这个假设在现实的人脸识别系统中往往是不成立的,因为不同的错误分类将会导致不同的错分代价.为此,提出一种代价敏感的局部判别嵌入算法.首先通过构造代价矩阵将代价敏感理念融入到特征提取阶段,以提高算法判别不同错误分类的能力;然后最大化异类近邻样本点之间的错分代价,同时最小化同类近邻样本点之间的距离;最后利用迭代算法求得最佳的正交投影向量,以更好地维持数据的度量架构.在Yale,ORL,AR和Extended Yale B人脸数据库上的实验结果表明,文中算法是有效的.

关键词：人脸识别局部判别嵌入代价敏感特征提取

来源：评论

学校读者我要写书评

暂无评论

三态量子行走的吸收边界问题

三态量子行走的吸收边界问题

引用

第十七届全国量子光学学术会议

作者：王琨吴楠 Parker Kuklinski 徐平胡海星宋方敏南京大学计算机科学与技术系计算机软件新技术国家重点实验室 Department of Mathematics Boston University 固体微结构物理国家重点实验室

作为一种特殊的离散量子行走模型,三态量子行走的演化行为与二态量子行走有显著的区别。本文使用生成函数和离散路径积分的方法研究了三态离散量子行走存在吸收边界时的吸收概率问题。我们理论证明和数值模拟了吸收概率和吸收边界的位... 详细信息

作为一种特殊的离散量子行走模型,三态量子行走的演化行为与二态量子行走有显著的区别。本文使用生成函数和离散路径积分的方法研究了三态离散量子行走存在吸收边界时的吸收概率问题。我们理论证明和数值模拟了吸收概率和吸收边界的位置关系,观察并分析三态量子行走中存在的双峰局域化现象。

关键词：吸收边界

来源：评论

学校读者我要写书评

暂无评论

基于主成分分析的帕金森量表优化

引用

数据采集与处理 2015年第5期30卷 1020-1027页

作者：雷少正王崇骏谢俊元南京大学计算机科学与技术系南京210023 南京大学软件新技术国家重点实验室南京210023

西医量表是评估帕金森病(Parkinson′s disease,PD)的重要依据,而这些量表包含大量交叉重复问题,不利于快速评估帕金森病。因此,优化这些西医量表对快速诊断帕金森病有非常重要的意义。针对该问题,提出了基于主成分分析(Principal compo... 详细信息

西医量表是评估帕金森病(Parkinson′s disease,PD)的重要依据,而这些量表包含大量交叉重复问题,不利于快速评估帕金森病。因此,优化这些西医量表对快速诊断帕金森病有非常重要的意义。针对该问题,提出了基于主成分分析(Principal component anaysis,PCA)的量表问题的优化算法。本文提出的算法先是基于主成分分析提取出加权投影向量,然后在投影向量的基础上采用基于大津阈值(Otsu)局部递归分割算法划分量表,最后基于贡献度因子(Contribution factor,CF)设计新量表。实验通过采用支持向量机(Support vector machine,SVM)识别帕金森病,发现用仅占原西医量表总问题数的21%的新量表能达到与原量表相当的识别水平。

关键词：帕金森病量表优化主成分分析大津阈值局部递归分割加权投影向量贡献度因子

来源：评论

学校读者我要写书评

暂无评论

基于随机游走的无线传感器网络覆盖洞修复

引用

计算机应用与软件 2016年第8期33卷 141-145页

作者：韩蕊张书奎陈朋飞苏州大学计算机科学与技术学院江苏苏州215006 南京大学计算机软件新技术国家重点实验室江苏南京210023

近年来,无线传感器网络逐渐成为研究的热点。无线传感器网络中由于传感器节点能力的耗尽或失效导致原先被覆盖的区域变成无节点覆盖的区域,即覆盖空洞。针对覆盖空洞问题,提出基于随机游走的移动节点修复覆盖空洞算法。通过添加移动节点... 详细信息

近年来,无线传感器网络逐渐成为研究的热点。无线传感器网络中由于传感器节点能力的耗尽或失效导致原先被覆盖的区域变成无节点覆盖的区域,即覆盖空洞。针对覆盖空洞问题,提出基于随机游走的移动节点修复覆盖空洞算法。通过添加移动节点,运用融合了能量消耗和时延的随机游走方式指引移动节点寻找覆盖空洞,并进行填补。仿真实验的结果证明了此方法的有效性,移动节点寻找出的覆盖空洞的路径上在能量以及时延方面较优。

关键词：无线传感器网络覆盖洞随机游走移动节点修复

来源：评论

学校读者我要写书评

暂无评论

基于函数占用和需求分析测试代码用例自适应优先排序

引用

计算机与现代化 2016年第3期 46-51页

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

在采用函数占用(覆盖)的测试代码用例优先级排序过程中,其特征一般是以函数占用代码率信息表示,容易忽视其他优先排序影响因素,对此提出基于函数占用和需求分析的测试代码用例自适应优先排序方式。首先,以测试代码用例优先级排序过程中... 详细信息

在采用函数占用(覆盖)的测试代码用例优先级排序过程中,其特征一般是以函数占用代码率信息表示,容易忽视其他优先排序影响因素,对此提出基于函数占用和需求分析的测试代码用例自适应优先排序方式。首先,以测试代码用例优先级排序过程中的调用函数存在路径为参照,利用源代码信息变更影响,进行影响域的回归测试分析,并对测试代码用例集进行回归范围确定。其次,考虑测试代码用例优先级排序的需求影响因素,并确定其需求优先级评价指标,然后与调用函数源代码变更影响指标进行权重自适应融合,并设计基于函数占用和需求分析评价优先级的动态调整算法。最后,通过仿真对比显示,所提方法可提高缺陷检测正确率,降低测试成本。

关键词：代码变更测试代码用例排序回归测试路径调用需求分析

来源：评论

学校读者我要写书评

暂无评论

基于程序频谱的动态缺陷定位方法研究

引用

软件学报 2015年第2期26卷 390-412页

作者：陈翔鞠小林文万志顾庆南通大学计算机科学与技术学院江苏南通226019 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

基于程序频谱的动态缺陷定位是软件自动化调试研究中的一个热点问题,通过搜集测试用例的程序频谱和执行结果,基于特定模型以定位缺陷语句在被测程序内的可能位置.对近些年来国内外学者在该研究领域取得的成果进行系统总结:首先,给出预... 详细信息

基于程序频谱的动态缺陷定位是软件自动化调试研究中的一个热点问题,通过搜集测试用例的程序频谱和执行结果,基于特定模型以定位缺陷语句在被测程序内的可能位置.对近些年来国内外学者在该研究领域取得的成果进行系统总结:首先,给出预备知识和基本假设;随后,提出缺陷定位研究框架并识别出框架内一系列可影响缺陷定位效果的内在影响因素,包括程序频谱构造方式、测试套件构成和维护、内在缺陷数量、测试用例预言设置、用户反馈和缺陷修复开销等;接着,对实证研究中采用的评测指标和评测程序进行总结和分析;然后,对缺陷定位方法在一些特定测试领域中的应用进行总结;最后,对该领域未来值得关注的研究方向进行了展望.

关键词：软件调试缺陷定位程序频谱测试用例测试用例预言

来源：评论

学校读者我要写书评

暂无评论

随机模型检验研究

引用

计算机学报 2015年第11期38卷 2145-2162页

作者：刘阳李宣东马艳王林章南京大学计算机软件新技术国家重点实验室南京210093 新加坡国立大学计算学院计算机科学系新加坡117417 南京航空航天大学计算机科学与技术学院南京210016

随机模型检验作为模型检验理论的延伸和推广,可用于验证分析系统模型的定性或定量性质,其已经应用到随机分布式算法验证、通信协议性能分析甚至是系统生物学等跨学科领域.从20世纪90年代末至今,随机模型检验引起了形式验证等领域的广泛... 详细信息

随机模型检验作为模型检验理论的延伸和推广,可用于验证分析系统模型的定性或定量性质,其已经应用到随机分布式算法验证、通信协议性能分析甚至是系统生物学等跨学科领域.从20世纪90年代末至今,随机模型检验引起了形式验证等领域的广泛关注,并取得了很大的进展.该文追溯了随机模型检验的渊源,系统地概括了其最基本的原理及几类典型的PCTL、概率的LTL、PCTL*和CSL模型检验随机系统的算法框架.然后归纳总结了随机模型检验的主要研究方向及其进展,分析了基于随机模型检验的验证过程及其优势与劣势,并分类列出了目前出现的随机模型检验工具.最后介绍了随机模型检验的应用领域并指出了其未来的应用挑战.

关键词：形式验证马尔可夫随机过程随机模型检验定量分析

来源：评论

学校读者我要写书评

暂无评论

基于海量医疗数据的症状自查服务云框架设计

引用

计算机科学与探索 2015年第9期9卷 1056-1065页

作者：周作建林文敏王斌斌潘金贵南京大学计算机软件新技术国家重点实验室南京210046 南京大学计算机科学与技术系南京210046

随着当前社会"亚健康"人群的增加,症状自查服务显得愈发重要。各地基于居民健康档案的区域卫生信息平台的建立,为症状自查服务实现提供了数据基础,但是人们仍面临着海量电子病历的获取、存储、搜索以及数据分析计算等诸多挑... 详细信息

随着当前社会"亚健康"人群的增加,症状自查服务显得愈发重要。各地基于居民健康档案的区域卫生信息平台的建立,为症状自查服务实现提供了数据基础,但是人们仍面临着海量电子病历的获取、存储、搜索以及数据分析计算等诸多挑战。鉴于上述问题,提出了一种基于云框架的症状自查服务模型。首先建立了Hadoop集群,用来存储海量医疗数据以及建立索引,提高电子病历的搜索响应时间。其次设计了基于Lucene的分布式搜索节点集群,用来对海量的电子病历进行实时检索、数据分析和隐私过滤。此外,对症状自查服务的实现进行了讨论,包括搜索节点的选择、病历索引文件的建立、病历相似度的计算及排序方法。最后,通过实验证实了症状自查服务的云框架模型具有可扩展性和有效性。

关键词：云框架症状自查服务海量医疗数据 Hadoop Lucene

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：