摘要：在文献[1]的基础上,对多Agent系统协商模型基于时序逻辑的方法进行了设计,给出了其形式化体系结构,同时给出了该模型的推理规则和授权规则。

摘要：为了解决射线法不能有效地判断点在复杂多边形内或外的问题,根据射线与多边形边界相交的特性,分析射线所经过的多边形的不同类型顶点,提出了对顶点数加1、加2和加3的运算方法。通过判断交点个数的奇偶性,改进了射线法,并给出了计算模型和算法的详细步骤,简单有效的将现有的射线法扩展到更复杂的多边形中,能准确的判断点与多边形的位置关系。4种不同算法对比分析结果表明,该算法能解决其它3种算法存在的问题,并且在简单多边形和复杂多边形中都是有效的。

摘要：系统地分析RLR算法模型的优缺点,证明阶铰链亏损函数是凸函数,且满足2/2≥,变换模型框架中的亏损函数,采用减少上下界差距的策略选取参数,由证明阶铰链亏损函数满足+<2+进而得到新的算法。实验结果表明,该算法是有效的,最后讨论可继续研究的课题。

摘要：当前,在语义Web中,基于OWL的知识表示、知识推理成为了研究和应用的热点。给出了常用软件本体的设计方法、规则定义和谓词扩展,并介绍了常用软件领域知识发现系统的总体模型。

摘要：以分布式应用程序体系结构描述语言(distributed application program architecture description language,DAPADL)为基础,介绍用Visual C++6.0实现DAPADL自动生成MIS的转换系统。给出分布式应用程序体系结构描述语言的设计思想和语法,主要包括过程部分、网络部分、网连部分;另外给出基于DAPADL自动生成MIS平台的总体设计方案,并阐述了相关算法和技术的基本思想;从实体完整性、域完整性、参照完整性、用户定义完整性方面介绍DAPADL的数据完整性描述。

摘要：简要介绍TinyOS 2.x和TinyOS 1.x的联系和主要区别;分析了TinyOS 2.1的仿真环境TOSSIM系统结构和仿真原理。针对目前TOSSIM还不支持能量监测这一问题,以一个监测移动物体运动的仿真程序为例,通过在仿真程序中检查仿真节点的剩余能量比率的办法,提出一种基于节点的能量监测模型。经过仿真验证,该模型能有效监测到全网各节点能量状况,并能估计网络的生命周期。

摘要：作者在早期的分布式应用程序体系结构语言研究工作中 [1 - 3] ,对数据的完整性约束仅限于关系约束和域约束上的一些特殊情形 ,并为此建立的专家领域模型只是对域值的主关键字是否为空值进行检查 ,并给出域的缺省值定义 [4 ,5] 。文章基于关系数据模型理论对数据完整性进行了深入的研究 ,并对分布式应用程序体系结构语言 (distribute applying program architectonic language,简称 dapal)做了扩展、设计 ,对数据完整性进行形式化描述 ,使之能根据实际应用领域对关系模式的数据完整性约束进行描述。

摘要：数据流图是软件设计开发过程中概念模型设计的重要图形表示法 ,作为一种需求分析的通用方法它直观而且简洁。文章对数据流图设计一个形式化描述语言 ,并给出示例说明此语言的使用 ,将图示的数据流图以语言的方式进行描述。用该语言可对用户需求进行语义描述 ,以此获取用户需求的知识。研究的目的既给用户提供易于理解需求分析的方法也为下一步的逻辑设计提供依据。

摘要：随着通讯、互连网以及移动技术的发展,数据广播逐渐成为一种流行的数据传播方式。在结合了数据广播和传统的客户/服务器模式优点的基础上,产生了新的数据传播方式,基于需求的数据广播。设计基于需求的数据广播系统的关键在于广播调度算法。本文介绍了基于需求的数据广播的系统结构和性能衡量标准,并分析了基本的广播调度算法,抢占式调度算法以及实时调度算法。

摘要：在软件工程中 ,软件开发的基础工作是用户需求的获取与分析 ,而数据字典是用户需求说明书的重要组成部分。本文首先介绍了数据库设计过程中所涉及到的用户需求分析 ,对此进行了详细的说明。其次 ,给出了数据字典的形式化语言 ,并对其中的细节给出了必要的说明。通过对用户需求进行分析 ,并用此语言对其进行描述 。