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

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

• Mathematical Modeling and Informational Technologies in Photonics
• Mechatronic Systems

Supernova 2008br and 2008co in IC 2522 . This page is devoted to information on Supernova 2008br and Supernova 2008co in IC 2522 . ... Information on the original web pages for many of these images can be found on the updates and links web pages. 2008br was discovered by Berto Monard (South Africa). ... It's always good to frequent 'good' galaxies, those that are expected to produce SNe in abundance. ... Two good galaxies on one image. ... SNWeb has a 2008br page and 2008co page . ... 2008/04/08 . ...

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

• Supernova 2007uy and 2008D in NGC 2770
• Supernova 1998eg in UGC 12133
• Supernova 2006dk in NGC 4161

... We are developing the following problems: a) combine optical and microwave technic to the indication of non-linear surface waves and wave breaking field; b) modelling of microwave propagation in a multiphase air-water interface; c) obtain quantitative dependencies of microwave radiation on geometry and statistics of wave breaking field in ocean surface; d) monitoring of ocean surface states using optical amd microwave airspace data sets. ... Important issue is spray and underwater bubbles. ...

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

• LOC Information (I)
• Submission of questions
• International Conference "MODE CONVERSION, COHERENT STRUCTURES AND TURBULENCE"

MATSYM - symbolic matrix processor . ... To use the program you will need a MAT file (liked CIR file: "User manual for CIRSYM program") of your system. ... In first string of MAT file enter any text you want to be the title of your system. ... Starting from string 2 (if is not comments - "*") enter the system element name, incident row and column and, optionally, its value. ... To generate a solution, run MATSYM.exe and enter "system_file_name.CIR" or click on the "ENTER" (in "MAT" case). ...

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

• Symbolic circuit processor
• Specification

The database contains references to the papers, data files and links to the Internet resources related to measurements and calculations of the optical constants in the wavelength interval from X-rays to radio domain. ... References to some useful books and reviews on the subject (e.g. the classical handbooks edited by E.D.Palik) and links to Internet collections of optical constants and personal WWW pages with related software were also placed in the database. You have arrived at our welcome page. ...

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

• X-Ray WWW Server
• Vladimir P. Reshetnikov's Home Page
• AI SPbU library of scattering codes

Sometimes we require more than one line for a statement Print *, 'This is a long output line',& ' this is the second part',& ' and this is the third part!' Nowadays, in the free form, we continue a line with the symbol "&" (called ampersand), i.e. with the sign & at the end of the old line instead of an almost arbitrary character in column 6 of the new line. ... Exclamation mark in column 1 of course means a comment line also in the old fixed form. ... 3.1) What does the following line mean? ...

Еще в разделе: (Показать все результаты (>2902) - star.arm.ac.uk/ )

• Atomic data for Stellar Atmospheres: lte_lines
• Public Understanding of Science
• Code of Good Practice for Scholarly and Scientific Research

PROGRAM, ABSTRACTS and . PROCEEDINGS . Program, abstract and proceedings . ... Abstract Preparation . ... Last updates, 24 Nov 2001: . ... The third International Conference on Physics of Low-Dimensional Structures (PLDS-3) will be held on October 15-20, 2001 in Chernogolovka, Institute of Solid State Physics Russian Academy of Sciences, Moscow District. ... The scientific program covers a wide range of issues in modern physics of low-dimensional systems including the following topics: . ...

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

• Department of Solid State Physics MIPT
• International Astronomy Olympiad: Form for the short report of National
• Equipment LSR ISSP RAS

XMM-Newton Science Analysis System Page: 1 ppssumm January 10, 2003 Abstract Produce an HTML summary page for any XMM instrument, or produce an HTML summary of the pipeline processing of an observation (including PNG or PS product le links). ... The product and processing information for the PPS Catalog information. ... NoLogoBanner (warning) (warning) corrective action: corrective action: No LOGO to be written to HTML le.NoINSTSUMMtoHTMLNo INST- SUMM records written to HTML. ...

Еще в разделе: (Показать все результаты (>13051) - xmm.vilspa.esa.es/ )

• SAS Makefiles
• [sas-uploads] sas-1.483.tgz
• SAS package check list

... In order to successfully graduate from the University and receive a diploma, a student must pass exams in all required courses and in some elective courses, and then must write and defend a thesis. ... In order to become a student at the IUM, one had to take a written mathematical entrance exam in the end of June or in the beginning of September. ... Non-matriculated students who successfully complete the exams for the first semester become official students of the University. ...

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

• IUM: International Conference "FUNDAMENTAL MATHEMATICS TODAY"
• Conference Moduli Spaces
• Conference "Algebraic Geometry and Number Theory"

... 9857 5.00 5.27 5.14 0.03 19.6 10.3 10 2006 06 21 Jupiter Trojan 9881 1.38 3.30 2.34 0.41 8.1 15.9 9 2008 04 08 13060 4.53 5.82 5.18 0.12 22.9 10.3 9 2004 05 19 Jupiter Trojan 13551 1.45 3.60 2.52 0.43 5.3 16.1 8 2008 03 02 17640 1.50 3.14 2.32 0.35 25.4 14.0 9 2004 12 19 18514 1.35 3.78 2.57 0.47 24.9 15.9 7 2010 05 10 23480 4.77 5.66 5.22 0.09 22.5 11.4 9 2005 06 10 Jupiter Trojan 48438 4.95 5.28 5.11 0.03 31.4 10.2 10 2006 12 31 Jupiter ...

Еще в разделе: (Показать все результаты (>1449) - www.mso.anu.edu.au/ )

• Naomi McClure-Grffiths
• Untitled1
• ANU - Research School of Astronomy and Astrophysics - 5th Stromlo Symposium

