面向Cyber空间的任务建模方法

针对目前Cyber空间中任务与实体资源之间的关系难以刻画、任务执行过程中包含的逻辑关系难以描述的问题,提出一种面向Cyber空间的任务建模方法。首先,采用分层方法和图理论建立Cyber空间模型,描述Cyber空间结构和不同层次的实体资源及其交互关系。然后,定义Cyber空间任务及其作业组成,分析Cyber任务受到的实体约束、关系约束和完整性约束。最后,给出组成任务的作业之间存在的逻辑关系,用形式化的方法对Cyber任务执行关系进行描述。通过建立面向Cyber空间的典型军事任务模型,表明该方法能够完整描述任务执行过程中的逻辑关系,从而验证了该建模方法对Cyber任务描述的有效性。     

基于OPC的多层过程控制系统架构设计及实现

文中研究了过程控制系统中标准化技术－OPC的思想、应用和关键技术，结合OPC思想以及多层软件体系策略，分析了过程控制系统采用多层软件体系的可行性，相关约束以及实现技术，给出了一个基于OPC和多层结构的过程控制系统实例，并阐述了该系统实例中所采用的核心技术。     

基于任务路由条件的柔性开发过程控制模型

总结了现代产品开发过程的特点和存在的问题，分析了开发过程中的任务及任务之间的关系，提出了产品开发中的过程控制规则，讨论了路由规则和任务约束，给出了工作流模型完整性的检测算法。通过开发任务的逐级灵活分解，降低了开发过程管理的复杂性，给出了基于任务分解的任务流控制模型和算法。介绍了一个柔性开发过程控制模型实例。     

基于OCL的面向方面监控框架

基于面向方面编程技术提出一种软件性质监控框架。该框架根据对象约束语言的约束条件生成监控方面,对监控方面与被监控软件进行编织,使软件在运行时具备发现约束违背的能力。使用模型约束检查工具USE可以进一步分析违约信息,实现其在模型上的可视化呈现。     

面向服务的角色访问控制模型研究

面向服务的体系结构由于其结构的松散性和计算的动态性等特点,使得其安全管理更加复杂。提出了一个面向服务的角色访问控制模型,该模型通过引入环境角色等概念来描述动态的上下文约束条件,并在授权时使用增强权限约束机制,提供了一种更为灵活的授权方法。此外模型通过增强的权限集,将分派给角色的任务与需求权限之间关联,有效地加强系统的安全性和访问控制的灵活性,也更适用于具有复杂安全特性的面向服务的软件环境。     

面向可信软件的风险管理模型研究 *

:进行了面向可信软件的风险管理模型的研究。首先采用贝叶斯信仰网络对影响软件可信性的风险进行了分析 ;其次 ,建立了基于约束满足的风险控制模型。该软件项目风险管理研究为提高软件质量 ,实现软件的可信性提供了新思路。     

基于线性规划理论的软件过程控制模型

在对软件过程度量和分析的基础上,主要针对软件项目的实际工期滞后于计划工期的问题,运用线性规划理论建立了一个软件过程控制模型,并结合实例运用优化软件lingo9.0求得最优解。实验结果表明,该模型可以最大限度地减少后续执行任务的实际工期,确保软件项目在合理的成本范围内交付。     

基于关键路径法的软件过程控制模型

为了增强软件过程控制能力,保障软件产品质量,提出一种基于关键路径法的软件过程控制模型。该模型以过程活动间的网络拓扑结构为基础,在确保工期和关键路径上资源需求的条件下,控制其他活动的开始时间,使得过程中所需的总资源耗费较少,且在此耗费下各活动开始时间较早。在最优耗费的约束下,还给出了一个基于资源竞争链的浮动信息更新算法,以便更新各活动的浮动信息。最后,用实例验证了所提模型的有效性和可行性。     

自动售货机金钱管理系统中 AOP 框架设计与应用

针对传统自动售货机软件体系结构中软件各组件间关系复杂、组件职责不清晰等问题基础上,转向AOP技术,提出了一种面向自动售货机实时系统软件开发领域的可复用、分层的面向方面软件实现框架R-AoSAS,该架构使得功能组件模块和非功能组件模块分离,为了实现功能组件和非功能组件的绑定或组合,该框架通过调用方面的Join Point作为它们之间的接口。在应用该框架进行实时系统软件开发时,对于定时服务、任务创建和任务调度等非功能约束的实现可以交给R-AoSAS框架核心控制层提供的时间管理模型和任务调度模型去完成,从而在软件产品层面上提高系统软件开发的质量和软件的复用性。为了验证R-AoSAS的性能,将该框架应用于金钱管理系统的开发设计,从该系统的应用中充分体现了该框架的应用前景。     

装备保障仿真中的任务建模研究

为实现面向装备保障仿真的作战单元任务系统建模,提出了一种基于任务牵引法的作战任务系统建模方法。在分析作战单元任务特点的基础上,构建任务关系模型,实现对任务的结构化描述,然后根据任务管理功能需求补充相关模型,最终得到任务管理成员的仿真模型。为满足保障仿真需求,补充了三个模型：作战单元状态更新模型、任务阶段工作量累计模型和任务成功性判断模型,实现了任务仿真模型管理和任务执行过程控制功能。     

