简介：介绍了时序逻辑单元和组合逻辑单元发生单粒子效应的机理,以反熔丝型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）证明之间的本质性联系，发现康托的这两个非构造性证明与罗素悖论有完全相同的思路，但是康托犯了两个逻辑性错误而使他误用了这个悖论思路。得到明确的结论：康托在集合论中如上两个证明里的核心部分实际上是罗素悖论的翻版，这两个证明中的思路与做法是错误的，这样的证明结果没有科学性。

简介：介绍了由可编程逻辑器件集成的数字预滤器(prefilter)的设计原理,该预滤器用于滤除某些输入信道的尖峰或毛刺干扰,提供了其IP软核(SoftCore)的状态机模型、原文件和仿真结果.设计软件中状态变量安排合理,换用其它器件或采用其它开发软件平台也不会造成上电紊乱,占用编程资源很少,模块具有简洁稳定性和可移植性.

简介：本文在简要阐述研究性学习的基础上，提出研究性物理实验的实施策略，并简要阐述已开展研究性物理实验教学的实践研究，最后提出若干思考和建议。

简介：亲爱的同学：你们已经完成了初中教材内容的学习，对数学有了进一步的认识．数学知识开阔了你的视野，改变了你的思维方式，使你变得更聪明．下面让我们一起进入初中数学复习．相信你的聪明才智必定能在复习中得到进一步的展现．

简介：本文向工作在数学建模教与学的一线教师和对数学建模教与学的研究有兴趣的教学工作者和研究者介绍在数学建模教与学的过程中实施教育研究的方法.为了系统地介绍这些教育研究的方法,借鉴国际数学与科学趋势研究的课程模型,将数学建模课程进行分类——预期课程、实施课程和达到课程,一方面介绍关于这些课程的常用研究方法;另一方面选择几个关于这些课程的研究案例,细述其研究设计和研究方法的具体实施过程.

简介：７．１　圆（精讲式）一、精讲点拨填空：（１）圆是平面内到的距离等于的点的集合．决定圆的位置，决定圆的大小．（２）经过的三个点，确定一个圆．（３）三角形的的圆心，叫做三角形的外心，它是三角形的交点，外心到三角形的距离相等．（４）设圆Ｏ的半径Ｒ，点Ｐ到圆心Ｏ的距离为ｄ，若点Ｐ在圆内，则ｄ＜ｒ；若点Ｐ在，则ｄ＝ｒ；若点Ｐ在圆外，则．二、议练活动１．填空（１）如果一个直角三角形的两条直角边分别是３ｃｍ、４ｃｍ，那么它的外心是斜边的，外接圆半径是ｃｍ．（２）直线ＡＢ与⊙Ｏ交于Ａ、Ｂ两点，且ＡＢ长为２２，点Ｏ到ＡＢ的距离为２，点Ｐ、Ｑ分别在直线ＡＢ上，若ＰＯ＝３＋２，ＱＯ＝２３－２，则点Ｐ在圆，点Ｑ在圆．

简介：

简介：利用投影多边形模型确定古塔各层的中心坐标,采用最小二乘法建立线性模型,借助三维高次曲线方程建立古塔的曲率模型和挠率模型。使用Matlab数值实验完成了对所有模型的求解,详细地分析了古塔的倾斜、弯曲和扭曲的变形趋势,为古塔的纠偏和保护工作提出了建议。

简介：复习目标了解总体、个体、样本、样本容量等概念，会计算一组数据的平均数、众数、中位数、方差和标准差，并能解决与这些知识有关的应用问题；了解频率分布的意义和作用，会对数据进行合理的分组，列频率分布表，画频率分布直方图，并能解决简单的实际问题．

简介：分式教与学变式研究《变式教学》课题组第１课分式一、教学目标：掌握和理解分式的有关概念及学会判断一个分式的有意义、无意义和值为零。二、自学阅读，类比归纳活动：１、式子ｘ２＋１与１ｘ２＋１区别在哪里？２、整式的意义是。３、引例的应用题分析所列方程９０ｘ＝...

简介：物理学的研究方法有许多种，如控制变量法、等效替代法、转化法、推理法、模型法、比较法、类比法、图像法等，它们都是初中物理学习中常用的研究方法．我们来总结一下在“声现象”这一章中运用的研究方法．