ABOUT THE FUNCTIONING OF THE SPECIAL-PURPOSE CALCULATING UNIT BASED ON THE LINEAR SYSTEM SOLUTION USING THE FIRST ORDER DELTA- TRANSFORMATIONS

Size: px
Start display at page:

Download "ABOUT THE FUNCTIONING OF THE SPECIAL-PURPOSE CALCULATING UNIT BASED ON THE LINEAR SYSTEM SOLUTION USING THE FIRST ORDER DELTA- TRANSFORMATIONS"

Transcription

1 ABOUT THE FUNCTIONING OF THE SPECIAL-PURPOSE CALCULATING UNIT BASED ON THE LINEAR SYSTEM SOLUTION USING THE FIRST ORDER DELTA- TRANSFORMATIONS 1 LIUBOV VLADIMIROVNA PIRSKAYA, 2 NAIL SHAVKYATOVISH KHUSAINOV 1, 2 Institute of Computer Technoogy and Information Security, Southern Federa University, Rostov-on-Don, Russia E-mai: 1 yubov.pirskaya@gmai.com, 2 khusainov@sfedu.ru ABSTRACT This paper discusses the theoretica representations of specia-purpose cacuating unit functioning for the iteration soution of inear systems using the first order deta-transformations and variabe quantum. It is considered the agorithm for iterative soution of inear systems based on the first order detatransformations and variabe quantum is adapted for impementation in a specia-purpose cacuating unit. A specia feature of specia-purpose cacuating unit functioning based on this agorithm is the impementation of the introduction at the beginning of each cyce of a new variabe quantum vaue that is refected in the current cyce when the residua vaues and the unknown variabe are formed by shifting them to the eft by 1 or 2 bits. Formation of unknown variabes in the unit is carried out by adding or subtracting the signs of quantum of the first and second variabes differences, taking at each iteration the vaues ± 1. This feature of variabe normaization represents the possibiity of organizing a computationa process on the basis of an integer data representation. At the fina step of the agorithm operation in the unit, it is possibe to bring the vaues of the variabes to the origina rea form, taking into account the weight of the minimum transformation quantum. With the orientation to FPGA, comparative estimates are obtained for the hardware and time resources of the deveoped agorithm and comprehensive comparative estimate of the effectiveness for specia-purpose cacuating unit functioning. In this paper for the deveoped agorithm of the unit functioning, it is shown that it is possibe to reduce the execution of one iteration and the iterative process as a whoe, the amount of hardware resources and generay improve the efficiency in comparison with the specia-purpose cacuating unit functioning based on the simpe iteration method. Keywords: Specia-Purpose Cacuating Unit, Linear System Soution, First Order Deta-Transformation. 1. INTRODUCTION The issues study of quaitative and quantitative improvement of computing devices perfomence for soving compex practica probems in rea time shows that using the most modern universa computer technoogy there are various difficuties: the need to organize effective parae computing processes with the decision to reduce the amount of transferred information, the number of simutaneousy operating mutipiers, muti-bit registers for storing information, simpification of compex systems of information exchange, ensuring high performance of cacuators in processing information. Such probems arise, in particuar, in the organization in rea time of a parae soution of practica probems, that can be reduced to probems of computationa mathematics, to design of on-board computer systems, speciaized contro devices, and so on. One of the ways to sove these probems is the creation of speciaized computing devices and systems, taking into account the design of their probem-oriented purpose and using specia effective methods for impementing the computationa process [1]. The necessity of probem-oriented computations arises, for exampe, when in rea time soving probems of oca navigation [2]-[4], in particuar, determining the aircraft coordinates, which reduces to the probem of soving inear agebraic equations systems (inear systems). The 7187

2 use of probem-oriented computations under the given conditions aows organizing the computing process in such a way that the processing of information at the eve of one iteration is performed with sufficient accuracy, high speed and with an extremey ong time step. Then, it is possibe to demand the owest requirements to the performance of computing toos, taking into account the possibiity of simutaneous impementation of other agorithms and programs. The functioning of a specia-purpose cacuating unit based on known iterative agorithms for soving inear systems [5]-[8] is characterized by a huge amount of hardware resources, which is associated with the need to impement a arge number of muti- bit mutipiers of coefficients and variabes, as we as to transfer of muti- bit codes between the equations of the system at parae impementation. The number of hardware and time resources increases, when it is necessary to simutaneousy sove a arge number of inear systems. The deveoped agorithms for soving inear systems with constant and variabe free terms based on the first order deta-transformations with constant [9]-[10] and variabe quantum [11]-[16] when impemented in a specia-purpose cacuating unit aow organizing a computing process with the exception of operations of a muti-bit mutipication and obtaining a resut in one iteration of the steadystate process. However, in papers [9]-[11] the use of a constant quantum is characterized by a much arger number of iterations. The use of an variabe quantum greaty reduces the number of iterations [12]-[18]. The essence of these agorithms with a variabe quantum ies in the representation of the iterative process in the form of iteration cyces, in each of which a parae for a equations of a inear system is performed the formation of variabes at a constant moduus of transformation quantum [14]- [16]. In the paper [11] the process of inear systems soution must be preceded by the number of iterations in the cyce, using, in particuar, the division operation that under the conditions of the perform these cacuations with the hep of the specia-purpose cacuating unit is not appropriate. Amost a the papers [11]-[13] concerned the agorithmic organization of the iterative process for inear systems soving with the use of the first order deta-transformations with the variabe quantum has not got any information about the theoretica justification for the seection of the best reation between the quanta of the adjacent cyces; on the one hand the ways to specify these reations are introduced heuristicay, on the other hand they are not fuy cover the theoretica and practica interest of these reations. In addition, the foowing observations shoud be noted. In the papers [11]-[13] the proposed agorithms are characterized by high computationa compexity when impementing the iteration process due to the necessity of performing the squaring of the discrepancies across a equations at each iteration, summing them and highight the smaest of the current according to the amount of vaues across the iterations. The squaring of the discrepancies is associated with the need to use the mutibit mutipiers, which is contrary to the origina goa impementation of the specia-purpose contro units of inear systems soution with the possibe of the exception of such devices. The iterations termination moment is fixed either with the use of a certain constant, the determining vaue of which is uncertain, or according to the number of iterations that is aso a probem of the preiminary estimate. In the papers [14]-[16] is deveoped a theoretica substantiation of the seection of the number of cyces and the vaues of the variabes quantum, aimed at minimizing the number of iterations in the inear systems soution on the basis of the first order deta-transformations. The agorithms which showed efficiency on ensuring timey competion of iterations, simpe in reaization and not demanding any numerica assessment with use of specia basic data are introduced for the formation of the competion moment of the rea iterative processes in the oops. The architecture of the specia-purpose cacuating unit can undoubtedy impact on fina agorithmic efficiency. And in the design of specia-purpose cacuating unit using the FPGA pecuiarities of agorithmic software aow to achieve the highest quaity performance indicators to minimize the costs of resources (equipment) compared with known [19]-[21]. Thus, on the basis of the agorithm presented in [14]-[16], the paper presents the agorithm adapted to the impementation in a 7188

3 specia-purpose cacuating unit for the parae iterative soution of inear systems based on the first order deta-transformations and variabe quantum. Next, the paper contains the deveoped architecture, features and a study of the effectiveness of the specia-purpose cacuating unit functioning based on the inear system soution using the first order deta-transformations and variabe quantum. 2. THE ALGORITHM OF A LINEAR SYSTEM SOLUTION ADAPTED UNDER REALIZATION IN A SPECIAL-PURPOSE CALCULATING UNIT There is an inear system that has a matrix of constant coefficients and, in genera case, variabe free terms, fufiing convergence conditions described in papers [5]-[8]: BY () t G() t. (1.1) Let's transform the system Y () t AY () t D() t, and transfer to writing with residua zt () for appying the iteration method: zt () Yt () AYt () Dt (). (1.2) In the given systems B [ b rj ], A [ brj / brr ] are matrices of dimensiona coefficients n n; Gt (), D() t are coumn-vectors of absoute system terms (in particuar for the system with fixed absoute terms Gt () G [ g r ], Dt () D [ gr / brr] ); Y () t are coumn-vectors of system unknowns; zt (), Yt () are coumn-vectors of residuas and approximate unknown vaues; t is an independent variabe; det A 0. Based on the resuts obtained in [14]-[16], an agorithm for the parae soution of inear system (1.1) with constant free terms using the first order deta-transformations and variabe quantum oriented for specia-purpose cacuating unit is presented beow in the foowing difference form for i-step under the initia conditions Yr 01 0, zr01 [17]-[18]: D, r 01 max z, r 1, n, c P 2 s, s N - cacuating the vaues of residuas and unknowns before each iteration cyce: z z R ; (1.3.1) r0 rr ( 1) Y Y R ; (1.3.2) r0 rr ( 1) r 1, n, 1,2,, P ; - creation of first difference quantum signs at each iteration in cyces: sign( z ); (1.3.3) ri r( i1) { 1, 1} ; r 1, n, i 1,2,, R ; ri 1,2,, P ; - demoduation: ri r( i1) ri Y Y ; (1.3.4) - creation of residua vaues at each iteration in cyces: z Ф (, j 1, n) ; (1.3.5) ri r ji z z z ; (1.3.6) ri r( i1) ri - conditions for competion of iterative processes in the iteration cyce: 1. sign z sign z rr r ( Rint,(1,2 ) 1) 2. ( ) ( ) or (1.3.7) z 0 ; rrint,(1,2 ) 1,2,, P, r 1, n. sign( z sign( z )) rrint,(1,2 ) rr sign( z ) rr or (1.3.8) sign( z sign( z )) 0 ; rrint,(1,2 ) rrint,(1,2 ) 1,2,, P, r 1, n. In the agorithm (1.3) P is the number of iteration cyces performed at a constant moduus of quantum; R a constant vaue, that refects the change in the quantum of transformation and the redefinition of a variabes of the inear system during the transition from cyce to cyce. The vaues of the constant vaues of P и R 7189

