形式化语义

作品数：51被引量：123H指数：6
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：侯金奎张广泉黄正宝王磊蒋国明更多>>
相关机构：潍坊学院山东大学苏州大学浙江师范大学更多>>
相关期刊：《上海交通大学学报》《电子科技文摘》《软件》《计算机技术与发展》更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划国家重点实验室开放基金山东省科技攻关计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于K Framework的向量化机器学习指令语义形式化
《软件学报》2023年第8期3853-3869,共17页黄厚华 刘嘉祥 施晓牧 
深圳市科创委基础研究面上项目(JCYJ20210324094202008);国家自然科学基金(62002228);深圳市高等院校稳定支持计划(20200810045225001)。
ARM针对ARMv8.1-M微处理器架构推出基于M-Profile向量化扩展方案的技术,并命名为ARM Helium,声明能为ARM Cortex-M处理器提升达15倍的机器学习性能.随着物联网的高速发展,微处理器指令执行正确性尤为重要.指令集的官方手册作为芯片模拟...
关键词：ARMv8.1-M架构 向量化指令 机器学习 K Framework 形式化语义 
以太坊中间语言的可执行语义被引量：5
《软件学报》2021年第6期1717-1732,共16页韩宁 李希萌 张倩颖 王国辉 施智平 关永 
国家自然科学基金(61572331,61602325,61802375,61876111,61877040,62002246);北京市教育委员会科技计划(KM20190028005,KM202010028010);中国科学院计算技术研究所计算机体系结构国家重点实验室开放课题(CARCH201920)。
智能合约是实现各类区块链应用的核心软件程序.近期,以太坊区块链平台(Ethereum)上的智能合约暴露出大量错误和安全隐患,在国际上引发了智能合约形式化验证的研究热潮.为提供高可信度的验证结果,智能合约程序语言的形式化必不可少.对以...
关键词：智能合约 Yul语言 Isabelle/HOL 形式化语义 以太坊 
基于一阶逻辑的需求变更影响分析方法研究
《数字技术与应用》2020年第4期55-61,共7页彭钊 杜天保 
需求的变更影响分析过程无论是对于降低系统维护的代价或者是保证系统对变更需求正确的实现都有着至关重要的意义。已有的变更影响分析的研究主要存在两个方面的问题:一方面,当前的有关需求变更影响分析的研究主要侧重于需求到代码之间...
关键词：需求间变更影响分析 一阶逻辑 形式化语义 可追踪性 
UML顺序图形式化语义的研究综述被引量：6
《计算机科学》2017年第2期17-30,64,共15页郭艳燕 张楠 童向荣 
国家自然科学基金项目(61403329;61502410;61572418);山东省自然科学基金项目(ZR2015PF010;ZR2013FQ020;ZR2014FL009;ZR2014FQ016);山东省高等学校科技计划项目(J15LN09;J14LN23)资助
为UML顺序图构建形式化语义,不仅有利于精确描述软件系统的动态交互过程,而且有利于进行基于UML模型的分析和验证,是有效提高软件系统可靠性的重要保障。结合近年来国内外对UML顺序图形式化语义的研究工作,分类阐述了各种方法,综合分析...
关键词：统一建模语言UML 形式化方法 顺序图 组合交互片段 指称语义 操作语义 
利用Pi演算实现对服务交互流程的设计被引量：1
《数字技术与应用》2016年第4期166-166,共1页刘亚亚 姜久雷 
Pi演算作为一种移动进程代数,可用于分析和设计并行的分布式业务流程。基于Pi演算实现对跨组织服务交互流程的结构与形式化模型设计,主要包括基本服务交互流程和动态交互流程两部分。前者通过Pi演算基本的形式化语义构建交互模型并实现...
关键词：PI演算 服务交互流程 形式化语义 
面向移动云服务系统的形式化语义描述方法
《计算机应用研究》2016年第2期467-472,共6页侯金奎 张玉艳 
山东省优秀中青年科学家科研奖励基金计划资助项目(BS2011DX039);山东省科技发展计划资助项目(2011YD01042;2011YD01043);山东省高等学校优秀中青年骨干教师国际合作培养计划资助项目(2013)
针对移动云服务系统构建过程中架构设计和语义描述等方面存在的问题,以类型范畴理论为基础,为基于agent的移动云服务系统建立了一种形式化语义描述模型。该方法中,将agent描述为范畴理论中的对象节点,agent之间的交互和依赖关系作为态射...
关键词：移动云服务 AGENT 形式化描述 语义验证 范畴理论 
基于构件的服务模型形式化语义描述
《华中科技大学学报（自然科学版）》2013年第S2期1-5,共5页侯金奎 王磊 张奎廷 
山东省优秀中青年科学家科研奖励基金资助项目(BS2011DX039);山东省科技发展计划资助项目(2011YD01042;2011YD01043)
为解决服务系统描述和构建过程中服务的组合和验证等方面的问题,以范畴理论为基础,引入进程代数,为服务系统的架构模型提出了一种形式化的语义描述方法.整个服务结构模型通过由服务标志和标志态射构成的范畴图表来描述,态射用来表示服...
关键词：服务系统 服务组合 形式化语义 体系架构模型 范畴理论 
基于Agent的分布式模型形式化语义描述
《计算机应用》2013年第12期3423-3427,3440,共6页侯金奎 王磊 
山东省优秀中青年科学家科研奖励基金资助项目(BS2011DX039);山东省科技发展计划项目(2011YD01042;2011YD01043)
为解决分布式系统构建过程中系统组合和语义验证等方面的问题,基于范畴理论和进程代数,为基于Agent的分布式系统模型提出了一种形式化的语义描述框架。范畴图表用于描述整个系统的结构模型,态射用来表示系统各组成部分之间的交互和协作...
关键词：分布式系统 系统组合 形式化语义 范畴理论 AGENT 
支持冲突检测的P3P形式化语义研究
《计算机科学与探索》2013年第10期905-915,共11页孙艺 黄志球 沈国华 柯昌博 
国家自然科学基金No.61272083;中央高校基本科研业务费专项资金No.56XAA12022;南京航空航天大学博士学位论文创新与创优基金No.BCXJ12-14~~
隐私偏好平台(platform for privacy preferences,P3P)是现今世界上广泛使用的隐私策略语言之一,服务提供者通过P3P隐私策略来告知用户如何处理隐私信息。针对P3P隐私策略缺少形式化语义而难以被精确表达的问题,分析了P3P隐私策略对形...
关键词：隐私偏好平台（P3P） 隐私策略 形式化语义 本体 冲突检测 
面向网格监控的工作流建模研究
《计算机技术与发展》2013年第8期70-74,共5页王小龙 
甘肃省技术研究与开发专项计划(1004TCYA035);甘肃省青年科技基金计划(1208RJYA089)
网格监控系统种类繁多而且大多具有自身特定的应用领域,有必要对一般性的网格监控模块提供设计参考及相应分析评价方法。文中提出基于活动网络图为网格监控的数据处理流程建立工作流模型并进行语义描述。通过阐释网格监控架构和具有代...
关键词：网格监控架构 工作流模型 形式化语义 网格监控系统 
全选清除导出
共6页<123456>
检索报告 对象比较 聚类工具 使用帮助 返回顶部