基于场景向目标转化的需求工程研究及应用

场景需求和目标需求是现代软件需求分析的重要方法,两种方法相结合是软件需求分析工程的重要发展方向.通过将场景需求和目标需求作为一个整体分析,探索了从场景中发掘目标的需求建模技术,提出了从场景向目标转换的需求工程规约.最后通过一个实例,展示了场景与目标相结合需求工程方法的具体应用.     

基于面向对象思想的虚拟场景漫游研究

基于面向对象的基本思想,用3DSMAX作为建模工具,进行模型优化和渲染,以室内场景为虚拟漫游场景,采用行为交互模块实现了虚拟场景漫游系统和系统的人机交互。     

虚拟场景的构造与实现

介绍了机器人漫游虚拟场景的系统框架,解决了其中的两个关键问题--三维场景建立和碰撞检测.建立三维模型时,基于3ds max建模渲染后输出3ds文件,利用OpenGL进行三维场景模型的重建;至于碰撞检测问题,是基于包围盒检测技术,根据大型虚拟场景的特点,给出了虚拟漫游系统中碰撞检测的算法.     

基于MultiGen Creator的综采工作面VR场景模型建立

MultiGen Creator是一个专业的VR场景建模工具,用于交互式实时仿真模型的建立。本文首先介绍了建立VR场景通常采用的建模方法,结合综采工作面的特点,以采煤机和液压支架模型的建立为例,给出了建模的步骤,讨论建模过程中存在的问题,总结了建模的规律和技巧。     

面向防汛减灾的VR-GIS汛情虚拟场景建模方法

基于面向对象方法和数据库技术,针对防汛减灾VR-GIS平台,对汛情虚拟场景、虚拟场景单元和虚拟对象进行了分析,提出了汛情虚拟场景和虚拟对象的数学表示,提出了虚拟对象的类结构、操作方法、模型特征和建模方法,有效解决了防汛减灾VR-GIS平台的关键问题.     

真实感森林场景的可视化研究与实现

虚拟森林场景的三维可视化是林业信息化的一项关键技术。由于大规模森林场景的计算量较大,多数研究方法或软件倾向采用简化的树木模型,用户体验不够友好,真实感较差。采用生物特征约束下的层次化参数建模方法,能很好地保证单木模型数据的真实性和建模速度。基于不同细节层次的单木模型建立了模型库,为森林的绘制和渲染提供便利,在强大的Speed Tree SDK的支持下,能够达到渲染的速度与精度的有效平衡。     

基于X3D的虚拟场景建模方法

分析了基于X3D的虚拟场景建模的常规方法,在对比其优缺点的基础上,以虚拟校园为例,引入艺术学思想,采用X3D技术,给出了不同类型物体建模的解决方案,兼顾了模型的质量和加载速度.     

三维计算机视觉及在场景分割解释中应用

介绍一种实用的三维立体计算机视觉方法 ,以自动汽车的简单立体视觉系统为例 ,利用一些与立体视觉相对应的关键特征 ,结合多目标并行图象信息和色彩信息进行场景描述 ,同时使用场景中有关物体的先验知识和已知模型等 ,基于这些描述、知识和模型 ,大多数的场景目标可以根据预处理所获得的信息进行有效的分割解释处理 .     

基于VRML技术的虚拟数字校园场景建模研究

以虚拟数字校园场景构建的流程为主线,分析了VRML造型节点的层次结构,探讨了大型场景数据的有序组织方法,以及用内联节点(Inline)实现场景调度的方法;详细讨论了虚拟场景的创建流程,重点研究了建筑物建模.为了解决建筑物复杂度与真实感的矛盾,提出了建筑物的二次建模方法.最后,对场景的优化作了一定的探讨.     

基于改进CamShift的多场景接力跟踪

