系统通信模型执行性研究

针对可执行体系结构中系统数据交换是如何最终落实到具体的通信网络或设备,并进行具体数据传输问题,提出了系统通信模型执行方法.该方法描述了系统通信模型具有的基本元素及相关属性、模型元素之间的关系和表示,阐述了系统通信模型与系统接口描述模型、系统数据交换描述以及系统状态转移/系统时序图之间的关系,说明了系统功能驱动系统数据交换的具体步骤以及系统通信模型执行的过程.系统通信模型的执行使系统体系结构模型在整体上形成一个内在的一致性执行体,充实并完善了可执行体系结构,为可执行体系结构的执行奠定基础.     

基于可执行模型的体系结构验证评估方法

信息系统体系结构设计是系统开发过程中的一个关键环节,正确评估体系结构能够提高系统开发效率.基于可执行模型的体系结构验证评估方法是一种有效的验证体系结构评估方法.分析基于可执行模型的体系结构验证评估的特点,提出该方法的评估过程和评估内容.提出基于对象Petri网的可执行模型构建方法,并通过实例说明该方法的可行性.     

DEVS在IDEF0模型验证中的应用

IDEF0方法是结构化系统分析的重要方法,但IDEF0模型是静态的功能模型,不包含运行机制,不便于进行动态分析,导致对模型的验证较为困难.本文建立了IDEF0模型的形式化描述,并对IDEF0模型进行了扩展,提出IDEF0模型到离散事件系统规范(DEVS)模型的转化方法,通过DEVS的仿真运行来对IDEF0模型进行分析和验证.该方法实现了IDEF0方法中系统分析与模型验证的有效衔接,具有扩展性和灵活性,为IDEF0模型的验证提供了支持.     

基于活动图的C4ISR能力需求过程建模及验证

当前对C⁴ISR系统能力需求的描述大多基于图形、文字等静态模型,对信息和数据的具体操作没有进行定义,以至于对象之间的行为过程没有详细说明。缺乏可执行动态语义的能力模型是不可执行的,因此提出了一种基于活动图的能力需求过程建模方法,为可执行体系结构的建模仿真提供支撑。首先给出了系统过程模型的定义,在C⁴ISR系统能力元概念模型的指导下,通过扩展UML活动图得到系统的能力需求过程元模型。然后用本体表示能力需求过程元模型语义,通过对本体的逻辑推理实现对C⁴ISR系统能力需求过程元模型的验证。     

基于扩展IDEF3方法的作战任务描述及效能评估

针对部队作战过程建模复杂、作战效能评估困难的研究现状,提出了一种基于扩展IDEF3的作战任务建模及效能评估方法.在定义部队作战相关概念的基础上,引入了作战行动效能扩充行为单元的描述属性.通过作战任务的分解和"串并联"模型框架的计算方法,对部队作战的具体过程进行形式化描述,给出了部队针对特定任务的作战效能评估方法.最后以某防空旅执行防空任务为实例进行了说明,研究表明将该方法应用于部队作战效能的评估是有效的.     

基于IDEF3/Petri的导弹营训练任务建模

在对某导弹营装备系统的组成、功能和所执行的训练任务进行简要剖析的基础上,针对训练任务的复杂性,提出复杂任务按任务流程进行层次分解的思想和方法,利用IDEF3系列软件Bpwin对导弹营的训练任务进行分解并建立其过程模型。在此基础上,研究IDEF3技术向Petri网技术的转换规则,将过程模型转换为ExSpect仿真环境下的仿真模型,并给出仿真的信息表单。     

C4ISR系统性能预测模型生成方法

C^4ISR体系结构框架从多个方面对C^4ISR系统进行描述,体系结构描述过程的结果就是得到一系列体系结构产品.虽然这些信息描述的是系统的静态特性,但是可以利用所获得各种信息,构造系统性能预测模型,以对系统的动态特性进行评估.首先利用活动模型、规则模型、数据模型,生成可执行模型.再构造通信网络模型,估计作战任务之间的通信延迟,将这些时间属性引入可执行模型,生成实时分布计算模型,对C^4ISR系统进行性能预测.     

