过程语义

作品数：13被引量：68H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：鲍爱华陈荣孙吉贵周建涛叶新铭更多>>
相关机构：吉林大学清华大学国防科学技术大学桂林理工大学更多>>
相关期刊：《计算机集成制造系统》《广西师范大学学报（自然科学版）》《测绘与空间地理信息》《组合机床与自动化加工技术》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家科技重大专项浙江省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于Simevents的机电自动化生产系统的语义分析与本体建模被引量：1
《组合机床与自动化加工技术》2015年第2期82-85,共4页黄雪梅 
针对应用Simevents开发机电自动化生产控制系统,分析其中支持离散制造运行机制的制造知识语义分析与自动化生产控制领域知识本体建模技术。从生产系统自动化控制领域知识角度,归纳出其中蕴含的核心概念及知识语义,并重点归纳驱动离散制...
关键词：自动化生产系统 制造本体模型 制造过程语义 
基于OSG的农作物三维模型生长过程的可视化方法研究被引量：1
《测绘与空间地理信息》2014年第2期84-86,90,共4页袁萌 李景文 胡泊 
广西空间信息与测绘重点实验室主任基金项目(2013年桂科攻1140003A-21);广西自然科学基金重点项目(桂科自2011GXNSFD018003)资助
针对农业三维可视化技术的局限性,本文利用过程语义分析农作物在生长周期中循环演变的机理,通过对农作物各个生长周期分别构建OSG模型,结合ADO对象获取模型渲染属性数据,利用OSG多重渲染技巧实现对三维农田模型的完整化、精细化和多层...
关键词：农作物 过程语义 模型 三维场景 
制造过程数据形式化语义建模被引量：16
《机械工程学报》2012年第10期184-191,共8页吕盛坪 乔立红 刘威 
国家自然科学基金(51075022);国家科技重大专项(2010ZX04016-011;2010ZX04015-011)资助项目
在总结制造过程数据内容和分析现有制造过程数据表达方法的基础上,提出一种基于多色集合理论的制造过程数据形式化表达方法,将制造过程数据所涉及的活动、对象、关系置于统一的以过程为核心的数学模型框架中。给出基于多色集的制造过程...
关键词：制造过程数据 形式化表达 多色集理论 过程语义 
时态GIS的面向过程语义与HAS表达框架被引量：3
《地理与地理信息科学》2011年第4期1-7,共7页谢炯 薛存金 张丰 
国家自然科学基金项目(40801162;40676096;41001227);浙江省自然科学基金项目(Y5090130)
分析认为时空过程语义兼具连续体和偶发体的双重特性,是对现实世界地理过程的简化与抽象表达。针对对象建模视图和基于事件模型不足以描述过程语义的缺陷,提出了一种显式建模地理过程的HAS表达框架,将过程视图剖分为发生(Happenings)、...
关键词：TGIS 时空过程 事件 因果关系 土地利用 
逻辑语言剪枝算子的过程语义及其实现被引量：1
《计算机科学》2011年第5期123-126,148,共5页李慧琪 赵致琢 
福建省自然科学基金(A030007);仰恩大学科学技术研究经费资助
论述了逻辑程序设计中剪枝算子的作用及传统剪枝算子的过程性语义和说明性语义不一致问题;介绍了新型逻辑程序语言Gdel中的commit剪枝算子;通过引入一组定义描述其过程语义,并进一步阐述了剪枝算子和延迟计算规则之间的关系,讨论了G...
关键词：逻辑程序设计 剪枝算子 延迟计算 
基于扩展CPN的OWL-S过程语义建模及分析方法研究被引量：4
《计算机科学》2011年第4期203-208,共6页鲍爱华 王晓璇 文艾 丁科 刘鹏 
国家863项目(2007AA092202);国家高技术研究发展计划(863计划)(2009AA12Z214);国家自然科学基金(40801060)资助
OWL-S过程语义的建模与分析是语义Web服务相关领域需要重点研究的问题。分析了目前OWL-S过程语义研究中存在的问题,提出了一种扩展的着色Petri网PM_net(过程模型网,Process Model net)来对OWL-S的过程语义进行转化与分析。结合OWL-S过...
关键词：过程语义 OWL-S 过程模型网 着色PETRI网 本体演化 语义Web 
基于Hoare逻辑的过程调用的形式化方法被引量：2
《计算机工程与设计》2011年第1期197-201,共5页雷富兴 张来顺 
采用Hoare逻辑风格的推理,提出了一些从源代码推导过程和这些过程调用的形式化语义规范的技术和算法。为了推导一个过程调用的语义,将过程看作一个抽象单元从程序分离出来,提取过程的形式化语义规范。对于一个具体的过程调用,形式化这...
关键词：HOARE逻辑 过程语义 过程调用语义 前置条件 后置条件 
基于扩展着色Petri网的Web服务本体描述语言过程语义分析方法被引量：4
《计算机集成制造系统》2008年第9期1856-1864,共9页鲍爱华 袁金平 姚莉 张维明 
国家自然科学基金资助项目(70371008)~~
针对目前Web服务本体描述语言过程语义研究中存在的问题,提出了一种基于扩展的着色Petri网的过程模型网,对Web服务本体描述语言的过程语义进行转化与分析。结合Web服务本体描述语言过程模型元素的特点,过程模型网扩展了基本着色Petri网...
关键词：WEB服务 语义WEB 过程语义 Web服务本体描述语言 本体演化 过程模型网 着色PETRI网 
一种基于Petri网化简的工作流过程语义验证方法被引量：34
《软件学报》2005年第7期1242-1251,共10页周建涛 史美林 叶新铭 
国家自然科学基金No.60073011;国家高技术研究发展计划(863)No.2001AA113150~~
过程验证是保证工作流过程定义正确性的重要手段.针对过程定义中控制流、数据流和资源三维元信息相结合的冲突检测问题,研究了过程的语义验证方法.首先根据语义验证的需求,定义3DWFN网作为过程描述的形式化模型,然后基于该模型阐述了完...
关键词：工作流 过程 语义验证 PETRI网 化简 
受限的proflog语言及其表推演过程语义被引量：1
《广西师范大学学报（自然科学版）》2003年第1期27-33,共7页陈荣 孙吉贵 姜云飞 
广东省自然科学基金，中山大学校科研和教改项目
Fitting提出一种逻辑程序设计语言proflog,并把表推演机制作为语言的过程语义.表推演具有直观、灵活的特点,它的单步扩展规则具有很强的语义特征,它是扩展逻辑程序类的另一个理想的证明论.不过proflog包含了全部一阶理论,等词的替换性使...
关键词：表推演 过程语义 非单调性 逻辑程序设计语言 证明论 proflog 扩展规则 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部