磨矿仿真实验平台的设计和实现

采用Matlab软件及RSView32组态软件开发了磨矿生产过程虚拟对象计算机通用实验平台。系统采用半实物仿真结构,由模拟磨矿动态过程的虚拟对象计算机、实现回路控制和设备启停的可编程控制器、实现监控和过程优化的监控计算机组成。该平台提供了磨矿生产过程的控制实验环境,能对综合自动化系统中的控制与优化算法进行研究与改进,并为控制系统的早期开发、解决复杂生产过程的实时控制与优化提供了实验手段。     

基于USDP的软件质量控制

在研究软件质量控制的过程中，CMM是一个很重要的成果。作为一种框架性标准，并不具备可操作性，需要结合一种具体的可操作性过程来实现CMM。在统一建模语言UML的基础上产生了统一软件开发过程USDP。为了达到软件过程控制软件质最的目的。在基于USDP实现了CMM可重复级基础上给出了简化的企业软件过程模型，试图为企业软件过程的确立提供基础。     

6 Sigma 管理在敏捷软件开发中的应用

6 Sigma是过程量化与控制、过程改进的有力工具和有效方法,针对敏捷软件开发方法现阶段在质量管理和过程控制上可能存在的问题,分析了6Sigma在敏捷软件开发方法中应用的可行性和价值,提出了基于6Sigma的敏捷软件开发方法的YfX黑盒模型和白盒模型,并进行DMAIC分析,实现敏捷开发方法的持续改进。     

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

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

基于执行时间模型的航天飞控软件可靠性测试

航天飞行控制软件是一种具有高可靠性要求的软件系统,但是目前对航天飞控软件的可靠性还没有进行定量的度量和管理.尝试将软件可靠性的定量模型应用于航天飞控软件系统的测试过程.介绍了基本执行时间可靠性模型,提出了基于历史失效数据拟合的模型校准方法,讨论了基于基本执行时间可靠性模型的软件可靠性增长测试和可靠性检定测试.     

核电厂DCS安全级应用软件开发的危险分析

为了减小或避免因控制系统软件而导致的核电厂安全性降低的不良后果,提出了对核电厂数字控制系统安全级应用软件开发过程进行危险分析的活动.采用验证和确认的方法,并结合安全保护层模型、预先危险分析方法(PHA)、故障树分析等方法对应用软件开发过程中的系统设计、软件设计、软件实现各个阶段的危险进行分析.通过CPR1000项目工程实践表明,采用验证和确认的方法能有效地减小软件开发过程中的危险以提高应用软件的安全性,从而最终提高核电厂的安全性.     

基于Petri网的实时数据交换软件异常控制设计与性能分析

在航天测控软件系统中,大量存在各种测量数据在软件间进行交换的情况.而数据交换软件的性能又在很大程度上影响着测控软件的质量.在实时测控应用软件运行过程中出现的一些难于查找和确定的问题中,有很多是由数据交换软件引起的.因此,在进行实时测控应用软件设计时,对数据交换软件的性能进行分析是非常必要的.本文首先建立了实时数据交换软件的Petri网模型,然后对模型进行了化简和动态分析,给出了缓冲溢出的异常控制设计,随后采用基于Petri网的方法对数据交换软件的性能进行了定量的分析与讨论.     

基于系统理论过程分析的安全关键软件安全性验证方法

现代安全关键系统的功能实现越来越依赖于软件,这导致软件的安全性对系统安全至关重要,而软件的复杂性使得采用传统安全性分析方法很难捕获组件交互过程带来的危险。为保证安全关键系统的安全性,提出一种基于系统理论过程分析（STPA）的软件安全性验证方法。在安全控制结构基础上,通过构建带有软件过程模型变量的过程模型,细化分析危险行为发生的系统上下文信息,并以此生成软件安全性需求。然后通过设计起落架控制系统软件,采用模型检验技术对软件进行安全性验证。结果表明,所提方法能够在系统级层面有效识别出软件中潜在的危险控制路径,并可以减少对人工分析的依赖。     

软件可修改性在软件开发过程中的控制*

在传统的软件可修改性定义的基础上提出了基于软件开发过程的软件可修改性,确定了垂直软件可修改性和水平软件可修改性的关系和基本度量方法。建立了基于软件开发过程的软件可修改性模型,得到了软件开发过程各阶段中软件可修改性的度量方法,从而为在软件开发过程中控制软件的可修改性提供了基础。     

支持成本度量和过程改进的软件工程环境

描述了如何在软件工程环境中增加面向软件过程的成本度量和成本控制功能。阐述了面向软件过程的成本模型,与产品分解的成本模型不同,提出把可复用的软件过程作为成本度量的对象;介绍了软件过程及成本度量的本体,使得度量的对象和度量数据都有语义背景,并说明如何在软件工程环境下进行成本度量和过程改进,最后给出了功能模块。