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

软件学报 2013年第11期24卷 2473-2475页

作者：高阳陈松灿计算机软件新技术国家重点实验室(南京大学) 南京航空航天大学计算机科学与技术学院

机器学习是计算机科学、认知科学、数学、统计学、控制、人工智能等诸多学科的交叉领域.机器学习研究自二十世纪五六十年代的感知机开始起步,经过符号学习、神经网络等技术后,逐步发展成为包含统计机器学习、集成机器学习、强化机器学... 详细信息

机器学习是计算机科学、认知科学、数学、统计学、控制、人工智能等诸多学科的交叉领域.机器学习研究自二十世纪五六十年代的感知机开始起步,经过符号学习、神经网络等技术后,逐步发展成为包含统计机器学习、集成机器学习、强化机器学习的研究领域,并在近年来又涌现出迁移学习、流形学习、概率图模型等新的研究方向.机器学习除了自身研究范围不断延展、研究深度不断深化、基础理论逐步完善之外,其应用领域也不断扩大,甚至成为某些学科的基础性研究工具和支撑技术.与此同时,机器学习技术在软件工程、计算机网

关键词：统计机器学习专刊孪生支持向量机代价敏感子类判别分析概率图模型图像分类人脸检测软子空间聚类协同过滤推荐算法

来源：评论

学校读者我要写书评

暂无评论

非一致上下文的自动修复技术

引用

计算机科学与探索 2013年第4期7卷 326-336页

作者：陈小康许畅江磊南京大学软件新技术国家重点实验室南京 210023 南京大学计算机科学与技术系南京 210023

在普适计算中,上下文持续快速变化,上下文感知的应用根据上下文变化自动调整自身的行为以适应这种变化.然而,由于不可预测的环境噪声和动态变化等诸多因素的影响,很容易造成上下文不一致.非一致上下文会导致应用异常,甚至失败.为了解决... 详细信息

在普适计算中,上下文持续快速变化,上下文感知的应用根据上下文变化自动调整自身的行为以适应这种变化.然而,由于不可预测的环境噪声和动态变化等诸多因素的影响,很容易造成上下文不一致.非一致上下文会导致应用异常,甚至失败.为了解决这个问题,提出了一种自动修复上下文的新技术.它分为两个阶段:生成抽象修复用例;执行用例,以验证上下文不一致性是否已经修复.从用户的实际需要出发,生成的修复用例可以分别满足完整性或正确性.实验结果表明,这种技术在修复成功率上远远超过其他技术.

关键词：普适计算非一致上下文自动修复

来源：评论

学校读者我要写书评

暂无评论

一个基于后备服务的高可靠工作流开发模型

引用

计算机工程与应用 2013年第7期49卷 39-44,114页

作者：陈威徐锋南京大学软件新技术国家重点实验室南京210046 南京大学计算机科学与技术系南京210046

随着互联网的发展,面向Web服务的工作流技术逐渐兴起。然而在开放多变的网络环境中,组成工作流的网络服务的可靠性变化,网络连接的可靠性变化,都对工作流的可靠执行带来挑战。目前工作流可靠性研究较多地关注如何选取并确定一条最可靠... 详细信息

随着互联网的发展,面向Web服务的工作流技术逐渐兴起。然而在开放多变的网络环境中,组成工作流的网络服务的可靠性变化,网络连接的可靠性变化,都对工作流的可靠执行带来挑战。目前工作流可靠性研究较多地关注如何选取并确定一条最可靠的工作流路径,以及如何选取可靠性较高的服务来组成工作流,这些方法较难应对网络环境的多变以及服务本身可靠性的变化。随着Web服务的广泛普及,网络中涌现出大量的等价服务,利用等价服务作为后备服务来达到构建更可靠的工作流的目的。基于此想法,给出了一个高可靠工作流的开发模型,包括基于后备服务的工作流描述机制,以及工作流可靠性评估机制;最后,给出相应的工作流脚本转换工具实现,可将其转换成标准的BPEL脚本并运行。

关键词：工作流可靠性 Web服务等价服务

来源：评论

学校读者我要写书评

暂无评论

利用效用度挖掘核心药物及配伍规律

引用

计算机科学与探索 2013年第11期7卷 994-1001页

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

中药方剂(traditional Chinese medicine formula,TCMF)是中医治疗的一种主要手段。然而一首方剂往往包含多种草药,这其中只有几种草药对治疗特定的病症起重要作用。因此,找出方剂中的核心药物和其配伍规律对研究中药方剂有非常重要的... 详细信息

