基于虚拟现实的港口集装箱码头装卸系统仿真建模技术

以港口集装箱码头装卸系统为对象,对基于虚拟现实下的该系统仿真建模有关关键技术进行研究。针对港口集装箱码头装卸系统的离散性、随机性,采用面向对象和Petri网相结合的方法对系统进行复合建模,同时对系统进行了三维场景建模,并经系统复合模型实时驱动三维场景的动态显示,最终实现基于离散随机事件的港口集装箱码头装卸系统实时可视化、参数化仿真。将Petri网和面向对象两种建模方法结合起来用于现代港口物流系统的建模,即保持了面向对象建模中的优势,又很好地表达了系统事件之间的逻辑关系,同时又能利用Petri网模型中的数学分析方法对系统模型进行验证,与单纯使用其中一种建模方法相比有了很大改进,文中选用的可在微机上运行的虚拟现实仿真建模软件MultiGen较好地解决了复杂场景的实时生成问题。     

���н�ͨ��۷��潨ģ������ʵ���о�

从物理模型、概念模型和仿真模型原理三个方面，讨论了城市交通宏观模型的建模方法。在文中，以四阶段模型为基础给出了宏观仿真模型的建模要点和步骤。最后，以北京市域宏观交通战略模型为例，对模型开发环节进行了描述。实践证明，城市交通宏观仿真模型，能够有效地分析城市交通系统运行状态，为城市规划、建设与管理工作提供所需关键参数，定量化的仿真平台是提高决策科学性的重要手段。     

UML-HLA协同建模方法及其在多车仿真中的应用

针对复杂实时大系统分布式交互性特点,通过综合对比UML与HLA的特点,提出了基于UML-HLA的列控系统建模仿真方法.在传统建模方法的基础上,采用提出的UML-HLA建模方法,从多个不同的角度建立多车仿真系统的分析模型,包括用例建模、活动建模、结构建模、交互建模和状态建模等,构建起高层体系架构资源库.在分析模型的基础上,建立多车仿真系统体系结构,得到多车仿真系统的设计模型.从性能和功能上对多车仿真系统进行了仿真验证.仿真结果表明:基于UML-HLA的建模方法具有较强的可交互性和可操作性,通过对原有线程机制与定时器控制机制进行优化,采用线程管理机制将原有系统的CPU占有率由50％降低至15％以下,定时器误差控制在0.02 ms范围内,满足了列控系统的仿真要求.     

面向对象的虚拟FMS建模及加工仿真

为解决柔性制造系统中资源重组引起的布局问题,采用面向对象的建模方法建立了柔性制造系统的虚拟仿真系统.该虚拟仿真系统通过对制造系统中各设备进行几何和行为建模,建立虚拟设备模型;采用生产计划流建立车间布局方案和调度模型.通过仿真,不仅能验证加工代码的正确性,还能根据加工工艺仿真结果分析布局的合理性和可行性,并对布局进行优化.最后,对2种布局进行了仿真,结果表明所建立的仿真系统是可行和有效的.     

异步电动机直接转矩控制系统的建模与仿真

为了验证异步电动机直接转矩控制系统的可行性和有效性,根据直接转矩控制原理, 利用MATLAB/SIMULINK软件,对异步电动机直接转矩控制系统以及系统中的异步电动机模型、磁链、转矩观测调节器模型和逆变器输出子系统模型进行了建模与仿真.仿真结果表明,直接转矩控制系统的建模与仿真具有良好的静动态性能,为直接转矩控制的进一步研究提供了依据.     

基于MATLAB的数字基带传输系统的仿真

以数字基带传输系统为例，在数字基带通信系统数学模型分析基础上，设计了总体仿真框图．利用MATLAB对各个子系统进行了建模和封装，建立了数字基带通信系统仿真模型，并对仿真模型进行了测试。结果表明，仿真结果与理论值基本一致。     

基于UML的C3I仿真测试环境建模研究

