CPN在FCM形式化建模与验证中的应用 被引量：1

1

作者 郝莉莉 杨惠珍 谢攀 《计算机仿真》 CSCD 北大核心 2011年第6期113-116,共4页

联邦概念模型(FCM)是整个联邦系统开发的依据。针对当前FCM建模能力差、可重用性低,以及很难实现FCM的动态行为验证的缺陷,分析了国内外形式化建模与验证方法研究的现状,提出了一种基于着色Petri网(CPN)的联邦概念模型形式化建模与验证... 联邦概念模型(FCM)是整个联邦系统开发的依据。针对当前FCM建模能力差、可重用性低,以及很难实现FCM的动态行为验证的缺陷,分析了国内外形式化建模与验证方法研究的现状,提出了一种基于着色Petri网(CPN)的联邦概念模型形式化建模与验证方法,给出了用CPN建立与验证FCM的步骤,并以一制造系统为例,利用CPN Tools建立了系统的FCM,验证了所建模型的活性、家态和公平性。研究表明,CPN能够为FCM的形式化建模和验证提供有效的支持。 展开更多

关键词 联邦概念模型 形式化建模 形式化验证

在线阅读 下载PDF 职称材料

煤与瓦斯突出强度预测的AFSA-PCA-FCM耦合模型 被引量：3

2

作者 张美金 蔡冬雷 曹庆春 《传感器与微系统》 CSCD 2017年第12期50-53,56,共5页

针对传统模糊C均值(FCM)聚类算法在预测煤与瓦斯突出强度时不精确的问题,提出了一种基于人工鱼群算法(AFSA)和FCM聚类算法相结合的主成分分析(PCA)筛选的混合新方法。使用AFSA优化FCM聚类算法的初始参数,在公告板中更新AFSA的最优解,从... 针对传统模糊C均值(FCM)聚类算法在预测煤与瓦斯突出强度时不精确的问题,提出了一种基于人工鱼群算法(AFSA)和FCM聚类算法相结合的主成分分析(PCA)筛选的混合新方法。使用AFSA优化FCM聚类算法的初始参数,在公告板中更新AFSA的最优解,从而确定当次的聚类中心,通过PCA找到一个最佳聚类中心。通过无线传感网络系统实时采集井下影响煤与瓦斯突出的主要因素数据作为样本,将预处理后的数据进行分析、建模,并与AFSA—BP,FCM等方法进行比较、讨论。结果表明:对于煤与瓦斯突出强度的预测,该方法具有较高的准确性、快速性并能够稳定地收敛于全局最优解。 展开更多

关键词 煤与瓦斯突出强度 人工鱼群算法 模糊C均值 预测模型 主成分分析

在线阅读 下载PDF 职称材料

构建可扩展的HLA联邦成员架构 被引量：23

3

作者 龚建兴 韩超 +1 位作者 邱晓刚 黄柯棣 《系统仿真学报》 EI CAS CSCD 北大核心 2006年第11期3126-3130,共5页

在分布式仿真领域内,HLA机制使不同类型的联邦成员集成为一个分布交互的综合仿真系统,实现联邦成员在特定的联邦内即插即用,具有较高的重用性和互操作性。但是,这种以FOM信息为中心的联邦开发模式,使联邦成员在不同的联邦中实现重用性... 在分布式仿真领域内,HLA机制使不同类型的联邦成员集成为一个分布交互的综合仿真系统,实现联邦成员在特定的联邦内即插即用,具有较高的重用性和互操作性。但是,这种以FOM信息为中心的联邦开发模式,使联邦成员在不同的联邦中实现重用性和互操作性能力受到限制。可扩展的HLA联邦成员架构,通过组合具有可重用和互操作能力的仿真模型组件来构建一个功能可定制和大小可伸缩的联邦成员,提高了联邦成员在不同的联邦中仍然保持重用性和互操作性能力。 展开更多

关键词 重用性 互操作性 可扩展的HLA联邦成员架构 仿真模型组件

在线阅读 下载PDF 职称材料

基于基本对象模型的仿真模型组装器的研究 被引量：6

4

作者 彭春光 龚建兴 黄柯棣 《系统仿真学报》 EI CAS CSCD 北大核心 2008年第12期3175-3178,共4页