4 are set in accordance with those obtained in papers [14]-[16] reations: P z n n R 01 max cp, (1.4) where c P is the weight of the minimum transformation quantum on the ast cyce ( c 0 ), Rint,1 2 и Rint,2 4. The number of iterations of a rea computationa process in a cyce R, in accordance with the concusions obtained in papers [14]-[16], may be arger or smaer reative vaue R. In the reations (1.3.1) and (1.3.2), vaues z r0 and Yr0 are cacuated in the current cyce by shifting them by 1 bits at Rint,1 2 or by 2 bits at Rint,2 4. This procedure refects the introduction at the beginning of each cyce before the fufiment of the reations (1.3.3) - (1.3.8) of the new vaue of the variabe quantum. At each iteration, the quantum signs are formed as ± 1 vaues and are used ater in next steps of the agorithm to cacuate the unknown variabe Y ri (1.3.4) by adding or subtracting a unit from this current vaue. This feature of variabe normaization represents the possibiity of organizing a computationa process on the basis of an integer representation of data. Upon competion of the agorithm, it is possibe to form the variabes vaues to the origina rea representation using the weight of the minimum transformation quantum c : Y Y c, (1.5) rr P P rr P where the combination R P in the index denotes the formation of the most recent vaue of the unknown, that is, the fina resut. Competion of iterative processes in the cyces in the agorithm (1.3) is carried out on the basis of the reations (1.3.7) or (1.3.8), when in the cyce for a equations of a inear system P P simutaneousy or distributed in time, at east one of them is fufied. 3. ARCHITECTURE OF THE SPECIAL- PURPOSE CALCULATING UNIT FUNCTIONING USING THE FIRST ORDER DELTA-TRANSFORMATIONS AND VARIABLE QUANTUM Figure 1 shows the bock diagram of the specia-purpose cacuating unit functioning for the parae iterative soution of inear systems based on the agorithm (1.3) using the first order detatransformations and variabe quantum. Bocks 1, 4 are r registers ( r 1, n), which contain residua z ri and unknown Y ri vaues, r 1, n with initia vaues zr01 Dr and Yr 01 0, respectivey. Bocks 2, 3 are registers that contain the vaues of the iterative cyces number performed at a constant moduus of quantum, determined before the agorithm (1.3) starts and assumes one of the two vaues R, respectivey. Bocks 5, 7 are r shift registers ( r 1, n), reaizing the shift of the vaues z r0 (1.3.1) and Y r0 (1.3.2) into 1 bit at Rint,1 2 or 2 bits at Rint,2 4 at the beginning of each cyce. The obtained vaues z r0 and Y r0 after the shift come to the registers of bocks 1 and 4, respectivey. In bock 6, the cyces of the agorithm (1.3) are executed, the conditions for the termination of the agorithm (1.3) as a whoe are verified in bock 9 and the fufiment of this condition shows the resut of soving the inear system from bock 4. Bocks 8, 15 determine, according to the reations (1.3.3), the quantum signs of the first differences of the previous iteration zri ( 1) and the current iteration z ri for a equations of the system. In bock 10, by the reations (1.3.4), the vaues of the unknowns in the group of adders ( r 1, n) are cacuated, with the input quantum signs of the first differences of variabes ri and the unknown vaues Y ri. Further, the resuts obtained go to bock

5 In the diagram of Figure 1, the current vaue of the residua zri is cacuated on the basis of the tabuar method in the form (1.3.5), where Ф (, j 1, n) a r ji ri rj ji j1 ( jr ) and storage devices ( r 1, n) of the bock 11 for storing the tabes. The tabe is organized as a sums coection of mutipication of inear system coefficients by transformation quantum for each equation. Choosing vaues of the pre-formed mutipication sums is performed based on the set of current vaues ji, j 1, n coming from bock 8. Thus, it is possibe to excude the mutipication operation due to the given organization of cacuations and to obtain the resut for 1 unit of time. For a arge dimension of the matrix A, it is expedient to partition the sum Фr( ji, j 1, n) into m bocks: m r ( ji, 1, ) r ( ji, 1, ) g 1 Ф j n Ф j n and store the tabe vaues for each bock. Bock 12 is r adders ( r 1, n), where the input of each receives the residuas z ri and vaues obtained in bock 11 corresponding to the system equations. This bock ensures the fufiment of reation (1.3.6). Bocks 13 and 16 are designed to verify the conditions (1.3.7), (1.3.8) that fix the moments of iterative processes competion in the -th iteration cyce for each equation of inear system. In the bock 17, the generation of these moments for a equations of the system is verified either by (1.3.7) or (1.3.8). If one of the conditions is successfuy met, the counter is incremented in the bock 6, and the agorithm is organized on a new iterative cyce. In bock 14, the number of iterations is counted within one iteration cyce. This counter i is reset to zero for each next cyce. n Bocks 12, 18 are a group of adders ( r 1, n), in which vaues of the current residuas z ri (1.3.6) and additiona ones zadd ri are cacuated, where z z sign( z ). add ri ri ri Performing agorithmic sequence as part of a singe iteration of the agorithm (1.3) and according to that shown in Figure 1 a bock diagram is carried out for about 3 units of time: at the first cock it is performed the actions of bocks 5,7; at the second cock - bocks 10,12; at the third cock - bock EXPERIMENTAL RESEARCH OF THE ALGORITHM OF A LINEAR SYSTEM SOLUTION ADAPTED UNDER REALIZATION IN A SPECIAL-PURPOSE CALCULATING UNIT The agorithm for the parae soution of inear system with constant free terms using the first order deta-transformations and variabe quantum oriented for specia-purpose cacuating unit has been tested on the soution of various inear systems, characterized by different convergence in the performance of simpe iteration method. Foowing are the resuts of individua experiments based on inear systems given beow on (norm of the matrix coefficient A of exampes (26) and (27) greater than one): y y2 0.13y3 0.97; 0.12 y1 y2 0.11y3 1.13; (24) 0.16 y y2 y y1 0.6y2 0.08y ; 0.12y1 y2 0.7 y ; (25) 0.11y1 0.4y2 y y1 y2 0.2y3 1.37; 0.8y1 y2 0.2y3 0.98; (26) 0.4y1 0.7 y2 y y1 0.9y2 0.4y3 0.85; y1 y2 0.6y3 0.69; 1.3y1 0.3y2 y (27) The obtained resuts are presented in Tabe 7191

6 The comparative anaysis between methods of inear systems soutions on the 14 condition of ensuring identica accuracy (~ 2 ) based on the first order deta-transformations and constant quantum c 2 14, by the simpe iteration method and by the method which is aso considered in this paper based on the first order detatransformations and variabe quantum at Rint,1 2, 14 R int = 4, c P 2 was carried out during the research. Tabe 1: The resuts of the experiments The method of organizing the iterative process of the inear systems soution on the basis of the first order detatransformations and constant quantum on the basis of the first order detatransformati ons and variabe quantum simpe iteration method R int,1 = 2 Rint,2 4 The number of iterations (24) (25) (26) (27) The anaysis of the data in the Tabe 1 shows that the deveoped agorithm of iterative process of the inear systems soution with the variabe quantum, based on the optimized assessments Rint,1 2, R int = 4, and providing the rea time optimization of the iterative processes differs significanty (by the hundreds thousands times) with the reduction of the number of iterations in reation to the method of the inear systems soution based on the first order detatransformations and constant quantum, as we as substantia proximity on the number of iterations to the simpe iteration method and in some cases represents the advantage over the simpe iteration method. According to the Tabe 1, the ratio of the number of iteration method for the simpe iteration method to the method with the variabe quantum is as foows ~ The data presented in Tabe 1 shows that iterative processes whie ensuring the convergence of inear systems may be successfuy impemented even in the norm of the matrix of coefficients greater than one. 5. RESEARCH OF EFFICIENCY OF THE SPECIAL-PURPOSE CALCULATING UNIT FUNCTIONING BASED ON THE DEVELOPED ALGORITHM Compex efficiency of specia-purpose cacuating unit functioning based on the agorithm (1.3) using deta the first order detatransformations and variabe quantum in comparison with using the simpe iteration method can be considered as an interreated set of comparative estimates of time and hardware resources. Taking into account, as shown in [14]- [16], that the number of iterations using the first order deta-transformations and variabe quantum may be greater or ess than using the simpe iteration method, in the study this amount is assumed to be the same for the methods studied. The impementation of the bock diagram of the unit, shown in Figure 1, can be considered with using FPGA. Resource characteristics of the impementation of the basic arithmetic operations with their hardware performance are significanty unequa. Especiay a huge hardware resources, expressed in ogica ces, are required for mutipiers. The mutipication operation wi be considered as the execution of mutipication using singe-cock hardware circuits of parae impementation, as we as with the expansion of the factors bit grid - efficient parae-seria impementation by performing mutipication at severa units of time using agorithm "shift with the accumuation". The simpest to reaize the structure of simpe matrix summation, which forms a parae mutipier as an array of singe-bit adder connected by oca interconnections [22]. This scheme is the most effective at sma bit operands (4 or ess), where a parae mutipier 4 4 requires 12 adders for its impementation. With a further increase the bit capacity, the matrix of singe-bit adder grows significanty and the critica propagation path of the transport signa increases, accordingy the performance wi imited, and the reaization of the 7192

