教学课程资源库 更多>>

关键词： 联锁   形式化方法   Event-B   多智能体系统   继电器  

摘要： 随着我国铁路事业的飞速发展,安全、高速成为铁路系统的硬性标准。我国在引进和借鉴欧洲ETCS列控系统的基础上,研发了拥有自主产权的CTCS-3级中国列车控制系统。计算机联锁系统则是保证列车行车安全的基础设备,主要是利用联锁软件完成联锁功能的一种安全苛求性系统,符合“故障-安全”原则。车站联锁控制直接关系到行车安全,也影响到车站作业的效率及行车组织工作,因此联锁系统在不断更新和改进。传统的联锁软件开发很多是用非形式化语言和自然语义来描述的,主要应用于软件工程的需求分析方法,在设计、分析和测试上已无法满足计算机联锁系统的安全需求。所以使用形式化的方法对联锁系统进行规范和说明,不仅可以提高计算机联锁软件的质量,也有利于进行更为严格的测试。计算机联锁主要是由微型计算机的软件、硬件和一些电子、继电器件组成的,具有高可靠性和安全性的实时控制系统,联锁的意义就在于进路控制过程的表述。通过结合6502继电器的功能描述,对车站进路联锁控制逻辑进行完整说明,使用具有严谨数学语义的形式化方法对联锁系统的安全规范进行验证。本文在学习和研究铁路联锁技术的基础上,以车站进路为场景,运用形式化方法Event-B和多智能体系统,阐述它们的特点和优点,并利用B方法的开发平台Rodin,对联锁系统安全性需求和控制功能进行建模和验证,并分别对车站进路的联锁逻辑进行描述,例如对车站进路中的信号、道岔、轨道区段、信号机等过程进行详细描述,把它们的特性和名称视为静态信息,把它们的变化状态视为动态信息,将信息存储到计算机存储器中,生成测试结果,分析结果以此来保证系统软件的一致性和完整性,提高软件的操作性能和安全属性。引入MAS概念,对联锁模型进行框架式的描述,建立不同场景下的Agent,通过对各个Agent的统一建模,最后形成MAS体系。文章实现了用形式化语言的建模过程,并生成证明义务。结果表明,对于车站联锁进路场景的复杂逻辑关系,采用形式化Event-B和MAS结合的方法,可以对模型进行有效规范化验证,不仅对形式化方法的发展有一定的参考价值,也对铁路联锁控制领域提供了切实有效的验证方法。

关键词： 战略预警   体系结构设计   可执行模型   效能评估   ISM-ANP  

摘要： 目前,对战略预警系统(Strategic Early Warning System,SEWS)的相关研究已成为热点,而在网络中心战意义下的SEWS体系建模及评估技术研究尚不够成熟。对该问题的理论分析、结构设计、评估优化等对于SEWS设计、研制、使用有着重要意义,也是SEWS体系建设必不可少的有效工具和迫切需要解决的关键技术。本文主要研究了SEWS的体系结构设计,并在此基础上研究了可执行模型验证及体系效能评估问题,主要研究成果如下:1、基于DoDAF的SEWS体系结构设计。针对美国国防部体系结构框架(DoD Architecutre Framework,DoDAF)在体系结构设计中的不足,提出了在视图描述和数据模型两方面的一致性规范,保证了体系结构设计中的动态行为描述的一致性。结合联合作战任务清单分析了SEWS作战的流程,在网络中心战的基本作战思想下,基于DoDAF对SEWS体系结构进行了详细的设计,实现了运用DoDAF作战视图,系统视图,技术视图等模型产品对SEWS体系结构的可视化描述。2、基于Simlink的SEWS体系结构的可执行验证。针对基于DoDAF设计的静态体系结构无法对作战概念验证问题,提出了以DoDAF核心实体元素为概念模型的SEWS可执行体系结构验证框架。考虑到传统可执行模型的缺陷,提出了DoDAF体系结构静态模型与Simlink可执行模型的映射规则,并在Simlink仿真环境下设计了SEWS的可执行体系结构,在此基础上添加仿真模型验证了SEWS体系结构预警探测动态行为特征,说明了该方法的实用性。3、基于体系结构分析的SEWS体系效能评估方法。针对传统效能评估方法忽略体系各装备集成关系对效能的综合作用问题,分析了体系结构对体系效能的影响机制,建立了基于体系结构分析的体系效能评估框架。通过对体系结构关系分析,获取体系效能指标及关系映射矩阵,引入系统解释结构模型(Interpretative Structural Modeling,ISM)分析了SEWS体系效能指标的相关性,在此基础上借鉴网络层次分析法(The Analytic Network Process,ANP)建立了网络化的SEWS体系效能评估指标体系,形成了一套基于体系关系分析的ISM-ANP体系效能评估模型。通过与传统AHP评估方法确定的指标权重对比分析,说明了该模型能够体现SEWS体系关系对效能的综合集成效果。结合木桶效应和协同效应两方面分析体系效能指标值对效能聚合时的涌现作用,提出了一种基于惩罚和激励机制变权因子的效能指标聚合方法,并结合实例分析,体现了体系效能受指标值影响的涌现效果。与传统方法相比,本文提出的基于体系关系分析系统效能的方法强调了体系设计与评估之间的联系,突显了体系关系对效能的涌现作用。

