The development of a wax layer on the interior wall of a circular pipe transporting heated oil

In this article we develop a simple model to describe the evolution of a depositional wax layer on the inner surface of a circular pipe transporting heated oil, which contains dissolved wax. When the outer pipe surface is cooled sufficiently, the growth of a wax layer is initiated on the inner pipe wall, and this evolves to a saturated steady state thickness. The model proposed is based on fundamental balances of heat flow from the oil, into the wax layer, and across the pipe wall. We present an analysis of the model, examine a relevant asymptotic limit in which the full details of the solution to the model are available and develop an efficient numerical method (based on the method of fundamental solutions) for producing approximations of the model solution. The mathematical structure of the model is that of a free boundary evolution problem of generalised Stefan type. © The Author, 2014.

Polynomial function intervals for floating-point software verification

The focus of our work is the verification of tight functional properties of numerical programs, such as showing that a floating-point implementation of Riemann integration computes a close approximation of the exact integral. Programmers and engineers writing such programs will benefit from verification tools that support an expressive specification language and that are highly automated. Our work provides a new method for verification of numerical software, supporting a substantially more expressive language for specifications than other publicly available automated tools. The additional expressivity in the specification language is provided by two constructs. First, the specification can feature inclusions between interval arithmetic expressions. Second, the integral operator from classical analysis can be used in the specifications, where the integration bounds can be arbitrary expressions over real variables. To support our claim of expressivity, we outline the verification of four example programs, including the integration example mentioned earlier. A key component of our method is an algorithm for proving numerical theorems. This algorithm is based on automatic polynomial approximation of non-linear real and real-interval functions defined by expressions. The PolyPaver tool is our implementation of the algorithm and its source code is publicly available. In this paper we report on experiments using PolyPaver that indicate that the additional expressivity does not come at a performance cost when comparing with other publicly available state-of-the-art provers. We also include a scalability study that explores the limits of PolyPaver in proving tight functional specifications of progressively larger randomly generated programs. © 2014 Springer International Publishing Switzerland.

A preliminary evaluation of a novel method to monitor a triple antioxidant combination (vitamins E, C and alpha-lipoic acid) in diabetic volunteers using in vitro methaemoglobin formation

Eight otherwise healthy diabetic volunteers took a daily antioxidant supplement consisting of vitamin E (200 IU), vitamin C (250 mg) and α-lipoic acid (90 mg) for a period of 6 weeks. Diabetic dapsone hydroxylamine-mediated methaemoglobin formation and resistance to erythrocytic thiol depletion was compared with age and sex-matched non-diabetic subjects. At time zero, methaemoglobin formation in the non-diabetic subjects was greater at all four time points compared with that of the diabetic subjects. Resistance to glutathione depletion was initially greater in non-diabetic compared with diabetic samples. Half-way through the study (3 weeks), there were no differences between the two groups in methaemoglobin formation and thiol depletion in the diabetic samples was now lower than the non-diabetic samples at 10 and 20 min. At 6 weeks, diabetic erythrocytic thiol levels remained greater than those of non-diabetics. HbA1c values were significantly reduced in the diabetic subjects at 6 weeks compared with time zero values. At 10 weeks, 4 weeks after the end of supplementation, the diabetic HbA1c values significantly increased to the point where they were not significantly different from the time zero values. Total antioxidant status measurement (TAS) indicated that diabetic plasma antioxidant capacity was significantly improved during antioxidant supplementation. Conversion of α-lipoic acid to dihydrolipoic acid (DHLA) in vivo led to potent interference in a standard fructosamine assay kit, negating its use in this study. This report suggests that triple antioxidant therapy in diabetic volunteers attenuates the in vitro experimental oxidative stress of methaemoglobin formation and reduces haemoglobin glycation in vivo. © 2003 Elsevier Science B.V. All rights reserved.

Generalization of Ehrlich-Kjurkchiev Method for Multiple Roots of Algebraic Equations

In this paper a new method which is a generalization of the Ehrlich-Kjurkchiev method is developed. The method allows to find simultaneously all roots of the algebraic equation in the case when the roots are supposed to be multiple with known multiplicities. The offered generalization does not demand calculation of derivatives of order higher than first simultaneously keeping quaternary rate of convergence which makes this method suitable for application from practical point of view.

Uniform Convergence of the Newton Method for Aubin Continuous Maps

* This work was supported by National Science Foundation grant DMS 9404431.

About New Pattern Recognition Method for the Universal Program System “Recognition”

In this work the new pattern recognition method based on the unification of algebraic and statistical approaches is described. The main point of the method is the voting procedure upon the statistically weighted regularities, which are linear separators in two-dimensional projections of feature space. The report contains brief description of the theoretical foundations of the method, description of its software realization and the results of series of experiments proving its usefulness in practical tasks.

Fixed Point Theorems of Kannan Type for Cyclical Contractive Conditions