7 mutipier becomes ess rationa. Thus, in this work, mutipiers of higher bit capacity were considered as a combination of mutipiers 4 4 [22]. The formation of reative estimates for hardware resources was based on the number of ogica gates invoved [23], [24]. In accordance with the agorithm (1.3) and the bock diagram in Figure 1, the soution of the equations is carried out in parae. Aso, the equations soution is reaized in parae using the simpe iteration method. Let Q be an estimate characterizing the agorithm hardware resources, Q d. p.1is the estimate for the agorithm (1.3) based on the first order deta-transformations and variabe quantum, Q p. r. is the estimate for the simpe iteration method. For the comparative hardware estimate, it is entered the Qp. r. ratio. Q d. p.1 Based on the obtained estimates, it was constructed the dependence graph of comparative Qp. r. estimates on the order of inear systems n Qd. p.1 ( n 3 ), when operating with 32-bit data is shown in Figure 2. method, when operating with 32-bit data. At increasing order of the system n, the efficiency increases. The estimate of time resources amount was performed by units of time. Time resources were cacuated in the framework of a singe pass through the cyce of the agorithm, reaizing agorithmic sequence of actions for a equations of the system. Let T be an estimate characterizing the agorithm time resources, T d. p.1 is the estimate for the agorithm (1.3) based on the first order detatransformations and variabe quantum, T p. r. is the estimate for the simpe iteration method. For the comparative time estimate, it is entered the ratio Tp. r.. T d. p.1 Based on the obtained estimates, it was constructed the dependence graph of comparative Tp. r. estimates on the order of inear systems n Td. p.1 ( n 3 ), when operating with 32-bit data is shown in Figure 3. Figure 2: Dependence graph of Qp. r. comparative estimates on the order of inear Qd. p.1 systems n. The anaysis of the obtained estimates showed that using the agorithm based on the first order deta-transformations and variabe quantum in a soution of inear systems of the order n = 3 has an advantage in terms of hardware resources of ~2,7 times in comparison with the simpe iteration Figure 3: Dependence graph of Tp. r. comparative estimates on the order of inear Td. p.1 systems n. The anaysis of the obtained estimates showed that using the agorithm based on the first order deta-transformations and variabe quantum in a soution of inear systems of the order n = 3 has an advantage in terms of time resources of ~2,5 times in comparison with the simpe iteration method, when operating with 32-bit data. At increasing order of the system n, the efficiency increases. 7193

8 Compex efficiency of specia-purpose cacuating unit functioning based on the agorithm (1.3) using deta the first order detatransformations and variabe quantum The comparative compex estimate of the agorithm impementation efficiency based on using deta the first order deta-transformations and variabe quantum was formed as the mutipication of the reative estimates, obtained above, for the time and hardware resources of the system: Qp. r. Tp. r. E Q T. (1.6) d. p.1 d. p.1 In accordance with (1.6), the comparative compex efficiency estimate were obtained. Based on these resuts, it was constructed the dependence graph of the comparative compex efficiency estimate E on the order of inear systems n and is shown in Figure 4. Figure 4: Dependence graph of the comparative compex efficiency estimate E of specia-purpose cacuating unit functioning on the order of inear systems n. In accordance with this estimate E, the agorithm based on the first order detatransformations and variabe quantum, when soving inear systems of the n = 3 order, has an advantage ~6.7 times compared to using the simpe iteration method, when operating with 32-bit data. The estimate with an increase in the order of the system n sharpy increases. 5. CONCLUSION In paper it is considered principes of specia-purpose cacuating unit functioning for the iteration soution of inear systems using the first order deta-transformations and variabe quantum. A specia feature of specia-purpose cacuating unit functioning based on this agorithm is the impementation of the introduction at the beginning of each cyce of a new variabe quantum vaue that is refected in the current cyce when the residua vaues and the unknown variabe are formed by shifting them to the eft by 1 or 2 bits. Formation of unknown variabes in the unit is carried out by adding or subtracting the signs of quantum of the first and second variabes differences, taking at each iteration the vaues ±1. This feature of variabe normaization represents the possibiity of organizing a computationa process on the basis of an integer data representation. At the fina step of the agorithm operation in the unit, it is possibe to bring the vaues of the variabes to the origina rea form, taking into account the weight of the minimum transformation quantum. In addition, the feature of specia-purpose cacuating unit functioning is using in the agorithm for forming the moment of iterative processes competion in cyces the condition that requires when in the cyce for a equations of a inear system simutaneousy or distributed in time the residuas sign wi be changed. The architecture of the specia-purpose cacuating unit impact on fina agorithmic efficiency: as it is shown in this work the possibiities of the organization of simutaneous shifts of coefficients with preservation of shift of the previous cyce or without preservation that can be connected with need of essentia expenses of the hardware or time resources. And there is no doubt that the eve of the paraeization processes has an impact on the performance of the specia-purpose cacuating unit. The utimate effectiveness is estimated by the aggregate of the assessments of the hardware resources and the speed. 7194

9 In the paper it is shown the advantages of using the deveoped features of the specia-purpose cacuating unit functioning based on the inear system soution using the first order detatransformations and variabe quantum. So with the orientation to FPGA, comparative estimates are obtained for the hardware resources and the speed of the deveoped agorithm for specia-purpose cacuating unit functioning. For the deveoped agorithm of the unit functioning, it is shown that it is possibe to reduce the execution of one iteration and the iterative process as a whoe in ~2,5 times and the amount of hardware resources in ~2,7 times in comparison with the specia-purpose cacuating unit functioning based on the simpe iteration method, and these estimates increase with increasing order of the system n. Thus, using the adapted agorithm for buiding specia-purpose cacuating unit, the hardware resources are significanty reduced due to the abiity to excude the mutipication operator of the mutibit code and increasing the performance of the simpe iteration method at the eve of the iterative processes. These circumstances create prerequisites associated, in particuar, with the expansion of the resource capabiities of FPGAs for the simutaneous reaization in rea time of compex tasks, as separate components of which are used inear systems. The resuts obtained in this work are panned to be used in on-board contro and navigation systems by modern aircraft. As a separate component of the navigation task soved within the framework of the creation of on-board speciaized computing devices, the task of determining the aircraft coordinates is presented, represented as systems of inear agebraic equations. Based on the resuts of preiminary studies, using the principes of specia-purpose cacuating unit functioning, presented in this paper, in on-board speciaized devices for the oca navigation task makes it possibe to determine the aircraft coordinates at each time step of the steadystate process in one iteration and operate with practicay significant time steps of the system at a sufficienty arge distance of the beginning of the steady process from the origin. REFRENCES: [1] P.P. Kravchenko, L.V. Pirskaya and N.Sh. Khusainov, Deta-transformations and probem-oriented computations: monograph. Taganrog: SFedU Press, [2] Sh. Khusainov, P.P. Kravchenko, V.N. Lutai, S.A. Tarasov and V.V. Scherbinin, Radionavigation systems of currenttechnoogy and future-technoogy vehices. P. 1. Fixing methods and autonomous integrity monitoring: Monograph, Taganrog: SFedU Press, [3] O.O. Barabanov and L.P. Barabanova, Mathematica probems of r-r navigation, Мoscow: Phismatit, [4] O.N. Skrypnik, Aircraft radionavigation systems: Training manua, Мoscow: INFRA- M, [5] C. Vuik, Iterative soution methods, The Netherands: Deft Institute of Appied Mathematics, [6] A. Greenbaum, Iterative Methods for Soving Linear Systems, Phiadephia, PA: SIAM, [7] D.K. Faddeev and V.N. Faddeeva, Computationa methods of inear agebra, 4th ed., reprint, Saint-Petersburg: Lan', [8] N. Bakhvaov, et a., Numerica Methods, Laboratory of knowedge. Moscow: BINOM, [9] S. Tretyakov, The agorithms of the speciaized processors for soving systems of equations, Cybernetics, Vo. 5, 1978, pp [10] P.P. Kravchenko, The optimised second order deta-transformations. Theory and appication. Monograph, Moscow: Radio engineering, [11] P. Kravchenko, Incrementa methods for soving the systems of the inear agebraic equations, Mutiprocessor computing structures, Vo. 5(XIV), 1983, pp [12] B. Mainowskij, Agorithms for soving the systems of the inear agebraic equations, structura-oriented impementation, Contro systems and machines, Vo. 5, 1977, pp [13] О. Gomozov and Y. Ladyshchenskij, Incrementa agorithms for soving the systems of the inear agebraic equations, and architecture of mutiprocessors on programmabe ogic, Scientific works of DonNTU, Informatics, cybernetics and computer science, Vo. 12(165), 2010, pp [14] P.P. Kravchenko and L.V. Pirskaya, The iterative method of the system of the inear agebraic equations soution excuding the 7195

