简介：

简介：

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

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

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

简介：针对平台式惯导系统海上动态启动时传统的罗经对准方法和传递对准方法的缺点,提出了一种双平台双位置海上启动方法。粗对准阶段以牵引惯导提供的姿态角作为水平和航向基准通过伺服回路完成粗水平调平和粗方位对准。精对准阶段建立了双位置下的卡尔曼滤波方程,实现了东向陀螺漂移的估计补偿,解决了海上启动时对舰船匀速直航的限定条件。仿真结果表明,相比传统的海上启动法,在0.01（°）/h的东向陀螺漂移的情况下方位失准角的估计误差由2′减小到0.5′左右。

简介：“教师主导，学生主体”是实施教学的重要原则，学生作为教育的主体，是实施教育的关键。鉴于此，本文论述学生主体的内涵，并结合高中物理课堂的教学实例阐述了教学中如何实现学生的主体地位从而构建高效课堂。

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

简介：此文介绍了对学生学习情况量化方法的研究，原文刊登于美国对研究型大学丛书之——《TheSchlorshiporTeachingandLearninginHigherEducation》。本文接第36期。

简介：此文介绍了对学生学习情况量化方法的研究。其中运用的工具之一是“课堂交互式教学无线应答系统”(VotingMachineSystem)。国内较少时学生学习情况有量化方法的研究，故本刊特将此文分期刊登。此原文刊登于美国时研究型大学丛书之一《TheScholarshipofTeachingandleaminginHigherEducation》,但略有删节。

简介：此文介绍了对学生学习情况量化方法的研究。原文刊登于美国对研究型大学丛书之一《TheScholarshipofTeachingandLearninginHigherEducation））。本文接第35期

简介：主体教育是近年来我国教育改革与发展研究的重要课题,是当前我国实施素质教育核心问题符合世界教育改革潮流。本文试图从"以人为本""优化课堂教学结构""创设教育情景""创新能力培养"这四个方面加以论述。

简介：高中学生在立体几何解题过程中出现障碍是普遍现象．本文结合心理学相关理论、立体几何教学经验和三个案例，分析高中学生解立体几何题目时产生障碍的原因，对提高中学生解题能力和研究中学生空间认知规律具有重要的意义．

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

简介：珠算是我国计算技术中最基本、最广泛的计算工具。即使在当今电子时代,珠算仍不断发展,并呈现着不衰的生命力,特别是在我们财会等经济工作者中有着不可替代的地位。

简介：针对目前教学现状和新世纪对人才素质的要求,提出了“主体参与型“教学模式,阐述了运用该模式在教学实践中的几点做法

简介：认知结构的完善就是要在外在环境的刺激下，学习者个体进行具有渐进和累积性自我建构的过程。丰富、良好的多重刺激是促使认知结构完善和发生变化的根本条件。真实的物理实验环境，有利于促进学生认知结构的有序、变通和迁移，从而提高学生的物理学习能力。

简介：由于保险公司经营规模的不断扩大，险种类型的增多，用古典风险模型及其其它推广的单一险种风险模型来研究其风险经营过程存在着局限性，因而需要建立多险种的风险模型。本文研究了一类两种险种且理赔次数服从Cox过程的模型。得到了破产概率满足推广的Lundberg不等式。以及在特殊情况时ψ（0）的明确表达式。

简介：本文从分析双T网络虚地输出端着手，借助串／并联等效变换，给出双T网络的电压／电流相量图和阻抗图；引入对称化处理概念；界定了双T网络的实际输入阻抗；建立了完备的阻抗方程组，并做了按指定输入阻抗设计电路的示范。