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

计算机技术与发展 2015年第10期25卷 7-12页

作者：石娇洁胡军刘雪马金晶黄志球程桢南京航空航天大学计算机科学与技术学院江苏南京210016 南京大学计算机软件新技术国家重点实验室江苏南京210093

由于嵌入式系统模型设计周期越来越短,功能越来越复杂,其安全性分析与验证方法是近年来在安全攸关系统工程领域中出现的一个重要研究热点。针对这种情况,文中提出一种基于模型驱动架构的面向SysML/MARTE状态机的系统安全性分析验证方法... 详细信息

由于嵌入式系统模型设计周期越来越短,功能越来越复杂,其安全性分析与验证方法是近年来在安全攸关系统工程领域中出现的一个重要研究热点。针对这种情况,文中提出一种基于模型驱动架构的面向SysML/MARTE状态机的系统安全性分析验证方法。具体包括:构建了具备SysML/MARTE扩展语义的状态机元模型,以及高级安全性建模与分析语言AltaRica的语义模型GTS的元模型,然后建立了从SysML/MARTE状态机模型到AltaRica模型的语义映射模型转换规则,并基于AMMA平台和故障树分析工具XFTA实现了对SysML/MARTE状态机的模型转换与系统安全性形式化验证框架的构建。最后给出了民用飞机系统中的机轮刹车系统设计模型的例子进行实例验证分析。实验结果表明,提出的嵌入式系统设计模型的安全性分析与验证方法是具有代表性和可执行性的。

关键词：系统安全性分析模型驱动 SysML/MARTE XFTA 状态机模型嵌入式系统模型

来源：评论

学校读者我要写书评

暂无评论

基于三支决策的重叠社团发现算法

基于三支决策的重叠社团发现算法

引用

2013年中国计算机学会人工智能会议

作者：刘有力潘磊贾修一王崇骏谢俊元南京大学计算机科学与技术系南京 210023 南京大学计算机软件新技术国家重点实验室南京 210023 南京理工大学计算机科学与工程学院南京 210046

基于三支决策的重叠社团发现算法(Overlapping Community Detection based Three-Way Decision,OCD-TWD)将社会网络中两个社团之间的归属关系分为：完全属于、完全不属于、不完全属于,并使用三支决策中正域、负域、边界域来刻画社团之... 详细信息

基于三支决策的重叠社团发现算法(Overlapping Community Detection based Three-Way Decision,OCD-TWD)将社会网络中两个社团之间的归属关系分为：完全属于、完全不属于、不完全属于,并使用三支决策中正域、负域、边界域来刻画社团之间的归属关系.OCD-TWD算法定义了节点之间、社团之间的相似度和节点对社团的归属度,使用扩展模块度函数的增大值来反映包含度阈值,进而使用三支决策决策社团间的归属关系来指导社团合并.当决策两个社团的归属关系为完全属于时社团合并,当决策为完全不属于时社团不合并,当决策为不完全属于时提出了重叠节点发现算法(Overlapping Node Detection Algorithm,ONDA)来挖掘社团中的重叠节点.在计算机生成网络和真实世界网络上对OCD-TWD算法进行测试,并和当前重叠社团发现领域中代表性算法进行比较,表明了OCD-TWD算法的可行性和有效性.

关键词：重叠社团发现重叠节点发现三支决策社会网络决策粗糙集

来源：评论

学校读者我要写书评

暂无评论

基于改进蚁群优化算法的云计算调度方法

引用

计算机与数字工程 2019年第4期47卷 743-747,793页

作者：王恩重陶传奇南京理工大学计算机科学与工程学院南京210094 南京航空航天大学计算机科学与技术学院南京210016 计算机软件新技术国家重点实验室(南京大学) 南京210023

云计算以其可伸缩性、高可靠性、低成本以及按需服务等诸多特点吸引了无数研究人员和企业的关注,成为了当今时代的热门话题,云计算任务调度在云计算研究领域占有十分重要的地位。论文首先分析了当前云计算任务调度现状,并对任务调度中... 详细信息

