充分体现微积分的人文价值——紧扣极限法,发展学生辩证思维能力

微积分中充满了辩证法。在微积分教学中紧扣极限法的认识功能,充分揭示微积分中的辩证因素,发展学生辩证思维能力,突出体现微积分的人文价值。     

偏振光的MUELLER运算和JONES运算比较

本文从两种关于偏振光的矩阵运算形式入手,分别研究了它们的几何物理图象,给出了两种运算之间的详细差异,从而得出在处理包含消偏一类问题时应使用ＭＵＬＬＥＲ运算,而对于位相间题则应首选ＪＯＮＥＳ运算。     

Combinator演算族的π演算语义

以SKI演算作为Combinator演算族的代表, 通过形式化的手段给出了SKI演算的π演算语义; 通过一个实例验证了所论方法的正确性. 所给出的转换方法证明了π演算的表达能力： π演算为图灵完备的. 由于高阶函数式语言与Combinator演算族之间存在着自然的转换, 所给的转换思想不仅为在π演算的理论框架下 研究Combinator演算族提供了基础, 也为探讨高阶函数式语言的表示和实现问题提供了新途径.     

高职高等数学教学策略的构建

高职学生普遍认为高等数学抽象难学,高等数学作为基础课,追求的目标不仅是知识的获得和问题的解决,更重要的是使学生学会数学思维,掌握数学思想方法,感悟数学精神。该文在分析高职学生高等数学学习困难成因的基础上阐述了高职高等数学教学策略的构建。     

大学《微积分》教学的几个问题

《微积分》是最基础的学科，作根据多年的教学经验，就《微积分》教学中的几个问题进行探讨。     

方框在微积分教学中的运用

微积分是高等教育中非常重要的一门平台基础课,其教学质量的提高具有重要意义。本文通过教学的亲身体会总结了方框在微积分教学中的运用。运用方框法能快速学好微积分中的极限、导数等知识点,同时运用方框方法可以快速解决微积分中积分方法—凑微分法。运用方框方法可以让数学基础薄弱的同学快速掌握微积分的内容。     

微积分中的哲学原理和科学思维的培养

高等教育不能只是知识教育．微积分中有着丰富的哲学思想和科学的思维方式．微积分是不断扬弃，大胆创新的产物．这些教学实践对学生科学思维和科学精神的培养有着重要意义．     

语句的逻辑概率演算

概率演算已成为逻辑推理的一个重要内容,着重介绍关于语句的概率演算方法及规则,以期补充在现行逻辑教材中缺少的内容.     

基于数学史背景的微积分教学

微积分是在经济管理类专业普遍开设的一门公共数学课,也是一些学生"考研"的必考科目之一。然而,数学的抽象性和枯燥性使得许多学生望而生畏。数学史是研究数学发展过程与规律的科学。在微积分教学中,通过还原知识的历史背景,有意识地向学生介绍有关数学史的知识,如创立者的感人事迹、治学态度与方法,数学家的趣味故事,数学定义和定理的来龙去脉等,将数学教学纳入到文化的轨道上来,可以使学生了解数学思想的形成过程,加深对数学本身的认识,尽量消除数学的枯燥性,让学生体验微积分的价值、欣赏微积分,促进学生对微积分的认知。     

F推理格式及其应用

Ｆ命题演算是Ｆ逻辑的基本内容，本文引进了Ｆ推理格式的概念，并证明了它的一些基本性质，从而，Ｆ命题的演算可以按照一定的Ｆ推理格式进行推理论证，这样才能导出正确的结论．另外，它又为推断Ｆ逻辑公式的相容性提供了理论方法基础．     

大学微积分课程改革的研究与实践

微积分科学作为大学高等教育体系中的重要基础课程之一,一直以来都是高校教学课程改革的热点问题,本文主要结合目前国内高校高等数学教学的现状,总结了高校对大学微积分课程改革与实践的历程和经验,阐述了大学微积分课程改革的实际意义与作用。     

基于核和灰度的区间灰数行列式的若干性质

为了简化区间灰数行列式的运算,完善区间灰数的运算和灰数代数系统的理论基础,利用区间灰数的简化形式探讨区间灰数行列式的性质,得到了基于核和灰度的区间灰数行列式的若干性质,简化了区间灰数行列式的运算,为进一步探讨区间灰数矩阵及区间灰数线性方程组奠定了基础.     

高中微积分教学探究

微积分研究的是变量之间的函数关系,在社会、经济、科技和人们日常生活中的应用十分广泛.高中学生由于社会实践少,逻辑思维和抽象思维能力相对不足.因而,在这门课程的学习和解题中容易出现一些问题.教师只有深刻理解和把握学生的这些特点和学习规律,才能使微积分教学更具有针对性,提高有效性.本文在回顾我国微积分教学历程及进行中西比较,分析新大纲和考试说明中微积分的具体教学要求后,就高中微积分课堂教学策略和设计进行了探讨,以期在教学过程中使学生能对微积分有较深入的理解.     

梯子下滑过程中的微分方程及其求解

由于微积分在物理学中具有广泛的应用，因此在数学分析教学中适时地加强综合应用练习，不仅有利于学生巩固微积分基本概念，而且有助于提高学生分析问题解决问题的能力。但选择此类应用性模型问题时，一定要尽量与实际相符，如在探索物体运动方程时，其物理背景应与物理中的基本定律相符。本文就高等数学教学中常被采用的一个物理模型问题提出质疑，并利用Mathematica给出与实际背景基本相符的运动轨迹。     

系统生物模型转换研究--从SBML到 Stochastic Pi Calculus

分析了系统生物标记语言（SBML）模型和用随机Pi演算对生物建模（BioSPI）的不同特点,给出了两种模型之间转换的一系列处理规则;在规则的指导下将具体的SBML模型转换为BioSPI表示的程序语言,并借助分析工具来模拟该SBML模型运动变化过程,提出了自动实现转换的方法以及将转换扩展到其他进程演算形式的构想。     

分数阶Lu混沌系统的同步控制新方法研究

应用分数阶系统稳定性理论,针对L分数阶混沌系统,设计了一种同步控制新方法.仅在分数阶混沌响应系统中添加一个控制器,便可使该系统之间达成有效同步.为了提高通信系统的保密性,实现复杂的非周期信息的安全传输,基于混沌模拟通信技术,将该方案应用到混沌掩盖保密通信中.在接收端利用同步后的混沌信号进行去掩盖,从而恢复出有用信息.同时给出了理论分析与数值仿真结果.     

微积分在几何计算上的应用

本文从三个方面入手,以微积分为工具,从简单的几何问题入手,逐层推进,由易到难,分别讨论了微积分在长度、面积、体积方面的应用,充分体现了微积分在几何计算上应用的广泛性、重要性.     

基于PCL的改进型Helsinki协议的形式化分析

针对改进型的Helsinki协议安全性问题,利用协议组合逻辑PCL对协议进行形式化分析.首先使用基于"Cords演算"的程序描述语言对协议本身进行形式化描述,然后通过协议逻辑描述协议的安全属性,最后给出性质和定理,并通过逻辑推理证明改进型Helsinki协议满足其安全要求,该协议是安全的.     

“微积分”课程教学中若干问题的辨析

针对“微积分”课程中若干易混淆与误解的问题,作者通过举例的方法,指出了这些问题常见的理解误区,并对这些问题进行了辨析;同时举例说明了“微积分”课程中若干常见方法的使用.     

微积分中的辩证法

微积分中充满了辩证法. 变量的出现,使辩证法进入了数学,于是产生了高等数学. 微积分实现了直与曲、有限与无限的相互转化,体现了辩证法中的对立统一规律.