逻辑代数的集合图方法

本文提出了一种新的逻辑代数分析方法，集合图法。它兼具代数法与图解法的功能，与传统的卡诺图法相比，具有一些独到的特点。     

一种用于PLC的模拟量／开关量转换电路

本文以可编程逻辑控制器(PLC)在某大型远洋测量船上首次成功的应用为例,提出一种简便、实用、可靠的模拟量/开关量转换电路。     

GAL器件的编程和复制系统的研制

本文在原有破译仪的基础上,研制了GAL器件的编程系统,扩充了原系统的编程和复制功能,使用户能对任何GAL16V8或GAL20V8编程的GAL芯片进行破译、编程和复制,在用户自己的开发环境中设计所需的逻辑系统。     

具有(F(V×V),R,→,■)模糊逻辑模型的稳定性结构

本文利用多边矩阵理论定义的正交性及对称性,给出了一种具有两种因果关系的模糊稳定性逻辑分析模型,这种稳定的逻辑分析模型结构清晰、简单,并且可用于解决许多复杂问题.     

基于时间Petri网的密码协议分析

形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径,但是密码协议的形式化分析研究目前还不够深入.在文中首先对四类常见的密码协议形式化分析方法作了一些比较,阐述了各自的特点,然后用时间Petri网来表示和分析密码协议.该方法不但能够反映协议的静态和动态的特性,而且能够对密码协议进行时间、空间上的性能评估.作为实例,对Aziz-Diffie无线协议作了详细的形式分析和性能评估,验证了已知的、存在的漏洞,并且给出了该协议的改进方案.     

通用阵列逻辑GAL的破译软件

本文介绍与GAL器件破译仪主机运行有关的软件,包括异步通信程序模块、数据的二次处理和逻辑化简程序模块,以及菜单和附加功能程序模块。本文采取了一些措施,使破译时间得到减少。     

关于渐近中位无偏估计的渐近效率(英文)

本文在几种重要的分布族中,给出了渐近中位无偏估计的渐近效率的一种定义。给出了如下一些结果：在单参数族中,提出了构造渐近有效的渐近中位无偏估计的一种方法,在具有共同支撑集的分布族中,论证了渐近中位无偏有效估计与ＢＡＮ估计之间的等价值;而在非共同支撑集的截断族中,对一般的参数向量函数构造了它们的渐近中位无偏估计,并且计算出了它们的渐近效率。     

单片机模糊控制器的软件设计

介绍了用单片机语言进行模糊控制器软件设计的数据结构及其算法,并给出了程序流程．     

一种改进的遗传优化算法在网络故障预测中的应用

模糊逻辑控制器(FLC)模型简明，易于利用专家知识，适应能力强．适用于多输入、具有不确定因素、非线性系统的控制。随着系统复杂度的提高，直观经验获取难度变得越来越大．既难表述，又难使用。本文针对网络系统中故障的预测和诊断问题，将遗传算法与前馈网络结合，提出了一种基于BP的遗传优化改进型算法(RGA—BP)，并与经典BP算法结果作了比较，迭代步骤很明显的减少，精度明显提高。     

可编程控制器在机械手控制中的应用

介绍OMRON CQM1H可编程控制器在机械手控制中的应用,内容包括:机械手的结构、PLC接线图、伺服电机的控制和程序的编制.实验表明:该机械手结构简单、工作可靠,重复定位精度可达到±0.01 mm.