基于功率键合图的自动符号建模与仿真软件 被引量：4

1

作者 檀润华 孙力峰 +1 位作者 苑彩云 张瑞红 《中国机械工程》 CAS CSCD 北大核心 2000年第9期1058-1061,共4页

介绍了基于功率键合图的自动符号建模与仿真软件结构、组成及应用实例。以软件的建模部分为例 ,讨论了基于第二代面向对象方法 Fusion法进行功率键合图图形编辑器系统分析、设计及用 Visual C+ + 实现的过程。

关键词 功率键合图 自动符号建模 仿真软件

在线阅读 下载PDF 职称材料

基于键合图的动态系统自动符号建模 被引量：2

2

作者 檀润华 王林翔 +2 位作者 苑彩云 王泳滨 段国林 《机械科学与技术》 CSCD 北大核心 1997年第4期724-728,共5页

介绍了我们开发的自动符号建模软件ＤＳＭＥＳ、它的菜单结构和输入／输出格式，并以一简单机械系统为例，说明了软件的应用方法。

关键词 键合图 动态系统 自动符号建模 软件 CAD

在线阅读 下载PDF 职称材料

符号建模与审美创造——兼对“总体符号学”的质疑 被引量：9

3

作者 马大康 《浙江学刊》 CSSCI 北大核心 2020年第1期178-190,共13页

皮尔斯以现象学为基础提出"符号三元关系"。西比奥克则从认知科学出发建立"建模系统理论",超越现象学的制约,把动物指号过程与人的指号过程相连贯,构建了"总体符号学"。但是,迪利等学者却把"总体符... 皮尔斯以现象学为基础提出"符号三元关系"。西比奥克则从认知科学出发建立"建模系统理论",超越现象学的制约,把动物指号过程与人的指号过程相连贯,构建了"总体符号学"。但是,迪利等学者却把"总体符号学"嫁接到皮尔斯符号三元关系上,这就造成理论的内在矛盾和谬误。我们的做法是:以皮尔斯的"三元关系"来定义符号活动,采用西比奥克的"建模"观念来描述指号行为的生成过程,并认为人类存在一个从行为建模到语言建模,再到符号建模的发生过程。其中,语言诞生是关键。语言是符号之母。符号是行为建模与语言建模的共同产物。人的世界就是经由行为建模、语言建模及其他符号建模活动共同塑造的。文学艺术的审美世界则是人有意识地运用各式各样的符号重构的世界,其根本性质最终都可以从行为建模与语言建模的博弈关系中得到解释。 展开更多

关键词 皮尔斯 西比奥克 符号建模 总体符号学 审美活动

在线阅读 下载PDF 职称材料

云边协同杀伤网的作战链路服务化构建流程设计

4

作者 关星凯 张安 +1 位作者 毕文豪 张百川 《指挥与控制学报》 北大核心 2025年第4期504-516,共13页

针对以往杀伤网作战链路服务化构建流程精确性低、结构化弱、不易分析修正的问题,提出了一种基于业务流程建模符号(business process modeling notation,BPMN)的流程设计方法,该方法在传统云协同体系架构的基础上设计了云边协同杀伤网架... 针对以往杀伤网作战链路服务化构建流程精确性低、结构化弱、不易分析修正的问题,提出了一种基于业务流程建模符号(business process modeling notation,BPMN)的流程设计方法,该方法在传统云协同体系架构的基础上设计了云边协同杀伤网架构;在边缘指挥控制理论的指导下分析了杀伤网的作战链路服务化构建流程,基于一切即服务模式明确了流程中关联的业务实体和包含的业务环节;基于业务流程3步法设计了用于生成流程的BPMN2.0模型片段及其聚合方式,并以海上反无人集群杀伤网为例,验证了方法的有效性。 展开更多

关键词 云边协同 杀伤网 作战链路构建 业务流程建模符号

在线阅读 下载PDF 职称材料

基于BPMN的业务流程一体化建模方法 被引量：23

5

作者 蔡章利 易树平 《计算机集成制造系统》 EI CSCD 北大核心 2010年第3期551-557,共7页

为了给业务分析员提供一种简单易懂、直接支持计算机仿真和执行的可视化业务流程建模方法,提出了业务流程一体化建模概念及方法。该方法以业务分析员为本,用业务流程建模符号可视化描述业务流程,用非结构化方式存储业务流程;基于元素语... 为了给业务分析员提供一种简单易懂、直接支持计算机仿真和执行的可视化业务流程建模方法,提出了业务流程一体化建模概念及方法。该方法以业务分析员为本,用业务流程建模符号可视化描述业务流程,用非结构化方式存储业务流程;基于元素语义细分设计理念,完善了业务流程建模符号规范图形元素的显示语义,引入非图形元素Node,以明确业务流程执行语义,设计了描述业务流程模型的元模型结构及计算机仿真与执行机制。通过实际研发业务流程管理系统,验证了该方法的可行性。 展开更多

