基于VRML的虚拟汽车驾驶系统

介绍了基于VRML的汽车虚拟驾驶系统的设计，采用3DsMax建立城市建筑、街道、路灯、道路维护设备及标志等静态物体的三维几何模型，将这些几何模型装配成城市模型，将其转换成VRML格式，然后，采用ParallelGraphies的InternetSceneAssembler工具装配具有动态行为的几何模型并进行动态行为建模，如交通信号灯、汽车、行人。该工具使用基于VRML语言的可视化界面进行建模，使用很方便，效率高。动态行为使用VRML2．0结合JavaScript进行编程。开发的虚拟汽车驾驶系统可以在Internet上发布和游览。     

固体火箭发动机虚拟样机支撑平台建模体系研究

为满足虚拟样机支撑平台建模的复杂性需求，定义了一个三维的虚拟样机支撑平台建模体系。给出了从建模周期维、视图模型维、应用工具维分析虚拟样机支撑平台的建模策略，将支撑平台建模周期分为需求分析、原型设计、原型实施、分析优化4个阶段，重点从视图模型维对虚拟样机开发过程关键要素进行了分析，对过程、产品、组织、资源、约束5个视图进行了定义和建模，详细介绍了固体火箭发动机虚拟样机支撑平台应用工具集。     

微操作机器人系统拟实环境的建模与实现

建立微操作机器人的拟实环境结构, 应包括微操作环境的建模、微操作工具的建模及模型叠加三部分; 本文就微操作环境的建模与实现和微操作工具的建模与实现这两部分的关键技术: 图像传输、虚拟微操作器的生成、虚拟显微镜、虚拟成像过程及虚拟控制器给出了实现方案, 并在基于微机的硬件结构和VisualC ++及OpenGL组成的软件环境里, 得到了虚拟微操作环境和虚拟微操作工具的动态模型.     

一个基于MultiGen/Vega的虚拟场景漫游系统

复杂场景的虚拟实时漫游是虚拟现实的一个重要的应用方面，它在娱乐，旅游，虚拟培训，文化宣传与交流，城市规划等领域有着广泛的应用前景，文章以大亚湾核电站为原型，使用建模工具MultiGen和开发工具Vega，介绍了开发虚拟核电站实时漫游系统的实际应用。     

制造系统虚拟仿真原型工具的研究

通过对制造系统的分析，基于将“面向对象的分析方法、三维几何模型和仿真机制”统一起来的有向图仿真建模机制，提出虚拟仿真工具的模块化体系结构，开发了面向制造系统的专用虚拟仿真工具，并介绍该虚拟仿真原型工具的总体结构及其主要功能模块。     

ARM发布针对ARM11系列的快速系统建模解决方案

ARM公司发布RealView ESL工具用于基于ARM11系列处理器系统的建模。通过在基于周期和交互的抽象层使用RealView ESL工具可以简化设计过程，提高设计质量，从而搭建一个完全虚拟的平台在芯片投片前对多核SoC进行建模和编程模拟，以加快产品上市时间．     

面向虚拟试验的可视化对象建模工具设计与实现

虚拟试验在现代军工产品研发过程中显得日益重要,但基于虚拟试验的可视化建模却并未得到充分关注;针对虚拟试验在军工产品研发中的应用,设计了虚拟试验定义语言(VITA definition language,VDL),并基于该语言,设计并实现了面向虚拟试验的可视化建模工具,具有VDL代码和可视化模型双向转化、可视化建模等功能,可以简单快捷地实现VDL建模功能;首先介绍了VDL模型的定义,然后详细阐述了可视化对象建模的设计和实现方法;最后,通过应用实例验证了该可视化建模工具的实用性。     

三维虚拟场景建模工具的设计与实现

采用Java和Java3D技术设计并开发了一套虚拟场景建模工具。描述了建模工具的数据结构和数据管理器的运行机制,综述了实现建模工具的技术要点——多视图显示、对象ID管理、视点变换控制等。目前已经完成了该建模工具的开发工作。     

虚拟昆曲博物馆的几个关键技术探讨

用Virtools作为系统整合平台,以昆曲博物馆作为虚拟对象,研究开发了虚拟昆曲博物馆的漫游系统.使用3DSMAX作为建模工具,进行模型优化、渲染及烘焙,导入Virtools中建立资源库,采用行为交互模块建立虚拟博物馆的动作和系统人机交互.     

基于PFA的虚拟角色行为辅助设计工具

在虚拟训练系统中,如何构建高度真实的虚拟角色是一个根本性的问题.不确定性是人类行为的一个重要特征,对其建模有助于增强虚拟角色的真实感和可信度.现有的基于规则、Petri网和FSM的行为建模工具无法满足不确定性行为建模的需求.在对虚拟角色行为不确定性进行定义的基础上,利用概率有限自动机(PFA)对不确定决策与规划进行建模,形成了行为概率自动机(BPFA).基于BPFA设计并实现了一个行为设计工具UBTool,方便了不确定性行为的设计与实现.最后以坦克作战行为为例展示了该工具的有效性.     

几何建模技术在虚拟校园漫游系统开发中的应用

