Abstract: Desirability functions serve to turn multiple response optimization problems into single response problems. A new set of these functions will be introduced within this paper that are based on an analogous probabilistic model for predicting the optimal starting time of a process to meet a given time schedule. We use loss-function-like functions and the probability of not meeting a given target to find the optimal set of input parameters where statistical properties are as we expect.
Abstract: The problem of electrical energy storage can possibly be solved with the help of electrochemical solar cells, which are suitable to generate either electrical energy or hydrogen gas under special conditions. The greatest problem of the electrochemical solar cell technology is to find novel materials which have appropriate properties for electrochemical energy conversion. In this work Cd4GeSe6, a novel material for electrochemical solar cells, will be presented.
Abstract: A knowledge based modeling of mechanical products is presented for industrial CAD/CAM systems. An active model is proposed that comprise knowledge from modeling procedures, generic part models and engineers. Present day models of mechanical systems do not contain data about the background of human decisions. This situation motivated the authors at their investigations on exchange design intent information between engineers. Their concept was extending of product models to be capable of description of design intent information. Several human-computer and human-human communication issues were considered. The complex communication problem has been divided into four sub-problems, namely communication of human intent source with the computer system, representation of human intent, exchange of intent data between modeling procedures and communication of the represented intent with humans. Paper discusses the scenario of intelligent modeling based engineering. Then key concepts for the application of computational intelligence in computer model based engineering systems are detailed including knowledge driven models as well as areas of their application. Next, behavior based models with intelligent content involving specifications and knowledge for the design processes are emphasized and an active part modeling is proposed and possibilities for its application are outlined. Finally, design intent supported intelligent modeling is discussed.
Abstract: In this paper we summarize some fundamental results on left-continuous t-norms. First we study the nilpotent minimum and related operations in consider- able details. This is the very ¯rst example of a left-continuous but not continuous t-norm in the literature. Then we recall some recent extensions and construction methods.
Keywords: Associative operations, Triangular norm, Residual implication, Left-continuous t-norm, Nilpotent minimum
Abstract: The paper introduces novel residuum-based reasoning systems in a pseudo—analysis based uninorm environment. Based on the definitions and theorems for lattice ordered monoids and left continuous uninorms and t-norms, certain distance-based operators are focused on, with the help of which the uninorm-residuum based approximate reasoning system becomes possible in Fuzzy Logic Control (FLC) systems, but as it will be shown, this type of the reasoning partially satisfies the conditions for approximate reasoning and inference mechanism for FLC systems.
Keywords: FLC, approximate reasoning, uninorms
Abstract: This paper presents a case study how to apply the recently proposed TP model transformation technique, that has been introduced for nonlinear statefeedback control design, to nonlinear observer design. The study is conducted through an example. This example treats the question of observer design to the prototypical aeroelastic wing section with structural nonlinearity. This type of model has been traditionally used for the theoretical as well as experimental analysis of two- dimensional aeroelastic behavior. The model investigated in the paper describes the nonlinear plunge and pitch motion of a wing, and exhibits complex nonlinear behavior. In preliminary works this prototypical aeroelastic wing section was stabilized by a state-feedback controller designed via TP model transformation and linear matrix inequalities. Numerical simulations are used to provide empirical validation of the resulting observer.
Abstract: This paper is the first part of a series of studies where we examine several methods for the solution of the boundary layer equation of the fluid mechanics. The first of these is the analytical or rather quasi analytical method due to Blasius. This method reduces a system of partial differential equations to a system of ordinary differential equations and these in turn are solved by numerical methods since no exact solution of the Blasius type equations is known. We determind all the Blasius equation neccessary for up to 11-th order approximation. Our further aim to study the finite difference numerical solutions of the boundary layer equation and some of the methods applying weighted residual principles and by comparing these with the ”exact” solutions arrived at by Blasius method develop a quick reliable method for solving the boundary layer equation.
Keywords: Boundary Layer, Blasius Method, Boundary Layer equation
Abstract: Let lH and lV denote the number of layers reserved for horizontal (vertical) wire segments in the multilayer dogleg-free Manhattan model. [d/lH] is a lower bound for the minimum width for routing a channel of density d where [x] denotes the upper integer part of x. A greedy interval packing algorithm realizes every channel routing problem with width [d/(lV-1)] in linear time if lV≥2. In case lV=lH+1 the resulting width is [d/lH], hence it is best possible. The second author has shown that in case lV=lH=k>1, it is NP-complete to decide whether a channel routing problem can be solved with width [d/k] in the dogleg-free 2k-layer Manhattan model. Here we turn to the remaining case. In the special case lV=1 and lH=2 we show its relation to the NP-complete problem for the usual 2-layers Manhattan model and we point out a relation of the routing problem to a 2-processor job sheduling problem.
Keywords: VLSI, detailed routing,channel routing, Manhattan model, multilayer routing
Abstract: In the first part of the presentation detailed description of the modular technical system built up of electric components and end-effectors is given. Each of these components was developed at different industrial companies separately. The particular mechatronic unit under consideration was constructed by the use of the appropriate mathematical model of these units. The aim of this presentation is to publish the results achieved by the use of a mathematical modeling technique invented and applied in the development of different mechatronic units as drives and actuators. The unified model describing the whole system was developed with the integration of the models valid to the particular components. In the phase of testing the models a program approximating typical realistic situations in terms of work-loads and physical state of the system during operation was developed and applied. The main innovation here presented consists in integrating the conclusions of professional experiences the developers gained during their former R&D activity in different professional environments. The control system is constructed on the basis of classical methods, therefore the results of the model investigations can immediately be utilized by the developer of the whole complex system, which for instance may be an industrial robot.
Keywords: mechatronic, system investigation, industrial robot, DC servo motor, PID control
Abstract: Source-to-source transformations play crucial role in weaving multiple aspects of computation in aspect languages. Except that expressing imperative programs in the uniform form of expressions simplifies these transformations, this form is useful from the viewpoint of recognizing different aspects of computation at any level of program structure. In this paper we present the relation between imperative language and PFL – a process functional language, which manipulate environment variables in a side-effect manner, still preserving a purely functional principle based on evaluating expressions. Using an example of an imperative structured program, we will show the semantical equivalence of process functional and imperative programs. As a result, fine grained PFL form for picking out potential join points in imperative programs is obtained.
Keywords: Programming paradigms, programming languages, side effects, process functional language, aspect oriented programming