从面向对象模型到关系模型

文章首先概述了面向对象模型设计的方法,然后着重讨论了将面向对象模型转换为关系模型及关系模型优化的问题,最后给出一个应用实例。     

信息系统安全风险模型-RC模型

该文首先介绍了信息系统的风险和风险管理,讨论了两个典型的安全风险模型,分析了它们的不足,然后以风险管理为基础,从风险时间变化的宏观角度出发建立了风险模型-RC模型。该模型对信息系统安全风险进行了直观和清晰的描述,对于强化信息系统的健壮性,降低信息系统的安全风险有重要的指导作用。     

UML模型到N层Web模型的模型驱动转换

模型驱动架构(MDA)是由对象管理组织(OMG)提出的应用模型技术进行软件开发的方法和标准体系,其核心理念是平台无关模型建模和平台特定模型转换。通过编程实现基于元对象机制2.0(MOF2.0)查询/视图/转换(QVT)标准定义开发的框架,该框架可以将元模型转换为特定N层应用程序类,实现主要程序功能,从而大大提高开发效率。验证了通过编程实现模型驱动转换的灵活性和功能实现的多样性,包括XML文件对模型规范的描述以及生成代码的完整性。     

分布式水文模型EasyDHM模型

介绍了自主开发的分布式水文模型EasyDHM的空间单元离散方式、主要理论模块及相应的模型软件系统MWEasyDHM。EasyDHM模型的空间离散采用自主开发的通用子流域划分算法,很大程度上扩展了分布式水文模型的通用性,支持多种产汇流算法,支持用户对主要产汇流参数的敏感性分析和参数优化,以优化模型模拟效果,开发了专门的洪水预报模块,支持洪水实时校正及多模型组合预报技术并在嫩江流域使用EasyDHM模型进行了应用验证。     

基于云模型的服务信任模型

针对Web服务中信任的主观性和不确定性等特点,提出一种基于云模型的信任建模方法,并给出了直接信任云、推荐信任云、综合信任云的计算方法及基于时间权重的信任更新算法．同时,该模型运用具体的服务能力评价信息来量化服务的信任度,增强了模型的客观性,使其能较好地量化实体的真实信任水平,提高网络中实体的交互成功率．实验与分析结果表明,该模型在网络环境中具有较好的效果．     

模型管理

序在编写程序长达十几年之后,我有幸成为了一名软件公司的总裁。作为以程序出身、以代码书写人生的IT经理人,很长时间以来,有一个问题让我感到非常困惑：国人在软件方面的聪明才智是举世公认的,从开发出WPS的求伯君到开发出Foxmail的张小龙,我们从来都不缺世界一流的程序员。但在软件行业越来越依靠团队力量的今天,如何组织一群优秀的程序人员去完成大规模的软件项目?     

Simulink模型到Modelica模型转换技术

针对Simulink模型重用到更高阶的Modelica平台上的需求,分析Simulink模型的数学本质和代码表达,以及Modelica对外部函数和外部类的支持,重用Simulink模型转换生成的S function目标C代码,实现Simulink模型到Modelica模型转换.     

使用领域模型构建UML类模型

论述了构建领域模型的重要性以及建立领域模型的方法,并在此基础上指导UML静态模型的建立。     

元模型支持下的模型转换

模型转换是MDA的核心思想,包括模型到代码的转换和模型到模型的转换。文章所提出的模型转换方法用元模型表示转换规则,通过基于图转换的模型转换,最终得到目标模型的元模型表达。元模型支持下的模型转换可以对转换规则进行精确的描述,使转换具有明确的语义,更便于工具实现。     

基于HH模型的心肌细胞电模型

提出了一种心肌细胞电生理模型的建模仿真方法。通过借助Hodgkin-Huxley模型对单个心肌细胞建立细胞膜的等效电路模型,利用四阶Rouge-Kutta算法,研究并分析了心肌细胞膜内外离子电流及电位差变化。然后用C语言完成了对细胞膜等效电路模型的编程,利用Matlab软件平台进行了计算机仿真,得到了心肌细胞电生理学模型在不同刺激下的仿真实验结果。     

数据仓库模型

数据仓库模型在数据仓库中,你可以在两种基本的数据建模方式中选择一种:关系型的或者多维型的。关系模型能够满足数据仓库给定的所有主要需求,最适合用于反映企业的业务规则。关系模型可以被构造成面向主题的,并且能提供支持未来集成的结构。同时,还可以将“时间”这一元素添加到实体键中,从而轻松地处理历史信息。而且,关系型结构能够中立地为所有类型的数据集市提供数据源,而不仅仅是支持OLAP数据集市。     