在遵循联邦开发运行全过程标准的联邦开发过程中,出现了一种新的联邦开发模式。新的模式不再以联邦成员为单位,而是以仿真模型组件为单位多人协调合作开发所需的联邦。仿真模型组件的组装技术是构建这种仿真应用系统的关键技术之一。仿... 在遵循联邦开发运行全过程标准的联邦开发过程中,出现了一种新的联邦开发模式。新的模式不再以联邦成员为单位,而是以仿真模型组件为单位多人协调合作开发所需的联邦。仿真模型组件的组装技术是构建这种仿真应用系统的关键技术之一。仿真模型组件必须通过组装才能形成仿真应用系统,才能实现仿真模型组件的价值。通过组合具有可重用和互操作能力的仿真模型组件来构建一个功能可定制和大小可伸缩的联邦成员,使联邦成员在不同的联邦中仍然保持重用性和互操作性。 展开更多

关键词 联邦开发运行全过程 联邦 联邦成员 重用性 互操作性 仿真模型组件 基本对象模型

在线阅读 下载PDF 职称材料

基于Yamaguchi分解模型的全极化SAR图像分类 被引量：9

5

作者 杨然 李坤 +2 位作者 涂志刚 陈荣元 秦前清 《计算机工程与应用》 CSCD 北大核心 2009年第36期5-7,85,共4页

针对利用Yamaguchi分解模型的四个散射分量直接进行类别归属判断精度不高并且所分类别有限的问题,结合模糊C均值的理论,提出了一种基于Yamaguchi分解模型的全极化SAR分类算法,把四个散射分量组成一组归一化的特征矢量,进行FCM聚类分析... 针对利用Yamaguchi分解模型的四个散射分量直接进行类别归属判断精度不高并且所分类别有限的问题,结合模糊C均值的理论,提出了一种基于Yamaguchi分解模型的全极化SAR分类算法,把四个散射分量组成一组归一化的特征矢量,进行FCM聚类分析。并且用日本机载L波段PiSAR数据验证了该算法具有较高的分类精度和较好的视觉效果。 展开更多

关键词 目标分解 四分量散射模型 模糊C均值 极化SAR分类

在线阅读 下载PDF 职称材料

基于模型驱动的HLA建模仿真研究 被引量：5

6

作者 柏晓莉 柏晓辉 +1 位作者 李恒峰 罗雪山 《计算机仿真》 CSCD 2007年第6期102-105,共4页

HLA作为现有分布交互仿真的标准,其系统实现受限于特定的仿真支撑平台,互操作性和可重用性没有得到有效地应用。而OGM提出了模型驱动体系结构(MDA),核心思想是将系统的行为逻辑模型与特定的目标平台分离,可以重用于现有的或将来可能推... HLA作为现有分布交互仿真的标准,其系统实现受限于特定的仿真支撑平台,互操作性和可重用性没有得到有效地应用。而OGM提出了模型驱动体系结构(MDA),核心思想是将系统的行为逻辑模型与特定的目标平台分离,可以重用于现有的或将来可能推出的不同的软件平台。关注MDA的特点,针对基于HLA的仿真系统开发存在的有关问题,设计了基于MDA的仿真组件模型和联邦成员组件模型,并提出了基于MDA的建模仿真基本过程。 展开更多

关键词 模型驱动体系结构 平台无关模型 平台对应模型 高层体系结构 仿真组件模型 联邦成员组件模型

在线阅读 下载PDF 职称材料

联邦概念模型及其VV&A研究 被引量：4

7

作者 杨惠珍 李家宽 康凤举 《计算机仿真》 CSCD 北大核心 2009年第7期109-112,共4页

联邦概念模型(FCM)是联邦设计和开发的基础,对联邦概念模型进行VV&A有助于提高模型可重用性和互操作性。由于FCM中定性描述多于定量描述,不利于VV&A结果的客观性,而形式化方法是解决上述问题的重要途径。总结了国内外在概念模... 联邦概念模型(FCM)是联邦设计和开发的基础,对联邦概念模型进行VV&A有助于提高模型可重用性和互操作性。由于FCM中定性描述多于定量描述,不利于VV&A结果的客观性,而形式化方法是解决上述问题的重要途径。总结了国内外在概念模型的定义、建模方法以及模型形式化描述等方面的主要研究观点,讨论了HLA联邦概念模型开发过程及其完整性、正确性和一致性问题,阐述了FCM的VV&A过程和技术,介绍了有利于减少VV&A结果的主观性的基于模糊AHP的专家评审法和基于时态逻辑的形式化校核方法,最后讨论了形式化方法在联邦概念模型VV&A中的应用。 展开更多