10 mutidigit mutipication operation, Izvestia SFedU. Engineerin sciences, Vo. 7 (156), 2014, pp [15] L.V. Pirskaya, Iterative Agorithm for Soving of Linear Agebraic Equations Systems without Muti-bit Mutipication Operation, Engineering and Teecommunication (EnT), 2014 Internationa Conference on, Moscow, Russia, 2014, pp [16] P.P. Kravchenko and L.V. Pirskaya, The method of organizing the iterative process of the system of the inear agebraic equations soution excuding the mutidigit mutipication operation, Biosciences Biotechnoogy Research Asia, Vo. 11(3), 2014, pp [17] L.V. Pirskaya, On the features of the functioning of a speciaized computing device for the iteration soution of inear systems based on deta- transformations agorithms, Proceedings of the XXIV Scientific Conference Modern Information Technoogies: Trends and Deveopment Prospects ; Southern Federa University, Russia, May 25, 2017, pp [18] L.V. Pirskaya, On the optimized performance of a speciaized computing device based on deta transformations of the first and second orders, Proceedings of the Conference "Information Systems and Technoogies: Fundamenta and Appied Research", Southern Federa University, Russia, October 23-27, [19] Н. Yang and S.G. Ziavras, FPGA-based vector processor for agebraic equation sovers, SOC Conference, Sept , Herndon, VA, IEEE, 2005, pp [20] W. Zhang, V. Betz, and J. Rose, Portabe and Scaabe FPGA-Based Acceeration of a Direct Linear System Sover, ICECE Technoogy, Taipei, IEEE, December 8-10, [21] W. Zhang, et a., Portabe and Scaabe FPGA-Based Acceeration of a Direct Linear System Sover, ACM Transactions on Reconfigurabe Technoogy and Systems (TRETS), vo. 5 (1), 6, [22] V. Steshenko, Lesson 6. Impementation of computing devices on FPGA, Components and technoogies, Vo. 6, 2000, pp [23] N.V. Maksimov, T.L. Partyka, I.I. Popov Architecture of computers and computer systems, Moscow: FORUM, [24] E. Tanenbaum, T. Austin Computer architecture, St. Petersburg: Peter,

11 -D r i P int(1,2) [2;4] 0 z ri 1 P int(1,2) 2 R int(1,2) 3 Y ri 4 Y r z ri z ri(-1) z ri(-1) <<[1;2] 5 z r(i-1) R int(1,2) P int(1,2) Inc() 6 end R int(1,2) Y ri(-1) Y ri(-1) <<[1;2] 7 Y ri Y r(i-1) z ri ri -sign(z r(i-1) ) 8 <=P int(1,2) 9 ri Sum Y ri 10 Y ri i Ф r Ф r ( ji ) 11 z r(i-1) res z ri z ri Sum z ri 12 z ri -sign(z ri ) 15 z ri z ri Ischange (z ri,z r(i-1) ) 13 Ischange (z add ri,z ri ) 16 or ( ) 17 res Inc(i) 14 Sum z add ri 18 z add ri Figure 1: The bock diagram of the specia-purpose cacuating unit functioning for the parae iterative soution of inear systems using the first order deta-transformations and variabe quantum 7197

First-Order Corrections to Gutzwiller s Trace Formula for Systems with Discrete Symmetries

First-Order Corrections to Gutzwiller s Trace Formula for Systems with Discrete Symmetries c 26 Noninear Phenomena in Compex Systems First-Order Corrections to Gutzwier s Trace Formua for Systems with Discrete Symmetries Hoger Cartarius, Jörg Main, and Günter Wunner Institut für Theoretische

More information

Mathematical Scheme Comparing of. the Three-Level Economical Systems

Mathematical Scheme Comparing of. the Three-Level Economical Systems Appied Mathematica Sciences, Vo. 11, 2017, no. 15, 703-709 IKAI td, www.m-hikari.com https://doi.org/10.12988/ams.2017.7252 Mathematica Scheme Comparing of the Three-eve Economica Systems S.M. Brykaov

More information

Adjustment of automatic control systems of production facilities at coal processing plants using multivariant physico- mathematical models

Adjustment of automatic control systems of production facilities at coal processing plants using multivariant physico- mathematical models IO Conference Series: Earth and Environmenta Science AER OEN ACCESS Adjustment of automatic contro systems of production faciities at coa processing pants using mutivariant physico- mathematica modes To

More information

An Algorithm for Pruning Redundant Modules in Min-Max Modular Network

An Algorithm for Pruning Redundant Modules in Min-Max Modular Network An Agorithm for Pruning Redundant Modues in Min-Max Moduar Network Hui-Cheng Lian and Bao-Liang Lu Department of Computer Science and Engineering, Shanghai Jiao Tong University 1954 Hua Shan Rd., Shanghai

More information

School of Electrical Engineering, University of Bath, Claverton Down, Bath BA2 7AY

School of Electrical Engineering, University of Bath, Claverton Down, Bath BA2 7AY The ogic of Booean matrices C. R. Edwards Schoo of Eectrica Engineering, Universit of Bath, Caverton Down, Bath BA2 7AY A Booean matrix agebra is described which enabes man ogica functions to be manipuated

More information

School of Electrical Engineering, University of Bath, Claverton Down, Bath BA2 7AY

School of Electrical Engineering, University of Bath, Claverton Down, Bath BA2 7AY The ogic of Booean matrices C. R. Edwards Schoo of Eectrica Engineering, Universit of Bath, Caverton Down, Bath BA2 7AY A Booean matrix agebra is described which enabes man ogica functions to be manipuated

More information

Statistical Learning Theory: A Primer

Statistical Learning Theory: A Primer Internationa Journa of Computer Vision 38(), 9 3, 2000 c 2000 uwer Academic Pubishers. Manufactured in The Netherands. Statistica Learning Theory: A Primer THEODOROS EVGENIOU, MASSIMILIANO PONTIL AND TOMASO

More information

Numerical Simulation for Optimizing Temperature Gradients during Single Crystal Casting Process

Numerical Simulation for Optimizing Temperature Gradients during Single Crystal Casting Process ISIJ Internationa Vo 54 (2014) No 2 pp 254 258 Numerica Simuation for Optimizing Temperature Gradients during Singe Crysta Casting Process Aeksandr Aeksandrovich INOZEMTSEV 1) Aeksandra Sergeevna DUBROVSKAYA

More information

A Solution to the 4-bit Parity Problem with a Single Quaternary Neuron

A Solution to the 4-bit Parity Problem with a Single Quaternary Neuron Neura Information Processing - Letters and Reviews Vo. 5, No. 2, November 2004 LETTER A Soution to the 4-bit Parity Probem with a Singe Quaternary Neuron Tohru Nitta Nationa Institute of Advanced Industria

More information

Problem set 6 The Perron Frobenius theorem.

Problem set 6 The Perron Frobenius theorem. Probem set 6 The Perron Frobenius theorem. Math 22a4 Oct 2 204, Due Oct.28 In a future probem set I want to discuss some criteria which aow us to concude that that the ground state of a sef-adjoint operator

More information

BP neural network-based sports performance prediction model applied research

