可重配置FPGA仿真验证平台的研究与设计

FPGA仿真是确保IC设计正确的重要手段。本文探讨了FPGA仿真技术和ASIC设计FPGA仿真验证流程,介绍了一种新型硬件可重配置的通用FPGA仿真验证平台的设计技巧,解决了用多片FPGA芯片实现ASIC仿真的难题。     

猜想与验证——关于“平行四边形的面积”教学设计的探讨

有问题才可能引发探究。但是，要提出什么样的问题，才能引起学生对平行四边形面积的探究兴趣，启动他们探究新知的内驱力呢?     

大学生病理性互联网使用行为模式研究

基于“在线认知量表”(OCS)，采用两组大学生被试，分别进行探索性因素分析和验证性因素分析，探讨了大学生病理性互联网使用的行为模式，编制了“大学生病理性互联网使用量表”(PIUS-CS)。结果发现：(1)大学生病理性互联网使用行为由上网冲动性、分离／逃避和网上优越感三个因素构成。量表具有较理想的内部一致性信度、构想效度和区分效度。(2)男大学生的上网冲动性、网上优越感较女大学生更强；文科类学生的上网冲动性较理科类学生更强。(3)上网时间和上网次数与病理性互联网使用模式只有较弱的正相关，不宜作为病理性互联网使用行为的评价指标。     

从α粒子大角散射实验建立起来的原子核式结构模型

人们都知道，卢瑟夫从α粒子大角散射实验现象出发，在否定汤姆逊模型的基础上提出的原子核式结构模型，现在已普遍被人们所接受，成为原子物理学、核物理学等现代科学的基本前提。但当时卢瑟夫是怎样证实的，知道的人却很少，有的书中有一些说明，但不详尽，这里较详细地给出核式结构模型的提出及证实过程。     

数学验证性探究学习的探究

所谓验证性学习是指对研究对象有了一定了解,形成了一定认识或提出了某种假说,初步知道了研究方法或策略,为验证这种认识或假说是否正确而进行的一种探索性学习活动.它是探究性学习的一种,但它并不舍本逐末,而是注重探究的过程.采用验证性学习活动时,可从以下方面入手.     

波普尔的反归纳主义及其失误

波普尔认为，科学知识即理论内容的增长是科学进步最为重要的标志。然而，科学理论的内容丰富程度与逻辑概率之间正好是反变关系。因此，科学的目标不是追求理论的高概率，而是追求理论的低概率；不是追求理论的可证实性，而是追求理论的可证伪性。既然归纳推理是确立结论真实性或概然性的推理，所以归纳推理是与科学目标背道而驰的，因而应当将它从科学方法论中清除出去。然而，当波普尔引入“逼真性”概念以后，他的验证方法便不可能是完全演绎的，而是或多或少地含有归纳的成分。此外，他把塔尔斯基的真理论作为逼真性概念的理论基础也是错误的。     

高要水文站测潮代表线的验证分析

通过对高要水文站测潮代表线的验证，分析了由于近几年测潮代表线关系的变化，造成高要水文站潮流量偏小的原因，修改其关系线后，使枯水期日平均流量更能反映真实流量，从而为合理、科学地利用水资源提供了依据。     

面向对象方法

综述面向对象方法(Object-Oriented Methodology简称OO方法)的由来和发展，以及当前的主要研究领域；OO方法的基本概念、主要特征，并从OO方法作为新的方法学、程序设计新范型和一门新技术的角度展开了论述．     

统一建模语言UML

统一建模语言UML是一种基于面向对象方法学的规范可视化建模语言，对其组成、应用和建模过程进行了描述，说明了基于UML的系统开发过程是以用例为中心的开发方式。     

关于湿热灭菌工艺的微生物验证讨论

本文通过对生物指示剂的选择、验证方法等内容来讨论湿热灭菌工艺的微生物验证.