面向高级综合验证的数据流图提取技术研究

该文主要讨论高级综合系统RTL(register transfer level)级综合结果正确性验证策略的确 定及验证系统设计中DFG(data flow graph)逆向获取算法的设计与实现.算法主要包括4个处 理阶段：FSM(finite state machine)动态分析及控制输出获取;FSM当前状态下数据通道有 效元件分析;数据通道结构到DFG操作结点转换;DFG结点间数据依赖关系分析、共享寄存器 变量分离及有向边的形成.     

XML文档结构定义规范-XML Schema

介绍了XML文档结构定义规范－XML Schema 规范及其组成部分，并通过一个典型示例说明了XML Schema的特点,对XML Schema应用及前景作了预测。     

关联规则增量更新算法研究

该文研究了关联规则更新的第一类问题,即数据库记录增加时的关联规则更新问题。首先,该文讨论了现有的FUP算法的基本思想,然后在此基础上对其进行改进,提出了改进的FUP算法EFUP,给出了具体实现方法。最后在不同方面针对EFUP与FUP算法进行了实验比较,说明了EFUP相对于FUP算法的优点。     

一个可处处中断的LOCK和UNLOCK算法

一般的锁操作中Ｌｏｃｋ和Ｕｎｌｏｃｋ语句需作为原语整体实施，即主要要求加锁的锁状态检查和加锁动作不可中断，与一般的锁操作法不同，本文给出一个可以处处被其他进程任意中断的锁操作Ｌｏｃｋ和Ｕｎｌｏｃｋ的算法，并通过其在异构数据库系统中的一个应用，阐明了它在实现互斥操作和并发控制等方面的实用价值。     

OFDMA系统保证服务质量的分组调度算法

在正交频分多址接入系统中采用正比公平算法可以兼顾吞吐量和公平性,有效地提高系统性能。结合正比公平算法,该文提出一种应用于正交频分多址接入系统保证服务质量的分组调度算法。为防止需求速率高但瞬时信道状况差的用户分配过多的子载波,算法使用了动态变化的权重因子。在一次调度过程中,剩余子载波的权重因子可以随着子载波的分配而更新。仿真结果证明,在满足实时业务服务质量的前提下,该算法比正比公平算法具有更好的公平性。     

传感器网络中一种基于质心的分布式成簇算法

在LEACH的基础上,提出了一种适合无线传感器网络的基于质心的分布式成簇算法——CDCS。在CDCS中,每一个节点首先基于最优簇首概率popt自主确定自己是否为临时簇首。然后临时簇首根据收集到的簇内节点信息,确定簇内近似质心,并由此动态调整簇内结构,使得调整后的簇内通信总能耗尽可能小。理论分析和模拟实验表明,CDCS在保持LEACH算法简单性的同时,可以获得比LEACH更好的性能,优化后的簇首选择策略可以在不同场景下有效延长网络生存时间达32%~38%。     

Web日志挖掘中数据预处理的研究

针对框架式页面存在的问题,对数据预处理过程进行了改进,在数据清洗和用户识别部分添加了页面过滤部分,同时对预处理过程中的页面过滤算法和用户识别策略也进行了改进。     

Ad hoc网络中一种基于稳定的网格多路径路由算法

移动自组网络的路由算法往往采用传统的单路径路由方式，每次路由发现泛洪都会伴有大量路由包的丢弃以及路由负载和路由延迟的增加，大大降低路由算法的性能。为解决这些问题，提出了一种基于稳定的网格多路径路由算法SGMR.该算法充分利用网格中节点的位置信息，有效限制路由查询包的泛洪区域，并结合预测策略和节点不相交路径策略来选择多条稳定的节点不相交路由。模拟结果显示，与传统的单路径路由算法LAR和AODV相比，SGMR算法可以有效提高数据包投递成功率，降低路由平均延迟和路由负载。     

OFDMA系统实时业务分组调度算法

在移动通信系统中,常见的调度算法在处理实时业务时一般为信道状况好的用户分配过多的资源,而信道状况差的用户获得的调度机会相对较少。为保证实时业务的延迟要求,并兼顾不同用户间的公平性,基于正交频分多址接入系统,提出一种实时业务分组调度算法。在调度过程中,采用丢弃过期数据包的策略节省了系统资源。对信道状况好的用户采用较大的调度间隔,并采用高阶的调制编码方案将累积的数据包在一个调度间隔内发送,从而给予信道状况差的用户更多的调度机会。仿真结果证明,提出的算法能较好的满足实时业务的延迟要求,相对于改进的最大权重延迟优先算法和正比公平算法提高了用户间的公平性。     

智能设备的通用测试

根据计算机监控系统的特点，用VB6.0开发通用的计算机监控系统测试软件。该软件既能充当主控机，又能充当受控机，还可用来破译通讯协议，可靠性高，实用性强，可广泛应用于智能设备的测试及计算机监控系统。同时，对Microsoft的MSComm通讯控件中的bug作了修正。