斜梁内力和挠度的模糊计算

本文定义了具有不同论域的模糊集与通常函数的乘积、乘积的导数积分,给出了具有相同模糊特性的模糊荷载的数学表征。导出斜梁所受模糊外载、模糊内力和模糊挠度之间的基本模糊关系。通过引入不同论域的模糊集的加法,讨论了在不同模糊特性的模糊荷载作用下模糊挠度的计算,并给出两个算例。     

轧制道次对SAC305合金焊料焊接性能的影响

目前SAC305预成型焊片大部分依赖进口,主要原因之一是国内SAC305的轧制生产工艺尚未成熟.论文系统论述了SAC305的轧制工艺,为SAC305预成型焊片的产业化生产提供理论依据和技术支持.论文对SAC305合金的压下规程进行了设计,并在室温下按设计的压下规程进行10道次轧制,使用金相显微镜和扫描电子显微镜(SEM)研究了不同轧制道次下对SAC305合金的表面形貌和厚度的影响,并分析了轧制10道次时样品的焊接性能.结果表明轧制道次为10道次时,样品的抗拉强度、屈服强度、延伸率变化在合理范围内,平均最大润湿力为3.41mN,以上指标均已达到SAC305预成型焊片的轧制带要求.     

关于SAC/2的表处理系统

SAC/2是成功的公式处理系统之一。中国科学院数学研究所已成功地将它移植到FIX—512机上。[2]我们着重从系统内部实现的角度对SAC/2作了分析,试图弄清它的系统结构和主要算法实现的要点;此工作将有利于对该系统的维护和进一步开发利用。     

浅析数学中的逻辑思维能力

逻辑思维能力，就是运用形式逻辑及辨证逻辑的思维规律和方法来形成概念，进行判断、推理等思维活动的能力。逻辑思维能力主要包括：判断能力、逻辑推理能力、数学建模能力以及对数学解的分析能力。     

元数学对计算机的一些启示

元数学是一门数理逻辑方面的学科,其主要研究对象是数学本身的矛盾性问题但是,由于元数学的研究空间是在一个形式化的体系中,因此,它所采用的各种研究方法以及考虑问题的思维模式必定会给我们的计算机科学的发展带来一些启示,甚至在某些与形式逻辑相关的领域如计算机语言的设计、人工智能等方面,还会起到一定的指导作用.     

军网身份鉴别协议形式化分析

形式逻辑是一种抽象的逻辑证明工具,密码协议的形式逻辑证明技术日趋得到重视,人们采用形式逻辑分析方法发现了许多协议中存在的安全缺陷,它的实用性已经得到了充分证明。本文对目前较为常用的形式逻辑分析方法——BAN逻辑的形式化分析理论进行了介绍,在此基础上对军网身份鉴别协议进行了BAN逻辑描述,并对协议的安全性进行了理论分析与证明。结果为协议能正确传递鉴别双方的信任关系,协议设计上不存在冗余步骤。     

变论域模糊PID控制在微电网MPPT中的研究

针对微电网中光伏系统具有非线性、数学模型不确定的特点,分析了现有光伏电池最大功率点跟踪(MPPT)控制方法的优点和不足,采用变论域的思想,应用了变论域模糊PID算法,设计了实现MPPT的二级模糊控制器.由第一级模糊控制器确定输入论域伸缩因子来改变第二级模糊控制器的输入论域,并在MATLAB/Simulink中搭建仿真模型.仿真结果表明,变论域模糊PID控制能够快速、准确地跟踪光伏电池的最大功率点,基本消除了振荡现象,提高了光伏电池的工作效率和系统稳定性.     

元数学对计算机的一些启示

元数学是一门数理逻辑方面的学科 ,其主要研究对象是数学本身的矛盾性问题 .但是 ,由于元数学的研究空间是在一个形式化的体系中 ,因此 ,它所采用的各种研究方法以及考虑问题的思维模式必定会给我们的计算机科学的发展带来一些启示 ,甚至在某些与形式逻辑相关的领域如计算机语言的设计、人工智能等方面 ,还会起到一定的指导作用     

变论域模糊仿人智能控制

从优化模糊控制器的角度出发,讨论了变论域思想和伸缩因子的概念,同时就量化、比例因子和伸缩因子的关系进行了分析,在此基础上将模糊和变论域思想相结合,形成变论域模糊控制结构;进而将其与仿人智能控制相结合。为防止由控制量切换引起的系统扰动,引入比值切换方式;为消除系统余差,引入智能积分开关。最后通过对工业常见二阶时滞系统进行仿真研究,表明该方法达到了预期目的,性能明显高于未改进的仿人智能控制。     

射频天线黄铜振子感应钎焊气孔缺陷

借助高频感应加热设备,采用测量钎料在母材表面的铺展面积的方法,分析了Sn-3.0Ag-0.5Cu(SAC305)、Sn-58Bi和Sn-17.0Bi-0.5Cu(SBC1705)三种高粘度(180 Pas)焊膏在黄铜表面的可焊性.并通过无源互调(Passive Intermodulation,PIM)测试和X射线检测,对比了SAC305和SBC1705焊膏焊后黄铜振子的PIM值和焊点气孔率.结果表明:高粘度SBC1705焊膏在黄铜表面的可焊性最好,其次是Sn-58Bi焊膏,最后是SAC305焊膏;SBC1705焊点气孔率1%,而SAC305焊点气孔率为5%~7%,两种焊点气孔率都在25%的合格范围内,但SBC1705焊后振子的PIM测试结果比SAC305焊后振子的PIM测试结果更稳定.综合生产成本考虑,高粘度SBC1705焊膏更适合射频天线黄铜振子的感应钎焊工艺.     

