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

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于云计算的多层量子精英属性协同约简算法

引用

四川大学学报（工程科学版） 2015年第6期47卷 97-103页

作者：丁卫平陈森博王杰华管致锦南通大学计算机科学与技术学院江苏南通226019 南京大学计算机软件新技术国家重点实验室江苏南京210093 苏州大学江苏省计算机信息处理技术重点实验室江苏苏州215006

针对传统粗糙集属性约简算法无法高效处理日益增长的大数据问题,提出一种基于云计算的多层量子精英属性协同约简算法。该算法首先在云计算MapReduce模型下将大规模数据集划分到不同的进化蛙群中,分别获得各子种群最优解;然后构造一种基... 详细信息

针对传统粗糙集属性约简算法无法高效处理日益增长的大数据问题,提出一种基于云计算的多层量子精英属性协同约简算法。该算法首先在云计算MapReduce模型下将大规模数据集划分到不同的进化蛙群中,分别获得各子种群最优解;然后构造一种基于多层量子蛙群精英向量的属性协同约简策略,挑选出具有全局搜索和局部精化最强优化能力的精英子种群向量,快速引导各子种群找到各自最小属性约简集,从而取得大规模数据集的全局最优属性约简集。实验结果表明,本文算法在大规模数据集上求解全局最优属性约简解的效率和精度具有明显优势,同时应用于电子病历数据库MRI分割效果表明其具有较强适用性。

关键词：属性协同约简云计算 MapReduce模型多层量子精英 MRI分割

来源：评论

学校读者我要写书评

暂无评论

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

引用

数据采集与处理 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%的新量表能达到与原量表相当的识别水平。

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

来源：评论

学校读者我要写书评

暂无评论

无线传感器网络在桥梁健康监测中的应用

引用

软件学报 2015年第6期26卷 1486-1498页

作者：俞姝颖吴小兵陈贵海戴海鹏洪卫星计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学计算机科学与技术系江苏南京210023 江苏省交通工程建设局江苏南京210004

桥梁的安全运营,是关系到国计民生的大事.因此,桥梁结构健康监测系统正成为国内外学术界和工程界的研究热点.无线传感器网络由于安装方便、维护成本低和部署灵活等特点,已被广泛应用于桥梁健康监测系统中.对现有的基于无线传感器网络的... 详细信息

桥梁的安全运营,是关系到国计民生的大事.因此,桥梁结构健康监测系统正成为国内外学术界和工程界的研究热点.无线传感器网络由于安装方便、维护成本低和部署灵活等特点,已被广泛应用于桥梁健康监测系统中.对现有的基于无线传感器网络的桥梁健康监测系统进行综述,依次介绍了各个子系统中的基本原理和典型方法,并结合多个具体实例分析了系统中的关键技术,最后总结了已有系统中存在的问题和未来的研究方向.

关键词：结构健康监测桥梁无线传感器网络损伤识别

来源：评论

学校读者我要写书评

暂无评论

基于种群混合协同联盟的属性量子博弈均衡约简

引用

电子学报 2015年第1期43卷 45-53页

作者：丁卫平王建东施全陈森博沈学华南通大学计算机科学与技术学院江苏南通226019 计算机软件新技术国家重点实验室(南京大学) 江苏南京210093 南京航空航天大学计算机科学与技术学院江苏南京210016

为进一步提高进化种群在粗糙集属性演化约简中寻求最优解的协同性能,提出了一种基于种群混合协同联盟的属性量子博弈均衡约简算法.该算法建立一种基于自适应多层进化树的种群协同演化联盟模型,以种群内个体竞争和种群间精英合作的混合... 详细信息

