关键词： 小学   “算法多样化”   计算能力  

摘要： 算法多样化的思想强调的是尊重学生的独立思考,鼓励学生探索不同的方法,并不是让学生掌握多种方法,教师应该在课堂中鼓励、尊重学生思维的结果,引导学生进行讨论和交流,适时点拨,肯定有价值、有创意的方法,从而培养学生良好的思维习惯和探索创新的精神。

关键词： Ordinary differential equations   Postconditions   Preconditions   Invariants   Grobner bases  

摘要： A system of polynomial ordinary differential equations (odes) is specified via a vector of multivariate polynomials, or vector field, F. A safety assertion psi -> [F] phi means that the trajectory of the system will lie in a subset phi (the postcondition) of the state-space, whenever the initial state belongs to a subset psi (the precondition). We consider the case when phi and psi are algebraic varieties, that is, zero sets of polynomials. In particular, polynomials specifying the postcondition can be seen as a system's conservation laws implied by psi. Checking the validity of algebraic safety assertions is a fundamental problem in, for instance, hybrid systems. We consider a generalized version of this problem, and offer an algorithm that, given a user specified polynomial set P and an algebraic precondition psi, finds the largest subset of polynomials in P implied by psi (relativized strongest postcondition). Under certain assumptions on phi, this algorithm can also be used to find the largest algebraic invariant included in phi and the weakest algebraic precondition for phi. Applications to continuous semialgebraic systems are also considered. The effectiveness of the proposed algorithm is demonstrated on several case studies from the literature. (C) 2020 Elsevier B.V. All rights reserved.

关键词： 游戏教学法   小学数学   算法多样化   应用  

摘要： 《义务教育数学课程标准》(2011年版)指出数学教学必须关注口算,强化估算训练,并激励学生算法多样化。算法多样化是指教师在实际教学当中先要求学生经历探索研究的过程发现算法,在此基础之上展示算法,并由教师进行适当的补充和拓展,使学生深入感悟算理,形成与自身学习特点相符合的算法,使算法能服务于数学学习与生活,让学生感知数学的魅力。在实现算法多样化的过程中,引入游戏教学法更能唤起学生的求知欲和学习兴趣,促使学生释放个性,形成良好的学习精神。

关键词： 密集假目标干扰   频率捷变   最大类间方差法   数学形态学   二维稀疏重构  

摘要： 数字射频存储器(digital radio frequency memory,DRFM)通过截获雷达发射信号并对其进行调制和转发,在距离维上形成欺骗式干扰,严重影响了雷达对目标的检测与跟踪。针对这一问题,提出一种捷变频联合数学形态学的密集假目标干扰抑制算法。首先,采用最大类间方差法(Otsu)对脉冲压缩后的数据进行二值化处理。然后,通过数学形态学中的开运算抑制干扰和噪声。最后,通过二维稀疏重构获得距离速度二维高分辨,实现对目标的检测。仿真实验与实际雷达和干扰机对抗实验表明,该方法可以获得良好的抗干扰性能和目标检测性能。

关键词： 限时训练   课后作业   基本运算   胸有成竹   考场   算法化   高三   独立思考  

摘要： 没有人怀疑解题对数学学习的重要作用,但常常困扰于以下现象:有些题目只要经教师稍作点拨,学生就能顺利完成,但自己独立思考时,便犹如架上困鹰;有些题目学生一看便胸有成竹,但落实时却无法具体求解;有些涉及的基本运算问题频频出错,低级失误较多;课后作业正确率极高,可限时训练解题速度较慢,导致在限定时间内无法完成解答;考场中不会的问题出了考场就豁然开朗.

关键词： 钛合金   加工工艺参数   代理模型   鲸鱼优化算法   数字仿真  

摘要： 针对钛合金难加工且质量和效率不高的问题,提出了一种基于鲸鱼优化算法的Kriging模型建模方法。建立了其参数优化的数学模型,提高了其加工质量和效率,通过鲸鱼优化算优化了传统Kriging模型变异函数的参数,提高了Kriging模型的建模精度;采用正交实验设计方法,对TC4钛合金铣削加工进行了样本点采集,得到了包含设计变量和性能响应的16个样本点;采用WOA-Kriging代理模型技术,建立了钛合金加工工艺参数与切削力之间的近似模型,并与传统的Kriging代理模型技术进行了比较。研究结果表明:采用基于鲸鱼优化算法的Kriging模型建立的钛合金加工工艺参数与切削力之间的近似模型精度更高,能够为其加工工艺参数优化提供更加精确的数学模型。

关键词： 算法设计   计算机编程   课堂教学   数学素养  

摘要： 高校计算机语言课程的学习过程中数学思维至关重要。计算机课堂教学尤其是算法设计及编程教学中,融入数学思维、培养学生的数学素养是一个潜移默化的过程,将会对学生的长远发展产生影响。该文从数学逻辑思维、计算思维能力、数学推理思维、数学建模思维和数学运用思维等五个方面给出了一点粗浅的认识和理解,希望能给算法设计及编程教学提供一点参考。

关键词： 小学加法   算理教学   数学算法  

摘要： 1+1=2,在人们眼中无疑是一个最简单的数学问题。当提问到1+1=?时,所有学生都能脱口而出得数是2。可是,学生真的知道1+1,为什么结果是2吗?又是否明白,为什么,要用加法?本文着眼于最简单的数学问题,着重研究数学中数与算式、算式与数量之间的关系,对日常教学中的加法教学提出思考,分析小学加法算理研究对于加法教学的重要性。教师只有深入了解加法算理,处理好算理和算法之间的关系,才能站在学生的高度去教学,真正解决学生遇到的问题,发展学生的数学计算能力。

关键词： Continuous coupled algebraic Riccati equation   convergence analysis   doubling algorithm   the symmetric positive semi-definite solution  

摘要： In the paper, we apply a structure-preserving doubling algorithm to solve the continuous coupled algebraic Riccati equation (CCARE). Using the existence and uniqueness of the CCARE, we show that the iteration solution of the CCARE are positive semi-definite, symmetric, and unique. Further, we discuss the convergent analysis of the structure-preserving doubling algorithm. Moreover, we present two modified structure-preserving doubling algorithms. Finally, we offer corresponding numerical examples to illustrate the effectiveness of the derived numerical algorithms.

关键词： Frequency diverse array   Range compensation   Time-invariant   Spatial focusing   Range-angle dependent  

摘要： In this article, a novel technique is applied to achieve time-invariant spatial focusing performance for static and moving target by applying an irregular frequency modulation method to a frequency diverse array (FDA) waveform transmission system. The FDA radar can improve the anti-noise ability of the system by the means of concentrating the waveform energy on the required range or angle sector. However, the synthesized waveform has high sidelobes and is time-varying during the transmission waveform. In view of the above problems, a new waveform synthesis model of rang compensation frequency diverse array (TMRC-FDA) is established and the effect of parameter sigma\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varsigma$$\end{document}on the waveform synthesis is analyzed. A new accelerated particle swarm optimization algorithm is used to optimize the distribution of parameter sigma\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varsigma$$\end{document}. The numerical simulation results show that the proposed TMRC-FDA waveform synthesis method achieves the goal of time invariance and reduces the waveform sidelobes. At the same time, it has better performance in terms of waveform focus compared to log-frequency offset FDA based on time-modulated and fixed parameters sigma\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varsigma$$\end{document}.