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

电子学报 2011年第5期39卷 1127-1130页

作者：曹春红王利民赵大哲东北大学信息科学与工程学院辽宁沈阳110819 吉林大学计算机科学与技术学院吉林长春130012 计算机软件新技术国家重点实验室南京大学江苏南京210093 医学影像计算教育部重点实验室东北大学辽宁沈阳110819

一个约束描述了一个应该被满足的关系,一旦用户已经定义了一系列的关系,那么在修改参数之后,系统会自动选择合适的状态来满足约束.在将几何约束问题的约束方程组转化为优化模型的时候,引入一种利用元胞演化规律和蚂蚁寻优特点的离散元... 详细信息

一个约束描述了一个应该被满足的关系,一旦用户已经定义了一系列的关系,那么在修改参数之后,系统会自动选择合适的状态来满足约束.在将几何约束问题的约束方程组转化为优化模型的时候,引入一种利用元胞演化规律和蚂蚁寻优特点的离散元胞蚂蚁算法.离散元胞蚂蚁算法是一种新型的仿生算法,它利用元胞在离散元胞空间的演化规律和蚂蚁寻优的特点,为解决实际问题提供了一种优化方法.实验表明,该方法可以比较有效的处理几何约束问题.

关键词：几何约束求解元胞自动机蚂蚁算法

来源：评论

学校读者我要写书评

暂无评论

基于关系模型的进化算法收敛性分析与对比

引用

计算机学报 2011年第5期34卷 801-811页

作者：黄翰林智勇郝志峰张宇山李学强华南理工大学软件学院广州510006 南京大学计算机软件新技术国家重点实验室南京210093 广东技术师范学院计算机科学学院广州510665 广东工业大学计算机学院广州510006 广东商学院数学与计算科学学院广州510320

研究建立了一种等态等价关系与强/弱态偏序关系模型,用于分析进化算法在收敛性上的等价性与可比性.基于吸收态Markov(马尔可夫)性,满足等态关系的进化算法具有等价的收敛性,从而在收敛性意义上实现了进化算法的等价类划分.在等态关系基... 详细信息

研究建立了一种等态等价关系与强/弱态偏序关系模型,用于分析进化算法在收敛性上的等价性与可比性.基于吸收态Markov(马尔可夫)性,满足等态关系的进化算法具有等价的收敛性,从而在收敛性意义上实现了进化算法的等价类划分.在等态关系基础上,建立了弱态和强态的偏序关系,提出了一种对比进化算法收敛性的数学工具,在此基础上设计了更为强态的进化算法.文章运用所得理论分析了采用不同变异算子的(1+1)EA算法之间的关系,并用数值实验予以验证.文章提出的关系模型可以作为研究进化算法在收敛性上等价、对比和改进的一种理论基础.

关键词：进化算法收敛性等态关系强/弱态关系

来源：评论

学校读者我要写书评

暂无评论

改进的程序时序安全属性模型检测技术

引用

计算机工程 2011年第7期37卷 28-30页

作者：张志张林曾庆凯南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093 上海市信息安全综合管理技术研究重点实验室上海200030

针对程序时序安全属性模型检测技术改进模型检测算法,使安全漏洞状态机以函数为单位进行扩展,简化程序模型检测过程,以提高检测效率。在检测过程中加入别名分析,考虑安全操作之间的数据流依赖关系,以提高检测的准确性。实验结果表明,改... 详细信息

针对程序时序安全属性模型检测技术改进模型检测算法,使安全漏洞状态机以函数为单位进行扩展,简化程序模型检测过程,以提高检测效率。在检测过程中加入别名分析,考虑安全操作之间的数据流依赖关系,以提高检测的准确性。实验结果表明,改进后的方法比原检测方法具有更高的效率和准确性。

关键词：时序安全属性模型检测别名分析

来源：评论

学校读者我要写书评

暂无评论

安全关键系统的软件可靠性评估方法

引用

计算机科学 2011年第12期38卷 135-138页

作者：张德平徐宝文南京航空航天大学计算机科学与与技术学院南京210016 南京大学软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

基于统计测试的Markov使用链模型对安全关键系统的可靠性估计提出了一种有效的方法。该方法利用重要抽样技术在保证估计的无偏性条件下,以可靠性估计的方差最小为目的,通过Ali-Silvey距离度量两个分布之间的差异,调整各个状态之间的转... 详细信息

