基于Protel99se逻辑门电路的仿真教学

本文利用Protel99se软件对逻辑门电路的逻辑功能进行了仿真，并把仿真结果应用于课堂教学上，使初学者对逻辑门电路的认识更加直观，明确．     

安全协议的自动分析技术

安全协议的形式化研究成为一个热点领域,出现了很多的形式化和逻辑的研究方法.本文对于安全协议方法和技术做了介绍和总结.     

论董仲舒春秋决狱思想的历史逻辑

春秋决狱是我国古代一种有重要影响的断案方式，它在整个封建社会中起着不可磨灭的作用，它的流传和延续与儒家思想法律化存在密切联系，春秋决狱也正是儒家思想法律化最强有力的体现。在整个历史进程中，它有着自身独特的演进逻辑，对儒家思想的巩固和发展有重要的影响，因此，春秋决狱是法律儒家化的重要途径。     

说一种历史逻辑

孟子尊为亚圣,后人没有不知晓的。而与孟子同时代的大学问家邹衍就鲜为人知了。还有苏秦,幸好他有勾连六国、合纵拒秦的事迹才让后人记起,不然也会默默无闻的。可今人哪里知道,当时吃得开的偏偏是邹衍、苏秦之辈,孟子却是备受冷落。当时诸侯割据,战争频仍,一些学问人便游说诸侯,争相兜售自己的学说,以图济世救民。最     

基于CPLD的室内无线红外通信PPM编解码实现

编码调制方式是室内无线红外通信的研究热点之一。本文在比较分析OOK和PPM两种调制技术的基础上，利用MAX＋PLUSII软件平台，设计了PPM调制编解码电路，并进行了波形仿真和硬件下载测试。测试选用Altera公司的EPM7128SLC84-15芯片。测试结果达到了预期的设计要求。     

二叉树非递归周游算法

本文给出了二叉树的一个非递归周游算法。二叉树采有三重链式存储结构，在算法过程中无须逆转链。     

XML逻辑建模研究

XML是互联网未来发展的关键技术之一，其应用越来越普遍。当前对XML的建模主要是物理层面，没有上升到更加高级的逻辑和概念层次，我们需要一种统一的建模方法对XML数据进行高层建模。本文介绍了当前XML逻辑建模和概念建模的几种方法和工具，为XML建模研究提供一定的思路。     

逻辑函数的“复合门”实现

在《数字逻辑》课程中，用“与”、“或”、“非”三种基本运算可以描述命题逻辑中任何复杂的问题。换句话说：不管逻辑电路多么复杂总可以看成是由“与”“或”、“非’等简单门电路组成的。但是，逻辑函数实现时不是用“与”、“或”、“非’门作基本的逻辑单元，而是大量使用“与非”。“或非”、“与或非’门，它们是数字逻辑集成电路系列（74LS00，74LS02，74LS10，74LS20…）的复合门电路。这是因为：“与非”、“或非”“与或非”门中的任何一种，都可以实现“与”、“或”、“非”三种基本操作：一、用“与非’们实现“与”、“…     

码率为2／3的大数逻辑可译二进制突发错误纠错码

采用构造码率为１／２的大数逻辑可译二进制突发错误纠错码的方法，提出了构造码率为２／３的（３ｍ，２ｍ）大数逻辑可译二进制发错误纠错码，该码能够纠正所有长度小于等于ｂ（ｂ＝［３（ｍ－１＋ｈ）／（１２＋ｈ）］，其中ｈ＋［（ｍ－１）１２／１２］）的闭环突发错，模式 由此得出构造此类码的一般方法。     

多路选择器二级逻辑网络设计

首先组合函数的分解方法，然后给出利用多路选择器通用逻辑模块实现组合函数时，获得最小化或接近最小的二级逻辑网络的一种设计方法，该方法容易实现组合函数的计算机自动综合。