中药方剂(traditional Chinese medicine formula,TCMF)是中医治疗的一种主要手段。然而一首方剂往往包含多种草药,这其中只有几种草药对治疗特定的病症起重要作用。因此,找出方剂中的核心药物和其配伍规律对研究中药方剂有非常重要的意义。针对该问题,提出了一种基于效用度(effect degree,ED)的核心药物及配伍规律发现方法。该方法包含三个主要步骤,分别是基于药物效用度的核心药物发现算法、基于带药对效用度的点式互信息(pointwise mutual information with herb pair ED,PMIED)的药物组网算法、基于重叠社团的高效药物配伍规律发现算法。通过实验,发现了肺痿方剂的42种核心药物和30种药物配伍,经分析和中医专家确认,42种核心药物对肺痿确有良好疗效,30组药物配伍中有26组符合药物配伍关系且对肺痿有良好疗效。

关键词：中药方剂(TCMF) 核心药物药物配伍规律效用度(ED) 带效用度的点式互信息(PMIED) 重叠社团

来源：评论

学校读者我要写书评

暂无评论

量子程序设计语言NDQJava2处理系统——汇编程序与解释程序

引用

计算机科学与探索 2013年第8期7卷 762-768页

作者：朱正文徐家福南京大学软件新技术国家重点实验室南京210046 南京大学计算机科学与技术系南京210046

NDQJava2是在NDQJava语言的基础上增添量子条件语句、量子循环语句、量子子程序、量子模块和量子异常处理机制等多种量子成分而成的一种混成式、结构化、命令式量子程序设计语言。为了在经典计算机上模拟执行NDQJava2语言书写的量子程序... 详细信息

NDQJava2是在NDQJava语言的基础上增添量子条件语句、量子循环语句、量子子程序、量子模块和量子异常处理机制等多种量子成分而成的一种混成式、结构化、命令式量子程序设计语言。为了在经典计算机上模拟执行NDQJava2语言书写的量子程序,给出了假想量子计算机的基本指令集与汇编指令集的设计,并用Java语言编写了相应的汇编程序和解释程序。结合处理系统的其他部分,验证了平衡函数判定问题的Deutsch算法。实验表明,该汇编程序与解释程序达到了预期目的。

关键词： NDQJava2 量子程序设计语言汇编程序解释程序

来源：评论

学校读者我要写书评

暂无评论

一个基于COP的控制软件安全性增强方法

引用

计算机工程与应用 2013年第5期49卷 64-69页

作者：陈智勇徐锋余萍南京大学软件新技术国家重点实验室南京210046 南京大学计算机科学与技术系南京210046

控制软件往往是安全攸关系统的核心,其正确性对系统安全起着至关重要的作用。然而由于系统面对的环境因素越来越复杂,软件设计之初不可能考虑到所有可能面对的环境变化因素,系统的安全性面临新的挑战。因此在软件维护阶段,以环境变化为... 详细信息

控制软件往往是安全攸关系统的核心,其正确性对系统安全起着至关重要的作用。然而由于系统面对的环境因素越来越复杂,软件设计之初不可能考虑到所有可能面对的环境变化因素,系统的安全性面临新的挑战。因此在软件维护阶段,以环境变化为中心,增量式地增强软件的安全性显得非常重要。面向上下文编程方法(Context-Oriented Programming,COP)正是一种以软件运行上下文环境为中心的编程方法。现有的支撑COP思想的运行机制可以使得系统根据精确的上下文信息动态地调整系统的行为,但是有些上下文引发的系统行为调整会导致系统执行器的现有运行被打断,对于这类影响系统执行器行为的上下文,现有的COP运行机制还没有提供有效处理方法。根据现有的COP方法,给出了一个基于软件上下文保存与恢复的控制软件安全性增强的编程模型,并在LegoNXT控制器上实现了相应的运行支撑和编程工具,通过一个产品分拣系统的安全性增强实例,初步验证了该编程模型的合理性。

关键词：软件安全性面向上下文编程(COP) 编程模型

来源：评论

学校读者我要写书评

暂无评论

面向远程触觉协作的虚拟针灸系统研究

引用

系统仿真学报 2013年第9期25卷 2085-2090页

作者：蒋峥峥高瞻顾翔陈翔王丹丹南通大学计算机科学与技术学院南通226019 南京大学计算机软件新技术国家重点实验室南京210093 南通市紫琅职业技术学院南通226002

