用复合判断及推理的知识理解和分析判断对当关系及推理

判断之间的反对关系、下反对关系、矛盾关系和差等关系分别与一定的复合判断有着完全相同的逻辑特性，因此，我们可以用复合判断及推理的知识来理解和分析判断对当关系及推理．这样可以帮助人们融会贯通，掌握判断对当关系及推理的有关内容，而且还增强了知识的科学性和系统性．     

3-6岁儿童比例推理、空间类比与近似数量系统的发展及关系

为了探究3-6岁儿童比例推理、空间类比与近似数量系统的发展特点，以及三者之间存在的关系及变化,选取120名3-6岁儿童为被试用“草莓酱任务”“找鸡蛋任务”以及Panamath进行测查，结果发现，3岁儿童就已经具有初步的比例推理、空间类比能力；儿童在3-6岁期间，比例推理、空间类比、近似数量系统随年龄增长而提高；比例推理、空间类比与近似数量系统三者之间相关性显著，但这种相关性在3-6岁阶段随年龄增长而减弱。控制性别与年龄后，3-6岁儿童的比例推理与空间类比可以预测儿童的近似数量系统，比例推理能够调节空间类比对近似数量系统的影响。     

论传统形式逻辑中的关系推理

论传统形式逻辑中的关系推理李小虎在传统形式逻辑（普通逻辑）中，关系推理被确认为是一种独立的推理形式，与直言三段论推理并列，从属于演绎推理。现行的传统形式逻辑教科书，无以例外地介绍了关系推理的内容、其实，传统形式逻辑难以解释关系推理的逻辑性质问题，也难...     

关系推理的形式与本质

关系判断的推理，简称关系推理，它是以关系判断作基础的推理。在十九世纪末才开始受到逻辑学家的充分重视。在此以前，一般传统逻辑学家都忽视对关系推理的研究；有的逻辑学家把关系判断还原为性质判断，从而把关系推理还原为性质判断的推理。但是，事实上关系判断是不同干性质判断的，关系推理也不同于性质判断的推理。我们可以举例说明：a大于bb大于。所以，a大于c这是一个利用‘大于”这个关系的传递性的关系推理。如果把这个关系推理中的关系判断都变成性质判断，那么，就得到，a是大于b的b是大于。的所以，a是大于。的这个推理看起来…     

关于对当关系推理的界定

对当关系推理在逻辑学中一般被作为性质命题直接推理的重要组成部分，但是其推理形式与对当关系推理的内涵并不完全一致，有些推理形式甚至出现在负命题推理部分，存在前后矛盾的现象。对对当关系推理的内涵和外延的重新界定表明，对当关系推理包括性质命题的对当关系直接推理和性质命题的负命题推理两大类型。     

论假言判断变形推理

因果联系作为普遍联系网中的一个“结”构成了假言判断的客观基础．而假言判断之间的等值转换是有规律可循的，依据假言判断的等值转换关系而推出的假言判断变形推理可使假言推理的形式更加易于表述，而现行教材中的假言易位推理只是其中的一种形式。     

一个基于神经网络的测试生成系统

介绍了一个基于组合电路的Ｈｏｐｆｉｅｌｄ神经网络模型的测试生成系统，系统中运用概率松驰搜索算法求解给定故障的测试矢量。实验结果表明了该系统的可行性     

从关系逻辑的观点看直言命题换位律的一般意义

长期以来，人们习惯于把直言命题与关系命题并列起来，并因此把直言命题的推理与关系命题的推理并列起来，似乎它们是不同种类的命题或推理。这在客观上阻碍了人们对直言命题及其推理的深入研究。本文从“直言命题是关系命题”这个观点出发，刻划了换位律的一般形式结构，并以此说明了换位律的一般意义，从而从一个侧面揭示了直言命题及其推理与关系命题及其推理在形式结构上的统一性。     

投资软环境之模糊综合评价

打破传统的评估方法，运用模糊数学，在定性的基础上，通过合乎逻辑的数学推理，有力的数据资料，对投资软件环境作出综合评价。     

对C语言中“‖”和“＆＆”运算符的剖析

在软件开发中,C语言是程序设计语言中使用最广泛的一种语言,它提供了灵活、方便且功能强大的逻辑运算．通过汇编语言剖析C语言中“‖”和“＆＆”运算符的工作过程,目的在于加深对复杂逻辑运算表达式的理解．     

动态交通路网中有效路径的确定方法

给出了动态有效路径的明确定义,并将深度优先搜索的树搜索算法、寻路定向性、层次空间推理策略以及A*算法中的定向估价函数相结合,提出了动态有效路径的一种有效算法.在新算法中通过对交叉口延误的特殊处理,使得城市交通路网中的分向交叉口延误得以充分体现,并有利于将交通导行系统与交通控制系统相融合.同时对动态有效路径搜索在动态车辆路径导行和动态交通分配中的应用作了初步分析.     

一种新的波达估计方法

