软件设计中的模块依赖研究

针对软件开发中的模块依赖提出了一种新的模块间依赖模型。新模型的关键思想是依赖是由规范调节的,这样不仅记录了依赖的存在,而且记录了依赖的质量。单个模块不一定只提供单个规范,每个依赖模块可以通过不同的规范使用它。这种依赖的概念比传统的概念更容易解释一些常见的编程习惯用法,并为分析和设计提供了新的评价体系。     

基于UML类图的类之间依赖关系图论问题研究

首先简单介绍了UML的类图,并细分类之间依赖关系为数据依赖和方法依赖,在此基础上,将UML类图转化为有向依赖图,并依据图论理论来分析和研究了有向依赖图的性质和特点,证明了有向依赖图不是自反的,也不是反自反的;既不是对称的,也不是反对称的;不是传递的。     

基于依赖图的信息流图构建方法*

信息流分析法是一种有效的隐通道搜索方法,用信息流图来描述系统中信息流的流动情况。直接基于系统源代码生成系统信息流图,由于信息流的传递关系,会引进大量系统中不存在的信息流路径。利用程序依赖图先处理系统信息流中的传递关系,然后再进行信息流图的生成,从而减少引入系统中不存在的信息流路径,减少信息流分析时的工作量。     

基于描述逻辑的带依赖属性UML类图

分析基于描述逻辑的统一建模语言(UML)类图形式化方法的研究现状和存在的问题,提出一种基于描述逻辑的带依赖属性UML类图的形式化方法。研究带依赖属性UML类图的数据属性依赖、行为属性依赖和全局属性依赖的描述逻辑形式化问题。给出带依赖属性UML类图向描述逻辑知识库转化的方法,以及带依赖属性UML类图知识库可满足性定理及其正确性证明。     

基于函数依赖图的关系模式规范化方法

在关系型数据库设计过程中。关系模式规范化是关系型数据库逻辑设计的重要步骤。按关系模式的范式定义进行规范化存在不便于操作,分解构成效率低。本文提出了一种以函数依赖图为基础的图示化关系模式规范化方法。实例说明,利用这种方法进行关系模式分解。具有分解过程直观和效率高等特点。     

一种系统依赖图的面向对象扩充方案

提出一种对传统的系统依赖图进行面向对象扩充的方案.把传统的系统依赖图和类依赖子图、类层次子图相结合,从而构成了适合描述面向对象程序的面向对象系统依赖图.详细说明了对系统依赖图进行面向对象语法、语义扩充的过程,同时给出了构造面向对象系统依赖图的一般算法以及应用分析.     

一种利用指向组合优化依赖图构建的方法

指针的动态性使得程序分析中一个指针变量往往被认为有多个可能的指向目标,构成多个指向关系。现有的依赖图构建方法虽然较全面地考虑了指针的多指向性,但并未考虑指向关系之间的可组合性,因此精度上仍存在许多不足。为此,提出了一种利用无效指向组合优化依赖图构建的方法,新方法可以排除现有方法所不能识别的伪依赖,从而有效地提高依赖图的构建精度。     

面向对象软件系统的一种度量方法及其应用

在面向对象系统分析和设计过程中，类的设计质量直接关系到软件系统质量。首先对类之间的关系进行了分析、说明和定义，并分为横向关系和纵向关系，给出了横向关系和纵向关系度量与质量评价，并在此基础上给出了改善类设计质量的方法。     

构造面向对象系统依赖图技术研究

本文分析了现有面向对象图形表示方案存在的问题,在此基础之上,提出了基于波动效应分析构造面向对象系统依赖图的方法,通过引入波动效应分析,来完善面向对象程序的语义和减小构图的复杂性,在波动效应分析的基础之上,构造类图、改造面向过程的系统依赖图,结合两个图来描述面向对象程序。通过类图描述不同类之间的关联关系和类的内部定义,在类图中表达过程依赖,改造面向过程的系统依赖图用于表达控制依赖和数据依赖。文中给出了计算波动效应和构造系统依赖图的算法描述。     

一种新的属性图重叠聚类挖掘算法

属性图各节点附有的节点属性标签,为节点提供了更加丰富的信息,在数据挖掘应用,特别是数据聚类问题中如何有效利用这些丰富的信息,已经成为开展此类研究的研究目的.不同于传统图聚类,属性图上的聚类要同时考虑图的结构信息和节点的属性信息,因此如何平衡两者之间的关系,这是属性图聚类主要关注所在.目前已提出的属性图聚类算法,部分算法的效率很高,然而聚类质量较差,同时一些算法可以得到较好的聚类结构,然而算法消耗大量的系统资源,效率也较低.这些算法均没有考虑簇之间存在重叠的情况,这导致无法得到更高精度的聚类结构.因而提出一种属性图上的重叠聚类挖掘算法,实验表明,提出的算法可以得到更高的聚类精度,特别是可以提升聚类内部节点的属性相似度.     

