关键词： Model correlation   Thermal Mathematical Model   Space vehicle   Thermal control   Genetic algorithm  

摘要： Genetic algorithms have been used for matching temperature values generated using thermal mathematical models against actual temperatures measured in thermal testing of spacecrafts and space instruments. Up to now, results for small models have been very encouraging. This work will examine the correlation of a small-medium size model, whose thermal test results were available, by means of genetic algorithms. The thermal mathematical model reviewed herein corresponds to Tribolab, a materials experiment deployed on board the International Space Station and subjected to preflight thermal testing. This paper will also discuss in great detail the influence of both the number of reference temperatures available and the number of thermal parameters included in the correlation, taking into account the presence of heat sources and the maximum range of temperature mismatch. Conclusions and recommendations for the thermal test design will be provided, as well as some indications for ***. (C) 2016 IAA. Published by Elsevier Ltd. All rights reserved.

关键词： Novel mathematical methods   Scalable algorithms   Exascale computing   Computational Science research methods   HPC  

摘要： This editorial outlines the research context, the needs and challenges on the route to exascale. In particular the focus is on novel mathematical methods and mathematical modeling approaches together with scalable scientific algorithms that are needed to enable key science applications at extreme-scale. This is especially true as HPC systems continue to scale up in compute node and processor core count. These extreme-scale systems require novel mathematical methods to be developed that lead to scalable scientific algorithms to hide network and memory latency, have very high computation/communication overlap, have minimal communication, have fewer synchronization points. It stresses the need of scalability at all levels, starting from mathematical methods level through algorithmic level, and down to systems level in order to achieve overall scalability. It also points out that with the advances of Data Science in the past few years the need of such scalable mathematical methods and algorithms able to handle data and compute intensive applications at scale becomes even more important. The papers in the special issue are selected to address one or several key challenges on the route to exascale. (C) 2016 Published by Elsevier B.V.

关键词： ABSTRACT algebra   APPLIED mathematics   MATHEMATICAL analysis   ALGORITHMS   FUCHSIAN groups  

摘要： The aim of this paper is to propose an algorithm to construct arithmetic Fuchsian groups derived from quaternion algebras and quaternion orders which will lead to the construction of hyperbolic lattices. To achieve this goal a necessary condition for obtaining arithmetic Fuchsian groups Gamma(p) from a tessellation {p, q} whose regular hyperbolic polygon P-p generates an oriented surface with genus g >= 2 is established. This necessary condition is called Fermat condition due to its identification with the Fermat primes. It is also shown an isomorphism between arithmetic Fuchsian groups derived from different edge-pairings sets of the regular fundamental region associated with the tessellation {4g, 4g} for g = 2(n), 3.2(n), 5.2(n), and 3.5.2(n), and the tessellation {4g + 2, 2g + 1} for g = 2. One set uses the normal form whereas the other one uses diametrically opposite edge-pairings. All these transformations are hyperbolic and so result in an oriented compact Riemann surface. (C) 2015 Elsevier B.V. All rights reserved.

关键词： Strip steel defect image   Mathematical morphology   Genetic algorithm   Image binarization   Non-uniform illumination   EOBMM   Top-hat transformation   Fitness function   Genetic operations  

摘要： In order to precisely extract the image shape feature for the defect detection and classification, the strip steel image needs to firstly be binarized effectively. In this paper, the intelligent information processing, including mathematical morphology and genetic algorithm, is introduced to the strip steel defect image binarization. In order to eliminate the effect of non-uniform illumination and enhance the detailed information of the strip steel defect image, an enhancement operator based on mathematical morphology (EOBMM) is proposed firstly. And then, the binarization method based on genetic algorithm (BMBGA) is applied to the binarization of the strip steel defect image processed by EOBMM. The experiment results show that our method is effective and efficiency in the strip steel defect image binarization and outperforms the traditional image binarization methods, Otsu and Bernsen. (C) 2016 Published by Elsevier Inc.

关键词： 数学启发式算法   自动化   立体仓库   拣货方式   设计  

摘要： 随着智能化技术的发展,企业在发展过程中纷纷开展制动化应用,其中自动化立体仓库拣货方式的应用比较广阔,它是一种采用高层立体货架存储物资的仓库拣货系统,利用计算机控制管理,结合通讯系统、检测条码、自动控制系统以及各种辅助设备组成的自动化货物搬运系统。本文为了分析自动化立体仓库拣货方式的优化设计,根据仓库拣货特点和存在的问题,建立相应的数学模型,同时设计启发式规则算法,进而优化自动化立体仓库拣货路径,以便达到缩短拣货距离,提高拣货效率的目的。

关键词： 信息技术   高中数学算法教学   改革和创新  

摘要： 随着社会的发展人们已经进入了信息的时代,互联网和电脑的发明带来了海量的信息并且提高了信息的传播速度,从各个方面影响着人们的工作和生活,并且已经渗透到了几乎所有的领域,所以教育行业结合信息技术也是非常有必要的,下面我们就来具体的分析高中数学算法教学与信息技术的有机融合问题。

关键词： 新课标   高中数学   算法教学   研究  

摘要： 算法在我国古代就有了很好的运用。随着时代的发展,高中数学进入了新课标时期,高中数学教师也顺应时代的变化,把算法教学加入到数学教学中。把国家对高中数学算法的研究成果和新课标下的高中数学联系起来进行数学教学,以望会对高中数学的教学提供帮助。

关键词： tree hashing   MathML   mathematical formula search   information retrieval  

摘要： Mathematical formulae play an important role in many scientific domains. Regardless of the importance of mathematical formula search, conventional keyword-based retrieval methods are not sufficient for searching mathematical formulae, which are structured as trees. The increasing number as well as the structural complexity of mathematical formulae in scientific articles lead to the necessity for large-scale structure-aware formula search techniques. In this paper, we formulate three types of measures that represent distinctive features of semantic similarity of math formulae, and develop efficient hash-based algorithms for the approximate calculation. Our experiments using NTCIR-11 Math-2 Task dataset, a large-scale test collection for math information retrieval with about 60-million formulae, show that the proposed method improves the search precision while also keeps the scalability and runtime efficiency high.

关键词： algebraic multigrid methods   classification   hyperspectral images   marker selection   spectral-spatial   hierarchical segmentation  

摘要： The algebraic multigrid (AMG) method is used to solve linear systems of equations on a series of progressively coarser grids and has recently attracted significant attention for image segmentation due to its high efficiency and robustness. In this paper, a novel spectral-spatial classification method for hyperspectral images based on the AMG method and hierarchical segmentation (HSEG) algorithm is proposed. Our method consists of the following steps. First, the AMG method is applied to hyperspectral imagery to construct a multigrid structure of fine-to-coarse grids based on the anisotropic diffusion partial differential equation (PDE). The vertices in the multigrid structure are then considered as the initial seeds (markers) for growing regions and are clustered to obtain a sequence of segmentation results. In the next step, a maximum vote decision rule is employed to combine the pixel-wise classification map and the segmentation maps. Finally, a final classification map is produced by choosing the optimal grid level to extract representative spectra. Experiments based on three different types of real hyperspectral datasets with different resolutions and contexts demonstrate that our method can obtain 3.84%-13.81% higher overall accuracies than the SVM classifier. The performance of our method was further compared to several marker-based spectral-spatial classification methods using objective quantitative measures and a visual qualitative evaluation.

关键词： 算法学习   高中数学   引导   思考  

摘要： 高中数学教师要引导学生理解算法的意义,为学生日后学习建模打好基础.在具体的教学策略上应该以生为本,丰富学生的过程体验,提高学习的实际效果.