简介：在软硬件系统的模型检验中经常需要检测系统模型和规约模型的行为之间的包含关系．为提高模型检验技术的自动化程度，提出一种针对有限状态机的仿真检验方法．首先在有限状态系统的基础上，提出系统及其外部行为的概念，然后定义了系统间的仿真关系，之后结合不动点定理，设计了和仿真关系定义相似的FP算子，这就把两个系统外部行为之间的包含关系转化为通过FP寻找组合系统间的最大不动点．如最大不动点存在，称系统模型满足规约属性．最后，通过等价关系给出一种对于无限状态系统转换成有限状态系统的方法，使得该方法可同样应用于无限状态系统．实例显示，该方法能够很好地满足模型检验的要求．

简介：

简介：船体装配是一门综合性强、指导船舶生产的实用型课程。但由于实训条件的限制，目前该课程仍以传统教学模式为主，将船舶建造仿真系统应用于船体装配课程中，对于实现理实一体教学，解决现场实训条件不足等方面都有着很大优势，可以突破现场教学的限制，使学生迅速掌握理论知识，提高实际操作能力，让课堂变得更高效。

简介：计算机仿真是现代工程教育必不可少的手段,然而实物运行结果难以用仿真全面表达,构建实物和仿真同步运行系统可以将仿真和实体对象有效结合起来,产生互补效果,深化学生对知识的理解。采用通用串口技术和Matlab的实时仿真功能,构建一套交互式实物与仿真同步运行的系统,基于Matlab-GUI开发该系统软件,系统通过串口实时采集和控制电机转速,并在GUI软件界面同步运行预建的仿真模型。该系统在自控控制原理课程实践教学环节中进行了应用,取得了很好的教学效果。我们提出的实物和仿真同步运行系统的构建方法可用于对实物系统的快速改造,将仿真和实体系统进行有效融合,提高教学效果。

简介：生产性实训是高职院校专业内涵建设的核心,基于现代信息技术的虚拟仿真教学能有效促进专业教学与企业生产的对接。文章通过研究热能与发电工程类专业生产性实训的特点,总结了基于虚拟仿真系统的准生产性实训基地的建设原则,探讨基于准生产性实训基地的顶岗实习管理方法,为专业群的特色建设及可持续发展指明了方向。

简介：针对信号和系统的频域分析理论内容,应用Matlab仿真进行了实验内容的合理设计,通过对系统的幅频响应特性和计算机生成的信号向量及系统对生成信后的响应向量的频谱分析,实现了抽象理论的可视化,取得了良好的教学效果。

简介：传统的普通车床实训受实训成本、实训时间和实训场地的限制,使实训效果大受影响,安全也难以保证。实践证明,在实训环节初期,学生利用Creo软件和Unity3D软件功能开发的普通车床仿真实训系统进行实训,可大大缩短学生掌握机床操作技能的时间,提高实训效果。

简介：电力系统分析课程中有些概念抽象，不容易通过实际演示来完成，使得本门课程教与学都变得困难起来。采用具有可视化图形用户界面的PowerWorldSimulator软件，可以很好地解决这些问题。文章介绍了这款全英文免费的软件，根据一个14节点电力系统原型，建立了可视化的模型，使用该软件演示了潮流计算和短路计算等难点问题，显示了该软件给电力系统分析课程教与学带来的好处。

简介：摘要针对规模化充电桩接入对城市配电网网损影响的问题，通过Matlab/Simulink构建IEEE33节点仿真模型，并详细介绍了该模型中各主要模块的结构和功能。为了验证模型的有效性，随机确定了规模化充电桩接入前模型中所带负载有功功率的大小，并在假设充电桩接入后电网所带负载将增长为原来的2.5倍的情况下，仿真得到了电动汽车渗透率在10%、30%、50%和70%下系统发出的有功功率的大小，继而计算得到了在电动汽车不同渗透率下的系统网损。

简介：为了解决地源热泵空调系统实际能效与设计能效相差较大的问题,结合地源热泵空调系统的特点,优化组合了模糊算法与PID算法.通过对地源热泵空调系统的压缩机进行自适应模糊PID仿真,并将仿真运行的结果与普通PID控制算法的结果进行了对比分析,证明该控制方法具有良好的控制性能及较强的鲁棒性.

