论物理教学中创造性思维的培养

阐述了在物理教学中如何培养学生的发散思维能力、逆向思维能力和横向思维能力以及如何运用思维的迁移规律 ,并提出了培养创造性思维的几种途径 .     

基于传感器网络的分布式生化气体源参数测定算法

针对生化气体源参数测定问题,提出了一种基于传感网络的分布式贝叶斯迭代估计算法,该算法在给定气体物理分布扩散模型条件下,通过传感器节点获取气体浓度,并基于分布式扩展卡尔曼滤波（EKF）和无迹卡尔曼滤波（UKF）实现气体源的坐标定位和释放率估计.通过仿真实验对两种分布式算法进行性能分析,结果表明,UKF算法在参数估计成功率和参数估计误差两个方面均要好于EKF算法,分别可以提高约50%和70%,其收敛速度快,使用节点少,更有助于节省网络能量消耗,并延长其生存周期.     

Genetic-fuzzy HEV control strategy based on driving cycle recognition

A genetic-fuzzy HEV control strategy based on driving cycle recognition (DCR) was built. Six driving cycles were selected to represent different traffic conditions e.g. freeway, urban, suburb. A neural algorithm was used for traffic condition recognition based on ten parameters of each driving cycle. The DCR was utilized for optimization of the HEV control parameters using a genetic-fuzzy approach. A fuzzy logic controller (FLC) was designed to be intelligent to manage the engine to work in the vicinity of its optimal condition. The fuzzy membership function parameters were optimized using the genetic algorithm (GA) for each driving cycle. The result is that the DCR_fuzzy controller can reduce the fuel consumption by 1.9%, higher than only CYC_HWFET optimized fuzzy (0.2%) or CYC_WVUSUB optimized fuzzy (0.7%). The DCR_fuzzy method can get the better result than only optimizing one cycle on the complex real traffic conditions.     

BR_0-分配性及其推广

在BR0-代数结构中,BR0-分配性a→b∨c=（a→b）∨（a→c）具有十分重要的地位。本文证明了具有BR0-分配性的剩余格同样具备十分良好的性质。首先将BR0-分配性引入到剩余格中,并给出了BR0-分配性的等价形式。其次,在完备剩余格中将BR0-分配性进行了推广,提出了BR0-第一无限分配性和BR0-第二无限分配性。最后,分别在正则完备剩余格,单位区间[0,1]中讨论了两种BR0-无限分配性的关系及性质。     

冰雪条件下高速公路可变限速方法

高速公路在冰雪天气下需要进行封路或限速等措施,导致道路通行能力减小,车辆行驶安全性下降。 针对该问题,在考虑道路线形、冰雪条件道路特性与交通流特性的基础上,提出一种基于冰雪条件的高速公路 可变限速方法。建立了包含道路线形与冰雪条件的速度生成模型,同时引入模糊控制系统对路面雪况进行预 测。通过Vissim 软件对高速公路部分路段进行仿真实验,结果表明,该可变限速方法可根据雪况动态调整限 速值,相比于对照组Ⅰ( 固定限速) 降低了车辆延误,提高了通行效率,相比于对照组Ⅱ( 封路除雪+ 无限速) 提高了道路通行能力。表明相较于传统方法,该方法能更有效地保证冰雪条件下高速公路车辆通行效率与安 全性。     

关于施密特触发器的教学方法研究

对电子技术基础理论中极为重要的单元电路施密特触发器的几种类型进行了归纳、比较,指出了常用的2类不同芯片实现的施密特触发器之间的相同、相似之处以及它们的主要区别,并且首次提出了判断反相施密特触发器与同相施密特触发器简易可行的法则.对于由运算放大器实现的反相与同相施密特触发器的阈值电压计算公式给出了标准式.同时建议教师在讲授这部分内容时,在作必要的分析、讲解的同时,也应采用一些归纳、比较和小结的教学手段,以取得更为理想的教学效果.     

具有突变率的广义生-灭过程的唯一性

给出具有突变率的广义生－灭过程的唯一性的充分必要条件。     

扩展卡尔曼滤波在Lorenz(1963)系统中的应用

为了考查EKF（extended Kalman filter）数据同化方法应用于非线性动力学系统的基本特点和性质,简单回顾了扩展卡尔曼滤波数据同化方法的基本原理,并在不考虑模式误差的情况下,将其应用于Lorenz（1963）方程,进行了数据同化模拟试验。试验证明：同化效果的好坏与观测精度和观测频率密切相关,存在由于线性化和闭合假设带来的不稳定现象;扩展卡尔曼滤波本身具有强迫纠错作用。     

命题逻辑中几种常见的推理证明方法

数理逻辑是《离散数学》的难点之一．其主要原因是内容比较抽象且方法较独特，加之题型以知识较广的证明题居多．而命题逻辑又是数理逻辑的基础，熟练而灵活地掌握好命题逻辑中推理证明的方法既是学习命题逻辑的重点，又会为进一步学习谓词逻辑打下良好的基础．本文结合适当的例题总结了命题逻辑中几种常见的推理证明方法，以期在帮助学生掌握命题逻辑的推理证明方法的同时，又能对学生进行逻辑思维能力的训练，培养学生分析问题和解决问题的能力．