NIST Special Publication 500-223 . A Framework for the Development and Assurance of High Integrity Software . ... The purpose of this document is to recommend a framework for the development and assurance of high integrity software. ... High integrity software, project management, software assurance, software configuration management, software development, software hazard analysis, software quality assurance, software verification and validation. ... 2 SOFTWARE DEVELOPMENT . ...

... 10:00 - 11:00 Juergen Reingruber (ENS de Paris, France) . The search process for small targets in cellular microdomains . ... Statistical models on random lattices . ... 15:00 - 16:00 Vyacheslav Priezzhev (Joint Institute for Nuclear Research, Dubna, Russia) . ... Extreme statistics of vicious walkers: from random matrices to Yang-Mills theory . ... Conformal blocks and quantum Hall effect . ... Topological field theories and statistical models . ... Benjamin-Ono integrable systems in 2D CFT . ...

... Tracy Caldwell Dyson (Ph.D.) . NASA Astronaut . ... Caldwell Dyson has worked inside the Mission Control Center as spacecraft communicator (CAPCOM) for both space shuttle and space station operations, serving also as the lead CAPCOM for ISS Increment 11. ... Caldwell Dyson operated EndeavourтАЩs robotic arm to maneuver the Orbiter Boom Sensor System (OBSS) and handover the S5 truss segment to the space station, and served as the intravehicular (IV) crew member, directing the four spacewalks. ...

The AstroGuide . ... AstroGuide | ... AstroGuide Listing . ... See many more Astronomy Listings by: Category or Alphabet . ... Listed Since July 15, 1998 . ... 775) 246-5281 . ... 775) 246-5211 . Web Site . ... Web . www.astronomy.net . About Astronomy Net | Advertise on Astronomy Net | ... Unless otherwise specified, web site content Copyright 1994-2016 John Huggins All Rights Reserved . dbHTML," "AstroGuide," "ASTRONOMY.NET" & "VA.NET" . are trademarks of John Huggins ...

... Iowa Robotic Telescope | ... Talon is based on OCAAS, a software suite developed by software engineer Elwood Downey ( Clear Sky Institute ) for use at the University of Iowa ?s first remote facility (the ATF, or Automated Telescope Facility). ... XObservatory : Telescope Control Interface . ... This program calls upon and coordinates much of the interrelated portions of the Talon architecture, and forms the primary control panel for the telescope, dome, and peripheral systems when used locally. ...

Configuration Files | ... Options | ... This version of Apache includes changes allowing it to run on IBM's EBCDIC-based TPF (Transaction Processing Facility) operating system. ... It is passed to Apache through the ZINET XPARM field since ZINET is the only way to start the server on TPF. A third group of options apply to both the informational displays (ZFILE) and running the server (ZINET XPARM): -d, -D and -f. The rest of Apache's options are either not applicable or are not supported on TPF. ...

... Stellar Evolution is driven entirely by the never ending battle between Pressure and Gravity . As imbalances are reached, the star is driven to find a new Energy source. ... Pressure and gravitational forces are equal, the star is stable and its core is sufficiently hot to fuse Hydrogen into Helium More about main sequence stars . ... The luminosity generated by the core fusion of Helium into Carbon is far greater than the shell luminosity associated with the fusion of Hydrogen into Helium. ...

... Telescopes . ... Creation of the distributed net of control (DCN) of the 6 m telescope has been completed, which is based on the use of digital tracking drives and the means of commercial automatization to ensure the real-time processes of control and data acquisition. With changing to DCN, computer diagnostics of the majority of units of the telescope has been implemented, the reliability of its operation in the whole has been increased, its performance characteristics have been improved. ...

When you enter a command at the shell prompt, your shell forks a child process in which to execute the command. The parent process (your shell) waits for the command to complete and for its child process to die. Until then you are unable to enter another command. Commands entered in this way are known as foreground processes . Once the command completes and the child process dies, the parent process is reactivated, the shellprompt returns, and you can enter another command. ...

... Research of an atmosphere of the Earth and other planets of Solar system by optical methods . ... The long-term experience of study of atmospheres of planets of Solar system in a department of physics of planets has defined directions and methods of researches spent for laboratory . ... The tasks of laboratory are researches by optical methods of structure of a Terrestrial atmosphere, namely study of spectra of absorption of its compound radiation of natural and artificial sources. ...