设计了一个新颖的基于远程触觉协作的虚拟针灸系统。分析了针灸过程中针体与组织的相互作用力,建立力学模型模拟针体受力,设计插值处理和分频输出以实现力反馈数据的实时网络传输。设计仿真实例对系统中力学模型、插值计算和分频输出的... 详细信息

设计了一个新颖的基于远程触觉协作的虚拟针灸系统。分析了针灸过程中针体与组织的相互作用力,建立力学模型模拟针体受力,设计插值处理和分频输出以实现力反馈数据的实时网络传输。设计仿真实例对系统中力学模型、插值计算和分频输出的效果进行验证,实验结果表明:提出的力学模型与针灸现实相符,插值方法可以提高远程触觉协作中接收数据的完整性,时延小于专家推荐的经验值,系统能够提供感觉逼真、实时稳定的虚拟针灸远程教学与训练,为针灸教学提供了一种新的手段。

关键词：虚拟现实针灸触觉交互远程协作力反馈

来源：评论

学校读者我要写书评

暂无评论

基于信息流的程序权限控制技术

引用

计算机工程与设计 2013年第1期34卷 23-27页

作者：杨嘉曾庆凯南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093

针对SELinux策略配置存在的不安全访问控制授权,提出了基于信息流分析的权限控制方法。该方法针对系统安全目标对策略配置进行信息流分析,确定了目标程序和不安全的访问授权。再通过目标程序上的静态信息流分析,定位可能使用不安全访问... 详细信息

针对SELinux策略配置存在的不安全访问控制授权,提出了基于信息流分析的权限控制方法。该方法针对系统安全目标对策略配置进行信息流分析,确定了目标程序和不安全的访问授权。再通过目标程序上的静态信息流分析,定位可能使用不安全访问授权的程序点。根据这两者的分析结果,完成程序安全状态的划分,并制定出状态转换条件。在时间和空间上对程序的访问权限实施了细化的控制,保证安全的同时最小化对程序功能的影响。

关键词：安全增强的Linux系统策略分析静态分析策略调整权限控制

来源：评论

学校读者我要写书评

暂无评论

微内核架构多线程机制的形式化设计研究

引用

计算机科学 2013年第4期40卷 136-141,163页

作者：钱振江卢亮黄皓南京大学软件新技术国家重点实验室南京210046 南京大学计算机科学与技术系南京210046 常熟理工学院计算机科学与工程学院常熟215500

微内核架构因其有效的模块隔离性而成为操作系统方面研究的热点,多线程机制是微内核架构需要解决的关键性能问题。有不少的工作对微内核架构多线程机制进行了研究,但存在频繁的系统地址空间切换和实现复杂度高的问题。采用形式化的方式... 详细信息

微内核架构因其有效的模块隔离性而成为操作系统方面研究的热点,多线程机制是微内核架构需要解决的关键性能问题。有不少的工作对微内核架构多线程机制进行了研究,但存在频繁的系统地址空间切换和实现复杂度高的问题。采用形式化的方式对微内核架构多线程和安全机制进行描述和设计,提出一个微内核线程分层对象语义模型,用以设计多线程机制的线程间通信、调度和互斥同步方案。在已实现和验证的微内核操作系统VTOS中对多线程功能和性能进行了测试,结果表明VTOS有效地实现了多线程机制,并具有很好的系统性能。

关键词：微内核多线程操作系统形式化描述形式化设计

来源：评论

学校读者我要写书评

暂无评论

基于系统虚拟化的安全技术研究

引用

计算机工程与设计 2013年第1期34卷 18-22页

作者：赵晓东曾庆凯南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093

为提高操作系统和应用程序的安全性,研究了系统虚拟化的相关技术,讨论典型的基于系统虚拟化技术的安全技术应用和系统。根据研究目标的软件层次,分别从应用程序安全、操作系统安全和虚拟机监控器自身安全性三方面,对当前的研究现状和未... 详细信息

为提高操作系统和应用程序的安全性,研究了系统虚拟化的相关技术,讨论典型的基于系统虚拟化技术的安全技术应用和系统。根据研究目标的软件层次,分别从应用程序安全、操作系统安全和虚拟机监控器自身安全性三方面,对当前的研究现状和未来的发展趋势进行了分析和归纳。设计一种基于系统虚拟化技术实现对恶意软件透明安全的动态调试分析方案,通过在Intel-VT平台上实现系统原型,验证了该方法的可行性和有效性。

关键词：系统虚拟化安全隔离虚拟机监控器硬件辅助虚拟化

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：