基于RW监控理论的虚拟生产系统控制

虚拟生产系统（VPSs）是一种为应对当今易变的和不确定的制造环境而提出的新型生产资源结构模式．为了实现其虚拟动态性、自适应性和全局性,应用RW监控理论并在UMDES—LIB的辅助下,对VPSs进行离散事件动态系统建模,以解决生产过程中最基本的冲突问题为目标,建立自治与协调规则,并相应地构建了自治与协调监控器,从而建立起基于RW监控理论且具有自治与协调控制机制的VPSs闭环监控框架．该闭环监控框架兼顾了局部自治和全局协调,并且具有很好的可重构性、可扩展性和可适应性,有助于VPSs增加系统柔性和提高响应速度．     

基于UPPAAL的铁路车站信号联锁系统模型验证

详细介绍了适于描述实时系统的形式化方法,时间自动机以及基于时间自动机的模型验证工具UPPAAL.给出了铁路车站信号系统中的联锁功能进路建立的时间自动机模型,并利用UPPALL对其进行了分析与验证.     

基于UPPAAL的简单网络支付协议形式化验证

分析简单支付协议中不同银行间的交易行为和各主体的超时约束,建立消费者、商家、银行和超时计时器的时间自动机模型,并用UPPAAL工具验证其是否满足商品原子性。新模型在原模型的基础上,增加了超时计时器进程来负责接收来自其它进程的超时信息,在各主体的计时器触发超时之后,计时器将发送超时信息,再通过外部的仲裁程序来解决纠纷。新模型能够满足货币原子性和商品原子性,并且比原模型更加符合协议运行的实际环境。     

一种基于UPPAAL的智能合约属性形式化验证方法

针对智能合约的属性验证问题,该文提出了一种基于UPPAAL的智能合约属性形式化验证方法.首先定义了Solidity基本语句的操作语义及其到时间自动机的转换,将智能合约转换成时间自动机网络模型;然后定义并描述智能合约常见的安全性和活性,再使用模型检测工具UPPAAL验证智能合约的属性;最后对购物合约进行了建模与验证,验证了该方法的有效性.     

虚拟仿真系统中的声音设计

在虚拟现实或分布交互式仿真等模拟环境中，为了提高他们的逼真度和沉浸感，有必要研究声音技术的相关问题。本文结合实例，阐述虚拟仿真系统中声音设计的基本方法。     

基于业务过程的生产系统仿真模型

提出了一种基于业务过程的、融合了PETRINET等分析语义、面向对象的生产系统仿真建模方法．文中将生产系统分解成概念模型、环境模型和语义模型，描述了每层模型的建模方法，最后以敏捷制造条件下的生产系统模型为例，描述了这种建模方法的面向对象建模过程．     

基于虚拟样机技术的自动武器数值仿真

将虚拟样机技术引入自动武器仿真领域,运用动力学仿真软件ADAMS对自动机进行数值仿真,对其模型处理方法进行研究,包括与三维CAD建模软件间的模型传递原则,自动武器典型机构及约束处理方法,对不同自动方式武器的载荷施加方法。仿真结果最后对某武器自动机进行了仿真,得到了武器自动机的一系列运动特性曲线,并对曲线加以分析,证明了该研究方法的可行性。     

基于Matlab和VB的《信号与系统》虚拟实验系统

针对当前《信号与系统》的教学境况和虚拟实验平台存在的不足,在Matlab和Visual Basic软件环境下,结合实物实验内容,开发了《信号与系统》虚拟实验系统。该系统模糊了理论和实践教学的界限,将理论、虚拟实验和实物实验教学紧密联系起来,加深了学生对信号与系统课程的理解和掌握,培养了学生的自主创新能力。     

一个基于推理的生产调度系统

叙述了“生产调度系统”的设计与实现，该系统把知识和数据寓于同一个数据文件中，知识采用框架和过程混合表示法．生产计划的制订采用基于面向对象环境的因果推理方法．本系统已正式运行３年，结果表明能适应生产过程各种因素变化的需要，提高了生产现代化管理水平．     

基于装配的多机器人虚拟生产平台的系统建模

作为虚拟生产平台建立的重要组成部分之一 ,生产系统的建模对于多机器人虚拟生产环境的作业控制至关重要。基于系统具有并发性、柔性和不确定性的特点 ,提出了一个生产系统分块式有效 Petri网建模方法 ,保证了所生成的整体生产系统模型的有效性 ,可直接用于系统作业的控制 ,并且具有错误恢复能力 ,建模方法的有效扩充性也为深入地细化研究系统的某个加工单元和系统的扩展提供了可能。采用 C/ C++语言 ,基于 GL 图形库实现了平台的建立并给出了实例     

