Search in Publications

Found 6273 publications

A Test Model for Hardware and Software Systems

Jozsef Sziray

Publication Name: Journal of Advanced Computational Intelligence and Intelligent Informatics

Publication Date: 2004-09-01

Volume: 8

Issue: 5

Page Range: 523-529

Description:

The paper is concerned with the general aspects of testing complex hardware and software systems. First a mapping scheme as a test model is presented for an arbitrary given system. This scheme serves for describing the one-to-one correspondence between the input and output domains of the system, where the test inputs and fault classes are also involved. The presented test model incorporates both the verification and the validation schemes for hardware and software. The significance of the model is that it alleviates the clear differentiation between verification and validation tests, which is important and useful in the process of test design and evaluation. On the other hand, this model provides a clear overview on the various purpose test sets, which helps in organizing and applying these sets. The second part of the paper examines the case when the hardware and software are designed by using formal specification. Here the consequences and problems of formal methods, and their impacts on verification and validation are discussed.

Open Access: Yes

DOI: 10.20965/jaciii.2004.p0523

Residual stresses in carburised, carbonitrided and case-hardened components (Part 2)

Tamás Réti

Publication Name: Heat Treatment of Metals

Publication Date: 2004-03-11

Volume: 31

Issue: 1

Page Range: 4-10

Description:

An overview is given of the significant progress in research focused on the assessment of residual stress effects in case-hardened components. Focus is on relevant computational models intended to simulate stress evolution during heat treatment.

Open Access: Yes

DOI: DOI not available

Explicitation; A universal of translated text?

Vilma Papai

Publication Name: Benjamins Translation Library

Publication Date: 2004-01-01

Volume: 48

Issue: Unknown

Page Range: 143-164

Description:

This article reports on corpus-based investigation of explicitation generally referred to as one of the universal features of translation. It gives an account of the findings of a twofold analysis carried out on an English-Hungarian parallel corpus and a comparative corpus of translated and non-translated texts in Hungarian. The purpose is to reveal the regularities of both the translation process in terms of explicitation and the translation product in terms of text explicitness. The paper will argue that there is a close connection between explicitation and simplification, another candidate for translation universals.

Open Access: Yes

DOI: 10.1075/btl.48.12pap

Taylor series method with numerical derivatives for initial value problems

G. Y. Molnarka E. M. Miletics

Publication Name: Journal of Computational Methods in Sciences and Engineering

Publication Date: 2004-01-01

Volume: 4

Issue: 1-2

Page Range: 105-114

Description:

The Taylor series method is one of the earliest analytic-numeric algorithms for approximate solution of initial value problems for ordinary differential equations. The main idea of the rehabilitation of these algorithms is based on the approximate calculation of higher derivatives using well-known technique for the partial differential equations. In some cases such algorithms will be much more complicated than a R-K methods, because it will require more function evaluation than well-known classical algorithms. However these evaluations can be accomplished fully parallel and the coefficients of truncated Taylor series can be calculated with matrix-vector operations. For large systems these operations suit for the parallel computers. The approximate solution is given as a piecewise polynomial function defined on the subintervals of the whole interval and the local error of this solution at the interior points of the subinterval is less than that one at the end point. This property offers different facility for adaptive error control. This paper describes several above-mentioned algorithms and examines its consistency and stability properties. It demonstrates some numerical test results for stiff systems herewith we attempt to prove the efficiency of these new-old algorithms.

Open Access: Yes

DOI: 10.3233/jcm-2004-41-213

A meshless polyharmonic-type boundary interpolation method for solving boundary integral equations

Csaba Gáspár

Publication Name: Engineering Analysis with Boundary Elements

Publication Date: 2004-01-01

Volume: 28

Issue: 10 SPEC. ISS.

Page Range: 1207-1216

Description:

A boundary interpolation technique is introduced based on multi-elliptic partial differential equations. The interpolation problem is converted to a special higher order partial differential equation which is completely independent of the geometry of the original problem. Based on this interpolation method, meshless methods are constructed for the 2D Laplace-Poisson equation. The presented approach makes it possible to avoid solving large and dense interpolation equations. The auxiliary higher order partial differential equation is solved by robust, quadtree-based multi-level methods. The results can be easily generalized to 3D problems as well. © 2004 Elsevier Ltd. All rights reserved.

Open Access: Yes

DOI: 10.1016/j.enganabound.2003.04.001

Residual Stresses in Carburised, Carbonitrided and Case-hardened Components (Part 1)

Tamás Réti

Publication Name: Heat Treatment of Metals

Publication Date: 2003-12-08

Volume: 30

Issue: 4

Page Range: 83-96

Description:

The assesment of residual stress effects in carburised, carbonitride and case-hardened components was discussed. The development of computational models and procedures, which were applied to the simulation of the stress-evolution processes during heat treatment was also discussed. Shot peening, the most versatile method of producing residual stresses was studied. The influence of microstructure and residual stresses on crack initiation and propagation was discussed.

Open Access: Yes

DOI: DOI not available

A simple technique to estimate the processing window for laser clad coatings

No authors available

Publication Name: International Surface Engineering Congress - Proceedings of the 1st Congress

Publication Date: 2003-12-01

Volume:

Issue:

Page Range: 237-242

Description:

A semi-empirical method for selecting the processing parameters of laser cladding is proposed. This phenomenological approach uses simple mathematical formulae, derived from a statistical analysis of measured data, to relate the laser cladding parameters with the geometric features of the clad track. Given the required clad height and available laser beam power, the proposed method allows one to calculate values of the scanning speed and powder feed rate which are used to obtain low dilution, pore free coatings, fusion bonded to the substrate. To illustrate the application of this method, variable powder feed rate laser cladding experiments were carried out with Stellite 6 powder on mild steel substrates. In this technique the laser beam power and radius and the processing speed are kept constant, while the powder feed rate is varied along a single track length according to a specified linear function. The expressions derived from the model were used to plot the experimental data in a coherent manner, revealing the combined role of the different processing parameters.

Open Access: No

DOI: DOI not available

Visualization and art in the mathematics classroom

Angela Schwenk Norbert Kalus Éva Veronika Rácz Gyor János Karsai

Publication Name: Zdm International Journal on Mathematics Education

Publication Date: 2003-12-01

Volume: 35

Issue: 1

Page Range: 24-29

Description:

In this paper we summarize our concepts and practice on computer-aided mathematical experimentation, and illustrate them by Mathematica projects that we have developed for our research and the courses "Computer-aided mathematical modelling" and "Computer Algebra I-II" held for students of life sciences at University of Szeged and computational engineering at TFH Berlin, University of Applied Sciences.

Open Access: Yes

DOI: DOI not available

Biomedical Engineering Education and Related Research Activity in Hungary

No authors available

Publication Name: Annual International Conference of the IEEE Engineering in Medicine and Biology - Proceedings

Publication Date: 2003-12-01

Volume: 4

Issue:

Page Range: 3533-3535

Description:

Biomedical Engineering is a relatively new interdisciplinary science. This paper presents the biomedical engineering activity, which is carried out at Budapest University of Technology and Economics and its partner institutes. In the first part the main goals and the curriculum of the Biomedical Engineering ducation Program (BMEEP) is presented. The second part of the paper summarizes the most important biomedical engineering researches carried out mostly in the Biomedical Engineering Laboratory of our university.

Open Access: No

DOI: DOI not available