吉林省科技发展计划基金(20050527)
- 作品数：22 被引量：96H指数：6
- 相关作者：刘磊金龙飞付燕宁吴芬芬郭德贵更多>>
- 相关机构：吉林大学北京航空航天大学青岛理工大学更多>>
- 发文基金：吉林省科技发展计划基金国家教育部博士点基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- ATLAS语言实现中的设备分配算法研究被引量：1
- 2007年
- ATLAS是一种专业领域测试语言,其特有的设备分配给该语言的实现带来一定困难.本文提出了一种基于剥夺的启发式双重回溯搜索静态设备分配算法;并针对实际应用中ATE的特点,给出了两个实用的启发函数指导设备分配过程.通过若干实例表明,该算法能够以较高的效率实现静态设备分配.
- 郭德贵刘磊金英程斌
- 关键词：启发函数
- 测试脚本自动生成器的设计与实现被引量：7
- 2008年
- 分析了现有的几种测试脚本生成技术,按照Mosley的同步数据驱动测试框架(CSDDT)框架设计并实现了一个针对面向对象程序的测试脚本生成器,通过实例验证了方法的可行性和工具的有效性,降低了产生测试脚本的工作量,对已知测试脚本产生过程中的弱点有很好的改进作用。生成脚本可以从单元测试开始应用,重用性良好,可同时测试多个类与方法,无须特定脚本开发语言。
- 赵斌飞刘磊
- 关键词：软件测试自动化测试脚本
- Seal演算的偶图语义被引量：2
- 2008年
- 偶图反应系统是一种新的理论工具,其基础是一种强调位置和连接的移动计算图形化模型——偶图,偶图范化了π演算和移动Ambient演算的特征,能够表示具有位置和移动性质的复杂系统.偶图反应系统为普适计算不同层次的设计和实现提供了统一的建模框架.Seal演算是一种用于描述移动计算的进程语言,具有良好的安全性质.文中给出了一种不带复制进程表达式的Seal演算的偶图表示,分析了该Seal演算与其偶图表示间的结构对应和操作对应.本研究扩展了偶图理论的应用范围,展示了偶图理论在描述安全演算方面的能力,为在偶图反应系统框架下研究Seal演算的性质和应用奠定了基础.
- 金龙飞刘磊
- 关键词：SEAL演算偶图
- 描述逻辑的非标准推理及其应用
- 2007年
- 用描述逻辑中的两种非标准推理概念收缩和概念诱导,分别扩展了可满足性问题和包含问题,以解决供应与需求的匹配问题,并提出了改进的排序算法以及有助于完善供需双方资源和需求描述的算法.结果表明,改进后的排序算法有利于供需双方的交互,并且能够尽快排除因为严格特性而部分匹配的供应和需求,从而加快算法的运行速度.
- 张银平刘磊
- 关键词：描述逻辑
- ABC转运器的π-演算模型及其验证
- 2008年
- 将描述并行、分布式和可移动系统的进程代数应用于系统生物学的形式化描述和行为模拟,给出了SBP依赖式ABC转运器的π-演算模型,分析了其基于状态迁移规则的动态行为演变和构象变化过程,并用自动验证π-演算、通信系统演算CCS的移动工作台MWB对该模型进行了状态跟踪和性能验证.π-演算能够在统一的框架之下捕获分子生物系统的两个关键属性:模块化组织和动态行为,对其既能进行质的又能进行量的推理,证明了π-演算用于分子生物过程抽象描述的可行性.
- 张红刘磊
- 关键词：进程代数Π-演算系统生物学
- 一种启发式的信息抽取算法被引量：4
- 2007年
- 提出一种启发式的信息抽取算法,并利用该算法建立一个信息抽取系统.该系统基于文本分块,利用文本的语义特征和结构特征,抽取具有特征的状态,在此基础上,利用反向动态规划和正向A*算法,抽取剩余的无特征状态.通过对100篇论文头部进行测试的结果表明,精确度和召回率比基于单词和传统Viterbi算法的方法均有所提高,启发式算法的性能优于Viterbi算法.
- 吴芬芬刘磊肖宪
- 关键词：启发式算法文本分块
- Pi演算与动态描述逻辑DDL的关系研究被引量：1
- 2008年
- 分析了Pi演算与动态描述逻辑DDL之间的关系:DDL分别从静态结构与动态结构两方面对Pi演算的若干过程定义进行描述,体现了过程的逻辑结构及过程间逻辑关系的变化;以一种基于Pi演算的过程模型为基础,分析了ALC描述逻辑、TBox和ABox的语义,并通过一个例子说明Pi演算对DDL动态知识的变化过程的描述.以上工作表明:DDL的可判定推理可解决基于Pi演算的动态系统的某些一致性检测问题,而Pi演算对动态系统的描述能力可解决DDL动态知识的变化过程的描述问题.
- 刘磊汪美玲高艳华张长海于哲舟
- 关键词：PI演算
- Combinator演算族的π演算语义
- 2006年
- 以SKI演算作为Combinator演算族的代表,通过形式化的手段给出了SKI演算的π演算语义;通过一个实例验证了所论方法的正确性.所给出的转换方法证明了π演算的表达能力:π演算为图灵完备的.由于高阶函数式语言与Combinator演算族之间存在着自然的转换,所给的转换思想不仅为在π演算的理论框架下研究Combinator演算族提供了基础,也为探讨高阶函数式语言的表示和实现问题提供了新途径.
- 张红刘磊
- 关键词：Π演算语义
- 一种并行融合部分求值的别名分析方法被引量：1
- 2006年
- 通过并行融合部分求值和别名分析技术,提出一种新的别名分析方法,并给出形式化描述.实践表明,该方法在具有部分输入的情形下不仅优于传统的别名分析方法,而且优于串行融合部分求值的别名分析方法.
- 黄毅刘磊
- 关键词：别名分析部分求值
- 基于神经网络的中文姓名抽取技术被引量：2
- 2006年
- 设计了一个中文姓名抽取系统,该系统采用神经网络进行汉语句子的分词处理,根据姓名后置特征词进行姓名的抽取,成功解决了尾字和下文成词的姓名抽取问题.以1998年1月份《人民日报》语料库中含有此类姓名的语句作为测试数据,结果表明,姓名抽取的召回率和精确度较现有方法都有很大提高.
- 吴芬芬刘磊
- 关键词：神经网络特征提取
