公共文化服务平台

求解服务等级感知服务组合问题的多目标遗传算法被引量：3: 2015年; 针对已有求解多等级服务部署问题的算法存在的不足,提出了一种求解该问题的多目标遗传算法(SMOGA),建立了求解该问题的多目标优化模型。通过将个体的支配强度和被支配强度结合到一起建立对个体的评价策略,并根据评价结果进行环境选择及生成个体的交叉概率。此外还设计了一种局部搜索策略并将其融入到变异策略中,以提高变异操作的有效性。最后对SMOGA算法进行了分析,并将该算法与最近提出的求解该问题的E3-MOGA算法及NSGA-II算法在不同规模的测试用例上进行了实验对比,结果表明算法SMOGA能够更加有效地解决该问题。; 刘磊杨冬; 关键词：计算机应用多目标优化遗传算法

Tabular表达式的指称语义研究被引量：2: 2014年; Tabular表达式是一种采用表格化结构组织函数或关系的形式化描述工具,在需求工程领域中具有广泛的应用,为Tabular表达式建立形式的语义模型是非常必要的.针对Tabular表达式通用模型,给出了Tabular表达式的形式文法及指称语义.通过定义形式文法中各语法单元的语义指派方程,描述了Tabular表达式的指称语义,分别对传统类型Tabular表达式和新类型Tabular表达式中一些典型表类型的指称语义进行了描述,并与其他几种Tabular表达式的语义描述方法进行了比较.分析结果表明:该语义描述方法不仅准确描述了Tabular表达式的语义,而且不再受Tabular表达式模型和Tabular表达式类型的限制,打破了现有方法的局限性,是一种非常有效的方法.; 张鹏刘磊刘华虓金英; 关键词：指称语义

基于超扩展规则的知识编译方法被引量：11: 2016年; 超扩展规则是对扩展规则的扩充,基于超扩展规则能够求得任意两个非互补且不相互蕴含的子句所能扩展出极大项集的交集与差集,并将所得结果以EPCCL理论的形式保存.该文首次提出了扩展反驳方法,是一种新型推理方法,并在该推理方法与知识编译之间建立了联系.基于超扩展规则的性质,该文还提出了两种知识编译算法:求并知识编译算法UKCHER和求差知识编译算法DKCHER,是两种新的知识编译算法.算法UKCHER是目前为止唯一一个可并行的EPCCL理论编译算法,算法DKCHER对于相变点附近的难解问题具有较高的编译效率和编译质量.实验结果表明:UKCHER算法的编译效率和编译质量均优于Lin等人提出的KCER算法;当子句数和变量数的比值较大时,DKCHER算法的编译效率和编译质量是最优的,相比于现有EPCCL理论编译算法,该算法具有较强的竞争力.; 刘磊牛当当吕帅; 关键词：知识编译

一种服务消息交互行为的元建模方法: 2017年; 为了提高服务消息接口的规范性和交互行为的正确性,提出了一种服务消息交互的元建模方法。基于工作流模型对服务进行建模,通过对消息操作模式予以分析,给出了接口形式化表示和接口相容性检查方法。采用推理规则和递归函数刻画消息传递的语义,讨论了服务交互时各种环境的变化情况。实例分析表明,该方法可以规范服务接口模式,有效地对消息的交互情景进行建模,进而保障服务建模的可靠性。; 周文博刘洪佳刘磊张鹏张鹏; 关键词：元建模工作流模型形式语义

特定领域语言MISPC及其编译框架实现技术被引量：2: 2016年; 基于C语言扩展定义一种新的特定领域编程语言MISPC,并描述其应用于多媒体和无线网络领域主流场景的特征,利用Backus-Naur范式对其数据类型等进行描述.针对该语言特点,提出一个面向异构平台的编译框架,以生成较高性能的目标代码.结合领域中一个经典算法进行验证,实验结果表明,对比不同输入规模、不同版本的代码实现,显著提高了领域开发的效率,并可获得最高5.59倍的执行加速比.通过定义相应高层语言并构建编译框架,提供领域编程框架的系统解决方法和技术,有效降低了领域编程和调试的难度,提升了领域开发效率及程序性能.; 刘磊李振国高艳华丁岩申春刘雷; 关键词：多媒体无线网络 GPU SIMD

一种需求变更影响分析方法被引量：6: 2013年; 需求变化的影响分析通过对其影响进行评估,为软件开发者和管理者提供有效的信息,这项工作在软件开发过程中有重要的意义.面向方面文档驱动需求工程从文本需求出发,提供了基于关注点及其关系的需求模块化、横切关注点判定及生成形式化需求文档等过程和方法.在面向方面文档驱动需求工程方法框架下,给出了一种需求影响分析方法,该方法基于矩阵确定关注点和变量之间的内部联系,应用可达矩阵计算界定关注点和变量的影响范围,定量计算关注点和变量相互之间影响程度,并通过实例分析验证了新方法的有效性.; 刘华虓金英马鹏飞; 关键词：可达矩阵

