The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
In this paper we consider a formulation of neural computation in terms of multilayer co-operative processes between local inference units. Each neuron is described in terms of a local computation frame with slots and semantic tables to represent the meaning of the input and output representation spaces. After some methodological remarks on the distinction between processors and processes in the auditor paradigm...
Any generalizing theory will have scientific and practical validity only if it: 1. reduces theoretical complexities in special theories caused by some inherent limitations; 2. contains special theories as special cases, moreover results, obtained beforehand, must be reproduced in a new more wider scale; 3. brings to appearing of new theoretical results, which are impossible in special theories,...
In this paper we start with some historical remarks about nonlinear network theory and motivate the geometrical approach of nonlinear dynamical networks by means of a simple example. Then we outline the theoretical foundations of this theory and discuss some results. Finally, we refer to geometric approaches in physics and in other areas of engineerings and explain the common features and the differences...
The role of standard control system structure and that of diophantine or polynomial equations in the computer aided design of linear control systems are investigated. The two tools are shown to lead to simple and efficient algorithms, which provide a uniform design for a variety of control problems and which can be implemented in a highly structured and modular manner.
A new possible approach to numerical experimentation with the straightforward use of a commercially available computing environment has been compared with the traditional way of program writing. A full example has then been presented to show the proposed approach. As a natural way of working in Computer-Aided Systems Theory, most of the above cited algorithms, once tested in Matlab form, have...
We have illustrated a methodology how one can design automation systems. The methodology is based on the concept of a system and the application is based on the use of the extended first order predicate calculus. The methodology is based on the idea, that an automation system may perform its task correctly, if one can deduce the required output from the given input. The set of formula, which are obtained...
In this paper the method for the control of systems described by means of nonmetrical (ordinal or nominal) variables was submitted. How to find relevant sampling frequency, system states, and controller rules was shown. The method is illustrated by a simple example. But there are many unsolved problems. The main problem is that the majority of ordinal or nominal variables are fuzzy in their nature...
The classification and recognition problems are fundamental to an understanding of object identification and retrieval in a CAST library or repository. In this paper, we have attempted to provide a framework in the guise of categories of approximations and categorical shape theory, in which to consider these problems. In doing so, we have chosen to specify CAST objects in terms of well-defined...
The problem solving approach to use Systems Theory methods on powerful workstation computers is discussed. Two aspects are emphasized. The first is a tool for formalizing the problem specification. The other topic is the specific characteristics of the STIPS inference process, distinguishing it from the kind of inference occurring in typical AI expert systems.
Visual Programming Languages are a part of Visual Programming related to the classification scheme of N.C. Shu [Shu88], [Shu89]. Visual Programming Languages follow up the idea describing problems in a graphical manner. This leads to two dimensional representations of programs in contrast with convential textual programming languages. The system, called VisaVis, is the conception of a pure...
Concepts and methods in non-linear System Theory, developped according to the Volterra-Wiener formulation, are one of the effective system tools to analyze certain physiological systems, and they are made apparent by setting forth formulations and solutions of various research problems of different degrees of abstraction to identify the local nonlinearity in the visual pathways. The most outstanding...
This paper concerns the search problems, called the problems of minimal satisfaction of constraints. The problem transformation method is proposed. It is proved that if a problem P2 is a homomorphic image of a problem P1 then P1 is transformable into P2. Next, a relationship between a computational complexity of two problems P1 and P ...
The runtime gain to be obtained by integrating hardware and software design is substantial. E.g. in memory hierarchies, in particular in caches, performance increases of typically 20% could be observed for a wide selection of workloads. These performance increases have been acquired in a first step without using knowledge about program behavior. Higher benefits can be expected for a specifically designed...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.