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

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

多跳无线网络启发式网络编码协议研究

引用

小型微型计算机系统 2013年第6期34卷 1248-1252页

作者：李懿雯陶雯白光伟曹磊南京工业大学计算机科学与技术系南京210009 南京大学计算机软件新技术国家重点实验室南京210093 江苏教育学院数学与信息技术学院南京210013

当前许多研究表明,在多跳无线网络中,网络编码技术可以显著提高网络通信性能.首先深入分析研究现有的机会网络编码机制及存在的问题,在此基础上,提出一种通用启发式网络编码协议(GHNC).该协议包含机会转发节点选举、吞吐量计算和动态调... 详细信息

当前许多研究表明,在多跳无线网络中,网络编码技术可以显著提高网络通信性能.首先深入分析研究现有的机会网络编码机制及存在的问题,在此基础上,提出一种通用启发式网络编码协议(GHNC).该协议包含机会转发节点选举、吞吐量计算和动态调整三个过程.其核心思想是:根据网络状况的变化,采用启发式方法自主地改变参与竞争转发节点的个数,以最大化网络吞吐量.另外,考虑到多跳无线网络的动态变化特性以及对服务质量的需求,分别提出动态启发式网络编码协议(DHNC)和快速启发式网络编码协议(FHNC).仿真结果表明,GHNC、DHNC以及FHNC能够快速适应网络环境的变化,显著提高网络性能.

关键词：多跳无线网络网络编码机会转发启发式方法

来源：评论

学校读者我要写书评

暂无评论

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

引用

计算机科学与探索 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年第1期30卷 273-276,324页

作者：马旋杨若瑜南京大学计算机科学与技术系江苏南京210093 南京大学软件新技术国家重点实验室江苏南京210093

人体组件划分用来检测视频帧或静态图像中的人体,并将其划分为头部和四肢等独立区域,是人体精确三维重建和动作识别等后续研究的重要基础。提出一种新的人体组件划分算法,算法主要针对无肢体重叠的人体图像,首先利用人脸检测技术快速定... 详细信息

人体组件划分用来检测视频帧或静态图像中的人体,并将其划分为头部和四肢等独立区域,是人体精确三维重建和动作识别等后续研究的重要基础。提出一种新的人体组件划分算法,算法主要针对无肢体重叠的人体图像,首先利用人脸检测技术快速定位人体大致范围,再通过边缘检测获取准确的人体轮廓,最后设计并使用高效的十字链表存储和检索方法,完成基于轮廓关键点查找的人体组件划分。实验表明该方法具有较好的实时性和准确率。

关键词：人体组件划分人脸检测边缘检测十字链表关键点

来源：评论

学校读者我要写书评

暂无评论

微内核架构文件系统的形式化设计与验证方法研究

引用

小型微型计算机系统 2013年第10期34卷 2261-2266页

作者：钱振江唐洪英李康杰黄皓宋方敏常熟理工学院计算机科学与工程学院江苏苏州215500 南京大学软件新技术国家重点实验室南京210046 南京大学计算机科学与技术系南京210046 伦敦大学国王学院

文件系统作为数据存储和管理的功能模块,其正确性是操作系统安全性的重要方面.采用形式化方法对微内核架构文件系统进行设计,使用操作系统对象语义模型(OSOSM)框架提出微内核架构文件系统的状态自动机模型,并依此描述系统调用的功能语... 详细信息

文件系统作为数据存储和管理的功能模块,其正确性是操作系统安全性的重要方面.采用形式化方法对微内核架构文件系统进行设计,使用操作系统对象语义模型(OSOSM)框架提出微内核架构文件系统的状态自动机模型,并依此描述系统调用的功能语义和系统状态转换,分析和归纳文件系统的功能正确性断言.以实现的微内核安全操作系统(Verified Trusted Operating System,VTOS)为例,阐述在Isabelle/HOL定理证明器环境中构建状态自动机模型的方法,并对VTOS文件系统的形式化设计和功能正确性断言进行一致性验证,结果显示,VTOS文件系统的设计和实现符合预期的正确性规格说明.

关键词：文件系统微内核架构形式化设计形式化验证正确性断言 Isabelle HOL

来源：评论

学校读者我要写书评

暂无评论

一种随机TBFL方法

引用

计算机科学 2013年第1期40卷 5-13,18页

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

许多学者研究了运用测试集对程序错误语句定位的问题,并提出了许多行之有效的方法,这些方法统称为TBFL(testing based fault localization)方法。后来人们发现,测试集里如果出现冗余,则这些冗余测试用例会伤害这些定位方法的功效。为了... 详细信息

许多学者研究了运用测试集对程序错误语句定位的问题,并提出了许多行之有效的方法,这些方法统称为TBFL(testing based fault localization)方法。后来人们发现,测试集里如果出现冗余,则这些冗余测试用例会伤害这些定位方法的功效。为了解决这个问题,Hao等人提出了SAFL(similarity aware fault localization)方法。实际上完全避免冗余是不可能的,因此从另一个角度构造了一个新的TBFL方法,称为随机TBFL方法。该方法的基本思想是:测试前对程序的语句错误概率进行先验分布,并把测试集看成随机变量,用测试用例反映的程序语句有关信息对程序语句的概率作一些调整,调整后的概率称为后验校正概率,最后根据这个后验概率对错误语句进行定位。将传统的TB-FL方法如Dicing方法、TARANTULA方法、SAFL方法纳入随机信息分析并通过几个实例进行分析和比较,结果表明,随机TBFL方法不仅能够正确定位错误语句,而且冗余对该方法的功效伤害不大。

关键词：错误定位测试为基础的错误定位随机错误定位方法

来源：评论

学校读者我要写书评

暂无评论

基于马尔可夫模型的软件错误定位方法

引用

计算机学报 2013年第2期36卷 445-456页

作者：张云乾郑征季晓慧张文博张震宇中国科学院软件研究所计算机科学理论国家重点实验室北京100190 中国地质大学计算机科学与技术系北京100083 北京航空航天大学自动化科学与电气工程学院北京100191 中国科学院软件研究所软件工程技术研究开发中心北京100190

软件调试是软件开发的重要环节.统计错误定位技术通过分析程序执行频谱来估计程序中错误所在的位置.针对不同类型的程序频谱,此类技术建立不同的启发式模型描述程序行为.已有研究表明,其准确度同目标错误和程序类型相关,且不存在某种普... 详细信息

软件调试是软件开发的重要环节.统计错误定位技术通过分析程序执行频谱来估计程序中错误所在的位置.针对不同类型的程序频谱,此类技术建立不同的启发式模型描述程序行为.已有研究表明,其准确度同目标错误和程序类型相关,且不存在某种普遍有效的技术.文中从单元测试的特性出发,探讨预测错误类型的可行性,并采用马尔可夫过程对错误类型进行预测,从错误定位技术备选集中选择适合的技术来实施.实验表明文中方法能够更快地定位程序错误.

关键词：软件错误定位软件错误类型错误类型预测马尔可夫模型

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：