“翻转课堂”概念探析

随着信息技术的发展和普及,很多学校出现了新的教学模式和学习方法,“翻转课堂”作为教学模式的重要变革引起了社会各界的广泛关注,但仍有很多教师对“翻转课堂”存在误解。文章旨在探求该教学模式的概念产生过程及其本质,同时对其功能进行分析和反思,从而为现阶段我国的教育信息化进程提供助益。     

采空区上方边坡稳定性分析

分别根据《三下采煤规程》采动坡体稳定性预测方法和瑞典条分法对采空区上方边坡稳定性进行了验算,并用大型有限元分析软件ADINA进行了二维模拟,得出了预计边坡稳定性系数、条带开采后引起的地表移动和变形最大值等数据,具有一定的工程应用价值。     

开放式同行评议模式的介绍与思考

介绍了国外在这方面的最新研究成果和应用经验,同时结合国内科技界的情况,探讨了如何在我国进行开放式同行评议模式的实践,以便让科技评价研究和管理人员尽快了解、吸收该领域的前沿知识,并在此基础上进行更深入的研究与实践,进一步提高我国科技评价的质量。     

基于博弈论的开放环境下场景规约监控语义

在开放环境中,环境和系统本身行为的改变可能使得软件系统的实现不再满足原来规约,从而最终导致软件失效的发生.运行时监控是一种轻量级的形式化动态验证技术,已成为开放环境下检测软件失效的基本手段.针对基于场景的规约属性序列图,从博弈论的角度定义其多值监控语义:满足、无限可控、系统有限可控、系统紧急可控、环境有限可控、环境紧急可控和违例.通过多值监控语义的定义,监控器能够根据当前轨迹尽可能早地检测到系统失效或异常,并提供足够信息为失效的预防和恢复服务.实例研究表明了属性序列图多值监控语义的实用价值,并显示了其广泛的应用前景.     

关于积分中值定理的探讨

对积分中值定理中的存在点ζ取值区间进行了补充和论证,并讨论了修正后的中值定理应用.     

二能级开放量子系统相干保持的最优控制策略

二能级量子系统在开放环境下的相干保持是量子器件实用化的关键.针对二能级开放量子系统的相干保持问题,首先将系统的主方程模型转化为实向量空间上的状态空间模型.然后借助经典最优控制的思想,提出了一种既保证系统控制能量最小,同时又最大程度的减小消相干的最优控制策略.最后就一个典型的二能级开放量子系统仿真实现其相干保持,仿真结果显示了该方案的优越性.     

基于自适应神经网络的边坡位移预测

通过对边坡位移历史数据序列进行特征分析 ,计算出饱和嵌入维数和最大 Lyapunov指数 ,给出了边坡位移的最大可预报时间尺度。在此基础上 ,确定了神经网络的输入节点数 ,建立了基于自适应神经网络的边坡位移预报方法 .通过对三峡升船机高边坡和新滩滑坡实际位移数据进行预测 ,结果令人满意 .这对于建立边坡位移的实时监测 -预警系统有重要意义.     

淹水区生态型护坡设计及抗冻融性能分析

针对淹水区坡面进行护坡的必要性和传统护坡技法的缺陷,提出了应用生态型护坡技法——中日植生材料（一种新型生态植生材料）、生态混凝土（多孔、透水性混凝土）、卵石（自然石）等近自然界材料的组合,进行设计、护坡．国家863专项“镇江水环境处理”中的生态堤采用生态型护坡技法进行设计,通过对该技法中组成材料的分析和生态混凝土耐久性的主要影响因素——冻融进行调查、研究,认为所提出的生态护坡技法不仅能充分保证护坡工程安全性、经济性,还可维持和改善生态环境,谋求与生态系统的调和或共生,创造舒适的环境,而且所用生态混凝土具有良好的抗冻融性．     

关于自相似集存在最好Hs-几乎处处闭集覆盖的一个新充分必要条件

该文得到了自相似集存在最好Hs-几乎处处闭集覆盖的一个新充分必要条件,从而改进和推广了许绍元、李国祯在2004年的一个结果.作为应用,我们讨论了直线上的一个满足强分离开集条件的自相似集.     

半广义闭L-集

引入半广义闭L-集和半广义开L-集,证明两个半广义闭L-集的并也是半广义闭L-集,同样还证明了在闭映射和半连续映射下,sg-闭L-集的像是gf-闭L-集．但是有例子表明,在闭映射和半连续映射下,sg-开L-集的像一般不再是gf-开L-集．此外还证明了闭L-集=〉闭L-集=〉闭L-集=〉rgf-闭L-集,但是每个逆都是不真的。