Direct3D文件模型

本文介绍如何使用Direct3D建模工具制作三维模型,包括模型文件格式转换、将模型加栽到程序并创建网格模型对象、提取模型材质和纹理信息以及模型渲染等,最后给出使用文件模型的几点建议。     

基于CMMI的软件过程性能模型

在高成熟度组织的CMMI(能力成熟度模型集成)实施过程中,正确的建立并使用过程性能模型对有效的策划、预测、监督和控制组织过程有显著的作用.在分析并建立4个基本的过程性能模型之间的关系之后,以生命周期模型的定义为基础,提出了基于GQM的度量模型构建方法、资源模型构建方法以及质量模型构建方法,由于各过程性能模型的信息和数据都来源于生命周期模型,因而可以有效保证其之间信息与数据的一致.     

网络环境下终端资源交换的经济学模型研究

互联网环境下用户终端资源(下简称终端资源)的使用是运行商讳莫如深的问题,但终端资源却一直在被他 们所使用,而且将经济学的各种模型引入资源共享是过去数年来(尤其是对等网络出现情况下)的研究热点。对终端 资源的交换使用进行经济学建模,给出简单模型(二元模型),在此基础上引入用户的资源贡献因子,给出用户介入后 的模型(三元模型),使终端资源的使用可量化。最后将终端资源交换模型归结为运输模型,以存储资源作为实例给出 求解方法,证明模型的可解性。     

基于单张人脸图片和一般模型的三维重建方法

提出一种使用单幅人脸照片进行特征提取、标准模型变形的全自动三维人脸重建方法。使用改进ASM方法自动精确提取人脸特征点,通过使稀疏形变模型匹配平面特征点来获取照片人脸的深度信息,再将一般人脸模型变形到特定人脸。基于肤色模型优化的ASM提取人脸特征,使得一定角度的侧面照片也可以有很好的重建效果。同时,使用基于肤色模型的纹理融合技术使侧面信息缺失的问题得到很好解决。实验证明,该方法快速简便,只用单幅照片全自动化完成重建,无须用户交互,生成的三维模型有较好的真实感。     

软件开发模型的选择与应用

分析传统软件开发模型一“瀑布模型”存在的主要问题,通过阐述RUP模型的3个特色：允许变更需求、逐步集成元素、尽量降低风险,提出使用RUP模型将项目分为初始阶段、细化阶段、构建阶段和交付阶段,能够在项目开发早期的迭代中发现缺陷并及时改正。     

基于UML模型的统计测试方法研究

为增强统计测试的可行性、可测试性,降低建立使用模型的难度,通过研究作为工业标准的统一建模语言UML,提出了一种基于UML模型的统计测试方法。论文首先建立了基于UML模型的统计测试过程,然后结合扩展的UML模型和使用模型的形式化描述,给出了从UML模型导出使用模型的一种形式化算法,并以工控机器人软件为例说明了应用该方法的完整过程。     

一种模型转换的编织框架

模型转换是MDA(model driven architecture)的核心技术之一,也是目前MDA研究的热点.目前,MDA范畴内存在多种模型转换方法和工具,它们之间的异构性造成了模型转换代码重用的困难,并使学习和使用模型转换方法的成本增加.受到模型编织技术的启发,提出了一种基于QVT(model query/view/transformation)规范的模型转换编织框架QMTW(QVT-based model transformation weaving framework)来解决以上缺点.展示了模型转换编织的概念、语义、元模型和语法,以及到目标语言的转换定义,并以一个具体实例说明了本框架的使用方法和优点.QMTW提高了模型转换的抽象层次,统一了多种模型转换语言,并支持OMG最新的模型转换规范,在一定程度上消除了模型转换技术的异构性,同时具有简单、规范、扩展性强3个优点.     

基于动态描述逻辑的UCON授权模型

使用控制(UCON)是下一代访问控制模型,其核心模型包括授权模型、义务模型和条件模型。该文的目的是使用动态描述逻辑DDL对UCON授权模型进行逻辑表述,对授权过程中的各个决定要素进行逻辑描述并提供可判定性推理,提出UCON授权模型的逻辑模型,并提供了一个完整的授权实例,为模型的实际应用奠定一个较好的逻辑基础。     

两种模型结合使用的研究与性能分析

基于Bell-Lapadula模型和Clark_ Wilson模型,提出了一种混合使用这两种模型的方法,并对这两种模型混合使用的实用性进行了讨论。     

软件项目管理的知识语义模型

探讨了构建一个基于软件项目管理的知识语义模型，它是软件项目管理系统的核心，包含过程模型、资源模型和产品模型。使用这个模型去开发一个软件项目管理系统，以帮助管理员去控制软件开发过程。     

基于UML的软件统计测试方法研究

