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. ...

Еще в разделе: (Показать все результаты (>363) - www.ssau.ru/ )

• В Самарской области завершился трек Aerospace акселератора GenerationS
• Трек Aerospace акселератора GenerationS продолжит работу в Тольятти
• РВК приглашает к участию в акселерационной программе GenerationS

... DDR2 . ...

Еще в разделе: (Показать все результаты (>340) - astrokuban.info/ )

• Science Made Easy: Key Stage 2: Ages 8-9 12296407 Велотренажер Tunturi Pure
• Автокресло Sparco F1000K синее - Sparco - Sparco Леггинсы Z Generation
• Куртка утепленная Z Generation - Z Generation - Z Generation Журнальный столик

... For X SSet denote by skn (X ) the minimal simplicial subset of X containing all simplices of X of degree n and less (put sk -1 (X ) = ). n X )N · Prove that skn (X ) is isomorphic to the colimit of the following functor F : ( Here (n )N X is the subcategory of the category of elements X SSet. of X (see lectures) containing all non-degenerate simplices of degree n and less, and F sends a non-degenerate simplex k X to k SSet. ... Prove that |X | ... Let A[-] : Set Mo dA denote the free A-module...

Еще в разделе: (Показать все результаты (>744) - www.mccme.ru/ )

• http://www.mccme.ru/~smirnoff/papers/svars_eng.pdf
• http://www.mccme.ru/ium/postscript/f00/notes/comb05.ps
• http://www.mccme.ru/ium/postscript/f00/notes/comb06.ps

... Next, the screen displays "Press 0 to align or Mode for Menu." Press "0" if you wish to begin Automatic alignment (or Easy Align, depending on your telescope model), or press Mode if you wish to choose a manual alignment method ("Automatic Alignment" displays, and you can press MODE to go through the menu to find other alignments). ... Note: If you press the "?" key while "Ctr Brightest Star" displays, the alignment star that AutoStar has chosen will display. ... Alignment successful" displays. ...

Еще в разделе: (Показать все результаты (>2479) - www.meade.com/ )

• Meade Instruments Corp. - Meade Customer Support
• Hand Controller Holder
• Hand Controller Holder - Parts - Products

... Satellite data ] . ... Data organization and access. ... The following data types are used for storage of information relevant to the project: . ... All data available within the Pavodok-96 project are copyright ї Space Monitoring Information Support laboratory (SMIS IKI RAN). Neither the data themselves nor any materials obtained with the use of these data can be used for commercial purposes and/or by any mass-media or public information system without prior writting permission from SMIS IKI RAN. ...

Еще в разделе: (Показать все результаты (>22) - smis.iki.rssi.ru/ )

• Software Development

