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

简介：探究课上，分析、论证有着很强的生成性，然而教学有着明确的目标导向，学生的动态生成和教学目标的一致，理应成为探究课的追求．本文就此谈谈自身的见解，若有不妥，敬请各位行家批评指正．

简介：本文从高校科技工作的内容及其特点入手，考察了高校科研工作过程和科研管理过程的实际运行，分析了这两个过程之间的相互作用与关系，提出了科研工作双过程的论点，为高校科研管理的科学化提供理论依据。

简介：我们知道,数学中的命题,除少数几个公理以外,都是要经过证明,才能确定其真实性的。证明是由三部分组成的,即论题、论据和论证。论题是其真实性需要确定的那个判断或命题;论据是用来作为根据的论证论题的真实性

简介：

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

简介：

简介：底片是射线检测的评判依据，但是容易受到环境的影响而发生变化（发霉、污损）；生产中大量的底片也不便管理和查阅。将底片数字化，可以实现无失真存储，稳定性高，更便于交流和分析，利用数字图像处理技术可对缺陷进行定量分析。

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

简介：本文利用物理学中的流体力学和相对运动知识对喷气式雨刮器的实用性进行论证。针对三种不同的喷气方式分别进行了分析,结果表明,喷气式雨刮器的三种喷气方式都无法完全去除汽车前车窗的雨水。

简介：本文论述了基础研究选题中的创新性、需要性和协作性等三个原则．这也是提高申请质量的三个措施．

简介：介绍了时序逻辑单元和组合逻辑单元发生单粒子效应的机理,以反熔丝型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ω上建立了几个保持性定理.

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

简介：应用Onshell方法研究带缺陷的二维光子晶体,缺陷的引入使得原来不透电磁波的禁带中,出现了缺陷模,即某一频率的电磁波可以透过,计算表明缺陷模的频率与透过率随着缺陷的性质及缺陷两边的层数而改变

简介：随着涡流检测技术的不断发展，不仅要求准确检测出缺陷，且还需对缺陷进行定量、定性评价。涡流检测中阻抗信号变化是进行缺陷检测和定量分析的依据：测量或计算缺陷的阻抗信号，称为涡流检测的正向问题；从阻抗信号推断出缺陷的定量定性特征，则是逆向问题。借助于有限元模拟方法，对涡流检测时的正向问题进行了求解计算；利用傅里叶变换和神经网络方法，对涡流检测时的逆向问题进行了分析。

简介：数字图像处理技术的应用，有力地促进了缺陷定量分析与射线检测的自动化。但大多数射线检测图像噪声大、对比度不高、存在较大的背景起伏，缺陷图像的准确分割、提取则成为实际应用中的难点和关键。射线图像中缺陷的存在，在其邻域形成灰度差异；可由边缘检测方法得到相应的边缘点（奇异点）。在图像边缘检测中，一般认为在较大空间尺度（边缘检测模板）下能可靠消除误检，得到真正的边缘点，但不易对边缘精确定位：在较小尺度下对真正的边缘点定位比较准确，但对噪声敏感，误检的比例会增加。多尺度小波分析的引入，可得到比较满意的结果。用不同的小波基分析同一个问题会产生不同的结果，因此小波分析在工程应用中的一个十分重要的问题是如何选取最优小波基。双正交小波基具有紧支性和线性相位：紧支性表明不需做人为的截断，应用精度很高；线性相位可避免信号在分解和重构时的失真；小波基连续可微，这对于有效发现信号的奇异点是必要的。

简介：针对实际库存管理中的产品缺陷问题,研究了含随机模糊缺陷率且允许缺货的经济订购批量（EOQ）模型,并运用随机模糊理论将其转化为确定模型,设计了随机模糊模拟仿真算法进而确定了其最优订购策略.数值算例分析了缺陷率对最优订货量和最优利润的影响.

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

简介：摘要201X年X月，公司在开展年度春季变电站电力设备定检工作时，检修公司电气试验班到新疆某750kV变电站做设备预防性试验等各项技术监督、检测工作、试验后发现220kV户外隔离开关回路电阻出现超标现象，引起隔离开关触头发热现象，经检修人员检查，隔离开关机械尺寸均符合厂家要求，在对隔离开关回路电阻超标问题进行试验分析论证探讨后，找出了隔离开关回路电阻超标的主要几个原因。本文对隔离开关回路电阻超标问题进行了分析论证，并提出了相应的处理措施，以有效提高电网安全和供电可靠性，避免巨大的安全事故和财物损失。