基于VHDL的时间离散随机Petri网仿真

时间离散随机Petri网是实时系统建模分析的一种重要工具,广泛应用在异步并发时间离散系统中,对时间离散随机Petri网模型进行模拟仿真分析是一个值得深入研究的课题.给出了一种运用硬件描述语言(VHDL)对时间离散随机Petri网进行描述和仿真的方法.首先介绍了时间离散随机Petri网的定义、特点,然后对其基本元素模块的硬件语言描述方法进行了讨论.最后以一个时间离散随机Petri网模型为例子,用VHDL语言对结构进行了描述,在Altera公司的集成开发工具QuartusII进行编译、仿真,仿真波形表明了这种方法的正确性.     

基于MAS的企业供应链模型中谈判过程的研究

企业间的基于Agent的自动化谈判是一个基于多Agent系统的供应链模型中的重要环节.首先对目前用于研究基于Agent谈判的主要理论技术做了介绍与分析.然后在此基础上,结合所需要解决的生产商与供应商之间谈判的问题的特点,以及使用的开发工具Zeus所提供的Agent间的谈判协议的特点,设计了一个包含时间策略、资源策略和模仿策略的多策略谈判模型.最后通过仿真模拟验证了该谈判模型各种策略的特点.     

一种舰载指控系统情报处理性能仿真测试评估方法

介绍了一种在实验室环境下,通过模拟各类情报信息输入驱动舰载指控系统,完成系统情报处理性能仿真测试评估的方法。描述了评估系统的组成以及工作原理,重点介绍了传感器仿真模型和指控系统情报处理性能指标的评估模型。     

冷连轧机系统中过程优化计算机的建模与仿真

介绍了冷连轧系统中过程优化计算机的仿真设计与实现。通过分析仿真原型系统的特点,对仿真原型系统进行了模块化分解,并将软件再工程的方法运用于仿真的软件设计以及建模过程中,这是具有一定意义的模型化方法的扩展。根据设定值计算系统的抽象,建立了相应的基于有限自动机的多模型集成仿真模型。     

铁路客运站最高聚集人数模拟计算研究

旅客最高聚集人数是研究铁路客运站站舍能力与规模的核心。分析了传统的铁路客运站最高聚集人数计算方法的优点和不足，建立了铁路客运站最高聚集人数的模拟模型，实现了相应的模拟系统。最后以某车站为算例进行了仿真计算。模拟模型包含客流模拟模型和计算模拟模型两个子模型。客流模拟模型以对数正态分布为基础，根据列车旅客发送量来模拟旅客到达车站的时间分布。计算模拟模型用来模拟旅客的聚集过程，从而找到车站最高聚集人数和该值的出现时间。研究结果表明，系统是对实际情况模拟，它的应用能够提高效率，避免大量调查工作，节省支出。     

基于Simulink/PSB的异步电机变频调速系统的建模与仿真

针对PWM逆变器供电驱动的异步电机矢量控制变频调速系统的特点，利用Simulink和PowerSystem Blocksets，采用结构化和模块化的方法，对异步电机变频调速系统进行建模和仿真，详细介绍了各子模块的构造方法及功能。仿真模型可以逼真地模拟实际系统，实现简单，便于修改。仿真结果验证了建模方法的有效性。     

作战智能体模型研究

战争是典型的复杂自适应系统，基于Agent的仿真是分析复杂系统的一种新方法。介绍了Agent、多Agent系统以及基于Agent的仿真的基本概念。以作战仿真为背景，介绍了作战智能体的模型设计，讨论了基于智能体的仿真方法的特点，最后对将来的研究工作进行了展望。     

无人侦察机实时仿真系统

无人侦察机实时仿真系统用于进行地面控制站的模拟训练。衡量模拟训练仿真系统优劣的重要指标是模拟的真实性，技术核心是飞行控制系统仿真和视景仿真实现方法的运用。利用MATLAB/SIMULINK环境对已知的飞行控制系统进行仿真，通过实际飞行数据对仿真结果进行最小二乘曲线拟合，修正飞行参数方程，实现模拟飞行的真实性；介绍了贴近真实场景的视景仿真方案的选择。仿真系统具有重要的理论价值和应用价值，为无人机模拟训练系统开发提供了借鉴思路。     

基于OpenGL的目标序列影像姿态仿真方法研究

详细探讨了OpenGL模拟成像特点,结合光电测量系统性能虚拟测试的需求,提出了一种基于序列影像的飞行目标姿态仿真方法,建立了运动特征仿真模型及解算方法,实现了目标运动轨迹与姿态变化的独立模拟,仿真出丰富多样的姿态变化特征。利用双站姿态交会测量算法对模拟影像姿态精度进行了检测,验证了仿真结果的可行性。该方法已有效应用于光电测量系统目标姿态提取算法性能的仿真测试。     

液压系统半实物仿真平台设计

结合液压系统仿真计算技术和自动化试验技术,构建了液压系统半实物仿真平台,通过仿真计算模拟液压系统的环境参数和控制规律,利用实物模型模拟难以建立数学模型的液压元件。重点介绍了液压系统半实物仿真平台布局结构、仿真模型建立过程以及仿真过程控制系统,并针对某液压起竖系统进行了应用分析。     

