操作系统安全模型研究

介绍了操作系统的安全机制和几种访问控制模型,在对模型进行比较的基础上,提出采用多种模型相结合的方法,能够满足操作系统保密性与完整性要求。     

操作系统安全模型研究

介绍了操作系统的安全机制和几种访问控制模型，在对模型进行比较的基础上，提出采用多种模型相结合的方法，能够满足操作系统保密性与完整性要求。     

软件过程模型回顾与分析

软件过程模型是软件项目的指导思想和全局性框架,是项目经理进行管理的有效工具.本文回顾了软件过程模型的发展历程,介绍了一些具有代表性的软件过程模型,并通过对这些模型的类比分析,给出了它们的优缺点,最后展望了软件过程模型的发展趋势.     

A taxonomy-based approach to shed light on the babel of mathematical models for rice simulation

For most biophysical domains, differences in model structures are seldom quantified. Here, we used a taxonomy-based approach to characterise thirteen rice models. Classification keys and binary attributes for each key were identified, and models were categorised into five clusters using a binary similarity measure and the unweighted pair-group method with arithmetic mean. Principal component analysis was performed on model outputs at four sites. Results indicated that (i) differences in structure often resulted in similar predictions and (ii) similar structures can lead to large differences in model outputs. User subjectivity during calibration may have hidden expected relationships between model structure and behaviour. This explanation, if confirmed, highlights the need for shared protocols to reduce the degrees of freedom during calibration, and to limit, in turn, the risk that user subjectivity influences model performance.     

“演化原型-瀑布”综合开发模型研究

该论文结合”军校多媒体课程教学管理系统”的研制开发,探讨了一种将传统瀑布模型与快速原型法相结合的开发模式——“演化原型-瀑布”综合开发模型。     

基于领域模型的需求获取方法*

运用领域工程的思想,提出了基于领域模型的系统需求获取方法。该方法可识别应用系统中的共同特征,并抽象这些特征形成领域模型。通过领域模型,引导用户给出完整的系统需求。     

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

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

工作流平台中动态流程模型的研究*

在已有的动态工作流模型——黑盒模型的基础上进行改进,应用可插拔的子流程节点代替黑盒节点,提出了更加容易实现的动态流程模型——DSP(Dynamic SubProcess)模型,并成功地将其应用于网络化集成产品开发项目管理工具的项目中。     

Rule-based update transformations and their application to model refactorings

A rule-based update transformation is a model transformation where a single model is transformed in place. A model refactoring is a model transformation that improves the design described in the model. A refactoring should only affect a previously chosen subset of the original model. In this paper, we discuss how to define and execute model refactorings as rule-based transformations in the context of the UML and MOF standards. We also present an experimental tool to execute this kind of transformation.     

数字城市模型服务系统设计

提出了数字城市建设应当在"数据服务"的基础上向"应用服务"转变,指出了"应用服务"的两个方面:面向公众的信息服务和面向专业领域的信息服务.针时讨论较少的后一种应用问题,设计了数字城市的模型服务系统来支持所需的信息服务.讨论了系统在数字城市应用服务平台中的地位和作用,分析了系统的结构,提出了模型的接口规范和系统的工作流程.最后,对实现的教字城市模型服务系统原型进行了探讨.