... int kill(int pid, int signal) - a system call that send a signal to a process, pid . ... sig_talk.c --- Example of how 2 processes can talk */ /* to each other using kill () and signal () */ /* We will fork() 2 process and let the parent send a few */ /* signals to it`s child */ /* cc sig_talk.c -o sig_talk */ #include stdio.h #include signal.h void sighup(); /* routines child will call upon sigtrap */ void sigint (); void sigquit(); main() { int pid ; /* get child process */ if ((...

... The software systems are described following the forward and back­ ward data flow to/from the satellite: starting from the Observation Pro­ posal reception and archiving, the long term observation scheduling up to the detailed weekly planning and telecommands sequence uplinking, and vice versa the scientific and housekeeping raw telemetry acquisition and archiving, quick look data analysis, data reformatting and distribution as a Final Observation Tape to the Observation Proposal PI. ...

RADIOASTROPHYSICAL DEPARTMENT • INSTITUTE OF SOLAR-TERRESTRIAL PHYSICS RAS SB . General information Main characteristics of the Radio telescope Observing programs General view of the antenna array Main research areas Principle of generation of radio images Radio telescope 's beam Receiving systems Main characteristics of the base receiving-recording complex Calibrations Data archive and databases Publication SSRT - Siberian Solar Radio Telescope . ...

... In less then one day "Mir" station will finish its flight. ... Besides, the operability of motion control systems will be tested to ensure further dynamic operation at the final stage of "Mir" complex. ... The final third burn is given in daily orbit 2 using the "ProgressM1-5" 8 control engines and its main engine with the trust of 300 rg/s. Thus, to peform deorbit maneuver the OC"MIr" real-time tested manuevers involving control engines and their combination with the main engine are used. ...

... This Primary course is suitable for beginners as well as children who have completed a pre-Junior course. ...

Irregular phenomena in the Earth Pole oscillation process and temporal variations of geopotential Valery Bondarenko, Vadim Perepelkin s The observed irregular phenomena in the Earth Pole oscillation process are very variety. ... These phenomena indicated in the IERS data are the "abnormal" fluctuation of the Earth Pole coordinates which owing to changing of the geodynamical parameters gives negative result in interpolation and forecast of the first approximation mathematical model. ... Fig. ...

... adhere to Thinktank's Equal Opportunities policy Person Specification Confident and inspiring communicator with a knowledge of astronomy Can successfully convey complex astronomical phenomena to lay audiences Shows evidence of creativity, and has an innovative approach to science communication Experienced in dealing with the public, community groups , school children specialist interest groups Can differentiate between audiences - adapts to different types and ... Any other black |group | ...

This Directory contains mean hour values of geomagnetic field components at observatories in Russia and other repub- lic of Former Soviet Union (FSU). The List of these observatories has indication of Data Years. ... Files are prepared in the DOS format. The Format for mean values follows after this list of the geomagnetic observatories. ... 21-116 24I4 24 4-digit hourly mean values for the day. ... If any of the hourly mean values for the day are missing 9999 will appear as the daily mean. ...

Stellarium 0.12.3 . ... Classes . ... FileљStructure . ... ClassљIndex . ... StelVertexBuffer< V > Class Template Reference . Vertex buffer interface. ... Destroy the vertex buffer. ... addVertex (const V &vertex) . ... getVertex (const int index) const . Return vertex at specified index in the buffer. ... setVertex (const int index, const V &vertex) . Set vertex at specified index in the buffer. ... Each StelRenderer backend might have a different vertex buffer buffer implementation. ...

... Director of the RAS ISR . RAS Academician . ... Astrophysics module Kvant of the orbital complex Mir launched in 1987 contains the largest on the station complex of the scientific equipment named the orbital observatory Roentgen. Observatory Roentgen consists of 4 X-ray telescopes, jointly exceeding the range of energies from 2 to 800 keV. ... Among the most significant results that were received in the observatory Roentgen are: . ... measurement of the periods of 9 X-ray pulsars; . ...