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

中国数字医学 2016年第7期11卷 11-13页

作者：鲍瀛华履春李瑞瑶曹磊南京大学医学院附属鼓楼医院南京大学医学院附属鼓楼医院信息中心南京大学软件新技术国家重点实验室南京工业大学计算机学院

近年来随着医疗信息化建设的快速发展,医疗信息系统功能逐渐细分,但各系统独立运转,形成信息孤岛,影响了医疗信息资源二次利用。为此南京鼓楼医院基于SOA框架、采用企业服务总线技术作为连接中枢,设计并部署了主数据管理系统。从架构设... 详细信息

近年来随着医疗信息化建设的快速发展,医疗信息系统功能逐渐细分,但各系统独立运转,形成信息孤岛,影响了医疗信息资源二次利用。为此南京鼓楼医院基于SOA框架、采用企业服务总线技术作为连接中枢,设计并部署了主数据管理系统。从架构设计、建设流程和网络架构等方面详细介绍了该系统的构建策略。实践证明,该系统的应用有效保证了医疗数据的一致性、完整性和准确性,为大型医院医疗信息归一化管理提供了切实可行的参考思路。

关键词：主数据信息管理医疗平台互联互通

来源：评论

学校读者我要写书评

暂无评论

基于QEMU的程序行为监视系统设计与实现

引用

信息技术 2016年第12期40卷 116-120页

作者：蒋传勇姚立红上海交通大学电子信息与电气工程学院上海200240 上海市信息安全综合管理技术研究重点实验室上海200240 南京大学计算机软件新技术国家重点实验室南京210093

虚拟机监视器(Virtual Machine Monitor,VMM)具有强隔离性、高透明性的特点,成为研究系统行为和程序行为的热点。文中针对利用VMM带来的语义鸿沟问题,选择开源虚拟机软件QEMU做为VMM,提出了一种基于QEMU的程序行为监控方法,通过对QEMU... 详细信息

虚拟机监视器(Virtual Machine Monitor,VMM)具有强隔离性、高透明性的特点,成为研究系统行为和程序行为的热点。文中针对利用VMM带来的语义鸿沟问题,选择开源虚拟机软件QEMU做为VMM,提出了一种基于QEMU的程序行为监控方法,通过对QEMU结构及实现原理的分析,利用QEMU内建函数和嵌入钩子函数的方式获取程序行为的低层(Low-level)数据,完成对进程行为的视图重构,并提取出程序的关键行为数据,以作为对程序检测的重要依据。实验结果表明该方法能有效提取程序的行为数据并重构出关键的行为信息。

关键词：虚拟机监视器程序行为 QEMU 语义鸿沟

来源：评论

学校读者我要写书评

暂无评论

一种基于Token Log的符合性检查方法

引用

软件学报 2015年第3期26卷 509-532页

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

使用事件日志进行符合性检查的主要方法是:使用过程模型模拟执行事件日志中的任务序列,通过统计可被模型再现的任务序列及模型运行中可能触发的非运行序列中的任务个数,判断模型与日志的符合程度.但这种判断方法并不完备:如果模型中包... 详细信息

使用事件日志进行符合性检查的主要方法是:使用过程模型模拟执行事件日志中的任务序列,通过统计可被模型再现的任务序列及模型运行中可能触发的非运行序列中的任务个数,判断模型与日志的符合程度.但这种判断方法并不完备:如果模型中包含大量选择结构,则即使日志是模型本身的日志,也会因为模拟执行较多任务时会触发当前序列外的其他任务,而误判日志与模型的符合性较低;或者,如果模型中只包含少数的并发结构和多数的顺序结构,则即使日志只包含顺序结构的内容且非该模型对应日志时,也会因为在模拟执行时只有个别任务会导致模型无法继续执行,而其他多数任务可以执行而误判日志与模型有较高的符合性.基于已有方法的弱点,提出了使用日志内容检查模型结构正确性与使用模型结构检查日志内容完整性的双向检查标准,并提出一种内容特征与模型结构特征一一对应的新型日志——Token Log,用于过程模型与系统日志的符合性检查,使得检查和判断过程更加清晰简洁,结果更加准确.

关键词：符合性检查过程挖掘 Petri网工作流网 T0ken Log T-不变量 S-不变量 ProM

来源：评论

学校读者我要写书评

暂无评论

医院信息平台主数据管理技术研究

医院信息平台主数据管理技术研究

引用

2016中华医院信息网络大会

作者：鲍瀛华履春李瑞瑶曹磊南京大学医学院附属鼓楼医院 210008 南京大学软件新技术国家重点实验室 210093 南京工业大学计算机学院 211816

近年来随着医疗信息化建设的快速发展,医疗信息系统的细分化趋势日渐显著,大型医院均部署了多种纷繁复杂的信息系统.但各系统往往独立运转,形成一个个信息孤岛,很大程度上影响了医疗信息资源二次利用.针对这种情况,南京鼓楼医院基于SOA... 详细信息

近年来随着医疗信息化建设的快速发展,医疗信息系统的细分化趋势日渐显著,大型医院均部署了多种纷繁复杂的信息系统.但各系统往往独立运转,形成一个个信息孤岛,很大程度上影响了医疗信息资源二次利用.针对这种情况,南京鼓楼医院基于SOA框架、采用企业服务总线技术作为连接中枢,设计并部署了主数据管理系统.本文从架构设计、建设流程、网络架构和用户隐私保护等方面详细介绍了该系统的构建策略.实践证明,该系统的应用有效保证了医疗数据的一致性、完整性和准确性,为大型医院医疗信息归一化管理提供了切实可行的参考思路.