EPCCL理论的求交知识编译算法被引量：5: 2017年; 超扩展规则是对扩展规则的扩充,基于超扩展规则能够求得任意两个非互补且不相互蕴含的子句所能扩展出极大项集的交集、差集和并集,并将所得结果以EPCCL(each pair of clauses contains complementary literals)理论的形式保存.基于超扩展规则的性质,提出一种EPCCL理论编译算法:求交知识编译算法IKCHER(intersection approach to knowledge compilation based on hyper extension rule).该算法适合难解类SAT问题的知识编译,也是一种可并行的知识编译算法.研究了如何实现多个EPCCL理论的求交操作,证明了EPCCL理论的求交过程是可并行执行的,并设计了相应的并行求交算法PIAE(parellel intersection of any number of EPCCL).通过对输入EPCCL理论对应普通子句集的利用,设计了一种高效的并行求交算法imp-PIAE(improvement of PIAE).基于上述算法,还设计了两种并行知识编译算法P-IKCHER(IKCHER with PIAE)和imp P-IKCHER(IKCHER with imp-PIAE),分别采用PIAE并行合并算法和imp-PUAE并行合并算法.最后,通过实验验证了,大部分情况下,IKCHER算法的编译质量是目前为止所有EPCCL理论编译器中最优的,P-IKCHER算法所使用的合并策略并没有起到加速的效果,反而使得编译效率和编译质量有所下降;imp P-IKCHER算法提高了IKCHER算法的编译效率,CPU四核环境下最高可提高2倍.; 牛当当刘磊吕帅; 关键词：知识编译 CLAUSES CONTAINS COMPLEMENTARY

一种新的基于局部搜索的扩展规则推理方法被引量：5: 2018年; 作为与归结推理方法互补的推理方法,扩展规则推理方法得到了国内外广泛认可.目前扩展规则推理方法的研究主要集中于完备推理方法,由于极大项变换方式过于机械,导致该方法处理公式的规模比较局限.该文在深入分析扩展规则推理和局部搜索关联性的基础上,利用子句集中的"极大项"概念设计了一种反向求解策略,进而设计并实现一种新的基于局部搜索的扩展规则推理框架.在此基础上,为了使得极大项搜索过程更加适配该框架,提出了一种基于精确格局检测实现和双向半扩展规则策略的两阶段局部搜索算法.实验结果表明,该文提出的基于精确格局检测的新型扩展规则推理算法ERACC突破了传统扩展规则推理对公式规模的局限,求解效率有了极大提高,使得扩展规则推理方法不再受公式规模制约,可以用于知识编译和可能性推理等多方面的应用.; 杨洋刘磊李广力张桐搏吕帅; 关键词：局部搜索

Bellman-Ford算法性能可移植的GPU并行优化被引量：7: 2015年; 提出了一种面向GPU的性能可移植的并行归约求极值优化算法和全局访存优化算法,对Bellman-Ford算法进行并行化改造,以解决不同类型GPU设备上都存在的并行粒度不足和全局内存访问不连续等问题。实验结果表明：本文的优化算法在NVIDIA和AMD的多款GPU设备上都取得了很好的效果,经本文算法优化后的程序性能较原始GPU并行版本提升3~6倍。; 刘磊王燕燕申春李玉祥刘雷

模糊语义下知识系统的结构及信息传播的研究被引量：1: 2014年; 文中提出模糊概念空间及规则空间,作为对知识系统进行形式化表示的统一框架.首先,基于形式概念分析理论以及L-模糊集构造了概念粒,通过对概念粒之间关联关系的研究定义了概念射,进而构造了高层次知识单元"概念粒簇".概念粒簇由不同概念粒聚合而成,作为模糊概念空间中的结构层次.其次,通过定义概念粒之间语义整合的先验规则以及积运算构造了规则空间,阐明了概念粒在规则空间的作用下相互之间进行信息传播的机制.文中的结论为进一步研究模糊语义下知识系统的动态构成及演化机制奠定了理论基础.; 赵健刘磊潘欣; 关键词：形式概念分析 L-模糊集

渝B2-20050021-1　渝公网安备 50019002500403号　违法和不良信息举报中心　互联网出版许可证　新出网证(渝)字10号

吉林省重大科技攻关项目(20130206052GX)

文献类型

领域

主题

机构

作者

传媒

年份

用户反馈

吉林省重大科技攻关项目(20130206052GX)

文献类型

领域

主题

机构

作者

传媒

年份

用户登录

用户反馈