虚拟漫游系统的开发是虚拟现实技术的一个重要应用.以华北电力大学保定二校区为虚拟仿真环境,使用3DSMAX建模工具对校园中的各种模型进行建模,使用多种基于几何建模的场景优化措施,并基于Google Earth卫星截图进行场景的精确布局设计.结合Virtools虚拟现实开发平台,设计了虚拟校园漫游系统的开发流程,并在微机平台上实现了一个场景复杂的校园实时漫游系统.该校园漫游系统不但为用户提供了友好的Web界面,而且设计并实现了基于导航图控制的人机交互机制,便于综合使用多种漫游方式快速漫游校园的场景.     

基于手绘输入理解的智能3D几何建模系统

近年来,图形学领域已经开发了大量的3D建模和可视化工具,但是这些工具的界面往往过于复杂,制约了设计人员的创造性工作,也进一步限制了这些工具为普遍用户所使用。事实上,理想的3D建模工具应该提供给用户以尽可能自然、简单的操作,例如基于电子笔的草图输入,而且随着移动设备的发展,也使之成为图形学中更有前景的研究方向。文章论述了当前支持手绘的建模技术的研究现状,并提出了一个更加智能化的多模块建模体系,突出了交互技术、智能理解和高质量的可视化输出技术的结合;而且针对手绘输入的不明确性,着重分析了图形数据的基于特性的语义描述,提出了智能的逻辑推理模型,并进一步描述了下一代融合自然输入、逻辑推理与虚拟显示于一体的智能图形建模系统的实现。预测了人工智能技术与CA D技术的结合将是未来图形学领域发展的主要方向之一。     

基于PC的虚拟地形漫游系统的实现

简要介绍了虚拟地形漫游系统的基本概念；从环境建模的几何建模、运动建模和模型切分等方面，说明了虚拟地形漫游系统的建模原理和实现过程；讨论了在Windows环境下使用OpenGL进行三维图形编程的基本步骤，并在普通微机上加以实现，有助于在普通微机上实现比较复杂的虚拟现实系统。     

虚拟维修关键技术研究

本文介绍了虚拟维修系统构成所需的四大模块,分别对虚拟维修关键技术进行了深入分析,重点研究了虚拟维修系统如何建模、信息怎样表达、如何规划技术、干涉问题的解决以及修理工具的制作。     

基于线性规划的RTL可满足性求解和性质检验

采用线性规划作为基本工具开发一个RTL可满足性求解器，并将其应用于解决RTL性质检验问题．深入研究了使用线性规划约束对RTL电路元器件的建模方法，得到了一种对RTL电路建模的通用方法．通过将RTL性质转化为虚拟RTL电路，找到了一种验证RTL性质的方法．通过实验，并与采用zchaff布尔可满足性求解器的模型检验工具NuSMV进行比较，证明了基于RTL可满足性求解器的性质验证方法在内存和时间消耗上具有相当大的优势．     

基于Vega的虚拟漫游系统的设计与实现

分析了Vega的组成结构和视景数据库的建立.使用MultiGen建模工具构建模型、利用VC6.0开发环境和Vega的库函数,以某部队的营房建设为虚拟对象,设计并实现了虚拟漫游系统.系统可提供自动漫游、自由漫游和漫游记录以及施工过程的信息查询等功能.用户可以随意在该营区漫游.     

基于数字地球平台的三维虚拟数字城市建设

利用数字地球平台GoogleEarth的基础地理框架和高分辨率卫星照片底图,使用建模工具进行三维建筑群模型建立,通过KML语法实现地理数据显示,实现了虚拟城市的建设和实施。实验证明,数字地球平台凭借其在地理资源、三维显示、网络传输等方面的优势,是实现数字城市建设的有效工具。     

基于Creator/Vega Prime的虚拟航母漫游设计

可视化的底层实现，决定了在虚拟漫游系统开发中采用的模型数据库和实时渲染引擎，都必须满足很高的实时性需要。针对目前我国研究攻击航母作战的重要性，提出了制作虚拟航母漫游系统的总体技术路线，介绍了模型开发过程中，建模工具、渲染引擎的选择和模型制作的一些具体方法，以及模型数据库的优化等。通过特效节点的使用，碰撞检测及消息处理，产生了真实性效果。最后，借助计算机硬件设备实现了立体显示，并进行实时的人机交互和场景漫游。     

基于Google Earth API技术的网络虚拟校园建立

虚拟校园就是将校园的实体(如图书馆、教室、办公楼)数字化后,呈现于计算机系统中,利用网络的跨地域性拓展学校功能的覆盖范围。传统的实现方式有GIS软件、VRML软件、以及FLASH软件等途径。然而Google Earth作为一款免费的、更强大的和更新型的数字地球平台,为我们解决这个问题提供了新的途径。本文利用Google Earth数字地球平台的基础地理框架和高分辨率遥感底图,使用Sketchup建模工具进行三维建筑群模型建立,经过投影和坐标变换处理,对辽宁工程技术大学虚拟校园进行了初步实现。将现实校园的各项资源数字化,形成一个数字空间,通过Google EarthAPI实现网络化的学校模型的虚拟漫游、鸟瞰和互动以及基本的查询功能。     

基于时序约束建模的自动精化和组合工具

为提供更优质的使用Event-B形式化方法建模混合系统的工具,根据混合系统的时序约束建模方法,其能够很好刻画混合系统建模中的时间相关性质并且支持精化和组合,提出基于它的自动筛选、精化和组合的方法.开发对应的自动精化和组合的工具链,工具链包含模型检测、自动精化和组合、模型证明等一系列功能并拥有用户友好的界面.给出一个使用工具的案例介绍和应用此工具.