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

简介：

简介：本文用经济仿真的方法研究保险市场的逆向选择问题.用Object-c语言编制程序在Swarm平台上实现了RothschildandStiglitz关于保险市场逆向选择问题的经典模型的动态仿真,在此基础上对模型作了一点改进,并实现了改进模型的动态仿真,这两个仿真程序运行稳定,不但起到了理论检验的目的,而且通过该程序能对保险公司选择合适的保费提供一定的参考价值.

简介：摘要随着世界制造业的转变，中国逐渐成为世界机械加工厂，美国，德国和韩国等国家已进入高科技密集型和微电子时代，以及钢铁，机械和化学品等重化工业的中期发展。本文主要对机械轴零件进行了仿真试验，并通过数控加工，零件加工布置和加工过程等几个方面对零件加工技术进行了分析，然后编译零件程序，最后用模拟过程完成零件的检验过程。

简介：

简介：

简介：摘要  文章提出了利用虚拟仿真技术实现生猪宰后检验的教学和应用研究，并以明清典型家具为研究对象，建立了生猪宰后检验的虚拟仿真模型，对该模型进行了仿真分析。结果表明，用虚拟仿真技术可以实现生猪宰后检验教学实训环节面临的传统家具结构复杂、制作周期长、价格贵等问题，提高教学质量、缩短设计周期、减少教学成本；虚拟仿真技术可为生猪宰后检验教学提供帮助。

简介：摘要医学检验技术实验教学受实验成本高、过程长、形态学教学难度大及临床标本生物安全性等相关限制，导致很多项目无法开展。虚拟实验平台通过整合课程实验、增加实验检测项目、创建形态学检验数据资源库、创建检验仪器设备虚拟操作平台及虚拟实验考核操作平台，可突破常规实验教学在时间、空间及安全性等方面的限制，在实验教学中发挥重要作用。本文就医学检验技术实验教学现状、虚拟仿真实验平台的建设和应用、存在的问题与对策等方面进行了综述，期望为医学检验技术专业虚拟仿真实验平台的建设和应用提供借鉴。

简介：摘要针对《食品微生物检验》课程教学过程中需开展相关试验操作演练的问题，改变传统教学模式课堂与实验室明显界限的现状，本文以《食品微生物检验》实验教学为主要研究对象，论述虚拟仿真实验软件在本课程教学应用中的可行性，并对软件的基本教学模式及主要技术优势进行介绍分析，为《食品微生物检验》实验教学提供一种行之有效的技术方法。

简介：最近，森林里来了一只卖仿真脸皮的狐狸。他把仿真脸皮的功效吹得天花乱坠，不管多丑，只要戴上这张“皮”，就会改头换面，变得美艳动人。很多爱美的动物们信以为真，纷纷跑去抢购。

简介：“贝贝龙，老爸给你带了个宝贝!”老爸一进门就嚷嚷。“什么宝贝？”正躺在床上的贝贝龙来了个鲤鱼翻身。老爸乐呵呵地说：“这宝贝叫仿真空调！可以模仿任意一种大自然的环境并展现在家里。”

简介：定性仿真的研究中,此后定性问题的研究成为人工智能和系统建模与仿真领域的一个热点,定性仿真是系统仿真的一个分支

简介：

简介：听说过将素描画得和真的一样吗？其实要做到这一点并不困难，“只要功夫深，铁杵磨成针”嘛。可是在我们的作文游乐场里，只要短短的一两分钟，你就能做到让画成的硬币“素描”达到几可乱真的地步。想学吗？欢迎报名哦!

简介：训练仿真系统需考虑自然环境仿真对兵力仿真的影响。针对高空风对飞机飞行影响，讨论了自然环境仿真对兵力仿真影响的建模问题。重点研究了高空风仿真模型、风速点计算、高空风对兵力（飞机）仿真影响以及修风计算等，介绍了计算方法并给出了在某地应用的研究结果。该项研究对构建训战一致的仿真训练环境以及提高仿真技术的综合应用水平具有指导意义。

简介：摘要DTS仿真系统培训能够为调度员提供一个逼真的培训环境，以达到既不影响实际电力系统的运行而又使调度员得到身临其境的实战演练的目的，进而训练他们的正常调度能力和事故时的快速决策能力，提高调度员的运行水平和分析处理故障的技能。本文通过以调度竞赛桌面推演试题为原型，浅谈如何在DTS系统上建立虚拟实操站模型。

简介：从导弹攻防对抗仿真角度分析了弹道导弹抛撒偶极子云的工作原理，继而建立了偶极子云飞行轨迹模型。同时研究了偶极子云的作用效果。该建模和仿真技术对建立导弹攻防对抗仿真系统具有指导意义。

简介：摘要文章主要针对实时仿真在电力系统仿真中的应用进行分析，结合当下实时仿真在电力系统仿真中应用的发展现状为根据，从实时仿真在电力系统仿真中模型、实时仿真技术在电力系统仿真中应用的范围、实时仿真在电力系统仿真中应用实例等方面进行深入研究与探索，主要目的在于更好的推动实时仿真在电力系统仿真中应用的发展与进步。

简介：【摘 要】飞机飞行仿真是作战仿真平台的关键技术之一。能够准确的模拟飞机在作战飞行中的航迹、姿态和性能参数等数据，就可以更加准确的对飞机性能和作战效能进行评估。本文利用飞机六自由度动力学非线性模型，通过航线规划和自动飞行控制律实现了飞机的飞行仿真。仿真结果表明，能够满足作战仿真在实时、准确和三维显示等方面的要求。

简介：摘要：电气控制对于设备相当于大脑对于人体，是设备运控控制的核心。我们要对设备做维修，要掌握设备的电气控制电路。要求我们对各种电路的元器件的安装使用和电路连接熟练掌握。现代设备都是机电液综合设备，对实训设备的要求很高，仿真软件可以很好地弥补实训设备的不足。