数据的链式存储结构

计算机中数据的存储结构有2种,其中链式存储结构是数据在计算机中的一种离散存储方式.这种存储方式能充分利用内存“碎片”,同时数据的插入删除效率高.针对链式存储结构的内存组织做了详细讨论,用C语言描述这种结构的基本运算,并对2种结构做了对比分析.     

硬盘数据逻辑结构及其数据恢复

通过对硬盘数据逻辑结构的分析,总结了逻辑盘区丢失的原因,最后给出了硬盘的修复方法。     

试谈学生算法设计能力的培养

算法设计能力是决定程序水平的关键因素。本文论述了如何在程序设计教学中提高学生的算法设计能力，并提出了从算法设计角度改进程序设计教学的具体做法。     

认知逻辑中逻辑全知问题及其解决方法

分析认知逻辑中的逻辑全知问题及其解决方法,提出一种可以避免逻辑全知的认知 逻辑ＥＬ,并给出其语义公理系统。     

交互时态逻辑下的三种模糊信念算子

前期工作交互时态信念逻辑ATBL仅在二值语义下刻画了三种信念算子,没有探?讨它们的模糊语义问题.利用可信度函数给出模糊并发博弈结构,以模态算子的形式在ATL的语法层面给出了三种模糊信念算子,在模糊并发博弈结构下给出其语义,建立了模糊交互时态信念逻辑FATBL,使得ATBL成为FATBL的特殊情况.对Agent认知形式化作了进一步探索,为多Agent系统研究提供了一个较好的形式化工具.     

Excel2010逻辑函数的应用

excel2010是当前比较先进的办公软件,处理数据的功能强大,界面友好,使用方便。其中逻辑函数可以代替人的思维,帮助人判断是非,给人类的工作和生活带来很大方便。它有七个函数,比较常用的是AND、IF、NOT、OR。使用这些函数批量处理数据,都要先处理第一组数据,然后把第一组数据的处理方法复制粘贴到其他组数据中。处理第一组数据,一般分三步:确定判断结果的显示位置、调用逻辑函数和输入要检测的参数。     

带有约束的缺省逻辑

提出了一种改进缺省逻辑的方法，讨论了这种缺省理论的性质，证明了每个缺省都有扩充，具有半单调性和累积性，并讨论了处理多扩充问题的一种方法。     

BAN逻辑及BAN类逻辑研究

一、引言当用户通过网络进行信息交互时,网络通信的安全性成为人们首要关心的问题.密码协议是建立在密码体制基础上的交互通信协议,利用密码协议可实现密钥的分配和交换、身份认证等.     

剖析三种非经典逻辑的思想来源与特征

论述了概率逻辑,模糊逻辑和不确定逻辑的思想来源;揭示了它们的思想本质特性;比较分析了它们的长处和不足.     

计算机科学的逻辑基础

对数理逻辑在计算机科学发展过程中的作用进行了评述，指出可计算性理论、图灵机数学模型为电子数字计算机的发明奠定了基础；开关电路、时序电路、自动机是网络理论的应用与发展；计算复杂性是递归论的具体应用；形式语言是一阶逻辑的深化；程序正确性证明了应用了模态逻辑；Ｈｅｒｂｒａｎｄ定理和范式定进是机器证明的理论基础。     

逻辑函数化简运算中卡诺图法的特殊应用

卡诺图是逻辑函数化简及运算的有力工具。介绍了用卡诺图对单输出特殊函数的化简以及两输出逻辑函数、多输出逻辑函数的逻辑运算方法，并通过例证说明卡诺图的一些特殊应用，在复杂逻辑函数化简中具有简单、快速、准确的特点。     

新型可编程逻辑器件EPLD的应用设计

可擦除可编程逻辑器件(EPLD)是美国Altera公司于80年代中期首先推出的一类新型可编程逻辑器件.作者分析了EPLD的结构特点,介绍了EPLD器件的应用开发过程及注意事项,最后给出了一个具体应用实例.     

随机逻辑的词义问题

得出了在随机逻辑的词义问题中,标准命题演算系统的每条公理在随机逻辑中都是模糊恒真的,但标准命题演算系统的定理,在随机逻辑中却不都是模糊恒真的。     

模糊逻辑不等式解的讨论

首次在代数([0,1], ,·,-)上提出了“β”算子,研究了“β”算子与“α”算子、“δ”算子之间的关系,得到了判别一般的模糊逻辑不等式解的存在性的充要条件;给出了在有解的条件下求所有解的一个可行方法。     

高等教育科类结构发展的动因探析——以福建省高校为例

高等教育科类结构包括学科结构和专业结构两个层次，其发展规律直接关系到高等教育功能的发挥。高等教育科类结构的发展有其自身的内在逻辑，但同时也受到来自劳动力市场及学校发展等现实因素的制约。     

扰动模糊逻辑中的连续算子

本文提出了扰动模糊命题逻辑的概念,定义了扰动模糊命题的运算,然后将一维模糊逻辑算子推广到二维的扰动模糊逻辑算子中去,提出了扰动模糊连续算子,同时对这些逻辑算子的性质做了较为系统的研究,从而使模糊逻辑的概念及性质得到进一步的推广。