关键词： distributed summation algorithm   verification   formal proof checking   process algebra   mu CRL   PVS  

摘要： We present an algebraic verification of Segall's propagation of information with feedback algorithm and we report on the verification of the proof using the PVS system. This algorithm serves as a nice benchmark for verification exercises (see [2, 8, 17]). The verification is based on the methodology presented in [7] and demonstrates its suitability to deliver mechanically verifiable correctness proofs of highly nondeterministic distributed algorithms.

关键词： 数学形态学   储粮害虫   边缘检测  

摘要： 对储粮害虫进行实时监测是非常必要的,其中基于图像识别的检测是目前研究较多的一种方法。本文简述了数学形态学方法,对数学形态学在粮虫图像处理边缘检测中的应用进行了研究。计算表明,该方法较好地解决了粮虫图像的去噪和边缘检测问题。

关键词： 数据并行算法   面向算法的数学模型   数学描述  

摘要： 针对数据并行计算在图像处理中的应用研究,提出了数据并行计算机的面向算法的数学模型,以及利用该模型得到的一种新颖的、数据并行算法的数学描述方法.采用该数学描述方法对数据并行图像处理中的灰度直方图运算、区域增长法图像分割以及图像卷积运算等3类图像处理方法进行了描述.结果表明,该数学描述方法不仅简单可行和精确,而且,可以从数学公式中直接得到算法的通信复杂性和计算复杂性.该方法可以应用到数据并行计算的应用研究中作为数学描述的工具.

关键词： 高炉   软熔带模型   改进  

摘要： 宝钢软熔带模型对高炉监测装置要求较高;只有十字测温装置和炉身上部探测器正常时,模型才能正常运行。对该模型的假设条件和推算方法等方面进行改进,给出了新模型设计框图。应用表明,在十字测温仪不能正常使用时,该模型仍然能够运行。

关键词： 多目标决策   模糊数学   排序  

摘要： 针对多目标决策中的最优问题,提出了一种实用的模糊决策方法。最后应用该决策方法分析解决了一个实际问题。

关键词： 纯方位系统   线性化   最小二乘法   TMA   工程数学模型  

摘要： 在纯方位系统目标运动分析(TMA)众多方法中,非线性最小二乘法是较为实用的一种,由于其理论模型与选配的常规算法,在工程实施中仍嫌繁琐,因此,给出了线性化的最小二乘法,建立了工程数学模型与算法,并深入地研究了它的初值选取问题。最后,得出了非线性最小二乘法应用于纯方位系统TMA 问题的研究结论。

关键词： 高中   数学   学习辅导   解题思路   编程方法  

关键词： RES plus hydrogen energy system   black-box mathematical optimization  

摘要： The paper deals with the description of the procedure of mathematical optimization of a model of stand-alone energy system based only on renewable source (solar irradiance and micro-hydro power) integrated with a system for the production of hydrogen (electrolyzer, compressed gas storage and Proton Exchange Membrane Fuel Cell), whose aim is to supply the electricity needs of a residential user during a complete year of operation. The objective of the optimization problem is to minimize the investment cost of the plant while assuring the supply of the user requests. The decision variables of the optimization problem are linked to the size of the micro-hydro turbine, of the PV array, of the electrolyzer and of the fuel cell. Because of the structure of the plant, the mathematical problem is classified as a black-box problem, and it has been solved using the Downhill Simplex Method. The structure of the optimized plant is discussed through energy considerations. Moreover, the modifications that have been introduced in the basic Downhill algorithm are explained and discussed as well. (C) 2004 Elsevier Ltd. All rights reserved.

关键词： Calcium Leucovorin   Algorithms   Group 1   Acute   Hemodilution  

摘要： BACKGROUND: The interindividual variability of blood volume (BV) is high. The aim of this work was to use the decrease in large-vessel hematocrit (HKLV) during acute normovolemic hemodilution (ANH) as an instrument for estimating preoperative BV. STUDY DESIGN AND METHODS: In 39 patients, (Group 1) preoperative ANH was performed. Plasma volume, red cell volume, and HKLV were measured before and 30 minutes after ANH, respectively. In a retrospective analysis, a mathematical algorithm was developed for estimating BV before ANH by means of the measured changes in HKLV and the amount of blood removed during ANH. To validate the method prospectively, ANH was performed in an additional 10 patients (Group 2). Preoperative BV was estimated and measured in the same way as in Group 1. RESULTS: In Group 1, the mean difference between estimated and measured BV before ANH was 200 +/- 403 mL (5.14 +/- 10.12%;p > 0.05;r = 0.8). In Group 2, the estimated BV before ANH was 41 +/- 348 mL (-0.53 +/- 7.84%) lower than the measured BV (p > 0.05;r = 0.94). In this group, however, two patients with an extraordinarily small (2691 mL) and large (6172 mL) preoperative BV, respectively, were identified correctly by means of the algorithm. CONCLUSIONS: The changes in HKLV determined during ANH provide a good "bedside" estimation of preoperative BV.

关键词： NUMERICAL grid generation (Numerical analysis)   HERMITE polynomials   ORTHOGONAL polynomials   ALGORITHMS  

摘要： To produce grids conforming to the boundary of a physical domain with boundary orthogonality features, algebraic methods like transfinite interpolating schemes can be profitably used. Moreover, the coupling of Hermite-type (also interpolating prescribed boundary direction) schemes with elliptic methods turns out to be effective to overcome the drawback of both algebraic and elliptic strategies. Thus, in this paper, we present an algorithm for the generation of boundary orthogonal grids which couples a mixed Hermite algebraic method with a boundary orthogonal elliptic scheme. Numerical tests on domains with classical geometries show satisfactory performances of the algorithm and coupling effectiveness in achieving grid boundary orthogonality and smoothness. (C) 2004 Elsevier Inc. All rights reserved.