云计算以其可伸缩性、高可靠性、低成本以及按需服务等诸多特点吸引了无数研究人员和企业的关注,成为了当今时代的热门话题,云计算任务调度在云计算研究领域占有十分重要的地位。论文首先分析了当前云计算任务调度现状,并对任务调度中常用的蚁群算法进行了描述,同时针对传统蚁群算法在云计算任务调度中的不足,提出了基于改进蚁群优化算法的云计算调度方法,在信息素更新和信息素挥发两个方面对蚁群算法进行了改进。最后使用CloudSim进行实验,对算法的可行性进行了分析和验证。

关键词：云计算任务调度蚁群优化算法 CloudSim

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

上下文感知计算研究与进展

上下文感知计算研究与进展

引用

第十四届全国多媒体技术、第一届全国普适计算、第一届全国人机交互联合学术会议(第一届全国和谐人机环境联合学术大会)

作者：卜颖毅李俊陈沙寻韩皓陶先平吕建南京大学计算机科学与技术系软件新技术国家重点实验室江苏南京210093

普适计算和传统计算模式相比,它的突出优点在于上下文感知的能力,计算实体能够根据上下文环境的变化及时调整自身行为,从而把人从对计算设备的管理和输入中解放出来,使之关注要执行的任务本身.本文从软件技术的角度探讨了上下文感知计算... 详细信息

普适计算和传统计算模式相比,它的突出优点在于上下文感知的能力,计算实体能够根据上下文环境的变化及时调整自身行为,从而把人从对计算设备的管理和输入中解放出来,使之关注要执行的任务本身.本文从软件技术的角度探讨了上下文感知计算,介绍了它的软件平台结构,分析了它的两项关键技术:上下文融合和上下文自适应,着重综述了近年来该领域中具有代表性的研究成果,简要介绍了一个初步实现的上下文感知计算平台--FollowMe系统,并对未来可能的研究方向进行了展望.

关键词：上下文感知计算普适计算上下文融合上下文自适应

来源：评论

学校读者我要写书评

暂无评论

基于本体的Web服务组合异构消息的转换

基于本体的Web服务组合异构消息的转换

引用

2005’全国软件与应用学术会议(NASAC)

作者：钱柱中戚玉松陆桑璐谢立南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093 南京理工大学光电学院南京210094

Web服务的动态组合中所面临的一个重要问题是不同Web服务之间的消息格式的异构,这使得服务组合的流程定义和服务的选择有了很大的耦合性,因而动态组合变得困难.分析了Web服务组合中消息传递的异构现象,提出了一种基于本体的异构消息自... 详细信息

Web服务的动态组合中所面临的一个重要问题是不同Web服务之间的消息格式的异构,这使得服务组合的流程定义和服务的选择有了很大的耦合性,因而动态组合变得困难.分析了Web服务组合中消息传递的异构现象,提出了一种基于本体的异构消息自动匹配和转换方法.该方法将上游Web服务输出信息通过本体匹配的方式有效的提取出来,并根据对应操作转换为与当前Web服务的输入参数格式相匹配的形式.这样,简化了Web服务组合的过程定义,也能够支持Web服务的替换和过程的动态演化.

关键词： Web服务组合异构消息消息匹配

来源：评论

学校读者我要写书评

暂无评论

三态量子行走的吸收边界问题

三态量子行走的吸收边界问题

引用

第十七届全国量子光学学术会议

作者：王琨吴楠 Parker Kuklinski 徐平胡海星宋方敏南京大学计算机科学与技术系计算机软件新技术国家重点实验室 Department of Mathematics Boston University 固体微结构物理国家重点实验室

作为一种特殊的离散量子行走模型,三态量子行走的演化行为与二态量子行走有显著的区别。本文使用生成函数和离散路径积分的方法研究了三态离散量子行走存在吸收边界时的吸收概率问题。我们理论证明和数值模拟了吸收概率和吸收边界的位... 详细信息

作为一种特殊的离散量子行走模型,三态量子行走的演化行为与二态量子行走有显著的区别。本文使用生成函数和离散路径积分的方法研究了三态离散量子行走存在吸收边界时的吸收概率问题。我们理论证明和数值模拟了吸收概率和吸收边界的位置关系,观察并分析三态量子行走中存在的双峰局域化现象。

关键词：吸收边界

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：