层次建模的小组软件过程仿真

提出针对TSP的多层次软件过程仿真模型,该模型结合了离散和连续建模思想,给出了形式化描述,用验证实例来说明模型的执行过程及结果.此模型能够从不同角度模拟TSP,并能对软件开发过程进行监督和预测,有效提高软件过程质量.     

支持网络化制造的虚拟企业过程建模

网络化制造是制造业发展的必然趋势，虚拟企业是其主要形式。虚拟企业过程建模是保证虚拟企业管理和控制的基础。在分析虚拟企业建模系统的基础上，提出其设计原则，构造出基于改进IDEF3方法的虚拟企业过程建模系统，满足动态性、分布性和简单易用的要求。讨论了系统的运行模式、基本元素图标的表达和属性，给出一个实例模型。     

软件企业软件过程改进方法探讨

软件过程改进是软件企业提高自身竞争力的必经之路,本文是在对CMM(软件能力成熟度模型)研究的基础上,结合我国大多数软件企业的实际情况,依据CMM的基本理论,提出了我国软件企业进行软件过程改进的方法和步骤.     

实现基于CMM软件过程改进的研究

由于中国软件企业越来越注意软件开发和管理的规范化,CMM(the Capability Maturity Model for Software)逐步为广大中国企业所知。如何实现基于CMM的软件过程改进成为人们关注的焦点。首先介绍了CMM理论,随后重点讨论了实现基于cMM软件过程改进的方法,并给出了基于CMM的软件过程改进路径。     

软件度量过程及其因素的应用研究

针对过程因素已成为制约软件企业软件产品质量和生产效率的瓶颈问题,讨论了CMMI模型为软件过程改善和软件过程评估提供的一个有效指导框架,分析了基于CMMI的软件过程框架和CMMI 2级的软件过程因素,并结合实际项目展开了CMMI应用的详细研究,实践了CMMI在项目实际开发过程中的具体应用.     

潜艇CGF建模中的行为过程类分

潜艇计算机生成兵力(computergenerateforce,CGF)是海军作战仿真系统中的重要组成部分,其建模过程十分复杂。首先分析了潜艇CGF建模的特点和要求,提出了行为过程类分和行为树的概念;探讨了行为过程类分的原则,并研究了一定仿真任务下的行为过程类分方法,为建立潜艇CGF模型打下了基础。     

基于软件行为的检查点风险评估信任模型

针对当前软件行为可信研究中往往忽略风险因素影响,为提高软件行为可信性评价的准确性和合理性,通过在软件行为轨迹中织入若干检查点,提出一种基于软件行为的检查点风险评估信任模型(CBRA-TM);通过累积多个有疑似风险的检查点,利用风险评估策略,判定有疑似风险的检查点;采用奖励或处罚机制求出软件行为的可信度,最终判断软件行为是否可信.仿真实验结果表明,该模型能够有效地识别软件行为中潜在的风险,能够较准确地计算软件行为的可信度,验证了模型的有效性和可行性.     

网络化制造资源形式化建模及实现

制造资源建模是实现网络化制造目标的前提和基础.首先对网络化制造资源建模进行需求分析;其次从资源分类、逻辑层次和形式化定义等角度对网络化制造资源进行了全面系统的描述,建立了多层次、多维度的网络化制造资源参考模型;最后基于XML提出模型实现方案,给出了实现案例和将来网络化制造资源建模的研究重点.     

开源开发模式与传统软件过程的关系研究

开源开发模式近年得到广泛关注，在现有传统软件过程的经验上发展开源软件为中国软件业带来了新的机遇。回顾了传统软件开发过程的主要方法，重点地研究了开源软件过程。针对开源软件过程的特点，提出了开源软件过程模型，分析其4个连续、循环迭代的开发步骤。通过对传统软件过程和开源软件过程的分析，指出了传统软件过程和开源软件过程需要相互借鉴和相互融合。     

一种软件产品线技术与标准套装软件SAP相结合的开发过程模型

分析了软件产品线技术和标准套装商业软件SAP的特点,针对两者的优缺点,提出了一种将软件产品线技术与SAP实施演化相结合的过程模型。该模型把产品线技术核心资源的概念引入了SAP实施开发的各个环节;同时借鉴产品线的演化思路,加入了用SAP的二次开发成果更新配置集合的迭代过程。从而使SAP软件在高度标准化的基础上,达到实施效率和可配置程度的最大化。     

