例说初中数学教学中『问题串』设计的『四化』

问题串是指在一定的学习范围或主题内,围绕一定目标、按照一定逻辑结构精心设计的一组问题使用问题串进行教学实质上是引导学生带着问题(任务)进行积极的自主学习,由表及里,由浅入深地自我建构知识的过程那么,在课堂教学中如何创设有效问题串,提高课堂效率?本人结合教学实践,从以下四个方面谈一些感想.     

Incremental Unknowns Method for Solving Three-Dimensional Convection-Diffusion Equations

We use the incremental unknowns method in conjunction with the iterative methods to approximate the solution of the nonsymmetric and positive-definite linear systems generated from a multilevel discretization of three-dimensional convection-diffusion equations. The condition numbers of incremental unknowns matrices associated with the convection-diffusion equations and the number of iterations needed to attain an acceptable accuracy are estimated. Numerical results are presented with two-level approximations, which demonstrate that the incremental unknowns method when combined with some iter- ative methods is very effcient.     

中学化学教学中的科学思维与逻辑辨析

化学是一门具有创造性的基础科学,是环境、生命、医药、材料等科学的基础,在思维逻辑上彰显和蕴含了丰富的科学思维方法。系统总结化学科学思维方法,可以有效破解中学化学学习中的“繁,难,乱”。在多年的教学实践中,提出了化学科学多向思维方法体系,强调多层次思维过程中对多因素的立体逻辑思维辨析。重点介绍了与中学化学教学相关的零阶、初阶、中阶和高阶逻辑思维辨析的内涵,期望化学教学中重视化学思维逻辑过程,实现化学教与学在思维模式上的深层次发展与提升。     

BEPCⅡ低温控制系统研制

北京正负电子对撞机重大改造工程(BEPCⅡ)首次应用低温超导技术建造低温系统.低温控制系统通过控制前端低温系统的压力、液位、流量和功率等过程变量,分别产生饱和液氦、两相氦和过冷的单相液氦,使用这三种不同形式的氦流来冷却超导设备.低温控制系统采用EPICS+PLC双层架构体系,实现对前端低温超导设备的全自动控制.EPICS主要完成低温系统的过程控制、逻辑控制和PID闭环控制;PLC负责前端关键设备的联锁控制,用于保护低温超导设备的安全.     

HI-13串列加速器辐射防护联锁系统改造

新建HI-13串列加速器辐射防护联锁系统采用PLC自动化控制,增加与优化了原系统的联锁控制逻辑,在充分保证人员辐射安全的同时,使系统状态显示更直观,操作更方便.     

模糊逻辑在机器人逆运动学求解中的应用

冗余机器人逆运动学求解的方法很多，多数都不能很好的满足实时控制的要求，本文运用模糊逻辑的思想，构造了一种逆运动学求解方法，其计算量较其它方法大大减小，且满足实时控制的要求，仿真结果也证明了该方法的可行性。     

一种时序逻辑网络的快速设计方法

引用1984年尹克震提出的“开关函数的反演公式”,采用伪随机序列技术的思想,提出移位寄存器型时序逻辑网络的一种快速设计方法。     

MOSFET调制器的实验研究

 介绍了MOSFET调制器的基本原理，并对其并联分流和感应叠加两种开关结构进行了实验研究。基于可编辑逻辑器件设计了其触发电路，驱动电路采用高速MOSFET对管组成的推挽输出形式，加快了MOSFET的开关速度。利用Pspice软件对开关上有无剩余电流电路(RCD)两种情况进行仿真，结果表明，加装RCD电路可以有效吸收MOSFET在关断瞬间产生的反峰电压。实验中，电流波形用Pearson线圈测量，用3个MOSFET并联作开关，当电容充电电压为450 V，负载为30 Ω时，脉冲电流13 A，前沿20 ns，平顶约80 ns；用3个单元调制器感应叠加，当电容充电电压为450 A，负载为30 Ω时，脉冲电流强度为40 A，前沿25 ns，平顶约70 ns。     

基于时序逻辑和SCR方法的需求分析方法

以定义事件驱动型系统需求的ＳＣＲ（Ｓｏｆｔｗａｒｅ ＣｏｓｔＲｅｄｕｃｅ）方法和时序逻辑为基础,提出了一种能够根据ＳＣＲ方法与时序逻辑之间的语义联系和时序逻辑的推理能力有效地检查用ＳＣＲ方法定义的事件驱动型系统的需求分析方法．为便于理解,还给出了一个简单的例子来介绍如何分析和检查用ＳＣＲ方法定义的需求的有效性．