THE 75th NAME-LIST OF VARIABLE STARS. ... The 75th Name-List consists of two tables. ... the literature, taken from positional catalogues, including USNO A1.0/A2.0 and GSC, or determined by the authors); the range of variability (sometimes the column Min gives, in parentheses, the amplitude of light variation; the symbol ( means that the star , in minimum light, becomes fainter, than the magnitude indicated); and the system of magnitudes used ( P are photographic ...

Еще в разделе: (Показать все результаты (>15) - www.sai.msu.ru/ )

... BOM2 and the basic block of solar limbograph including pointing and control systems ? ... Fine tracking platform (FTP) for Sun tracking by the sight axis of the limbograph; . ... Tracking system frequency ? ... Controller of the control system and solar fine tracking of the sight axis of the limbograph; . ... The basic relative construction of the elements and instrumental blocks of the "Astrometria" space experiment is shown on the block diagram of units within the complex of SL-200 solar...

Еще в разделе: (Показать все результаты (>253) - www.gao.spb.ru/ )

• Combined database of sunspot magnetic fields
• Pulkovo NEO Page: Ephemeris Support
• The Canadian S2 Correlator - Principles of Radio Interferometry

Russian SHAREABLE DATA CENTER Institute of Solar-Terrestial Physics SB RAS . ... The ionogram catalogue is divided into the data file and the key file. ... The station codes database consists of the data file and two key files. ... This database consists of the data file and the key file. ... The antenna DB consists of two interrelated databases. ... The data file contains the following information: antenna type, antenna name, antenna parameters names, measurement units, and ranges of parameters. ...

Еще в разделе: (Показать все результаты (>15) - rp.iszf.irk.ru/ )

Race to the Planets Family Event Sample Agendas Family ASTRO Leader Kits and Guides are designed to contain enough materials and activities for two full family events. ... What's Next: As families leave, make sure they know about the date and time for your second Race to the Planets session and that you'll want to know how they did playing the "Surfing the Solar System" game. ... If there are any planets visible in the night sky, a nice follow up to this family event is a planet observing session. ...

Еще в разделе: (Показать все результаты (>916) - www.astrosociety.org/ )

• ASP: Mercury Archive
• ASP: Mercury Magazine
• ASP: The New and Improved Hubble Space Telescope

NEUTRON MONITOR DATA FOR JUNGFRAUJOCH AND BERN DURING THE GROUND-LEVEL SOLAR COSMIC - RAY EVENT ON 29 SEPTEMBER 1989 H. Debrunner, E.O. Flckiger, F. Golliez, R. Btikofer, W. Scuntaro and G. Sebor Physikalisches Institut, Universitt Bern Sidlerstrasse 5, CH-3012 Bern , Switzerland This report contains the data for the ground-level solar cosmic ray event on 29 September ... This monitor is operating since 1986 (Debrunner et al., ... 1987. ...

Еще в разделе: (Показать все результаты (>1002) - www.wdcb.ru/ )

• http://www.wdcb.ru/stp/data/geomagni.ind/ae_min/1INDICE.FMT
• http://www.wdcb.ru/stp/data/geomagni.ind/aa/aa_IMF/AAIMF.fmt
• http://www.wdcb.ru/stp/data/sudden.com/storm_rev.txt

... Limit of star magnitude. If you want to obtain best results, you should use reference stars not more dimly than limiting star magnitude of your telescope. Limiting star magnitude depends on time of an exposition also.) This value should be set as " maximum of star magnitude " in a dialog box " Extraction from catalogue". To find darkest stars in the frame, make the following: . ... Two star magnitudes (m1, m2 in two photometric systems) will be outputted in the window "Information". ...

Еще в разделе: (Показать все результаты (>12) - www.izmccd.puldb.ru/ )

... The following lists several Chandra-related sites on the World-Wide Web (WWW). ... Chandra X-Ray Center (CXC), operated for NASA by the Smithsonian Astrophysical Observatory (SAO). http://wwwastro.msfc.nasa.gov/ . ... AXAF Mission Support Team (MST), at the Smithsonian Astrophysical Observatory (SAO). http://hea-www.harvard.edu/HRC/ . ... Chandra Low-Energy Transmission Grating (LETG) team at Space Research Organisation Netherlands (SRON). http://www.rosat.mpe-garching.mpg.de/axaf/ . ...

Еще в разделе: (Показать все результаты (>439) - xray.sai.msu.ru/ )

• Page contents
• DHTML Kitchen: Tabs
• The Stopping Radius

... file but would like it to be automatically updated # again, run the following command: # sudo dpkg-reconfigure -phigh xserver-xorg Section Files EndSection Section InputDevice Identifier Generic Keyboard Driver kbd Option CoreKeyboard Option XkbRules xorg Option XkbModel pc105 Option XkbLayout us ...

Еще в разделе: (Показать все результаты (>28) - observ.pereplet.ru/ )

• MASTER GLOBAL ROBOTIC TELESCOPES NET

MPEC 2010-L25 : 2010 LG14 6/7/10 9:33 AM Printer- friendly version Search MPC/CBAT IAU Minor Planet Center MPC Operations Status Processing (Info) ECS: Accessible Observer Services (NEOs) N N N N N N N EO Services Overview EO Confirmation EO Confirmation (RA order) EO Ratings EO Page EO Observation Planning Aid EOChecker MPEC 2010- L25 : 2010 LG14 The following Minor Planet Electronic Circular may be linked- to from your own Web pages, but must not otherwise be redistributed electronically . ...

Еще в разделе: (Показать все результаты (>41) - www.winer.org/ )

• http://www.winer.org/Downloads/MPEC2010-N42.pdf
• http://www.winer.org/Downloads/MPEC2008-W66.pdf
• http://www.winer.org/Downloads/MPEC2008-X12.pdf

The rising tides. In 1777 Laplas made a report in the Paris academy about the rising tides and the falling tides. Their first model was considered by Newton and Kepler so that the rising tides and the falling tides were caused by the Moon and the Sun. This theory was developed by I. Bernully, Ailer and d'Alamber. Their scheme about the rising tides following on two directions (one to the Moon and the other to the Sun) was suited the non deep ocean in the stable planet. ...

Еще в разделе: (Показать все результаты (>37) - www.space.vsi.ru/ )

and 42 % 27-11-1999 Andr\'as Holl % 2.31: 02-05-2001 % % Konkoly Observatory, Budapest, Hungary % Use the following documentstyle definition : % \documentstyle[twoside, ibvs2, epsf]{article} % or % \documentstyle[twoside]{article} % \input ibvs2.sty % \input epsf.sty % epsf is only needed for figures % IBVS.STY screen message \ typeout {} \ typeout {IBVS.STY Ver. 2.31 - 02-05-2001 } \ typeout {Information Bulletin on Variable Stars - Konkoly Observatory} \ ...

Еще в разделе: (Показать все результаты (>64) - sai.msu.ru/ )

• http://www.sai.msu.su/gcvs/gcvs/v/sn.txt
• http://www.sai.msu.su/gcvs/gcvs/nsv/readme
• General Catalogue of Variable Stars: Vols I-III (the new electronic version).

... the data are described accurately enough to allow an unambiguous interpretation of the data, as well as a comprehension of the context in which the data were acquired and/or processed; a single ascii file, named ReadMe , is designed for this role. the data are in a format which allows their usage by tools currently in usage in our discipline -- normally flat ascii files ; other formats can be accepted, but are converted into flat files. ... How to prepare the Data files . ... How to deposit the data...

Еще в разделе: (Показать все результаты (>156) - mavr.sao.ru/ )

• Catalog of the LV Galaxies
• :: Generated By JQueryForm.Com
• Multi-Spin Galaxies ? 2016

... T he ADC 's data holdings contain the following item(s) that match the query entered - . Fill in Any or All Search Fields Below . ... J/A+AS/126/281 Solar disk spectrum (660-1175A) (Curdt+ 1997) . ... J/A+AS/103/57 Spectral coefficients of emission and absorption (MIHAJLOV 1994) . ... J/A+AS/122/51 B to G stars calibration in Geneva photometry (Kunzli+, 1997) . ... J/A+AS/113/237 Ultraviolet Spectrum of the Sun (Samain, 1995) . ... J/A+AS/141/141 8500-8750{AA} high resolution spectroscopy. ...

Еще в разделе: (Показать все результаты (>48) - vega.inp.nsk.su/ )

• NGC description
• Uppsala General Catalogue of Galaxies

The section "Interstellar Radio Messages" contains only abstracts and articles which were written about IRE's works. It's a reason why, for example, such classical subject as Arecibo Message does not present here. Some texts were corrected by our American colleagues in order to convert our local "Russian" English into the true English. ... And at the same time ask an indulgence at readers for this and some following texts, which were not "re-translated". Alexander L. Zaitsev . ...

Еще в разделе: (Показать все результаты (>469) - www.cplire.ru/ )

• Getting Started in Actor Prolog. 3D Web Site.
• Report on Cosmic Call 1999
• Project 5 - State Program "Condenced Matter Physics"

... LINKS . ... 0 total, enter for more, latest pics follow . AAL Activities . ... 105 total, enter for more, latest pics follow . ... Internet Time: @850 . ... INTELLIGENT-IP Internet Services . SOME LINKS . ... more links.. ... The AAL is not responsible for the content of external internet sites! ... Coordination & Astronomical Content by: J. Steinberg ...

Еще в разделе: (Показать все результаты (>37) - www.aal.lu/ )