基于信息技术的三种德育新模式

信息技术为班级德育创造了新的途径,拓展了新的领域。本人在班级Blog(博客)、BBS班级论坛和Powerpoint教室大屏幕投影等方面进行了德育实践,取得了较好的效果。     

例谈微分中值定理的应用

微分中值定理是利用导数的局部性研究函数整体性的重要工具，它是沟通函数与其导数之间的桥梁，也是数学分析中很有实际应用价值的定理，它可以用来解决一些初等数学方面的问题，高等数学的一些定理、公式及某些实际应用．     

基于对工程制图课程教学改革的思考

根据现代社会经济发展对技术人才的需求,结合多媒体技术及计算机绘图技术的发展,在新形势下工程制图课程改革的必要性,对工程制图课程的教学方法、教学内容、教学手段的改革提出了几点看法。     

全微分、方向导数、偏导数与连续四者之间的关系

结合具体实例分三种情况分别讨论了二元函数的全微分、偏导数和连续之间的关系,全微分存在和任意方向的方向导数存在之间的关系,任意方向的方向导数、偏导数和连续之间的关系,从而得出他们四者之间的所有关系。     

有关全微分及高阶微分方程的一些探讨

探讨全微分方程的解法,高阶微分方程的降阶,欧拉方程及积分方程的求解。     

露天矿岩土混合边坡稳定性浅析

露天矿开采后,采掘场最终边坡角的大小和稳定程度对露天矿的剥离量、生产和安全影响极大,是露天开采经济效益的重要因素。而可靠的工程地质参数是确定经济合理的边坡角的基础。本文以东北某石墨矿为例,利用其边坡工程地质勘探阶段获取参数,利用不同方法,分别计算露天土质和岩质边坡角,效果理想,其方法值得同类工程借鉴。     

基于时空自动机的CPS建模与验证

为了描述信息物理融合系统(cyber-physical systems,CPS)的时空一致性,一种实时规范语言STe C已经提出[1],CPS的设计和实现能否满足时空一致性显得十分重要。文中对混成自动机进行了扩展,提出了具有位置驱动特点的时空自动机。文中提出了基于时空自动机的CPS建模与验证框架。在框架中,首先使用STe C语言对CPS进行了描述并使用时空自动机对CPS进行建模。文中采用的形式化验证方法为微分动态逻辑(differential dynamic logic,DL),其操作模型为HP(hybrid program)。利用DL可以将所建模型转换为对应的HP。结合得到的HP对验证的CPS属性进行规约,最后使用定理证明器Ke Ymaera对属性进行自动化验证。     

正常金属-薄绝缘层-超导体结δ势的Andreev反射特性研究

Andreev反射是是金属—薄绝缘层—超导结的一种隧道效应现象,是结界面上电子的反射和透射规律。设定结界面势垒为理想δ势,利用Bd G方程求解出粒子的波函数,并作出各项散射系数随着电子入射动能改变的关系曲线,以及测出界面的微分电导特性曲线.最后根据所得的理论结果,分析粒子在结界面产生的现象。     

爱普生超短焦互动投影机CB-595Wi

近期,爱普生投影机推出了支持手指触控功能的CB-595Wi超短焦投影机,该机型拥有高清投影真实还原画面、手指触控互动式教学、无眩目干扰保护视力、操作方便、性能稳定、持久耐用等特点,引起众多用户的广泛关注。CB-595Wi投影机拥有3300流明的色彩亮度,无需厚重的窗帘即可投射出清晰、明亮的画面。即使在明亮的教室内也能看到高清、明亮、自然的图像。其短焦技术有效避免了投影图像的桶形失真,使画面边角更锐利、演示效     

具有Hybrid边值条件的分数阶微分包含解的

运用新的不等式技巧和Bohnenblust-Karlin不动点定理研究了一类具Hybrid边值条件的分数阶微分包含解的存在性,获得了该包含解存在的一个新的充分条件.我们的结果实质性的改进和推广了相关文献的结果,并举例说明了我们的结果优于文[7]的定理.