FSM状态间逻辑条件检验的算法研究

有限状态机(FSM)是VLSI控制结构的一种映射,它的自动综合成为设计自动化的一个十分重要的环节和途径。本文讨论在FSM自动综合中输入阶段的状态间逻辑条件检验的问题,研究分析状态间逻辑条件检验的相互关系及影响,并提出了FSM状态间逻辑条件检验的优化算法,从而使时间复杂度降低,实现更加简便。最后,本文给出了优化算法的流程和一些实验结果,结果令人满意。     

PLA测试产生方法概论

PLA以其独特的优势和规整的结构,越来越广泛地应用于复杂的VLSI系统的设计中,它的测试问题由于其难度和特殊性受到普遍的重视。十多年来,许多研究人员专注于PLA测试方法的研究,提出了不少解决问题的办法。本文试图在讨论PLA的故障类型及其故障模型和检测关系的基础上,归纳总结并分析现有的PLA故障测试生成的几类主要方法,以飨读者,切磋商讨。     

VPN隧道消息序列的建立和关闭

Virtual Private Network（VPN）是近年来网络研究的一个热点，其中隧道是VPNN的核心技术，建立好了隧道就建立好了VPN，隧道消息序列是VPN的信息传送方式，从客户端请求到服务器端的接收，建立消息序列的传送连接，消息传送完毕后，关闭消息序列，消息序列的关闭和开启过程复杂，掌握好这一过程，通晓各个步骤的含意，能够使VPN更快捷地在工程中得以应用。     

路由器到路由器VPN试验网的组建和测试分析

介绍了VPN隧道技术PPTP，路由器到路由器VPN试验网的设计和搭建，以及用到的测试工具，并捕获PPTP数据帧。通过协议和数据帧分析，对实验网进行了性能测试。介绍了PPTP控制连接消息，分析和验证了PPTP控制连接过程、PPTP数据帧封装方式，加密方式及加密协议CHAP，具体分析了一个捕获的GRE报头，对报头的每一位进行了分析，进而验证了GRE报头格式，并分析了这种网络结构的安全性，最后给出了实验结论。     

基于数据挖掘的学习者身份异常检测

行为模式通常反映了人们的行为习惯和特征.该文针对在线学习系统,利用数据挖掘中的分类算法和关联规则算法,对学习者留下的行为项,进行模式挖掘.并提出了一种分类预测与关联检测相结合的身份验证方法,能有效鉴定学习者身份的真实性,最后给出相应的实验结果及分析.     

网络数据传输技术及实现

本文根据一个网络数据传输的实际应用例子,讨论在VLSI数据库管理系统中网络数据传输的问题,研讨和分析了解决该问题的策略,并给出了一个比较合理,可行且使用方便的数据远程传输技术,同时描述了该技术的实现方案和具体流程。     

PLA故障测试生成

本文在讨论和分析现有PLA测试生成方法的基础上.综合比较了这些方法的各个特点,针对PLA测试的特殊性,提出了一个折衷的简洁、易理解、易实现的PLA测试生成算法──析优法的思想,以及合理的各种具体要求和启发式措施,便于增强算法的效率,并在VAX-11/780上用PASCAL实现。该算法还能辅助PLA的设计、验证和进行PLA可测试性设计的指导。     

VLSI数据库系统的物理设计和实现技术

在VLSI芯片的设计过程中,所牵涉到的设计数据的数量是巨大的,数据库管理系统则起着十分重要和不可替代的作用。本文依据VLSI设计过程的特点和要求以及设计数据的类型与特征,研讨适用于VLSI CAD系统中的数据库管理系统的物理设计和实现问题,同时给出一个实际设计的VLSI数据库系统的数据模型和组织方式以及物理结构。     

小灵通短消息高速过滤中心研究及实现

目前小灵通短信市场业务繁荣的背后,一些虚假、骚扰、黄色、反动的垃圾短信愈演愈烈.通过分析垃圾短信的特点,提出一种过滤垃圾短信的方法.