COMPLIANCE VERIFICATION OF AGENT INTERACTION: A LOGIC-BASED SOFTWARE TOOL

In open societies of agents, where agents are autonomous and heterogeneous, it is not realistic to assume that agents will always act so as to comply with interaction protocols. Thus, the need arises for a formalism to specify constraints on agent interaction, and for a tool able to observe and check for agent compliance with interaction protocols. In this paper we present a JAVA-PROLOG software component built on logic programming technology, which can be used to verify compliance of agent interaction to protocols, and that has been integrated with the PROSOCS platform.     

AOP程序控制流图的生成方法

面向方面编程AOP(Aspect Oriented Programming)为开发者提供了一种机制来描述横切关注点.它能够自动地将横切关注点织入到面向对象的软件系统中,从而实现了横切关注点的模块化.然而AOP这种对横切关注点封装、织入的独特性为分析程序结构带来了困难,对传统的程序分析技术提出了新课题.通过分析AOP程序的特殊性,提出了基于AspectJ构造AOP程序控制流图的方法.该方案可以为AOP程序的理解、验证、测试以及重构提供控制流分析平台.     

一种用于网络管理的基于逻辑的Policy定义语言

Policy被越来越多地应用于大型分布式系统的管理，提出了一种基于逻辑的Policy定义语言LPDL，定义了LPDL的语法，运行模型和语义，为基于Policy的网络管理提供了一种形式化的框架，LPDL具有简单的语法规则和与图灵机等价的计算能力，管理人员可以根据实际需要，灵活地将系统的解释决策功能用LPDL语言定义成Policy或封装在系统物理实现现代码中，最后给出了基于LPDL的网络管理模型及其原型实现和应用，表明LPDL能很好满足网络管理动态发展的需要。     

一种基于中间件的可信软件保护模型

软件的可信性是可信计算的研究热点之一。首先描述了可信计算平台和可信平台模块的基本概念,接着结合安全中间件和可信计算模型,在现有的PC体系结构下,提出了一种具体的基于中间件的可信软件保护模型,着重介绍了新模型的体系结构和系统组成,最后通过实例对软件保护机制进行了详细的说明。新模型具有通用性强和易于实现的特点,对于软件可信性保证的研究以及软件可信保护系统的建立具有一定的意义。     

一个并行程序辅助开发工具*

NucAPPT是一个基于任务分配和通信规划启发式算法的并行程序辅助开发工具．它由任务分配器、通信规划器、通信表和通信语句生成器4部分组成．它不仅能保证处理器间数据通信的正确性，减小处理器的通信等待时间，而且能简化并行程序的编制过程，提高所编并行程序的质量．     

基于检测点设置依赖图和属性表的卷回恢复算法

为了解决检测点设置过程中的Domino效应问题及卷回恢复过程中的活锁问题,并最大限度地减小时间开销,提出了基于检测点设置依赖图和属性表的卷回恢复算法。同以前的算法相比较,该算法一方面节省了用于进程之间同步的时间开销,另一方面检测点设置及卷回过程中涉及少量的相关进程。对该算法的正确性进行了证明。     

一个线性的启发式图搜索算法

本文描述了一个能够改善启发函数的启发式图搜索算法。它利用搜索过程中的信息,改动启发函数 h,保持搜索树上始终满足单调限制条件,使算法的最坏复杂度从 B′的 O(N~2)(L.Mér(?),1984)降为 O(N)。本文还证明了新算法的可采纳性、线性的复杂度,并同算法 B′作了性能比较。     

基于ORACLE环境的报表生成工具的设计

本文提出了报表信息的本质三个不同层次上的数据约束。一方面通过定义数据约束就可以定报表，另一方面，根据数据约束就能够生成报表数据流。基于这种思想我们在ＯＲＡＣＬＥ环境下开发了一人表生成工具。     

面向图形的构件依赖关系的描述方法

对CORBA分布式应用中构件间依赖关系的描述和依赖关系的动态更新进行了较详细的分析.在此基础上提出了一种面向图形的构件间依赖关系的描述方法,该方法把基于CORBA的分布式应用的体系结构视为一张逻辑图,在图上预定义一组操作,这有助于构件间依赖关系的描述和应用系统的动态配置.同时在CORBA之上实现了一个原型,概括地介绍了实现方法.     

关节式移动机器人在斜面上基于模糊逻辑的运动控制

本文针对关节式移动机器人在斜面上运动时稳定性和安全性的要求对其进行动力学分析 ,利用传感器融合技术对机器人进行局部定位 ,提出了它的基于模糊逻辑的控制策略 .实验证明这种方法是可行的和有效的