简介：

简介：

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

简介：介绍了时序逻辑单元和组合逻辑单元发生单粒子效应的机理,以反熔丝型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°）。但是作为应用技术，爆炸逻辑网络的可靠性关系到整个武器系统可靠性，关系到武器能否准确打击预定目标。

简介：

简介：本文介绍了利用Authorware实现物理学史中能量守恒定律CAI课件的原因，详细阐述了设计思想，多媒体素材的准备，多媒体素材的控制，自动检测驱动器方法的实现，库的使用，对CAI课件的特点做了简要评述。

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

简介：研究了利用物理学史有效培养学生的科学素质和创新意识问题,通过对法拉第电磁感应发现的个案分析和点评,介绍一种可操作性强的物理学史分析方法。

简介：著名数学家和数学史家克莱因（M．Kline）认为“每一位中学和大学数学教师都应该知道数学史，数学史是教学的指南．”荷兰数学家和数学教育家弗赖登塔尔也认为“数学史应该是数学教师用于数学教学的必备知识”，他曾批评那种过于注重逻辑严密性、没有丝毫历史感的教材乃是“把火热的发明变成了冰冷的美丽”．可见，数学史与数学教育的整合是历史的必然．无论是从数学史的功能、数学史的教育价值还是从数学史的审美观念等层面来看，把数学史当成数学知识教学的一部分都是应该的．但现行的教材却没有有效地利用数学史的这一特点来辅助教学．比如，对于三角函数这一重要知识点的教学，现行的教材只是“蜻蜓点水”般地介绍了相关数学史知识．鉴于此，本文以三角函数的发展史为出发点，探索数学史与数学教育的有机整合．