您的位置: 专家智库 > >

中国博士后科学基金(2011M500612)

作品数:8 被引量:6H指数:2
相关作者:吕帅刘磊张鹏魏唯李壮更多>>
相关机构:吉林大学中国科学院更多>>
发文基金:中国博士后科学基金国家自然科学基金国家教育部博士点基金更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 8篇中文期刊文章

领域

  • 8篇自动化与计算...

主题

  • 2篇语义
  • 2篇程序切片
  • 1篇形式语义
  • 1篇语义分析
  • 1篇语义研究
  • 1篇元建模
  • 1篇知识库
  • 1篇指称
  • 1篇指称语义
  • 1篇数据流
  • 1篇数据流分析
  • 1篇数据依赖
  • 1篇爬山
  • 1篇切片
  • 1篇切片方法
  • 1篇切片算法
  • 1篇中文
  • 1篇网络
  • 1篇网络词汇
  • 1篇网络文本

机构

  • 7篇吉林大学
  • 1篇中国科学院

作者

  • 6篇吕帅
  • 5篇刘磊
  • 3篇张鹏
  • 2篇魏唯
  • 1篇金英
  • 1篇欧阳丹彤
  • 1篇何丽莉
  • 1篇张睿
  • 1篇张鑫
  • 1篇刘华虓
  • 1篇王智学
  • 1篇高冰冰
  • 1篇李壮
  • 1篇周文博
  • 1篇张鹏
  • 1篇张鹏

传媒

  • 2篇软件学报
  • 1篇计算机研究与...
  • 1篇计算机应用研...
  • 1篇哈尔滨工程大...
  • 1篇计算机科学
  • 1篇吉林大学学报...
  • 1篇Intern...

年份

  • 1篇2017
  • 1篇2016
  • 1篇2015
  • 2篇2014
  • 1篇2013
  • 2篇2012
