UML建模及Together实现

文章首先介绍了UML建模的特点。紧接着，本文介绍了使用Togetlaer进行UML建模的特点。文章最后结合一个给定的实例，描述了如何使用Togetlaer进行UML建模。     

有缺指派下的信念修正逻辑

经典的AGM信念修正理论和以D-P假设为代表的迭代信念修正理论都是以完全指派为可能世界而进行的理论研究.把这些研究推广到有缺指派的领域中与完全指派为每个原子命题符号都指派真假值不同,有缺指派是一个三值指派,它可以为每个原子命题符号指派真、假和不确定三值之一.以有缺指派为可能世界,对D-P系统进行了推广,证明了相应的表示定理.     

油藏经营管理系统的体系结构

在油藏经营管理系统中,为了更好的保证油藏经营数据库数据的安全性、完整性,增强系统的延展性,解决重复开发应用系统的成本以及增加应用系统的重复使用性,需要对传统的分布式结构进行改造和提高,使用包含应用服务器的三层分布式结构.通过对传统的客户机/服务器结构和三层结构的对比分析,说明油藏经营管理系统采用三层分布式结构的原因以及三层架构的设计、实现.     

油藏经营管理软件开发中的协同工作

随着油藏经营管理协同化理念的不断深入,运用现代计算机技术开发油藏管理软件的过程中,各专业学科、各开发成员之间的协同工作显得尤为重要。本文介绍了开发油藏经营管理软件的目标,开发团队的建立,并提出更合理的开发团队工作模式。     

成品油销售企业信息系统运维模式探索

近年来,信息化建设对我国成品油销售企业提升劳动效率、辅助决策起到了巨大的作用。但是,目前,现有的系统运维力量还远不能满足业务链条的多样化,以及销售网络终端不断扩张的需要,因此,企业迫切需要新的运维管理模式。分析了我国成品油销售企业信息系统运维管理的现状及存在的问题,从运维团队的组建、培训体系建设、建立统一受理机制、建立故障跟踪处理机制、运维突发事件应急机制、建立云桌面模式的新型办公环境等方面,阐述了新的信息系统运维体系的建设思路,提出了保证运维质量、经费投入、人员稳定与成长的具体措施,对同类企业信息系统运维具有广泛的指导意义。     

三层分布式架构在油藏经营管理系统中的应用

在油藏经营管理系统中,为了更好的保证油藏经营数据库数据的安全性、完整性,增强系统的延展性,解决重复开发应用系统的成本以及为了增加应用系统的重复使用性,需要对传统的分布式结构进行改造和提高,使用包含应用服务器的三层分布式结构。通过对传统的客户机/服务器结构和三层结构的对比分析,说明油藏经营管理系统采用三层分布式结构的原因以及三层架构的设计、实现。     

认知态的相似性与等价性

以Bochman引入的一种非单调逻辑与信念修正的统一框架——认知态（epistemicstates）为研究对象,讨论其内在的结构相似性与外在推理行为等价性之间的联系。因为两认知态相似无法推出它们之间具有已引入的任一种等价关系,为了解决此问题提出了两认知态拟怀疑等价的新概念和作用于认知态上的算子par（·）。利用有限子语言在原语言上的归约,得到如下的表示定理：任两个纯的有限认知态是拟怀疑等价的,当且仅当它们作用算子par后结构相似。     

实数与二进制编码GA种群多样性统一数学模型

针对GA早熟收敛问题研究中存在的种群多样性定义缺乏统一性和普适性问题,基于GA基因层次种群多样性的本质,建立了实数和二进制编码的GA层次多样性的统一数学模型。首先,将实数编码GA的种群矩阵等效变换成与二进制编码GA种群矩阵相同的形式。其次,定义了类随机变量的概念及其特性指标:数学期望、偏离度以及方差;在此基础上建立了适于两种编码的种群多样性的统一模型,并给出了该模型的进化矩阵和图形化两种表示方法。对GA测试函数的仿真分析表明,该模型可以有效地体现和分析GA进化过程中种群多样性的变化趋势以及各基因位的收敛过程和收敛结果。最后,指出了进一步的分析思路和方向。