-
21 регистровая модель вычислений без разрушения информации
Information technology: nondestructive register model of executionУниверсальный русско-английский словарь > регистровая модель вычислений без разрушения информации
-
22 prorrogar
v.1 to extend.2 to prorogue, to adjourn, to defer, to suspend.Ella renueva el plazo She renews the deadline.3 to recess, to adjourn.* * *■ han prorrogado el plazo de matrícula por la fuerte demanda the registration period has been extended due to heavy demand* * *VT [+ período] to extend; [+ decisión] to defer, postpone; [+ sesión] to prorogue, adjourn; (Mil) to defer; (Jur) to grant a stay of execution to* * *verbo transitivoa) ( alargar) to extend* * *= issue + a moratorium on, proclaim + a moratorium on, call + a moratorium on.Ex. About that time, the council as one of their austerity measures had issued a moratorium on all hiring except for 'absolutely essential services'.Ex. These austerity measures call for increased student-to-faculty ratio (by reducing faculty and/or proclaiming a moratorium on future hiring).Ex. Let us call a moratorium on writing about the subject and devote our energies to doing comparative work.* * *verbo transitivoa) ( alargar) to extend* * *= issue + a moratorium on, proclaim + a moratorium on, call + a moratorium on.Ex: About that time, the council as one of their austerity measures had issued a moratorium on all hiring except for 'absolutely essential services'.
Ex: These austerity measures call for increased student-to-faculty ratio (by reducing faculty and/or proclaiming a moratorium on future hiring).Ex: Let us call a moratorium on writing about the subject and devote our energies to doing comparative work.* * *prorrogar [A3 ]vt1 (alargar) to extendprorrogar el plazo de matrícula to extend the registration period, put back o postpone the deadline for registrationprorrogar una letra de cambio to renew a bill of exchange2 (aplazar) ‹fecha› to postpone, put back* * *
prorrogar ( conjugate prorrogar) verbo transitivo
prorrogar verbo transitivo
1 (el tiempo) to extend
2 (una decisión, un pago) to defer, postpone
3 Mil to defer
' prorrogar' also found in these entries:
English:
extend
* * *prorrogar vt1. [alargar] to extend;han prorrogado el plazo dos semanas más the deadline has been extended by a further two weeks2. [aplazar] to defer, to postpone* * *v/t plazo extend* * *prorrogar {52} vt1) : to extend (a deadline)2) : to postpone* * *prorrogar vb to extend -
23 saca
f.1 sack.2 big sack, mailbag.3 taking out.pres.indicat.3rd person singular (él/ella/ello) present indicative of spanish verb: sacar.imperat.2nd person singular (tú) Imperative of Spanish verb: sacar.* * *1 large sack\saca de correos mailbag* * *ISF1) (=saco) big sacksaca de correo, saca de correos — mailbag
2) LAm [de ganado] herd of cattle, moving herd of cattleIISF (=acción) [gen] taking out, withdrawal; (Com) exportestar de saca — (Com) to be on sale; [mujer] to be of marriageable age
* * *femenino sack* * *femenino sack* * *sackCompuesto:( Esp) mailbag* * *
Del verbo sacar: ( conjugate sacar)
saca es:
3ª persona singular (él/ella/usted) presente indicativo2ª persona singular (tú) imperativo
Multiple Entries:
saca
sacar
sacar ( conjugate sacar) verbo transitivo
1 ( extraer)
‹pistola/espada› to draw;
saca algo DE algo to take o get sth out of sth;◊ lo saqué del cajón I took o got it out of the drawer
‹riñón/cálculo› to remove;
2 (poner, llevar fuera)
tuvimos que sacalo por la ventana we had to get it out through the window;
saca el perro a pasear to take the dog out for a walk;
saca el coche del garaje to get the car out of the garageb) ( invitar):
saca a algn a bailar to ask sb to dance
◊ me sacó la lengua he stuck o put his tongue out at me
3 ( retirar) to take out;◊ saca dinero del banco to take out o withdraw money from the bank
4 ( de una situación difícil) saca a algn DE algo ‹de apuro/atolladero› to get sb out of sth
5 (Esp) ‹ dobladillo› to let down;
‹pantalón/falda› ( alargar) to let down;
( ensanchar) to let out
( obtener)
1 ‹pasaporte/permiso› to get;
‹entrada/billete› to get, buy
2
3 ‹ beneficio› to get;
‹ ganancia› to make;◊ ¿qué sacas con eso? what do you gain by doing that?;
no sacó ningún provecho del curso she didn't get anything out of the course
4 saca algo DE algo ‹idea/información› to get sth from sth;
‹porciones/unidades› to get sth out of sth;
sacale algo A algn ‹dinero/información› to get sth out of sb
5 ‹ brillo› to bring out;
1
‹ disco› to bring out, release;
‹modelo/producto› to bring out
‹ copia› to make, take;
‹ apuntes› to make, take;
2
( salvar de la crisis) to keep sth going;◊ luché tanto para saca adelante a mis hijos I fought so hard to give my children a good start in life
3 (Dep) ‹tiro libre/falta› to take
( quitar) (esp AmL)a) sacale algo A algn ‹botas/gorro› to take sth off sbb) sacale algo a algo ‹tapa/cubierta› to take sth off sthc) ( retirar):
saquen los libros de la mesa take the books off the table
verbo intransitivo (Dep) (en tenis, vóleibol) to serve;
( en fútbol) to kick off
sacarse verbo pronominal ( refl)
1 ( extraer) ‹astilla/púa› to take … out;
‹ ojo› to poke … out;
sacase algo DE algo to take sth out of sth;
sácate las manos de los bolsillos take your hands out of your pockets
2 (AmL) ( quitarse) ‹ropa/zapatos› to take off;
‹ maquillaje› to remove, take off
3
saca sustantivo femenino
1 (acción) extraction
2 (bolsa) sack, large bag
sacar
I verbo transitivo
1 (de un sitio) to take out
sacar la cabeza por la ventana, to stick one's head out of the window
sacar dinero del banco, to withdraw money from the bank
2 (un beneficio, etc) to get
3 (extraer una cosa de otra) to extract, get: de la uva se saca vino, you get wine from grapes
4 (una solución) to work out
sacar conclusiones, to draw conclusions
5 (descubrir, resolver) no consigo sacar esta ecuación, I can't resolve this equation
6 (un documento) to get
7 (una entrada, un billete) to buy, get
8 (de una mala situación) sacar a alguien de algo, to get sb out of sthg
sacar de la pobreza, to save from poverty
9 (manifestar, dar a conocer) de repente, sacó su malhumor, he got into a strop all of a sudden
10 (una novedad) han sacado un nuevo modelo de televisor, they've brought out a new television model again
11 (poner en circulación) to bring out, release
12 familiar (producir) esa máquina saca más de 2.500 piezas a la hora, this machine can produce more than 2,500 parts an hour
(una fotografía, una copia) to take
13 familiar (aparecer alguien o algo en un medio de comunicación) lo sacaron por la tele, it was on television
14 familiar (superar a alguien en algo) ha crecido mucho, ya le saca la cabeza a su padre, he's grown a lot o he's already taller than his father
15 (un jugador una carta o una ficha) to draw
16 (una mancha) to get out
17 Cost (de largo) to let down
(de ancho) to let out
II vi Dep (en tenis) to serve
(en fútbol, baloncesto, etc) to kick off
♦ Locuciones: sacar a alguien a bailar, to ask sb to dance
sacar a relucir, to point out
sacar adelante, to keep going
sacar en claro o limpio, to make sense of
sacar la lengua, to stick one's tongue out
sacar pecho, to thrust one's chest out
' saca' also found in these entries:
Spanish:
media
- pezuña
- sacar
- valija
- cabeza
- conclusión
- cuenta
- limpio
English:
bug
- clingy
- distraction
- exasperate
- from
- suck up
- drive
- make
- wild
* * *saca nf1. [bolsa, saco] sacksaca de correo Br postbag, US mailbag2. Carib, Col [de ganado] herd* * *f sack -
24 визуализация прогона модели
Русско-английский словарь по вычислительной технике и программированию > визуализация прогона модели
-
25 Ausführung
Ausführung f 1. build, model, type, make (Bauart); 2. ARCH, KONST configuration; 3. ARCH, KONST design (Gestaltung); 4. embodiment, execution, realization, performance, implementation (Bauvertrag, Auftrag, Plan)Deutsch-Englisch Fachwörterbuch Architektur und Bauwesen > Ausführung
-
26 визуализация прогона модели
Русско-английский индекс к Англо-русскому толковому словарю терминов и сокращений по ВТ, Интернету и программированию > визуализация прогона модели
-
27 соглашение соглашени·е
1) (договор) agreement, accord, covenantаннулировать соглашение — to annul / to cancel / to rescind / to nullify an agreement
внести изменения в соглашение, изменить соглашение — to alter / to modify an agreement
выполнять соглашение — to implement / to abide by an agreement, to adhere / to accede to a convention
выработать соглашение — to work out an agreement / a convention, to hammer out an agreement
заключить соглашение — to conclude / to enter into / to make an agreement, to make an arrangement
нарушать соглашение — to transgress / to break an agreement
одобрить соглашение — to endorse an agreement, to approve a contract
отказаться от соглашения — to repudiate an agreement / an accord
подпадать под соглашение — to fall within an agreement, to be covered by an agreement
подрывать соглашение — to undermine an / agreement
придерживаться соглашения — to adhere to / to stand by an agreement
признать соглашение недействительным — to declare an agreement invalid / (mull and) void
присоединиться к соглашению — to accede to an agreement / a covenant
ратифицировать соглашение — to ratify an agreement / a covenant
соблюдать соглашение / условия соглашения — to honour / to observe an agreement
сорвать соглашение — to wreck / to frustrate an agreement
все эти соглашения лишены силы и не могут быть приведены в исполнение / выполнены — all such agreements are void and unenforceable
бессрочное соглашение — agreement of unlimited duration, open-ended agreement
взаимоприемлемое соглашение — mutually acceptable / concerted agreement
временное соглашение — interim / temporary agreement / contract
всеобъемлющее соглашение — comprehensive agreement, across-the-board agreement
всеобъемлющее соглашение о неприменении и ликвидации ядерного оружия — all-embracing agreement on the non-use and elimination of nuclear arms
Генеральное соглашение по таможенным тарифам и торговле — General Agreement on Tariffs and Trade, GATT
кабальное соглашение — fettering / enslaving agreement
компенсационное соглашение — compensation / offsetting agreement
контролируемое должным образом соглашение — adequately supervised / verified agreement
международное соглашение — international agreement / covenant
письменное соглашение — agreement in writing / in written form
предварительное соглашение — preliminary / tentative agreement
рабочее соглашение — implementing / working agreement
справедливое, поддающееся контролю соглашение — equitable, verifiable agreement
товарное соглашение, соглашение по сырьевым товарам — commodity agreement
торговые соглашения — commercial / trade agreements
торговое и платёжное соглашение, соглашение о торговле и платежах — trade-and-payment agreement
трёхстороннее соглашение — triangular / tripartite agreement
устное соглашение — oral / parol agreement
выполнение соглашения — execution of the convention, implementation of an agreement
действенность / жизнеспособность соглашения — viability / force of an agreement
нарушение соглашения — violation of an agreement, breach of a contract
несоблюдение соглашения — noncompliance with / nonobservance of an agreement
положения / статьи соглашения, регулирующие торговлю — enactments for the regulation of trade
соглашение, в основе которого лежит тайный сговор (например, монополистических фирм) — collusive agreement
соглашение, выполнение которого поддаётся проверке — verifiable agreement
соглашение, достигнутое на основе консенсуса — consensus agreement
соглашение, заключаемое путём обмена нотами или письмами — agreement by exchange of notes or letters
соглашение, касающееся существа вопроса — substantive agreement
соглашение, не требующее ратификации — agreement without the requirement of ratification
соглашение об аннулировании долгов, моратории, сроков погашения или субсидировании процентов юр. — agreement on debt cancellation, moratorium, rescheduling or interest subsidigation
соглашение о взаимном предоставлении государственных кредитов — arrangements for the reciprocal availability of government credits
соглашение о глубоководной разработке полезных ископаемых на дне морей и океанов — agreement on deep seabed mining
соглашение "о двойном глобальном нуле" — a global double zero agreement
соглашение о мерах по уменьшению риска ядерной войны — agreement on measures to reduce the risk of the outbreak of nuclear war
соглашение о механизме разрешения торговых споров в арбитраже — agreement establishing an arbitration mechanism for settling commercial disputes
соглашение о проходе войск через... — agreement on the passage of troops through...
соглашение о 50-процентном сокращении стратегических наступательных вооружений, СНВ — agreement on 50 percent reductions in strategic offensive forces
соглашение об установлении дипломатических отношений и обмене дипломатическими представительствами — agreement on the establishment of diplomatic relations and exchange of diplomatic representatives
соглашение по вопросам наследования, наследственное соглашение — inheritance agreement
соглашение, подлежащее обнародованию — public convention
соглашение, устанавливающее модус вивенди — agreement providing for a modus vivendi
истечение / прекращение срока действия соглашения — expiration / termination of an agreement
страны, участвующие в данном соглашении — affected countries
выработать текст соглашения — to draft / to draw up the text of an agreement
2) (взаимное согласие) agreement, arrangement, understandingдостигнуть соглашения — to reach an agreement, to come to an agreement / arrangement (on, about)
достигнуть соглашения (по какому-л.) вопросу — to agree on / as to (smth.)
прийти к соглашению — to come to an agreement / understanding, to arrive at an agreement / understanding
джентльменское соглашение — gentlemen's agreement, honourable understanding
дружеское / полюбовное соглашение — amicable arrangement
мирное соглашение — peace / peaceful agreement
специальное соглашение — specific / ad hoc arrangement
устное соглашение — oral / parol / verbal agreement
частное соглашение — private understanding, special agreement
вопросы, по которым возможно или достигнуто соглашение — areas of agreement
соглашение между государственными / министерскими канцеляриями — chancellery agreement
соглашение об условиях проведения конференции / совещания / заседания — conference agreement
по взаимному соглашению — by mutual agreement / consent
Russian-english dctionary of diplomacy > соглашение соглашени·е
-
28 Computer Metaphors
Within the AI community there is a growing dissatisfaction concerning the adequacy of sequential models to simulate the cognitive processes....For an example of the dissimilarity between computers and nervous systems, consider that in conventional computers... each piece of data [is] located in its own special space in the memory bank [and] can be retrieved only by a central processor that knows the address in the memory bank for each datum. Human memory appears to be organized along entirely different lines. For one thing, from a partial or a degraded stimulus human memory can "reconstruct" the rest, and there are associative relationships among stored pieces of information based on considerations of context rather than on considerations of location.... t now appears doubtful that individual neurons are so specific that they are tuned to respond to a single item and nothing else. Thus, connectionist models tend to devise and use distributed principles, which means that elements may be selective to a range of stimuli and there are no "grandmother cells."...Information storage, it appears, is in some ill-defined sense a function of connectivity among sets of neurons. This implies that there is something fundamentally wrong in understanding the brain's memory on the model of individual symbols stored at unique addresses in a data bank....A further source of misgivings about the computer metaphor concerns real-time constraints. Although the signal velocities in nervous systems are quite slow in comparison to those in computers, brains are nonetheless far, far faster than electronic devices in the execution of their complex tasks. For example, human brains are incomparably faster than any computer in word-nonword recognition tasks. (P. S. Churchland, 1986, pp. 458-459)Historical dictionary of quotations in cognitive science > Computer Metaphors
- 1
- 2
См. также в других словарях:
Model-based testing — is the application of Model based design for designing and optionally executing the necessary artifacts to perform software testing. Models can be used to represent the desired behavior of the System Under Test (SUT), or to represent the desired… … Wikipedia
Model-driven architecture — (MDA) is a software design approach for the development of software systems. It provides a set of guidelines for the structuring of specifications, which are expressed as models. Model driven architecture is a kind of domain engineering, and… … Wikipedia
Model Checking — Le Model Checking désigne une famille de techniques de vérification automatique des systèmes dynamiques (souvent d origine informatique ou électronique). Il s agit de vérifier algorithmiquement si un modèle donné, le système lui même ou une… … Wikipédia en Français
Model-specific register — Model specific registers (MSRs) are control registers provided by processor implementations to provide system software with features that are provided on specific processor implementations, but not others. MSRs are used for performance monitoring … Wikipedia
Model-Driven Engineering — Ingénierie dirigée par les modèles L Ingénierie dirigée par les modèles (IDM) est le domaine de l informatique mettant à disposition des outils, concepts et langages pour créer et transformer des modèles. Langages : UML, MOF, QVT Mots… … Wikipédia en Français
Model checking — This article is about checking of models in computer science. For the checking of models in statistics, see regression model validation. In computer science, model checking refers to the following problem: Given a model of a system, test… … Wikipedia
Model driven architecture — L’architecture dirigée par les modèles ou MDA (pour l Anglais Model Driven Architecture) est une démarche de réalisation de logiciels, proposée et soutenue par l OMG. C est une variante particulière de l ingénierie dirigée par les modèles (IDM,… … Wikipédia en Français
Model checking — Le Model Checking désigne une famille de techniques de vérification automatique des systèmes dynamiques (souvent d origine informatique ou électronique). Il s agit de vérifier algorithmiquement si un modèle donné, le système lui même ou une… … Wikipédia en Français
Model transformation — A model transformation, in model driven engineering, is an automatable way of ensuring that a family of models is consistent, in a precise sense which the software engineer can define. The aim of using a model transformation is to save effort and … Wikipedia
Model-based testing tools — This page lists tools for model based testing in alphabetic order. * [http://www.all4tec.net/index.php?option=com content task=blogcategory id=5 Itemid=75 lang=en All4Tec MaTeLo] is a model based testing tool and an automatic test generator. *… … Wikipedia
Model of computation — For computer models simulating complex systems, see Computational model. In model driven engineering, the model of computation explains how the behaviour of the whole system is the result of the behaviour of each of its components. In… … Wikipedia