关键词 联邦概念模型 校核 验证与确认 模糊层次分析法 形式化校核

在线阅读 下载PDF 职称材料

多核环境下面向仿真组件的HLA成员并行框架 被引量：3

8

作者 彭勇 蔡楹 +1 位作者 钟荣华 黄柯棣 《软件学报》 EI CSCD 北大核心 2012年第8期2188-2206,共19页

提出了一种面向仿真组件的并行联邦成员框架,以解决基于HLA(high level architecture)复杂仿真系统联邦成员开发的问题,并提升多核处理器环境下联邦成员的运行性能.并行联邦成员框架通过仿真组件的组合、装配来构建联邦成员.通过仿真引... 提出了一种面向仿真组件的并行联邦成员框架,以解决基于HLA(high level architecture)复杂仿真系统联邦成员开发的问题,并提升多核处理器环境下联邦成员的运行性能.并行联邦成员框架通过仿真组件的组合、装配来构建联邦成员.通过仿真引擎管理、数据分发管理、对象管理、组件管理服务和负载平衡功能,并行联邦成员框架为仿真模型构建了一个多核的并行执行环境,并确保并行成员能与RTI正确交互.通过实验来研究并行成员框架引入的额外开销,并比较并行成员和普通成员的性能.实验结果表明,并行框架能够充分利用多核处理器的计算能力来减少仿真系统运行时间,提高系统性能. 展开更多

关键词 建模仿真 高层体系结构 并行成员 仿真组件 多核

在线阅读 下载PDF 职称材料

基于CPN的联邦概念模型形式化建模与验证(英文) 被引量：3

9

作者 杨惠珍 郝莉莉 《系统仿真学报》 CAS CSCD 北大核心 2012年第7期1361-1365,1372,共6页

提出了基于着色Petri网(CPN)的联邦概念模型(FCM)形式化建模与验证一体化方法。这种方法的提出主要基于下面两点:一是形式化的FCM与用自然语言描述的模型相比具有更完整、更准确和更规范的特点;二是形式化模型的验证需要专门的工具辅助... 提出了基于着色Petri网(CPN)的联邦概念模型(FCM)形式化建模与验证一体化方法。这种方法的提出主要基于下面两点:一是形式化的FCM与用自然语言描述的模型相比具有更完整、更准确和更规范的特点;二是形式化模型的验证需要专门的工具辅助完成。以一个简单的制造系统为例,采用CPN语言建立了该系统的形式化概念模型,利用辅助软件工具CPN Tools完成了该联邦概念模型的仿真和验证。应用研究表明,着色Petri网有助于描述联邦中各实体的行为和关系,CPN Tools辅助工具实现了形式化模型建模、仿真和验证的一体化过程。 展开更多

关键词 着色Petri网(CPN) 验证 联邦概念模型(fcm) 形式化模型

在线阅读 下载PDF 职称材料

基于基本对象模型的组件式成员规划技术研究

10

作者 彭春光 刘健 黄柯棣 《系统仿真学报》 CAS CSCD 北大核心 2009年第15期4697-4700,共4页

在遵循FEDEP标准的联邦开发过程中,出现了一种组件式的联邦开发模式。该模式不再以联邦成员为基本单位,而是以仿真模型组件为单位多人协调合作开发所需的联邦。以构建大规模的分布式仿真系统为背景,对基于基本对象模型的组件式成员规划... 在遵循FEDEP标准的联邦开发过程中,出现了一种组件式的联邦开发模式。该模式不再以联邦成员为基本单位,而是以仿真模型组件为单位多人协调合作开发所需的联邦。以构建大规模的分布式仿真系统为背景,对基于基本对象模型的组件式成员规划技术进行了研究,提出了三种基于不同指标的成员规划方法。结果表明,使用该方法能够在仿真过程中将各组件快速组装成仿真成员,并且合理规划到各仿真节点上,从而实现仿真系统的快速构建。 展开更多