The main aim of this paper is to obtain fixed point theorems for Kannan and Zamfirescu operators in the presence of cyclical contractive condition. A method for approximation of the fixed points is also provided, for which both a priori and a posteriori error estimates are given. Our results generalize, unify and extend several important fixed points theorems in literature. In order to illustrate the efficiency of our generalizations five significant examples are also given.

Measurement and compensation of pivot point positional error on five-axis machines

Measuring and compensating the pivot points of five-axis machine tools is always challenging and very time consuming. This paper presents a newly developed approach for automatic measurement and compensation of pivot point positional errors on five-axis machine tools. Machine rotary axis errors are measured using a circular test. This method has been tested on five-axis machine tools with swivel table configuration. Results show that up to 99% of the positional errors of the rotary axis can be compensated by using this approach.

The Graves Theorem Revisited II: Robust Convergence of the Newton Method

AMS subject classification: 65J15, 47H04, 90C30.

Interior Boundaries for Degenerate Elliptic Equations of Second Order Some Theory and Numerical Observations

2010 Mathematics Subject Classification: Primary 35J70; Secondary 35J15, 35D05.

Local-Median Method of Forecasting for Regression Time Series under Outliers

2002 Mathematics Subject Classification: 62M20, 62-07, 62J05, 62P20.

Estimation of a Regression Function on a Point Process and its Application to Financial Ruin Risk Forecast

2000 Mathematics Subject Classification: Primary 60G55; secondary 60G25.

Evaluation of applying retaining shield rotor for high-speed interior permanent magnet motors

This paper proposes a novel rotor structure for high-speed interior permanent magnet motors to overcome huge centrifugal forces under high-speed operation. Instead of the conventional axial stacking of silicon-steel laminations, the retaining shield rotor is inter-stacked by high-strength stainless-steel plates to enhance the rotor strength against the huge centrifugal force. Both mechanical characteristics and electromagnetic behaviors of the retaining shield rotor are analyzed using finite-element method in this paper. Prototypes and experimental results are demonstrated to evaluate the performance. The analysis and test results show that the proposed retaining shield rotor could effectively enhance the rotor strength without a significant impact on the electromagnetic performance, while some design constraints should be compromised.

Design and flux-weakening control of an interior permanent magnet synchronous motor for electric vehicles

Permanent magnet synchronous motors (PMSMs) provide a competitive technology for EV traction drives owing to their high power density and high efficiency. In this paper, three types of interior PMSMs with different PM arrangements are modeled by the finite element method (FEM). For a given amount of permanent magnet materials, the V shape interior PMSM is found better than the U-shape and the conventional rotor topologies for EV traction drives. Then the V shape interior PMSM is further analyzed with the effects of stator slot opening and the permanent magnet pole chamfering on cogging torque and output torque performance. A vector-controlled flux-weakening method is developed and simulated in matlab to expand the motor speed range for EV drive system. The results show good dynamic and steady-state performance with a capability of expanding speed up to 4 times of the rated. A prototype of the V shape interior PMSM is also manufactured and tested to validate the numerical models built by the finite element method.

Fenntarthatósági szempontok beépítése a beszállító értékelésébe a DEA/CI összetett indikátorok módszere alkalmazásával (Integrating sustainability criteria in supplier evaluation with application of the method of of DEA/CI complex indicators)

A környezeti hatások rendszerint túlmutatnak egy vállalat határain, éppen ezért az ellátási lánc kontextusban a környezeti szempontok érvényesítése során fontos szerep jut a beszerzési döntéseknek is. Számos olyan példát lehetne említeni, amikor egy adott szempont szerint egy alternatíva környezetileg előnyös, de az ellátási lánc egészét nézve már környezetterhelő. A környezeti hatások ellátási lánc szinten való mérése azonban komoly kihívásokat jelent. Ezzel jelentős kutatásokat és fejlesztéseket inspirált a téma. Az egyik olyan terület, amelyben komoly kutatási eredmények születtek, az a környezeti szempontok beszállítói értékelésbe való beépítése. A kutatások ezen irányához csatlakozva a szerzők tanulmányunkban azt keresik, hogyan lehet meghatározni az egyik legáltalánosabban használt szállítóértékelési módszerben, a súlyozott pontrendszerben egy adott szemponthoz azt a súlyt, amely mellett az adott szempont már döntésbefolyásoló tényezővé válik. Ehhez a DEA (Data Envelopment Analysis) összetett indikátorok (Composite Indicators, CI) módszerét alkalmazzák. A szempontok közös súlyának fontossága megállapításához a lineáris programozás elméletét használják. _____ Management decisions often have an environmental effect not just within the company, but outside as well, this is why supply chain context is highlighted in literature. Measuring environmental issues of supply decisions raise a lot of problems from methodological and practical point of view. This inspires a rapidly growing literature as a lot of studies were published focusing on how to incorporate environmental issues into supplier evaluation. This paper contributes to this stream of research as it develops a method to help weight selection. In the authors’ paper the method of Data Envelope Analysis (DEA) is used to study the extension of traditional supplier selection methods with environmental factors. The selection of the weight system can control the result of the selection process.