简介：

简介：

简介：考虑了以数理逻辑中的等值演算为工具对一个结构较为复杂的定理的逻辑结构做了分析.这为我们常用的分析命题结构的方法如逆否命题等提供了一个新思路.

简介：介绍了时序逻辑单元和组合逻辑单元发生单粒子效应的机理,以反熔丝型FPGA芯片ActelA54SX32A为实验对象,设计了3种典型的链电路系统。在中国原子能科学院HI-13串列静电加速器上采用Br离子对电路进行辐照实验,在频率为20MHz的条件下,3个链电路的翻转截面分别约为3.268×10-3cm2,7.449×10-4cm2和3.988×10-4cm2。实验结果验证了在0.22μm工艺条件下,时序逻辑单元比组合逻辑单元更加敏感,并且在包含两者的电路中,组合逻辑单元会屏蔽部分单粒子效应。最后,针对电路中不同逻辑单元,给出了两种加固方法。

简介：在无限长逻辑Lω1ω的一个子逻辑L′ω1ω上建立了几个保持性定理.

简介：逻辑推理的方法和探索工具——类比思维若谷数学学习能使人聪明，故人们称数学是“思维的体操”类比思维就是“思维体操”中非常重要，非常关键的一节，著名数学教育家波利亚曾说过：“类比是获得发现的源泉，是最富创造性的逻辑推理方法和探索工具”。实际上，类比是根据...

简介：对谓词逻辑推理中关于量词加免的四项法则重新进行了审定，并讨论了这些法则的使用技巧。

简介：爆炸逻辑网络是用炸药非常规爆轰特性实现的传爆序列，它由多个爆炸逻辑单元（逻辑零门、与门和破坏性交叉通路）组成，主要运用在定向战斗部等常规武器系统中，起引爆控制作用。2005年，研制出爆炸逻辑零门（设计参数间隙L为0．3～2．1）、破坏性交叉通路（设计参数夹角动35°～60°）。但是作为应用技术，爆炸逻辑网络的可靠性关系到整个武器系统可靠性，关系到武器能否准确打击预定目标。

简介：双天线GPS提供的载体姿态信息与惯性导航系统信息进行融合可提高组合导航系统的性能。由于在实际应用中,GPS接收机可能会受到某种干扰无法提供舰船航向信息,从而降低传统卡尔曼滤波器的性能。因而提出了一种新的基于模糊逻辑控制的自适应卡尔曼滤波器。改进后的卡尔曼滤波器使用两个模糊逻辑控制器来调整两个系统的组合模式,并且根据卡尔曼滤波器的内部状态、GPS工作状态和舰船运动状态来计算卡尔曼增益。通过使用INS和GPS的实测数据验证,这种基于模糊逻辑控制的自适应卡尔曼滤波器能有效的提高INS/GPS组合导航系统的性能。

简介：利用函数思想解题西南交通大学附中赵刊成都市农行人教处何虹函数思想是数学领域中的重要思想，它是用运动、变化、联系、对应的观点来分析数学和实际生活中的数量关系的思想。不少数学问题只要站在函数的高度来认识，用函数思想来分析，就能抓住问题的本质。因此，我们有...

简介：

简介：在教学中，经常会遇到条件不明确的问题，学生常顾此失彼，导致少解或漏解，这需要对不明确条件逐一分析讨论、做出正确的判断，这就是物理中的分类思想。

简介：分析了罗素悖论与康托的实数集合不可数证明及康托定理S〈P（S）证明之间的本质性联系，发现康托的这两个非构造性证明与罗素悖论有完全相同的思路，但是康托犯了两个逻辑性错误而使他误用了这个悖论思路。得到明确的结论：康托在集合论中如上两个证明里的核心部分实际上是罗素悖论的翻版，这两个证明中的思路与做法是错误的，这样的证明结果没有科学性。

简介：极限思想是用无限逼近的方式从有限中认识无限，从近似中认识精确，从量变中认识质变的思想．高中教材中多处渗透了极限的思想，如球的表面积和体积公式的推导、双曲线的渐近线、曲线的切线等．随着高中课程改革的进行，高考必将加强对极限思想的考查，本文通过一些创新题来考察蕴含其中的极限思想．

简介：在高中数学学习过程中，我们平常解决的代数问题大多是单变量问题，代数中的多变量问题往往令学生望而却步，因为一些多变量问题用代数方法解决很复杂，以至于找不到解决问题的突破口．高考中往往也用此类问题来压轴，提高试卷的区分度．本文仅从几何化角度来谈谈此类问题的解决方案．

简介：章士藻，江苏省盐城师范学院教授，1940年出生于江苏省海安县，1962年毕业于江苏师范学院（现苏州大学）数学系，先后任职过中学教师，地县教研员与兼职编辑．从1978年起，进入盐城师专（1998年升格为盐城师范学院）工作，是上世纪八、

简介：函数是高中数学的重要知识，它像一根主线贯穿于高中数学的各个章节．新教材在数列这一章节中明确地指出“数列可以看成以正整数集N＊（或它的有限子集{1，2，…，k}）为定义域的函数an=f（n），当自变量按从小到大的顺序依次取值时，所对应的一列函数值．”强调了数列与函数的密切联系．

简介：引文对称是自然界和人类社会中普遍存在的形式之一，是其运动变化和发展的规律之一。站在对称思想的哲学高度来研究，对称可分为两种：即具体事物的对称性如狭义的形（数）对称和抽象事物的对称性如广义的对等性对称。人们在认识和解决具有对称或对等性的问题过程中产生和形成的思想、方法，我们称之为对称思想方法。

简介：<正>问题是数学的心脏,方法是数学的行为,思想是数学的灵魂.不管是数学概念的建立,数学规律的发现,还是数学问题的解决,乃至整个"数学大厦"的构建,核心问题在于数学思想方法的培养和建立.因此,在教学中,我们不仅重视知识形成过程,还十分重视发掘在数学知识的发生、形成和发展过程中所蕴藏的重要思

简介：数列是高中数学的重要内容，也是初等数学与高等数学的衔接点之一，是高考中的必考内容．而数列中蕴含着丰富的数学思想方法，灵活运用它，在解题时优化思想方法，简化解题过程都有重要的作用．下面对高考数列试题中常涉及的数学思想方法进行举例分析．