- logical simulation
- мат. логическое моделирование
Большой англо-русский и русско-английский словарь. 2001.
logical simulation
Смотреть что такое "logical simulation" в других словарях:
Simulation of Multi-Agent Asynchronous Systems — Système multi agents Un système multi agent (SMA) est un système composé d un ensemble d agents, situés dans un certain environnement et interagissant selon certaines relations. Un agent est une entité caractérisée par le fait qu elle est, au… … Wikipédia en Français
Aggregate Level Simulation Protocol — The Aggregate Level Simulation Protocol (ALSP) is a protocol and supporting software that enables simulations to interoperate with one another. Replaced by the High Level Architecture (simulation) (HLA), it was used by the US military to link… … Wikipedia
Logic simulation — is the use of a computer program to simulate the operation of a digital circuit. Logic simulation is the primary tool used for verifying the logical correctness of a hardware design. In many cases logic simulation is the first activity performed… … Wikipedia
Victor Shestakov — Victor Ivanovich Shestakov (1907, Moscow – 1987, Moscow) was a Russian/Soviet logician and theoretician of electrical engineering. In 1935 he discovered the possible interpretation of Boolean algebra of logic in electro mechanical relay circuits … Wikipedia
логическое моделирование — Нрк. математическое моделирование знаково математическое моделирование Моделирование, основанное на применении логической модели. [Сборник рекомендуемых терминов. Выпуск 88. Основы теории подобия и моделирования. Академия наук СССР. Комитет… … Справочник технического переводчика
Emulator — This article is about emulators in computer science. For a line of digital musical instruments, see E mu Emulator. For other uses, see Emulation (disambiguation). DOSBox emulates the command line interface of DOS. In computing, an emulator is… … Wikipedia
Algorithm — Flow chart of an algorithm (Euclid s algorithm) for calculating the greatest common divisor (g.c.d.) of two numbers a and b in locations named A and B. The algorithm proceeds by successive subtractions in two loops: IF the test B ≤ A yields yes… … Wikipedia
Artificial intelligence — AI redirects here. For other uses, see Ai. For other uses, see Artificial intelligence (disambiguation). TOPIO, a humanoid robot, played table tennis at Tokyo International Robot Exhibition (IREX) 2009.[1] Artificial intelligence ( … Wikipedia
Open Shortest Path First — (OSPF) is an adaptive routing protocol for Internet Protocol (IP) networks. It uses a link state routing algorithm and falls into the group of interior routing protocols, operating within a single autonomous system (AS). It is defined as OSPF… … Wikipedia
computer — computerlike, adj. /keuhm pyooh teuhr/, n. 1. Also called processor. an electronic device designed to accept data, perform prescribed mathematical and logical operations at high speed, and display the results of these operations. Cf. analog… … Universalium
Characteristica universalis — Universal characteristic redirects here. For the concept of the three universal characteristics in Buddhism, see Three marks of existence. The Latin term characteristica universalis, commonly interpreted as universal characteristic, or universal… … Wikipedia
