期刊文献+
共找到473篇文章
< 1 2 24 >
每页显示 20 50 100
Capability requirements modeling and verification based on fuzzy ontology 被引量:4
1
作者 Qingchao Dong Zhixue Wang Weixing Zhu Hongyue He 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2012年第1期78-87,共10页
The capability requirements of the command, control, communication, computing, intelligence, surveillance, reconnaissance (C41SR) systems are full of uncertain and vague information, which makes it difficult to mode... The capability requirements of the command, control, communication, computing, intelligence, surveillance, reconnaissance (C41SR) systems are full of uncertain and vague information, which makes it difficult to model the C41SR architecture. The paper presents an approach to modeling the capability requirements with the fuzzy unified modeling language (UML) and building domain ontologies with fuzzy description logic (DL). The UML modeling constructs are extended according to the meta model of Depart- ment of Defense Architecture Framework to improve their domain applicability, the fuzzy modeling mechanism is introduced to model the fuzzy efficiency features of capabilities, and the capability requirement models are converted into ontologies formalized in fuzzy DL so that the model consistency and reasonability can be checked with a DL reasoning system. Finally, a case study of C41SR capability requirements model checking is provided to demonstrate the availability and applicability of the method. 展开更多
关键词 fuzzy ontology fuzzy unified modeling language (UML) fuzzy description logic (DL) model checking.
在线阅读 下载PDF
基于Modelica的虚拟电工电子网络实验室设计 被引量:4
2
作者 施正寅 朱善安 《计算机工程》 CAS CSCD 2012年第11期287-289,共3页
为方便学生通过互联网进行电类课程实验,设计一种基于Modelica的虚拟电工电子网络实验室iEEVL。该实验平台利用Modelica进行多课程的统一建模,涵盖电路原理、模拟电子技术、数字电子技术、微电子器件、单片机原理、数字信号处理原理与... 为方便学生通过互联网进行电类课程实验,设计一种基于Modelica的虚拟电工电子网络实验室iEEVL。该实验平台利用Modelica进行多课程的统一建模,涵盖电路原理、模拟电子技术、数字电子技术、微电子器件、单片机原理、数字信号处理原理与技术等课程。仿真结果表明,该平台具有较好的可扩展性,用户可以通过建立新的Modelica模型进行实验。 展开更多
关键词 电工电子网络实验室 虚拟实验 远程教育 统一建模 modelICA语言
在线阅读 下载PDF
基于COOZ对UML的类结构的形式化 被引量:5
3
作者 庞军 王云峰 郑国梁 《计算机工程与应用》 CSCD 北大核心 2000年第6期86-89,共4页
为面向对象的模型建立坚实的形式化基础是近年形式化研究的热点。一旦提供了对面向对象模型概念的精确描述后,就可以对OO模型的行为和结构进行清晰的分析。统一模型语言(UML)是为建立统一的面向对象开发方法的有益偿试,它是在已有... 为面向对象的模型建立坚实的形式化基础是近年形式化研究的热点。一旦提供了对面向对象模型概念的精确描述后,就可以对OO模型的行为和结构进行清晰的分析。统一模型语言(UML)是为建立统一的面向对象开发方法的有益偿试,它是在已有的三大OO方法学的基础上抽象出来的模型语言。文章结合作者正在进行的对Z语言的OO扩展COOZ,对UML的类层次结构进行精确的形式化描述。 展开更多
关键词 面向对象 cooz语言 UML语言 类结构 软件开发
在线阅读 下载PDF
面向列车运行组织的多分辨率铁路基础设施数据模型及应用
4
作者 郑然斐 孟令云 +3 位作者 苗建瑞 蒋熙 廖正文 李冰 《铁道运输与经济》 北大核心 2025年第6期77-89,共13页
刻画铁路基础设施信息的数据文件是列车运行组织生产智能化的必要条件,也是开展相关研究的数据底座。铁路运输涉及要素众多,组织列车运行时天然地在不同层级、不同岗位、不同业务下需要同一事物不同分辨率的信息。为满足未来铁路列车运... 刻画铁路基础设施信息的数据文件是列车运行组织生产智能化的必要条件,也是开展相关研究的数据底座。铁路运输涉及要素众多,组织列车运行时天然地在不同层级、不同岗位、不同业务下需要同一事物不同分辨率的信息。为满足未来铁路列车运行组织各层级、岗位、业务轴面协同、一体化联通的需求,以及针对不同分辨率场景的科研成果的便利整合与复用,提出了一种面向列车运行组织的刻画铁路基础设施信息的多分辨率可扩展标记语言(XML)数据模型。使用统一建模语言(UML)明确了模型组织架构,对宏观、中观、微观分辨率下列车运行组织所需基础设施信息和组织逻辑格式进行了定义并设计了一致性交互规则。开发了生成该数据格式文件的电子路网绘制程序。基于以上成果建立了京沪高速铁路等线路的车站、线路、路网的不同分辨率数据文件,并将文件作为基础输入数据应用于列车运行仿真、调度监督、运行优化等领域。结果表明,该数据模型定义的文件可以满足多分辨率多种场景下的列车运行组织生产与研究需求。 展开更多
关键词 铁路运输 列车运行组织 多分辨率 数据模型 可扩展标记语言 统一建模语言
在线阅读 下载PDF
大语言模型在代码优化任务中的能力探究及改进方法
5
作者 王志鹏 何铁科 +1 位作者 赵若愚 郑滔 《软件学报》 北大核心 2025年第6期2477-2500,共24页
代码优化任务作为自动化代码审查的关键环节,有助于提高开发效率和代码质量.随着大语言模型在软件工程领域中展现出远胜于传统小规模预训练模型的性能,旨在探讨两类模型在自动代码优化任务的表现,以评估大语言模型的综合优势.通过使用... 代码优化任务作为自动化代码审查的关键环节,有助于提高开发效率和代码质量.随着大语言模型在软件工程领域中展现出远胜于传统小规模预训练模型的性能,旨在探讨两类模型在自动代码优化任务的表现,以评估大语言模型的综合优势.通过使用传统代码质量评估指标(例如,BLEU,CodeBLEU,edit progress)对4种主流大语言模型和4种代表性小规模预训练模型在代码优化任务的表现进行评估,发现大语言模型在审查前代码优化子任务的优化质量劣于小规模预训练模型.由于现有代码质量评估指标难以解释上述现象,提出基于Unidiff的代码优化评估指标,量化优化过程中的变更操作,以解释劣势原因并揭示模型执行变更操作的倾向性:(1)审查前代码优化任务难度较大,模型执行正确变更操作的准确度极低,且大语言模型比小规模预训练模型表现更为“激进”,即倾向于执行更多的代码变更操作,导致其表现不佳;(2)相比小规模预训练模型,大语言模型在代码优化任务倾向于执行更多插入(ADD)和修改(MODIFY)变更操作且ADD变更操作平均插入的代码行数较多,进一步证明其“激进”性.为缓解大语言模型在审查前优化任务中的劣势,基于大语言模型和集成学习提出LLM-Voter方法,包含Inference-based(基于模型推理)和Confidence-based(基于置信度选择)两种子方案,旨在集成不同基模型的优势以提升代码优化质量.在此基础上,进一步引入优化判定机制,以增强模型的决策稳定性与可靠性.实验证明:基于置信度选择的LLM-Voter方法能够在大幅提高EM(exact match)值的同时获得优于所有基模型的优化质量,从而有效缓解大语言模型的劣势. 展开更多
关键词 代码审查 自动代码优化 大语言模型 统一差异格式 集成学习
在线阅读 下载PDF
UML模型到COOZ规约的形式化转换 被引量:4
6
作者 黄春荣 李宣东 郑国梁 《计算机工程与应用》 CSCD 北大核心 2003年第20期89-91,共3页
为UML建模元素提供坚实的形式化语义基础是目前的研究热点之一,在这方面也有了不少探索。文章在过去的研究的基础上,给出了UML模型到COOZ规约的一种系统的转化方法。将UML模型转换到COOZ规约后,UML模型的推理验证就可以通过相应COOZ规... 为UML建模元素提供坚实的形式化语义基础是目前的研究热点之一,在这方面也有了不少探索。文章在过去的研究的基础上,给出了UML模型到COOZ规约的一种系统的转化方法。将UML模型转换到COOZ规约后,UML模型的推理验证就可以通过相应COOZ规约的推理验证实现。该方法不但为UML提供了精确的形式化语义基础,而且,提供了一种UML模型推理的合理的机制。 展开更多
关键词 统一建模语言UML cooz 面向对象的模型
在线阅读 下载PDF
基于MBSE的作战能力跨域描述元建模方法
7
作者 朱刚 郑建成 +2 位作者 李志淮 常春贺 刘华 《火力与指挥控制》 CSCD 北大核心 2024年第8期97-104,共8页
针对作战能力跨域描述存在语义二义性、不利于交流等问题,提出一种基于模型系统工程的元建模方法。抽象出作战能力元模型并给出形式化定义;从能力、作战和信息视角扩展作战能力元模型定义作战能力描述语言;通过UML Profile技术实现作战... 针对作战能力跨域描述存在语义二义性、不利于交流等问题,提出一种基于模型系统工程的元建模方法。抽象出作战能力元模型并给出形式化定义;从能力、作战和信息视角扩展作战能力元模型定义作战能力描述语言;通过UML Profile技术实现作战能力描述语言建模工具;借鉴面向对象分析方法思路提出作战能力描述语言建模方法。以美军“分布式防御”概念为例对提出方法进行实例验证。结果表明,提出的方法易于理解、可靠性和可扩展性强,有效消除语义二义性的同时满足多视角跨域描述作战能力的需求。 展开更多
关键词 元模型 作战能力描述语言 统一建模语言配置 作战能力 跨领域
在线阅读 下载PDF
面向业务自动化转型的铁路运输调度业务数据模型构建方法研究 被引量:3
8
作者 郑然斐 孟令云 +3 位作者 苗建瑞 蒋熙 廖正文 潘钰雯 《铁道运输与经济》 北大核心 2024年第6期73-80,共8页
铁路运输生产调度业务自动化、智能化转型改进是推动铁路运输效率提升的重要手段。探讨业务转型过程中对业务各场景各颗粒度控制逻辑和信息流通的梳理建模方法,从而推动业务高效转型,在对运输生产调度业务深入分析的基础上,抽象了调度... 铁路运输生产调度业务自动化、智能化转型改进是推动铁路运输效率提升的重要手段。探讨业务转型过程中对业务各场景各颗粒度控制逻辑和信息流通的梳理建模方法,从而推动业务高效转型,在对运输生产调度业务深入分析的基础上,抽象了调度业务组织的关键影响要素和关键关联关系,梳理了工作流、信息流、信息流通机制与上述抽象的调度业务要素及这些要素间关联关系的对应关系,设计了一种刻画业务工作流、信息流和信息流通机制的数据模型构建方法。考虑到铁路运输生产调度业务分散协作、多级耦合的多层级多场景特点,设计了工作流、信息流数据模型的分化、细化关联机制,以实现对不同层级、场景调度业务的数据模型间有机关系的刻画,最后结合实际调度业务进行了应用分析。结果表明该方法构建的数据模型可以规范调度业务在不同场景、不同颗粒度下的控制逻辑和信息流通,从而为业务自动化转型过程中的信息系统开发和作业流程再造提供参考。 展开更多
关键词 调度指挥 数据模型 工作流 信息流 统一建模语言
在线阅读 下载PDF
融合大语言模型与图结构的招商风险分析算法 被引量:1
9
作者 吕晓斌 唐远泉 +4 位作者 苏怀强 赵茂瑶 席凤正 周鑫 何亚 《计算机应用》 CSCD 北大核心 2024年第S2期7-11,共5页
在企业的招商引资过程中,存在多维度的风险。传统的风险评估方法由于信息失真以及经济行为中的复杂关系,难以及时且准确地识别这些风险。为解决上述问题,提出一种将大型语言模型(LLM)与图神经网络(GNN)融合的风险分析框架。利用LLM的语... 在企业的招商引资过程中,存在多维度的风险。传统的风险评估方法由于信息失真以及经济行为中的复杂关系,难以及时且准确地识别这些风险。为解决上述问题,提出一种将大型语言模型(LLM)与图神经网络(GNN)融合的风险分析框架。利用LLM的语义理解能力,辅助GNN构建全面、准确的动态企业异构知识图谱,从而解决静态数据引起的信息失真问题。在此基础上,针对GNN在深度和语义表达能力上的不足,设计一个基于知识的语义结构挖掘模块,并结合Qwen2大模型增强节点表示的语义精准性。此外,提出一体化图(IOG)模块将节点分类与图分类任务统一为对“关注节点”的预测。通过统一预测机制,实现对不同图结构类型的预测,从而显著提升模型在不同数据集上的泛化能力。基于该框架构建的IOG-CIQAN(In One Graph with Collective Intelligence and Qwen2 Assistance Network)模型在劳工、财务、行政这3个风险分析数据集上的准确率均超过了87%,优于胶囊网络(CapsNet)等多种基线模型。 展开更多
关键词 图神经网络 大语言模型 图结构感知 企业风险预测 图结构统一表示
在线阅读 下载PDF
基于UMCS树的UML类图的混合相似性度量
10
作者 袁中臣 马宗民 《计算机应用》 CSCD 北大核心 2024年第3期883-889,共7页
软件重用是基于给定条件从存储库中检索以前开发的软件产品,检索基于相似性度量。UML(Unified Modeling Language)类图被广泛应用于软件设计,UML类图重用作为软件设计重用的核心而备受关注。因此,对UML类图的相似性开展研究。类图包含... 软件重用是基于给定条件从存储库中检索以前开发的软件产品,检索基于相似性度量。UML(Unified Modeling Language)类图被广泛应用于软件设计,UML类图重用作为软件设计重用的核心而备受关注。因此,对UML类图的相似性开展研究。类图包含语义和结构信息。目前,UML类图的相似性研究主要集中在语义,也有个别讨论结构相似性,但没有考虑将语义和结构相结合。因此,提出一种结合语义和结构的混合相似性度量。鉴于UML类图的非形式化特征,将UML类图转换成图模型,搜索最大公共子图列表,构建了最大公共子图树,提出一个基于最大公共子图序列的混合相似性度量方法。针对概念公共子图和结构公共子图分别定义了语义匹配和结构匹配,并开展了相似性对比和基于相似性的分类质量比较实验,实验结果验证了所提出方法的优势。 展开更多
关键词 UML类图 模型转换 混合相似性 最大公共子图树 语义匹配 结构匹配
在线阅读 下载PDF
元建模技术研究进展 被引量:47
11
作者 刘辉 麻志毅 邵维忠 《软件学报》 EI CSCD 北大核心 2008年第6期1317-1327,共11页
随着UML(unified modeling language)与MDA(model driven architecture)的兴起和流行,模型已经成为软件开发的核心制品,而模型重要性的提升使得建模语言以及定义建模语言的元模型逐渐成为软件开发中的一个核心要素.软件开发往往涉及多... 随着UML(unified modeling language)与MDA(model driven architecture)的兴起和流行,模型已经成为软件开发的核心制品,而模型重要性的提升使得建模语言以及定义建模语言的元模型逐渐成为软件开发中的一个核心要素.软件开发往往涉及多个领域,而不同的领域往往需要不同的建模语言及其建模工具.但是,手工地为不同的建模语言开发建模工具代价高昂.元建模技术是解决这个问题的方法之一,通过元建模,可以根据领域需要定制合适的元模型以定义领域建模语言,进而自动生成支持该建模语言的建模工具.大量的工程实践表明,与领域建模以及MDA相结合,元建模可以大幅度地提高软件开发效率,基于元建模的MDA比基于通用建模语言的MDA更具潜力.在最近的几年中,元建模及其相关技术发展迅猛,不但在技术上取得了长足的进步,而且在产业界也开始出现大规模的商业应用.总结了元建模的现有研究成果,分析和比较了现有元建模工具,探讨了元建模的可能发展方向.对元建模中存在的问题进行分析,并指出了可能的解决途径. 展开更多
关键词 元建模 元模型 UML(unified modeling language) MDA(model driven architecture)
在线阅读 下载PDF
UML多视点建模机制应用研究 被引量:20
12
作者 陈英 赵小林 +1 位作者 施兴华 刘然 《北京理工大学学报》 EI CAS CSCD 北大核心 2001年第1期53-56,共4页
论述了 UML支持软件工程全过程的多视点、可视化建立开发系统模型的优势和适用性 .并针对一个小型图书管理系统 ,通过建立的静态模型 (用例图、包图、配置图 )和动态模型 (状态图、顺序图、合作图 ) ,展示了 UML多视点建模实例 ,说明了... 论述了 UML支持软件工程全过程的多视点、可视化建立开发系统模型的优势和适用性 .并针对一个小型图书管理系统 ,通过建立的静态模型 (用例图、包图、配置图 )和动态模型 (状态图、顺序图、合作图 ) ,展示了 UML多视点建模实例 ,说明了应用 UML 建立富有弹性的、可扩充的软件开发模型的过程框架和机制 . 展开更多
关键词 统一建模语言 对象建模技术 面向对象 多视点建模 软件工程
在线阅读 下载PDF
基于Agent的无线传感器网络AUML交互模型 被引量:2
13
作者 陈志 史倢 +3 位作者 章韵 王星波 金少华 扈罗全 《传感技术学报》 CAS CSCD 北大核心 2010年第11期1617-1622,共6页
节点之间的协作交互是无线传感器网络自组织基础,也是拓扑控制和路由选择的本质特性。分析无线传感器网络典型拓扑控制算法和路由协议中的交互行为,在多Agent系统模型基础上,提出基于AUML的无线传感器网络Agent元模型和Agent模型图,构... 节点之间的协作交互是无线传感器网络自组织基础,也是拓扑控制和路由选择的本质特性。分析无线传感器网络典型拓扑控制算法和路由协议中的交互行为,在多Agent系统模型基础上,提出基于AUML的无线传感器网络Agent元模型和Agent模型图,构建适合于无线传感器网络的AUML交互模型,该模型包括WSNAgent实例、WSNAgent角色特征、WSNAgent生命线和控制焦点、连接器、消息、条件等基本组件。典型协议建模表明,无线传感器网络AUML交互模型具有较好的可视化描述能力,为无线传感器网络交互的实现奠定了良好基础。 展开更多
关键词 交互 AGENT AUML(Agent unified modeling language) 元模型
在线阅读 下载PDF
UMLStatecharts的模型检验方法 被引量:40
14
作者 董威 王戟 齐治昌 《软件学报》 EI CSCD 北大核心 2003年第4期750-756,共7页
统一建模语言UML已广泛应用于软件开发中,验证UML模型是否满足某些关键性质成为一个重要问题.提出了对UML Statecharts进行模型检验的方法.首先用扩展层次自动机结构化地表示UML Statecharts,然后给出其操作语义,通过寻找最大无冲突迁... 统一建模语言UML已广泛应用于软件开发中,验证UML模型是否满足某些关键性质成为一个重要问题.提出了对UML Statecharts进行模型检验的方法.首先用扩展层次自动机结构化地表示UML Statecharts,然后给出其操作语义,通过寻找最大无冲突迁移集可以保证语义的正确性.对于具有无穷运行的系统,该操作语义可以映射到一个Bchi自动机.使用基于自动机理论的模型检验方法来验证UML Statecharts的线性时态逻辑性质,并给出方法验证由Statecharts和协同图建模的复杂多对象系统. 展开更多
关键词 UMLStatecharts 模型检验方法 软件开发 统一建模语言
在线阅读 下载PDF
UML活动图在工作流过程建模中的应用研究 被引量:16
15
作者 欧阳元新 熊璋 侯亚荣 《计算机工程与设计》 CSCD 2004年第9期1479-1481,共3页
UML(Unified Modeling Language)是一种定义良好、易于表达、功能强大且普遍适用的建模语言,其引入活动图的目的之一就是用于企业建模或描述工作流。根据具体应用需要,对UML活动图的子过程活动、逻辑连接符、控制流边等进行了扩展,给出... UML(Unified Modeling Language)是一种定义良好、易于表达、功能强大且普遍适用的建模语言,其引入活动图的目的之一就是用于企业建模或描述工作流。根据具体应用需要,对UML活动图的子过程活动、逻辑连接符、控制流边等进行了扩展,给出了扩展后UML活动图的数学模型。 展开更多
关键词 UML活动图 工作流 控制流 建模语言 过程建模 扩展 子过程 具体应用 企业建模 目的
在线阅读 下载PDF
面向对象的本体建模研究 被引量:18
16
作者 陈凯 何克清 +1 位作者 李兵 梁鹏 《计算机工程与应用》 CSCD 北大核心 2005年第2期40-43,共4页
UML语言是面向对象建模领域公认的工业标准,而本体建模是近来迅速发展的语义网中主要建模技术,UML在本体建模领域中的应用的可行性和具体方式一直是关注的焦点。该文对面向对象建模与本体建模之间的关系进行分析,基于UML本体承诺的概念... UML语言是面向对象建模领域公认的工业标准,而本体建模是近来迅速发展的语义网中主要建模技术,UML在本体建模领域中的应用的可行性和具体方式一直是关注的焦点。该文对面向对象建模与本体建模之间的关系进行分析,基于UML本体承诺的概念,阐述了用UML对本体进行建模的本体对象建模的可行性,提出一种规范本体对象建模的UML元模型扩展方法,为UML直接对本体建模提供了理论依据。 展开更多
关键词 本体建模 UML 本体承诺 元模型
在线阅读 下载PDF
IEEE 1451网络化智能传感器的通用建模方法及应用 被引量:12
17
作者 黄国健 刘桂雄 +1 位作者 洪晓斌 陈铁群 《光学精密工程》 EI CAS CSCD 北大核心 2010年第8期1914-1921,共8页
为提高网络化智能传感器的互操作性,在分析IEEE 1451标准传感器的定义和功能需求的基础上,利用统一建模语言(UML),分别从静态用例建模、动态顺序描述和系统部署3个层面构建了一系列面向网络化测控的通用型智能传感器系统模型,搭建了一... 为提高网络化智能传感器的互操作性,在分析IEEE 1451标准传感器的定义和功能需求的基础上,利用统一建模语言(UML),分别从静态用例建模、动态顺序描述和系统部署3个层面构建了一系列面向网络化测控的通用型智能传感器系统模型,搭建了一款可用于在线检测绝缘子污秽状况的网络化智能传感器。相对于从传感器原型开始开发,该方法减少了60%以上的开发时间。实验结果表明,利用UML统一建模方法可以有效描述基于IEEE 1451标准的网络化智能传感器的简化模型,为后续研制及优化高性能的智能传感器提供理论参考和模型基础。建立的传感器模型具有通用性和可扩展性,能关联不同的物理接口;结合实际需求,可在该模型的基础上快速扩展构建所需的网络化智能传感器,能实现传感器的"即插即用"和实现良好的网络互操作性。 展开更多
关键词 智能传感器 建模 IEEE 1451 通用性 统一建模语言
在线阅读 下载PDF
UML Statechart图的操作语义 被引量:22
18
作者 李留英 王戟 齐治昌 《软件学报》 EI CSCD 北大核心 2001年第12期1864-1873,共10页
面向对象标准建模语言 UML(unified modeling language)缺乏精确的动态语义 .根据 UML1.1语义文档 ,提出描述对象状态机的 UML Statechart图的形式化操作语义 .该语义覆盖了 UML Statechart图的绝大部分特征 ,为 UML Statechart图的代... 面向对象标准建模语言 UML(unified modeling language)缺乏精确的动态语义 .根据 UML1.1语义文档 ,提出描述对象状态机的 UML Statechart图的形式化操作语义 .该语义覆盖了 UML Statechart图的绝大部分特征 ,为 UML Statechart图的代码产生、模拟和测试用例生成奠定了基础 .根据上述语义 ,基于 Rose98完成了UML Statechart图的测试用例生成和测试过程的模拟 . 展开更多
关键词 操作语义 UML语言 Statechart图 软件测试 软件开发
在线阅读 下载PDF
基于ARENA的UML建模及其在飞行保障中的应用 被引量:12
19
作者 方绍强 卫克 +2 位作者 陈伟鹏 赵尚弘 李勇军 《系统仿真学报》 CAS CSCD 北大核心 2008年第11期3020-3023,3027,共5页
航空兵场站飞行保障是一个复杂的动态过程。结合Arena与UML两种工具的优点,利用UML建立了航空兵场站飞行保障过程模型,包括飞行保障过程的类图、状态图和活动图。并构建了CMV(模型-视图-控制)仿真软件架构。并对CMV进行了详细阐述。利用... 航空兵场站飞行保障是一个复杂的动态过程。结合Arena与UML两种工具的优点,利用UML建立了航空兵场站飞行保障过程模型,包括飞行保障过程的类图、状态图和活动图。并构建了CMV(模型-视图-控制)仿真软件架构。并对CMV进行了详细阐述。利用Arena对CMV架构进行了程序实现。按照主动保障和被动保障两种策略分别对UML模型进行了仿真。仿真结果表明,在现有保障装备的基础上,通过优化保障流程可以较大的提高场站的飞行保障效能。 展开更多
关键词 飞行保障过程 统一建模语言(UML) 建模 仿真
在线阅读 下载PDF
IEC TC 57 CIM和IEC 61850 SCL模型整合及UCIM构建 被引量:36
20
作者 谢善益 高新华 +1 位作者 周伊琳 高雅 《电力系统自动化》 EI CSCD 北大核心 2009年第17期61-65,共5页
基于IECTC57公共信息模型(CIM)与IEC61850变电站配置描述语言(SCL)信息模型整合,构建涵盖从变电站过程级、间隔级和站级应用到控制中心应用的电力系统统一公共信息模型(UCIM)。研究SCL模型和CIM到UCIM的映射处理规则,以及在UCIM和映射... 基于IECTC57公共信息模型(CIM)与IEC61850变电站配置描述语言(SCL)信息模型整合,构建涵盖从变电站过程级、间隔级和站级应用到控制中心应用的电力系统统一公共信息模型(UCIM)。研究SCL模型和CIM到UCIM的映射处理规则,以及在UCIM和映射规则的基础上构建电力系统模型及应用系统的方式,为实现电网一、二次设备的统一和关联性建模奠定了基础,可用于整合现有各种电力系统应用,开发位置透明的新一代电力系统应用。 展开更多
关键词 变电站配置描述语言 公共信息模型 统一公共信息模型 模式映射规则
在线阅读 下载PDF
上一页 1 2 24 下一页 到第
使用帮助 返回顶部