互逆主义逻辑中的逻辑命题

互逆主义逻辑对命题进行了严格分类,认为命题可分成不同级别、不同阶次.同时互逆主义逻辑的多层逻辑思想揭示了各类命题之间的内在关系,最高层即二层逻辑主要用于处理最高级别的逻辑命题,这是经典逻辑所不具备的功能.互逆主义逻辑还提供多种方法帮助证明命题的真伪,周氏图就是其中经常使用的方法之一.     

用MSI实现任意逻辑函数的设计方法

本文介绍并提出几种使用 MSI 的逻辑设计方法.这些方法具有普遍性和适用性,应用这些方法不论是组合逻辑问题还是时序逻辑问题均可使用最少的 MSI 实现任意给定的逻辑函数.     

降维卡诺图在逻辑函数中的应用与实践

介绍了降维卡诺图的概念、表示及其化简逻辑函数的方法.特别是在用数据选择器设计组合逻辑函数的过程中,利用降维卡诺图的方法构造相应的逻辑函数、实现其逻辑功能,具有灵活、方便、不容易出错等诸多优点.     

论数学中逻辑与历史的统一

本文论述了逻辑的方法与历史的方法在数学中是相互渗透,相互补充,相互转化的.提出了在数学中辩证地处理逻辑方法与历史方法之间的关系,即逻辑与历史的统一方法,并阐明这一方法在数学研究和数学教育中的重要作用.     

概 率 逻 辑 学 习 概 述

在归纳逻辑编程研究的基础上, 给出了概率逻辑学习的一种形式化定义框架. 根据不同概率逻辑学习方法在实例表示和概率定义上的不同, 讨论了3种概率逻辑学习框架： 解释学习、 证明学习和蕴涵学习; 并据此对现有的典型概率逻辑学习方法和系统进行了分析和概述.     

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

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

偏好语境下的序逻辑

为了解决偏好逻辑语境中的先后关系问题,需要引入集合论中的序关系的概念,从而构成序逻辑.采用状态消减、关系变化和关系分割的方法,给出了序逻辑的公开宣告、字典序更新和偏好更新三个动态行动,更多的行动可以采用类似的方法进行分析,最基本的观点就是对基础语言的解释.序逻辑在动态偏好逻辑中具有重要的作用和意义.     

展开定理与逻辑函数不同表示形式的转换原理

为探索逻辑表达式、真值表、卡诺图等几种逻辑函数表示形式之间的转换原理,分析研究了基于展开定理的对逻辑函数按变量展开的最小项表达式,给出了逻辑常量0、1取值和最小项的各个变量出现形式的对应关系,逻辑函数最小项表达式和真值表及卡诺图的对应关系,揭示了逻辑函数各种表示方法的内在联系,从而完善了逻辑函数表示方法的理论原理.所述方法,有助于逻辑函数的分析、变换方法的研究,具有较好的实用性.     

基于粗糙集的组合逻辑优化算法

运用粗集理论对逻辑函数进行知识表达的方法,提出了基于粗糙集的组合逻辑优化方法,并给出了相应的算法.通过对20变量以下的组合逻辑标准Benchmark-89,91和93相容逻辑矩阵例题进行了检验,结果表明此算法是正确的,并具有显著的化简效果.     

命题作为博弈的求真表示

在Giorgi Japaridze引入的可计算性逻辑中,提出了将命题作为博弈,命题的真值由博弈结果得到的基本思想.本文通过引入环境状态概念,给出了命题求真过程的形式化表示方法.基于这样的处理,利用从命题逻辑到模态命题逻辑的研究方法,我们可以研究模态可计算性逻辑、线性时序可计算性逻辑、以及行为时序可计算性逻辑.     

半张量积方法在齐次κ值逻辑控制网络同时镇定中的应用

探究齐次κ值逻辑控制网络的同时镇定问题.利用逻辑函数的矩阵表达和矩阵的半张量积方法,先将每个κ值逻辑控制网络转化成一个离散时间的动态系统.然后,给出齐次κ值逻辑控制网络同时镇定的充要条件.     

用化质变换求逻辑式的全体质项

