GATEST:使用遗传算法自动生成模拟矢量的验证平台

对硬件设计进行功能验证的一个关键问题是需要大量的模拟矢量来保证验证的充分性。本文针对Verilog语言,采用遗传算法(GeneticAlgorithm,GA)作为解决方案,设计了一个使用遗传算法自动生成模拟矢量的验证平台GATEST。该平台的一个特点是,根据指定的关键信号使用数据流分析产生关键路径集合,并采用基于该集合的路径覆盖率作为适应度函数引导模拟矢量的生成。使用该验证平台对北大众志-863系统芯片的功能模块进行实验,并详细分析了不同控制参数配置下的实验结果,说明该平台具有一定的有效性。     

IMM理论在超低空探测与跟踪上的应用

以超低空防御为背景 ,以防御系统雷达和红外传感器的融合为主线 ,运用概率互联理论和交互式多模型理论对超低空目标的探测和跟踪问题进行了仿真。经仿真认定 ,该理论不仅可用于目标的探测和预警 ,也可用于导弹的跟踪和制导     

《公共关系学》实施双语教学的探索

《公共关系学》是一门新兴的边缘性,交叉性学科,是学校社会工作专业的必修课程,《公共关系学》的特点决定了只有开展双语教学,才能更好地达到教育培养目标.文章就学校《公共关系学》的教学现状,认真分析了开展双语教学的必要条件,并提出了具体的实施对策.     

BloomRouter： A Framework for Dissemination of Compressed XML Stream

As our best knowledge, in the Publish/Subscribe application environment, few research work has been done on the dissemination and routing of compressed XML （extended markup language） data. A high-speed compressed XML data routing and dissemination framework BloomRouter is proposed. In BloomRouter, a Bloom Filter based prefilte ring mechanism is used to filter out compressed XML elements that users do not care; after that an interval tree dis seminator forwards target elements to the corresponding end users by matching the incomming compressed XML elements with indexed users＇ query regions. Based on this framework, we can efficiently filter/query the compressed incoming XML data, and then route the query result to the corresponding subseriber.     

对信息时代艺术创作的思考

在利用信息化的语言诠释艺术理念的今天,艺术是否依然能够保留其原始的内涵和质朴的特征成为人们关注的热点。本文通过分析新时代艺术的若干特点,指出经典艺术面临的挑战。倡导艺术家积极应对信息化浪潮的冲击,用新的思维方式推动新世纪中华传统文艺的复兴。     

Integrating Multi-Source Web Records into Relational Database

How to integrate heterogeneous semi-structured Web records into relational database is an important and challengeable research topic. An improved model of conditional random fields was presented to combine the learning of labeled samples and unlabeled database records in order to reduce the dependence on tediously hand-labeled training data. The pro- posed model was used to solve the problem of schema matching between data source schema and database schema. Experimental results using a large number of Web pages from diverse domains show the novel approach＇s effectiveness.     

信息安全技术的研究

针对信息安全在计算机发展中的重要性,提出了在位图文件中隐藏信息的方法,深入研究了隐藏载体的结构和改变位图最低比特位的算法,并通过编程予以实现,为信息安全技术提供参考。     

DEA方法中输入输出项目的选择和数据处理

讨论了数据包络分析(DEA)中输入输出项目的选择和数据转换，Cooper，Seiford和Tone曾给出了有关DEA中输入和输出项目的选择要求，但在实际应用中相当一些问题的输入输出项目的选择不符合该要求，因而不能使用此方法，经过分析，其中一部分问题可以通过数据转换而满足DEA时每个决策单元的输入和输出项目选择的要求，使用这样的数据处理方法，可以拓宽DEA的应用范围，论文具体阐述了这种类型的项目选择和数据处理方法，并讨论了逆DEA中输入输出变化量的选择问题。     

卸载Linux系统的解决方案

本文通过实例介绍用FDISK、DEBUG等实用而又古老的工具卸载Linux操作系统的方法。     

产品数据管理系统实施方法学

提出了产品数据管理系统的实施概念 ,并从系统工程角度提出了产品数据管理实施的策略 ,给出了的产品数据管理系统的实施步骤和技术路线 .探讨了产品数据管理的实施方法 ,并将该方法成功地应用于实际的产品数据管理系统的实施过程中 .