分析了目前常用的波达角估计算法,研究了等距线阵和圆阵的特点,指出其存在关于横轴镜像对称信号源的空间模糊性,利用等距T型阵克服了这一困难。提出了一种新的基于训练序列波角达估计新算法,新算法基于如下假设:各个信号源的训练序列互相正交,并且各个信号源都是幅度为1的恒模信号。该文给出了新算法的数学推导过程,得到一个简单的波达角估计公式。应用Matlab对新算法进行了仿真,仿真结果表明新算法能够快速、精确地估计波达方向。     

逻辑学视域下的类比推理性质探究

作为一种特殊的推理形式和认知手段,类比推理获得了逻辑学、心理学、语言学和认知科学等多学科学者的共同关注。类比推理的性质探究构成了相关研究的出发点,也确立了逻辑学在类比推理研究中的核心地位。类比推理清晰地呈现出三个重要性质：一是结构上的映射性。具体体现为属性映射、关系映射和系统映射,而系统映射最终决定了能否形成一个有效的类比推理。二是语义上的相似性。类比推理要求源域与目标域的概念在语义上必须是相似的。根据相似性程度的不同,可以分为同域类比和异域类比。三是认知上的语用性。在具体的语境中,说话者在一定的意图驱动下,创建并传达类比推理;听者在一定的认知条件下,准确地接受和理解类比推理。这三个性质可以鲜明地将类比与演绎、归纳及溯因推理加以区分。类比推理的性质探究为类比推理的其他研究奠定了基础。     

基于矩阵奇异值分解的空间谱估计算法

本文提出了一种利用矩阵奇异值分解来作空间谱估计的方法,即对由天线阵获取的数据所构成的数据矩阵作奇异值分解、删除来自噪声的贡献的诸最小奇异值以改善信噪比,并利用噪声奇异向量和天线阵的方向向量正交的性质来计算空间谱。除了奇异值分解算法本身给计算稳定性带来好处外,本方法的谱估计性能和计算量均优于近几年来国外广泛关注的一种谱估计算法——MUSIC算法。本方法可用于高分辨的测向系统中。     

任意设置空间零点的测向方法

波束空间方法是空间谱估计测向问题中的一个重要研究方向。文中提出一种任意空间零点设置的预处理方法，通过空间加权变换形成波束空间，这一方法可以应用于抑制已知信号或干扰，以及任意阵列相干分辨等问题中。此方法得到了模拟实验和系统外场实验的证实。     

MPI环境下的几何定理并行自动推理

将几何定理机器证明和并行计算结合起来考虑,尝试用并行计算方法来提高传统定理证明算法效率,探讨了前推法、数值并行法的并行算法,分析了两种定理证明算法在消息传递编程模型下的任务划分、通信组织、任务调度等问题,并用MPICH2实现了这两种并行算法,对算法的并行性能指标进行了测试,测试数据表明,两种并行算法在基于MPI-2的并行计算环境下,能很好地发挥并行计算的优势,有效缩短构造性几何命题机器证明的时间。     

自适应多波束形成的算法

论述了一种窄带和宽带多波束形成的算法,这种算法所依据的准则是在波束满足指向和振幅要求的约束条件下使阵列输出功率最小。对于 N 元阵列,可同时形成 N-1个独立波束。根据对约束条件的不同控制,利用这种算法可实现波束扫描,形成宽波束、实现干扰对消或旁瓣对消等。同时还给出了所述算法的计算机模拟结果,结果表明所述算法是很有效的。     

基于LD分解的空间谱估计技术

提出了一种基于对阵列协方差矩阵进行 LD 分解的空间谱估计算法。对一大类阵列来说,该算法对空间谱估计方法的工程实现问题具有十分重要的实际意义。文中证明了特殊Hernitian 矩阵 LD 分解的原理,给出了求分解因式的递推公式,然后,由 LD 分解找出的信号子空间,得出了估计信号源方向的空间谱计算公式。理论分析和模拟结果表明,LD 分解和原有的特征分解法相比,更易于用专用数字信号处理片实现,有更小的计算量,需更少的存储单元。     

二维相干信号波达方向判断空间平滑算法

波达方向估计是智能天线的重要功能之一,对于相干信号角度模糊问题通常严重影响了方向判断的精准度.文中根据一维空间平滑基本理论和算法,对二维六边形阵列相干信号MUSIC算法波达方向估计问题进行了理论分析和仿真实验,提出了平面六边形阵列到十字形阵列的变换方法,成功地把一维平滑技术应用到平面六边形阵列,仿真表明,这种变换可以有效地消除相干信号的角度模糊问题.     

反事实假设复句的逻辑分析

反事实假设复句是对客观事实的反面的假设,由假设而生的结果根本不可能实现。对反事实假设复句的逻辑分析就是要揭示出它所蕴涵的逻辑思维形式,即差异推理(求异法)、反证法和比喻推理。据此,反事实假设复句可以揭示事物间的因果联系、论证某个命题和表明说话者的主观态度和情感。