... Actor Prolog supports so-called repeated proving of sub-goals. ... Logical actors are a name of these repeatedly proved sub-goals. ... A logic program consists of sub-goals that must be proven in the course of an execution of the program (like a usual imperative program consists of commands to be executed). ... There are some logical actors in the outside world from the standpoint of the ideology of Actor Prolog , and a program interacts with these external actors. ...

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

• Getting Started in Actor Prolog. Underdetermined Sets.
• Getting Started in Actor Prolog. Hello World.
• Thin Film Oxide Electronics Laboratory. Equipment

... Research objects and scientific purposes . Space scientific program includes development and launch of two supersmall spacecrafts "Universitetskiy" and "Kompas-2" intended for monitoring of radiation conditions near the Earth. ... All the studies conducted in the near-Earth space are characterised by strong radiation fields. ... The circular polar orbits, which cover all the near-Earth space, are the most favorable for comprehensive studies of the radiation conditions near the Earth. ...

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

• UNIVERSAT-2009: University Satellites in Space Sciences Education, Zvenigorod,

Astronomy Discussion Forums . Forums: . ... God and Science · SETI · Software · UFO · XEphem . ... Discussion Forums . ... Radio Signals . Forum List | ... Post Message | ... The only patterns we can be relatively sure they will recognize are those based on physics or mathematics. ... Login to Post . ... www.astronomy.net . About Astronomy Net | ... Forum posts are Copyright their authors as specified in the heading above the post. "dbHTML," "AstroGuide," "ASTRONOMY.NET" & "VA.NET" . ...

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

• As I Understand Virtual Paticles - an Astronomy Net Blackholes2 Forum Message
• Black-hole Galaxy Model Of Dark Matter - an Astronomy Net Blackholes2 Forum
• Black Holes And RedShift - an Astronomy Net Blackholes Forum Message

... selected="selected"' : ''; $menu .= '<option value="' . ... SERVER['REQUEST_URI'],$trans)); return $urls[0]; } /* get the internal configuration */ global $ cfg ; /* check if we been asked to render a feed */ $ feed = get_get(' feed ',NULL); /* check if we been asked to render a PDF */ $pdf = get_get('pdf',NULL); $ templates = array(); $output = ''; $ file = get_post('db',NULL); if (!$ file ) $ file = get_get('db',Property::get($ cfg ['config'],'default')); /* if the request does not ask for a...

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

• http://hea.iki.rssi.ru/integral06/internal/index.php~
• http://hea.iki.rssi.ru/conf/hea2007/bp-0.2.97/README
• Zeldovich-100 / International Conference / Moscow, Russia

... You may have noticed in the drawing (reproduced here) that the circuit of the fluorescent light fixture included a " ballast coil. ... Ordinary hot-filament lightbulbs are connected directly to power lines, but fluorescent lamps always receive their current through a ballast. ... And if you think Ohm's law is badly violated by fluorescent lamp plasmas--just wait till you read about the ring current , the electric current carried around Earth by trapped ions and electrons of the radiation belt. ...

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

• Submission of questions
• helical dynamics
• Space Research Institute (IKI) Seminar

WPLTN Technical Workshop . ... WPLTN-2012) . ... of the International Scientific Technical Conference WPLTN-2012 . ... Having an opinion that the collocation of various space geodesy measurement technologies has a fundamental role in increasing the accuracy of fundamental and applied positioning, navigation and timing provision, the International Scientific Technical Conference WPLTN-2012 has come to the following conclusions: 2.1. ... Web-page . ... Resolution of the conference WPLTN-2012 . ...

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

• Keywords_115
• AKO-2005
• afterjour

. The following commands can be used while you are preparing a mail message in send mode. To ... Do this . cancel the mail message ~x preview the mail message ~p add users to the Cc: list ~c users add users to the Bcc: list ~b users display this list of commands ~? use the visual editor on your mail message ~v insert a file into the mail message ~r filename add your signature ~a or ~A add users to the To: list ~t users run a shell command ~! command include output from a shell command ~<! command .

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

• Understanding HTML and SGML
• HTML Math
• Including text in a shell script

C SMOS IN THE CLASSROOM 2010 Applying for Scholarships Sponsored by NASA Lunar Science Institute Ї University of Arizona's Center for Astronomy Education The Chandra Space Telescope EPO Program Ї The Planck Mission UP TO $750 PER PERSON AVAILABLE FOR QUALIFIED MEETING PARTICIPANTS Who is Eligible for a Scholarship? ... Scholarships will be provided after the meeting as reimbursement for document expenses incurred. ... Be sure you include your name and the institution(s) at which you teach. ...

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

• ASP: IYA 2009
• ASP: Galileo Educator Network (GEN)
• ASP's 2010 Annual Meeting

Ground Support of RadioAstron . Control and Tracking Stations . RadioAstron satellite control (command transmission, telemetry, orbit measurements) will be conducted from Evpatoria and Bear Lake control stations. ... Coarse orbit measurements will be carried out from control stations. Each measurement takes ten minutes. ... Orbit measurements at tracking stations give only radial component of spacecraft velocity but the measurements are going continuously during observing sessions. ...

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

• GOCG Pre-Observation Products
• RadioAstron meeting
• DPC Post-Observations Products

... Earth Satellites . ... Image Dan Burbank and Anton Shkaplero making music onboard the ISS (Image credit: NASA) . The first occurrence of music being made in space was during the Gemini 6 mission in 1965. ... Since then many astronauts have brought instruments into space with them, including many crews onboard the International Space Station. ... The Gemini astronauts were treated to some musical interludes during their times in space but not specifically to wake them in the morning. ...

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

• The Leonid meteors: highlights of the November night sky | Astronotes
• Following a rainbow back to the Big Bang | Astronotes
• Will a rogue star cause chaos in the Solar System? | Astronotes