司法独立与逻辑方法论的自治性

汉代思想家王充在其《论衡·感虚》篇中言:“传书言:‘邹衍①无罪,见拘于燕(燕国)。当夏五月,仰天而叹,天为陨霜。’此与杞梁之妻哭而崩城,无以异也。言其无罪而拘,当夏仰天而叹,实也;言天为之雨霜,虚也。”“邹衍叹天而雨霜”,此与以后的元杂剧《窦娥冤》中的“六月雪飞白”的     

基于可编程逻辑阵列的RS232至RS422的串行口扩展电路

介绍了利用可编程逻辑阵列把1路RS232扩展至4路RS422的串行口电路设计方法。该扩展电路不占用PC系统资源，同时具有结构简单，使用方便，通用性和可补性强等特点，可广泛应用于主从式多机通讯系统中。     

在系统可编程通用数字开关ispGDS14的原理及应用

介绍了Lattice公司生产的在系统可编程通用数字开关芯片ispGDS14的内部结构和性能特点，并通过实例说明了在GDS开发环境下对ispGDS14进行编程的方法。     

LED显示驱动器的CPLD实现

给出了一种利用电子设计自动化(EDA)软件对复杂可编程逻辑器件(CPLD)进行设计以实现8位发光二极管(LED)显示驱动器的方法.设计结果表明,用1片Lattice公司的ispLSI1032E(6 000门密度)最多可以驱动12位LED显示器.文中还就如何减少资源进行了探讨,介绍了5种方法.     

计算机高速并行通信的实现方案

利用CPLD芯片实现单片机与ISA总线接口之间的高速并行通信，给出系统的总体设计方法及程序框图。采用这种通信方式，在12MHz晶振的MCS51单片机控制的数据采集系统中，可以满足与PCI04 ISA总线接口实时通信的要求，通信速率达200khit／s。在开发工具MAX plusⅡ下，完成了整个设计的输入、编译和仿真，达到了预期效果。本设计方案能够推广应用到计算机的高速并行通信中。     

基于DSP+CPLD的高精度信号发生器

介绍了基于直接数字式频率合成(DDS)原理的全数字信号发生器(DSP),利用DSP芯片快速、高精度的运算优势以及CPLD芯片灵活的编程逻辑、大容量存储功能的特点,采用通用可编程芯片以及数字波形合成技术,形成高稳定、高精度、高动态的数字合成信号.该信号发生器可产生0～25 kHz的正弦波、三角波和方波,输出电压峰峰值为0～5 V,频率步进1 Hz,幅度步进0.001 V.     

基于PCI总线的高速多路数据传输卡设计

介绍了一套基于外部设备互连(PCI)总线的高速多路数据传输卡的设计,采用基于PCI内核与PCI用户逻辑相结合的新型设计方案,在顶层通过仿真来验证PCI接口以及用户逻辑设计正确与否.降低了设计的复杂程度,提高了电路的集成度和系统的性能,并根据PCI卡对外部设备驱动能力较弱的特点,在传输卡中加入了长线驱动功能,采用低电压差分信号(LVDS)技术,既降低了系统功耗,又实现长距离的计算机双向通信.     

3G认证和密钥分配协议的形式化分析及改进

介绍了第三代移动通信系统所采用的认证和密钥分配(AKA)协议,网络归属位置寄存器/访问位置寄存器(HLR/VLR)对用户UE(用户设备)的认证过程和用户UE对网络HLR/VLR的认证过程分别采用了两种不同的认证方式,前者采用基于"询问-应答"式的认证过程,后者采用基于"知识证明"式的认证过程.使用BAN形式化逻辑分析方法分别对这两种认证过程进行了分析,指出在假定HLR与VLR之间系统安全的前提下,基于"知识证明"式的认证过程仍然存在安全漏洞.3GPP采取基于顺序号的补充措施;同时,文中指出了另一种改进方案.     

从手段上升为科学——用严密的逻辑打造全新的一元防伪体系

世界面临严峻的商品防伪难题 全球每年销售的假冒商品价值高达5000亿欧元，相当于世界贸易总额的7％。假冒伪劣商品的销售早已越过国界，已与艾滋病、贩毒吸毒、环境污染并列为世界四大公害。在中国，随着商品销售、物流水平的不断提高，造假者有了很大的生存空间。     

10MW高温气冷实验堆(HTR-10)燃耗测量系统控制方案的改进

基于10MW高温气冷实验堆(HTR-10)的FCA系统及CFC系统的设计原理及运行规程,在不改变FCA系统原有设备部件的前提下,对FCA系统运行逻辑关系进行了优化,改进了原燃耗测量程序,实现了燃耗测量过程的自动运行及测量结果的自动建库.在此基础上,设计了CFC系统与FCA系统PLC的通信协议,实现了燃耗测量流程与控制系统的实时数据通信.上述改进的结果使得燃料装卸流程不再需要另设运行班组,提高了效率,将人为操作的步骤最少化,降低了误操作的可能性.