关键词： Real coded genetic algorithms   Binary coded genetic algorithms   Nonlinear curve fitting   Parameter estimation   Ordinary differential equations   Dynamic system identification  

摘要： In this study, parameter estimation in mathematical models using the real coded genetic algorithms (RCGA) approach is presented. Although the RCGA is similar with the binary coded genetic algorithms (BCGA) in terms of genetic process, it has few advantages such as high precision, non-existence of Hamming's cliff etc., over the BCGA. In this approach, creating initial population and selection procedure are almost the same with the BCGA, but crossover and mutation operations. The proposed approach is implemented on the second order ordinary differential equations modeling the enzyme effusion problem and it is compared with previous approaches. The results indicate that the proposed approach produced better estimated results with respect to previous findings. (C) 2008 Elsevier Ltd. All rights reserved.

关键词： Two-sided assembly line balancing   Mathematical model   Genetic algorithm   Localized evolution  

摘要： A two-sided assembly line is a type of production line where tasks are performed in parallel at both sides of the line. The line is often found in producing large products Such as trucks and buses. This paper presents a mathematical model and a genetic algorithm (GA) for two-sided assembly line balancing (two-ALB). The mathematical model can be used as a foundation for further practical development in the design of two-sided assembly lines. In the GA. we adopt file strategy of localized evolution and steady-state reproduction to promote Population diversity and search efficiency. When designing the GA components, including encoding and decoding schemes. procedures of forming the initial population, and genetic operators, we take account of the features specific to two-ALB. Through Computational experiments. the performance of the proposed GA is compared with that of a heuristic and an existing GA with various problem instances. The experimental results show that the proposed GA outperforms the heuristic and the compared GA. (C) 2007 Elsevier Ltd. All rights reserved.

关键词： Coefficient inverse problems   convexification algorithm   imaging of antipersonnel land mines  

摘要： We address the efficiency issue for the globally convergent convexification algorithm for coefficient inverse problems. By properly choosing the upper limit for pseudo-frequency and with quadratic polynomial approximations of the quantities which depend on the pseudo-frequency, we show that the algorithm can be made dramatically faster relative to the previous "tail-free" implementation. Numerical results from imaging and the mathematical modeling of antipersonnel land mines demonstrate that the algorithm can detect the location(s) of the inclusion(s) from the background medium, as well as correctly identify the material property of the inclusion(s) and the background. This indicates that the convexification algorithm may be applied in real-time to detect and image mine-like targets in the field.

关键词： Hopf bifurcations   oscillations   dynamical systems   quantifier elimination over the reals   logical inconsistency checking  

摘要： Symbolic methods to investigate Hopf bifurcation problems of vector fields arising in the context of algebraic biology have recently obtained renewed attention. However, the symbolic investigations have not been fully algorithmic but required a sequence of symbolic computations intervened with ad hoc insights and decisions made by a human. In this paper we discuss the use of algebraic and logical methods to reduce questions on the existence of Hopf bifurcations in parameterized polynomial vector fields to quantifier elimination problems over the reals combined with the use of the quantifier elimination over the reals and simplification techniques available in REDLOG. We can reconstruct most of the results given in the literature within a few seconds of computation time and extend the investigations on these systems to previously not analyzed related systems. Especially we discuss cases in which one suspects that no Hopf bifurcation fixed point exists for biologically relevant values of parameters and system variables. Here we focus on logical and algebraic techniques of finding sub conditions being inconsistent with the hypothesis of the existence of Hopf bifurcation fixed points.

关键词： integrators   mathematics computing   Symbolic algebra  

摘要： In this paper by means of computer experiment we study advantages and disadvantages of the heuristical method of "parallel integrator". For this purpose we describe and use implementation of the method in Mathematica. In some cases we compare this implementation with the original one in Maple.

关键词： OpenMP   并行处理   腐蚀   膨胀   数学形态学  

摘要： 本文介绍了共享存储系统并行编程接口OpenMP模型、指令等。并通过研究数学形态学中的两种基本形态:腐蚀和膨胀,并利用腐蚀和膨胀算子进行空间关系的判断。

关键词： 车辆数优化   能量函数   适应度函数   遗传模拟退火算法  

摘要： 研究了物流运输系统车辆数优化问题的数学模型,构造出了模拟退火算法的能量函数,根据该函数可以求最优车辆数,又可以求最优车辆数下的最优行驶路径.用遗传模拟退火算法实现了车辆数的优化计算与路径优化计算.

关键词： 色彩管理软件   油墨制造业   涂料   最新版本   数学算法   领导者   半透明   配色  

摘要： 全球数码色彩管理领导者Datacolor公司近日宣布，向涂料、塑料和油墨制造业推出公司最新版本的MATCHPIGMENT色彩管理软件。这款软件汇聚了Datacolor公司的多项新技术，包括更先进的数学算法，即使是复杂且困难的透明或半透明色料配色，也能获得极为精确的色彩。

关键词： 中职计算机专业   数学   算法  

摘要： 通过对算法在计算机、数学科学中的地位和中等职业学校计算机教学现状的分析,提出中等职业学校计算机数学课堂加入算法内容,通过多方面的分析,指出了中等职业学校计算机专业数学课堂算法教学的可行性。