建模技术在复杂软件系统的设计、开发、集成和测试中起着重要的作用．C^3I仿真测试环境所面临的问题是如何准确、有效地描述系统元素间的交互并快速建立系统原型模型．文中从UML的需求、结构、行为和实现模型来描述C^3I仿真测试环境的基本结构、组成元素、系统和对象间的交互以及从模型到具体设计的实现，从而完成基于UML的C^3I仿真测试环境的系统建模过程．该建模方法已在某测试环境中实现，缩短了系统的开发时间并确保了系统的性能和可靠性．     

集装箱堆场仿真建模及其在堆场规划设计中的应用

集装箱码头物流系统的仿真建模能够克服传统研究方法的局限性,本文主要研究集装箱堆场的仿真及应用问题,分析了集装箱码头堆场系统和内卡、外卡的提/卸箱流程,阐述了集装箱堆场仿真建模的排队理论,采用eM-Plant平台建立了集装箱堆场的仿真模型,结合实例设定了仿真模型的参数,仿真结果的应用取得了较满意的效果.     

计算机辅助仿真建模系统研究

研究了计算机辅助仿真建模系统的基本构成和实现形成。讨论了仿真程序生成器 原理和实现机制，设计实现了一个基于Ｗｉｎｄｏｗｓ的辅助仿真建模系统Ｓｉｍｍｅｔ，介绍了Ｓｉｍｎｅｔ的系统结构，模型描述方法和系统主要构成。     

SPWM逆变器-异步电机Simulink建模与仿真中的几个问题

讨论了异步电动机定子绕组为Y形接法时,相电压参考点的选取对Simulink建模、系统运行性能以及对运行参数(相电压有效值、电动机输入功率、功率因数)仿真测量的影响.并分析了异步电动机定子绕组为Y形和△形两种接法情况下,SPWM逆变器-异步电动机系统Simulink模型的差别,通过仿真比较了两种接法下的运行性能.     

基于Zachman框架的信息系统需求工程建模方法

全面而准确地描述信息系统的本质需要从多个角度建立其需求模型.本文提出了一种基于Zachm an框架的信息系统需求工程建模方法,从多个不同的方面构建了描述需求的模型,形成了分析信息系统需求的建模框架.这种框架具有多视角、灵活应对变化、与技术无关以及与现有建模方法有效集成4大优点.     

基于Zachman框架的信息系统需求工程建模方法

全面而准确地描述信息系统的本质需要从多个角度建立其需求模型.本文提出了一种基于Zachm an框架的信息系统需求工程建模方法,从多个不同的方面构建了描述需求的模型,形成了分析信息系统需求的建模框架.这种框架具有多视角、灵活应对变化、与技术无关以及与现有建模方法有效集成4大优点.     

基于多层次本体集成的服务系统建模

服务系统建模是服务科学的研究重点之一,在业务领域进行组件化设计,并与信息系统保持动态一致性,需要解决组件的适应性、多粒度和社会因素建模等问题.本文分析对比了传统企业建模、服务建模和本体在建模领域的应用,将本体引入服务系统的建模之中.在分析服务系统、技术系统、组织管理和服务的基础上,重点研究了本体建模中的层次性设计,提出了以技术链为基础,以服务为导向,基于多层次本体集成的服务系统建模方法论,并分析了相关的技术方法.     

基于二维平面空间的连续型交通分析模型

在分析平衡配流模型交通系统假设的基础上,讨论了连续型交通分析模型的建模方法,分析了其主要特点、发展过程,并给出了单一吸引点模型的基本数学模型公式.作为区域交通分析中较为新颖的建模方法,连续型交通分析模型将区域交通系统抽象为平面二维空间体系,并假设属性函数可以用光滑的连续函数来表示.应用研究表明连续型交通分析模型在大范围、全局性的交通规划、控制管理以及物流分析中有着良好的前景.     

基于Modelica多领域建模仿真研究现状与思考

