期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到9篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于扩展着色Petri网的Web服务本体描述语言过程语义分析方法 被引量：4
1
作者 鲍爱华 袁金平 +1 位作者 姚莉 张维明 《计算机集成制造系统》 EI CSCD 北大核心 2008年第9期1856-1864,共9页
针对目前Web服务本体描述语言过程语义研究中存在的问题,提出了一种基于扩展的着色Petri网的过程模型网,对Web服务本体描述语言的过程语义进行转化与分析。结合Web服务本体描述语言过程模型元素的特点,过程模型网扩展了基本着色Petri网... 针对目前Web服务本体描述语言过程语义研究中存在的问题,提出了一种基于扩展的着色Petri网的过程模型网,对Web服务本体描述语言的过程语义进行转化与分析。结合Web服务本体描述语言过程模型元素的特点,过程模型网扩展了基本着色Petri网的变迁和触发规则,使Web服务本体描述语言的原子过程、组合过程和数据流等核心元素能够等价映射到过程模型网。将过程模型网的可靠性分析问题分解为冲突消解和过程模型网剥离网可靠性问题,并采用传统Petri网分析工具(可覆盖性树)和原理,分析剥离网的可靠性,从而实现Web服务本体描述语言过程语义一致性分析,为Web服务本体描述语言本体演化、语义Web服务组合和验证提供了合理的理论基础。 展开更多
关键词 WEB服务 语义WEB 过程语义 Web服务本体描述语言 本体演化 过程模型网 着色PETRI网
下载PDF
基于语义的徽州民居快速建模方法 被引量：2
2
作者 张宇航 李琳 +1 位作者 李尚林 刘晓平 《合肥工业大学学报（自然科学版）》 CAS 北大核心 2018年第12期1629-1635,1658,共8页
通过分析徽州民居的语义信息对构件参数和构件布局的影响,文章提出了一种徽州民居快速建模方法。首先用户通过交互方式设置徽州民居相应的语义信息;然后根据用户设置,使用参数网络对徽州民居构件的尺寸、样式、材质纹理等参数值进行推导... 通过分析徽州民居的语义信息对构件参数和构件布局的影响,文章提出了一种徽州民居快速建模方法。首先用户通过交互方式设置徽州民居相应的语义信息;然后根据用户设置,使用参数网络对徽州民居构件的尺寸、样式、材质纹理等参数值进行推导;最后系统根据语义和构件参数,使用相应的布局规则对构件进行布局,生成最终的民居模型。此外,引入了模型级别,用于控制生成模型的细节度,提高建模的实时性。实验结果证明了该方法的实用性、高效性以及建模结果的多样性、逼真性,无论用户是否具有徽州民居领域知识,都能很快地构建出理想的徽州民居模型。 展开更多
关键词 快速建模 过程建模 语义 徽州民居 构件布局
下载PDF
人工智能难题和程序语义学 被引量：1
3
作者 李庆平 刘明海 《重庆理工大学学报（社会科学）》 CAS 2010年第1期29-33,56,共6页
句法机如何成为语义机是人工智能面临的难题,也是当代意向性理论研究的重点。程序语义学是试图解释这一问题的重要致思取向。它认为传统的人工智能、计算机科学等是以模态理论语义分析为基础的,其研究尚停留在符号的层面,而未涉及到真... 句法机如何成为语义机是人工智能面临的难题,也是当代意向性理论研究的重点。程序语义学是试图解释这一问题的重要致思取向。它认为传统的人工智能、计算机科学等是以模态理论语义分析为基础的,其研究尚停留在符号的层面,而未涉及到真值、指称,即没有涉及到语言与世界的关联。在揭示语言与世界关联如何实现的问题上,程序语义学强调语义不是由对指称的计算所给予的,也不是由谓词逻辑的标准语义学所给予的,而是由程序给予的。程序语义学不但能够融合如福吉勒特等意义理论的局限,而且所提出的过程性分析和知识对于人工智能的研究、发展亦有启示性。 展开更多
关键词 人工智能 程序语义学 内部语言假说 程序内涵理论
下载PDF
试论程序语义基础下计算机病毒的检测方法 被引量：1
4
作者 李栋 《电子测试》 2017年第10期61-62,共2页
程序语义是计算机技术中一项非常重要的内容,也是计算机程序的核心部分,而通过对程序语义进行检测可以有效的识别出系统中的病毒程序。因此,本文就程序语义基础下计算机病毒的检测方法展开研究和分析。
关键词 程序语义 计算机 病毒
下载PDF
Gdel语言延迟声明语句的语义及其实现方法
5
作者 曹炳义 赵致琢 《计算机科学》 CSCD 北大核心 2012年第5期114-116,共3页
Gdel语言因语言成份复杂而缺乏严格的语义基础和成熟的编译器,因此推出后它一直发展缓慢。对此采用进化代数描述了其主要语言成分延迟声明语句的过程性语义,然后介绍了依据该语义的具体实现方法并给出运行流程图和C语言描述。最后通... Gdel语言因语言成份复杂而缺乏严格的语义基础和成熟的编译器,因此推出后它一直发展缓慢。对此采用进化代数描述了其主要语言成分延迟声明语句的过程性语义,然后介绍了依据该语义的具体实现方法并给出运行流程图和C语言描述。最后通过一个例子来具体说明延迟计算在基于扩展Warren机的编译系统中的执行情况。实验结果表明了其可行性。 展开更多
关键词 Gdel语言 延迟计算 进化代数 过程性语义 扩展Warren机
下载PDF
过程式语言到函数式语言的抽象方法 被引量：1
6
作者 金成植 刘磊 《计算机学报》 EI CSCD 北大核心 1997年第8期731-736,共6页
本文给出了从过程式程序到函数式程序的转换规则，这些转换规则是从语言的接续指称语义推导出来的．我们考虑了ＧＯＴＯ语句的处理，因此，我们的方法可以处理非结构化程序．由于这些转换规则是从指称语义导出的，其正确性得到了保证．
关键词 过程式语言 函数式语言 目录代码
下载PDF
产品装配数字孪生可视化模型自适应精简方法
7
作者 何其昌 许志杰 《航空制造技术》 CSCD 北大核心 2022年第19期50-55,共6页
针对产品装配数字孪生模型实时可视化的需求,提出了一种面向装配过程的可视化模型精简方法。首先利用B–Rep信息建立模型的AAG(属性邻接图),通过基本特征AAG的图匹配实现装配特征的自动识别;对装配语义进行解析,提取当前装配过程的装配... 针对产品装配数字孪生模型实时可视化的需求,提出了一种面向装配过程的可视化模型精简方法。首先利用B–Rep信息建立模型的AAG(属性邻接图),通过基本特征AAG的图匹配实现装配特征的自动识别;对装配语义进行解析,提取当前装配过程的装配特征;然后采用改进QEM(二次误差度量)算法,优化边折叠误差,实现模型局部精简率的自适应调整,满足实时可视化的需求;最后以某型号发动机机匣装配为例验证了方法的有效性。 展开更多
关键词 装配数字孪生 装配过程 装配特征识别 装配语义 改进QEM
下载PDF
应用ANTLR实现过程式语言操作语义的动态演示
8
作者 王丽娜 郑晓娟 王征海 《计算机应用与软件》 CSCD 2010年第2期209-211,257,共4页
介绍了一个面向过程语言的文法特点,应用ANTLR实现了该语言操作语义的动态演示,系统可辅助教师进行课堂教学,为学生自主学习提供良好的支撑环境,从而用形象的图形界面为学生搭起通向掌握抽象思维方法的桥梁。
关键词 过程式语言 ANTLR 操作语义 动态演示系统
下载PDF
过程式语言操作语义教学演示系统的设计与实现
9
作者 王丽娜 郑晓娟 王征海 《计算机应用与软件》 CSCD 2010年第7期187-189,232,共4页
定义一个面向过程的程序设计语言,并实现了该语言操作语义的可视化演示。系统提供单步执行、连续执行两种执行方式,显示了操作语义的每一步执行。系统可以应用于教学当中,作为辅助教学工具,辅助教师进行课堂教学,为学生自主学习提供良... 定义一个面向过程的程序设计语言,并实现了该语言操作语义的可视化演示。系统提供单步执行、连续执行两种执行方式,显示了操作语义的每一步执行。系统可以应用于教学当中,作为辅助教学工具,辅助教师进行课堂教学,为学生自主学习提供良好的支撑环境。 展开更多
关键词 过程式语言 操作语义 可视化演示系统
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部