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

... See explanatory notes below) /* * example of dictionary * Teodor Sigaev teodor@sigaev.ru */ #include errno.h #include stdlib.h #include string.h #include ... _MAGIC; #endif #include dict.h #include common.h #include subinclude.h typedef struct { int maxlen ; bool rejectlong ; } DictInt ; PG_FUNCTION_INFO_V1(dinit_ intdict ); Datum dinit_ intdict (PG_FUNCTION_ARGS); Datum dinit_ ... MAXLEN=6,REJECTLONG=true qq=# select lexize('intdict','12345678'); lexize ---------- {123456} . ...

... The Astronomical Society of the Pacific (ASP) presented Priscilla and Bart Bok Awards to two high School Seniors at the Intel International Science and Engineering Fair held May 10 to 15 in Reno this year. ... The Bok prize is named for Bart and Priscilla Bok. ... About 10 years ago, at the suggestion of the American Astronomical Society, the activities supported by the Bok Fund were expanded to include the joint sponsorship of an astronomy award at Intel Science and Education Fair. ...

GRANAT is the Russian x-ray sattelite launched to the high apogee orbit (200,000 km) and operated almost for 10 years (1989 -1999) , carrying out four major instruments: French SIGMA coded-mask hard x-ray telescope (30-1000 keV), Soviet ART-P coded-mask telescope (2??-60?? keV), all-sky monitor WATCH (6-150 keV), and a gamma-burst detector PHEBUS . ... Since September 1994, GRANAT is in the survey mode. ... Explore pages devoted to individual GRANAT instruments (including main scientific results): . ...

... Research . Projects . ... The name of the project APEX is a reduction from words " Active Plasma Experiments " . The core of the project are active experiments with injection of electron and (or) plasma beams from a board of the satellite with simultaneous registration of the phenomena, produced by interaction of injected beam with background plasma. ... Active experiments utilise modulated electron beam accelerator and source of modulated xenon plasma beam on the main spacecraft APEX. ...

NEAR to an Asteroid . ... Credit Copyright: NASA , JPL , Galileo Project Explanation: Excitement mounts as NASA's Near Earth Asteroid Rendezvous (NEAR) spacecraft nears launch - currently scheduled for 3:53 ET on February 16. NEAR's mission is to become the first spacecraft to rendezvous with and orbit an asteroid , the asteroid designated 433 Eros. ... It is hoped that NEAR will go far towards answering questions about the nature and origin of near Earth asteroids. ... NASA Official: Jay Norris. ...

Проект существует с июля 2002 года. Цель проекта - дать краткий обзор наиболее интересных статей, появившихся в библиотеке электронных препринтов astro-ph . Также в обзоры будут включаться статьи, появившиеся в списке astro-ph из других разделов. ... Параллельно в 2002-2003 гг. создавался списки обзорных статей, в которых подробно освещаются те или иные часто обсуждаемые вопросы (например, статья А. Линде hep-th/0107176 является одной из лучших обзорных статей по инфляции). ...

Disastrous earthquakes happen 100 to 200 times a year. ... There is a chance that the data of ionospheric plasma observations hold an answer to the latter question. Satellites and ground-based facilities may detect earthquake precursors in the ionosphere a few hours or days before the main shock. ... ULF "Hz"-oscillations have been recorded several hours before the main shock in a narrow magnetic field tube (40...100 km along the satellite trajectory) conjugated with epicenter of the earthquake. ...