-
21 strict demonstration
Большой англо-русский и русско-английский словарь > strict demonstration
-
22 rigorous proof
Физика: строгое доказательство -
23 strict demonstration
Математика: строгое доказательство -
24 prove
мат.доказывать; обосновыватьto prove rigorously — давать строгое доказательство; строго доказывать
-
25 strict demonstration
English-Russian scientific dictionary > strict demonstration
-
26 strong evidence
-
27 rigorous
1. a строгий; неумолимый, безжалостный2. a точный3. a тщательный; скрупулёзный; неукоснительный4. a суровыйСинонимический ряд:1. hard (adj.) arduous; backbreaking; burdensome; difficult; exacting; formidable; hard; heavy; laborious; onerous; oppressive; rough; taxing; trying; weighty2. right (adj.) accurate; close; correct; exact; faithful; finical; full; meticulous; nice; precise; proper; punctilious; right; true; uncompromising; veracious3. rigid (adj.) draconian; ironhanded; rigid; rigorist; strict; stringent; unpermissive4. severe (adj.) bitter; brutal; demanding; harsh; inclement; inflexible; intemperate; rugged; severe; sharp; stern; stiff; tough; unyieldingАнтонимический ряд:careless; easy; flexible; lax; lenient -
28 rigorous
-
29 rigorous
-
30 rigorous
строгий; точный -
31 complete proof
Математика: полное доказательство, строгое обоснование -
32 firm
1. n фирма; торговый дом2. a крепкий, прочный, устойчивыйfirm foundation — прочный фундамент, прочное основание
3. a твёрдый, неизменный4. a твёрдый, непоколебимый, нерушимый; верный5. a решительный, настойчивый6. adv крепко, твёрдо, прочно, неизменноon firm ground — на суше, на твёрдой земле
7. v укреплять; уплотнять8. v укрепляться; уплотняться9. v застывать10. v замораживатьwe must act to firm the prices up — мы должны принять меры к тому, чтобы сохранить прежний уровень цен
Синонимический ряд:1. determined (adj.) adamant; decided; decisive; determined; immovable; reliable; resolute; stanch; tough; unbending; uncompromising; unyielding2. established (adj.) certain; confirmed; definite; established; fixed; set; settled; stated; stipulated; unalterable3. hard (adj.) hard; resistant4. solid (adj.) compact; compacted; compressed; condensed; dense; inelastic; rigid; solid; stiff5. sure (adj.) abiding; anchored; enduring; fast; hard; moored; never-failing; rooted; secure; sound; stable; staunch; strong; sturdy; sure; tenacious; tight; unfaltering; unqualified; unquestioning; unshakable; unshaken; unwavering; wholehearted6. true (adj.) constant; faithful; loyal; steadfast; steady; true7. business (noun) association; business; company; concern; corporation; enterprise; establishment; house; outfit; partnership8. hard (other) fast; firmly; fixedly; hard; solidly; steadfastly; tight; tightlyАнтонимический ряд:changing; disjointed; elastic; flabby; flaccid; inconstant; irresolute; limp; loose; slack; soft; unreliable; unsettled; unsteady; wavering -
33 strong
1. a сильный, обладающий большой физической силой2. a здоровый, крепкий3. a прочный4. a выносливый5. a твёрдый, сильный6. a сильный, могущественный; имеющий силу, власть, преимуществоstrong candidate — кандидат, имеющий большие шансы на успех
7. a мощный; сильнодействующий8. a многочисленный9. a богатый10. a имеющий юридическую силу11. a глубокий; способный ясно мыслить, здраво рассуждать12. a хороший13. a сильный, веский, убедительный14. a решительный, энергичный; крутой, строгийstrong measures — крутые твёрдый, убеждённый; решительный; ревностный, усердный
15. a энергичный, выразительный16. a крепкий, грубый, прямойstrong language — сильные выражения; бранные слова, брань
17. a ясный, сильный, определённый18. a сильный, острый, резкий, едкий19. a интенсивный, резкий20. a крепкий, неразведённый21. a обладающий определённой численностью22. a эк. твёрдый, устойчивыйstrong prices — устойчивые цены; повышающиеся цены
23. a фон. находящийся под ударением24. a фото контрастный25. a сильные, здоровые26. a сильные мира сего, власть имущиеstrong head — крепкая голова; способность много пить не пьянея
27. adv разг. резко, неприятноto smell strong — припахивать, дурно пахнуть
Синонимический ряд:1. alcoholic (adj.) alcoholic; brawny; concentrated; full-bodied; hale; healthy; hearty; Herculean; inebriating; intoxicating; lusty; mighty; muscular; potent; powerful; robust; spiked; wieldy2. brave (adj.) bold; brave; courageous; fearless; intrepid; valiant; valorous3. capable (adj.) able; capable; competent; efficient; puissant4. convincing (adj.) convincing; impressive; influential; persuasive; resourceful; sound5. deep (adj.) deep; deep-felt; profound6. distinct (adj.) clear; definite; distinct; marked; sharp; stark7. effective (adj.) cogent; conclusive; dynamic; effective; efficacious; forceful; forcible; vigorous8. energetic (adj.) eager; earnest; energetic; strenuous; vigourous; zealous9. high (adj.) fierce; furious; heavy; high10. intense (adj.) brilliant; dazzling; glaring; intense; vivid11. malodorous (adj.) fetid; frowsy; funky; fusty; gamy; malodorous; mephitic; musty; nidorous; noisome; olid; putrid; rancid; reeking; reeky; stale; stenchful; stenchy; stinking; stinky; whiffy12. pungent (adj.) aromatic; biting; odoriferous; piquant; pungent; rank; smelly13. resolute (adj.) hardy; resolute; stalwart; stanch; stout; sturdy; tenacious; tough; unfaltering; unwavering; vehement14. solid (adj.) compact; impenetrable; impregnable; resistant; resistive; solid15. spirituous (adj.) ardent; hard; spirituous16. sure (adj.) fast; firm; secure; stable; staunch; sureАнтонимический ряд:dilute; flaccid; fragile; frail; gentle; half-hearted; impotent; indifferent; infirm; vague; weak -
34 formal security policy model
формальная модель политики безопасности
Математически строгое описание политики безопасности. Подразумевает описание начального состояния системы, способы перехода системы из одного состояния в другое, а также определение безопасного состояния. Чтобы быть принятой как основа ДВБ (TCB), модель должна содержать формальное доказательство следующих положений: начальное состояние системы является безопасным; если все условия безопасности, определяемые моделью, выполнены, то все последующие состояния системы также будут безопасными.
[http://www.rfcmd.ru/glossword/1.8/index.php?a=index&d=23]Тематики
EN
Англо-русский словарь нормативно-технической терминологии > formal security policy model
- 1
- 2
См. также в других словарях:
ДОКАЗАТЕЛЬСТВО — рассуждение, устанавливающее истинность к. л. утверждения путем приведения др. утверждений, истинность которых уже установлена. В Д. различаются тезис утверждение, которое нужно доказать, и основание, или аргументы, те утверждения, с помощью… … Философская энциклопедия
Стеклянный электрод — Эту статью следует викифицировать. Пожалуйста, оформите её согласно правилам оформления статей. У этого термина есть и другие значения, см. Электрод (значения) Стеклянные электроды … Википедия
Пи (число) — У этого термина существуют и другие значения, см. Пи (значения). Иррациональные числа γ ζ(3) √2 √3 √5 φ α e π δ Система счисления Оценка числа … Википедия
ИНТУИЦИЯ — (от позднелат. intuitio, от лат. intueor пристальное, внимательное всматривание, созерцание) способность к прямому усмотрению истины, постижению ее без всякого рассуждения и доказательства. Для И. обычно считаются типичными неожиданность,… … Философская энциклопедия
ИОАНН ДУНС СКОТ — [лат. Ioannes (Johannes) Duns Scotus] († 8.11.1308, Кёльн), средневек. философ и богослов, католич. священник, член монашеского ордена францисканцев; в католич. Церкви прославлен в лике блаженных (пам. зап. 8 нояб.). Жизнь. Иоанн Дунс Скот. 1473… … Православная энциклопедия
Коэффициент корреляции — (Correlation coefficient) Коэффициент корреляции это статистический показатель зависимости двух случайных величин Определение коэффициента корреляции, виды коэффициентов корреляции, свойства коэффициента корреляции, вычисление и применение… … Энциклопедия инвестора
ВОЗМОЖНЫХ ПЕРЕМЕЩЕНИЙ ПРИНЦИП — виртуальных скоростей принцип, дифференциальный вариационный принцип классической механики, выражающий наиболее общие условия равновесия механических систем, стесненных идеальными связями. Согласно В. п. п. механич. система находится в равновесии … Математическая энциклопедия
CPT-инвариантность — Аромат в физике элементарных частиц п·Ароматы и квантовые числа: Лептонное число … Википедия
ГРИГОРИЙ РИМИНИЙСКИЙ — [Григорий из Римини; лат. Gregorius Ariminensis, de Arimino] (ок. 1300, Римини, совр. обл. Эмилия Романья нояб. 1358, Вена), итал. средневек. богослов, философ и естествоиспытатель, член ордена братьев отшельников блж. Августина (см. Августинцы… … Православная энциклопедия
интуиция — (от лат. intuitio пристальное, внимательное всматривание, созерцание) способность к прямому усмотрению истины, постижению ее без всякого рассуждения и доказательства. Для И. обычно считаются типичными неожиданность, невероятность,… … Словарь терминов логики
Число π — Если принять диаметр окружности за единицу, то длина окружности это число «пи». Число π (произносится «пи») математическая константа, выражающая отношение длины окружности к длине её диаметра. Обозначается буквой греческого алфавита «пи».… … Википедия