8 条 记 录,以下是 1-8
排序方式:
改进的基于逆向流分析的C程序切片算法
2014年
为解决切片算法时空开销太大的问题,提出一种改进的基于逆向流的静态切片算法。只需通过分析控制依赖,获得程序整体框架,再从切片点开始基于逆向控制流从里向外扩张式扫描,在扫描中不断获得只与切片相关的数据依赖,以此得到程序切片。该算法减少了计算控制流的工作量,避免计算谓词依赖集的过程,减少了存储资源开销,提高了切片的效率。
李冰雨吕帅何丽莉
关键词:程序切片数据依赖
一种服务消息交互行为的元建模方法
2017年
为了提高服务消息接口的规范性和交互行为的正确性,提出了一种服务消息交互的元建模方法。基于工作流模型对服务进行建模,通过对消息操作模式予以分析,给出了接口形式化表示和接口相容性检查方法。采用推理规则和递归函数刻画消息传递的语义,讨论了服务交互时各种环境的变化情况。实例分析表明,该方法可以规范服务接口模式,有效地对消息的交互情景进行建模,进而保障服务建模的可靠性。
周文博刘洪佳刘磊张鹏张鹏
关键词:元建模工作流模型形式语义
路标计数启发式引导的分解规划方法
2013年
路标信息能够准确描述智能规划问题解空间的基本形态.提出由路标信息引导的分解规划方法,求解过程由路标计数启发式引导增强爬山算法向目标方向进行,根据路标的完成情况分段求出规划解.从全局范围上看,爬山过程逐渐实现更多的路标,路标计数启发式估值的降低引发规划任务的分解,当搜索过程遇到估值更低的状态时,提取一段爬山路径.如此反复执行"搜索-提取"过程,直至路标计数启发式的估值降低为0,各段爬山路径构成最终的规划解.采用最新国际通用的标准测试问题进行实验测试,结果表明:由路标计数启发式引导的分解规划方法能够更好地发挥路标信息的优势,实现了搜索范围的压缩,可更快地生成规划解.
魏唯欧阳丹彤吕帅
中文网络文本的语义信息处理研究综述被引量:2
2015年
从学术价值和应用价值两方面分析了将计算机学科与语言学学科的研究方法相结合对于研究网络文本的意义,分别从分析网络文本的特性、网络词汇的演化规律以及构建网络文本语言知识库、开发平台和支持工具等方面对该领域中的研究现状与相关工作予以描述与分析,试图明晰面向中文网络文本的语义信息处理的研究内容和路线,为相关研究的进一步开展奠定基础。
刘磊李壮张鑫吕帅
关键词:网络词汇网络语言语义分析知识库
Tabular表达式的指称语义研究被引量:2
2014年
Tabular表达式是一种采用表格化结构组织函数或关系的形式化描述工具,在需求工程领域中具有广泛的应用,为Tabular表达式建立形式的语义模型是非常必要的.针对Tabular表达式通用模型,给出了Tabular表达式的形式文法及指称语义.通过定义形式文法中各语法单元的语义指派方程,描述了Tabular表达式的指称语义,分别对传统类型Tabular表达式和新类型Tabular表达式中一些典型表类型的指称语义进行了描述,并与其他几种Tabular表达式的语义描述方法进行了比较.分析结果表明:该语义描述方法不仅准确描述了Tabular表达式的语义,而且不再受Tabular表达式模型和Tabular表达式类型的限制,打破了现有方法的局限性,是一种非常有效的方法.
张鹏刘磊刘华虓金英
关键词:指称语义
Security Analysis Model, System Architecture and Relational Model of Enterprise Cloud Services
2016年
Cloud computing is one of the fastest growing and popular computer technologies, and there are more and more enterprise services based on the cloud computing. In order to save costs, more and more enterprises and their employees have hired the enterprise cloud services, and put much important information in the cloud gradually. Cloud service systems have become the main targets of malicious attacks. However, the cloud computing technologies are still not perfect, and the management and maintenance of enterprise cloud services are more complex compared to traditional network services of cloud computing. So, enterprise cloud services are more likely to encounter some security problems, and the influenced scale of these security problems is broad. But there are few researches on the security of enterprise cloud services. In this paper, we analyze the software as a service(Saa S) enterprise cloud services and introduce the research status of security problems in cloud computing environment. Combining with the analysis of the characteristics and application architecture of Saa S enterprise cloud services, we propose the security problems analysis model, the analysis system architecture and the relational model. Our researches can support further research of the automatic generation of solutions and guide the deployment of security policies of Saa S enterprise cloud services.
Dang-Dang NiuLei LiuXin ZhangShuai LuZhuang Li
块结构的程序切片方法
2012年
为弥补传统程序切片方法在切片点变量选择上的局限性,提出了一种灵活的切片准则,并基于该切片准则给出了一种新的切片方法.该方法将程序划分成一种块状结构,把切片划分为块内切片和块外切片,利用块内切片算法和块内切片迭代分别求取块内切片和块外切片的结果.实验结果表明,该方法是可行的,弥补了现有程序切片方法的缺陷.
张鹏王智学吕帅张睿刘磊
关键词:程序切片程序块控制流分析数据流分析
智能规划的逻辑编码方式研究被引量:2
2012年
逻辑编码方式的设计和实现是基于转换的规划方法有效处理的关键.对几种智能规划方法中的逻辑编码方式予以分析,分别介绍线性编码、基于Graphplan的编码、基于状态的编码、基于动作的编码、基于命题的编码、基于转移的编码、提升的因果编码、基于多值变元的编码、基于有向二元决策图的编码以及基于约束可满足的编码等,并结合国际规划竞赛和相关论文等的实验结论,说明上述编码方式的有效性和可行性,分析该类编码方式在其他领域的应用前景.最后,提出目前智能规划方法中逻辑编码方式研究所面临的挑战、可能的处理方法,以及与之相关的研究热点与趋势.
吕帅刘磊魏唯高冰冰
关键词:逻辑公理
共1页<1>
聚类工具0