采用经典一阶逻辑的混合系统仿真逻辑验证法

针对混合系统难以分析和验证的问题,提出了一种采用经典一阶逻辑的混合系统仿真逻辑验证法.首先给出了混合程序、混合系统仿真逻辑公式、仿真逻辑的命题形式和含义、混合仿真、混合程序仿真语义、仿真逻辑公式的值等定义,然后在经典一阶逻辑、混合程序仿真语义和仿真逻辑公式的值的基础上给出仿真逻辑形式推演规则.最后通过煮鸡蛋的例子验证了混合系统的活性.     

PCM30/32路数字电话传输系统仿真

为了用System View仿真软件对PCM30/32路数字电话传输系统进行仿真,根据PCM30/32路数字电话传输系统的组成框图,设计了TS8路语音信号抽样量化编码并/串转换仿真电路、32路PCM语音信号时分复用仿真电路、TS8路信号分路及数模转换电路和TS8路时隙选通脉冲产生仿真电路,对各种仿真电路的原理进行了详细描述.通过实验给出了TS8路仿真语音信号的接收和发送波形,并对仿真结果进行了分析.     

移动WiMAX系统级仿真建模与分布式实现

研究了基于移动WiMAX系统的系统级仿真评估平台的建模和实现. 针对无线信道仿真运算量太大的问题,提出了一种利用局域网内多台计算机进行分布式联合仿真的方案. 该方案将不同移动台的信道按小区号分组,使信道仿真在多台计算机上实现并行计算,有效缩短仿真时间. 此外,该系统级仿真评估平台为调度、切换、自适应编码调制和接纳控制等算法提供了通用接口,具有良好的可扩展性. 仿真结果显示,所提出的分布式实现方法不但有与理论值相一致的仿真性能,而且在使用3个和5个信道仿真器的情况下,使仿真时间分别缩短了36.2%和60.3%.     

不同教学模式中大学物理仿真实验应用研究

为了进一步提高物理仿真实验线上教学质量,探究了仿真实验的发展历程,对比分析了仿真实验在传统混合教学模式和线上教学模式中的不同作用,研究了仿真实验在2种教学模式课前预习、课堂教学和课后复习等过程应用环节的区别与联系,同时对学习通等线上平台与仿真实验教学结合的应用模式进行了探讨.研究结果可为各高校开展线上仿真实验教学、评估...     

基于Matlab的电力系统输电线路仿真

简介电力系统的数学模型,并利用Mtlab／PSB强大的仿真和和计算功能,对电力传输线路进行可视化的仿真,通过参数的变化分析电力系统输电线路的状态,并获得了令人比较满意的仿真结果．     

三相三电平VIENNA整流器的仿真分析

该文分析了新颖的三相三电平VIENNA整流器的基本原理,在MATLAB语言和Pspice仿真环境下建立了仿真模型,对三电平VIENNA整流器进行了系统仿真.     

基于protuse+keil LED点阵显示

本文以51单片机控制16*16LED点阵显示汉字为例,介绍如何使用keil编程软件和protuse仿真软件对51单片机进行系统设计与仿真。在基于Protuse的仿真实验平台上实现了16*16LED屏显示,仿真实验结果和实际搭建电路的实验结果基本一致。     

Keil和Proteus在单片机实验课教学中的应用

利用Keil和Proteus搭建的单片机仿真系统,不仅具有仿真过程生动直观、灵活性高、耗资小的特点,而且实现了和硬件几乎无差别的软件仿真,为单片机实验教学提供了一个良好的实验平台.     

含滞回环节机电控制系统的数值仿真

在机电控制系统中引入基于Preisach模型的滞回环节数值仿真方法,采用一维存储和非均匀网格剖分提高数值求解的效率,采用模型离散化解决非线性造成的收敛速度慢的问题.根据提出的数值仿真方法,对电磁悬浮刚性转盘的起浮和振动控制进行仿真.仿真结果表明,在考虑磁滞影响后,仿真仍能够成功进行,为更有效地设计转子磁悬浮系统提供了新的途径.     

DDR2信号完整性分析与应用

随着数字电路频率提高,信号完整性已经成为高速电路设计中的主要问题。针对信号完整性问题,本文借助Hyperlynx仿真软件和IBIS模型,对266MHzD DR2差分时钟信号进行了仿真,对信号的拓扑结构,阻抗匹配进行了分析优化。实验测试结果与仿真及分析结果吻合,相关的仿真与分析方法保证了系统设计的性能和可靠性     

基于Visual Basic和Proteus的单片机仿真教学平台设计

将Visual Basic和仿真软件Proteus相结合,设计了单片机仿真教学平台,实现对单片机教学案例的仿真调试.在该教学平台上学生可以仿真调试课程实验,也可以开展毕业设计和创新项目等.实践表明,该教学平台可以增强学生对复杂实验的感官印象,实现了形象化教学,增强了学生动手实践能力,充分地提高了教学效率和教学质量.     

