试论数学中的“规定性”

数学是关于空间形式和数量关系的科学,数学是关于模式和秩序的科学,数学区分于其它学科有三个明显特点:第一是它的抽象性,第二是它的精确性,第三是它的应用的极端广泛性,数学的抽象性在中学数学的学习过程中人们就可以体会到,数本身是一个抽象的概念,几何中的直线也是一个抽象概念,全部数学的概念都具有这一特征.数学的抽象性,突出表现于其中的一系列规定,数学中的所有定义是规定的,一切公理也是规定的,是"数学用来作为出发点的一系列规定";一切数学符号都是人们制定的,约定俗成的,也可以说是前人规定的.据调查这些规定是学生感到数学抽象枯燥的主要原因之一,也是学生厌恶数学的主要原因之一.因此,正确认识数学中的规定是树立正确的数学观的基础,对搞好基础教育,实现新一轮课改的理念都是有必要的.     

FS120型空心粉丝机挤压螺杆的设计计算

通过对FS-120型空心粉丝机挤压螺杆的参数选择、载荷公式的建立，计算了挤压螺杆的各种变形。     

从建筑艺术到建筑研究

有关建筑形式与风格的命题,长期以来一直是广为争论的热门话题。这由来已久的争论又常常因为时代的发展而加入各种新潮的概念与名词。这也许是建筑的文化属性所决定了的,是一种令人两难适从的情形。因为,正是这种往往被视为空谈的争论,在十九世纪中叶关于新建筑的讨论中,为现代建筑运动后来的发生与发展做出了具有划时代意义的前奏。而那一切又是在以现代建筑所赖以生存的钢与钢筋混凝土结构出现前约半个世纪之久的年代产生的,其意义之重大可想而知。一、建筑艺术艺术不是什么神秘的东西,艺术也不排斥技术,不能认为一说建筑是艺术,就无法解…     

鸭子可能起源于恐龙时代

最近,科学家对一块早期鸟类化石作了进一步研究,结果发现鸭子的祖先可能与恐龙生活在同一时期。如果这一结论成立,就意味着鸟类并非是直到恐龙灭绝之后才进化成今天这种特殊形式的。这是1992年在南极洲维佳岛上发现的一具不完整的鸟类骨骼化石。此前,这种鸟被认为是属于一个早已灭绝的鸟种。但是对这具化石进行的新     

中国载人交会对接技术的设计与实现

中国在载人航天工程第二步第一阶段任务中,自主研制了天宫一号目标飞行器和神舟八号、神舟九号、神舟十号载人飞船,通过3次在轨飞行任务完成了8次交会、6次对接,覆盖了自动和手动等多种交会对接模式,突破并掌握了交会对接技术.从交会对接系统、交会轨道、交会测量和控制、信息传输、对接与分离、飞行方案,以及试验验证等方面对中国载人交会对接设计的技术特点、所采用的创新技术方法和解决的技术难题进行了介绍,在飞行验证的基础上分析了工程任务取得的成果,与国际水平进行了综合比较,对中国载人交会对接技术的设计和研制情况进行了总结.     

改进的极小极大概率终端学习机

极小极大概率机(Minimax Probability Machine, MPM)、极小极大概率终端学习机(Minimax Probability Extreme Learning Machine, MPELM)和孪生极小极大概率终端学习机(Twin MPELM, TMPELM)在不对数据分布进行具体要求的情况下,可以为泛化误差提供明确的上界,同时使经验风险极小化。目前,MPM算法、MPELM算法和TMPELM算法主要是通过求解二阶锥规划模型的内点算法实现。本文利用支持向量机思想和凸二次规划的Wolfe对偶形式,对已有的MPM算法、MPELM算法和TMPELM算法进行了改进,并提出了三个新算法。实验结果表明,本文所提算法是有效和可竞争的。     

基于决策规则的决策形式背景的属性约简

决策形式背景的属性约简及其规则获取是形式概念分析领域的研究热点问题.基于决策形式背景的决策规则,研究了决策形式背景的属性约简问题.给出了决策形式背景的冗余规则的等价表示,以及决策形式背景的规则协调集的充分必要条件,定义了决策形式背景的辨识矩阵和辨识函数,给出了决策形式背景基于决策规则的属性约简方法,并举例说明了结果.     

植物种植设计中科学性与艺术性的应用

植物景现是园林景观规划中的重要组成部分,是园林绿地建设发挥生态效益、社会效益的重要途径.在当前的园林景观规划设计中,人人都在强调生态建设的重要时,植物种植设计的科学性与艺术性也应受到真正重视.本文阐述了植物在园林中的作用,介绍了几种常见的植物种植设计形式,为园林植物的应用提供借鉴,希望对园林绿化建设有所帮助.     

弹性球体在冲击载荷下的应力波传播

给出了弹性球体在冲击载荷下应力波传播的解析解。该解法是利用特征函数展开法，将动力学的一般解分解为满足非齐次边界条件的准静态解和仅满足齐次边界条件的自由振动解，其中准静态解满足欧拉方程，而自由振动解满足贝塞尔(Bessel)方程。利用分离变量法，贝塞尔(Bessel)方程的解是一个由球贝塞尔函数构成的级数形式解，然后将此解和准静态解叠加，可得弹性动力学问题的解。与特征线法，积分变换法，广义射线法相比具有物理意义更加明确，数学解法更加简明的优点，同时这一解法可以推广到任意载荷下，各向同性弹性动力学中的一般球对称问题。