软件能力成熟度模型CMM的探讨

本文首先对软件能力成熟度模型的起因、历史、发展及一些基本概念作了简单的介绍;然后对模型的结构、内容和各成熟度等级的行为特征进行了描述;最后,进行了相关总结。     

软件能力成熟度模型CMM的探讧

本文首先对软件能力成熟度模型的起因、历史、发展及一些基本概念作了简单的介绍；然后对模型的结构、内容和各成熟度等级的行为特征进行了描述；最后，进行了相关总结。     

测试成熟度模型(TMM)的研究

该文介绍了美国Illinois Institute of Technology开发的测试成熟度模型(TMM),给出了修正过的软件开发V模型、TMM结构,描述了软件组织5个测试成熟度等级的行为特征、成熟度目标和成熟度子目标,并说明了TMM实施的方法,以及笔者对测试成熟度模型的考虑。TMM针对软件测试过程的问题和特点,提出了改进软件测试过程及提高软件测试能力的思想和方法,这无疑是对SW-CMM的补充,所以值得积极尝试TMM。     

测试能力成熟度模型

介绍了美国Illinois Institute of Technology开发的测试能力成熟度模型(TMM)，给出TMM的结构，描述了软件组织5个测试成熟度等级的行为特征、成熟度日标和成熟度子目标，并说明测试能力成熟度模型与软件能力成熟度模型(SW—CMM)的关系，以及笔者对测试能力成熟度模型的考虑。     

软件企业提高CMM成熟度等级的一种途径

首先介绍了与CMM有关的概念、CMM软件过程成熟度等级模型以及软件过程和能力评估方法,并在此基础上提出了一种提高软件企业CMM等级的途径。     

软件过程能力成熟度模型研究

首先论述了软件过程能力成熟度模型 ,然后讨论了软件过程改进 ,最后 ,通过一些软件组织实施软件过程能力成熟度模型认证的成功案例分析 ,给出中国大力发展软件产业的一些启示     

软件维护成熟度模型的应用探讨

SM^mm（软件维护成熟度模型）是软件维护过程管理和控制的系统方法，它为软件维护过程的改进提供了指南，为组织的维护能力评估提供了依据。本文对比CMMi总结了SM^mm的体系结构和应用领域，对模型的五级结构、内容和不同成熟度等级间的关系，以及各成熟度等级的行为特征进行了描述，指出了该模型尚存在的一些问题，提出了进行概要要剪裁与详细剪裁应遵循的一般规则。     

SW—CMMI3及在企业中的实施

本文通过对CMMI的总体介绍,描述了CMMI的5个成熟度等级,并重点介绍了SW—CMMI2、3级的主要内容．最后通过案例介绍如何在企业中实施SW-CMMI3级模型。     

基于三角直觉模糊层次分析法的国产CPU产品成熟度评价软件开发

为了解决国产CPU产品成熟度评价的问题,通过借鉴国内外对成熟度的研究,给出国产CPU产品成熟度的5级等级划分。构建国产CPU产品成熟度评价指标体系,引入三角直觉模糊数来构造三角直觉模糊层次分析法并以此确定指标的权重。以此为支撑开发国产CPU产品成熟度评价软件,包含模型建立、权值计算、成熟度计算等功能。经实例验证,该评价软件能够客观真实地评价国产CPU的产品成熟度水平,为用户选用国产CPU提供决策参考依据。     

企业信息化成熟度分类模型

传统企业开展电子商务具有阶段性,根据企业信息化成熟度模型,以信息化成熟度模型为基础建立企业信息化成熟度评价指标。分析各成熟度等级的关键因素。     

一种改进的空战裁定法模型

空战裁定法模型是一种适合于求解大规模空战仿真的确定性模型,具有计算效率高、考虑因素多等优点,但也存在一定的建模方法和使用上的不足.改进的空战裁定法模型针对这些不足,进行了必要的修正或细化:将超视距空战与近距空战作为两个作战过程,分别进行裁定;在裁定计算过程中,综合考虑了防御编队的架次数;对易损性、先敌发射概率、发射导弹数、空空放大系数等参数,给出或改进了评估计算方法.算例表明改进的空战裁定法模型足可行的.     

基于潜在局部区域空间关系学习的物体分类算法

提出了一种物体分类模型--潜在局部区域空间关系模型及实现算法.模型描述物体各部分间的潜在空间关系,将抗缩放和仿射变换的特征区域方法与模型相结合,采用变分期望值最大方法进行学习.与同类空间关系模型算法比较,该文模型算法具有以下优点:(1)为非监督式学习模型;(2)可抵抗几何变换;(3)模型为稠密模型;(4)模型描述的是一种潜在的空间关系,这种关系对物体具有更本质的描述.在标准测试图像库上的实验表明了该算法在抵抗平移、旋转、尺度缩放、仿射变换和部分遮挡等难点问题上具有优势.     

混合动态系统及其应用综述

在概述混合动态系统产生背景与发展近况的基础上, 主要综述了混合动态系统研究中的若干重要问题, 包括描述混合动态系统的常见工具, 如自动机和Petri网, 以及混合动态系统的模型描述方法及用于描述混合动态系统的递阶结构模型和混合逻辑动态模型, 对混合动态系统控制器的设计和验证及其在故障诊断等方面的应用研究也作了介绍, 同时对混合动态系统的一些主要研究成果进行初步评价.     

