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

第十一届全国软件与应用学术会议(NASAC2012)

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

一种基于不变量的工作流协同模型分解方法

一种基于不变量的工作流协同模型分解方法

引用

2012中国计算机大会

作者：葛季栋胡海洋周宇胡昊王栋毅过晓波计算机软件新技术国家重点实验室(南京大学) 南京 210093 南京大学软件学院南京 210093 计算机软件新技术国家重点实验室(南京大学) 南京 210093 杭州电子科技大学计算机学院杭州 310018 计算机软件新技术国家重点实验室(南京大学) 南京 210093 南京航空航天大学计算机科学与技术学院南京 210016 计算机软件新技术国家重点实验室(南京大学) 南京 210093 南京大学计算机科学与技术系南京 210093

现代企业计算的业务过程越来越复杂，有很多分散且相对独立的组织机构，为了协同来自不同组织的业务过程，文中提出一种IOPB模型(面向交互的Petri网)用于描述跨组织的工作流协同，该模型包含组织内的过程模型和组织间的交互关系.为了确... 详细信息

现代企业计算的业务过程越来越复杂，有很多分散且相对独立的组织机构，为了协同来自不同组织的业务过程，文中提出一种IOPB模型(面向交互的Petri网)用于描述跨组织的工作流协同，该模型包含组织内的过程模型和组织间的交互关系.为了确保IOPB模型能够被正确地执行，文中提出IOPB模型的弱合理性(rrlaxd soundese)作为IOPB模型的正确性标准之一.IOPB模型是一种复合模型，其规模一般较大，采用基于状态空间的分析方法，容易产生状态空间爆炸问题，为此文中提出基于不变量的分解方法，能够将一个弱合理的无回路IOPB模型分解为一组顺序图，并提出相关定理：一个无回路IOPN模型是弱合理的当且仅当其可以被分解为一组合法的顺序图.

关键词：工作流协同模型合理性不变量分解

来源：评论

学校读者我要写书评

暂无评论

基于样本的半自动图像集前背景分割

基于样本的半自动图像集前背景分割

引用

第九届中国计算机图形学大会(Chinagraph‘2012)

作者：汪粼波郭延文夏天辰金国平南京大学计算机软件新技术国家重点实验室江苏南京 210046 南京大学计算机科学与技术系江苏南京 210046

图像集的前背景分割是近年来图像处理与图形学领域的一项热点研究工作。对图像集中图像逐个进行交互分割涉及大量的用户操作，效率低下，而联合分割方法通常局限于处理具有相似前景的图像集，且因需求解大规模的优化问题较为耗时。鉴于... 详细信息

图像集的前背景分割是近年来图像处理与图形学领域的一项热点研究工作。对图像集中图像逐个进行交互分割涉及大量的用户操作，效率低下，而联合分割方法通常局限于处理具有相似前景的图像集，且因需求解大规模的优化问题较为耗时。鉴于此，本文提出了一种基于样本的半自动图像集分割方法，该方法利用样本图像与其余待分割图像的相关性，基于学习的方法传播样本图像的分割信息并指导实现目标图像的自动分割，再交互修复错误分割实现整个图像集的精确分割。

关键词：图像集前背景手动交互半自动分割局部修正

来源：评论

学校读者我要写书评

暂无评论

基于浅景深和构图的图像质量评价

基于浅景深和构图的图像质量评价

引用

第九届中国计算机图形学大会(Chinagraph‘2012)

作者：顾婷婷郭延文殷昆燕南京大学计算机软件新技术国家重点实验室，江苏南京 210046 南京大学计算机科学与技术系，江苏南京 210046

随着数码设备的不断发展，图像质量评价方法从噪声、清晰度、分辨率等底层因素逐渐转向美学的角度进行评价。对于图像的“美学”特征，我们可以从一个专业的摄影者的角度关注图像的主题、构图、清晰度、颜色光线的配合等因素进行评价。... 详细信息

随着数码设备的不断发展，图像质量评价方法从噪声、清晰度、分辨率等底层因素逐渐转向美学的角度进行评价。对于图像的“美学”特征，我们可以从一个专业的摄影者的角度关注图像的主题、构图、清晰度、颜色光线的配合等因素进行评价。一幅符合美学标准的图像必须首先具备一个明确的主题，具有能够吸引观察者注意力的主体并尽可能去除转移注意力的其它物。基于上述考虑，本文提出了一种结合图像景深和构图的质量评价方法：一方面，提出了一种基于模糊度量的浅景深判断方法，浅景深的图像能够突出主题、虚化背景，具有更强的视觉冲击力与美学表现力;另一方面，提出了一种基于“三分法”的图像构图评价方法，符合“三分法”构图的图像布局更加紧凑有力、简洁明了、符合人类的欣赏习惯;最后，将浅景深判断与图像构图评价进行结合，从美学的角度自动地对图像进行客观、综合的评价。从实验结果可以看出，根据本文方法选出的高质量图像也符合人类主观的美学需求。

关键词：浅景深判断图像构图质量评价美学标准

来源：评论

学校读者我要写书评

暂无评论

一种基于能耗的CPS软件可信管理框架

一种基于能耗的CPS软件可信管理框架

引用

第十一届全国软件与应用学术会议(NASAC2012)

作者：张侃张广泉张茗泰陈名才苏州大学计算机科学与技术学院苏州 215006 南京大学计算机软件新技术国家重点实验室南京 210093

信息物理融合系统(Cyber Physical Systems,CPS)是一种融合了物理进程和计算进程的嵌入式网络系统,在CPS中,多种异构嵌入式软件通过网络交互,如何有效保证这些软件及其交互的可信性是值得关注的问题。由于软件可信性受能耗约束,因此需... 详细信息

