三维模型文件中的OBJ格式在OpenGL中的输入与处理

介绍了当今流行的三维作图工具Maya,阐述了Maya生成的.OBJ三维格式,如何将OBJ格式文件在OpenGL(Open Graphic Library)中进行输入和处理.重点介绍了OBJ文件的文件格式及怎样利用程序代码来构建模型数据结构、绘制对象模型,然后运用OpenGL的强大功能实现三维显示和交互操作.     

基于通用模型文件的模具演示系统

在分析OBJ模型文件结构的基础上,针对模具特点,设计一种通用的三维模型对象的类结构,利用该类结构建立三维模型对象,结合面向对象技术和OpenGL图形技术实现模具三维图形演示系统的开发。     

基于通用模型文件的城市三维景观面向对象可视化方法

三维模型文件的.Obj格式是一种通用的开放式模型格式。该文在分析OBJ模型文件结构的基础上,针对城市空间信息应用的特点,设计了一种通用的三维模型对象的类结构,利用该类建立的三维模型对象,可以直接获取OBJ文件中的几何、材质等三维实体信息。对象中的可视化成员方法利用模型数据和OpenGL图形处理技术实现对三维模型的真实感显示。三维通用模型和面向对象思想的引入,比较好地解决了城市三维景观中复杂模型的建模和可视化问题,有利于对复杂场景中大量三维模型的有效管理和组织。     

Gordon's computer: A hardware verification case study in OBJ3

The use of the algebraic specification language OBJ3 [26] in hardware verification has been demonstrated on a number of small examples [62, 20, 63] and some large but regular structures [12, 11]. In this paper, we show that the approach can also be used for specifying and verifying large, irregular structures. We specify and partially verify Gordon's computer, a simple microprocessor. We believe that this is the largest hardware verification case study undertaken with OBJ3 so far.     

柴油机虚拟检修系统中的关键技术研究

为了实现在虚拟环境下的柴油机检修和对柴油机检修人员的培训,采用虚拟样机技术与数据库技术相结合,开发了一款以柴油机检修手册为基础的检修系统。应用VC 6 0编程技术,开发了针对Pro/E输出的OBJ图形文件的后处理器。引入OpenGL图形接口,实现对柴油机三维模型的显示,通过提取存储在数据库中的装配信息最终实现虚拟装配。     

The formal specification of safety requirements for storing explosives

In this paper we consider the current practices involved in the storage of explosive articles and substances. In the spirit of Defence standard 00-55, we formalize the safety requirements of the ACS software which is used to manage certain MOD holdings in the United Kingdom using the specification language VDM. We also prove some properties of these safety requirements and comment on a similar OBJ3 specification.     

一种基于三维模型冗余贴图的信息隐藏技术

针对传统三维模型信息隐藏技术鲁棒性不强的缺点,提出了一种基于三维模型冗余贴图的信息隐藏算法。首先,对正交投影纹理映射规则进行面片贴图的可行性进行验证;其次,构造带有表面颜色属性的四元数小波变换空间并选取传输的关键信息进行加密;最后,将隐秘消息嵌入鲁棒空间后生成含密obj模型,贴图纹理与状态信息保存至MTL文件中,以RSA编程手段进行含密模型文件加密处理。仿真实验表明,与不含表面贴图属性的三维模型水印以及隐写方法相比,该算法在特殊渲染环境下具备较强的抗攻击能力。     

Soundness in verification of algebraic specifications with OBJ

The algebraic specification tools of the OBJ family have no notion of open terms or quantifiers. Nonetheless there are methods of proving universally quantified statements about specifications. These methods are examined and found to be unsound.     

PITE3120型气缸状态测试仪在Z12V190BJ5型机车柴油机上的应用

分析了PITE3120型柴油机气缸状态测试仪的检测机理，并在机车柴油机上进行了运用，特别结合Z12V190BJ5型机车柴油机分体式合成喷油泵的特点，介绍了该测试仪检测到的燃油压力波波形分析方法和喷油器故障的诊断方法，分析了检测过程中应当注意的问题。     

GPU-Driven Scalable Parser for OBJ Models

这篇论文用为巨大的基于文章的文件处理单位(GPU ) 的图形论述一个可伸缩的分析器框架。明确地,我们的解决方案被设计高效地分析哪个指定 3D 几何学和他们的拓扑学的波前 OBJ 模型文章。我们的工作把它的可伸缩性和效率基于基于块的处理。全部分析问题被细分进其块能独立地被处理并且无缝地合并了的 subproblems。处理的在内块被使高度平行,由 GPU 利用了。我们的途径从而克服存在 OBJ 分析器的瓶颈。执行估计我们的系统的性能的实验证明我们的解决方案显著地超过存在基于中央处理器的解决方案和基于 GPU 的解决方案也。