UML—RT到一个实时多任务执行模型的转换

为解决把UML-RT行为建模模型平滑过渡到实时多任务系统的图形化软构件设计开发环境的过程设计模型中，本文提出了把UML-RT状态图行为模型转换到该环境下的执行模型的方法。首先介绍UML-RT状态图建模的概念及笔者研制的设计环境，其次给出从UML-RT状态图转换到该设计环境可执行模型的具体方法，最后以一个实例说明了转换方法。     

基于扩展IDEF3方法的作战任务描述及效能评估

针对部队作战过程建模复杂、作战效能评估困难的研究现状,提出了一种基于扩展IDEF3的作战任务建模及效能评估方法。在定义部队作战相关概念的基础上,引入了作战行动效能扩充行为单元的描述属性。通过作战任务的分解和＂串并联＂模型框架的计算方法,对部队作战的具体过程进行形式化描述,给出了部队针对特定任务的作战效能评估方法。最后以某防空旅执行防空任务为实例进行了说明,研究表明将该方法应用于部队作战效能的评估是有效的。     

基于.NET的国防R&D项目绩效评估系统

利用人工神经网络方法构建了国防R&D项目绩效评估体系和模型,基于C/S和B/S混合模式给出了国防R&D项目绩效评估系统的解决方案,最后说明了该系统主要功能的实现过程以及安全措施.     

Fixture knowledge model development and implementation based on a functional design approach

The development of a knowledge model applied to fixture design is a complex task. The main purpose of such model is the development of a knowledge-based application to assist fixture designers. It comprises a detailed specification of the types and structures of data involved in the execution of the inference process needed to create a fixture solution for machining a raw part. A development method together with a knowledge model for automating fixture design is proposed. The development was divided into three parts: Design Process Model, definition of Top-level functional functions and Product Knowledge Model. Adopting a functional design approach, the fixture design solution was created in two levels: functional and detailed. The functional level is based on fixture functional elements and the detailed one is based on fixture commercial elements. The definitions and concepts used in the application are specified in several Units of Knowledge (UoK) that comprises the Fixture Knowledge Model. Common Knowledge Analysis and Design Structuring (CommonKADS), Methodology and software tools Oriented to KBE Applications (MOKA), Integrated DEFinition for Function Modelling (IDEF0) and Unified Modelling Language (UML) are the methodologies and techniques used in the proposed method. Finally, a prototype KBE application for fixture design was developed.     

制造执行系统的功能模型

制造执行系统是企业信息集成的关键技术之一,而制造执行系统的功能建模是设计制造执行系统的基础。文章分析制造执行系统的功能需求,并利用IDEF0方法建立面向制造过程集成的制造执行系统的功能模型。这些功能模型是制造执行系统软件开发的基础。     

基于形式化方法的区块链系统漏洞检测模型

随着区块链技术在各行各业的广泛应用,区块链系统的架构变得越来越复杂,这也增加了安全问题的数量.目前,在区块链系统中采用了模糊测试、符号执行等传统的漏洞检测方法,但这些技术无法有效检测出未知的漏洞.为了提高区块链系统的安全性,本文提出了基于形式化理论的区块链系统漏洞检测模型VDMBS (Vulnerability Detection Model for Blockchain Systems),该模型综合了系统迁移状态、安全规约和节点间信任关系等多种安全因素,同时提供了基于业务流程执行语言BPEL (Business Process Execution Language)流程的漏洞模型构建方法.最后,本文用NuSMV在基于区块链的电子投票选举系统上验证了所提出的漏洞检测模型的有效性,实验结果表明,与现有的五种形式化测试工具相比,所提出的VDMBS模型能够检测出更多的区块链系统业务逻辑漏洞和智能合约漏洞.     

一种支持外部Web服务集成的过程模型