关键词 业务分析员 业务流程一体化建模 元模型 建模符号 语义

在线阅读 下载PDF 职称材料

从BPMN到可执行业务流程建模 被引量：12

6

作者 秦天保 《计算机应用》 CSCD 北大核心 2006年第B06期266-268,284,共4页

传统的可视化业务流程模型通常都无法直接转换成可执行的流程,而利用业务流程建模符号(BPMN)建立的业务流程模型可以直接映射到业务流程执行语言(BPEL4WS),在业务流程执行引擎中直接运行,提高了从业务流程建模到执行的效率。介绍了BPMN... 传统的可视化业务流程模型通常都无法直接转换成可执行的流程,而利用业务流程建模符号(BPMN)建立的业务流程模型可以直接映射到业务流程执行语言(BPEL4WS),在业务流程执行引擎中直接运行,提高了从业务流程建模到执行的效率。介绍了BPMN的基本符号及其与BPEL4WS的映射关系,给出了利用BPMN建模一个第三方物流运作流程并实现的案例。 展开更多

关键词 业务流程管理 业务流程建模符号(BPMN) 面向服务的架构 第三方物流

在线阅读 下载PDF 职称材料

基于模型的业务流程建模平台研究与实现 被引量：4

7

作者 陈剑辉 夏永霖 魏峻 《计算机应用研究》 CSCD 北大核心 2008年第4期1271-1274,共4页

提出了基于BPMN规范的三维业务流程模型,并采用模型驱动的开发方法和基于Eclipse插件实现了原型系统OnceBPD;最后利用该系统展示了一个旅行登记流程模型的案例。

关键词 业务流程建模 模型驱动 业务流程建模符号 ECLIPSE 插件

在线阅读 下载PDF 职称材料

基于BPMN的指挥控制流程建模方法 被引量：1

8

作者 樊良优 姚小强 +2 位作者 王刚 刘伟 何晟 《火力与指挥控制》 CSCD 北大核心 2023年第8期118-125,共8页

针对复杂场景下指挥控制流程建模问题,分析比较了几种常见的流程建模方案,提出基于BPMN的指挥控制流程建模方法。指挥员依托BPMN流程建模方法搭建指挥控制流程,实现对指挥员作战意图的灵活表达;开发人员基于云原生相关理论对原子服务进... 针对复杂场景下指挥控制流程建模问题,分析比较了几种常见的流程建模方案,提出基于BPMN的指挥控制流程建模方法。指挥员依托BPMN流程建模方法搭建指挥控制流程,实现对指挥员作战意图的灵活表达;开发人员基于云原生相关理论对原子服务进行更新扩充,实现流程任务与原子服务的精准匹配和动态更新,从指挥员和开发人员两个维度上体现了指挥控制流程一体化建模的特点。通过区域防空反导流程案例,验证了基于BPMN指挥控制流程模型具备灵活扩展,动态重组的特点。 展开更多

关键词 指挥控制 云原生 业务流程建模符号 原子服务

在线阅读 下载PDF 职称材料

空间机构运动学建模与分析方法的研究 被引量：5

9

作者 袁清珂 姜歌东 《西安交通大学学报》 EI CAS CSCD 北大核心 2009年第5期99-103,共5页

为了快速高效地建立空间机构运动模型以进行运动学特性分析,运用多体动力学原理,提出了一种计算机符号建模与数值的计算方法.在每根杆件上的运动副处建立笛卡尔直角坐标系,用这些坐标系之间的关联关系来描述空间机构的结构形态,推导了... 为了快速高效地建立空间机构运动模型以进行运动学特性分析,运用多体动力学原理,提出了一种计算机符号建模与数值的计算方法.在每根杆件上的运动副处建立笛卡尔直角坐标系,用这些坐标系之间的关联关系来描述空间机构的结构形态,推导了同一杆件上2个坐标系之间的变换关系,得到了杆件形状矩阵.根据运动副的类型和属性,推导了同一运动副处不同杆件上2个坐标系之间的变换关系,得到了运动副约束矩阵.通过在运动链上连续使用变换矩阵,建立了空间机构的数学模型,并用推导的运动方程对时间求导,得到了空间机构的速度和加速度方程.研究表明,由开发的空间机构运动学分析软件,结合空间4杆机构的运动学分析,验证了建模与求解方法的正确性,从而为空间运动机构建模与运动学分析提供了一种有效的方法. 展开更多