信息物理融合系统(Cyber Physical Systems,CPS)是一种融合了物理进程和计算进程的嵌入式网络系统,在CPS中,多种异构嵌入式软件通过网络交互,如何有效保证这些软件及其交互的可信性是值得关注的问题。由于软件可信性受能耗约束,因此需要研究能耗对软件可信性的影响。针对这一问题,提出一种基于能耗的CPS 软件可信管理框架。该框架通过监测基于能耗的CPS 软件可信属性指标,评估CPS 软件的可信性,评估结果作为CPS 软件演化依据。这一过程的核心是可信性评估,可信性评估分为两个阶段：首先根据可信性指标模型,评估CPS 软件可信性;然后根据软件交互结构评估软件交互可信性;最后通过一个实例说明了提出方法的有效性。

关键词： CPS 能耗可信性指标模型软件可信性评估软件可信管理

来源：评论

学校读者我要写书评

暂无评论

变异测试:原理、优化和应用

引用

计算机科学与探索 2012年第12期6卷 1057-1075页

作者：陈翔顾庆南通大学计算机科学与技术学院江苏南通226019 南京大学软件新技术国家重点实验室南京210093

变异测试是一种基于缺陷的软件测试技术,在近四十年得到国内外学者的广泛关注,并取得了一些研究成果。对已有的研究工作进行总结,将其分为变异测试原理、优化和应用三个模块。其中在变异测试原理模块中,给出变异测试的基本假设,对变异... 详细信息

变异测试是一种基于缺陷的软件测试技术,在近四十年得到国内外学者的广泛关注,并取得了一些研究成果。对已有的研究工作进行总结,将其分为变异测试原理、优化和应用三个模块。其中在变异测试原理模块中,给出变异测试的基本假设,对变异测试分析流程进行介绍,并对其中的重要概念依次给出定义,从静态检测和动态检测两个角度对等价变异体检测技术进行总结。在变异测试优化模块中,从变异体选择优化和变异体执行优化两个角度对已有研究工作进行总结。在变异测试应用模块中,选择了测试用例集充分性评估、测试用例生成和回归测试三个应用领域,对研究工作进行分类总结。最后对变异测试的未来研究方向进行了展望。

关键词：变异测试等价变异体测试用例集充分性测试用例生成回归测试

来源：评论

学校读者我要写书评

暂无评论

基于LLVM的栈数据保护

引用

软件导刊 2012年第8期11卷 129-132页

作者：沈达宇黄皓南京大学软件新技术国家重点实验室江苏南京210046 南京大学计算机科学与技术系江苏南京210046

传统的栈保护都是对栈中的返回地址等控制数据进行保护,并没有对栈中的数据进行保护。提出了对栈数据保护机制的基本思想是对内存中的数据进行随机化。通过对程序的修改,插装新的指令,使得保存到内存上的数据随机化。这种方式能有效地... 详细信息

传统的栈保护都是对栈中的返回地址等控制数据进行保护,并没有对栈中的数据进行保护。提出了对栈数据保护机制的基本思想是对内存中的数据进行随机化。通过对程序的修改,插装新的指令,使得保存到内存上的数据随机化。这种方式能有效地阻止非控制数据的破坏,甚至起到一定效果的内存数据隐私保护。基于开源的LLVM编译器系统平台,实现了一个编译优化Pass模块,在获取源文件时经过该Pass模块优化后生成的可执行程序能够免受非控制数据攻击的危害。

关键词：软件安全非控制数据 LLVM Pass模块数据随机化

来源：评论

学校读者我要写书评

暂无评论

基于多特征综合的视频拷贝检测技术研究

基于多特征综合的视频拷贝检测技术研究

引用

第九届中国计算机图形学大会(Chinagraph‘2012)

作者：林莹杨扬凌康肖金伟武港山南京大学计算机软件新技术国家重点实验室，江苏省南京市 210046 南京大学计算机科学与技术系，江苏省南京市 210046

伴随着信息化时代的来临，数字视频数据以几何级数的方式在增长。如何在海量视频数据中检测拷贝视频已经成为一个亟待解决的问题。由于拷贝变换的方法种类繁多，给检测处理带来了很大的难度，单一特征难以获得很好的检测效果。由此可知... 详细信息

伴随着信息化时代的来临，数字视频数据以几何级数的方式在增长。如何在海量视频数据中检测拷贝视频已经成为一个亟待解决的问题。由于拷贝变换的方法种类繁多，给检测处理带来了很大的难度，单一特征难以获得很好的检测效果。由此可知，视频拷贝检测技术的一个核心问题就是怎样提高拷贝检测技术对多种多样的拷贝变换的鲁棒性，其研究重点在于寻找有效的表示方法来描述视频的不变特性。在解决这个问题之后，拷贝检测又将面临着另一个核心问题，就是怎样进一步来提高视频拷贝检测的精度，其研究重点在于寻找适当的视频相似度匹配算法。针对以上问题，本文提出一种基于多特征综合的视频拷贝检测方法提高系统对于多种多样的拷贝变换的鲁棒性，解决海量视频数据的高效检索问题;并进一步使用基于nonorthogonal binary subspace(简称NBS)的图像相似度比对技术方法，来提高视频帧内容相似度比对的精度。

关键词：多特征综合视频数据拷贝检测鲁棒性图像相似度比对

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

第十一届全国软件与应用学术会议(NASAC2012)

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

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

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

关键词：软件安全性 COP 编程模型

来源：评论

学校读者我要写书评

暂无评论

一个基于后备服务的高可靠工作流开发模型及其支撑工具的实现

一个基于后备服务的高可靠工作流开发模型及其支撑工具的实现

引用

第十一届全国软件与应用学术会议(NASAC2012)

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

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

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

关键词：工作流可靠性 web服务

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：