材料性能的建模方法

提出一种用非线性函数的线性组合来预测材料性能的建模方法. 在叙述其数学原理后,给出了确定参量的数学方法,同时给出5个实例的建模结果. 得到的计算结果与理论符合良好,在一定程度上可以预测出材料性能. 讨论了多元函数的建模.     

基于UML的软件开发建模方法的研究

开发具有可复用性、可扩展性的高质量软件,必须采用面向对象技术,而统一建模语言是面向对象分析与设计的重要工具,它支持系统开发的全过程。结合面向对象的建模方法,介绍了UML的结构和机制,并且通过实例对UML的建模机制做了系统的概述。     

一种动态监测软件行为的方法

分析了传统测试的弊端和动态监测的现状,提出并实现了根据形式化逻辑描述的需求规约,判断软件运行行为是否符合预期的动态监测方法,在资源消耗较低的情况下保证了监测的正确性与及时性。最后通过实例数据证明了该方法的高效性。     

不确定时延网络控制系统的建模与稳定性分析

针对不确定时延的网络控制系统,传感器采用时间驱动,控制器和执行器采用事件驱动,将系统建模为一类不确定性的线性离散系统．通过构造李雅普诺夫函数,结合线性矩阵不等式(LMI)的有关知识,对系统的稳定性进行分析,给出了系统稳定的充分条件．给出算例,用MATLAB进行仿真,证明了结论的有效性．     

行为学软件度量的研究

针对目前软件度量方法的工作量大、度量困难问题,以行为学研究和软件度量为依据,提出了操作简单、度量简单的行为学度量方法来进行软件进度度量。通过实践项目的数据统计,发现改进后的软件进度度量方法有效地降低了软件度量的工作量,减轻了工程管理人员进行软件度量的工作压力。同时偏差分析也有效地识别出了软件度量中的虚假数据。新的软件度量方法提高了项目管理的效率。     

外包软件过程度量模型的研究

由于我国软件外包行业的迅速发展,国外发包企业对接包组织单位的能力要求有所提高,因而软件外包过程的度量显得尤为重要.为了辅助软件接发包组织有效实施基于CMMI的软件过程度量,提出了一种外包软件过程度量模型GMDR.该模型定义了外包软件过程度量的主要过程和活动,能够支持并指导接发包组织异构数据环境下的过程度量的实施.在实际外包项目过程度量中的应用表明：GMDR模型能够解决异构数据环境的软件度量并提高外包软件过程度量的效用和系统性.     

不确定时延网络控制系统的建模与稳定性研究

针对网络控制系统(NCS)中存在的不确定性长时延问题,讨论和分析了系统的建模和稳定性问题。假设网络控制系统的传感器采用时间驱动,执行器与控制器采用事件驱动,传感器的数据采用单包传输,网络控制系统可建模为一类线性离散时延系统。根据Lyapunov稳定性理论,给出了闭环系统渐近稳定的充分条件,并基于相应的线性矩阵不等式(LMI)可行解,求解出状态反馈控制律。仿真结果说明了此方法的有效性。     

基于BPEL的跨域业务协同建模方法的研究与实现

针对物流服务中的多式联运场景,采用面向服务的架构、Web服务技术和业务流程执行语言(BPEL),实现了跨区域企业间业务协同过程建模和相关企业资源的集成.研究表明,相比传统的企业集成技术,BPEL是面向服务架构(SOA)下的一种有效整合企业资源的方法,可以很好地实现跨域协作和业务集成.     

一种建立发酵过程模型的新方法

为了建立精确的微生物发酵过程数学模型,在标准回归型支持向量机(SVM)的基础上提出了动态ε-SVM方法。即不同样本使用不同的ε;使用改进的多目标遗传算法(MOGA)自动选择动态ε-SVM的参数.将改进的MOGA和回归型动态ε-SVM结合形成一种新的建模方法,利用现场生产数据建立了青霉素效价预估模型.结果表明此方法具有较强的拟合和泛化能力.经过对比,本文方法比基于MOGA和标准SVM的建模方法具有更强的泛化能力.     

可重复协同流程的建模方法的研究

协同工程是一种可重复协同流程的设计建模方法,文章介绍了可重复协同流程的相关背景,分析了传统流程与可重复协同流程的区别,对协同工程方法的基本概念、建模对象、设计过程和设计方法进行了研究,最后给出了一个使用协同工程方法设计软件公司代码检查协同流程的实例。