关键词：医院信息化主数据管理软件设计系统架构隐私保护

来源：评论

学校读者我要写书评

暂无评论

基于小波高频的立体图像质量评价

引用

光学技术 2015年第5期41卷 445-450页

作者：刘姗姗郁梅王颖宁波大学信息科学与工程学院浙江宁波315211 南京大学计算机软件新技术国家重点实验室南京210093

根据小波变换的高频分量包含边缘及纹理等人眼比较关注的细节信息,提出了一种基于小波变换的高频重构的立体图像质量评价方法,包括左右视点质量评价和立体感评价两部分。通过模拟人类视觉系统处理原始和失真的左右视点图像,利用结构相... 详细信息

根据小波变换的高频分量包含边缘及纹理等人眼比较关注的细节信息,提出了一种基于小波变换的高频重构的立体图像质量评价方法,包括左右视点质量评价和立体感评价两部分。通过模拟人类视觉系统处理原始和失真的左右视点图像,利用结构相似度算法得到左右视点质量评价值;用加权处理后的小波高频分量经过重构得到人眼关注的细节信息图,分别计算原始和失真的左右视点细节信息图的绝对差值图,利用结构相似度算法对两幅绝对差值图评价得到立体感质量评价值。将两种质量评价值进行加权融合得到最终的立体图像质量评价值。整体实验结果的Pearson线性相关系数在0.94以上,Spearman秩相关系数值在0.93以上,均方根误差值接近5.5,能较好地符合人眼视觉特性。

关键词：立体图像质量评价人类视觉系统小波变换立体感

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于量子搜索的软件工程

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于复无下采样轮廓波和Gaussian小波支持向量回归的红外目标图像背景抑制

引用

兵工学报 2015年第4期36卷 687-695页

作者：吴一全宋昱南京航空航天大学电子信息工程学院江苏南京210016 光电控制技术重点实验室河南洛阳471009 南京大学计算机软件新技术国家重点实验室江苏南京210093

针对存在背景干扰和噪声情况下的红外目标图像背景抑制问题,提出了一种基于复无下采样轮廓波变换(NSCCT)和Gaussian小波支持向量回归(SVR)的背景抑制方法。该方法对红外目标图像进行NSCCT,然后根据其系数的相关特性去噪,从而抑制了大部... 详细信息

针对存在背景干扰和噪声情况下的红外目标图像背景抑制问题,提出了一种基于复无下采样轮廓波变换(NSCCT)和Gaussian小波支持向量回归(SVR)的背景抑制方法。该方法对红外目标图像进行NSCCT,然后根据其系数的相关特性去噪,从而抑制了大部分背景杂波;采用Gaussian小波SVR对去噪后的红外目标图像进行处理得到预测图像,并用去噪后图像减去预测图像得到残差图像,即背景抑制结果。针对红外目标图像进行了大量实验,并与近年来提出的3种背景预测方法,即基于最小二乘支持向量回归(LS-SVR)、基于SVR及基于最小二乘的红外目标图像背景抑制方法进行了比较,结果表明所提出的方法去噪效果好,背景抑制性能更优。

关键词：信息处理技术红外搜索与跟踪弱小目标检测背景抑制复无下采样轮廓波变换 Gaussian小波支持向量回归

来源：评论

学校读者我要写书评

暂无评论

一种状态事件故障树的时间特性分析方法

引用

软件学报 2015年第2期26卷 427-446页

作者：徐丙凤黄志球胡军魏欧李伟湋南京航空航天大学计算机科学与技术学院江苏南京210016 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京航空航天大学航天学院江苏南京210016

状态事件故障树是一种适合于描述构件化嵌入式系统失效因果链的建模技术,其顶层事件描述失效发生的结果.对顶层事件发生的平均时间进行分析,是获得系统平均失效时间参数的一种有效方法,可为系统的安全性评估提供支持.由于状态事件故障... 详细信息

状态事件故障树是一种适合于描述构件化嵌入式系统失效因果链的建模技术,其顶层事件描述失效发生的结果.对顶层事件发生的平均时间进行分析,是获得系统平均失效时间参数的一种有效方法,可为系统的安全性评估提供支持.由于状态事件故障树缺乏严格语义,使得必须先对其进行形式化描述才能进行定量分析.为此,提出了一种基于交互马尔可夫链的状态事件故障树时间特性分析方法.首先,精化交互马尔可夫链的交互动作,建立接口交互马尔可夫链模型,并基于该模型对状态事件故障树的构件和逻辑门进行形式语义描述;其次,通过并行组合构件与逻辑门的形式语义模型,得到整个状态事件故障树的形式语义模型,并在该过程中使用弱互模拟对状态空间进行约简;然后,基于状态事件故障树的形式语义给出顶层事件发生的平均时间计算方法;最后,给出飞机着陆雷达控制系统和喷淋防火系统的状态事件故障树时间特性分析的实例研究.为构件化系统失效时间特性的分析提供了一种新方法.

关键词：状态事件故障树交互马尔可夫链平均时间分析形式化方法

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：