BP neural network-based sports performance prediction model applied research Avaiabe onine www.jocpr.com Journa of Chemica and Pharmaceutica Research, 204, 6(7:93-936 Research Artice ISSN : 0975-7384 CODEN(USA : JCPRC5 BP neura networ-based sports performance prediction mode appied

More information

DIGITAL FILTER DESIGN OF IIR FILTERS USING REAL VALUED GENETIC ALGORITHM

DIGITAL FILTER DESIGN OF IIR FILTERS USING REAL VALUED GENETIC ALGORITHM DIGITAL FILTER DESIGN OF IIR FILTERS USING REAL VALUED GENETIC ALGORITHM MIKAEL NILSSON, MATTIAS DAHL AND INGVAR CLAESSON Bekinge Institute of Technoogy Department of Teecommunications and Signa Processing

More information

The EM Algorithm applied to determining new limit points of Mahler measures

The EM Algorithm applied to determining new limit points of Mahler measures Contro and Cybernetics vo. 39 (2010) No. 4 The EM Agorithm appied to determining new imit points of Maher measures by Souad E Otmani, Georges Rhin and Jean-Marc Sac-Épée Université Pau Veraine-Metz, LMAM,

More information

Multilayer Kerceptron

Multilayer Kerceptron Mutiayer Kerceptron Zotán Szabó, András Lőrincz Department of Information Systems, Facuty of Informatics Eötvös Loránd University Pázmány Péter sétány 1/C H-1117, Budapest, Hungary e-mai: szzoi@csetehu,

More information

MARKOV CHAINS AND MARKOV DECISION THEORY. Contents

MARKOV CHAINS AND MARKOV DECISION THEORY. Contents MARKOV CHAINS AND MARKOV DECISION THEORY ARINDRIMA DATTA Abstract. In this paper, we begin with a forma introduction to probabiity and expain the concept of random variabes and stochastic processes. After

More information

Componentwise Determination of the Interval Hull Solution for Linear Interval Parameter Systems

Componentwise Determination of the Interval Hull Solution for Linear Interval Parameter Systems Componentwise Determination of the Interva Hu Soution for Linear Interva Parameter Systems L. V. Koev Dept. of Theoretica Eectrotechnics, Facuty of Automatics, Technica University of Sofia, 1000 Sofia,

More information

8 Digifl'.11 Cth:uits and devices

8 Digifl'.11 Cth:uits and devices 8 Digif'. Cth:uits and devices 8. Introduction In anaog eectronics, votage is a continuous variabe. This is usefu because most physica quantities we encounter are continuous: sound eves, ight intensity,

More information

Unconditional security of differential phase shift quantum key distribution

Unconditional security of differential phase shift quantum key distribution Unconditiona security of differentia phase shift quantum key distribution Kai Wen, Yoshihisa Yamamoto Ginzton Lab and Dept of Eectrica Engineering Stanford University Basic idea of DPS-QKD Protoco. Aice

More information

Nonlinear Analysis of Spatial Trusses

Nonlinear Analysis of Spatial Trusses Noninear Anaysis of Spatia Trusses João Barrigó October 14 Abstract The present work addresses the noninear behavior of space trusses A formuation for geometrica noninear anaysis is presented, which incudes

More information

Cryptanalysis of PKP: A New Approach

Cryptanalysis of PKP: A New Approach Cryptanaysis of PKP: A New Approach Éiane Jaumes and Antoine Joux DCSSI 18, rue du Dr. Zamenhoff F-92131 Issy-es-Mx Cedex France eiane.jaumes@wanadoo.fr Antoine.Joux@ens.fr Abstract. Quite recenty, in

More information

Identification of macro and micro parameters in solidification model

Identification of macro and micro parameters in solidification model BULLETIN OF THE POLISH ACADEMY OF SCIENCES TECHNICAL SCIENCES Vo. 55, No. 1, 27 Identification of macro and micro parameters in soidification mode B. MOCHNACKI 1 and E. MAJCHRZAK 2,1 1 Czestochowa University

More information

Research of Data Fusion Method of Multi-Sensor Based on Correlation Coefficient of Confidence Distance

Research of Data Fusion Method of Multi-Sensor Based on Correlation Coefficient of Confidence Distance Send Orders for Reprints to reprints@benthamscience.ae 340 The Open Cybernetics & Systemics Journa, 015, 9, 340-344 Open Access Research of Data Fusion Method of Muti-Sensor Based on Correation Coefficient

More information

Tracking Control of Multiple Mobile Robots

Tracking Control of Multiple Mobile Robots Proceedings of the 2001 IEEE Internationa Conference on Robotics & Automation Seou, Korea May 21-26, 2001 Tracking Contro of Mutipe Mobie Robots A Case Study of Inter-Robot Coision-Free Probem Jurachart

More information

A Novel Learning Method for Elman Neural Network Using Local Search

A Novel Learning Method for Elman Neural Network Using Local Search Neura Information Processing Letters and Reviews Vo. 11, No. 8, August 2007 LETTER A Nove Learning Method for Eman Neura Networ Using Loca Search Facuty of Engineering, Toyama University, Gofuu 3190 Toyama

More information

Combining reaction kinetics to the multi-phase Gibbs energy calculation

Combining reaction kinetics to the multi-phase Gibbs energy calculation 7 th European Symposium on Computer Aided Process Engineering ESCAPE7 V. Pesu and P.S. Agachi (Editors) 2007 Esevier B.V. A rights reserved. Combining reaction inetics to the muti-phase Gibbs energy cacuation

More information

DISTRIBUTION OF TEMPERATURE IN A SPATIALLY ONE- DIMENSIONAL OBJECT AS A RESULT OF THE ACTIVE POINT SOURCE

DISTRIBUTION OF TEMPERATURE IN A SPATIALLY ONE- DIMENSIONAL OBJECT AS A RESULT OF THE ACTIVE POINT SOURCE DISTRIBUTION OF TEMPERATURE IN A SPATIALLY ONE- DIMENSIONAL OBJECT AS A RESULT OF THE ACTIVE POINT SOURCE Yury Iyushin and Anton Mokeev Saint-Petersburg Mining University, Vasiievsky Isand, 1 st ine, Saint-Petersburg,

More information

MULTI-PERIOD MODEL FOR PART FAMILY/MACHINE CELL FORMATION. Objectives included in the multi-period formulation

MULTI-PERIOD MODEL FOR PART FAMILY/MACHINE CELL FORMATION. Objectives included in the multi-period formulation ationa Institute of Technoogy aicut Department of echanica Engineering ULTI-PERIOD ODEL FOR PART FAILY/AHIE ELL FORATIO Given a set of parts, processing requirements, and avaiabe resources The objective

More information

STABILITY OF A PARAMETRICALLY EXCITED DAMPED INVERTED PENDULUM 1. INTRODUCTION

STABILITY OF A PARAMETRICALLY EXCITED DAMPED INVERTED PENDULUM 1. INTRODUCTION Journa of Sound and Vibration (996) 98(5), 643 65 STABILITY OF A PARAMETRICALLY EXCITED DAMPED INVERTED PENDULUM G. ERDOS AND T. SINGH Department of Mechanica and Aerospace Engineering, SUNY at Buffao,

More information

Reliability: Theory & Applications No.3, September 2006

Reliability: Theory & Applications No.3, September 2006 REDUNDANCY AND RENEWAL OF SERVERS IN OPENED QUEUING NETWORKS G. Sh. Tsitsiashvii M.A. Osipova Vadivosto, Russia 1 An opened queuing networ with a redundancy and a renewa of servers is considered. To cacuate

More information

THE OUT-OF-PLANE BEHAVIOUR OF SPREAD-TOW FABRICS

THE OUT-OF-PLANE BEHAVIOUR OF SPREAD-TOW FABRICS ECCM6-6 TH EUROPEAN CONFERENCE ON COMPOSITE MATERIALS, Sevie, Spain, -6 June 04 THE OUT-OF-PLANE BEHAVIOUR OF SPREAD-TOW FABRICS M. Wysocki a,b*, M. Szpieg a, P. Heström a and F. Ohsson c a Swerea SICOMP

More information

A Brief Introduction to Markov Chains and Hidden Markov Models

A Brief Introduction to Markov Chains and Hidden Markov Models A Brief Introduction to Markov Chains and Hidden Markov Modes Aen B MacKenzie Notes for December 1, 3, &8, 2015 Discrete-Time Markov Chains You may reca that when we first introduced random processes,

More information

Convergence Property of the Iri-Imai Algorithm for Some Smooth Convex Programming Problems

Convergence Property of the Iri-Imai Algorithm for Some Smooth Convex Programming Problems Convergence Property of the Iri-Imai Agorithm for Some Smooth Convex Programming Probems S. Zhang Communicated by Z.Q. Luo Assistant Professor, Department of Econometrics, University of Groningen, Groningen,

More information

The influence of temperature of photovoltaic modules on performance of solar power plant

The influence of temperature of photovoltaic modules on performance of solar power plant IOSR Journa of Engineering (IOSRJEN) ISSN (e): 2250-3021, ISSN (p): 2278-8719 Vo. 05, Issue 04 (Apri. 2015), V1 PP 09-15 www.iosrjen.org The infuence of temperature of photovotaic modues on performance

More information

A MODEL FOR ESTIMATING THE LATERAL OVERLAP PROBABILITY OF AIRCRAFT WITH RNP ALERTING CAPABILITY IN PARALLEL RNAV ROUTES

A MODEL FOR ESTIMATING THE LATERAL OVERLAP PROBABILITY OF AIRCRAFT WITH RNP ALERTING CAPABILITY IN PARALLEL RNAV ROUTES 6 TH INTERNATIONAL CONGRESS OF THE AERONAUTICAL SCIENCES A MODEL FOR ESTIMATING THE LATERAL OVERLAP PROBABILITY OF AIRCRAFT WITH RNP ALERTING CAPABILITY IN PARALLEL RNAV ROUTES Sakae NAGAOKA* *Eectronic

More information

Stochastic Automata Networks (SAN) - Modelling. and Evaluation. Paulo Fernandes 1. Brigitte Plateau 2. May 29, 1997

Stochastic Automata Networks (SAN) - Modelling. and Evaluation. Paulo Fernandes 1. Brigitte Plateau 2. May 29, 1997 Stochastic utomata etworks (S) - Modeing and Evauation Pauo Fernandes rigitte Pateau 2 May 29, 997 Institut ationa Poytechnique de Grenobe { IPG Ecoe ationae Superieure d'informatique et de Mathematiques

More information

Lecture Note 3: Stationary Iterative Methods

Lecture Note 3: Stationary Iterative Methods MATH 5330: Computationa Methods of Linear Agebra Lecture Note 3: Stationary Iterative Methods Xianyi Zeng Department of Mathematica Sciences, UTEP Stationary Iterative Methods The Gaussian eimination (or

More information

The Normalized Singular Value Decomposition of Non-Symmetric Matrices Using Givens fast Rotations

The Normalized Singular Value Decomposition of Non-Symmetric Matrices Using Givens fast Rotations JOURNAL OF L A TEX CLASS FILES, VOL. 3, NO. 9, SEPTEMBER 24 The Normaized Singuar Vaue Decomposition of Non-Symmetric Matrices Using Givens fast Rotations Ehsan Rohani, Gwan S. Choi, Mi Lu arxiv:77.589v

More information

A. Distribution of the test statistic

A. Distribution of the test statistic A. Distribution of the test statistic In the sequentia test, we first compute the test statistic from a mini-batch of size m. If a decision cannot be made with this statistic, we keep increasing the mini-batch

More information

Threshold Circuits for Multiplication and Related Problems

Threshold Circuits for Multiplication and Related Problems Optima-Depth Threshod Circuits for Mutipication and Reated Probems Chi-Hsiang Yeh Dept. of Eectrica & Computer Engineering Queen s University Kingston, Ontario, Canada, K7K 3N6 E.A. Varvarigos, B. Parhami,

More information

A Simple and Efficient Algorithm of 3-D Single-Source Localization with Uniform Cross Array Bing Xue 1 2 a) * Guangyou Fang 1 2 b and Yicai Ji 1 2 c)

A Simple and Efficient Algorithm of 3-D Single-Source Localization with Uniform Cross Array Bing Xue 1 2 a) * Guangyou Fang 1 2 b and Yicai Ji 1 2 c) A Simpe Efficient Agorithm of 3-D Singe-Source Locaization with Uniform Cross Array Bing Xue a * Guangyou Fang b Yicai Ji c Key Laboratory of Eectromagnetic Radiation Sensing Technoogy, Institute of Eectronics,