工作流模型的模型检验技术研究

传统的工作流模型校核方法存在效率低下、自动化程度不高的缺陷,针对该问题模型检验技术被引入工作流模型校核.该文在探讨模型检验技术基础之上,采用UML活动图表示工作流过程模型,根据模型检验技术的要求研究了工作流模型从无限到有限状态空间的转换,对工作流模型检验对强公正约束的要求进行了初步研究,并结合NuSMV分析了如何实施工作流模型检验.该文进一步通过一个案例给出了工作流模型检验的实施,在此基础上该文认为模型检验有助于提高模型校核效率,从而提高工作流模型质量.     

业务模型中的协同模型研究*

针对业务模型中对协同关系描述的不足,详细定义了协同模型,给出了从业务模型中的过程模型抽取协同模型的规则,并阐明了协同模型对业务模型中其他各模型的影响。     

新型智能仿生模型——蚁群模型

智能仿生模型是一种多学科交叉的产物,其发展对很多相关学科的发展具有极大的促进作用.蚁群模型是模拟自然界蚁群系统行为而提出的一种新型智能仿生模型,其研究在短短的10余年时间里得到了飞速发展,已成为很多学科的研究热点.我国在这方面的研究尚没有全面开展,为此从仿生原理及实现途径入手,对蚁群模型的几大模型算法进行了详细介绍,并对模型的发展进行了展望.其次,对蚁群模型的典型应用进行了说明,并对模型的最新应用进行了介绍.最后,通过对其他几种仿生算法的介绍,进行了蚁群算法同粒子群算法、免疫算法及进化算法等的比较研究,指出它们的相同点和差异之处.通过对蚁群模型的全面的介绍,以期促进该模型在我国的发展.     

非线性系统模型参数估计的算法模型

针对非线性系统模型的多样性,提出了适用于多种非线性模型的基于粒子群优化算法的参数估计方法。计算结果表明,粒子群优化算法是非线性系统模型参数估计的有效工具。     

软件配置管理模型

软件配置管理设计软件生命周期过程中文档组织、管理、变化控制等一系列活动。本文首先讨论了配置项的标识、版本信息的存贮技术。并给出了配置标识框架。然后讨论了管理软件配置的层次结构。最后对配置的变化控制作了简单的描述     

UML模型到FSM模型的转换

通常可采用UML的各种图从Web应用不同方面对其进行建模.当对Web应用模型进行测试和验证时,需要分别考虑这些采用了不同图形描述的模型,这就带来了测试和验证的繁琐.如果将UML各种图转换到有限状态机(FSM)模型,则可以统一用FSM模型来表示、验证和测试.提出了基于状态迁移特性保持规则的UML到FSM的模型转换方法,特别针对UML状态图中的3种基本组成单元到FSM模型的转换,给出了各自的转换方法,并实现了原型工具UML2FSM.     

基于Sagas模型的改进事务模型

在Sagas事务模型中,一个长事务是由一个预先定义好执行顺序的子事务集合和他们对应的补偿子事务集合组成的。子事务是按照顺序依次执行的,当其中的某个子事务出现异常时,就逆序执行已提交过的子事务对应的补偿事务来撤销他们的操作结果并退出。这样做会产生三个问题,第一是当一个不重要的子事务出现异常时,就需要撤销全部已提交的事务;第二是事务在完成补偿事务后会退出,而不是选择更有效的执行手段;第三是该模型只支持所有子事务都有相应的补偿子事务的情况。针对这三个问题,提出了相应的解决方案。     

模型驱动架构中的模型转换方法

模型驱动架构是OMG提出的一种新的软件开发方法，模型转换是模型驱动架构中最重要的部分。本文简要讨论了模型转换的概念，并把模型转换方法的结构概括为源模型、目标模型、转换规则库和转换流程控制器四个部分。本文对当前已有的模型转换方法进行了总结和分类，并综合介绍了当前几种主要的模型转换方法，最后对模型转换方法的发展前景做了展望。     

信息系统安全风险模型-RC模型

随着信息技术的发展，尤其是网络的普及，信息系统的安全问题开始引起人们的注意。但是仅仅依靠技术．安全设备远远不能够解决信息安全中遇到的所有问题。信息系统的安全应站在系统工程的高度上来看待，对信息系统进行安全风险管理。