Formal methodsIn computer science, formal methods are mathematically rigorous techniques for the specification, development, analysis, and verification of software and hardware systems. The use of formal methods for software and hardware design is motivated by the expectation that, as in other engineering disciplines, performing appropriate mathematical analysis can contribute to the reliability and robustness of a design.
Soviet space programThe Soviet space program (Kosmicheskaya programma SSSR) was the national space program of the former Union of Soviet Socialist Republics (USSR), active from 1955 until the dissolution of the Soviet Union in 1991. Soviet investigations in rocketry began with the formation of a research laboratory in 1921, but these efforts were hampered by the devastating war with Germany.
ClerestoryIn architecture, a clerestory (ˈklɪərstɔːri ; clear storey, also clearstory, clearstorey, or overstorey) is a high section of wall that contains windows above eye level. Its purpose is to admit light, fresh air, or both. Historically, clerestory denoted an upper level of a Roman basilica or of the nave of a Romanesque or Gothic church, the walls of which rise above the rooflines of the lower aisles and are pierced with windows. Similar structures have been used in transportation vehicles to provide additional lighting, ventilation, or headroom.
Uncrewed spacecraftRobotic spacecraft or uncrewed spacecraft are spacecraft without people on board. Uncrewed spacecraft may have varying levels of autonomy from human input; they may be remote controlled, remote guided or autonomous: they have a pre-programmed list of operations, which they will execute unless otherwise instructed. A robotic spacecraft for scientific measurements is often called a space probe or space observatory. Many space missions are more suited to telerobotic rather than crewed operation, due to lower cost and risk factors.
Material requirements planningMaterial requirements planning (MRP) is a production planning, scheduling, and inventory control system used to manage manufacturing processes. Most MRP systems are software-based, but it is possible to conduct MRP by hand as well. An MRP system is intended to simultaneously meet three objectives: Ensure raw materials are available for production and products are available for delivery to customers. Maintain the lowest possible material and product levels in store Plan manufacturing activities, delivery schedules and purchasing activities.
Enterprise architecture frameworkAn enterprise architecture framework (EA framework) defines how to create and use an enterprise architecture. An architecture framework provides principles and practices for creating and using the architecture description of a system. It structures architects' thinking by dividing the architecture description into domains, layers, or views, and offers models - typically matrices and diagrams - for documenting each view. This allows for making systemic design decisions on all the components of the system and making long-term decisions around new design requirements, sustainability, and support.
Zachman FrameworkThe Zachman Framework is an enterprise ontology and is a fundamental structure for enterprise architecture which provides a formal and structured way of viewing and defining an enterprise. The ontology is a two dimensional classification schema that reflects the intersection between two historical classifications. The first are primitive interrogatives: What, How, When, Who, Where, and Why. The second is derived from the philosophical concept of reification, the transformation of an abstract idea into an instantiation.
Minor Planet CenterThe Minor Planet Center (MPC) is the official body for observing and reporting on minor planets under the auspices of the International Astronomical Union (IAU). Founded in 1947, it operates at the Smithsonian Astrophysical Observatory. The Minor Planet Center is the official worldwide organization in charge of collecting observational data for minor planets (such as asteroids), calculating their orbits and publishing this information via the Minor Planet Circulars.
LightingLighting or illumination is the deliberate use of light to achieve practical or aesthetic effects. Lighting includes the use of both artificial light sources like lamps and light fixtures, as well as natural illumination by capturing daylight. Daylighting (using windows, skylights, or light shelves) is sometimes used as the main source of light during daytime in buildings. This can save energy in place of using artificial lighting, which represents a major component of energy consumption in buildings.
Space habitatA space habitat (also called a space settlement, space colony, spacestead, space city, orbital habitat, orbital settlement, orbital colony, orbital stead or orbital city) is a more advanced form of living quarters than a space station or habitation module, in that it is intended as a permanent settlement or green habitat rather than as a simple way-station or other specialized facility. No space habitat has been constructed yet, but many design concepts, with varying degrees of realism, have come both from engineers and from science-fiction authors.
