大变量逻辑函数最佳覆盖问题研究

逻辑函数的最佳覆盖，一直是逻辑综合领域的关键环节。尤其是大变量逻辑函数最佳覆盖，对复杂的逻辑综合更为重要，但也更加困难。本文在对逻辑覆盖算法研究的基础上，提出了适合大变量逻辑函数最佳覆盖的Beister改进算法。经过大量算题的测试表明，改进的列覆盖算法在时间复杂度和选择效果方面均优于Beister算法。     

基于VSM的自适应信息过滤系统的研究与设计

为了从网络动态信息流中获得感兴趣的内容或过滤掉无关的垃圾信息,设计了一个基于向量空间模型的自适应信息过滤系统;描述了该系统的结构和工作流程;对该系统实现的关键技术,包括文本表示、用户模板与过滤阈值初始化、特征项选取、自适应过滤算法、模板更新和阈值调整等进行了深入的分析和研究。     

C＋＋目标对象的抽象与并发控制

C＋＋作为一种面向对象程序设计语言具有非常强大的功能。文章描述了C＋＋面向对象程序设计语言中实体描述（数据抽象）以及程序（进程）的并发控制。     

积项集合的补集算法

在逻辑综合的领域内,经常使用求给定积项集合补集的过程。本文提出一个单边逻辑函数积项集合的求补算法,求补操作是通过选取函数矩阵的列覆盖进行的。与传统求补算法相比,该算法大大节省了计算机时间和内存空间。     

巨大变量组合逻辑设计优化软件的研究与设计

采用不同优化算法和机器处理方法来缓解机器资源对巨大变量组合逻辑综合问题的限制。介绍了软件系统设计的技术途径。以此形成的巨大变量逻辑优化软件，其输入、输出变量之和达到300。该软件通过了组合逻辑电路的benchmark例题测试。其优化效果的平均输入输出之比为0．652。     

基于网格的流媒体服务QoS管理框架及实现

流媒体服务是Internet上一类高带宽需求和高实时性约束的应用，对服务质量（Quality of Service，QoS）有较高的要求。流媒体服务的发展导致传统的QoS管理框架难以适应平台的异构性和复杂性。本文提出了一种基于网格的流媒体服务QoS管理框架，为由异构的系统构成的流媒体服务提供集成的、平台无关的QoS管理机制。在谈框架的基础上，我们设计了一个基于网格的流媒体服务QoS管理系统。     

几种网络拓扑搜索方法的分析研究

文中旨在帮助人们在不同的网络拓扑要求和网络条件下选取合适的网络拓扑搜索方法。通过对网络层次、实用范围、拓扑粒度等方面进行分析比较，发现每种方法都不能对网络中所有设备完整准确地搜索，均各有其适用的范围、优点和局限性。若不能发现详细准确的网络信息，仅对网络的增长感兴趣，可选用基于DNS协议路由表的拓扑搜索；而用于发现网络中的主干拓扑，反映网络的整体状况，可选用基于SNMP协议网络拓扑搜索；对网络设备均支持OSPF协议且能动态地检测和报告网络拓扑的局部变化，可选用基于OSPF协议的网络拓扑搜索。所以在实际应用中应根据需要将多种技术有选择地结合来共同完成。     

远程教育系统问题的研究与实践

中国的教育在近年内飞速成长,教育需求正呈几何级数递增。基于Internet远距离教育突破了传统远距离教育中教学诊断和反馈的瓶颈问题,具有广泛的发展空间。     

二叉决策图在逻辑综合中的应用

二叉决策图(BDDs)是布尔函数的一个表示方法,最近它被广泛应用于逻辑综合、布尔电路的模拟和测试等领域.在这些应用中,有些基本问题需要解决,其中包括电路图到决策图的转换.本文提出一个转换的方法.文中分两步叙述,首先是对无扇出电路的转换,然后是对有扇出电路的转换,最后把两者结合为一个通用算法.     

积项集合的补集算法

在逻辑综合的领域内，经常使用求给定积项集合补集的过程。本文提出一个单边逻辑函数积项集合的求补算法，求补操作是通过选取函数矩阵的列覆盖进行的。与传统求补算法相比，该算法大大节省了计算机时间和内存空间。