Kuznetsov L.A., Voronin A.S. Information model for analysis of correspondence between empirical sets

Gurbanova L.I. ABOUT ONE ALGORITHM of the AUTOMATIC ANALYSIS of an ARITHMETIC FORMULA

In this article the algorithm of generation of the arithmetic formulas on the basis of the offered formula is suggested. The arithmetic formula is considered as connection of one parameter with other different parameters through arithmetic operations.

The special oriented cyclic graphs for preservation of the information about the simple arithmetic formulas are offered. Every such of the graphs allows generating all formulas, which may be obtained from an initial formula. Algorithm of formation of the graph for the formulas being a superposition of the considered simple formulas also is offered. The vertices of such graph are described as oriented cyclic subgraph, which has three vertices.

In the article it is offered use of the doubly linked circular lists, which elements are linked circular lists of three nodes, for computer realization above described graphs. Such representation of the formulas allows generating all formulas, which may be obtained from initial formula, or to define the formula for calculation of necessary parameter.

The offered representation of the formulas further allows using the universal program for calculation of the formulas. Such program generates any necessary formula for definition of necessary parameter on the basis of the given arithmetic formula.

There is a computer realization of the offered algorithm.

V.V.Prokhorov, D.V.Smirnov, A.N.Starikov COMPUTING OF MATHEMATICAL FUNCTIONS ON THE BASIS OF COMPUTATIONAL PROXY SERVERS INTERNET

It is useful for many reseaches and industry to use resources of powerful mainframes. It is fruitful to apply interactive and remote access to powerful computing servers hosted on the Internet. Wide spreading approaches, such as based on telnet, are oriented on usage of mainframe by computer specialists and not suppose wide access of common user to computational resources.

There is proposed a general model of remote computing on the Internet in [1]. This model is based on the concept of computational proxy servers concept and visual object-oriented interfaces with natural metaphors. The aid of the model is making easy access to powerful computational resources for everybody. According to this model, web interface could be used to interact with computing proxy servers, which applies the supercomputer resources. This human-computer interaction allows to use computing resources without any knowledge of operating system.

Many mathematical functions require powerful resources, and it is fruitful to use computational proxy servers for for their computing. It is developed the software, which allow to incoporate a wide set of mathematical functions to computational proxy servers. The software provides effective computing, simplicity and comfort in use with the help of web interface.

Set of functions, realized on current proxy server base, includes more one hundred functions from various branches of mathematics, for example, linear algebra, differential equations, image processing.

This research is funded by the Russian Foundation of Basic Research (code 99-01-00468).

1. Prokhorov V.V. Technology of computing resources use on the Internet on the base of computational proxy servers// Algoritms and software of parallel calculations. Yekaterinburg: UB RAS, 1998. P. 256-267.

V.S.Kniazkov ALGEBRAIC FUNDAMENTALSES OF MASSIVE COMPUTATIONS IN ITERATED - BIT PROCESSOR SPACES

At a solution of many modern tasks the high-speed processing of data represented by multivariate bit maps is required. Research of mathematical base and methods of a solution of such tasks on the SIMD of a computer and systems has shown, that at constructing algorithms the special algebraic systems and structures, which are to the homomorphic classic Boolean algebra, and with other, take into account singularities of computations in multivariate processor spaces. For formal exposition, analysis and synthesis of algorithms for such processor spaces the application of a special algebraic system - S-algebra is expedient.

The carrier S-algebra is the set of Boolean matrixes ordered in computing space. As the metric of space the metric of the Moore is used.

The signature of S-algebra is made metric by independent operations of inversion, logical addition and multiplying and metric dependent operations of item permutation of units.

Definition 1. S-operation of the oriented shift Q N (A) the operation of mass permutation of units of a set A = { a^_ij ; i=1,2,...,n , j=1,2,...,m,  = 1 , 2 ,..., k } in metric space on N of positions without a modification of their values by the rule:

a^_ij = a ^_pqP ( a ^ _{i j} ) , if 1  p  n , 1  q  m , differently 0.

