软件开发方法的几种过程模型研究

良好的软件开发过程模型,对高效率、高质量和低成本地开发软件,具有重要的指导意义。本文介绍了软件过程模型的构造和特点,并从最传统的线性顺序过程开始,对瀑布模型、原型模型、演化模型、螺旋模型、RAD模型等模型的结构、特点作了具体的分析。     

一种MIS开发的对象建模技术

本文论述了采用建立四个模型:用例模型、对象模型、动态模型和功能模型,以用例模型为基础,以对象模型为核心进行MIS分析和设计的对象建模技术思想与方法,并分析了仅使用对象模型、动态模型和功能模型进行分析和设计的缺陷与不足。     

结构稀疏模型及其算法研究进展

结构稀疏模型在统计学、信号处理和机器学习等领域中具有重要的应用。结构稀疏模型主要通过在目标函数中引入会导致组稀疏效果的罚函数来实现特征组结构选择。有趣的是一些组稀疏模型不仅能实现特征组选择,而且同时能够实现组内的特征选择。根据使用的罚函数的类型,结构稀疏模型主要分为组套索模型和非凸罚组稀疏模型两大类。系统地总结了重要的组结构稀疏模型,分析了各种组结构稀疏模型之间的区别与联系,归纳比较了各种组结构稀疏模型的统计特性(例如模型选择一致性、参数估计一致性和oracle性质)和组结构稀疏模型的求解算法。当前,结构套索模型主要包括普通组套索模型、L∞,1组套索模型、重叠组套索模型、树组套索模型、多输出树组套索模型、混合组套索模型、自适应组套索模型、逻辑斯蒂组套索模型和贝叶斯组套索模型。非凸罚组稀疏模型包括组SCAD罚模型、组桥模型和组MC罚模型等。求解组稀疏模型的算法有组最小角回归算法、块坐标下降(上升)算法、活动集算法、内点算法、投影梯度算法、谱投影梯度算法、轮换方向乘子算法和块坐标梯度下降算法等,结合组稀疏模型对这些算法进行了详细的分析。在使用上述优化方法前,通常需要对目标函数进行预处理,将不平滑的、非凸的、块坐标不可分离的组稀疏模型的目标函数向平滑、凸、块坐标可分离的方向进行转化,这一步常利用的技巧有变分不等式、Neste-rov的平滑近似技巧、局部一阶泰勒展开近似、局部二次近似、对偶范数和对偶函数等。接着给出了最新提出的一些组稀疏模型,如关于广义加模型的组套索模型、复合组桥模型、平方根组套索模型和关于Tobit模型的组套索模型等。最后,对组稀疏模型未来的研究方向进行了探讨。     

几种矢量图像噪声去除变分模型的边缘保持比较

矢量图像噪声去除的变分模型必须考虑不同通道图像间的耦合以保持图像边缘,但所得到的模型复杂、计算效率低,且不同耦合方法对应的模型的边缘保持质量不同。本文首先设计了目前已经提出的这类变分模型的快速Split Bregman算法,然后通过大量数值实验对不同模型的边缘保持特性和计算效率进行了比较。所研究的模型分别使用LTV(layered total variation)规则项、MTV(multichannel total variation)规则项、CTV(color total variation)规则项、PA(polyakov action)规则项和RPA(reduced polyakov action)规则项。实验结果表明CTV模型对矢量图像去噪边缘保持最好,其他依次是PA模型、MTV模型、RPA模型和LTV模型;LTV模型计算效率最高,其他依次是MTV模型、RPA模型、CTV模型和PA模型。     

彩色纹理图像恢复的非局部TV模型及其特征保持

基于局部算子的不同形式的TV模型用于彩色图像噪声去除时往往存在边缘模糊、纹理模糊、阶梯效应、Mosaic效应等问题。本文基于非局部算子概念将传统的Tikhonov模型、TV模型、MTV模型、CTV模型推广到NL-CT模型、NL-LTV模型、NL-MTV模型、NL-CTV模型,并通过引入辅助变量和Bregman迭代参数设计了相应的快速Split Bregman算法。实验表明,所提出的非局部TV模型在纹理、边缘、光滑度等特征保持方面具有良好特性,且差异不大,但不同模型的计算效率存在较大差异。     

信息系统分析设计与建模方法

应用钱学森先生的以人为主、人机结合,从定性到定量综合集成法,探讨信息系统及其求解过程的内在特性,纠正其中的错误认识,并提出现实业务、信息系统的分析设计是反复递归构造上游模型、下游职能模型、功能模型、执行模型、物理模型的过程。这5层模型依序为上下游推导关系,稳定性逐次减弱,反对忽略上游模型直接构造下游模型。通过5种上下游模型法,可有效提高信息系统质量与成效。     

支持装备维修训练的虚拟样机模型研究

按照层次化建模和按需求剪裁的思路,建立了一种新的虚拟样机模型框架,包括层次模型、外观模型、状态模型、功能模型、交互模型、关联关系模型和信息模型七部分。这种虚拟样机模型框架可以支持装备虚拟维修训练的各个环节,简化虚拟样机建模工作的复杂性和工作量。     

模型驱动环境下模型演化的形式化研究

在模型驱动开发中,模型演化由一系列复杂的变化活动组成,模型的变化可以分为直接施加在模型元素上的增加、删除、更改等基本演化操作以及这些基本演化操作的组合。基于模型驱动体系结构,给出了模型和模型变化的形式化定义。模型的变化以模型差异来描述,在模型差异的基础上,研究了模型的合并、逆和组合运算。     

城市微观交通流模型综述

车辆跟驰模型和换车道模型是微观交通流模型研究的基础。对GM模型、线性模型、安全距离模型、AP模型、模糊推理模型和神经网络的车辆跟驰模型进行了详细的评述,并提出了现有的车辆跟驰模型存在的问题。并且对判断性换车道模型和强制性换车道模型进行了详细地论述,同时对其进行了评价。     

网络敌手模型研究

本文首先分析网络攻击特性,给出其形式定义、研究分析了网络攻击特点及攻击模型发展状况,提出了一个网络敌手模型,该模型由三个子模型组成,即网络敌手心智子模型、网络敌手攻击决策子模型、网络敌手攻击行为变迁子模型。这三个子模型将刻画网络攻击敌手的特征,包括敌手内部心智及外在的行为。该模型克服已有模型的不足,模型的能力也更强,能够描述攻击者的意图、决策及行为。并进行形式化分析网络敌手的特征、决策规划、攻击行为过程等网络攻击环节。其目的在于知己知彼,为网络信息安全对抗技术及网络安全策略的研究提供理论基础和指导依据。     

软件开发过程模型的发展

针对软件开发过程模型的发展问题进行研讨。通过分析几个典型的软件开发过程模型：瀑布模型、快速原型化模型、增量模型、螺旋模型、构件组装模型,分析每个模型的产生情况,研究软件开发过程模型整体的发展过程,寻找其中规律性的东西。讨论了促使软件开发过程模型发展的两个主要因素：一是需要新的软件开发过程模型来处理新情况和新问题;二是需要新的软件开发过程模型来提高开发的效率和质量。指出了软件开发过程模型可以按照三个方向去发展：一是通过对现有模型进行改进、扩充、综合去发展;二是遵循新的思维方式去发展;三是借助新技术和新工具去发展。     

KDD技术在超级市场中的应用

文章力图通过KDD技术在超级市场中的应用,阐述KDD系统的模型和基本工作步骤,以及DataMining中的典型模型（如：特征模型、分类模型、聚集模型、关联模型、对比模型、汇总模型、预测模型和决策模型）,在超级市场管理方面的具体使用方法和作用,并提出了KDD技术在目前的实际应用中所存在的问题,最后对KDD技术的应用前景作了展望。     

基于XML的三层地理信息数据模型

作者根据面向对象的理论,参照国际技术规范,提出了几何对象模型、地理对象模型、图形对象模型构成的三层数据模型。并利用GML提供的几何模式、特征模式对地理对象模型和几何对象模型进行了描述,采用SVG作为几何图形显示模型的描述。     

事件和参数双因素驱动的智能模璎集成机制

为了增强DSS模型的可重用性及系统的元决策能力,提出了利用事件和参数共同驱动的双因素模型集成机制。将DSS中的可重用模型体系分解为由元模型、复合模型、过程模型构成的层次结构,重新定义了工作流管理领域中的ESP规则、元模型和复合模型的结构及通用模型接口;元模型和复合模型中的context组元利用ESP规则描述模型的应用规则,用户可通过修改ESP规则实现模型的重用和集成;在此基础上设计出以事件驱动为主和参数驱动为辅的元模型智能集成机制。以高技术虚拟企业利益分配策略优选模型的构建为例,展示了智能模型定义的方法及其集成细节。     

产品数据管理系统实施中的信息建模

信息建模是PDM实施的关键技术 ,结合作者经验 ,总结了必需建立的六个信息模型 ,即人员管理模型、产品对象管理模型、产品结构管理模型、产品配置管理模型、过程管理模型以及信息集成模型 ,对前五个模型的建立进行了详细的讨论。     

工作流模型的扩展及其形式化描述

工作流是一类能够部分或全部由计算机支持或自动处理的业务过程,工作流模型是对工作流的抽象表示,也就是对业务过程的抽象表示。论文以过程工程理论建立的企业模型作为工作流模型的扩展思想,归纳出了工作流模型设计原则,并对现有的扩展方法进行了分析;最后提出了一种工作流模型,该模型由过程模型、活动模型、组织模型、资源模型和信息模型五个子模型组成,并给出了各子模型的形式化描述。     

软件测试模型的应用研究及改进

介绍了软件测试的几种模型,包括V模型、W模型、H模型、X模型,这些模型定义了测试活动的流程和方法,为测试管理工作提供了指导,并且指出了上述测试模型的长处和局限性。针对传统的模块任务分配方式的不足,对模块分配进行细化并结合X测试模型,根据实际开发情况对X测试模型进行了相应的调整和改进。     

改进的软件测试模型——“并”模型

通过对传统的V模型、W模型、X模型和H模型进行分析和比较,得出了它们各自的缺陷,在此基础上提出了"并"模型这种新的软件测试模型。该模型克服了传统软件测试模型的缺陷,较全面地描述了软件开发活动和软件测试活动以及它们之间的交互活动。最后将该模型运用到实际的项目开发中,实践证明该模型有效提高了软件测试效率。     

关联规则挖掘兴趣度模型研究

通过查阅相关文献资料,收集整理了基于概率兴趣度模型、差异思想兴趣度模型、相关性兴趣度模型、信息量兴趣度模型、影响兴趣度模型的计算公式,并利用Visual FoxPro编程语言实现这些兴趣度模型的关联规则挖掘算法。通过实验分析了各种兴趣度模型的取值与规则显示间的关系,并简要分析总结了各种兴趣度模型的基本特点。     

基于体系结构的软件可靠性评估综述

为深入了解基于体系结构的软件可靠性评估方法的发展情况,针对当前该方法的发展现状,对基于体系结构的软件可靠性评估的起源、发展、分类和典型模型进行阐述,重点介绍状态模型、路径模型、构建操作剖面模型及其它模型;根据各种模型的特点,分析现有模型中存在的问题,对软件可靠性模型今后的发展趋势进行展望。