国家自然科学基金(60603031)
- 作品数：13 被引量：52H指数：5
- 相关作者：刘磊张晶金英郑晓娟张红更多>>
- 相关机构：吉林大学东北师范大学更多>>
- 发文基金：国家自然科学基金国家教育部博士点基金吉林省科技发展计划基金更多>>
- 相关领域：自动化与计算机技术更多>>
- Pi演算与动态描述逻辑DDL的关系研究被引量：1
- 2008年
- 分析了Pi演算与动态描述逻辑DDL之间的关系:DDL分别从静态结构与动态结构两方面对Pi演算的若干过程定义进行描述,体现了过程的逻辑结构及过程间逻辑关系的变化;以一种基于Pi演算的过程模型为基础,分析了ALC描述逻辑、TBox和ABox的语义,并通过一个例子说明Pi演算对DDL动态知识的变化过程的描述.以上工作表明:DDL的可判定推理可解决基于Pi演算的动态系统的某些一致性检测问题,而Pi演算对动态系统的描述能力可解决DDL动态知识的变化过程的描述问题.
- 刘磊汪美玲高艳华张长海于哲舟
- 关键词：PI演算
- 多线程Java程序安全行为模型的静态检查方法被引量：6
- 2009年
- 多线程作为支持程序结构化和并行化的重要机制,其应用越来越广泛,多线程应用程序的安全性也成为新的研究热点之一.针对Java多线程程序,文中采用参数化扩展上下文无关文法作为其安全相关行为模型的抽象表示,给出了从多线程Java程序自动生成安全相关行为模型的方法,形式地描述了静态检查该模型是否满足安全策略的实现,并应用到携带模型代码方法的实现框架中.该方法为安全执行非信任多线程Java移动代码提供了有效支持.
- 金英李泽鹏张晶刘磊
- 基于CRF的中文组块分析被引量：7
- 2007年
- 提出一种基于条件随机域模型的方法用于中文文本组块分析.该方法将中文组块分析转化为对每个词语赋予一个组块标注符号,再根据条件随机域对标注好的训练语料建立模型,从而预测测试语料中每个词语的组块标注符号.使用北京大学中文树库的测试结果为F1=85.5%,高于隐马尔可夫模型和最大熵马尔可夫模型.实验结果表明,条件随机域在中文组块识别方面有效,并避免了严格的独立性假设和数据归纳偏置问题.
- 徐中一胡谦刘磊
- 关键词：组块分析条件随机域特征函数
- 测试脚本自动生成器的设计与实现被引量：7
- 2008年
- 分析了现有的几种测试脚本生成技术,按照Mosley的同步数据驱动测试框架(CSDDT)框架设计并实现了一个针对面向对象程序的测试脚本生成器,通过实例验证了方法的可行性和工具的有效性,降低了产生测试脚本的工作量,对已知测试脚本产生过程中的弱点有很好的改进作用。生成脚本可以从单元测试开始应用,重用性良好,可同时测试多个类与方法,无须特定脚本开发语言。
- 赵斌飞刘磊
- 关键词：软件测试自动化测试脚本
- 软件体系结构在行为与结构演化中的一致性保持被引量：3
- 2007年
- 通过给出的体系结构模型,分析了在体系结构演化中需要保持的一致性,并提出一种基于规则转换的体系结构演化方法.应用通信序列进程(CSP)作为形式化的描述手段,在抽象层定义了体系结构在行为与结构演化中为保持一致性需满足的条件,为每步转换规则进行了形式化约束,使演化结束时的体系结构依然满足一致性条件.
- 郑睿金龙飞刘磊
- 关键词：一致性
- 基于多语言范例的“形式语义学”教学辅助系统
- 2009年
- 针对简单函数式语言、简单过程式语言和简单面向对象式语言等多个程序语言范例,分别定义了它们的操作语义和指称语义,同时设计了一个"形式语义学"教学辅助系统,用于演示不同语言范例程序的基于形式语义定义的可视化解释,该系统使学生可以通过形象生动的动态演示和同步解释,充分理解和掌握程序设计语言的形式语义及其实现.
- 金英郑晓娟张晶孙旭东
- 关键词：形式语义学
- BP数字识别自动监控系统被引量：5
- 2009年
- 设计并实现了磁控溅射仪自动监控系统,对实验过程进行自动监控并记录实验数据,由服务器主控程序监控实验,存储并识别数字数据,识别过程是调用Matlab语言编写的识别系统生成的动态链接库,用BP神经网络训练神经元来进行识别,可以由客户端主控程序调用并查看实验数据曲线,实现实时的远程监控,解决了磁控溅射仪没有数据输出接口不方便记录实验数据的困难及实验过程中高辐射对人体危害的问题.整个系统识别效率高,速度快,准确性高,自动监控实验过程,具有很高的实用价值和应用前景.
- 张红刘磊孙彦峰
- 关键词：神经网络自动监控系统
- 软件安全需求获取方法的研究被引量：8
- 2011年
- 近年来,软件主动式防御思想在软件安全性保障中的地位越来越高,它是一种积极的保障软件安全性的思想,可有效地构建高可信性软件。安全需求的获取是软件安全性保障中最关键的部分,是主动式防御首要完成的任务并且也是最难完成的部分。针对典型的安全需求获取方法,从它们的研究途径、应用情况等方面进行比较和分析,总结并讨论了安全需求获取方法的状况及其未来的发展趋势。上述工作将对安全需求获取方法的研究和实践应用提供有益参考。
- 金英刘鑫张晶
- 关键词：主动式防御安全需求
- 图形化本体建模工具GOM的设计与实现
- 2008年
- 将本体表示语言OWL Lite中相关词条图形化,以图形化结构表示本体模型,设计并实现了一种图形化本体建模工具GOM.GOM以图形化结构表示本体,能够把图形化结构的本体模型转换成OWL Lite语言表示形式;也可读取OWL Lite表示的本体,生成本体模型的图形化结构.GOM实现了图形化结构的本体模型和OWL Lite表示的本体模型间的相互转换,提高了本体模型的可读性,降低了本体建模的工作强度.
- 王旭岩鲁宁范任宏纪祥刘磊
- 关键词：本体建模
- 一种基于描述逻辑的Web服务动态组合算法被引量：6
- 2008年
- 针对W eb服务组合,给出了输出分解匹配度、服务关联图等概念,并提出一种基于描述逻辑的W eb服务动态组合算法.该算法综合考虑了服务的语义、服务组合的质量和效率等因素,可以自动地根据用户的服务请求实现服务的动态组合.
- 刘磊宋雅娟张银平
- 关键词：WEB服务描述逻辑匹配度语义