简介：螺栓是汽车最常用的装配零件，但长时间使用存在应力减小、联接性能变差的问题，造成许多安全隐患。文章运用ANSYS软件时常温下螺检应力变化进行数值模拟，分析了初始应力、螺栓联接长度和材料弹性模量对应力变化的影响，发现初始应力、联接长度与残余应力正相关，材料弹性模量与残余应力负相关，联接长度对残余应力影响较大。

简介：摘要EPON是一种点到多点的光接入网络。本文根据EPON传输链路的原理框图利用OptiSystem仿真软件来构建EPON通信系统的链路模型，通过对该传输链路中的分路器、系统眼图、传输误码率（BitErrorRateBER）和Q因子等进行研究，从而分析验证了EPON光传输链路方案的可行性。

简介：本文液压缸为例，建立了考虑不同因素下的AMESim仿真模型。仿真结果表明，利用AMESim建立的液压系统模型，特别是针对液压元件级模型的仿真具有可操作性好，仿真功能强，仿真结果精确度高等优点，同时避免了繁琐的流体计算和巨大的测试实验浪费，为液压阀件以及液压系统的优化设计提供了一种新的方法。

简介：摘要随着全球气候的变暖，超强台风的极端灾害性热带气旋活动更加频繁，对我国沿海地区的威胁越来越大。虽然公安、水利、卫生、城管等部门已经在其各自的领域具备较好的应急指挥和风险管理能力，但都存在着各自独立运行，缺乏资源共享的状况，迫切需要开发一套台风应急抢险仿真动画并实现互联互通，以便在台风灾害中做到预报、防台、抗台以及台风过后的灾后重建等一些列工作能够有序进行。台风应急抢险仿真动画搭建好后可以更加清晰地了解到抢险行动中的注意事项，有效地提高了抢险的成功率和保证了抢险的安全性。

简介：传统的《建筑工程计量与计价》课程教学中,由于情景教学资源少,学生常常出现识图能力差,对构件样式不熟悉,对施工工艺不理解等现象,为了解决此问题,在教学中应用V-AS建筑工程虚拟仿真系统,该系统以3D技术为依托,以一个工程案例场景作为大环境,实现施工场景仿真模拟及流程动态演示、人机交互式操作,同时教师可以在过程中对不同分部工程的操作任务进行考核,丰富了教学手段和分段考核方式。

简介：云计算相关研究需要在真实环境中验证其有效性和可靠性，这使得能够模拟真实云计算环境的仿真云平台成为当前研究的热点之一。文章从CloudSim的框架和核心类着手，构建了基于CloudSim的仿真云平台，并通过运行样例对平台的可用性进行了验证，为进一步开展云环境下的信任模型、算法调度研究奠定了基础。

简介：

简介：摘要针对在规模化充电桩接入电网时，需要搭建实际电网模型的问题，提出了一种基于Matlab/Simulink的实际配电网仿真模型，并结合相应算例，对配电网建设中变压器容量如何选择的问题进行了详细分析。

简介：摘要仿真技术是一种多种学科相结合的技术，有着很强的综合性，其主要是以控制论、系统论、相似原理以及信息技术为基础部分，把计算机以及相关设备作为所需工具，把设想的系统借助计算机内的模型进行动态化的试验。仿真技术在多种领域得到了应用，而技校化工教学中的应用，能够使化工教学实现理论与实践的相结合，使得抽象理论得到了直观化展示，使得化工教学质量得到了提升。本文从仿真技术及其特点着手，分析其在技校化工教学中的应用。

简介：为比较直接蒙特卡洛仿真与基于随机游走的蒙特卡洛仿真的精度,使用数值仿真对粒子漂移和扩散过程中的一阶、二阶和二阶中心矩的相对误差进行了测试。实验结果表明,两种方法的精度和性能大致相当。因此,在漂移—扩散模型的蒙特卡洛随机仿真中,固定或变化的时间步长可以根据需要和连续空间或离散网格灵活组合使用,并不会严重影响仿真的精度。