为进一步提高进化种群在粗糙集属性演化约简中寻求最优解的协同性能,提出了一种基于种群混合协同联盟的属性量子博弈均衡约简算法.该算法建立一种基于自适应多层进化树的种群协同演化联盟模型,以种群内个体竞争和种群间精英合作的混合协同机制实现各种群协同演化,较好地达到属性协同演化约简中广度寻优和深度探索的有效平衡;然后将信任裕度报酬机制引入到多种群精英量子协同博弈模型,种群精英在每个划分的属性子集中通过量子协同博弈策略均能求得各自最优约简子集,从而稳定取得Nash均衡下全局最优属性约简集.实验结果表明本文算法具有较高的属性演化约简效能和精度,对不完备电子病历系统中脑组织核磁共振成像MRI的高效约简与分割进一步展示其具有较强的实用性和鲁棒性.

关键词：属性演化约简自适应进化树混合协同信任裕度量子博弈纳什均衡

来源：评论

学校读者我要写书评

暂无评论

中断驱动系统模型检验?

引用

软件学报 2015年第9期26卷 2212-2230页

作者：周筱羽顾斌赵建华杨孟飞李宣东计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学软件学院江苏南京210093 西北工业大学计算机学院陕西西安710072 南京大学计算机科学与技术系江苏南京210023 中国空间技术研究院北京100094

针对一类中断驱动系统提出了一种建模和模型检验的方法.该系统通常由中断处理程序和操作系统调度的任务组成,前者由中断源触发后处理中断事件,后者则负责处理系统的日常任务以及某些中断处理事件的后续处理.因为这类系统是实时控制系统... 详细信息

针对一类中断驱动系统提出了一种建模和模型检验的方法.该系统通常由中断处理程序和操作系统调度的任务组成,前者由中断源触发后处理中断事件,后者则负责处理系统的日常任务以及某些中断处理事件的后续处理.因为这类系统是实时控制系统,对中断事件的处理需要在规定时间内响应并完成,否则可能造成严重的系统失效.为了帮助系统设计人员在系统设计过程中应用模型检验技术来提高系统的正确性,首先确定了此类系统中与时序性质相关的系统要素(包括系统调度任务、中断源、中断处理程序)和相关参数,并要求设计人员在设计阶段明确指出这些要素的参数.然后,提出了将这些要素和参数自动转化为形式化模型的方法:使用时间自动机对中断事件进行建模,使用中断向量表和CPU处理栈对中断处理过程进行建模.对于得到的形式化模型,给出了针对中断处理超时错误的检测方法,并在此基础上给出了针对共享资源的完整性、子程序原子性的检验方法.

关键词：中断驱动系统模型检验超时检测

来源：评论

学校读者我要写书评

暂无评论

面向新闻语料的中日命名实体翻译抽取

引用

小型微型计算机系统 2015年第6期36卷 1393-1397页

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

命名实体翻译可以有效地提高跨语言信息检索、统计机器翻译等系统的性能.双语新闻语料包含了丰富的命名实体,利用统计方法可以从中抽取出命名实体翻译.基于中日双语新闻语料,对中日命名实体的翻译特征进行了分析,基于这些特征,提出一种... 详细信息

命名实体翻译可以有效地提高跨语言信息检索、统计机器翻译等系统的性能.双语新闻语料包含了丰富的命名实体,利用统计方法可以从中抽取出命名实体翻译.基于中日双语新闻语料,对中日命名实体的翻译特征进行了分析,基于这些特征,提出一种中日双语命名实体翻译自动抽取的方法,该方法融合了中日汉字翻译概率、片假名词汇和中文音译词汇的拼音相似度以及双语词汇共现等特征.实验表明本文方法充分利用这些特征,在语料规模不大的情况下,也可以取得较好的效果.

关键词：命名实体双语语料对齐模型拼音相似度词汇共现

来源：评论

学校读者我要写书评

暂无评论

中断驱动控制系统的有界模型检验技术

引用

软件学报 2015年第10期26卷 2485-2503页

作者：周筱羽顾斌赵建华杨孟飞计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学软件学院江苏南京210093 西北工业大学计算机学院陕西西安710072 南京大学计算机科学与技术系江苏南京210023 中国空间技术研究院北京100094

