Serwis Infona wykorzystuje pliki cookies (ciasteczka). Są to wartości tekstowe, zapamiętywane przez przeglądarkę na urządzeniu użytkownika. Nasz serwis ma dostęp do tych wartości oraz wykorzystuje je do zapamiętania danych dotyczących użytkownika, takich jak np. ustawienia (typu widok ekranu, wybór języka interfejsu), zapamiętanie zalogowania. Korzystanie z serwisu Infona oznacza zgodę na zapis informacji i ich wykorzystanie dla celów korzytania z serwisu. Więcej informacji można znaleźć w Polityce prywatności oraz Regulaminie serwisu. Zamknięcie tego okienka potwierdza zapoznanie się z informacją o plikach cookies, akceptację polityki prywatności i regulaminu oraz sposobu wykorzystywania plików cookies w serwisie. Możesz zmienić ustawienia obsługi cookies w swojej przeglądarce.
Modern Inductive Logic is an important component in inductive learning logic, which is one of the basic cognitive skills in experience knowledge acquisition. The consistency of inductive logic and inductive learning in research object and method make it possible to form inductive technique by specification on theories and methods of inductive logic on basis of cognitive mechanics. The difference between...
This paper proposes a new technique (explicit technique, yet unconditionally stable) for 2D FDTD algorithm. This method is not limited by the Courant-Friedrich-Levy (CFL) condition and is unconditionally stable beyond the CFL limit; though this is an explicit method. Here numerical formulations are presented and simulation results are compared with other FDTD algorithms.
This paper focuses on the multiple attribute decision making problems with the attribute values being preference orderings and interval numbers evaluations. For the attributes with preference orderings evaluations, the fuzzy preference relation between the alternatives are calculated and the their rankings values are further normalized by measuring their relative distances to the ideal point; For...
This paper analyzes characteristics of chaos and game in large-scale project teams, utilizes a trait that participants lean to seek collective rationality and establish a partnership with a certain incentive and constraint from the perspective of the project manager, structures a chaos game model of internal knowledge learning in large-scale project teams and gives some constructive comments to control...
Site selection of urban track traffic routes is significant to improve the core competitiveness of urban public transport system. In the paper, the combination method of support vector machine and genetic algorithm (GA-SVM) is applied to site selection of urban track traffic routes, in which genetic algorithm (GA) dynamically optimizes the parameters of SVM. Site selection of urban track traffic routes...
A new abstraction - the parallel supply function (PSF) - is proposed for representing the computing capabilities offered by virtual platforms implemented atop identical multiprocessors. It is shown that this abstraction is strictly more powerful than previously-proposed ones, from the perspective of more accurately representing the inherent parallelism of the provided computing capabilities. Sufficient...
In this paper, we present an adaptive sparse factorization method for even-determined and over-determined blind source separation, where the sources are assumed to be sparse. The objective of our method is to find a demixing matrix to make the output signal as sparse as possible. First, a cost function measuring the sparsity of the output signals is introduced. Then an adaptive algorithm for the learning...
Using of the operator max-min for solving a wide range class of fuzzy linear programming (FLP) is seen in many recant papers, see . The solutions of many FLP problems by using this operator have some basic unwanted errors. In this paper we consider the cause of obtaining these errors.
Problem of belief revision and specification evolution has been studied for years. Researchers have proposed ACM theory and R-calculus to solve the problem. This paper concerns with the revision of proposition logic and proposes a revision algorithm which can automatically find out a revision of given sets. The correctness of the algorithm is proved and concepts such as basic proposition, assignment...
This paper examines a class of univariate wavelet functions with a matrix factorization. Firstly, the property of an important function is surveyed. Secondly, the result is applied to demonstrate the properties of the filters as well as the scaling and wavelet functions. It is presented that two scaling functions are reflections of each other for some pair of parameters. Examples are developed to...
Parallel finite automata is an extended finite status machine and it is suitable for characterizing of concurrent and synchronization task. Based on the workflow modeling, this paper defines some concepts of PFA and describes table and diagram representation of node transition function and state transition function which are the main components of FPA. The former expresses static structure of PFA,...
Z Formal method not only can improve correctness and reliability of software, but also improve development efficiency. Although Z specifications have been widely studied in literatures, very little work is involved in definition and use of variables. This paper discussed on definition and use of variables by an example. Finally, it is applied to data flow analysis and data dependent analysis.
How to transfer GPS heights into normal heights has become a hotspot in survey engineering. With the development of computer and information technology, artificial neural networks (ANN) has been used widely, which has the character of the high parallel distributed processing, associative memory abilities, self-organization, self-learning and strong nonlinear mapping abilities, and the theory has proved...
In 2004, Deng and Jiang presented two new probabilistic models based on two classes of new distribution proposed by Jiang (2000). In this paper we investigate how well these two new models work for real financial series in Chinese foreign exchange market, using the data from both USD and EUR exchange data. We find that the new models can provide quite good fitting in these empirical studies.
Component adaptation is widely considered to be one of the crucial problems in Component-Based Software Engineering. Based on the analysis of multiple component adaptation methods, we propose a new approach to component adaptation dealing with extra-functional mismatches, which is illustrated associating with a simplified example of Image Viewer/Browser. The results show that this new approach can...
This paper describes an improved semaphore with policies in Windows operating system. We introduce policies to help operating system kernel select next process (or thread) in the waiting list queue to satisfy. The paper present live policies: first in first out (FIFO), first in last out (FILO), highest priority first out (HPFO), lowest priority first out (LPFO) and random. We discuss the design and...
A great portion of data on the Web lies in the hidden databases of the Deep Web. These databases can only be accessed through the query interfaces. The data information in these databases can only be obtained by data sampling. Efficient and uniform data sampling approach is very important to other research work, such as data source selection and ranking, for the data samples can give insight into...
In this paper, we provide the degree reduction algorithm for negative degree Bezier curves. By the uniform parameterization of control polygons and the definition of discrete derivatives of piecewise linear functions, we prove that the degree reduced control polygons and their discrete derivatives converge in the limit to the original negative degree Bezier curve and its continuous derivatives.
MPEG-7 is an extensive multimedia metadata standard covering a huge number of aspects of metadata. However, as with most metadata standards details of usage and application of the standards are - at least partially - open to interpretation. In case of MPEG-7 storage and transmission of high level metadata on concept level are defined but retrieval methods are not proposed. So if for instance a user...
It is necessary and important to make the collision detection among the objects or between the object and the scene. If we don't detect collisions, objects will intersect each other or object will intersect the scene. In this paper, we present three algorithms in 2D environment. The objects for collision detection are bounded by the axis-aligned rectangles or circles. The known information such as...
Podaj zakres dat dla filtrowania wyświetlonych wyników. Możesz podać datę początkową, końcową lub obie daty. Daty możesz wpisać ręcznie lub wybrać za pomocą kalendarza.