国家教育部博士点基金(20060183044)
- 作品数：22 被引量：76H指数：5
- 相关作者：刘磊吕帅张红魏唯张银平更多>>
- 相关机构：吉林大学东北师范大学吉林省经济管理干部学院更多>>
- 发文基金：国家教育部博士点基金国家自然科学基金吉林省科技发展计划基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于压缩编码的经典最优规划方法被引量：1
- 2010年
- 在基于Graphplan的编码方式的基础上,设计了基于PMA的编码方式,并从理论上证明了该编码方式的有效性;提出了编码求解过程中的一种目标状态预处理策略;设计并实现了相应的规划系统PMA-SP,并利用国际规划竞赛选用的Benchmark问题予以测试。结果表明:与SATPLAN2006相比,对于顺序规划域Blocks World,编码规模压缩了40%,求解效率提高了2倍;对于并发规划域Logistics,编码规模压缩了80%以上,求解效率各有好坏,PMA-SP对于所测两类规划域编码规模有所压缩,求解效率也有一定程度的提高。
- 吕帅刘磊江鸿魏唯
- 关键词：人工智能
- 测试脚本自动生成器的设计与实现被引量：7
- 2008年
- 分析了现有的几种测试脚本生成技术,按照Mosley的同步数据驱动测试框架(CSDDT)框架设计并实现了一个针对面向对象程序的测试脚本生成器,通过实例验证了方法的可行性和工具的有效性,降低了产生测试脚本的工作量,对已知测试脚本产生过程中的弱点有很好的改进作用。生成脚本可以从单元测试开始应用,重用性良好,可同时测试多个类与方法,无须特定脚本开发语言。
- 赵斌飞刘磊
- 关键词：软件测试自动化测试脚本
- 本体的语义变化表示策略被引量：2
- 2009年
- 基于一般本体变化表示方法,提出一种基于语义的本体变化表示方法.该方法能清晰表示本体的变化信息,描述变化的目的,提高变化表示的可理解性,减少变化表示中的冗余操作.阐述了语义变化表示方法的基本形式,分析了这些基本变化对本体的影响,并设计了对应的处理策略,从而使这种方法可以应用到本体演化过程中,提高演化过程的处理能力.
- 鲁宁刘磊
- 关键词：本体演化
- Pi演算与动态描述逻辑DDL的关系研究被引量：1
- 2008年
- 分析了Pi演算与动态描述逻辑DDL之间的关系:DDL分别从静态结构与动态结构两方面对Pi演算的若干过程定义进行描述,体现了过程的逻辑结构及过程间逻辑关系的变化;以一种基于Pi演算的过程模型为基础,分析了ALC描述逻辑、TBox和ABox的语义,并通过一个例子说明Pi演算对DDL动态知识的变化过程的描述.以上工作表明:DDL的可判定推理可解决基于Pi演算的动态系统的某些一致性检测问题,而Pi演算对动态系统的描述能力可解决DDL动态知识的变化过程的描述问题.
- 刘磊汪美玲高艳华张长海于哲舟
- 关键词：PI演算
- 一种实时多目标路径规划方法被引量：1
- 2010年
- 提出一种利用实时搜索思想的多目标路径规划方法。首先设计并实现局部路径规划算法,在有限的局部空间内执行启发式搜索,求解所有局部非支配路径;在此基础上,提出实时多目标路径规划方法,设计并实现相应的启发式搜索算法,在线交替执行局部搜索过程、学习过程与移动过程,分别用于求解局部空间内的最优移动路径,完成状态的转移和更新状态的启发信息,最终到达目标状态。研究表明,实时多目标启发式搜索算法通过限制局部搜索空间,避免了大量不必要的计算,提高了搜索效率,能够高效地求解多目标路径规划问题。
- 魏唯欧阳丹彤吕帅
- 关键词：实时搜索启发式搜索
- 基于CRF的中文组块分析被引量：7
- 2007年
- 提出一种基于条件随机域模型的方法用于中文文本组块分析.该方法将中文组块分析转化为对每个词语赋予一个组块标注符号,再根据条件随机域对标注好的训练语料建立模型,从而预测测试语料中每个词语的组块标注符号.使用北京大学中文树库的测试结果为F1=85.5%,高于隐马尔可夫模型和最大熵马尔可夫模型.实验结果表明,条件随机域在中文组块识别方面有效,并避免了严格的独立性假设和数据归纳偏置问题.
- 徐中一胡谦刘磊
- 关键词：组块分析条件随机域特征函数
- ATLAS语言实现中的设备分配算法研究被引量：1
- 2007年
- ATLAS是一种专业领域测试语言,其特有的设备分配给该语言的实现带来一定困难.本文提出了一种基于剥夺的启发式双重回溯搜索静态设备分配算法;并针对实际应用中ATE的特点,给出了两个实用的启发函数指导设备分配过程.通过若干实例表明,该算法能够以较高的效率实现静态设备分配.
- 郭德贵刘磊金英程斌
- 关键词：启发函数
- SetPi-演算及其对本体演化的建模
- 2010年
- 对Pi-演算进行语法扩展,提出了一种新的演算:SetPi-演算,在Pi-演算原有语义的基础上引入了"集合"的思想,从而解决了Pi-演算无法添加进程的弊端。详细给出SetPi-演算的形式化表示方法及其语义,刻画了SetPi-演算的结构同余规则和归约规则等,并进一步对SetPi-演算的描述能力进行了界定和分析;最后将SetPi-演算应用于本体演化领域,描述本体演化的基本变更操作,实现了其形式化建模。
- 刘磊范茸张睿吕帅张义飞
- 关键词：形式化PI-演算本体演化
- BP数字识别自动监控系统被引量：5
- 2009年
- 设计并实现了磁控溅射仪自动监控系统,对实验过程进行自动监控并记录实验数据,由服务器主控程序监控实验,存储并识别数字数据,识别过程是调用Matlab语言编写的识别系统生成的动态链接库,用BP神经网络训练神经元来进行识别,可以由客户端主控程序调用并查看实验数据曲线,实现实时的远程监控,解决了磁控溅射仪没有数据输出接口不方便记录实验数据的困难及实验过程中高辐射对人体危害的问题.整个系统识别效率高,速度快,准确性高,自动监控实验过程,具有很高的实用价值和应用前景.
- 张红刘磊孙彦峰
- 关键词：神经网络自动监控系统
- 软件体系结构在行为与结构演化中的一致性保持被引量：3
- 2007年
- 通过给出的体系结构模型,分析了在体系结构演化中需要保持的一致性,并提出一种基于规则转换的体系结构演化方法.应用通信序列进程(CSP)作为形式化的描述手段,在抽象层定义了体系结构在行为与结构演化中为保持一致性需满足的条件,为每步转换规则进行了形式化约束,使演化结束时的体系结构依然满足一致性条件.
- 郑睿金龙飞刘磊
- 关键词：一致性
