简介：

简介：

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

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

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

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

简介：1提高认识，理清目标《义务教育数学课程标准（2011）》（以下简称《标准（2011）》指出：“数学课程应致力于实现义务教育阶段的培养目标，要面向全体学生，适应学生个性发展的需要，使得：人人都能获得良好的数学教育，不同的人在数学上得到不同的发展”培养学生终生学习的愿望和能力、创新意识更是现代数学教育的基本任务，是时代的要求和课程改革的总趋势与此相适应，教师们的数学教学观也在逐渐转变

简介：资产负债观(Asset-LiabilityView)与收入费用观(RevenueExpenseView)是会计理论中经常被忽略的一对概念,但它们与收益的确定、会计要素的定义以及资产负债表和收益表之间的关系却有着十分紧密的联系。确立不同的观念,对会计信息质量有着重大影响。当前,我我对基本会计准则进行修改并试图建立我国的财务会计概念框架的过程中,必须考虑确立何种观念这一基础性的问题。

简介：A我如道我应该存点钱以备不时之需，但我往往会不自觉地喜欢炫耀。

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

简介：基于介观电路中电荷的量子化特性和介观电容中存在弱耦合效应的物理事实,对介观LC电路进行了量子力学处理,并讨论了电路中的类超导电流的量子特性。结果表明:无源情形时介观LC电路中类超导电流随时间变化具有周期性,其平均值为零;在直流稳压电源的作用下类超导电流存在直流分量,总电流平均值存在shapiro台阶;在交流电源的作用下类超导电流也可以存在直流分量,但总电流平均值不存在Shapiro台阶。

简介：《数学之友》分两期先后刊登了《章士藻数学教育思想初探》[1]和《章士藻数学教育思想渊源及其时代意义》[2]两篇文章.透过这两篇文章,我们了解到章士藻先生的成长历程、主要数学教育思想及其产生的背景等,能够从中真切地感悟到章先生“既是研究者又是实践者”,“他是20世纪最后30年中数学教育界一位具有代表性的人物.”[3]章先生的的数学教育思想十分丰富,深入探讨章先生的这些教育思想对指导基层数学教师开展教学研究活动,特别是农村中小学数学教学与研究活动,具有十分重要的理论价值和实践意义.本文拟对章先生的数学学习观作更进一步的探讨.

简介：基于随机介质的谱分解理论,建立了二维多孔介质的细观模型,发展了多孔介质传热问题的多松弛格子Boltzmann方法求解算法,模拟了恒定热流加载下含基体孔隙复合材料的传热过程,计算了碳化硅多孔材料的等效热导率。结果表明,多孔介质的传热过程与孔隙率、孔隙结构密切相关,孔隙率越大材料传热性能越差,等孔隙率条件下,多孔介质沿某一方向的等效热导率随该方向孔隙自相关长度的增加而变大。

简介：在数学教学过程中，教师往往注重三维目标中的知识与技能方面的教学，而轻视甚至会忽略过程与方法、情感态度与价值观的形成和培养．下面主要围绕两个案例，针对“数学试卷讲评课中如何体现和强化情感态度价值观目标”这个主题进行相关的研究和反思．

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

简介：教师教育理念的转变是课程改革取得成功的关键,构建＂真教学＂在于发挥学科特点,充分挖掘课程资源进行人文教育理念;改变教学方法,注重培养学生严谨的探究态度理念;营造民主氛围,积极激发学生的主动参与度理念;改变评价方式,科学引导学生健康有效提升素质理念。

简介：通过总结回顾人类时空观的一次次进步，阐述物理学对时空观的贡献。

简介：<正>一张中考数学试卷的压轴题通常是指试卷中的最后一道题,总是难度最大的解答题.这样的压轴题都具有涉及的考点多,知识的综合性强;结构层次高,思维容量大;解题过程复杂,一般需要较多步骤的推理和计算,或需要分析、综合或分析综合协同作战等特点.这样的试题区分度高,它往往承担着中考试卷的选拔功能.但是,实际效果并不理想.由于试题的综合性过强,难度过大,又过分集中于最后一题,考生往往望而

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