一种防火墙系统安全模型的形式描述

文中提出了一种防火墙系统的安全模型，该模型构筑在防火墙系统的安全服务基础之上，将安全模型抽象为若干安全服务的集合并用形式化的方法进行了描述，着重描述了安全服务的动态特性，安全模型的动态特性以及安全模型和防火墙系统之间的相互关系，提出了安全服务的双向性及关键服务集的概念，该模型在已实现的分布式动态防火墙原型系统中得到了验证。     

基于模型检验的规划综述

基于模型检验的规划是当今通用的规划研究的热点,其求解效率比较高.详细阐述了基于模型检验的规划的发展与研究现状.介绍了基于模型检验的规划的基本框架,分别阐述了模型检验技术在规划领域的重要应用,并介绍了两种典型的基于模型检验的规划工具,分析了今后的发展趋势.     

因特网拥塞控制研究综述

把网络拥塞控制研究分为四个结构层次：网络建模、协议改进、中间节点功能增强、试验和仿真.按照这四个层次的顺序介绍了拥塞控制研究中的重要进展,同时阐释和辨析了一些重要的概念,如网络建模中的流量模型与机理模型,连续模型、离散模型和混杂系统模型,分组丢弃与分组丢失,中间节点算法中的调度算法与队列管理算法等.最后对拥塞控制研究的整体现状和趋势做了总结和分析,并在此基础上对未来有价值的研究方向给出了一个预测.     

基于内容的图象检索中的语义处理方法

基于内容的图象检索系统,其目标是最大限度地减小图象简单视觉特征与用户检索丰富语义之间的“语义鸿沟”,因此图象语义处理则成为基于内容的图象检索进一步发展的关键。为了使人们对基于内容的图象检索中的语义处理方法有个概略了解,首先从图象语义模型和图象语义提取方法这两个方面对利用语义进行图象检索的研究状况进行了总结,并将图象语义模型概括为图象语义知识、图象语义层次模型和语义抽取模型等3个主要组成部分;然后将图象语义提取方法分为用户交互、将查询请求作为语义模板、对象及其空间关系、场景和行为语义及情感语义等类别,同时对其中有代表性的方法进行了详细的分析,还指出了其局限性;最后从对象建模和识别、语义抽取规则和用户检索模型3个方面,阐明了实现图象语义处理所面临的问题,并提出了一些初步的解决思路。     

一种基于弹出式STN的用户界面描述模型

在研究了已有的几种用户界面描述模型后,利用面向对象的概念及弹出式STN的概念,提出了一种新的用户界面描述模型——弹出式STN模型。该模型利用面向对象的概念将弹出式STN的概念和基于事件的描述模型有机地结合起来,互相取长补短,获得了很好的效果。文中给出了弹出式STN描述模型中用户界面各对象的定义。在该模型中,用户界面被看成是一个复杂的对象——STN,用户界面的所有组件均被描述为相应的对象,该模型已在SGI图形工作站上实现,并已应用于系统的开发,取得了很好的效果。     

E-R模型的回答集编程表示

作为一种广为接受的语义数据模型,E-R模型被广泛地应用于数据库设计阶段.但是E-R模型自身却存在某些缺陷,这些缺陷制约了对其进一步的应用.针对E-R模型的改进,目前主要存在基于图形表示和描述性逻辑表示两种途径.但是,前者仍然不具有自动推理能力,而后者却存在表示能力弱、与数据库兼容性不足等缺陷.为克服以上缺陷,提出一种利用回答集编程(answer set programming)表示E-R模型的新方法.首先,对应于数据库的E-R模式被区分为基本和扩展两种类型,并分别完成它们的语法与语义定义.其次,利用回答集编程完成以上两类模式的逻辑编程表示.最后,完成表示的正确性证明.提出的方法不仅为E-R模型提供了一种新的逻辑表示途径,而且相对原有的两种E-R模型改进途径具有明显的优势.更为重要的是该研究成果使得应用E-R模型实现异构数据库之间的语义协作成为可能.     

自动验证并发实时系统的线性时段性质

介绍了一个就线性时段性验证实时系统正确性的工具的设计思想以及相关算法,使用时间自动机作为产时系统的描述模型,同时,为了便珩描述并发实时系统,使用带共享变量和通道的时间自动机网作为模型描述并发实时系统,在检验时间自动机网时,用户可以使用工具提供的合成程序将其合并为一个时间自动机然后进行检验,由于时间自动机的状态空间是无究的,通过引入整数状态和状态等价关系的概念,将整个状态0空间划分为有限的状态等价类空间,模型检验过程只需要通过对等价类空间的搜索就可以完成,但往往等价类空间的规模很大,超出了现在计算机的处理能力,原始搜索算法仅仅在理论上是可知地的,为了增工具的使用性,工具中使用的算法运用了一些优化技术来避免对等价类空间的穷尽搜索,使得工具在使用时具有比较好的时间和空间效率。