TOOLS OF TEST GENERATION FOR SATELLITES CONTROL PROGRAMS Andrey Tyugashev, Ekaterina Myasnikova, Elena Sopchenko S.P. Korolyov Samara State Aerospace University (National Reseach University) The paper presents a research in the field of test automation for testing spacecraft control programs. ... Programmers or designers of spacecraft systems write tests manually. ... Tests are carried out by issuing the control actions on the spacecraft and condition monitoring systems parameters of the spacecraft. ...

Russian SHAREABLE DATA CENTER Institute of Solar-Terrestial Physics SB RAS . ... Here we present the ionospheric parameters variations for quiet conditions. ...

... The operators will be explained as they are used. The general notion to keep in mind is that any combination of these operators results in a 2- D affine coordinate transformation in the TF plane, which may be represented using the homogeneous coordinates often used in computer graphicsfoley. ... S _t_c,f_c = g_t_c,f_c,(_t) | ... We denote a time shift to the position , with an operator that has a multiplicative law of composition : (Table 1). ... Note that these two operators do not commute. ...

... Meta Index / Home Page This section documents the parameters recognized by this task (if any). ... boxhalfsize . yes . ... This should match the value of -boxsize supplied to eboxdetect . ... The cal calculates the truncation point so that the included part of the PSF contains approximately the fraction of total flux specified by the present parameter. ... If psfestyle =`dss', the task looks for the mean energy value in the data subspace of the image set supplied to the present parameter. ...

... We demonstrate through numerical simulations that model parameters estimated with our technique are essentially bias-free, even when the average number of counts per bin is 1. ... The IW technique avoids such biases by estimating through successive iterations, where for each iteration, j, , and the best-fit parameters are determined by minimization of . ... In our sample, we find that the minimum values and best-fit parameters converge after about 6 iterations. ...

... Fitting the observed dependence includes calculations of the polarization cross-sections averaged over particles orientation and size distribution, their normalization and the comparison of obtained dependencies with Serkowski's curve representing observational data for a chosen star. ... Variations of the polarization factors with wavelength are shown in Fig. 16 for homogeneous spheroidal particles with PF orientation. ... The distinction between prolate and oblate spheroids is also clearly seen. ...

The beam pattern and the polarization characteristics . of the radio telescope RATAN-600 . The Mueller matrix elements was computed via formulas [1]: . ... The BP were computed by the aperture method, proceeding from the fild distribution in the aperture of the primary mirror. The components of the main and cross-polarization components of the electric field in the vertical aperture of the primary mirror was computed in Frenel diffraction approximation. ...

Next: Star Formation Rate and Up: No Title Previous: Calculation of Evolutionary Tracks . To start calculations, we choose the distributions of the initial binary parameters: the mass of the primary ZAMS component, , binary mass ratio, , orbital separation a . ... whereas the mass ratio distribution is not. ... The zero assumption often made is that the mass ratio distribution has a flat shape, that is binaries with a high mass ratio occur as frequently as those with equal masses. ...

... The Boolean object is an object wrapper for a boolean value. ... JavaScript 1.3: added toSource method . ... If value is omitted or is 0, -0, null, false, NaN , undefined, or the empty string ( "" ), the object has an initial value of false. All other values, including any object or the string "false" , create an object with an initial value of true. ... For Boolean objects and values, the built-in toString method returns the string "true" or "false" depending on the value of the boolean object. ...

... use frames summary class fields routine details file attributes . GENERATE_RAMP , time , ramp , SEED= SEED . add_cosmic_rays , CRMAP , MODE= MODE , CRPATH= CRPATH , SEED= SEED . GENERATE_DATACUBE , time , ramp , SEED= SEED , Ngroups= Ngroups . FIND_CR , CR_found . analysis , CR_found . ... time . ramp . SEED . Lines: . 50 lines . ... CR_found . ... idl verbatim . ...

THE PARAMETERS INVOLVED IN HAPKE'S MODEL FOR ESTIMATION OF THE COMPOSITION OF THE EJECTA LUNAR TERRAINS. ... In the previous papers we were estimated the surface roughness of the ejecta lunar terrains by means comparison of the local phase function and the average integrated lunar indicatrix. ... The Hapke's theoretical model of the lunar surface reflection. ... For THE PARAMETERS INVOLVED IN HAPKE'S MODEL: S.G. Pugacheva, V.V. Shevchenko a low-albedo lunar surface parameter Bo = 1. ...

The current set of keyword-value pairs of a task can be monitored by typing ESC K while the name of the task is present in the User Command Area. This causes (part of) the Common Output Area to be overlaid with a display containing the current user input parameters of the task. ... If there is currently a set of parameters displayed on the screen (as the result of typing ESC K ), these parameters will be edited; otherwise the name of the task is derived from the User Command Area contents. ...

The central velocity dispersion represents the internal motions of the stars along a column crossing the center of a galaxy or star cluster. ... The catalogue of collected velocity dispersions may be accessed in HyperLeda. vdis is the velocity dispersion given in km/s. The velocity dispersion gives to some approximation the scale for the specific kinetic energy contained in in un-ordered motions and combined with the velocity of rotation it may give an estimate of the specific kinetic energy. ...

. ___________________________________________________________________ The Electronic Universe Project e-mail: nuts@moo.uoregon.edu

... This problem affects all FITS-files generated between 16 September and 9 November 2004. ... DETAILED DESCRIPTION -------------------- AFFECTED KEYWORDS : The affected keywords are: CRVAL2A and CRVAL3A (beam position on sky in RA/Dec) CRVAL2B and CRVAL3B (beam position on sky in Az/ZA) CRVAL2G and CRVAL3G (beam position on sky in l/b) CROFF2 and CROFF3 (map center offset in RA/Dec) CROFF2B and CROFF3B (map center offset in Az/ZA) BEAM_OFFRAJ and BEAM_OFFDECJ (total beam ...

... Tte tables of ionosphere and plasmasphere parameters are contained in a file param.tbl. ... Latitude Longitude Numbers of tables for (degree) (degree) Month Wm=10 Wm=100 Wm= 150 80 30 March 1 - 3 397-399 793-795 80 150 March 4 - 6 400-402 796-798 80 270 March 7 - 9 403-405 799-801 60 30 March 10 - 12 406-408 802-804 60 150 March 13 - 15 409-411 805-807 60 270 March 16 - 18 412-414 808-810 40 30 March 19 - 21 415-417 811-813 40 150 March 22 - 24 418-420 814-816 40 270 ...

... Mokhovaya st., 11, Moscow, 103907, Russia. ... Proceedings of the 6th IEEE International Specialist Workshop on Nonlinear Dynamics of Electronic Systems, Budapest, Hungary, 16-18 July, 1998 , pp. ... The method for synchronization of drive-response systems on conditions of a large mismatch of parameters is considered on example of the system based on modified Chua's circuit. The approach to information transmission using such method is proposed. ...

External influences on spin parameters for INTERBALL - AP . ... The main interest is that almost all kind of external influences to parameters of motion (eclipse, normalization, ROS) are presented in the one time interval. Three upper panels illustrate the spin velocity, the angle between kinetic moment and sun direction, and the nutation.All external events are represented on the lowest panel as blue, green and yellow columns. ...

Hideyuki Saio Simon Jeffery are exploring models for the evolution of stars formed by the merger of two white dwarfs. The attached movie provides a simulation of the major events involved in the merger process. ... An initial binary system consists of two white dwarfs of masses M 1 and M 2 (given) with an orbital period ( P ). ... We adopt a simple expression for the white dwarf radius as a function of mass (in solar units): . ... The merged star evolution is simulated by a quadratic expansion . ...

... Classes . ... gTime Class Reference . This class implements time calculations. ... gTime (double ai_jDays=0) . ... gTime (const gTime &timeSrc) . ... Set the time value of the time object to the julian day of year, day. ... operator= (const gTime &timeSrc) . ... Returns the time GMT value in Julian days. ... Returns the time_t value of the gTime Object. ... Returns a gTime object setted with the actual machine time. ... gTime Object assigned with real machine time. double gTime::getGmtTm . ...