Abstract: 3D model reconstruction plays a very important role in computer vision as well as in different engineering applications. The determination of the 3D model from multiple images is of key importance. One of the most important difficulties in autonomous 3D reconstruction is the (automatic) selection of the ‘significant’ points which carry information about the shape of the 3D bodies i.e. are characteristic from the model point of view. Another problem to be solved is the point correspondence matching in different images.

In this paper a 3D reconstruction technique is introduced, which is capable to determine the 3D model of a scene without any external (human) intervention. The method is based on recent results of image processing, epipolar geometry, and intelligent and soft techniques. Possible applications of the presented algorithm in vehicle system dynamics are also presented. The results can be applied advantageously at other engineering fields, like carcrash analysis, robot guiding, object recognition, supervision of 3D scenes, etc,. as well.

Keywords: 3D reconstruction, perspective geometry, point correspondence matching, epipolar geometry, fuzzy image processing, features extraction, information enhancement, image understanding, car-body deformation modeling, crash analysis

Abstract: An overview of methods of pseudo-analysis in applications on important classes of nonlinear partial differential equations, occurring in different ¯elds, is given. Hamilton-Jacobi equations, specially important in the control theory, are for impor- tant models usually with non-linear Hamiltonian H which is also not smooth, e.g., the absolute value, min or max operations, where it can not apply the classical math- ematical analysis. Using the pseudo-analysis with generalized pseudo-convolution it is possible to obtain solutions which can be interpreted in the mentioned classical way. Another important classes of nonlinear equations, where there are applied the pseudo-analysis, are the Burgers type equations and Black and Shole equation in op- tion pricing. Very recent applications of pseudo-analysis are obtained on equations which model °uid mechanics (Navier-Stokes equation) and image processing (Perona and Malik equation).

Keywords: Pseudo-analysis, nonlinear partial differential equation, Hamilton- Jacobi equation, Burgers type equation, Bellman differential equation, Navier-Stokes equation, Perona and Malik equation

Abstract: We propose a new axiomatization of the Shapley value for cooperative games, where symmetry and efficiency can be discarded and replaced with new nat- ural axioms. From any game, an excluded-player game is built by discarding all coalitions that contain a fixed player. Then it is shown that the Shapley value is the unique value satisfying the linearity axiom, the nullity axiom, the excluded-null- player axiom, and the equity axiom. In the second part, by generalizing the above material, the Shapley value for multichoice games is worked out.

Keywords: Shapley value, multichoice games, equity, generalized nullity axiom

Abstract: PFSQL is the query language used for querying fuzzy relational databases. One of the most distinguished features of PFSQL is the possibility to prioritize conditions. Priorities are most often confused with weights. In this paper we compare queries with prioritized conditions with queries with weighed conditions. Since PFCSP systems are the theoretical background for PFSQL and similarly WFCSP are the theoretical background for weighted queries we elaborate these two systems. Queries with thresholds are another feature of PFSQL. When a threshold is attached to a condition only the tuples that satisfy the condition with a higher value then the threshold are displayed in the result. Through examples we compare these features of PFSQL.

Keywords: PFSQL, PFCSP, priority, threshold, weight

Abstract: “Szabad(ka)” is a hexapod walker constructed at the Polytechnical Engineering College “VTS” Subotica to test and help implementing algorithms, designed by the Hungarian science institute called ”KFKI”, and our college. These algorithms are connected to combined force and position control, and their primary goal is to achieve robust, adaptable walking in rough and unknown environment, and to calculate the prospective and best route. The article describes the problems which appeared during the process of realization. Starting from the imperfections of the designed construction we describe the justification of the implementation of ANFIS in the further development of the robot.

Abstract: The order of transition matrices induced by mobility measure is presented. A semiring is formed over the set of all bistochastic matrices in which the order is induced by mobility measure which satisfies relaxed Shorrocks monotonicity condition and all other Shorrocks axioms.

Keywords: mobility measure, transition matrix, semiring

Abstract: During the last two decades, Group for intelligent systems at Mathematical faculty in Belgrade has developed several theorem provers for different kind of formal systems. Lately, we have turned our attention to fuzzy logic and development of the corresponding theorem prover. The first step is to find the suitable axiomatization, i.e., the formalization of fuzzy logic that is sound, complete and decidable. It is well known that there are fuzzy logics (such as Product logic) that require infinitary axiomatization in order to tame the non-compactness phenomena. Though such logics are strongly complete (every consistent set of formulas is satisfiable), the only possible decidability result is the satisfiability of a formula. Therefore, we have adapted the method of Fagin, Halpern and Megiddo for polynomial weight formulas in order to interpret the Lukasiewicz and the Product logic into the first order theory of the reals.

Abstract: Qualitative reasoning attracts special attention over the last two decades due to its wide applicability in every-day tasks such as diagnostics, tutoring, real-time monitoring, hazard identification, etc. Reasoning about qualitative probabilities is one of the most common cases of qualitative reasoning. Here we will present a part of our work on the problem of sound, strongly complete and decidable axiomatization of the notion of qualitative probability.

Abstract: In the paper a short review of basic type-2 terms is given. One of the possible type-2 Fuzzy Logic System applications is represented for signal processing problems, because type-2 FLSs can handle second level of uncertainties of the stochastic error measurements using Stochastic adding A/D conversion.

Keywords: type-2 fuzzy sets, distance based operators

Abstract: Heart rate and blood pressure short-term variability analysis represent promising quantitative measures of the cardiovascular autonomic controls. The analysis include traditional statistical analytical tools and a number of methods based on nonlinear system theory, recently developed to give better insight into complex HR and BP time series. These methods might reveal abnormalities that may not be uncovered by traditional measures. This paper investigates the measure of entropy of HR and BP time series as a consequence of the involvement of the autonomic nervous system, assessed in conscious telemetred rats under blockade of β-adrenergic, α-adrenergic and M-cholinergic receptors.