期刊文献+
共找到141篇文章
< 1 2 8 >
每页显示 20 50 100
一种基于Petri网化简的工作流过程语义验证方法 被引量:34
1
作者 周建涛 史美林 叶新铭 《软件学报》 EI CSCD 北大核心 2005年第7期1242-1251,共10页
过程验证是保证工作流过程定义正确性的重要手段.针对过程定义中控制流、数据流和资源三维元信息相结合的冲突检测问题,研究了过程的语义验证方法.首先根据语义验证的需求,定义3DWFN网作为过程描述的形式化模型,然后基于该模型阐述了完... 过程验证是保证工作流过程定义正确性的重要手段.针对过程定义中控制流、数据流和资源三维元信息相结合的冲突检测问题,研究了过程的语义验证方法.首先根据语义验证的需求,定义3DWFN网作为过程描述的形式化模型,然后基于该模型阐述了完成语义验证的化简规则.并通过与其他相关化简规则的比较,说明了这些规则在语义验证层面的优势. 展开更多
关键词 工作流 过程 语义验证 PETRI网 化简
下载PDF
一种改进的基于事件-过程的时态模型研究 被引量:26
2
作者 吴长彬 闾国年 《武汉大学学报(信息科学版)》 EI CSCD 北大核心 2008年第12期1250-1253,1278,共5页
针对当前基于事件时态模型研究的现状和存在的问题,从时空语义表达的目的和要求出发,提出了一种改进的基于事件-过程的时态模型(event-process based spatio-temporal model,E-PSTM),将事件进一步细分为若干过程的组成;采用面向对象的... 针对当前基于事件时态模型研究的现状和存在的问题,从时空语义表达的目的和要求出发,提出了一种改进的基于事件-过程的时态模型(event-process based spatio-temporal model,E-PSTM),将事件进一步细分为若干过程的组成;采用面向对象的方法进行了模型的逻辑设计。通过模型在地籍变更系统的应用,证明其可方便地实现对土地登记事件和空间变迁过程语义的查询。 展开更多
关键词 时态模型 事件-过程 语义 地籍变更
原文传递
工艺语义驱动的序列三维模型构建系统 被引量:23
3
作者 石云飞 张树生 +2 位作者 成彬 范海涛 黄瑞 《计算机集成制造系统》 EI CSCD 北大核心 2009年第11期2133-2139,共7页
为满足企业对三维工序模型的迫切需求,提出一个工艺语义驱动的三维模型构建系统框架。以数字化工艺卡片为研究对象,将工艺信息引入三维重建领域中,采用自然语言理解技术,从工步语言中提取工艺语义模型,以描述工艺设计意图。根据二维工... 为满足企业对三维工序模型的迫切需求,提出一个工艺语义驱动的三维模型构建系统框架。以数字化工艺卡片为研究对象,将工艺信息引入三维重建领域中,采用自然语言理解技术,从工步语言中提取工艺语义模型,以描述工艺设计意图。根据二维工序图形进化过程和特点,将工艺语义模型映射到工序图中,以指导工序图形理解,完成制造毛坯序列三维模型的构建。开发了一个原型系统,该系统能实现三维工序模型快速自动生成和切削加工工艺过程可视化仿真。以某涡轮减速箱零件为例,对系统进行了实例验证。 展开更多
关键词 三维重建 自然语言理解 工艺语义 工序模型 动态演变
下载PDF
“微”词族的形成轨迹及语义演变 被引量:16
4
作者 邱雪玫 李葆嘉 《语言文字应用》 CSSCI 北大核心 2015年第1期37-45,共9页
2009年"微博"登陆中国以来,"微××"格式迅速在网络上流行,形成了一个新词家族——"微"词族。本研究基于网络检索的183个"微"族词,寻绎"微"词族的形成轨迹和词素"微&qu... 2009年"微博"登陆中国以来,"微××"格式迅速在网络上流行,形成了一个新词家族——"微"词族。本研究基于网络检索的183个"微"族词,寻绎"微"词族的形成轨迹和词素"微"的语义演变特点。基于语义偏离规则,词素"微"被赋予新的语义和色彩;基于"方式化……泛指化……抽象化"的语义—功能类别化,词素"微"演化为具有极大能产性的词缀;基于与复音词的组合,"微"族词趋于词音结构三音节化。在主体需求和语言机制的合力中,"微"族词迅速流行,"微"词族日益壮大。 展开更多
关键词 “微××”格式 “微”词族 形成轨迹 语义演变 主要特点
下载PDF
基于Petri网和语义网络的虚拟维修过程建模与应用 被引量:15
5
作者 刘家学 刘涛 耿宏 《图学学报》 CSCD 北大核心 2013年第2期113-118,共6页
针对当前虚拟维修过程中模型庞大,维修流程不可反复,部件间关系描述混乱等问题,论文提出一种Petri网和语义网络结合的过程建模方法——TJ(Training Join)网。TJ网上层利用语义网络对部件进行层次结构分解和资源规范聚类,实现子部件间逻... 针对当前虚拟维修过程中模型庞大,维修流程不可反复,部件间关系描述混乱等问题,论文提出一种Petri网和语义网络结合的过程建模方法——TJ(Training Join)网。TJ网上层利用语义网络对部件进行层次结构分解和资源规范聚类,实现子部件间逻辑互联;下层运用Petri网的变迁和触发规则提炼出Petri网元素模型,提高模型的通用性和建模效率。同时模型中的状态收集模块可实现部件属性状态间信息共享。最后,以虚拟维修平台中飞机电子设备架的维护为例,验证了TJ网的有效性。 展开更多
关键词 虚拟维修 过程建模 语义网络 PETRI网
下载PDF
面向服务型制造的协同业务流程构建框架 被引量:13
6
作者 王明微 张树生 周竞涛 《计算机集成制造系统》 EI CSCD 北大核心 2010年第11期2537-2543,共7页
为实现服务型制造模式下跨组织业务流程的运行,提高企业对市场变化的适应能力,提出一种基于语义的跨组织协同业务流程构建框架。以制造服务为业务活动功能的实现载体,通过对服务能力进行语义描述,以服务能力为中介,实现业务逻辑和实现... 为实现服务型制造模式下跨组织业务流程的运行,提高企业对市场变化的适应能力,提出一种基于语义的跨组织协同业务流程构建框架。以制造服务为业务活动功能的实现载体,通过对服务能力进行语义描述,以服务能力为中介,实现业务逻辑和实现技术之间的松耦合,形成一种随需应变的业务构建模式。对框架内的制造服务语义建模、服务发现匹配和服务组合三项关键技术进行了研究。开发了协同业务流程构建原型系统,结合企业实际给出了框架实例,验证了方法的可行性。 展开更多
关键词 服务型制造 业务流程 制造服务 语义WEB 服务组合
下载PDF
基于长短期记忆网络的装配工艺语义识别方法 被引量:9
7
作者 陈治宇 鲍劲松 +2 位作者 郑小虎 丁司懿 刘天元 《计算机集成制造系统》 EI CSCD 北大核心 2021年第6期1582-1593,共12页
装配工艺文档蕴含要素层次多样、关系复杂的工艺语义信息,它们以自然文本存在,无标准或规范约束,在评估装配工艺可执行性和指导装配作业时面临巨大挑战。鉴于此,提出一种基于长短期记忆网络(LSTM)的装配工艺语义识别方法,抽取装配工艺... 装配工艺文档蕴含要素层次多样、关系复杂的工艺语义信息,它们以自然文本存在,无标准或规范约束,在评估装配工艺可执行性和指导装配作业时面临巨大挑战。鉴于此,提出一种基于长短期记忆网络(LSTM)的装配工艺语义识别方法,抽取装配工艺文档语义要素,建立装配工艺语义信息的知识化描述。首先定义装配语义并规定其知识图谱的描述形式。然后通过装配语素分解、装配词素分类与关系构建,得到装配工艺知识图谱。以某型航空发动机压气机转子部件的装配工艺文档为例,自动识别其装配语义并得到知识化描述。其中,对装配实体的语义识别率为93.7%,装配关系的语义识别率为94.8%,得到装配工艺知识图谱,证明了方法的有效性。 展开更多
关键词 长短期记忆网络 装配工艺 语义识别 知识图谱
下载PDF
“非常”的语法化过程 被引量:8
8
作者 王素珍 《廊坊师范学院学报》 2007年第1期29-31,共3页
“非常”的语法化主要有三个方面的条件:“非常”作为词组,意为“非同寻常”,其语义特征使其具备了演变为副词的基本条件;“非常+谓词性成分”的句法位置则是其最终形成的决定性条件;“非常+谓词性成分”使用频率的增多说明语用因素也... “非常”的语法化主要有三个方面的条件:“非常”作为词组,意为“非同寻常”,其语义特征使其具备了演变为副词的基本条件;“非常+谓词性成分”的句法位置则是其最终形成的决定性条件;“非常+谓词性成分”使用频率的增多说明语用因素也在一定程度上促进了程度副词“非常”的最终形成。 展开更多
关键词 非常 程度副词 语法化 语义基础 句法位置 语用因素
下载PDF
基于工作流模式的BPMN过程模型验证方法 被引量:6
9
作者 蔡章利 易树平 高庆萱 《计算机集成制造系统》 EI CSCD 北大核心 2010年第8期1578-1586,共9页
针对业务流程建模符号过程模型语义验证问题,提出了一种新方法。该方法基于正确的业务流程建模符号过程模型是工作流模式的合理组合的理念,通过扩展和改进业务流程建模符号及其执行语义,设计了工作流模式的形式化编码规则;借鉴Petri网... 针对业务流程建模符号过程模型语义验证问题,提出了一种新方法。该方法基于正确的业务流程建模符号过程模型是工作流模式的合理组合的理念,通过扩展和改进业务流程建模符号及其执行语义,设计了工作流模式的形式化编码规则;借鉴Petri网化简方法,设计了工作流模式组合化简规则;基于工作流模式编码及组合化简规则,给出了业务流程建模符号过程模型验证方法。应用示例表明了该方法的有效性。 展开更多
关键词 工作流 业务流程 建模 过程模型 语义验证 PETRI网
下载PDF
基于SWRL的制造系统知识表达与按需服务过程推理框架 被引量:6
10
作者 李从东 谢天 汤勇力 《计算机集成制造系统》 EI CSCD 北大核心 2013年第1期187-198,共12页
为实现协同制造环境下制造系统服务过程的智能性,提出"需求—资源—服务—过程"为主线的按需制造范式,结合本体、语义推理等技术,提出制造系统基于语义网规则语言的服务过程按需推理框架;建立制造需求、资源、服务、过程的本... 为实现协同制造环境下制造系统服务过程的智能性,提出"需求—资源—服务—过程"为主线的按需制造范式,结合本体、语义推理等技术,提出制造系统基于语义网规则语言的服务过程按需推理框架;建立制造需求、资源、服务、过程的本体概念和关系模型,构建该框架的本体知识库;基于服务按需组合生成动态服务过程思想,运用IOPE模型描述语义Web服务功能语义和动态前后件服务交互特征,提取服务过程触发推理的描述逻辑规则,并通过规则到本体知识属性的映射构建语义规则;运用Protégé和Jess推理引擎实现推理的应用模型,通过推理实验证明了该方法的有效性。 展开更多
关键词 语义网规则语言 服务过程 语义推理 描述逻辑
下载PDF
隐喻的认知过程与语义特征 被引量:5
11
作者 谷化琳 《四川外语学院学报》 2002年第5期76-78,共3页
人类通过隐喻的相似性来认知周围的世界,当然这种认知过程是漫长的,而且是逐渐加深的。认知过程大致经历了AisB、AislikeB和Aisas asB三个阶段。第一阶段属于根隐喻阶段,是认知的基础;第二阶段属于派生隐喻阶段,是认知的中介;而第三阶... 人类通过隐喻的相似性来认知周围的世界,当然这种认知过程是漫长的,而且是逐渐加深的。认知过程大致经历了AisB、AislikeB和Aisas asB三个阶段。第一阶段属于根隐喻阶段,是认知的基础;第二阶段属于派生隐喻阶段,是认知的中介;而第三阶段也属于派生隐喻阶段,是认知的最高形式。一个隐喻结构的长短映照认知程度的高低和相似程度的大小。 展开更多
关键词 根隐喻 派生隐喻 认知过程 语义特征
下载PDF
智能流程应用模式下基于流程语义库的需求获取 被引量:4
12
作者 尚宗敏 王海洋 《通信学报》 EI CSCD 北大核心 2006年第11期73-77,共5页
为自动生成满足用户需求的个性化流程,在给出智能流程应用模式的基础上,提出一种用户个性化需求获取新方法。对业务流程中活动进行归纳和抽象,定义一种新服务——元服务,并由元服务组成流程语义库,然后基于流程语义库,提出一种用户需求... 为自动生成满足用户需求的个性化流程,在给出智能流程应用模式的基础上,提出一种用户个性化需求获取新方法。对业务流程中活动进行归纳和抽象,定义一种新服务——元服务,并由元服务组成流程语义库,然后基于流程语义库,提出一种用户需求获取算法,帮助用户快速准确地输入需求信息。理论分析和应用表明:算法提高了用户需求获取的准确程度和效率。 展开更多
关键词 业务流程 流程语义 智能流程 元服务
下载PDF
基于轻量级CNN-Transformer混合网络的梯田图像语义分割 被引量:4
13
作者 刘茜 易诗 +2 位作者 李立 程兴豪 王铖 《农业工程学报》 EI CAS CSCD 北大核心 2023年第13期171-181,共11页
梯田是一种传统的农业种植方式,具有稳定作物生产与水土保持的作用。快速、准确地对梯田区域分布信息进行采集,对提高粮食产量、治理水土流失以及规划区域生态等具有重要的作用与意义。无人机图像梯田道路边界模糊、具有较长的带状结构... 梯田是一种传统的农业种植方式,具有稳定作物生产与水土保持的作用。快速、准确地对梯田区域分布信息进行采集,对提高粮食产量、治理水土流失以及规划区域生态等具有重要的作用与意义。无人机图像梯田道路边界模糊、具有较长的带状结构,为了更准确地获取梯田的边缘信息,受MobileVit启发,该研究在MobileViT block中引入了轴向注意力机制(axial attention),并采用编码器-解码器结构,提出了基于轻量级CNN-Transformer混合构架网络模型。模型编码器部分由改进的MobileViT block、融入了条形池化的逆残差模块和空洞空间金字塔池化模块构成,再通过有效设计摆放各模块的位置顺序来实现局部与全局的视觉表征信息交互,得到完整的全局特征表达;利用解码器对编码器提取到的多尺度特征图进行采样和卷积操作得到语义分割结果图。选取PSPNet、LiteSeg、BisNetv2、Deeplabv3Plus、MobileViT在相同测试集上进行对比试验,结果表明,该研究所提模型在精度与速度方面均具有一定的优势,其像素精度可达95.79%,频权交并比可达94.86%,模型参数量为8.32 M,实现了使用较少的参数和简单的方法对复杂无规则的无人机图像梯田区域较为准确的分割,将其部署到无人机上可以进一步获取梯田的形状、位置、轮廓等信息,可为预防和修护加固梯田提供重要的依据,同时有助于梯田区域种植面积和范围的统计,为梯田和旱作区农业建设的发展提供参考。 展开更多
关键词 图像处理 语义分割 轻量化模型 轴向注意力 梯田数据集
下载PDF
安全虚拟环境中的进程执行精确监控 被引量:5
14
作者 刘哲元 慕德俊 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2012年第6期181-186,共6页
提出了通过进程移植实现对用户级进程执行实施监控的方法,旨在同时解决隔离和兼容性问题,并采取重定向系统调用来保证被移植进程执行的连续性.实验结果表明了文中方法的有效性和可行性,以及对系统性能的微小影响.
关键词 进程监控 语义鸿沟 虚拟机自省
下载PDF
基于本体与SWRL的工艺知识表示与语义推理 被引量:5
15
作者 崔祥友 唐敦兵 +1 位作者 朱海华 殷磊磊 《机械制造与自动化》 2017年第3期6-10,共5页
传统的专家系统并不能有效解决工艺推理问题,但本体技术和语义推理技术为解决专家系统在知识获取以及智能化推理方面的不足提供了有效解决方案。首先介绍本体知识、SWRL规则、相关推理引擎等;其次提出了基于本体与SWRL规则的工艺推理整... 传统的专家系统并不能有效解决工艺推理问题,但本体技术和语义推理技术为解决专家系统在知识获取以及智能化推理方面的不足提供了有效解决方案。首先介绍本体知识、SWRL规则、相关推理引擎等;其次提出了基于本体与SWRL规则的工艺推理整体流程,并详细描述了工艺知识本体的构建方法;随后结合实例说明SWRL规则编写规范,并验证了该工艺推理方法的可行性。 展开更多
关键词 本体 SWRL 工艺知识 语义推理
下载PDF
翻译过程与语篇分析关系初探 被引量:5
16
作者 胡海峰 《东莞理工学院学报》 2011年第2期94-96,119,共4页
将篇章语言学的理论与翻译过程的研究结合起来,探讨语篇分析的过程和翻译过程的关系。首先综述了Bell的翻译过程模式和van D ijk&K intsch的语篇分析模式,然后对两个过程进行比较,发现翻译过程中的语义表征与语篇分析过程中的基础... 将篇章语言学的理论与翻译过程的研究结合起来,探讨语篇分析的过程和翻译过程的关系。首先综述了Bell的翻译过程模式和van D ijk&K intsch的语篇分析模式,然后对两个过程进行比较,发现翻译过程中的语义表征与语篇分析过程中的基础文本都是对语篇的表层结构进行分析得到的结果,也就是说,翻译过程和语篇分析过程存在相似性,都类似于句法学里面的深层结构。翻译过程包含语篇分析的过程,而语篇分析的过程也是一种翻译的过程,二者互相蕴含。 展开更多
关键词 语篇分析 翻译过程 语义表征 基础文本 深层结构
下载PDF
扩展BPEL4WS实现基于语义的服务流程动态细化 被引量:3
17
作者 沈浴竹 向勇 +2 位作者 张少华 姜进磊 史美林 《通信学报》 EI CSCD 北大核心 2006年第11期106-112,共7页
越来越多的企业采用面向服务的架构来构建其信息基础设施,并通过执行Web服务流程来实现其业务逻辑。然而,当前作为工业界标准的服务流程建模语言BPEL4WS只能支持非常有限的运行时动态性,难以适应复杂多变的业务需求。针对这一问题,提出... 越来越多的企业采用面向服务的架构来构建其信息基础设施,并通过执行Web服务流程来实现其业务逻辑。然而,当前作为工业界标准的服务流程建模语言BPEL4WS只能支持非常有限的运行时动态性,难以适应复杂多变的业务需求。针对这一问题,提出了在BPEL4WS及其执行引擎之上,实现基于语义的服务流程动态细化的机制——在BPEL4WS中增加目标类型的活动以及流程的语义描述;扩展现有BPEL4WS执行引擎使之能够执行带有目标活动的流程,并能够根据目标描述与流程的数据内容,在运行时为目标活动匹配与绑定子流程。 展开更多
关键词 WEB服务 流程细化 扩展BPEL4WS语义Web 工作流
下载PDF
工艺语义驱动的铣削类零件加工特征识别技术 被引量:4
18
作者 范海涛 张树生 +2 位作者 陶俊 黄瑞 刘庆保 《计算机集成制造系统》 EI CSCD 北大核心 2012年第2期306-313,共8页
为满足企业对三维工序模型的需求,提出在工艺语义的驱动下,运用证据理论实现二维工序图的特征识别。将识别过程分为搜索潜在特征和对潜在特征进行验证两个阶段。根据当前工艺语义的加工特征的特点,在工序图中获得潜在特征。运用证据理... 为满足企业对三维工序模型的需求,提出在工艺语义的驱动下,运用证据理论实现二维工序图的特征识别。将识别过程分为搜索潜在特征和对潜在特征进行验证两个阶段。根据当前工艺语义的加工特征的特点,在工序图中获得潜在特征。运用证据理论对潜在特征进行验证,当潜在特征对当前工艺语义特征的信任度最高时,表明该特征即为当前加工特征,对特征相交的情况通过启发式算法来确定其特征基面。以某一零件加工工艺为例,验证了该方法的可行性和有效性。 展开更多
关键词 工艺语义 二维工序图 特征识别 三维工序模型重建 证据理论 相交特征 铣削类零件
下载PDF
基于语义结构的工艺知识挖掘技术研究 被引量:4
19
作者 陆远 胡莹 涂海宁 《组合机床与自动化加工技术》 北大核心 2010年第5期94-96,共3页
为实现工艺知识挖掘的自动化及工艺知识的及时更新,提出了基于语义结构的产生式规则工艺知识表示法,通过词汇链及特征表达式析取出关键词并形成工艺知识词汇链;为提高知识挖掘效率,提出了工艺知识挖掘机模型并给出了该模型的工作原理及... 为实现工艺知识挖掘的自动化及工艺知识的及时更新,提出了基于语义结构的产生式规则工艺知识表示法,通过词汇链及特征表达式析取出关键词并形成工艺知识词汇链;为提高知识挖掘效率,提出了工艺知识挖掘机模型并给出了该模型的工作原理及知识挖掘策略。 展开更多
关键词 工艺知识 数据挖掘 语义结构
下载PDF
面向智能车间的工艺规划辅助决策方法 被引量:4
20
作者 易树平 刘觅 温沛涵 《浙江大学学报(工学版)》 EI CAS CSCD 北大核心 2016年第10期1911-1921,共11页
为了实现制造智能化环境下工艺规划决策目标,优化制造资源配置,提出面向智能车间的工艺规划辅助决策方法.以零件加工特征为基础,将含有加工工序和设备信息的历史工艺规划方案视为云服务资源,通过制定语义匹配策略,初步匹配出待选工艺规... 为了实现制造智能化环境下工艺规划决策目标,优化制造资源配置,提出面向智能车间的工艺规划辅助决策方法.以零件加工特征为基础,将含有加工工序和设备信息的历史工艺规划方案视为云服务资源,通过制定语义匹配策略,初步匹配出待选工艺规划方案集.把工件的加工时间、加工成本、在工序间的转运距离与设备实时状态效用作为优化目标,引入罚函数建立适应度函数模型,运用改进群领导优化算法在待选规划方案集中优选出最佳方案.通过实例验证了该方法的有效性. 展开更多
关键词 工艺规划 智能车间 加工特征 语义匹配 罚函数 群领导优化算法
下载PDF
上一页 1 2 8 下一页 到第
使用帮助 返回顶部