根据供应链管理系统的特点,以及跨企业过程中服务的集成需求,提出一种支持外部服务集成的建模方法——基于Web服务的过程模型。该模型适合供应链管理系统,扩展了模型的服务控制、服务感知和服务选取功能。给出系统体系结构,构建一个基于Web服务过程模型的供应链管理原型系统,该模型能有效支持跨企业过程中的外部Web服务集成,可用于供应链管理系统的软件开发。     

基于IDEF&UML的生产过程管理系统的建模研究

提出了IDEF与UML两者结合的系统建模方法,能够有效地避免IDEF对信息过程流建模和UML语义描述精确性及使用灵活性的不足.该方法采用IDEF0进行系统功能建模,用IDEF1x和UML模型进行信息建模和面向对象的软件系统设计.用该方法设计的沈阳某冶金设备有限公司的基于组件的生产过程管理系统模型具有良好的维护性、可扩展性和重用性,证明了该方法的可行性.     

一种分离业务规则的灵活业务过程建模方法

针对动态环境中业务应用的不断变化,将易变的业务逻辑从过程控制结构中分离,并且通过业务规则的声明性表达式描述,由此构建了业务过程模型BPM4DBL(Business Process Model for Dynamic Business Logic)。在建立规则元素的模型定义后,给出了业务规则的定义、分类和可执行语言描述,最后给出一个BPM4DBL的具体应用实例。     

广义模型服务器的设计与实现

模型的管理与运行一直是决策支持系统的核心,为了有效地实现广义模型的管理,组合和运行,文章设计和实现了一个广义模型服务器。它基于TCP／IP协议,采用三层客户／服务器机制,对模型的表示和运行进行了规范化,通过命令语言在客户端进行模型的管理和运行。该服务器可以对模型、算法、实例、工具等决策支持资源进行有效地管理,它既可广泛地应用于各领域的决策支持系统的开发,也可单独作为决策支持工具进行各种领域问题的辅助决策,文中系统地介绍了该服务器的设计和实现的理论和技术问题。     

业务活动驱动系统体系结构执行研究

针对可执行体系结构研究中难以将业务体系结构的执行对应到系统体系结构的执行,并最终形成内在一致的执行体,提出了业务活动驱动系统体系结构执行的方法。该方法根据DoDAF中业务活动与系统功能多对多的关系,将业务活动用更详细的业务过程模型进行描述,并将过程模型中的行为单元对应到系统功能并触发该功能的执行。系统功能的执行将相应地触发一系列系统功能的执行,系统功能之间的系统数据交换将通过系统通信描述（SV-2）中的连接来实现,这样就建立起业务体系结构与系统体系结构之间的联系,并最终形成整个体系结构内在一致的执行体。该方法有效地解决了业务活动与系统功能之间多对多,无法形成内在一致的执行体问题,为体系结构的执行提供了一个明确、具体的可实施方案。     

Practical simulation application: Evaluation of process control parameters in Twisted-Pair Cables manufacturing system

Intensive competition and rapid technology development of Twisted-Pair Cables (TPC) industry have left no room for competing manufacturers to harbour system inefficiencies. TPC are used in various communication and networks hardware applications; their manufacturing facilities face many challenges including various product configurations with different equipment settings, different product flows and Work in Process (WIP) space limitations. The quest for internal efficiency and external effectiveness forces companies to align their internal settings and resources with external requirements/orders, or in different words, significant factors must be set appropriately and identified prior to manufacturing processes. Integrated definition models (IDEF0, IDEF3) in conjunction with a simulation model and a design of experiments (DOE) have been developed to characterize the TPC production system, identify the significant process parameters and examine various production setting scenarios aiming to get the best product flow time.     

基于Agent的可重构装配线制造执行系统

针对制造执行系统存在的问题,根据可重构制造模式的理念,设计基于CORBA和多Agent的可重构装配线制造执行系统的体系结构,实现制造执行系统的可重构性和可集成性,构建系统的IDEF0功能模型,给出Agent结构模型及装配资源聚类方法。实际应用表明该系统具有良好的实用性,能满足企业需求。