虚拟装配环境体系结构的建模机制与分析设计

虚拟现实技术为产品开发带来了全新的人机界面和强大的功能,虚拟环境将虚拟现实技术与产品的设计、装配和分析紧密地结合在一起。但目前大多数面向产品开发的虚拟环境存在着通用性和可重用性等问题。本文给出了一个虚拟装配环境软件体系结构,该体系结构基于统一建模语言UML和离散事件系统形式化描述体系DEVS思想,采用面向对象、可重用技术对该系统进行了分析设计,实现了软件体系结构的可扩展性、可重用性和易维护性等。     

一类混合单调算子方程组解的存在和唯一性定理

利用锥与半序理论和迭代技巧,给出了具有凹凸性但不具有任何连续性和紧性条件的混合单调算子方程组的解的存在唯一性定理,所得结果拓展了文献[1]中的混合单调算子方程的相应结果。     

教学用三维游戏引擎的层次结构分析与初步实现

从横向和纵向角度分析了游戏引擎结构,根据游戏系统(Game Software System)结构提出了一个由底层、中间层、游戏相关层组成的三层游戏引擎层次结构,比传统的一层或二层游戏引擎结构重用性更好,更适合游戏教学;最后根据该层次结构实现了一个简明清晰的教学用游戏引擎.以简洁明了的方式展示了精灵加载、简单模型动画、用户多角度观察等基本组件功能的实现方法.     

一种基于QVT的模型转换技术

提出一种基于查询/视图/转换(QVT)规范的模型转换技术, 并采用这种模型转换技术, 利用Kermeta语言中的模型转换功能, 通过对QVT核心分层, 设计了一种基于映射四层QVT结构的模型转换工具, 实现了Ecore元模型到Kmt元模型的转换.     

虚拟教学实验室的设计与开发

计算机网络技术的迅速发展为高校教育提供了巨大的发展空间,而实验环节是学习的重要组成部分.虚拟教学实验室能够提供虚拟实验环境,共享资源,因而虚拟实验的研究与开发是目前教育领域的热点之一.在此背景下对虚拟教学实验室的总体结构和功能进行了分析和设计,并给出了一个具体的实例.     

基于分层模式的视景仿真系统研究与设计

视景仿真系统作为虚拟现实的重要表现形式和系统仿真的重要手段,已被广泛应用于各行各业。针对视景仿真系统的可扩展性和可移植性需求,提出了一种基于分层设计模式的视景仿真系统体系结构,详细阐述了基于分层模式的视景仿真系统总体框架的建立和各个模块的设计,并通过一个导弹攻防系统的设计实现验证了该体系结构的可行性和灵活性。     

一种知识库系统软件体系结构框架的研究

在专家系统、实时控制、问题求解、机器学习等智能应用领域,都需要存取和管理大规模共享知识库,这种知识库不能用传统的专家系统外壳来建造,因为这些外壳不能满足数据量的不断增长,知识库丰富的表示结构和推理机也不被现存的数据库技术支持。为了解决这个问题,本文提出了一种适合知识库管理系统的体系结构,这种软件体系结构采用可以处理不同粒度空间的商空间结构,给出了基于商空间的一种新的知识库系统软件体系结构模型,定义了原子构件、商构件、连接和配置,描述了农业气象知识库系统框架,给出了它的构件和配置案例,这些工作为基于商空间的知识库系统软件体系结构研究奠定了理论基础,为进一步研究软件体系结构提供了新方法。     

缺货补偿条件下的生产规划模型及算法

针对缺货补偿条件下有能力约束、多产品、多阶段制造系统的生产规划问题，以利润最大为目标，建立混合整数规划模型。通过对模型的等价转换，基于对偶理论将等价模型分解为相互关联的生产主问题和库存子问题，设计对偶分解算法进行求解。数值实例的计算结果，说明了算法的收敛趋势以及在计算时间方面的性能。     

构建大型企业的数据仓库

 提出一种多层次数据仓库系统结构.这种构架的数据仓库开发过程不同于通常软件的开发.各结构层次的侧重点不同,引入的开发工具、采用的开发方法各有不同.这种系统结构适合大型企业分步投资、分阶段建设数据仓库.     

退化秩为0的二阶混合型方程斜微商问题解的唯一性(英文)

讨论带抛物退化线的二阶混合型方程的斜微商边值问题,这个问题包括空气动力学中Chaplygin方程的Tricomi问题作为特殊情况.先给出这个问题的提法和解的表示式,然后使用复分析方法,证明了上述二阶混合型方程斜微商问题解的唯一性.