关键词 基本对象模型 仿真模型组件 成员规划 联邦成员 联邦

在线阅读 下载PDF 职称材料

网格环境下基于HLA的自适应仿真研究

11

作者 黄继杰 李伯虎 柴旭东 《系统仿真学报》 EI CAS CSCD 北大核心 2008年第6期1479-1482,1499,共5页

在面向服务的网格环境下进行基于HLA的分布仿真时,网格环境的变化会使模型服务无法完成联邦成员对象实例的访问,从而导仿真运行终止,故必须在仿真中引入很强的容错机制,使仿真能自适应地运行。为满足网格环境下分布仿真运行的这些要求,... 在面向服务的网格环境下进行基于HLA的分布仿真时,网格环境的变化会使模型服务无法完成联邦成员对象实例的访问,从而导仿真运行终止,故必须在仿真中引入很强的容错机制,使仿真能自适应地运行。为满足网格环境下分布仿真运行的这些要求,先将模型设计成具有自适应能力的网格服务,再对运行支撑的本地组件(LRC)和核心组件(CRC)作服务化的改造,在这两组件间建立了两条基于Http协议的链接。通过为HLA增加几个模型管理接口,在LRC和CRC以及自适应模型服务三者之间实现了信息的互通,这使得模型服务的自适应能力被提升为仿真运行的自适应能力。实验表明,在网格环境下进行的自适应仿真具有了容错能力。 展开更多

关键词 自适应 对象实例 模型服务 联邦成员 RTI核心组件 回调

在线阅读 下载PDF 职称材料

化工过程自适应多模型故障监测方法研究 被引量：1

12

作者 罗静 胡瑾秋 +1 位作者 张来斌 马曦 《中国安全科学学报》 CAS CSCD 北大核心 2016年第7期130-134,共5页

为提高化工过程故障监测的准确性,针对先验知识不足情况下的多模态化工过程模态数未知问题,开发自适应多模型的故障监测方法。基于奇异值分解(SVD)求解模态数,利用模糊C均值(FCM)算法对训练数据进行模态划分,并利用主成分分析(PCA)方法... 为提高化工过程故障监测的准确性,针对先验知识不足情况下的多模态化工过程模态数未知问题,开发自适应多模型的故障监测方法。基于奇异值分解(SVD)求解模态数,利用模糊C均值(FCM)算法对训练数据进行模态划分,并利用主成分分析(PCA)方法,针对不同的过程模态建立相应的监测模型,实现故障监测。将该方法应用于丙烯计量罐装置,进行实例分析。结果表明,与基于聚类有效性指标的方法相比,该方法在正常和故障2种情况下,故障监测的误报率分别降低了3.54%和5.59%。 展开更多

关键词 自适应 多模态 故障监测 奇异值分解(SVD) 模糊C均值(fcm)算法 主成分分析(PCA)

在线阅读 下载PDF 职称材料

一种多阶段发酵过程的联合加权支持向量机建模方法 被引量：2

13

作者 于涛 刘笑梅 +2 位作者 王建林 赵利强 李和平 《北京化工大学学报（自然科学版）》 CAS CSCD 北大核心 2016年第4期102-108,共7页

发酵过程是一类具有多阶段特性的间歇过程,在建立其多阶段模型时,各阶段子模型的融合方法特别是过渡阶段的处理方法是研究重点。针对发酵建模过程中过渡阶段的处理问题,提出了一种联合加权支持向量机(SVM)建模方法,利用阶段划分得到的... 发酵过程是一类具有多阶段特性的间歇过程,在建立其多阶段模型时,各阶段子模型的融合方法特别是过渡阶段的处理方法是研究重点。针对发酵建模过程中过渡阶段的处理问题,提出了一种联合加权支持向量机(SVM)建模方法,利用阶段划分得到的隶属度函数对训练样本数据进行扩展,进而直接建立发酵过程的多阶段模型。实验结果证明,所提出的方法能够很好地处理各阶段间的过渡过程,提高了模型精度。 展开更多

关键词 发酵过程 多阶段模型 支持向量机(SVM) 主元分析(PCA) 模糊C均值(fcm)聚类

原文传递