公共文化服务平台

共 3 条记录，以下是 1-3

全选清除导出

排序方式：

基于动态行为建模的CPS计算实体建模方法被引量：9: 2016年; 信息物理融合系统(Cyber-Physical System,CPS)自给出以来就备受关注。一个CPS系统设计的好坏关键取决于其设计前期的系统模型的创建。如何对一个CPS系统进行全方位、健壮性、安全性的建模是国内外研究的焦点和难点。在前人的基础之上,把CPS系统分为物理实体、计算实体和控制实体,给出了一种CPS系统计算实体的建模方法:基于动态行为建模的UML建模方法 DBM UML(Dynamic behavior modeling-UML),对整个系统的结构进行详细的分析,将其对应的状态机抽象出来,先通过状态机的动态行为建模对系统进行模型化,再通过UML建模语言对整个系统计算实体进行详细化建模,把系统的逻辑关系和反馈机制等详尽的表现出来,完成系统的计算实体建模。; 叶枫夏阳申朝祥朱云超; 关键词：UML 状态机

一种基于图匹配的语义Web服务发现方法被引量：2: 2013年; 接到请求时,如何快速准确地查找满足用户需求的服务是服务发现的目的所在.现有的服务发现方法大都通过对服务功能属性的匹配计算来进行服务查找,对服务的过程模型并没有进行相应地匹配,导致服务的查找效率较低.本文提出在服务功能属性的相似度计算时,将服务的输入输出参数根据其依赖关系进行配对,同时将服务过程模型转换成对应的有向树表示,通过对树同构的判断和有向树中结点及边的相似度计算得到对应服务过程之间的相似度,并在此基础上设计了服务发现框架.实验表明该方法有较高的查准率和较快的查询响应时间.; 夏阳赵强黄潇; 关键词：WEB服务相似度计算服务发现框架

一种基于程序功能标签切片的制导符号执行分析方法被引量：4: 2019年; 提出了一种基于程序功能标签切片的制导符号执行分析方法OPT-SSE.该方法从程序功能文档提取功能标签,利用程序控制流分析,建立各功能标签和程序基本块的映射关系,并根据功能标签在程序执行中的顺序关系生成功能标签执行流.针对给定的代码目标点,提取与之相关的功能执行流切片,根据预定义好的功能标签流制导规则进行符号执行分析,在路径分析过程中,及时裁剪无关的功能分支路径以提升制导效率.通过对不同的功能标签流进行分离制导符号执行分析,可避免一直执行某复杂循环体的情形,从而提高对目标程序的整体分支覆盖率和指令覆盖率.实验结果表明,通过对binutils、gzip、coreutils等10个不同软件中的20个应用工具上的分析,OPT-SSE与KLEE提供的主流搜索策略相比,代码目标制导速度平均提升到4.238倍,代码目标制导成功率平均提升了31%,程序指令覆盖率平均提升了8.95%,程序分支覆盖率平均提升了8.28%.; 甘水滔王林章谢向辉秦晓军周林陈左宁; 关键词：搜索策略程序切片

全选清除导出

共1页<1>

国家自然科学基金(61170066)