从两种变项及其差异看两种逻辑的本质

从传统逻辑变项的特征看,传统逻辑语言是自然语言的语法语言,所以传统逻辑本质上是自然语言的形式逻辑。传统逻辑只注重对自然语言的语法分析,而忽视对自然语言的语义分析,这就不能不产生其所特有的缺陷：一是拘泥于自然语言命题的表层形式,二是命题形式的语义不清。从数理逻辑变项的特征看,数理逻辑语言只是表意符号语言,而不是自然语言的语法语言,所以数理逻辑本质上只是符号逻辑,而不是自然语言的形式逻辑：首先,数理逻辑最多只能用来解释自然语言的逻辑涵义,而不能用来解释自然语言的形式结构;其次,即使是对自然语言作语义解释,数理逻辑也是难以胜任的。     

哈尔滨近代建筑装饰的形式运算系统

为了深入探究特定历史时期建筑装饰的艺术表现,以及建筑装饰形式中所蕴涵的数理逻辑,以哈尔滨现存近代建筑的装饰形式为主要对象进行研究.通过对近代建筑的调研结果,用逻辑和数学的概念来分析和说明形式思维的发展过程,运用数学逻辑以及符号语言作为工具,对调研实例作了结构性的分析,提出相应的结构模式.研究发现,建筑装饰的形式系统中群、格和群集运演协调组成了装饰形式的结构整体,进而揭示了认知结构在审美领域重要的同化和调节作用.     

试论法律逻辑的学科性质

目前，学界对法律逻辑的学科性质众说纷纭，莫衷一是。归纳起来，主要有形式逻辑分支论、应用逻辑分支论和理论法学分支论3种。在我国，虽然理论法学分支论最近才有个别学者以模糊的语气谈及，并且一经提出便遭到许多学者的质疑，但经过分析，就会发现，理论法学分支应该是法律逻辑的最佳归宿。     

芝诺悖论中的逻辑和形而上学

芝诺用以构造悖论的逻辑是论辩术,是形式逻辑的前身。他从能被思维的是能存在的形而上学(本体论)原理出发,认为矛盾在逻辑上是不可能的,从而建立了感性与理性的"二律背反"。芝诺悖论都是建立在这个"二律背反"基础上的,它是产生芝诺悖论的总根源。芝诺把作为思维科学的逻辑推广到整个宇宙,把知性思维的认识推广到理性思维领域,将逻辑矛盾等同于辩证矛盾,进一步取消辩证矛盾,从而以理性否定感性,否定事物的矛盾和运动的存在。     

体育课的教学目标设定与学生的学习积极性——以南通纺织职业技术学院篮球选项课教学为例

采用文献资料、问卷调查、数理统计、逻辑分析和访谈等研究方法,对篮球选项课的教学现状进行调查与分析,并结合现状提出了篮球教学模式改革的具体建议与措施,为体育教学的改革与发展提供理论与实践参考。     

命题逻辑定理证明的一个普遍能行算法

本文以等值置换为推理规则，以交换律、结合律、分配律、吸真律和排中律为公理建立一命题逻辑形式系统。在此基础上给出一机器能行算法，把排中律等值置换成任一重言式，证明任一命题逻辑内定理。也引申出命题逻辑定理证明的一个可信性问题。     

数理逻辑思维方法及在艺术设计中的运用

数理逻辑思维方法在艺术设计中历来有广泛的运用,一般体现在比例、数列、尺度、模度等方面.本文主要分析了几种数理逻辑思维方法及在艺术设计中的应用.     

也谈“静”的逻辑与“动”的逻辑的关系——基于“矛盾观”教学的思考

被称为“静”的逻辑的形式逻辑与被称为“动”的逻辑的辩证逻辑,二者既对立又统一。虽然在研究对象、适用领域以及产生依据等方面有所差异,但二者之间密切相关、互为补充。“静”的逻辑是“动”的逻辑的前提和基础,“动”的逻辑是“静”的逻辑的动力和目的。形式逻辑作为“静”的逻辑,既不是形而上学的世界观,也不存在被辩证逻辑彻底否定的可能。青年学生要正确认识两种思维工具的重要性,自觉树立“动”“静”结合的思维方式。     

一阶谓词逻辑在人工智能知识表示中的应用

用一阶谓词逻辑的形式语言讨论了自然语言的形式描述、数学知识的形式表述、在人工智能中智能行为过程的描述等。总结用一阶谓词逻辑的形式语言表示具体知识的步骤，以及这种知识表示法的局限与应当进一步研究的问题。     

从语言到逻辑——范畴类型逻辑序列

范畴类型逻辑序列是近30年来语言和逻辑交叉研究的重要学派,是对自然语言的计算机处理影响很大的形式语义理论。该理论把自然语言的生成毗连看作是范畴的运算和推演,据此构造自然语言的语句系统,并确立直接或间接的语义解释。另一方面构造范畴推演的逻辑系统,并配备可能世界的模态语义解释。范畴类型逻辑的研究成果可以直接应用于自然语言的计算机信息处理,也可以应用于汉语的形式语义理论研究。