为解决多场景多摄像机下目标接力跟踪问题,减少因场景、光照、视角、遮挡等变化引起的目标丢失,构建了基于CamShift算法的多颜色模型空间,并用多目标规划最优求解法获得最优组合,以减少场景转换给目标追踪带来的干扰;并利用IIR滤波器、加速度位移方程、二阶矩阵等对目标位置、速度、旋转角度等进行预测.大量实验表明,该方法能够在无人值守的情况下,对多个摄像机视频录像中的目标进行自动搜索和跟踪,跟踪效率较高,鲁棒性较强.     

基于构件行为的场景建模框架

采用系统理论术语形式定义构件行为框架,运用轨线集刻画构件行为,通过轨线迁移给出构件行为表示框架,其建模思想不再以输入／输出结构模式为出发点,而是以研究系统构件的布局为基本观点,利用构件之间的互联控制关系,反映出软件系统呈现一种柔性、多目标、连续反应式的动态特征,为构件式系统的场景建模提供了一种新的解决途径．     

自省的动态软件体系结构描述与实现

软件系统的体系结构对于软件开发具有重要的意义，然而现有软件体系结构描述语言及其支撑系统在可追溯性和动态性两个方面尚有不足，利用自省计算的原理和技术，提出一种将体系结构具体化为系统实现中可见可控的实体，并在其基础上构建系统的新途径．这样，软件体系结构的抽象描述和具体实现都基于统一的模型，从而可以保证可追溯性；而通过自省设施亦可达成对软件体系结构动态行为的有效支持和控制。遵循这个途径，给出了一种面向图的软件体系机构描述和实现的具体框架及其一种基于edNCE图法形式模型，并在World Wide Web的环境下实现了一个支撑系统原型。     

一种自适应软件体系结构建模及其实施方法

综合软件体系结构相关领域的研究成果,为实现软件系统的自适应,提出了一种基于软件体系结构的方法,即自适应软件体系结构方法（SASA）。该方法利用基于质量属性场景的软件体系结构分析方法来获得适应性变化的原因和时机,通过质量属性驱动的软件体系结构设计方法决定适应性变化的内容,使用支持变化性描述的软件体系结构描述语言记录上述信息,借助于支持运行时刻软件体系结构的中间件在运行时刻实施指定的适应性变化,以达到面向质量属性的软件自适应目标。该方法通过J2EE平台的一个应用进行了实例研究。     

XCODE:一种面向系统软件的可扩展构件描述语言

给出了一种称为XCODE的构件描述语言.作为一种基于XML的语言,XCODE可以被用于不同目的场合.它提供了一种可扩展的、独立于工具的方法,可服务于描述编译、链接、运行时刻构件的不同侧面.     

FORTRAN程序正确性的形式证明

本文描述如何利用程序正确性验证系统,形式化地证明 FORTRAN 程序的正确性。它为软件工作者提供了形式程序验证的模式,对提高软件产品的可靠性无疑有促进作用。     

面向方面的程序设计及其相关的关键技术

从软件开发方法学的角度探讨AOP为何成为结构化或者面向对象技术的补充,它怎样提供对横切关注点的标识、分离和封装技术;然后论述AOP的有关概念,支撑结构,优缺点等.并结合开发一个对C语言扩展的AOP系统的具体实践,阐明和总结要实现一个AOP语言所要涉及到的关注点和方面的封装、描述,方面代码的编译,静态或动态织入方面代码等关键技术.     

基于知识场景的知识流建模

业务流伴随着知识流,知识的流动促进了业务流程的改善和知识的增值.在分析了知识要素的基础上,给出了知识场景的概念以及一种知识流建模方法.该方法利用知识场景的动态变化描述知识的流动,为知识的有效管理提供技术手段.最后用一个例子说明该方法的有效性.     

基于遗传算法的约束优化方法评述

用遗传算法求解无约束优化问题已经取得了成功 ,但如何处理有约束优化问题是其面临的问题之一 .目前处理这一问题没有一致适用的方法 ,最常用的处理约束方法是惩罚函数法 ,也有一些其它方法 .本文对近几年出现的几种方法进行了介绍 ,并评述了它们的优缺点 .