关键词 空间机构 结构形态 符号建模 运动学分析

在线阅读 下载PDF 职称材料

BPMN到BPEL2.0的模型转换方法 被引量：10

10

作者 魏明 夏永霖 魏峻 《计算机应用研究》 CSCD 北大核心 2008年第11期3363-3366,共4页

随着WS-BPEL2.0规范标准的提出,现有的BPMN到BPEL的组件转换方法已不再适用。为了适应BPEL的变化,对组件的转换进行改动和扩展,对错误处理活动在语义上提供支持,并且提供了显式的事务特性支持。这种设计已经在中国科学院软件研究所软件... 随着WS-BPEL2.0规范标准的提出,现有的BPMN到BPEL的组件转换方法已不再适用。为了适应BPEL的变化,对组件的转换进行改动和扩展,对错误处理活动在语义上提供支持,并且提供了显式的事务特性支持。这种设计已经在中国科学院软件研究所软件工程中心研制的OnceBPD建模工具中得到实现,并在实际运用中检验了其可用性。 展开更多

关键词 业务流程管理 模型转换 业务流程建模符号 业务流程执行语言

在线阅读 下载PDF 职称材料

业务过程模型的Petri网形式化检查方法 被引量：6

11

作者 邓建 陈智 曾家智 《计算机集成制造系统》 EI CSCD 北大核心 2011年第5期1110-1119,共10页

为解决企业间业务协同模型形式化检查的问题,将采用标准业务过程建模符号的业务模型转换为Pe-tri网,构造出一种可建模企业间复杂业务协同的业务过程流网。采用过程定义可扩展标记语言2.1版本,开发了一种具有通用性的业务过程模型转换和... 为解决企业间业务协同模型形式化检查的问题,将采用标准业务过程建模符号的业务模型转换为Pe-tri网,构造出一种可建模企业间复杂业务协同的业务过程流网。采用过程定义可扩展标记语言2.1版本,开发了一种具有通用性的业务过程模型转换和检查工具。采用业务过程流网对供应链中企业间采购订单过程进行了建模。实验结果表明,业务过程流网能将符合过程定义可扩展标记语言规范的业务模型完整地转换为Petri网,得到的Petri网易于化简和分析。 展开更多

关键词 企业间协同 业务建模 模型检查 业务过程建模符号 可扩展标记语言 PETRI网

在线阅读 下载PDF 职称材料

XPDL2.0规范的过程控制模式分析 被引量：2

12

作者 凌卫青 王坚 《计算机集成制造系统》 EI CSCD 北大核心 2007年第9期1839-1846,共8页

介绍了XPDL 2.0规范和XPDL 1.0规范之间的差别;采用van der Aalst提出的20种工作流模式,着重分析了XPDL 1.0所不支持的九种过程控制模式,对其中XPDL 2.0支持的模式给出基于业务过程建模符号的图形示例和相应的XPDL 2.0代码实现示例。最... 介绍了XPDL 2.0规范和XPDL 1.0规范之间的差别;采用van der Aalst提出的20种工作流模式,着重分析了XPDL 1.0所不支持的九种过程控制模式,对其中XPDL 2.0支持的模式给出基于业务过程建模符号的图形示例和相应的XPDL 2.0代码实现示例。最后,揭示了XPDL 2.0规范在自身语义方面,以及与业务过程建模符号的语义一致性方面存在的问题。 展开更多

关键词 工作流管理 过程控制模式 业务过程建模符号

在线阅读 下载PDF 职称材料

基于连续语义的业务流程模型的转换 被引量：1

13

作者 马健 徐涛 张育平 《计算机应用》 CSCD 北大核心 2013年第A01期243-246,共4页

针对业务流程图与可执行模型之间一致性的问题,通过对常见工作流模式的分析,将流程表达的逻辑建模成一系列事件/状态的组合,设计了一种基于连续语义的模型转换方法,从而把含有非结构循环的业务流程模型转化为在功能上等价的仅仅支持结... 针对业务流程图与可执行模型之间一致性的问题,通过对常见工作流模式的分析,将流程表达的逻辑建模成一系列事件/状态的组合,设计了一种基于连续语义的模型转换方法,从而把含有非结构循环的业务流程模型转化为在功能上等价的仅仅支持结构循环的工作流代码。最后通过具体案例验证方法的有效性。 展开更多

关键词 业务流程图 连续语义 结构循环 业务流程建模符号 业务处理执行语言

在线阅读 下载PDF 职称材料

认知符号学:重新思考文学艺术的新路径 被引量：5

14

作者 马大康 《江海学刊》 CSSCI 北大核心 2021年第1期232-237,255,共7页

