-
21 formula
1) рецепт2) формула || формульный3) формулировка•- arithmetically valid formula - back interpolation formula - computational formula - computing formula - corrector formula - formally decidable formula - formally refutable formula - formula of finite increments - geometrically valid formula - homomorphically stable formula - identically false formula - identically true formula - intuitionistically valid formula - logically valid formula - maximum likelihood formula - modally valid formula - monotonically increasing formula - numeralwise expressible formula - numeralwise representable formula - positively valid formula - primitively recursive formula - reciprocity formula - secondarily valid formula - square stable formula - universally valid formulato follow the formula — подчиняться [следовать] формуле; описываться формулой
-
22 argue
1. Ifind some cause to argue найти причину /повод/ поспорить; she loves arguing она любит спорить; obey without arguing слушаться беспрекословно; don't argue не спорь, не возражай2. II1) argue in some manner argue stubbornly (irritatingly, foolishly, futilely, etc.) упрямо и т. д. спорить2) argue in some manner argue logically (shrewdly, impressively, sensibly, lamely, etc.) лоточно и т. д. полемизировать /доказывать, вести спор/; he argues soundly он приводит убедительные /обоснованные/ доводы3. IIIargue smth.1) argue a problem (a case, a question, a matter, etc.) обсуждать /разбирать, рассматривать/ проблему и т. д.; let's not argue the point давайте не будем спорить по этому вопросу, не будем /не стоит/ это обсуждать2) book. argue negligence (ignorance, innocence, etc.) докрывать /подтверждать/ халатность и т. д.; her misunderstanding such clear directions argues inattention то, что она не поняла таких четких указаний, свидетельствует /говорит/ о ее невнимательности4. IVargue smth. in some manner argue smth. well (logically, shrewdly, soundly, etc.) хорошо и т. д. аргументировать /доказывать/ что-л.5. XI1) he is not to be argued with с ним нельзя /не следует/ спорить2) such people should not be argued with с такими людьми нельзя вести спор, таким людям ничего не докажешь6. XVI1) argue about lover/ smth. argue about money (about the best place for a holiday, over clothes, over a little matter, etc.) спорить /препираться/ по поводу денег и т. д.; they argued about everything by the hour они по каждому поводу пререкались часами; let's not argue about trifles давайте не [будем] спорить /ссориться/ по пустякам; argue with smb. she always argues with her husband она вечно спорит со своим мужем; why do you argue with your father about such trifles? почему ты споришь /ссоришься, пререкаешься/ с отцом из-за таких пустяков?; argue with smth. argue with violence (with great heat, with enthusiasm, with an annoying calm, with considerable force, etc.) яростно и т. д. спорить /препираться/; argue for some time argue by the hour (without end, etc.) спорить /препираться/ часами и т. д.2) argue about /on/ smth. argue about a matter (about the merits of his recent novel, about the advisability of such measures, on the question of.., etc.) вести спор /спорить, полемизировать/ по поводу какого-л. дела в т. д.; argue for /in favour of/ smth. argue for the new law (for liberty, for justice, in favour of a theory, in favour of a plan, in favour of smb.'s proposal, etc.) защищать новый закон и т.д., приводить доводы в пользу нового закона и т. д.; argue against smth. argue against injustice (against poverty, against inequality, etc.) приводить доводы /выступать, бороться/ претив несправедливости и т. д.; he argued against this measure он выступил против этой меры; argue from smth. argue from entirely false premises исходить в своей аргументации /строить доказательство, исходя/ из совершенно ложных предпосылок; argue from cause to effect положить в основу своей аргументации причинно-следственные связи || argue along these lines веста спор /полемизировать, строить свою аргументацию/ в таком плане /в таком направлении, таким образом/7. XXI1argue smb. into (out oft smth. argue one's associates into a course of action (one's sister into the belief that..., etc.) убедить /уговорить/ своих коллег принять такую линию поведения и т. д.; argue one's friend out of his decision (one's colleagues out of opposition, etc.) отговорить своего друга от такого решения и т. (3.; he argued me out of this action он отговорил меня от этого шага; he argued me out of my opinion он убедил мена) в ошибочности моего мнения, он разубедил меня8. XXIIargue smb. into doing smth. argue his friend into going there again (her into staying there, her father into giving her more money, etc.) убедить /уговорить/ своего друга снова поехать туда и т. д.; argue smb. out of doing smth. argue one's friend out of marrying her (her out of leaving her job, her father out of going away, etc.) отговорить своего друга от женитьбы на ней и т. д.; he argued me out of giving them more time он отговорил меня от того, чтобы дать им еще время, он убедил /уговорил/ меня не давать им больше времени9. XXVargue that... argue that black is white (that it is true, that it would save us a lot of time, etc.) доказывать /утверждать/, что черное это белое и т. д; he was arguing that it was her own fault он утверждал /пытался убедить нас/, что она сама виновата10. XXVII1argue about /over/ who... (what..., etc.) argue about who should wash the dishes препираться no поводу того, кому мыть посуду; argue over what should be done first спорить по поводу того, с чего надо начинать -
23 argue
ˈɑ:ɡju: гл.
1) спорить( with - с кем-л.;
about - о чем-л.) to argue logically ≈ приводить логичные аргументы во время спора to argue plausibly ≈ вести правдоподобные рассуждения to argue sensibly ≈ вести здравые рассуждения to argue heatedly, passionately, strenuously, vehemently ≈ страстно спорить She loves arguing. ≈ Она любит спорить. Syn: debate, dispute Ant: consent
2) аргументировать, приводить доводы argue against argue for argue in favour of argue soundly Syn: reason
2.
4), maintain
4)
3) обсуждать to argue а problem( а case, а question, etc.) ≈ обсуждать/рассматривать проблему (дело, вопрос и т. п.) Syn: discuss
1), reason
2.
2)
4) убеждать, уговаривать, советовать( into) ;
разубеждать, отговаривать (out of) Syn: coax
1.
2), persuade
2), persuade
3), reason
2.
3), talk into
1)
5) доказывать, утверждать to argue ignorance (inattention, innocence, etc.) ≈ доказывать/подтверждать незнание (невнимание, невиновность и т. п.)
6) служить доказательством Syn: indicate
2) ∙ argue away argue downспорить - to * with smb. about smth. спорить с кем-либо о чем-либо - he is always ready to * он всегда затевает споры аргументировать;
приводить доводы - to * against smth. приводить доводы против - he *d for a different policy он доказывал необходимость новой политики - to * round and round the subject ходить вокруг да около, говорить не по существу - the counsel *d the case адвокат излагал свои соображения по делу убеждать, советовать - to * into smth. убедить в чем-либо - he *d me into accepting his proposal он убедил меня принять его предложение - to * out of smth. разубедить в чем-либо - to * smb. out of an opinion разубедить кого-либо - he *s that she should not go он не советует ей ехать - his letter *s restraint в своем письме он призывает к сдержанности утверждать, доказывать - to * that something isn't true категорически отрицать правильность или справедливость чего-либо - to * that black is white доказывать, что черное - это белое - he *s that his discovery changed the course of history он утверждает, что его открытие повлияло на ход истории свидетельствовать, служить доказательством, подтверждением - to * from the sample (статистика) судить на основании выборки - his accent *s him foreigner произношение выдает в нем иностранца - his clothes * his poor taste его одежда говорит о его плохом вкусе > to * in circle впадать в порочный круг, рассуждать по кругуargue аргументировать ~ доказывать;
it argues him (to be) an honest man это доказывает, что он честный человек ~ доказывать ~ обсуждать ~ приводить доводы ~ свидетельствовать ~ спорить (with, against - с кем-л.;
about - о чем-л.) ;
аргументировать ~ убеждать (into) ;
разубеждать (out of) ;
to argue a man out of an opinion разубедить (кого-л.) ~ утверждать~ убеждать (into) ;
разубеждать (out of) ;
to argue a man out of an opinion разубедить (кого-л.)~ about споритьto ~ against выступать против~ доказывать;
it argues him (to be) an honest man это доказывает, что он честный человек -
24 hypothesis
1) гипотеза2) допущение; предположение3) постулат•hypothesis states that — гипотеза утверждает, что
- concurrent hypothesis - empirically testable hypothesis - incompletely confirmable hypothesis - indirectly testable hypothesis - multiple hypothesis - multivariate hypothesisto make a hypothesis — строить гипотезу; выдвигать гипотезу
-
25 interface related station level functions
интерфейсные функции станционного уровня системы автоматизации подстанции
Функции, представляющие интерфейс человек - машина локального оператора системы автоматизации подстанции на интерфейсе удаленного центра управления или на удаленном интерфейсе телеконтроля в целях мониторинга и технического обслуживания.
Примечание. Эти функции связываются через логические интерфейсы 1 и 6 с уровнем присоединения, через логический интерфейс 7 - с техническими сервисами, а через интерфейс панели дистанционного управления - с внешним миром.
[ ГОСТ Р 54325-2011 (IEC/TS 61850-2:2003)]EN
interface related station level functions
functions representing the interface of the SAS local station-operator HMI to a remote control centre Tele-Control Interface (TCI) or to the remote engineering Tele-Monitoring Interface (TMI) for monitoring and maintenance purposes. These functions communicate via the logical interfaces 1 and 6 with the bay level and via logical interface 7 to technical services and via the remote control interface to the outside world. Logically, there is no difference if the HMI is local or remote. In the context of the substation, there exists at least a virtual interface for the SAS at the boundary of the substation. The same is true for both the TCI and TMI. These virtual interfaces may be realised in some implementations such as proxy servers
[IEC 61850-2, ed. 1.0 (2003-08)]Тематики
EN
Англо-русский словарь нормативно-технической терминологии > interface related station level functions
- 1
- 2
См. также в других словарях:
true — I. adjective (truer; truest) Etymology: Middle English trewe, from Old English trēowe faithful; akin to Old High German gitriuwi faithful, Old Irish derb sure, and probably to Sanskrit dāruṇa hard, dāru wood more at tree Date: before 12th century … New Collegiate Dictionary
logically proper name — In Russell s writings of the period between 1905 and 1918, a logically proper name is a term whose true logical role is to refer to an object. A cluster of considerations led Russell to believe that ordinary names function differently, as… … Philosophy dictionary
The True Cross — The True Cross † Catholic Encyclopedia ► The True Cross (AND REPRESENTATIONS OF IT AS OBJECTS OF DEVOTION). (1) Growth Of the Christian Cult; (2) Catholic Doctrine on the Veneration of the Cross; (3) Relics of the True… … Catholic encyclopedia
Entailment — For other uses, see Entail (disambiguation). In logic, entailment is a relation between a set of sentences (e.g.,[1] meaningfully declarative sentences or truthbearers) and a sentence. Let Γ be a set of one or more sentences; let S1 be the… … Wikipedia
Omniscience — For the album by Swans, see Omniscience (album). Omniscience ( /ɒmˈ … Wikipedia
Formal interpretation — A formal interpretation [http://books.google.com/books?id=weKqT3ka5g0C pg=PA74 lpg=PA74 dq=%22Formal+interpretation%22+%22formal+language%22 source=web ots=pLN ms7Wi2 sig=P JqwdzOqLcX4nMpP64qmacnkDU hl=en#PPA74,M1 Cann Ronnie, Formal Semantics:… … Wikipedia
Logical truth — is one of the most fundamental concepts in logic, and there are different theories on its nature. A logical truth is a statement which is true and remains true under all reinterpretations of its components other than its logical constants. It is… … Wikipedia
logic, philosophy of — Philosophical study of the nature and scope of logic. Examples of questions raised in the philosophy of logic are: In virtue of what features of reality are the laws of logic true? ; How do we know the truths of logic? ; and Could the laws of… … Universalium
metalogic — /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… … Universalium
Philosophy of mathematics — The philosophy of mathematics is the branch of philosophy that studies the philosophical assumptions, foundations, and implications of mathematics. The aim of the philosophy of mathematics is to provide an account of the nature and methodology of … Wikipedia
Argument — This article is about the subject as it is studied in logic and philosophy. For other uses, see Argument (disambiguation). In philosophy and logic, an argument is an attempt to persuade someone of something, by giving reasons or evidence for… … Wikipedia