关键词： 配电缺陷管理系统   UML建模   数据建模  

摘要： 伴随着我国城乡配电网建设的发展、电力系统容量的增加。建设配电故障管理系统可以提高面对复杂的配电关系,不能仅仅依靠人工来完成电力系统管理工作。因此,迅速发展的电力工业迫切需要配电故障管理的信息化。配电缺陷管理系统的设计与实施将促进深圳供电公司向更加智能化、高效率、可靠性、绿色化的方向转变,为保障深圳市的经济社会发展、促进节能减排起到显著成效,为公司创建国内先进电网企业打好基础。 本论文先介绍了深圳市电力公司配电系统的项目背景,对配电缺陷系统所需要解决的问题进行了解答,讨论了配电缺陷项目的研究意义；配电缺陷管理系统软件的目标是实现配电缺陷管理的规范化、现代化管理。它面向配电各级管理人员设计和开发研制,主要由通过勘查管理、启动管理、主管审核管理、消缺管理、报表管理、系统管理等六项大方面的功能所组成的。子系统分为：勘查单管理、启动管理、主管审核管理、消缺派工、现场抢修、现场缺陷验收、统计报表、查询报表、修改报表、分析报表、导出报表、系统数据维护、用户管理、权限管理、基础信息管理等多项子系统,多项子系统可以使配电缺陷管理工作质量全面提高。包括论文最后对配电缺陷系统的内容进行了总结,并对进一步的配电缺陷系统工作进行了展望。

关键词： 组织建模   组织结构   组织单元   工作组   UML技术  

摘要： 目前我国许多高职院校正处在二级管理变革中,需要直面的问题就是组织结构调整。文章讨论了高职院校如何利用新型组织结构,借助UML技术,以最快和最合理的方式建立具有柔性和实用性的组织模型,依据该模型进行组织结构调整,以期在今后的竞争中取得先机。

关键词： 形式化方法   形式化模型   地理信息系统   应用综述  

摘要： 总结形式化理论与地理信息系统的应用情况,阐述形式化描述方法在空间拓扑关系、距离关系与方向关系等方面的应用。文中提出形式化方法在地理信息系统问题框架描述与多系统接口描述中的应用,即通过形式化方法精确一致的规格化描述定义,促进对地理信息领域问题的更好理解,促进信息融合,提高地理信息系统开发质量。

关键词： 机电一体化   控制系统   开放体系   设计  

摘要： 主要对机电一体化控制系统开放体系结构的特征及其设计进行分析,阐述了其具体的应用,对机电一体化控制系统的发展具有重要的意义。

关键词： Clone detection   Formal methods   CCS  

摘要： This paper presents the design and implementation of CD-Form (Clone Detector based on FORmal Methods), a tool targeted at the detection of Type-2 clones in Java code. CD-Form is based on a novel approach for detecting code clones. The methodology adopted performs the analysis on Java bytecode and not on the original Java source. The bytecode is transformed into CCS (Calculus of Communicating Systems) processes, which are successively checked for equivalence. After a thorough description of the methodology used for detecting clones, the design of the tool is presented. The results obtained by evaluating sample Java codes are validated by comparing them to those obtained by a state-of-the-art tool for clone detection. (C) 2013 Elsevier B.V. All rights reserved.

关键词： 自动化包装   信息管理   UML   建模  

摘要： 化纤行业物流自动化包装线管理信息系统是现代物流、信息和计算机管理的集成技术,它促进了国内化纤企业大幅提高产量,降低成本和对产品质量的保证。遵循软件工程过程和原则,基于对企业车间自动化包装物流的工艺流程特点和存在问题的分析,利用UML实现系统建模。

关键词： UML   网络安全体系   建模分析  

摘要： UML主要采用静态图、用例图、行为图和交互图等图形表示方式,是系统分析中实现可视化、详述和构造、文档化的一种标准通用建模语言。除软件系统模型之外,还可用来描述非软件领域,比如企业机构、业务过程、机械系统,以及用于复杂数据处理的信息系统,应用空间十分广泛。本文将讨论UML在网络安全系统领域中的建模分析方法。

关键词： 架构风格   WEB服务   分层结构   事件驱动  

摘要： 本文以一个生产安全受控系统的开发为例,讨论了软件体系结构风格及其应用,首先介绍了通用架构风格,然后根据炼厂规模、工作性质、人员类型的特点,合理分析并选择了架构风格,从总体结构上满足需求,系统主体基于服务的分布式架构风格,在服务子系统中使用B/S、分层结构风格,在PDA子系统采用事件驱动风格,有效地指导系统的设计和开发,降低了系统的维护成本,提高了系统的可重用性。最后分析了实施效果和不足之处,以及改进方法。