符号首先是人与世界的"关系模式",是人把握世界的中介。人类符号建模的发生过程存在三个序列:行为建模、语言建模、符号建模。其中,语言诞生是关键。语言具有对象化及符号化能力,它不仅将行为建模转化为"行为语言"... 符号首先是人与世界的"关系模式",是人把握世界的中介。人类符号建模的发生过程存在三个序列:行为建模、语言建模、符号建模。其中,语言诞生是关键。语言具有对象化及符号化能力,它不仅将行为建模转化为"行为语言",并且协同行为建模共同构造了其他所有符号。人的世界和文学艺术世界就是由各式各样的符号建构的,因此,最终都可以用"行为语言"与"言语行为"二维张力结构加以解释。这种二维张力结构决定着:人与世界之关系既是一元的,又是二元的。西方理论之所以难以摆脱语言中心主义、理性中心主义,难以超越二元思维,其原因就在于忽略了行为语言与言语行为存在着实质性差异,认为语言可以单独解释一切其他符号,这就势必走向谬误。唯有从行为语言与言语行为的二维张力结构入手,才可以对文学艺术和文化实践做出更加贴切的新阐释。 展开更多

关键词 文学艺术 认知符号学 符号建模 关系模式

在线阅读 下载PDF 职称材料

基于结构化定理的BPMN结构化方法 被引量：1

15

作者 邓新国 林子禹 肖如良 《计算机工程》 CAS CSCD 北大核心 2009年第7期70-72,共3页

在基于标准模型驱动业务流程的开发环境中,需要把模型转换为代码。该文提出一种新的基于结构化定理的解决方法,把业务过程建模符号的非结构化程序转化为结构化程序,并通过一个实际案例说明其可行性。实验结果表明,该方法是有效的。

关键词 业务过程建模符号 业务流程图 转换 结构化

在线阅读 下载PDF 职称材料

一种面向领域需求与业务流程间一致性的检测方法 被引量：1

16

作者 柳金杜 沈立炜 +1 位作者 彭鑫 赵文耘 《小型微型计算机系统》 CSCD 北大核心 2013年第6期1270-1275,共6页

BPMN是软件开发领域中较为常用的描述业务流程的建模标准.在包含业务流程可变性的软件产品线中,基于BPMN的业务流程模板可支持针对领域需求的业务流程描述,并且能够高效地生成面向特定应用需求的业务流程实例.然而,领域需求与业务流程... BPMN是软件开发领域中较为常用的描述业务流程的建模标准.在包含业务流程可变性的软件产品线中,基于BPMN的业务流程模板可支持针对领域需求的业务流程描述,并且能够高效地生成面向特定应用需求的业务流程实例.然而,领域需求与业务流程模板之间往往存在不一致情况.针对该问题,提出一种面向领域需求与业务流程一致性的模型检测方法,该方法使用变数线性时态逻辑(FLTL)描述领域需求,同时使用状态进程公式(FSP)描述BPMN实例,在持续的迭代过程中使用自动化模型检测工具发现领域需求与业务流程之间的不一致,并将其反馈给相关人员实施修正. 展开更多

关键词 业务流程建模符号(BPML) 软件产品线 变数线性时态逻辑(FLTL) 状态进程公式(FSP)

在线阅读 下载PDF 职称材料

一种解决三区间数回归的混合PM方法 被引量：1

17

作者 汪瑜 林祎明 孙慧敏 《统计与决策》 CSSCI 北大核心 2023年第9期41-47,共7页

为了解决现有PM方法应用于三区间数回归模型时难以保证数学一致性及回归区间和观测区间之间存在的相交性问题,文章构建一种用于回归区间上下界的PM方法和用于回归最有可能值点非参数化方法的混合回归模型,通过添加“回归区间上界≥回归... 为了解决现有PM方法应用于三区间数回归模型时难以保证数学一致性及回归区间和观测区间之间存在的相交性问题,文章构建一种用于回归区间上下界的PM方法和用于回归最有可能值点非参数化方法的混合回归模型,通过添加“回归区间上界≥回归最有可能值≥回归区间下界”这一约束条件来确保区间数据的数学一致性,并通过限制“回归区间上界≥观测区间下界且观测区间上界≥回归区间下界”来确保区间相交性。基于K-T方程组讨论回归系数的解析表达式。蒙特卡洛模拟结果表明:与CCRM+模型相比,混合回归模型具有更好的回归效果,PCO平均提高了121%,N0平均降低了89%。在观测数据波动更大的多元回归中,混合回归模型也具有更好的回归效果。 展开更多

关键词 符号数据建模 回归分析 参数化方法 蒙特卡洛模拟 三区间数

在线阅读 下载PDF 职称材料