N - coefficient of permutation, defined on sets {n} and {m} depending on modality of the operation of shift.

Definition 2. S-operation of inversion the operation of mass replacement of values of units of a set A on their additions without a modification of a location in metric space: : С = A ,

A = { a_{i j} ; i = 1,...,n , j = 1,..., m } , a_{i j} = a ¹ _{i j} ,a ²_{i j}a ³_{i j .....}a ^k_{i j} .

Definition 3. S-operation of the disjunction the operation of mass logical addition of single units of two sets A = {a i j; i = 1,2..., n; j = 1,2..., m} and B = {b i j; i = 1,2..., n; j = 1,2..., m}, definite on the metric d1: C = A v B,

C = { c _{i j} ; i= 1,2,...,n ; j = 1,2,...,m} , c _{i j} = a _{i j} v b _{i j} = c¹ _{i j} ,c² _{i j} ,...,..c^k-1 _{i j} .

Definition 4.. S-conjunction operation the operation of mass logical multiplying of single units of two sets A = {a i j; i = 1,2..., n; j = 1,2..., m} and B = {b i j; i = 1,2..., n; j = 1,2..., m}, :

C = A  B, C = { c _{i j} ; i = 1,2,...,n ; j = 1,2,...,m } , c _{i j} = a _{i j}  b _{i j} = c¹ _{i j} ,c² _{i j} ,...,..c^k _{i j} .

Definition 5. S-function of disjunctive testing Tv (A) the operation a computation of a Boolean function from (n x m) variables on a set A = { a _{i j} ; i= 1,2,...,n ; j = 1,2,...,m} :

T^v ( A ) = a¹₁₁ v a²₁₁ v ....v a^k_mn = V ( a ^k_{i j} ) .

Definition 6. S-function of conjunctive testing T& (A) the operation a computation of a Boolean function from (n x m) variables on a set A= { a _{i j} ; i = 1,2,...,n ; j = 1,2,...,m} :

T^ ( A ) = a¹₁₁  a²₁₁  ...  a^k_mn =  ( a ^k_{i j}).

Definition 7. The set A is named as logical S-unit , If T^ ( A )=1, and logical S- in zero ,

if T^V ( A ) = 0.

Definition 8. The set A is named as logical S-function, if its each unit a a _{i j}  is a Boolean function f ( x ₁, x ₂ ,...,x _g ), which one possess the value of logical zero or logical unit on a gang of logical variables x ₁, x ₂ ,...,x _g .

In the report it is exhibited, that the laws of S-algebra are distinct from the classic laws of the Boolean Algebra because of singular properties of operations of space permutation. However in that specific case, at an information of a potency of units of the carrier to 1 and usage of operations of space permutation of an order zero S - the algebra is to isomorphous classic algebra of a Blister.

Directory: confer
confer -> Tilte : a critical examination of the police relations with bbc
confer -> Eavesdropping on a virtuous circle Richard Whately and the Oriel Noetics. Elena Pasquini Douglas uwa business School
confer -> Simulation and Prediction of Storm Surges, Waves, and Morphological Changes due to Tropical Cyclones by Using a pc-based Integrated Coastal Process Model
confer -> Panel 0511 Disability and Difference I: Post-War Journeys through Disability
confer -> Do remittances have a flip side? A general equilibrium analysis of remittances, labor supply responses and policy options for Jamaica* Maurizio Bussolo and Denis Medvedev
confer -> Conference approval process made easy for acm in cooperation conferences
confer ->  Proceedings of gt2009 asme turbo Expo 2009: Power for Land, Sea and Air Orlando, Florida, USA gt2009-59981 dynamics of premixed h2/CH4 flames under near blowoff conditions
confer -> South Korea’s Economic Future: Industrial Policy, or Economic Democracy?
confer -> Asset rotator Cuff Rehabilitation Course Faculty Dr. Spero Karas
confer -> Acm word Template for sig site

Download 1.06 Mb.

Share with your friends: