LP_m逻辑语义的一种改进

本文指出LPm逻辑存在的一些问题,给出一种LPm的改进形式──LPmin逻辑,它能解决LPm逻辑存在的问题,并对LPmin以及它与LPm逻辑的关系作了初步分析.     

计算机系统的安全与保护

文章概述了关于计算机系统安全方面的知识,全面而又详细地介绍计算机系统安全史上著名的安全缺陷,分析了ＩＮＴＥＲＮＥＴ网虫和通常的安全性攻击,并讨论了操作系统保护机制方面的诸多问题,阐述了保护域的概念以及隐蔽信道的多种形式。     

基于四值逻辑的汉字图像识别方法

采用定义在汉字图像平面上的四值逻辑函数对汉字图像特征进行定量描述,建立汉字图像特征的逻辑表达式。通过求解这些表达式的值,即可判断该汉字是否具有某种特征,从而得到一种汉字图像识别的新方法。     

基于情境的文本中的时间信息分析

情境用来描述文本中具体的动态和静态事件,时间是其重要因素·为了分析文本中的时间信息,本文首先给出了一个基于情境的文本理解的模型,并在时态逻辑的基础上,提出了文本的时间信息分析方法,它是将事物发展变化的时间顺序作为理解文本的一条重要线索·其主要工作包括:讨论了时间的概念、时间的类型和时间单位的转换机制;分析了命题间的时间关系、对象行为间的时间关系以及事件状态与时间过程的关系;并给出了所使用的时态逻辑     

论科学发现的逻辑与认识逻辑

通过整合普通逻辑,可以从类逻辑、整体逻辑与条件逻辑三方面把握科学发现的逻辑程序、机制与过程,科学发现的主轴是类比——归纳——演绎辩证组合的推理链.这是在唯物辩证法指导下,对形而上学方法的知性逻辑成果的按认识过程的整合,科学发现的逻辑就是认识逻辑.普通逻辑修正、改造的新方向,实即黑格尔、恩格斯、列宁逻辑思想所指示的辩证法、认识论在逻辑基础上统一的方向.     

时态逻辑的比较与分析

对时态逻辑的两种重要形式———线性时态逻辑与分支时态逻辑进行了比较和分析,指出它们各自的特点及适用范围。     

可编程逻辑器件的设计过程

描述了可编程逻辑器件ＰＬＤ的设计方法和过程。     

CDPD系统数据传输性能分析

蜂窝数字分组数据（ＣＤＰＤ）是利用现有的模拟蜂窝电话网来传输数据的一种新技术,它有两种信道分配方案,固定信道方案和跳频方案。立足于ＭＡＣ（ 媒质接入控制） 层,通过仿真和计算,对ＭＤＢＳ（ 移动数据基站） 和ＭＥＳ（ 移动终端系统） 之间的数据传输性能进行了分析,得到了数据吞吐量、平均时延以及由于传输数据而引起的话务量损失值     

用解逻辑方程的方法化简互斥多变量逻辑函数

论述了用解逻辑方程的方法化简互斥多变量逻辑函数的问题,并给出由真值表直接求解最简逻辑函数表达式的简单方法。     

基于逻辑分析仪的存储器内容剖析

用逻辑分析仪可以准确揭示存储器的内容,进而对存储器中的数据进行正确的分析判断。对存储器的剖析,将有利于仪器的开发和维护,并根据具体的硬件情况,编制更加合理的软件程序。