<正> 从逻辑式的析取标准形式出发化简逻辑式,一般采用逻辑等值公式对给定的逻辑式进行恒等变形,或者把给定的逻辑式先化为析取范式,再从范式出发进行化简.采用前一种方法,可用的公式较多,而且演算的过程缺乏明显的规律性.采用后一种方法,手续比较繁琐,先化简为繁,后化繁为简.鉴于逻辑式的最简式的所有加项必须是该逻辑式的质项,若能求出一个逻辑式的全体质项,则从中选出最简的组合,就能求出它的最简式.求一个给定的逻辑式的全体质项只需要采用两个简单易记的公式,而且其演算的手续遵从固定的程式.因此,其演算过程显得较为简单.但是,这一结论需要证明,而已有的证明方法(注)艰涩难懂.本文试图对这一证明作适当地改进.     

模式识别理论中的逻辑特征方法

本文提出了一个新的模式识别特征方法——逻辑特征方法。这个方法不同于经典的模式识别方法:统计特征方法和句法结构方法。在逻辑特征法中,决定模式特征匹配状态的只有“是”或“非”,而不象统计特征和句法特征那样有匹配程度之分如“远”或“近”。逻辑特征有两个重要特性。1.多个逻辑特征可以链接在一起做为逻辑特征向量,这个逻辑特征向量可以做为索引匹配的索引号而对模式进行直接和索引分类。2.逻辑特征还可与其他特征共同使用,其中逻辑特征将做为标志。亦即只有逻辑特征匹配了,才能用其他特征进行匹配程度的计算。     

竞争冒险的计算机处理

用手工作业方法,发现与消除逻辑网络中的竞争冒险现象,现已不适应形势的需要.本文针对此,提出利用计算机自动发现与消除逻辑网络中的竞争冒险,从而提高逻辑网络的可靠性.文中提供的源程序业已调试成功.     

论法学话语的构造

法治事业的进程要求法学话语形成自己独立的理论逻辑和学术品格,为法治国家建设提供理论支持.文章认为,自由理念是建构法学话语的基础;法律上的人是法学话语的逻辑起点,概念方法、逻辑方法、原则方法是法学话语建构的基本方法;法学话语的形式化是其最明显的特征.     

支持动态重构的制造系统逻辑控制器设计方法

支持动态重构的制造系统可通过组元升级、组态调整形成新的生产能力和功能,针对制造系统混流生产、快速重构的特点,其逻辑控制器也必须适应这一要求.提出了一种基于可重构Petri网的制造系统逻辑控制器设计方法.首先,根据制造系统的加工控制需求建立逻辑控制器形式化模型;其次,根据系统重构方式给出网重写规则;最后,逻辑控制器根据重写规则动态重构自身结构以适应新的生产需求.制造系统的变化通过重写规则可快速、自动重构成新的系统逻辑控制器并且其行为特性是可判定的.实际应用证明了该逻辑控制器设计方法的有效性和正确性.     

时序逻辑网络的矩阵分析

本文是前文所述数学方法在时序逻辑网络分析方面的应用.利用矩阵布尔代数运算与逻辑函数方程的最小项展开,本文给出了时序逻辑网络状态转移矩阵的计算方法以及状态方程和输出方程的矩阵解法.这些方法易于在计算机上实现.     

卡诺图法化简六变量逻辑函数

探讨了用卡诺图化简六变量的逻辑函数的方法及相邻项的正确判断。指出了用卡诺图法化简多变量逻辑函数与少变量逻辑函数之间的差异,并用该方法对六变量逻辑函数进行了实例化简分析.     

基于忆阻器的多路复用器设计与实现

结合忆阻器蕴含逻辑和非蕴含逻辑的运算特点,设计2-1和4-1多路复用器电路并提出其实现方法.利用蕴含逻辑和非蕴含逻辑自带"或"和"与"运算的特性,对多路复用器的逻辑表达式进行等价变换,运用2种逻辑的迭代运算实现2-1和4-1多路复用器.同时,通过调整逻辑执行的顺序提高忆阻器单元的复用率和精简操作流程.HSPICE仿真实...     

面向多任务调度的可重构算法设计

针对在单个逻辑芯片上实现多任务的应用场合,设计了面向多任务调度的可重构算法,以此提高逻辑芯片的资源利用率和任务的响应效率.详细描述了面向多任务调度的重构设计原理,并针对逻辑芯片中多任务的调度种类分别设计了逻辑芯片的重构调度算法,最后选取了多个典型的任务进行对比测试.测试结果表明,使用重构算法之后的逻辑芯片在资源占有率和任务响应延迟上均优于传统的逻辑芯片设计方法.