Semi-Automated

См. также в других словарях:

• One Semi-Automated Forces (OneSAF) — is a distributed computer simulation used by the U. S. Army that supports both Computer Generated Forces (CGF) and Semi Automated Forces (SAF) applications. It is an entity level simulation where the objects in the simulation represent individual …   Wikipedia

• Joint Semi-Automated Forces — (JSAF) is a U.S. government owned and developed simulation system. It is widely used in training and experimentation. Current users include the Joint Forces Command, the Navy Warfare Development Command (NWDC), and the USMC DVTE program. JSAF was …   Wikipedia

• semi — semi·abstract; semi·abstraction; semi·aerial; semi·amphibious; semi·annual; semi·annually; semi·anthracite; semi·ape; semi·aquatic; semi·arboreal; semi·arch; semi·arid; semi·auto; semi·autonomous; semi·basement; semi·beam; semi·bejan;… …   English syllables

• automated — automated; semi·automated; …   English syllables

• Semi-automatic transmission — Transmission types Manual Sequential manual Non synchronous Preselector Automatic Manumatic Semi automatic Electrohydraulic …   Wikipedia

• Automated theorem proving — (ATP) or automated deduction, currently the most well developed subfield of automated reasoning (AR), is the proving of mathematical theorems by a computer program. Decidability of the problem Depending on the underlying logic, the problem of… …   Wikipedia

• Semi-linear resolution — (SLR) is a search strategy (used in the automated theorem prover (ATP) CARINE) that is based on an iteratively deepening depth first search. It is one method used in automated theorem proving.SLR performs linear derivations from the input clauses …   Wikipedia

• Automated wearable artificial kidney — (AWAK) describes technology that seeks to compact the dialysis machinery into a lightweight, wearable device. The goal is to mimic the function of the kidneys by providing continued dialysis to avoid the sudden electrolyte disturbances associated …   Wikipedia

• Automated external defibrillator — An automated external defibrillator or AED is a portable electronic device that automatically diagnoses the potentially life threatening cardiac arrhythmias of ventricular fibrillation and ventricular tachycardia in a patient,cite… …   Wikipedia

• Semi Automatic Ground Environment — The Semi Automatic Ground Environment (SAGE) was an automated control system for tracking and intercepting enemy bomber aircraft used by NORAD from the late 1950s into the 1980s. In later versions, the system could automatically direct aircraft… …   Wikipedia

• Semi-trailer truck — A semi trailer truck, also known as tractor trailer or (in the United Kingdom and Ireland) articulated lorry, is an articulated truck or lorry consisting of a towing engine ( tractor in the United States, prime mover in Australia, and truck in… …   Wikipedia