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

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

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

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

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

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

Service Model for Multi-Provider IP Service Manadgement

In order to solve the problems associated with Internet IP services management, a generic service model for n multi-providcr IP service management is proposed, which is based on a generalization of the bandwidth broker idea introduced in the differentiated services （DiffServ） environment. This model consists of a hierarchy of service brokers, which makes it fit into providing end-to-end Internet services with QoS support. A simple and sealable mechanism is used to communicate with other cooperative domains to enable customers to dynamically setup services connections over multiple DiffServ domains. The simulation results show that the proposed model is real-time, which can deal with many flow requests in a short period of time, so that it is fit for the service management in a reasonably large network.     

Architecture of Multimedia Proxy Caching over the Internet

Streaming media data have strict delay and loss requirements, which cannot be adequately supported by the current Internet. Proxy caching technology is introduced to alleviate the effect of the bottleneck bandwidth on the transporting quality. A new architecture of multimedia proxy caching is given to solve the problem of the traditional Web caching technology for the multimedia streaming. The mixed media management module and the resource management module are added to this architecture, the prefetching and replacement method is studied considering the characteristics of streaming media data, the concept of weighed popularity is given to enhance the exactness of the replacement algorithm.     

New Clustering Method in High-Di mensional Space Based on Hypergraph-Models

Clustering of datain alarge di mensionspaceis ofa great interest in many data mining applications .Clustering methods have been studiedin several areasincluding statistics , machine learning and data min-ing. Most of the algorithms are effective whenthe di-mensionality of the datais relativelysmall .But ,theseschemes tend to break down when the di mensionalityof the datais very high.There are several reasons[1].First ,it is not trivial to define distance measure in alarge di mensional space .…     

多媒体工程数据库管理系统

在以工程数据库为核心的发动机ＣＡＤ系统中，工程数据库管理系统（ＥＣＡＤ－ＥＤＢＭＳ）除管理图形和数据外，还能提供文字、声音、图像、影像等信息媒体的管理操作功能，为ＣＡＤ系统中多个子系统开发和发动机设计者提供多媒体支持环境，提高工作效率．     

Clustering with Weighted Hyperlink and Sub Similarity Matrix

Now, effectively searching web page becomesmore and more critical as the online information con-tinues to overload the web. Asolution is to make areasonable web page clustering analysis . But there isanother problem,because we must find out the webstructure and page hyperlinks , especially si milarityamongthe pages . At the same ti me ,there are someother very i mportant information such as the i mpor-tance of each page ,page content and so on[1 -3].Hyperlink analysis has already been applied …     

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

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

基于数据流的近似查询计算及其应用研究

通过分析基于实化聚集视图的查询重写方法，将相关的查询计算理论与数据流的查询相结合，针对数据流的特征，给出了一种具有广泛应用前景的基于数据流的近似查询计算方案。