基于VPSs的制造资源组织模式及其系统构建方法

考察了当前热点研究的制造系统新模式,针对敏捷制造环境开发了一种基于虚拟生产系统(VPSs)的制造资源组织模式.探讨了基于VPSs资源组织模式的理论思想,给出了基于VPSs的制造资源组织体系架构.研究了构建VPSs的方法和构建特定VPS的一般算法,并作为案例研究,讨论了在半导体封装制造系统中建立面向特定定单VPS的过程.最后,对VPSs方法的价值和未来研究方向做了简单说明.     

基于XNA的虚拟数控铣床仿真系统

为解决数控铣床加工过程的仿真实现问题, 基于虚拟制造和计算机仿真的基本思想, 以Microsoft Visual Studio 2008为开发平台, 利用C#、 XNA(Windows Xbox Next Generation Architecture)和3ds MAX为开发工具, 实现了虚拟数控铣床仿真系统。通过实验证明, 该系统能准确模拟真实数控铣床在不同转速、NC(Numerical Control)代码等条件下的各种操作与运动。用户能通过使用本系统, 达到对数控铣床操作与编程的学习、 训练等初步体验, 有助于节省使用真正数控铣床的时间, 降低学习、 培训费用。     

基于虚拟现实的机器人异地仿真与监控

研究了利用虚拟现实技术对机器人进行仿真、监控和遥操作集成一种理论及方法,分别建立了用于仿真和监控的虚拟机器人.结合实验机器人、微控制器和无线通讯系统等构建了实验系统,分析了机器人运动在虚拟环境中的定位和控制方法,并进行了相关实验.研究和实验工作表明,虚拟现实技术不仅能够作为视频监控和仪表监视方法的有力补充,还能够在遥操作中带来更好的操控体验,并且与视频反馈相比,可以在有限的数据带宽条件下提供更好的辅助效果.     

基于计算机仿真的虚拟自动生产线实验系统

随着web和虚拟现实技术的迅速发展，虚拟实验的实现成为可能。根据机电一体化实验的需求，这里研制了基于计算机仿真的虚拟自动生产线实验系统：系统平台设计——基于Web的B／S结构模式、混合使用HTML、JSP、Jave、Applet，Web服务器与数据库管理系统的集合，增强系统图形信息的动态传输和网络交互操作功能；联合使用UG与VRML和优化VRML模型数据结构，降低建模难度、提高模型品质、改善网上动态传输和交互的实时性；提出的优于传统拼接法的隐藏替换法有效地解决动画拼接，很好地实现了用户视觉上的连贯性。该实验系统试运行表明，研究达到预期效果。     

基于虚拟路由器方式的VPN组播实现机制

论文对三层VPN组播进行了研究,提出了一种基于VR方式的VPN组播实现机制,并依照本地VPN站点及服务提供商骨干网络的建树、组播分组的封装处理流程,阐述了方案的具体实现.验证结果证明本文所提出的方法最大限度的减少了骨干网络路由器上的组播状态,从而提高网络可扩展性.     

基于网格的虚拟样机仿真关键技术

提出了基于网格的仿真支撑体系结构,讨论了将Globus和仿真融合,即基于Globus和运行支撑系统(RTI)的双中间件实现方案,用网格管理仿真资源及仿真运行高层体系结构(HLA)负责仿真相关事务.介绍了在网格上调度、运行仿真和基于仿真网格服务的两种应用框架;探讨了在网格上实现成员动态调度运行和负载平衡机制,及基于服务的虚拟样机仿真应用的层次化结构、部署和运行,达到了仿真的资源共享、动态部署和自组织等目标.     

基于委托-代理模型的虚拟企业控制权最优分配

虚拟企业是由许多非产权统一的企业基于市场机遇通过契约的方式组建起来的，因此盟主企业和伙伴企业之间存在着严重的信息不对称问题，很大程度上影响了虚拟企业的高效运作．而控制权结构的安排有助于盟主企业控制组织风险，激励伙伴企业为整个虚拟企业倾注努力．据此，借用委托-代理模型，从风险和激励的角度分两种情况综合研究了盟主企业和伙伴企业的重要性对比关系，求解了虚拟企业最优控制权的配置．     

基于MATLAB的正弦稳态电路仿真

MATLAB软件编程简单、计算效率高、绘图功能强大,在《电工基础》课程教学中引入MATLAB仿真可以弥补传统教学的不足。本文研究了MATLAB函数编程和虚拟实验两种仿真方法,并通过正弦稳态电路的实例探讨了MATLAB仿真和虚拟实验两种仿真方法的应用。