More information

THE DIRECT KINEMATICS OF REDUNDANT PARALLEL ROBOT FOR PREDICTIVE CONTROL

THE DIRECT KINEMATICS OF REDUNDANT PARALLEL ROBOT FOR PREDICTIVE CONTROL HE DIREC KINEMAICS OF REDUNDAN PARALLEL ROBO FOR PREDICIVE CONROL BELDA KVĚOSLAV, BÖHM JOSEF, VALÁŠEK MICHAEL Department of Adaptive Systems, Institute of Information heory and Automation, Academy of Sciences

More information

Indirect Optimal Control of Dynamical Systems

Indirect Optimal Control of Dynamical Systems Computationa Mathematics and Mathematica Physics, Vo. 44, No. 3, 24, pp. 48 439. Transated from Zhurna Vychisite noi Matematiki i Matematicheskoi Fiziki, Vo. 44, No. 3, 24, pp. 444 466. Origina Russian

More information

Related Topics Maxwell s equations, electrical eddy field, magnetic field of coils, coil, magnetic flux, induced voltage

Related Topics Maxwell s equations, electrical eddy field, magnetic field of coils, coil, magnetic flux, induced voltage Magnetic induction TEP Reated Topics Maxwe s equations, eectrica eddy fied, magnetic fied of cois, coi, magnetic fux, induced votage Principe A magnetic fied of variabe frequency and varying strength is

More information

Available online at ScienceDirect. Procedia Computer Science 96 (2016 )