基于统计测试的Markov使用链模型对安全关键系统的可靠性估计提出了一种有效的方法。该方法利用重要抽样技术在保证估计的无偏性条件下,以可靠性估计的方差最小为目的,通过Ali-Silvey距离度量两个分布之间的差异,调整各个状态之间的转移概率分布,修正测试剖面,增加关键操作的遍历概率。最后给出了软件可靠性估计的最优测试剖面生成迭代算法。仿真结果表明,该方法能明显降低估计方差,在提高估计精度的同时能有效地加速统计测试。

关键词：软件可靠性统计测试 Markov使用模型重要抽样 Ali-Silvey距离

来源：评论

学校读者我要写书评

暂无评论

面向数据的流程实现中不同层的服务匹配

引用

计算机工程 2011年第11期37卷 64-66页

作者：李婷刘国华王颖蔡换换张大伟李慧芳燕山大学信息科学与工程学院河北秦皇岛066004 东华大学计算机科学与技术学院上海201620 南京大学计算机软件新技术国家重点实验室南京210093

在逻辑模型向物理模型转换的过程中,逻辑层与物理层间存在服务匹配问题。为此,提出一种基于语义相似度的逻辑层与物理层服务匹配方法,解决以数据为中心的流程实现过程中不同层间的服务匹配问题。在匹配过程中引入服务接口间的3种依赖关... 详细信息

在逻辑模型向物理模型转换的过程中,逻辑层与物理层间存在服务匹配问题。为此,提出一种基于语义相似度的逻辑层与物理层服务匹配方法,解决以数据为中心的流程实现过程中不同层间的服务匹配问题。在匹配过程中引入服务接口间的3种依赖关系,以提高匹配的准确率和召回率。实验验证了该方法的有效性。

关键词：业务工单业务流程管理逻辑层服务物理服务语义匹配

来源：评论

学校读者我要写书评

暂无评论

基于二次插值法的社会情感优化算法

引用

计算机应用 2011年第9期31卷 2522-2525,2533页

作者：武建娜崔志华刘静太原科技大学计算机科学与技术学院太原030024 太原科技大学复杂系统与计算智能实验室太原030024 南京大学计算机软件新技术国家重点实验室南京210093

社会情感优化算法是一种模拟人类社会行为的新型群智能优化算法,算法中考虑了个体决策能力以及个体的情感对寻优结果的影响,因此算法的多样性比常见的群智能算法改善了很多,但是局部搜索能力还有待提高。二次插值法是一种局部搜索能力... 详细信息

社会情感优化算法是一种模拟人类社会行为的新型群智能优化算法,算法中考虑了个体决策能力以及个体的情感对寻优结果的影响,因此算法的多样性比常见的群智能算法改善了很多,但是局部搜索能力还有待提高。二次插值法是一种局部搜索能力较强的搜索方法,把二次插值法引入社会情感优化算法,搜索效果会改善。通过使用测试函数对算法的优化性能进行测试,证明把二次插值法引入社会情感优化算法,可以使得社会情感优化算法的局部搜索能力增强,从而增强了社会情感优化算法的全局搜索能力。

关键词：社会情感优化算法个体决策能力个体情感二次插值法全局搜索能力

来源：评论

学校读者我要写书评

暂无评论

基于即时验证的软件验证工具改进设计与实现

引用

计算机科学 2011年第10期38卷 145-151页

作者：郭丽娟胡军张剑南京航空航天大学信息科学与技术学院南京210016 南京大学计算机软件新技术国家重点实验室南京210093

基于设计模型的分析技术是现代复杂嵌入式软件系统高可靠性的重要保障手段。基于即时验证(On-the-flyverification)方法对一个构件化嵌入式软件设计模型原型验证工具T-CBESD进行了改进设计与实现。集成Topcased和JFLAP扩展了T-CBESD图... 详细信息

基于设计模型的分析技术是现代复杂嵌入式软件系统高可靠性的重要保障手段。基于即时验证(On-the-flyverification)方法对一个构件化嵌入式软件设计模型原型验证工具T-CBESD进行了改进设计与实现。集成Topcased和JFLAP扩展了T-CBESD图形化建模接口;设计并实现了相关输入处理与转换;重新设计并实现了状态空间数据结构,包括功能、非功能行为(实时、资源、能耗等)验证问题在内的多个基于路径的一致性即时验证算法。给出了改进工具在火灾预警系统中的应用实例与分析。

关键词：嵌入式软件设计 UML交互概观图模型接口自动机即时验证算法形式化验证工具

来源：评论

学校读者我要写书评

暂无评论

基于高斯超像素的快速Graph Cuts图像分割方法

引用

自动化学报 2011年第1期37卷 11-20页

作者：韩守东赵勇陶文兵桑农华中科技大学系统工程研究所武汉430074 华中科技大学计算机科学与技术学院武汉430074 南京大学计算机软件新技术国家重点实验室南京210093 华中科技大学图像识别与人工智能研究所武汉430074

提出了一种交互式的快速图像分割方法.该方法通过使用高斯超像素来构建Graph cuts模型以实现加速.首先,利用融合了边缘置信度的快速均值漂移算法,将原始图像高效地预分割为多个具有准确边界的同质区域,并将这些区域描述为超像素,用于构... 详细信息

提出了一种交互式的快速图像分割方法.该方法通过使用高斯超像素来构建Graph cuts模型以实现加速.首先,利用融合了边缘置信度的快速均值漂移算法,将原始图像高效地预分割为多个具有准确边界的同质区域,并将这些区域描述为超像素,用于构建精简的加权图.然后,使用区域的彩色高斯统计对超像素进行特征描述,并在信息论空间中对高斯距离度量进行设计.另外,为了准确而精炼地对先验知识进行参数化学习,本文还使用了分量形式的期望最大化混合高斯(Component-wise expectation-maximization for Gaussian mixtures,CEMGM)算法对用户交互进行聚类.最后,在改进的加权图模型中应用Graph cuts方法,获得最终的分割结果.通过使用不同的彩色图像进行分割实验比较,仿真结果表明本文的方法在准确性和高效性方面都具有很好的性能.

关键词：图像分割图切分超像素高斯模型均值漂移期望最大化算法

来源：评论

学校读者我要写书评

暂无评论

P2P流量识别技术综述

引用

计算机科学 2011年第10期38卷 6-12页

作者：刘三民孙知信南京航空航天大学信息科学与技术学院南京210016 安徽工程大学计算机与信息学院芜湖241000 南京邮电大学计算机技术研究所南京210003 南京大学计算机软件新技术国家重点实验室南京210093

分析了P2P流量识别的重要性,通过系统归纳现有文献,按流量识别机制将现有识别方案分为基于端口识别法、应用层特征识别法、传输层特征识别法和机器学习方法4大类。并详细地剖析每类识别方法的原理、涉及的关键问题以及解决这些问题的具... 详细信息

分析了P2P流量识别的重要性,通过系统归纳现有文献,按流量识别机制将现有识别方案分为基于端口识别法、应用层特征识别法、传输层特征识别法和机器学习方法4大类。并详细地剖析每类识别方法的原理、涉及的关键问题以及解决这些问题的具体方法和国内外的研究进展,讨论各自存在的优缺点。在此基础之上对未来可能出现的研究趋势做了展望。

关键词：流量识别机器学习决策树支持向量机

来源：评论

学校读者我要写书评

暂无评论

结合语句执行补集的程序错误定位

引用

计算机科学与探索 2011年第6期5卷 522-533页

作者：胡从兴陈林丁晖曾奕南京大学计算机科学与技术系南京210093 上海市计算机软件评测重点实验室上海201114 南京大学计算机软件新技术国家重点实验室南京210093

基于频谱的错误定位方法一般利用覆盖信息为每条语句度量出错的可能,即可疑度,通过逐条检查按可疑度值降序排列的语句序列来确定错误语句。针对已有的方法大多只考虑覆盖信息中语句执行信息的问题,分析了语句执行补集对错误定位的积极影... 详细信息

基于频谱的错误定位方法一般利用覆盖信息为每条语句度量出错的可能,即可疑度,通过逐条检查按可疑度值降序排列的语句序列来确定错误语句。针对已有的方法大多只考虑覆盖信息中语句执行信息的问题,分析了语句执行补集对错误定位的积极影响,进一步提出了在语句执行信息基础上结合语句执行补集的错误定位方法。实验结果表明,与其他方法相比,所提方法能够减少找到错误时需要检查的语句数目,从而达到提高错误定位效果的目的。

关键词：软件测试覆盖信息错误定位调试

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：