船舶通信网无线接入协议研究

本文提出了一种适用于船舶通信网的无线接入协议--基于优先级的时分多址协议（PTDMA）,它允许节点通过捎带预约的方式动态申请时隙,并采用基于优先级和网络负载的动态时隙分配算法分配时隙.此外,它还保证节点动态接入和退出.仿真结果表明,该协议有较好的网络性能     

构件软件回归测试用例选择策略

软构件技术虽被广泛应用于软件系统的开发中,但其测试问题并未得到很好地解决．系统构建者对外部提供的构件内部结构及其变更信息缺乏了解,很难选择出与构件变更相关的用例用于下一轮的测试．分析已有回归测试技术的不足,提出了两种改进的回归测试策略：一种是基于增强的构件版本变更信息的方法;另一种则是基于内建式测试设计的方法．通过对几个实例程序的实验分析,初步证实了所提出的方法在实际应用中的可行性与有效性．     

基于元数据和UML的构件测试用例生成技术研究

概述了构件及其测试技术的基本概念和特征,并在对元数据的基本概念和含义进行概述的基础上,使用UML方法给出了相应的元模型,根据上述模型的具体概念描述了UML用例到测试用例的映射方法。构造了构件元数据的组成元素,给出了嵌入该元数据后的测试模型。详细描述了用上述方法实现的一个实例——学生成绩管理构件,并针对该实例的应用提出了相应的测试框架,最后给出相应的结论。     

支持实时数据库的L树研究

数据常驻内存是支持实时应用的数据库管理系统获得高性能的一种可行技术。Ｌ树吸取了ＡＶＬ树和Ｂ－树的优点，既有较高的空间利用率，又有较好的动态性能，不失为支持实时数据库数据组织的一种好的方式。本文介绍Ｌ树的构成及插入、删除和修改操作     

实时数据库系统时限实现机制

实时数据库系统的基本要求是系统具有描述和实施事务时限的能力。本文给出实时数据库系统中的触发器机制，使系统具有实施时限的能力，同时具有主动性。文中详细讨论了触发器的结构和探测器、监控器的实现原理。     

一个专家系统设计工具的演绎求解技术

EXTOOL是我们基于扩展PROLOG之上设计的一个专家系统工具语言.本文详细介绍了该工具语言演绎求解实现中的控制、数据基、回溯和合一、不确定性的描述、组合及传播的具体技术.     

BBS搜索引擎设计与实现

BBS是教育网的一大特色,也是传统搜索引擎搜索的盲点,本文系统介绍了根据教育网BBS的特点建立BBS搜索引擎的关键技术和实现方法。     

不完备信息系统规则获取的矩阵算法

对象信息的不完备性是从实例中归纳学习的最大障碍.本文定义了限制非对称相似关系,并将经典的可辨识关系矩阵加以扩充,定义了限制非对称相似关系下的可辨识关系矩阵,采用布尔推理方法,直接从不完备决策系统中提取规则而无需改变初始不完备信息系统的结构.实验结果表明,所获得的决策规则简洁、高效,与缺省值无关.     

实时构件合成的语义研究

实时构件合成是实时应用系统中软件合成的基础，是实现软件复用思想的软件生产活动，其语义研究从实时构件的反射式语义模型、实时构件合成的适配性验证和合成构件的语义规约机制三个方面展开，规约为实时构件合成中的分析理论。     

一种基于依赖分析的并发程序潜在死锁检测算法

死锁是并发程序特有的一种运行时错误,由于并发程序在执行时的不确定性,死锁的检测和定位是非常困难的.本文提出了一种基于依赖分析的并发程序潜在死锁检测算法,该算法是一种静态分析算法,能检测并发程序中是否存在潜在死锁,并能定位死锁发生时各线程可能被挂起的语句节点.本文给出了算法的形式化定义和时间复杂度分析,实验测试结果表明算法是正确且有效的.