Modelica 语言是为解决多领域物理系统的统一建模与协同仿真的一种基于方程的陈述式建模语言。对Modelica 语言进行了简单介绍,主要介绍了目前国内利用Modelica 语言进行复杂系统多领域建模与仿真研究现状,并对基于Modelica混联机器人多领域建模与仿真进行了思考,说明了混联机器人多领域建模与仿真的主要内容与关键技术,为混联机器人多领域建模与仿真提供参考。     

Research of Consistency Maintenance Mechanism in Real-Time Collaborative Multi-View Business Modeling

Real-time collaborative editing(RTCE)can support a group of people collaboratively work from distributed locations at the same time.However,consistency maintenance is one key challenge when different types of conflicts happen.Therefore a common synchronous mechanism is proposed to support consistency maintenance in the process of multi-view business modeling.Based on operation analysis on different views of models in the real-time collaborative editing system,detection of potential conflicts is realized by means of a decision-making tree.Then consistency maintenance provides a comprehensive and applicable conflicts detection and resolution for collaborative business modeling.Finally,a prototype of collaborative multi-view business modeling system is introduced to verify the approach.The point is that the mechanism proposes a comprehensive solution for collaborative multi-view business modeling.     

基于Petri网的城市轨道交通车辆子系统运营安全性模型

本文提出了一种可用于分析城市轨道交通系统安全性的Petri网建模方法,将其用于轨道交通车辆运营安全性建模。该模型利用面向对象方法,将轨道交通车辆子系统分为三个对象处理模块,各个对象类之间通过消息库所连接,从而形成较完整的车辆子系统运营安全模型。     

高铁信号系统安全关键功能测试建模方法

测试模型是高铁信号系统安全关键功能测试用例编制的重要基础,针对高铁信号系统安全关键功能测试建模过程中描述信号系统领域特征不够全面的问题,提出时间状态机测试建模理论和测试用例生成方法. 分析高铁信号系统测试建模的特点,提出信号系统安全关键功能测试模型的建模需求;以有限状态机理论为研究基础,结合功能逻辑和时钟约束提出时间状态机建模方法,采用Z规格说明语言给出时间状态机的形式化定义;将时间状态机转换为时间自动机,证明转换之间的一致性,并基于时间自动机的测试理论自动生成测试用例,再以计算机联锁系统中的道岔转换功能为例,建立时间状态机测试模型并生成测试用例. 最后,将两种方法生成的测试案例进行对比,结果表明:在功能逻辑方面,基于时间状态机建模方法生成的测试案例100% 地覆盖了基于时间自动机建模方法生成的测试案例,并新增了16条具有时钟约束的测试案例,能够满足高铁信号系统安全关键功能测试建模的需求.      

铁路信号系统软件测试建模方法

针对铁路信号系统软件测试模型不能系统地描述测试需求的问题,提出风险时间状态机建模方法. 首先,分析铁路信号系统软件测试建模的特点,并提出建模需求;然后,以有限状态机理论为研究基础,在有限状态机的变迁和状态中分别扩展出时钟和风险等级元素,提出风险时间状态机建模方法,满足功能逻辑、时间约束和风险等级3个方面的建模需求,采用Z规格说明语言给出风险时间状态机的形式化定义和格局转移机制;最后,以计算机联锁系统中的道岔转换功能为例,建立风险时间状态机测试模型,并与时间自动机建模方法进行了对比,结果表明,建模方法上,所建立风险时间状态机比时间自动机节省62%的变迁数,描述能力更强,能够满足铁路信号系统软件测试的建模需求.      

Trusted Anomaly Detection with Context Dependency

Introduction Privilegedprocessesareoftencommonattack targetsbecausetheseprocessesthatprovidesys-temservicesandresourcesexecutewithspecial privileges.Infact,thetracesofsystemcallsexe-cutedbytheprivilegedprocessesaretheordered sequenceinUNIXoperatingsystem.Becausethe tracesofsystemcallsexecutedbythetheseprivi-legedprocessesputupbetterstabilityunderthe conditionofnormaloperationstheyareconsidered asbetterauditdatasourceascomparedwithsys-temaudittrails,systemlogsandapplicationlogs.Consequently,a…