山东淄博市大武水源地系统分析

本文用一系列系统模型包括地下水系统模拟模型, 地下水系统优化模型、系统技术经济评价模型和系统规划模型。对大武水源地的供水能力和大武水源地、店子铁矿。王庄煤矿联合运行的可行性进行了系统分析和技术经济评价, 提出了在最佳经济效益条件下的供水方案。     

VHDL高级抽象模型

本文概述了VHDL的高级抽象模型,并对VHDL中支持和表示此模型的语言基础作了简介。     

复杂动态环境下的企业能力系统研究：一个基于主体的仿真分析框架

将复杂适应系统理论引入企业能力的研究领域,通过对企业能力与企业能力系统概念的界定,提出当前复杂动态环境下的企业能力系统在本质上属于复杂适应系统,并对其复杂适应性特征进行了分析。在此基础上,遵循＂环境—规则—主体＂（ERA）的体系架构,给出企业能力系统分析的基本框架,为构建企业能力系统基于主体的仿真模型提供理论上的依据。文末,结合JES仿真平台对该分析框架的应用研究作了简要探讨,为借助于计算机工具对复杂动态环境下的企业能力进行仿真分析和研究提供了一种新的思路和方法。     

数字逻辑电路的描述及模块化综合方法

随着电子设计自动化技术的进步 ,大多数现代数字电路或系统的设计工程都离不开计算机辅助设计(CAD)工具的帮助 ,尤其是出现了高级语言描述、系统仿真和综合技术为特征的第三代EDA技术。因此掌握好数字逻辑电路或系统的描述 (建模 )方法和综合步骤是至关重要的。介绍了高级描述语言VHDL的行为描述和结构描述的若干种模型 ,并通过一个设计实例阐述了数字逻辑电路的设计循环从定义到实现的综合过程     

复杂系统的可执行模型仿真方法研究

针对复杂系统早期验证评估过程中,由于模型不可执行造成的问题,提出了一种复杂系统可执行模型仿真方法。从复杂系统的精确模型定义入手,将复杂系统模型分为结构模型和行为模型,扩展fUML元模型得到复杂系统的可执行元模型,使用这些元模型来构建复杂系统的可执行模型,并为可执行模型定义了行为语义。为了支持可执行模型的仿真,设计了相应的仿真执行系统,定义模型仿真所需要的仿真语言和执行规约,将行为模型转换为可执行的进程项,依据执行规约对进程项进行仿真执行来实现复杂系统的可执行模型仿真。最后以区域防空系统为例说明了方法的可行性。复杂系统; 可执行模型; 可执行模型代数; 模型验证     

基于SG/Simulink无刷直流电机混合建模与仿真研究

System Generator(SG)为基于FPGA的硬件平台开发提供了便捷的设计方式和灵活的编程手段，Matlab／Simulik是通用性的离线仿真工具，其模块化的建模方法具有高效、直观的特点。结合两者的优点，提出了SG／Simulink混合建模新方法，利用SG建立无刷直流电机(BLDCM)控制系统部分，Simulink仿真BLDCM本体，通过SG中的Gateway模块，实现两者的无缝连接。仿真结果符合理论分析，证明了该方法的有效性和可行性。     

Behavioral Model of Decision-Making in Economic Systems

A behavioral model of decision-making is presented to obtain the optimal solution ofsome economic systems.A numerical example is discussed in detail with what if what-for analysisto illustrate the advantages of this model.     

高校实验室质量评估与分析支持环境SE2L

高校实验室质量评估与分析支持环境ＳＥ￣２Ｌ郭瑞标（合肥工业大学，合肥２３０００９）ＡＳｕｐｐｏｒｔＥｎｖｉｒｏｎｍｅｎｔｆｏｒＥｖａｌｕａｔｉｎｇＬａｂｏｒａｔｏｒｉｅｓｉｎＵｎｉｖｅｒｓｉｔｉｅｓＧｕｏＲｕｉｂｉａｏ（ＨｅｆｅｉＵｎｉｖｅｒｓｉｔｙ...     

A New Method with High Confidence for Validation of Computer Simulation Models of Flight Systems

Computer simulation models may by used to gain further information about missile performance variability. Model validation is an important aspect of the test program for a missile system. Validation provides a basis for confidence in the model's results and is a necessary step if the model is to be used to draw inference about the behavior of the real missile. This paper is a review of methods useful for validation of computer simulation models of missile systems and provides a new method with high degree of confidence for validation of computer simulation models of missile systems. Some examples of the use of the new method in validating computer simulation models are given.     

基于决策树和BN的自动驾驶车辆行为决策方法

交通环境中存在着众多影响自动驾驶车辆行为决策安全的不确定性因素, 准确并及时地处理不确定性因素对自动驾驶车辆安全至关重要。因此, 建立了以人工驾驶行为分类为基础的贝叶斯网络(Bayesian network, BN)行为决策模型。利用决策树分类算法对人工驾驶行为进行分类, 利用BN建模驾驶环境并生成最优驾驶动作, 此方法既可以及时地分析人类驾驶员行为类别, 又能够充分考虑驾驶场景中的不确定性因素。利用仿真工具PreScan设计仿真实验, 仿真结果表明行为决策模型能够给出安全、合理的自动驾驶车辆行为。