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

计算机科学 2013年第11期40卷 152-157页

作者：王蓁蓁徐宝文周毓明陈林金陵科技学院信息技术学院南京211169 江苏省信息分析工程实验室南京211169 南京大学软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

为TBFL(testing-based fault localization)方法和SAFL(similarity-aware fault localization)方法构造了熵模型,并用该模型对Dicing方法、TARANTULA方法、SAFL方法在一个实例上进行分析比较。结果表明,熵模型可以为构造以及分析TBFL方... 详细信息

关键词：熵错误定位相似性错误定位

来源：评论

学校读者我要写书评

暂无评论

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

引用

计算机科学与探索 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年第16期49卷 47-52页

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

随着信息技术的快速发展,各种各样的环境信息影响着我们生活中的各种决策,因此提供一种智能化的应用程序,能够根据用户当前的情境信息为用户提供所需要的最适合的服务变得越来越重要。许多遗产软件并不支持情境感知功能,目前的一些主要... 详细信息

随着信息技术的快速发展,各种各样的环境信息影响着我们生活中的各种决策,因此提供一种智能化的应用程序,能够根据用户当前的情境信息为用户提供所需要的最适合的服务变得越来越重要。许多遗产软件并不支持情境感知功能,目前的一些主要的编程语言和编程框架并没有提供一个很好的方式来支持这种情境感知应用程序的开发。提出了一个新的面向情境的编程框架,支持情境信息的定义、封装、发布,支持对应用行为的驱动和约束,允许应用快速响应非预期情境。通过该框架可以快速开发情境感知应用,也可以以非侵入的方式改造遗产软件,使之具有情境感知能力。

关键词：情境感知 Context 框架遗产软件

来源：评论

学校读者我要写书评

暂无评论

量子程序设计语言NDQJava2处理系统--词法分析程序及语法分析程序

引用

计算机科学与探索 2013年第6期7卷 562-569页

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

NDQJava2语言是在NDQJava语言的基础上,增添量子条件语句、量子循环语句、量子子程序、量子模块和量子异常处理机制等多种量子成分而成的一种混成式、结构化、命令式量子程序设计语言。在简述NDQJava2处理系统之后,着重介绍了其词法分... 详细信息

NDQJava2语言是在NDQJava语言的基础上,增添量子条件语句、量子循环语句、量子子程序、量子模块和量子异常处理机制等多种量子成分而成的一种混成式、结构化、命令式量子程序设计语言。在简述NDQJava2处理系统之后,着重介绍了其词法分析程序及语法分析程序,其中用直接转向法进行词法分析,识别出单词,生成单词序列,用递归子程序法进行语法分析,生成语法树。由示例可知,程序结果无误,较好地完成了词法分析与语法分析任务。

关键词： NDQJava2 处理系统词法分析程序语法分析程序

来源：评论

学校读者我要写书评

暂无评论

基于迁移系统分析的线性混成系统安全验证

引用

计算机工程与应用 2013年第4期49卷 58-64,76页

作者：蒋慧卜磊李宣东南京大学计算机软件新技术国家重点实验室南京210046 南京大学计算机科学与技术系南京210046

混成自动机行为中既包含离散行为又包含连续行为,非常复杂。其安全性验证问题难以解决,即使是线性混成自动机,它的可达性问题也被证明是不可判定的。现有工具大都使用多面体计算来计算线性混成自动机的可达状态空间集,复杂度高,可处理... 详细信息

混成自动机行为中既包含离散行为又包含连续行为,非常复杂。其安全性验证问题难以解决,即使是线性混成自动机,它的可达性问题也被证明是不可判定的。现有工具大都使用多面体计算来计算线性混成自动机的可达状态空间集,复杂度高,可处理问题规模非常有限。为了避免这类问题,实现了一种新的工具。该工具将线性混成自动机表达为等价的迁移系统,并利用迁移系统上不变式生成相关工作对混成自动机进行验证。实验数据表明,方法有效可行,工具具有良好的性能。

关键词：线性混成自动机迁移系统安全性验证不变式生成

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：