Available online at  ScienceDirect. Procedia Computer Science 96 (2016 ) Avaiabe onine at www.sciencedirect.com ScienceDirect Procedia Computer Science 96 (206 92 99 20th Internationa Conference on Knowedge Based and Inteigent Information and Engineering Systems Connected categorica

More information

Statistical Learning Theory: a Primer

Statistical Learning Theory: a Primer ??,??, 1 6 (??) c?? Kuwer Academic Pubishers, Boston. Manufactured in The Netherands. Statistica Learning Theory: a Primer THEODOROS EVGENIOU AND MASSIMILIANO PONTIL Center for Bioogica and Computationa

More information

Uniprocessor Feasibility of Sporadic Tasks with Constrained Deadlines is Strongly conp-complete

Uniprocessor Feasibility of Sporadic Tasks with Constrained Deadlines is Strongly conp-complete Uniprocessor Feasibiity of Sporadic Tasks with Constrained Deadines is Strongy conp-compete Pontus Ekberg and Wang Yi Uppsaa University, Sweden Emai: {pontus.ekberg yi}@it.uu.se Abstract Deciding the feasibiity

More information

Fitting Algorithms for MMPP ATM Traffic Models

Fitting Algorithms for MMPP ATM Traffic Models Fitting Agorithms for PP AT Traffic odes A. Nogueira, P. Savador, R. Vaadas University of Aveiro / Institute of Teecommunications, 38-93 Aveiro, Portuga; e-mai: (nogueira, savador, rv)@av.it.pt ABSTRACT

More information

4 Separation of Variables

4 Separation of Variables 4 Separation of Variabes In this chapter we describe a cassica technique for constructing forma soutions to inear boundary vaue probems. The soution of three cassica (paraboic, hyperboic and eiptic) PDE

More information

NEW DEVELOPMENT OF OPTIMAL COMPUTING BUDGET ALLOCATION FOR DISCRETE EVENT SIMULATION

NEW DEVELOPMENT OF OPTIMAL COMPUTING BUDGET ALLOCATION FOR DISCRETE EVENT SIMULATION NEW DEVELOPMENT OF OPTIMAL COMPUTING BUDGET ALLOCATION FOR DISCRETE EVENT SIMULATION Hsiao-Chang Chen Dept. of Systems Engineering University of Pennsyvania Phiadephia, PA 904-635, U.S.A. Chun-Hung Chen

More information

Scalable Spectrum Allocation for Large Networks Based on Sparse Optimization

Scalable Spectrum Allocation for Large Networks Based on Sparse Optimization Scaabe Spectrum ocation for Large Networks ased on Sparse Optimization innan Zhuang Modem R&D Lab Samsung Semiconductor, Inc. San Diego, C Dongning Guo, Ermin Wei, and Michae L. Honig Department of Eectrica

More information

Theory and implementation behind: Universal surface creation - smallest unitcell

Theory and implementation behind: Universal surface creation - smallest unitcell Teory and impementation beind: Universa surface creation - smaest unitce Bjare Brin Buus, Jaob Howat & Tomas Bigaard September 15, 218 1 Construction of surface sabs Te aim for tis part of te project is

More information

Data Mining Technology for Failure Prognostic of Avionics

Data Mining Technology for Failure Prognostic of Avionics IEEE Transactions on Aerospace and Eectronic Systems. Voume 38, #, pp.388-403, 00. Data Mining Technoogy for Faiure Prognostic of Avionics V.A. Skormin, Binghamton University, Binghamton, NY, 1390, USA

More information

Preconditioned Locally Harmonic Residual Method for Computing Interior Eigenpairs of Certain Classes of Hermitian Matrices

Preconditioned Locally Harmonic Residual Method for Computing Interior Eigenpairs of Certain Classes of Hermitian Matrices MITSUBISHI ELECTRIC RESEARCH LABORATORIES http://www.mer.com Preconditioned Locay Harmonic Residua Method for Computing Interior Eigenpairs of Certain Casses of Hermitian Matrices Vecharynski, E.; Knyazev,

More information

T.C. Banwell, S. Galli. {bct, Telcordia Technologies, Inc., 445 South Street, Morristown, NJ 07960, USA

T.C. Banwell, S. Galli. {bct, Telcordia Technologies, Inc., 445 South Street, Morristown, NJ 07960, USA ON THE SYMMETRY OF THE POWER INE CHANNE T.C. Banwe, S. Gai {bct, sgai}@research.tecordia.com Tecordia Technoogies, Inc., 445 South Street, Morristown, NJ 07960, USA Abstract The indoor power ine network

More information

A simple reliability block diagram method for safety integrity verification

A simple reliability block diagram method for safety integrity verification Reiabiity Engineering and System Safety 92 (2007) 1267 1273 www.esevier.com/ocate/ress A simpe reiabiity bock diagram method for safety integrity verification Haitao Guo, Xianhui Yang epartment of Automation,

More information

Lecture 6: Moderately Large Deflection Theory of Beams

Lecture 6: Moderately Large Deflection Theory of Beams Structura Mechanics 2.8 Lecture 6 Semester Yr Lecture 6: Moderatey Large Defection Theory of Beams 6.1 Genera Formuation Compare to the cassica theory of beams with infinitesima deformation, the moderatey

More information

Generalized multigranulation rough sets and optimal granularity selection

Generalized multigranulation rough sets and optimal granularity selection Granu. Comput. DOI 10.1007/s41066-017-0042-9 ORIGINAL PAPER Generaized mutigranuation rough sets and optima granuarity seection Weihua Xu 1 Wentao Li 2 Xiantao Zhang 1 Received: 27 September 2016 / Accepted:

More information

Approximated MLC shape matrix decomposition with interleaf collision constraint

Approximated MLC shape matrix decomposition with interleaf collision constraint Approximated MLC shape matrix decomposition with intereaf coision constraint Thomas Kainowski Antje Kiese Abstract Shape matrix decomposition is a subprobem in radiation therapy panning. A given fuence

More information

Theory of Generalized k-difference Operator and Its Application in Number Theory

Theory of Generalized k-difference Operator and Its Application in Number Theory Internationa Journa of Mathematica Anaysis Vo. 9, 2015, no. 19, 955-964 HIKARI Ltd, www.m-hiari.com http://dx.doi.org/10.12988/ijma.2015.5389 Theory of Generaized -Difference Operator and Its Appication

More information

Approximated MLC shape matrix decomposition with interleaf collision constraint

Approximated MLC shape matrix decomposition with interleaf collision constraint Agorithmic Operations Research Vo.4 (29) 49 57 Approximated MLC shape matrix decomposition with intereaf coision constraint Antje Kiese and Thomas Kainowski Institut für Mathematik, Universität Rostock,

More information

1. Measurements and error calculus

1. Measurements and error calculus EV 1 Measurements and error cacuus 11 Introduction The goa of this aboratory course is to introduce the notions of carrying out an experiment, acquiring and writing up the data, and finay anayzing the

More information

Semidefinite relaxation and Branch-and-Bound Algorithm for LPECs

Semidefinite relaxation and Branch-and-Bound Algorithm for LPECs Semidefinite reaxation and Branch-and-Bound Agorithm for LPECs Marcia H. C. Fampa Universidade Federa do Rio de Janeiro Instituto de Matemática e COPPE. Caixa Posta 68530 Rio de Janeiro RJ 21941-590 Brasi

More information

Algorithms to solve massively under-defined systems of multivariate quadratic equations

Algorithms to solve massively under-defined systems of multivariate quadratic equations Agorithms to sove massivey under-defined systems of mutivariate quadratic equations Yasufumi Hashimoto Abstract It is we known that the probem to sove a set of randomy chosen mutivariate quadratic equations

More information

IE 361 Exam 1. b) Give *&% confidence limits for the bias of this viscometer. (No need to simplify.)

IE 361 Exam 1. b) Give *&% confidence limits for the bias of this viscometer. (No need to simplify.) October 9, 00 IE 6 Exam Prof. Vardeman. The viscosity of paint is measured with a "viscometer" in units of "Krebs." First, a standard iquid of "known" viscosity *# Krebs is tested with a company viscometer

More information

Experimental Investigation and Numerical Analysis of New Multi-Ribbed Slab Structure

Experimental Investigation and Numerical Analysis of New Multi-Ribbed Slab Structure Experimenta Investigation and Numerica Anaysis of New Muti-Ribbed Sab Structure Jie TIAN Xi an University of Technoogy, China Wei HUANG Xi an University of Architecture & Technoogy, China Junong LU Xi

More information

ACTIVE electrical networks, which require energizing sources for their operation, are most widely

ACTIVE electrical networks, which require energizing sources for their operation, are most widely 1 Stabiization heory For Active Muti-port Networks Mayuresh Bakshi Member, IEEE,, Virendra R Sue and Maryam Shoejai Baghini, Senior Member, IEEE, arxiv:1606.03194v1 [cs.sy] 10 Jun 2016 Abstract his paper

More information

Approximation and Fast Calculation of Non-local Boundary Conditions for the Time-dependent Schrödinger Equation

Approximation and Fast Calculation of Non-local Boundary Conditions for the Time-dependent Schrödinger Equation Approximation and Fast Cacuation of Non-oca Boundary Conditions for the Time-dependent Schrödinger Equation Anton Arnod, Matthias Ehrhardt 2, and Ivan Sofronov 3 Universität Münster, Institut für Numerische

More information

High Efficiency Development of a Reciprocating Compressor by Clarification of Loss Generation in Bearings

High Efficiency Development of a Reciprocating Compressor by Clarification of Loss Generation in Bearings Purdue University Purdue e-pubs Internationa Compressor Engineering Conference Schoo of Mechanica Engineering 2010 High Efficiency Deveopment of a Reciprocating Compressor by Carification of Loss Generation

More information

c 2007 Society for Industrial and Applied Mathematics

c 2007 Society for Industrial and Applied Mathematics SIAM REVIEW Vo. 49,No. 1,pp. 111 1 c 7 Society for Industria and Appied Mathematics Domino Waves C. J. Efthimiou M. D. Johnson Abstract. Motivated by a proposa of Daykin [Probem 71-19*, SIAM Rev., 13 (1971),

More information

In-plane shear stiffness of bare steel deck through shell finite element models. G. Bian, B.W. Schafer. June 2017

In-plane shear stiffness of bare steel deck through shell finite element models. G. Bian, B.W. Schafer. June 2017 In-pane shear stiffness of bare stee deck through she finite eement modes G. Bian, B.W. Schafer June 7 COLD-FORMED STEEL RESEARCH CONSORTIUM REPORT SERIES CFSRC R-7- SDII Stee Diaphragm Innovation Initiative

More information

BALANCING REGULAR MATRIX PENCILS

BALANCING REGULAR MATRIX PENCILS BALANCING REGULAR MATRIX PENCILS DAMIEN LEMONNIER AND PAUL VAN DOOREN Abstract. In this paper we present a new diagona baancing technique for reguar matrix pencis λb A, which aims at reducing the sensitivity

More information

Source and Relay Matrices Optimization for Multiuser Multi-Hop MIMO Relay Systems

Source and Relay Matrices Optimization for Multiuser Multi-Hop MIMO Relay Systems Source and Reay Matrices Optimization for Mutiuser Muti-Hop MIMO Reay Systems Yue Rong Department of Eectrica and Computer Engineering, Curtin University, Bentey, WA 6102, Austraia Abstract In this paper,

More information

Determining The Degree of Generalization Using An Incremental Learning Algorithm

Determining The Degree of Generalization Using An Incremental Learning Algorithm Determining The Degree of Generaization Using An Incrementa Learning Agorithm Pabo Zegers Facutad de Ingeniería, Universidad de os Andes San Caros de Apoquindo 22, Las Condes, Santiago, Chie pzegers@uandes.c

More information

NOISE-INDUCED STABILIZATION OF STOCHASTIC DIFFERENTIAL EQUATIONS

NOISE-INDUCED STABILIZATION OF STOCHASTIC DIFFERENTIAL EQUATIONS NOISE-INDUCED STABILIZATION OF STOCHASTIC DIFFERENTIAL EQUATIONS TONY ALLEN, EMILY GEBHARDT, AND ADAM KLUBALL 3 ADVISOR: DR. TIFFANY KOLBA 4 Abstract. The phenomenon of noise-induced stabiization occurs

More information

arxiv: v1 [math.ca] 6 Mar 2017

arxiv: v1 [math.ca] 6 Mar 2017 Indefinite Integras of Spherica Besse Functions MIT-CTP/487 arxiv:703.0648v [math.ca] 6 Mar 07 Joyon K. Boomfied,, Stephen H. P. Face,, and Zander Moss, Center for Theoretica Physics, Laboratory for Nucear

More information

Absolute Value Preconditioning for Symmetric Indefinite Linear Systems

Absolute Value Preconditioning for Symmetric Indefinite Linear Systems MITSUBISHI ELECTRIC RESEARCH LABORATORIES http://www.mer.com Absoute Vaue Preconditioning for Symmetric Indefinite Linear Systems Vecharynski, E.; Knyazev, A.V. TR2013-016 March 2013 Abstract We introduce

More information

<C 2 2. λ 2 l. λ 1 l 1 < C 1

<C 2 2. λ 2 l. λ 1 l 1 < C 1 Teecommunication Network Contro and Management (EE E694) Prof. A. A. Lazar Notes for the ecture of 7/Feb/95 by Huayan Wang (this document was ast LaT E X-ed on May 9,995) Queueing Primer for Muticass Optima

More information

A Robust Voice Activity Detection based on Noise Eigenspace Projection

A Robust Voice Activity Detection based on Noise Eigenspace Projection A Robust Voice Activity Detection based on Noise Eigenspace Projection Dongwen Ying 1, Yu Shi 2, Frank Soong 2, Jianwu Dang 1, and Xugang Lu 1 1 Japan Advanced Institute of Science and Technoogy, Nomi

More information

arxiv:nlin/ v2 [nlin.cd] 30 Jan 2006

arxiv:nlin/ v2 [nlin.cd] 30 Jan 2006 expansions in semicassica theories for systems with smooth potentias and discrete symmetries Hoger Cartarius, Jörg Main, and Günter Wunner arxiv:nin/0510051v [nin.cd] 30 Jan 006 1. Institut für Theoretische

More information

An explicit Jordan Decomposition of Companion matrices

An explicit Jordan Decomposition of Companion matrices An expicit Jordan Decomposition of Companion matrices Fermín S V Bazán Departamento de Matemática CFM UFSC 88040-900 Forianópois SC E-mai: fermin@mtmufscbr S Gratton CERFACS 42 Av Gaspard Coriois 31057

More information

Improving the Accuracy of Boolean Tomography by Exploiting Path Congestion Degrees

Improving the Accuracy of Boolean Tomography by Exploiting Path Congestion Degrees Improving the Accuracy of Booean Tomography by Expoiting Path Congestion Degrees Zhiyong Zhang, Gaoei Fei, Fucai Yu, Guangmin Hu Schoo of Communication and Information Engineering, University of Eectronic

More information

6.434J/16.391J Statistics for Engineers and Scientists May 4 MIT, Spring 2006 Handout #17. Solution 7

6.434J/16.391J Statistics for Engineers and Scientists May 4 MIT, Spring 2006 Handout #17. Solution 7 6.434J/16.391J Statistics for Engineers and Scientists May 4 MIT, Spring 2006 Handout #17 Soution 7 Probem 1: Generating Random Variabes Each part of this probem requires impementation in MATLAB. For the

More information

Torsion and shear stresses due to shear centre eccentricity in SCIA Engineer Delft University of Technology. Marijn Drillenburg

Torsion and shear stresses due to shear centre eccentricity in SCIA Engineer Delft University of Technology. Marijn Drillenburg Torsion and shear stresses due to shear centre eccentricity in SCIA Engineer Deft University of Technoogy Marijn Drienburg October 2017 Contents 1 Introduction 2 1.1 Hand Cacuation....................................

More information

Integrating Factor Methods as Exponential Integrators

Integrating Factor Methods as Exponential Integrators Integrating Factor Methods as Exponentia Integrators Borisav V. Minchev Department of Mathematica Science, NTNU, 7491 Trondheim, Norway Borko.Minchev@ii.uib.no Abstract. Recenty a ot of effort has been

More information

XSAT of linear CNF formulas

XSAT of linear CNF formulas XSAT of inear CN formuas Bernd R. Schuh Dr. Bernd Schuh, D-50968 Kön, Germany; bernd.schuh@netcoogne.de eywords: compexity, XSAT, exact inear formua, -reguarity, -uniformity, NPcompeteness Abstract. Open

More information

Partial permutation decoding for MacDonald codes

Partial permutation decoding for MacDonald codes Partia permutation decoding for MacDonad codes J.D. Key Department of Mathematics and Appied Mathematics University of the Western Cape 7535 Bevie, South Africa P. Seneviratne Department of Mathematics

More information

Improved Min-Sum Decoding of LDPC Codes Using 2-Dimensional Normalization

Improved Min-Sum Decoding of LDPC Codes Using 2-Dimensional Normalization Improved Min-Sum Decoding of LDPC Codes sing -Dimensiona Normaization Juntan Zhang and Marc Fossorier Department of Eectrica Engineering niversity of Hawaii at Manoa Honouu, HI 968 Emai: juntan, marc@spectra.eng.hawaii.edu

More information

Formulas for Angular-Momentum Barrier Factors Version II

Formulas for Angular-Momentum Barrier Factors Version II BNL PREPRINT BNL-QGS-06-101 brfactor1.tex Formuas for Anguar-Momentum Barrier Factors Version II S. U. Chung Physics Department, Brookhaven Nationa Laboratory, Upton, NY 11973 March 19, 2015 abstract A

More information

C. Fourier Sine Series Overview

C. Fourier Sine Series Overview 12 PHILIP D. LOEWEN C. Fourier Sine Series Overview Let some constant > be given. The symboic form of the FSS Eigenvaue probem combines an ordinary differentia equation (ODE) on the interva (, ) with a

More information

(f) is called a nearly holomorphic modular form of weight k + 2r as in [5].

(f) is called a nearly holomorphic modular form of weight k + 2r as in [5]. PRODUCTS OF NEARLY HOLOMORPHIC EIGENFORMS JEFFREY BEYERL, KEVIN JAMES, CATHERINE TRENTACOSTE, AND HUI XUE Abstract. We prove that the product of two neary hoomorphic Hece eigenforms is again a Hece eigenform

More information

Asynchronous Control for Coupled Markov Decision Systems

Asynchronous Control for Coupled Markov Decision Systems INFORMATION THEORY WORKSHOP (ITW) 22 Asynchronous Contro for Couped Marov Decision Systems Michae J. Neey University of Southern Caifornia Abstract This paper considers optima contro for a coection of

More information

An approximate method for solving the inverse scattering problem with fixed-energy data

An approximate method for solving the inverse scattering problem with fixed-energy data J. Inv. I-Posed Probems, Vo. 7, No. 6, pp. 561 571 (1999) c VSP 1999 An approximate method for soving the inverse scattering probem with fixed-energy data A. G. Ramm and W. Scheid Received May 12, 1999

More information

A SIMPLIFIED DESIGN OF MULTIDIMENSIONAL TRANSFER FUNCTION MODELS

A SIMPLIFIED DESIGN OF MULTIDIMENSIONAL TRANSFER FUNCTION MODELS A SIPLIFIED DESIGN OF ULTIDIENSIONAL TRANSFER FUNCTION ODELS Stefan Petrausch, Rudof Rabenstein utimedia Communications and Signa Procesg, University of Erangen-Nuremberg, Cauerstr. 7, 958 Erangen, GERANY

More information

On Complex Preconditioning for the solution of the Kohn-Sham Equation for Molecular Transport

On Complex Preconditioning for the solution of the Kohn-Sham Equation for Molecular Transport On Compex Preconditioning for the soution of the Kohn-Sham Equation for Moecuar Transport Danie Osei-Kuffuor Lingzhu Kong Yousef Saad James R. Cheikowsky December 23, 2007 Abstract This paper anayzes the

More information

Optimal Control of Assembly Systems with Multiple Stages and Multiple Demand Classes 1

Optimal Control of Assembly Systems with Multiple Stages and Multiple Demand Classes 1 Optima Contro of Assemby Systems with Mutipe Stages and Mutipe Demand Casses Saif Benjaafar Mohsen EHafsi 2 Chung-Yee Lee 3 Weihua Zhou 3 Industria & Systems Engineering, Department of Mechanica Engineering,

More information

Primal and dual active-set methods for convex quadratic programming

Primal and dual active-set methods for convex quadratic programming Math. Program., Ser. A 216) 159:469 58 DOI 1.17/s117-15-966-2 FULL LENGTH PAPER Prima and dua active-set methods for convex quadratic programming Anders Forsgren 1 Phiip E. Gi 2 Eizabeth Wong 2 Received:

More information

Structural Control of Probabilistic Boolean Networks and Its Application to Design of Real-Time Pricing Systems

Structural Control of Probabilistic Boolean Networks and Its Application to Design of Real-Time Pricing Systems Preprints of the 9th Word Congress The Internationa Federation of Automatic Contro Structura Contro of Probabiistic Booean Networks and Its Appication to Design of Rea-Time Pricing Systems Koichi Kobayashi

More information

Efficient Algorithms for Pairing-Based Cryptosystems

Efficient Algorithms for Pairing-Based Cryptosystems CS548 Advanced Information Security Efficient Agorithms for Pairing-Based Cryptosystems Pauo S. L. M. Barreto, HaeY. Kim, Ben Lynn, and Michae Scott Proceedings of Crypto, 2002 2010. 04. 22. Kanghoon Lee,

More information

Introduction. Figure 1 W8LC Line Array, box and horn element. Highlighted section modelled.

Introduction. Figure 1 W8LC Line Array, box and horn element. Highlighted section modelled. imuation of the acoustic fied produced by cavities using the Boundary Eement Rayeigh Integra Method () and its appication to a horn oudspeaer. tephen Kirup East Lancashire Institute, Due treet, Bacburn,

More information

The Symmetric and Antipersymmetric Solutions of the Matrix Equation A 1 X 1 B 1 + A 2 X 2 B A l X l B l = C and Its Optimal Approximation

The Symmetric and Antipersymmetric Solutions of the Matrix Equation A 1 X 1 B 1 + A 2 X 2 B A l X l B l = C and Its Optimal Approximation The Symmetric Antipersymmetric Soutions of the Matrix Equation A 1 X 1 B 1 + A 2 X 2 B 2 + + A X B C Its Optima Approximation Ying Zhang Member IAENG Abstract A matrix A (a ij) R n n is said to be symmetric

More information