网络协同控制系统试验平台设计与实现

随着控制技术的飞速发展,把通信网络引入到传统的控制系统实现闭环控制成为人们日益关注的课题。针对网络控制系统的运行特点,设计并实现了一个网络协同试验仿真平台,可为网络控制系统的理论分析和设计方法进行有效的验证。根据网络协同控制系统的特点,给出了仿真试验平台的设计思想和结构,介绍了RTX的实时功能原理和RT-TCPIP的实时通讯机制,在此基础上,讨论了基于RTX的网络协同控制系统仿真平台的软件设计和实现方法。最后通过一个试验实例验证了该仿真平台设计的有效性。对实时性要求高的仿真系统具有一定的参考价值和指导意义。     

基于Multisim10的集成运算放大器指标测试

给出了一种在Multisim10中测试集成运算放大器参数指标的仿真方法,结果证明了该方法的可行性和有效性;同时将实物电路和软件仿真法所测得的数据进行了比较,发现软件仿真法测得的数据精度更高.     

基于OpenGL实现雷达目标航迹的三维动态仿真

雷达目标航迹仿真是雷达仿真系统中模拟目标回波信号的关键.针对以往目标航迹显示中存在的不直观、不能实时检测目标运动状态等问题,在VisualC 6.0平台上,应用OpenGL技术绘制雷达工作场景和目标三维航迹,动态显示目标运动,通过对目标航迹的交互操作,实现对雷达目标航迹的三维动态仿真.仿真显示结果十分清晰地模拟了目标运动的过程,取得了很好的仿真效果.     

剪切机送料机构仿真模型的建立和转化

详细分析了剪切机送料机构的仿真模型在Pro／E和ADAMS软件中建立和转化时出现的主要问题,并给出解决方法．提出联合运用不同仿真软件和CAD／CAM软件进行机械产品仿真建模以提高仿真效率的重要思想。     

北斗中频信号仿真研究

北斗卫星信号作为北斗系统中必不可少的一部分,对研究北斗卫星系统有重要的理论和实际意义.以Matlab为平台,以北斗信号仿真为目标,对北斗中频信号进行了仿真与实现.首先,在研究卫星信号传播的基础上,提出了北斗中频信号仿真的总体构架.然后,在CBI码信号生成原理的基础上,对CBI码进行了Matlab仿真和验证.通过对不同卫星CBI码的相关性分析验证了仿真生成的CBI码的正确性.最后,基于扩频调制和载波调制的基本原理,采用16.367667MHz的采样率将CBI码调制到4.123968MHz的中频信号上.通过对信号时域和频域进行分析,验证了仿真信号的正确性和仿真方案的可行性.     

基于MSRS的仿生机器鱼水球比赛实时仿真系统

本仿真系统基于Microsoft Robotics Studio SDK 1.5设计开发,完全模拟实体仿生机器鱼水球比赛。本文所设计仿真系统分为客户端策略模块、服务器端核心控制模块、公共接口模块、环境设置模块、仿真数据显示模块、辅助功能模块和机器鱼运动学建模七个模块。本仿真系统对仿生机器鱼运动状态、水球比赛整个过程进行实时仿真,并为仿生机器鱼模型优化、机器鱼运动算法、机器鱼水球比赛提供了较好的仿真测试平台。     

着色Petri网的混杂系统仿真平台构架

提出一种以Petri网为仿真进程控制,以着色Petri网与Matlab交互为主题的混杂仿真跨平台构架. 该仿真构架通过运用和扩展着色Petri网中替代变迁的概念,结合融合库所和折叠功能,实现了混杂系统的复杂逻辑建模和连续系统内嵌. 同时,着色Petri网的分析功能在一定程度上缓解了逻辑结构复杂的混杂系统检验困难的问题.最后通过一个混杂系统实例的建模与仿真分析,验证了该平台的可行性与逻辑检验的有效性,为复杂混杂系统的建模与仿真提供了一条新途径.     

LT码的MATLAB仿真

介绍了喷泉码中LT码的编码译码过程,提供了详细的MATLAB仿真代码和说明.通过对三种不同度分布的LT码进行性能仿真,并对仿真结果进行了分析,同时也对LT码和Raptor码进行了适当的比较.     

基于CAD／CAE集成方法的封隔器的设计

封隔器是油田实现精细开发的重要工具,本文通过Y341-148型封隔器虚拟模型的构建和仿真分析,构建了封隔器仿真分析平台,探索了实现封隔器可视化分析、虚拟样机分析和力学性能仿真分析的方法,对Y341～148型封隔器和类似封隔器的设计与分析有借鉴意义．