公式化语言研究现状综述

近几年,国内掀起了对于公式化语言研究的热潮。关于公式化语言教学的理论研究和实证研究层出不穷。本文主要总结了已有的关于公式化语言的综述类文章,并从公式化语言习得、较新的多维视角和对公式语研究的反思这三个方面对近几年国内核心期刊杂志上最新文献进行了综述,借此来分析我国公式化语言的研究现状。     

贝叶斯公式的启发式教学方法研究

本文利用启发式教学方法,对贝叶斯公式的教学进行了启发式教学设计,使学生更容易理解和掌握贝叶斯公式。     

多层膜反射率的计算

以菲涅尔公式为基础,用递推法推导了多层膜反射率的计算公式,并用Visual Basic编程,得到了计算多层膜反射率的程序,计算了典型增透膜和高反膜的反射率.     

公路桥梁的水文计算

水文计算是公路桥梁设计中的一项重要内容,包括形态断面计算、设计洪水流量及洪水位计算、桥孔设计计算及冲刷计算等。     

Gough-Stewart并联机器人刚体动力学模型

综合采用拉格朗日方程和牛顿-欧拉公式推导了Gough-Stewart并联机器人机构逆动力学模型的封闭解形式.通过选择合适的分支广义坐标,简化了拉格朗日函数对广义坐标的偏导求解,得到了求导矩阵的解析表达式.分析了分支角速度、角加速度轴向分量对机构动力学的影响,仿真结果表明：当机构运动加速度及分支轴向惯量较小时,可以忽略该...     

模n的剩余类环的单位群U（Z_n）

利用初等数论中单位群U（Zn）的结构定理,证明了对于模n的剩余类环Zn,非单位元的阶均为2的单位群有且仅有U（Z3）,U（Z4）,U（Z6）,U（Z8）,U（Z12）,U（Z24）;非单位元的阶均为其他素数p（p〉2）的单位群不存在;非单位元的阶均为2的某个方幂的单位群有U（Z2apa11…pall）,其中a,ai是非负整数,且0≤ai≤1,每个pi为费马素数.最后利用单位群讨论了二次同余方程x2≡1（mod n）的解的个数.     

欧拉方程的显式爆破解

通过解一个二阶常微分方程,构造了N维等温欧拉方程和无压力有摩擦阻尼欧拉方程的一组显式解。特别地,解在有限时间T可以发生爆破。     

不同堰型流量计算公式的初步分析

以标定的三角形薄壁堰作为测流控制条件,对矩形薄壁堰、WES实用堰、圆角宽顶堰和直角宽顶堰进行了测流试验,分别采用相应的堰流公式进行了计算和比较;结果表明:不同堰型堰流公式计算值各有差异,同一堰型采用不同经验公式求得的流量亦有所差别;将不同经验公式得出的流量和标准流量进行了比较并分析偏离程度,据此初步得出了不同堰型流量计算的推荐公式。     

声音中的数学探究

声觉是人类接收信息的基本途径之一,好的声音效果可以让听众感觉比较舒适,较差的声音效果会让听众感到烦躁不安。但人们对声音的认识普遍来源于初中物理教科书,对于相关概念的数学定义并没有深刻认识,这样一来,不能从理论上来指导实践,从听觉上提高生活水平。本文以提高我们日常室内声音效果为目的,从教科书中最简单的分贝概念出发,进一步阐述了它的公式定义和实质。在此基础上,介绍了混响时间等概念和塞宾公式。最后,在分析此公式的基础上,以教室音响效果改进为例提出建议。本文的研究可加深非专业人士对于声音的认识,并指导他们改进日常室内空间的音响效果,提高听觉体验。     

具有随机扰动项和混合时滞的神经网络在有限时间内的控制同步

研究一类具有随机扰动项和混合时滞的神经网络在有限时间内的控制同步.通过李雅普诺夫稳定性理论、随机微分方程理论、伊藤公式以及一些不等式方法,在p-范数下得到了新的有限时间内同步的充分条件.