软件统计测试要求基于软件使用模型产生测试用例对软件系统进行测试,为增强统计测试的可行性、可测试性,降低建立使用模型的难度,通过研究作为工业标准的统一建模语言uML,提出一种基于UML模型的统计测试方法.建立基于UML模型的统计测试过程,结合形式化描述,给出从UML模型导出使用模型的形式化算法,并基于卫星控制系统,说明方法的有效性.     

一种结合区域梯度的活动轮廓模型

针对多相C-V模型计算复杂性高、对初始轮廓敏感等问题,提出一种结合区域梯度的活动轮廓模型。该模型对演化曲线内部区域使用梯度进行拟合,对演化曲线外部区域使用灰度进行拟合。实验结果表明,相对于多相C-V模型,该模型能快速分割多相图像,对初始轮廓不敏感。     

无线移动Ad hoc网络移动模型研究*

介绍了现有移动模型的分类,重点分析了实体移动模型的性能,对它们的移动方式、算法、优缺点和应用范围进行了详细的论述和比较,为今后移动模型的使用和新的移动模型的设计打好了基础。     

面向AltaRica模型的嵌入式系统安全性验证方法

嵌入式系统在航空、航天、交通等安全关键领域的使用愈加广泛,Alta Rica是一种描述安全关键系统的建模语言,同时基于Alta Rica模型的安全性分析已成为欧洲的工业标准。提出了一种面向Alta Rica模型的嵌入式系统安全性验证方法,包括:使用Alta Rica语言对嵌入式系统进行建模;给出Alta Rica模型到Promela模型的转换规则;对转换规则进行形式化证明,得到嵌入式系统的Promela模型;使用模型检验工具SPIN进行安全性验证。通过机轮刹车系统中的机轮刹车控制单元进行实例分析,验证了转换规则的正确性和有效性。     

网络考试系统的模型分析与设计

本文在考察现有国内外众多的网络考试系统的运行和使用情况基础上,完成了通用网络考试系统的功能模块划分及其功能需求的分析,重点对网络考试系统的物理模型、对象模型、动态模型和功能模型进行分析与设计。     

一种扩展的使用控制模型及其实施模型*

指出了原有UCON模型缺乏对特定使用会话中资源使用之后的行为处理能力、过度简化了使用会话的概念以及缺乏一种综合考虑其决策连续性和属性可变性特征的实施机制这几个方面的问题。针对上述问题,给出了一个完整的职责模型,扩展了原有的UCON,并提出了一种通用的使用控制实施模型。     

具有计算可靠性的符号模型

MW方法仅考虑使用公钥加密原语,不包含{{mk}k类型消息的双方协议。针对该问题,使用公钥加密和对称加密,建立扩展标记符号模型与扩展计算模型,论证扩展标记符号模型的计算可靠性,实现对MW方法的扩展。     

远程教学系统中几个关键模型研究

本文研究了远程教学系统中知识点关联模型、试题难度模型、学生能力评估模型、实时监控模型,提出知识点之间的关联是动态的,知识点体系结构可以转化为层状或网状的结构;试题难度是与系统相互作用并动态变化的;学生能力的评估模型可以很好地把学生能力这个模糊概念标量化。实时监督模型首次使用了基于时间的监控机制。     

基于聚类思想的软件可靠性模型选择

软件可靠性模型应用的不一致性一直是困扰软件可靠性研究人员的主要问题。模型选择和组合策略作为主要解决方法已成为模型应用的研究重点。该文主要探讨运用聚类思想进行软件可靠性模型选择的方法。根据针对实际失效数据的可靠性模型评价准则值编码,该文采用高斯混合模型进行聚类分析,使用EM算法估计高斯混合模型的参数,贝叶斯准则进行模型选择。为验证此方法的有效性和可行性使用了多个实际项目中的失效数据进行试验。结果表明,此模型选择方法简单有效,有利于软件可靠性模型应用不一致性问题的解决。     

两种湍流模型在风洞拐角流场计算中的应用及比较

为降低风洞拐角压力损失,提高其气动性能,使用雷诺应力模型(Reynolds Stress Model,RSM)和k-ε湍流模型对其流场进行数值模拟,分析和比较两种模型在压力损失因数、壁面摩擦损失和二次流损失上的异同,得出:使用两种模型均能发现拐角压力损失因数并不随雷诺数变化而变化;使用RSM得到的压力损失因数与实验值更为接近;相同雷诺数下,使用RSM计算得到的壁面摩擦损失因数比k-ε湍流模型的大,但两种模型得到的壁面摩擦损失因数变化趋势一致;两种模型计算得到的二次流损失随雷诺数变化规律一致,但是在相同雷诺数下,使用k-ε湍流模型计算得到的二次流损失比RSM大.