一种基于SystemC的D触发器验证平台研究

当今复杂电子系统更倾向于在更高抽象级进行建模一种基于C/C＋＋的硬件描述语言,SystemC语言变得非常重要,在此介绍了SystemC语言的验证库,以及验证库的顶层设计,接口设计。文章在最后的阶段对D触发器进行了基于SystemC的验证平台搭建,进而展现了SystemC在验证上的优势。     

程控交换软件中多任务系统单任务化研究

本文在比较了用多任务模型描述一个多任务实时控制系统和用单任务消息驱动的方式实现这个系统的特点之后指出：只要给多任务模型作适当的修改和限制，那么多任务系统单任务化是可以自动实现的。这样设计者既可以用多任务模型很方便地描述一个系统，又可以用自动生成的、可以在单任务操作系统下高效运行的消息驱动程序去实现这个系统。根据这个思想，本文定义了Ｄ语言，并给出了Ｄ编译器的主要思想。     

一种多优先级变长调度星载IP交换机交换结构的设计

针对星载IP交换机中硬件资源使用受限的情况,设计实现了一种具有8个优先级、采用指针复制和变长分组调度机制的大容量共享存储交换结构,给出了电路的具体组成、关键调度算法和工作流程.使用Xilinx V4sx55 FPGA实现了完整的8×8交换结构,电路共占用了164K字节片上存储器资源和5982个4输入查找表,可以满足三模冗余设计要求.在系统工作主频为100MHz、片外采用SRAM、数据位宽为64的情况下,交换结构的峰值吞吐率可以达到1.6Gbps;片外采用133MHz DDR存储器、位宽为64时,交换结构的峰值吞吐率可以达到4.25Gbps;该交换单元进行多级扩展后,可以满足10Gbps以上的系统设计需求.     

基于优势关系的启发式属性约简算法

根据优势原理,提出一种具有明确粗糙集理论含义的指标——优势度,用于度量序目标信息系统的协调程度。在证明优势度粒化单调性的基础上,给出属性集重要性度量函数,提出一种基于优势度的序目标信息系统启发式约简算法。该算法与经典粗糙集理论约简有相同的理论基础,易于理解。应用结果表明,该算法适用于优势关系下目标信息系统的知识发现。     

WSRF：连接Web Service和OGSA的桥梁

典型的WebService对状态没有要求,但由此发展出的网格核心体系结构OGSA却要求具有状态性。本文首先对WebService的无状态性进行分析并指出缺陷,接着对在其基础上提出的WSRF进行介绍,其闻引出状态资源的概念,并对WSRF的六个组成部分进行说明。