针对一类中断驱动的航天控制系统,给出了有界模型检验的算法.这类系统由中断处理程序和操作系统调度的任务组成.当中断发生时,对应的中断处理程序响应中断事件,并可以修改控制变量值,以便在系统任务中完成后续工作.操作系统周期性地调... 详细信息

针对一类中断驱动的航天控制系统,给出了有界模型检验的算法.这类系统由中断处理程序和操作系统调度的任务组成.当中断发生时,对应的中断处理程序响应中断事件,并可以修改控制变量值,以便在系统任务中完成后续工作.操作系统周期性地调度任务序列处理日常事务以及中断事件的后续工作.使用了带中断标记的时间自动机对中断事件和任务调度事件进行建模,并使用中断向量表和中断处理程序的伪代码模型共同描述中断的处理过程.控制变量将中断处理过程和系统任务相关联,中断处理程序可以设定某个控制变量,而系统任务则通过检查该控制变量来确定是否需要进行后续处理.对于这样的形式化模型,给出了检验关键时序性质的有界模型检验算法.该算法使用深度优先的方式遍历所有长度小于等于K的可行路径,并使用SMT Z3实现了对时间约束和规约的处理.

关键词：中断驱动系统有界模型检验超时检测

来源：评论

学校读者我要写书评

暂无评论

基于量子搜索的软件工程

引用

中国科学：信息科学 2015年第5期45卷 623-633页

作者：吴楠宋方敏 LI XiangDong 南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093 Department of Computer Science The City University of New York

基于搜索的软件工程(SBSE)是通过基于搜索的优化算法和对复杂问题的自动/半自动求解过程来解决软件工程相关问题的工程化方法.从软件的需求、开发项目的计划到软件的后期维护和复用,基于搜索的软件工程方法的应用可贯穿软件工程的整个... 详细信息

基于搜索的软件工程(SBSE)是通过基于搜索的优化算法和对复杂问题的自动/半自动求解过程来解决软件工程相关问题的工程化方法.从软件的需求、开发项目的计划到软件的后期维护和复用,基于搜索的软件工程方法的应用可贯穿软件工程的整个生命周期.本文提出了基于量子搜索的框架式软件工程方法,将传统的SBSE问题转化为可用量子搜索快速解决的搜索问题并给出通用的解决方法.研究表明,对于大多数软件工程相关问题,使用基于Grover迭代和量子行走的量子搜索算法比传统SBSE的搜索优化算法的效率更高且具有更好的通用性.

关键词：基于搜索的软件工程量子搜索算法量子计算软件测试软件维护

来源：评论

学校读者我要写书评

暂无评论

面向随机模型检验的模型抽象技术

引用

软件学报 2015年第8期26卷 1853-1870页

作者：刘阳李宣东马艳计算机软件新技术国家重点实验室(南京大学) 江苏南京210093 Department of computer Science School of ComputingNational University of Singapore 南京航空航天大学计算机科学与技术学院江苏南京210016

随机模型检验是经典模型检验理论的延伸和推广,由于其结合了经典模型检验算法和线性方程组求解或线性规划算法等,并且运算处理的是关于状态的概率向量而非经典模型检验中的位向量,所以状态爆炸问题在随机模型检验中更为严重.抽象作为缓... 详细信息

随机模型检验是经典模型检验理论的延伸和推广,由于其结合了经典模型检验算法和线性方程组求解或线性规划算法等,并且运算处理的是关于状态的概率向量而非经典模型检验中的位向量,所以状态爆炸问题在随机模型检验中更为严重.抽象作为缓解状态空间爆炸问题的重要技术之一,已经开始被应用到随机模型检验领域并取得了一定的进展.以面向随机模型检验的模型抽象技术为研究对象,首先给出了模型抽象技术的问题描述,然后按抽象模型构造技术分类归纳了其研究方向及目前的研究进展,最后对比了目前的模型抽象技术及其关系,总结出其还未能给出模型抽象问题的满意答案,并指出了有效解决模型抽象问题未来的研究方向.

关键词：随机模型检验状态空间爆炸模型抽象定量抽象精化

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：