We present a cost effective method for computing quantitative upper and lower bounds on linear functional outputs of exact weak solutions to the advection-diffusion-reaction equation and we demonstrate a simple adaptive strategy by which such outputs can be computed to a prescribed precision. The bounds are computed from independent local subproblems resulting from a standard finite element app...

The field of method engineering has seen an increasing amount of interesting approaches and techniques over the last ten years. The coverage of these techniques ranges from the modeling of processes and systems to the situational construction of new ones. However, access to the required domain knowledge is often not available, and the effort required for effective method engineering is in most ...

This paper has described use of different types of planar electromagnetic sensors to test integrity of currency coins from several different countries. Three types of planar electromagnetic sensors, Mesh, Meander and Interdigital configuration have been used for testing. An effective method to test the integrity of coins using these three types of sensors has been explored. Finite Element model...

This paper addresses the problem of determining the symmetries of a plane or space curve defined by a rational parametrization. We provide effective methods to compute the involution and rotation symmetries for the planar case. As for space curves, our method finds the involutions in all cases, and all the rotation symmetries in the particular case of Pythagorean-hodograph curves. Our algorithm...

Behavior simulation is an effective method to visualize the meaning of mechanical concepts and has been applied in many computer-aided education systems. These simulations are not useful, however, for a learner who has already formulated an erroneous equation. In order to help the learner to recognize and correct the error, simulating the erroneous equation is a promising method. In this paper,...

In this paper we present an effective method for computing certain real coefficients λn which appear in a criterion for the Riemann hypothesis proved by Xian-Jin Li. With the use of this method a sequence of two-thousand λn’s has been calculated. This sequence reveals a peculiar and unexpected behavior: it can be split into a strictly growing trend and some tiny oscillations superimposed on thi...

Remote monitoring service for elderly people is an effective method to support elderly people with safe. In this paper, we tackle to reveal the relationships between quality of elderly monitoring service and sensor reliability in remote monitoring service. To achieve the above goal, we propose four step methods, generalization by three-actor model, designing the algorithms of the three-actor an...

Compared to the error factors of the Linear Array Digital Sun Sensor (DSS), those of the Area Array DSS are complicated and methods used for error compensation are not valid or simple enough. This paper presents the main error factors of the Area Array DSS and proposes an effective method to compensate them. The procedure of error compensation of Area Array DSS includes three steps. First, the ...

In this paper a general theory will be introduced that facilitates the detection of local boundaries in melodic surfaces. A model will be proposed that discovers points of maximum local change that allow a listener to identify potential perceptual boundaries. It is suggested that the Local Boundary Detection Model (LBDM) presents a more effective method for low-level segmentation in relation to...

A sensitivity bond graph, of the same structure as the system bond graph, is shown to provide a simple and effective method of generating sensitivity functions of use in optimisation. The approach is illustrated in the context of partially-known system parameter and state estimation.