-
21 formal specification
формальное [формализованное] описание, формальная спецификация (написанная в соответствии с какими-л. стандартами)English-Russian dictionary of computer science and programming > formal specification
-
22 formal description
-
23 symbolic description
Англо-русский словарь промышленной и научной лексики > symbolic description
-
24 formal specification
формальное описание; формальные спецификацииEnglish-Russian information technology > formal specification
-
25 formal description
English-Russian dictionary of computer science > formal description
-
26 formal description
Англо-русский словарь по исследованиям и ноу-хау > formal description
-
27 description
dɪsˈkrɪpʃən сущ.
1) а) составление описания (словесного или с помощью карандаша и бумаги) Writers gifted with strong imaginations, are masters of description. ≈ Писателям с богатым воображением обычно удаются различные описания. б) описание( событий), версия( происходящего и т.д.) to give, provide a description ≈ описывать accurate, correct, exact description ≈ точное описание blow-by-blow description ≈ исчерпывающее описание clear description ≈ четкое описание detailed, thorough description ≈ подробное описание firsthand description ≈ достоверное/"из первых рук" описание glowing description ≈ яркое описание lively, picturesque, vivid description ≈ живое описание matter-of-fact, objective description ≈ объективное описание superficial description ≈ поверхностное описание job description ≈ должностная инструкция Syn: description, explanation
2) а) набор признаков или специфических черт (для описания объектов одного вида, сорта, класса) б) вид, класс, разряд, род, сорт (каких-либо объектов) Syn: sort, kind, type, variety
3) геом. вписывание (одной геометрической фигуры в другую), описывание (одной геометрической фигуры вокруг другой) description of a rectangle triangle in a circle ≈ вписывание прямоугольного треугольника в круг описание;
изображение - faithful * правдивое описание - * of a storm описание бури - * of a horse спецификация на лошадь (конный спорт) - beyond * не поддающийся описанию, неописуемый - to give a (detailed) * of smth. дать( подробное) описание чего-л. - to answer (to) the * подходить под описание;
иметь указанные приметы - it baffles /beggars, defies/ * это не поддается описанию (разговорное) вид, род - books of every * всевозможные книги - people of all *s люди всякого звания - a lecture of the poorest * никуда негодная лекция вычерчивание - * of a circle описывание окружности - * of an arch вычерчивание дуги (логика) дескрипция - definite * определенная дескрипция to beggar (или to baffle, to defy) ~ не поддаваться описанию behaviour ~ вчт. поведенческое описание beyond ~ не поддающийся описанию description вид, род, сорт;
books of every description всевозможные книги;
of the worst description худшего типа;
самого худшего сорта data ~ описание данных database ~ вчт. описание базы данных declarative ~ вчт. декларативное описание description вид, род, сорт;
books of every description всевозможные книги;
of the worst description худшего типа;
самого худшего сорта ~ вид ~ вычерчивание, описание ~ изображение ~ описание, изображение ~ вчт. описание ~ описание ~ очерчивание ~ род ~ характеристика ~ of goods наименование товара ~ of goods описание товара ~ of operational risk определение производственного риска ~ of patent описание изобретения к патенту ~ of risk определение риска ~ of risk точное определение страховой ответственности detailed ~ подробное описание field ~ вчт. описание поля formal ~ вчт. формальное описание functional ~ функциональное описание generic ~ вчт. обобщенное описание generic ~ общее описание implementation ~ вчт. описание реализации instance ~ вчт. описание экземпляра job ~ должностная инструкция job ~ описание вида работы;
общее изложение функций с указанием необходимой квалификации job ~ вчт. описание задания job ~ описание рабочего задания job ~ перечень функций и задач включенных в конкретный вид деятельности job ~ характер выполняемой работы job ~ характер работы misleading trade ~ описание товара, вводящее в заблуждение description вид, род, сорт;
books of every description всевозможные книги;
of the worst description худшего типа;
самого худшего сорта patent ~ описание изобретения к патенту patent ~ описание патента personal ~ личные приметы problem ~ вчт. описание задачи product ~ описание изделия product ~ характер выпускаемой продукции protocol ~ вчт. описание протокола quasi-formal ~ вчт. квазиформальное описание specific ~ pat. частичное описание trade ~ торговое описаниеБольшой англо-русский и русско-английский словарь > description
-
28 kuvailu
изображение; описание; паспортизацияanalyyttinen bibliografinen kuvailu - аналитическое библиографическое описаниеde visu -k. - описание де визу; описание непосредственно по самой книгеjulkaisun kuvailu - описание (=паспорт) изданияkirjastonhoitajan työajan kuvailu - фотография рабочего времени (=дня) библиотекаряkommentoitu bibliografinen kuvailu - аннотированное библиографическое описаниеlaajennettu kuvailu - дополненное (=расширенное) описаниеluokitusosaston nimen mukainen kuvailu - описание под наименованием отдела классификацииmoninkertainen kuvailu - многократное описание (=отражение)nimikkeen, nimiönmukainen kuvailu - описание под заглавиемotsikon ensimmäisen sanan mukainen kuvailu - описание под первым словом заглавияsuppean asia(sana)otsikon mukainen kuvailu - описание под узкой предметной рубрикойtekijänmukainen kuvailu - авторское описание; описание под авторомtoistuva kuvailu - многократное (=повторное) описаниеvirheellinen, väärä kuvailu - неправильное описание -
29 RFC
- регулирование потока рециркуляции
- предложение для обсуждения
- заявка на внесение изменений (в проект)
- запрос на изменение (RFC)
- запрос на изменение
- запрос комментариев - информационные документы интернета
- запрос для обсуждения
- де-факто стандарт Интернета
де-факто стандарт Интернета
досл. "предлагается к обсуждению"
Дословно, "request for comments" означает публикацию предложения по стандартизации с целью обсуждения. Фактически, к документам RFC относятся как к сложившимся стандартам.
Документы RFC можно свободно получить по адресу http://www.ietf.org/rfc/rfcN.txt, где N — номер документа.
документ из серии пронумерованных информационных документов Интернета, содержащих технические спецификации и Стандарты, широко применяемые во Всемирной сети. Название "Request for Comments" ещё можно перевести как "заявка на обсуждение" или "тема для обсуждения". В настоящее время первичной публикацией документов RFC занимается IETF под эгидой открытой организации Общество Интернета (англ. Internet Society, ISOC). Правами на RFC обладает именно Общество Интернета. (Википедия - см. ссылку).
[ http://www.morepc.ru/dict/]Тематики
Синонимы
- "предлагается к обсуждению"
EN
запрос для обсуждения
Серия документов, начатая в 1969 году и содержащая описания набора протоколов Internet и связанную с ними информацию. Не все (фактически, очень немногие) RFC описывают стандарты Internet, но все стандарты Internet описаны в RFC. Документы RFC можно найти на сервере IETF
[ http://www.lexikon.ru/dict/net/index.html]Тематики
EN
запрос комментариев - информационные документы интернета
—
[ ГОСТ Р 54325-2011 (IEC/TS 61850-2:2003)]]Тематики
EN
запрос на изменение
Формальное предложение на реализацию изменения. RFC включает в себя детальное описание предложенного изменения, и может быть записано в бумажном или электронном формате.
[ http://www.dtln.ru/slovar-terminov]Тематики
EN
запрос на изменение
RFC
(ITIL Service Transition)
Формальное предложение на выполнение изменения. Запрос на изменения включает в себя детали предложенного изменения и может быть записан в бумажном или электронном виде. Термин «запрос на изменение» часто неверно употребляется в значениях «запись об изменении» или «изменение» само по себе.
[Словарь терминов ITIL версия 1.0, 29 июля 2011 г.]EN
request for change
RFC
(ITIL Service Transition)
A formal proposal for a change to be made. It includes details of the proposed change, and may be recorded on paper or electronically. The term is often misused to mean a change record, or the change itself.
[Словарь терминов ITIL версия 1.0, 29 июля 2011 г.]Тематики
EN
заявка на внесение изменений (в проект)
—
[А.С.Гольдберг. Англо-русский энергетический словарь. 2006 г.]Тематики
EN
предложение для обсуждения
Серия нормативных документов, издаваемая с 1969 года под эгидой IETF в целях стандартизации и развития протоколов Internet. He все документы RFC являются официальными стандартами Internet. Часть из них носит рекомендательный характер, представляет справочный материал или содержит описание какой-либо проблемы. Концепция стандартизации определена документом RFC 2800, в котором описывается схема классификации протоколов в зависимости от их назначения и статуса (см. табл. R-4). Стандарты проходят три основные стадии рассмотрения: предложение, проект и окончательная версия стандарта. На этих стадиях им может быть присвоен один из трех статусов: обязательный, рекомендуемый или избирательного применения. В последнем случае может быть реализован один из нескольких вариантов протоколов по усмотрению разработчика. После завершения процесса согласования стандарту присваивается номер STD, который является одинаковым у всех спецификаций, которые логически связаны друг с другом (пример записи - STD13/RFC1034).
Таблица R-4. Классификация документов RFC
[Л.М. Невдяев. Телекоммуникационные технологии. Англо-русский толковый словарь-справочник. Под редакцией Ю.М. Горностаева. Москва, 2002]Тематики
- электросвязь, основные понятия
EN
регулирование потока рециркуляции
(напр. теплоносителя в ядерном реакторе, дымовых газов в топке котла)
[А.С.Гольдберг. Англо-русский энергетический словарь. 2006 г.]Тематики
EN
Англо-русский словарь нормативно-технической терминологии > RFC
-
30 description
[dɪsˈkrɪpʃən]to beggar (или to baffle, to defy) description не поддаваться описанию behaviour description вчт. поведенческое описание beyond description не поддающийся описанию description вид, род, сорт; books of every description всевозможные книги; of the worst description худшего типа; самого худшего сорта data description описание данных database description вчт. описание базы данных declarative description вчт. декларативное описание description вид, род, сорт; books of every description всевозможные книги; of the worst description худшего типа; самого худшего сорта description вид description вычерчивание, описание description изображение description описание, изображение description вчт. описание description описание description очерчивание description род description характеристика description of goods наименование товара description of goods описание товара description of operational risk определение производственного риска description of patent описание изобретения к патенту description of risk определение риска description of risk точное определение страховой ответственности detailed description подробное описание field description вчт. описание поля formal description вчт. формальное описание functional description функциональное описание generic description вчт. обобщенное описание generic description общее описание implementation description вчт. описание реализации instance description вчт. описание экземпляра job description должностная инструкция job description описание вида работы; общее изложение функций с указанием необходимой квалификации job description вчт. описание задания job description описание рабочего задания job description перечень функций и задач включенных в конкретный вид деятельности job description характер выполняемой работы job description характер работы misleading trade description описание товара, вводящее в заблуждение description вид, род, сорт; books of every description всевозможные книги; of the worst description худшего типа; самого худшего сорта patent description описание изобретения к патенту patent description описание патента personal description личные приметы problem description вчт. описание задачи product description описание изделия product description характер выпускаемой продукции protocol description вчт. описание протокола quasi-formal description вчт. квазиформальное описание specific description pat. частичное описание trade description торговое описание -
31 formal definition
1) Математика: формальное определение2) Программирование: формальное описание -
32 request for change
- заявка на изменение
- заявка на внесение изменений (в проект)
- запрос на изменение (RFC)
- запрос на изменение
запрос на изменение
Формальное предложение на реализацию изменения. RFC включает в себя детальное описание предложенного изменения, и может быть записано в бумажном или электронном формате.
[ http://www.dtln.ru/slovar-terminov]Тематики
EN
запрос на изменение
RFC
(ITIL Service Transition)
Формальное предложение на выполнение изменения. Запрос на изменения включает в себя детали предложенного изменения и может быть записан в бумажном или электронном виде. Термин «запрос на изменение» часто неверно употребляется в значениях «запись об изменении» или «изменение» само по себе.
[Словарь терминов ITIL версия 1.0, 29 июля 2011 г.]EN
request for change
RFC
(ITIL Service Transition)
A formal proposal for a change to be made. It includes details of the proposed change, and may be recorded on paper or electronically. The term is often misused to mean a change record, or the change itself.
[Словарь терминов ITIL версия 1.0, 29 июля 2011 г.]Тематики
EN
заявка на внесение изменений (в проект)
—
[А.С.Гольдберг. Англо-русский энергетический словарь. 2006 г.]Тематики
EN
2.11 заявка на изменение (request for change): Заполненная бумажная или экранная форма, содержащая детальные сведения о существе заявки на изменение какого-либо элемента конфигурации, связанного с услугой или инфраструктурой.
Источник: ГОСТ Р ИСО/МЭК 20000-1-2010: Информационная технология. Менеджмент услуг. Часть 1. Спецификация оригинал документа
Англо-русский словарь нормативно-технической терминологии > request for change
-
33 ontology
(οντολογια, от греч. on, ontos - сущее, logos - учение) в общем смысле - учение об основах, принципах, структуре и закономерностях бытия; в частности, описание понятий и отношений для знаний. Онтологии применяются в ИИ, Семантических паутинах (см. Semantic Web) и технологии программирования как форма представления знаний о реальном мире, как эксплицитная, то есть явная, спецификация множества объектов и связей между ними. Формально онтология состоит из терминов, организованных в таксономию (taxonomy), их описаний и правил вывода. Типы онтологий: мета-онтология - описание наиболее общих понятий, не зависящих от предметных областей; онтология предметной области (domain ontology) - формальное описание предметной области для уточнения её общей терминологической базы; онтология конкретной задачи - определение общей терминологической базы задачи, проблемы; сетевые онтологии - их часто используют для описания конечных результатов действий, выполняемых объектами предметной области или задачисм. тж. problem domainАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > ontology
-
34 formal description
1) Техника: формализованное описание2) Математика: формализм3) Вычислительная техника: формальное описание -
35 формальная модель политики безопасности
формальная модель политики безопасности
Математически строгое описание политики безопасности. Подразумевает описание начального состояния системы, способы перехода системы из одного состояния в другое, а также определение безопасного состояния. Чтобы быть принятой как основа ДВБ (TCB), модель должна содержать формальное доказательство следующих положений: начальное состояние системы является безопасным; если все условия безопасности, определяемые моделью, выполнены, то все последующие состояния системы также будут безопасными.
[http://www.rfcmd.ru/glossword/1.8/index.php?a=index&d=23]Тематики
EN
Русско-английский словарь нормативно-технической терминологии > формальная модель политики безопасности
-
36 formal security policy model
формальная модель политики безопасности
Математически строгое описание политики безопасности. Подразумевает описание начального состояния системы, способы перехода системы из одного состояния в другое, а также определение безопасного состояния. Чтобы быть принятой как основа ДВБ (TCB), модель должна содержать формальное доказательство следующих положений: начальное состояние системы является безопасным; если все условия безопасности, определяемые моделью, выполнены, то все последующие состояния системы также будут безопасными.
[http://www.rfcmd.ru/glossword/1.8/index.php?a=index&d=23]Тематики
EN
Англо-русский словарь нормативно-технической терминологии > formal security policy model
-
37 formal specification
Англо-русский словарь технических терминов > formal specification
-
38 appropriation
сущ.1)а) эк., юр. присвоение, конфискация (напр., собственности)б) маркс., ист. присвоение ( прибавочного продукта)Syn:See:2)а) учет ассигнование, выделение (утверждение государственным органом или руководством компании определенного размера расходов на какую-л. цель)Syn:assignment 2) а)See:б) учет, гос. фин. ассигнование (конкретные денежные суммы на функционирование ведомств и органов, реализацию программ и проведение тех или иных операций, выделяемые в рамках соответствующих санкционирующих решений; также само формальное одобрение на использование средств для конкретных целей путем принятия официального документа)See:appropriations in aid, general appropriation, regular appropriation, supplemental appropriation, appropriation bill, appropriation act, authorization, budget authority, continuing resolution, unencumbered balance3) учет распределение (прибыли на дивиденды и пополнение резервов, а в случае партнерства — на оклады партнеров и доходы на вложенный ими капитал)See:4) фин. отнесение (платежа к определенному долгу из ряда долгов данного лица перед данным кредитором; обычно осуществляется должником, но по умолчанию может осуществляться и кредитором)5) бирж., юр. индивидуализация товара (действие или документ, представляющие собой фиксирование точного описания предполагаемого к поставке товара; имеет место в случае фьючерсного контракта на поставку товаров, точное описание которых невозможно зафиксировать на момент заключения контракта; осуществляется непосредственно перед поставкой товара)6) гос. упр. ( резервирование земли для общественных целей)
* * *
1) бюджетное или иное ассигнование на конкретную цель; 2) распределение прибыли компании после налогов на дивиденды и пополнение резервов; 3) резервирование земли для общественных целей.* * *. . Словарь экономических терминов .* * *-----Финансы/Кредит/ВалютаФинансы/Кредит/Валюта -
39 declaration
сущ.1) общ. объявление, заявлениеCOMBS:
See:2)а) эк. декларация (документ, содержащий официальное заявление о чем-л.)See:declarations section, Doha Ministerial Declaration, Declaration of Independence, Ministerial Declaration on Trade in Information Technology Products, declare 1)б) гос. фин. декларация (документ, в котором подтверждается наличие и указывается стоимость объектов, подлежащих обложению таможенными пошлинами или иными налогами)See:consular declaration, customs declaration, declaration of income, goods declaration, VAT declaration, tax return, declarant 1) б) declare 4)3)а) юр. исковое заявление ( официальное заявление истцом своих претензий и обстоятельств дела в суде)б) юр. (формальное заявление свидетеля в суде о фактах по делу, осуществляемое без присяги)See:declare 1)
* * *
декларация: раскрытие информации, заявление; 1) налоговая декларация; = tax declaration; 2) таможенная декларация; = customs declaration; 3) письменное заявление; см. oath; 4) декларация страхового полиса: описание и местоположение страхуемой собственности, сумма страхования, имя застрахованного лица; см. fire insurance.* * *. . Словарь экономических терминов .* * *1. заявление----- -
40 computing model
1) Вычислительная техника: модель вычислений2) Программирование: модель (организации) вычислений (формальное, абстрактное описание (представление) компьютера или компьютерной системы)
См. также в других словарях:
формальное описание — формальная спецификация Спецификации, выраженные с помощью формально определенного языка спецификаций. [Е.С.Алексеев, А.А.Мячев. Англо русский толковый словарь по системотехнике ЭВМ. Москва 1993] Тематики информационные технологии в целом… … Справочник технического переводчика
проспект эмиссии — Формальное письменное предложение о продаже ценных бумаг, в котором предстаааен план предлагаемого коммерческого предприятия или представлены факты, касающиеся уже существующего предприятия, которые должен знать инвестор для принятия осознанного… … Финансово-инвестиционный толковый словарь
Диасистема — Формальное описание диалектов какого л. языка, при котором высокоуровневая (обычно фонологическая) система включает две или более диалектные системы. В качестве отправной точки используется языковая система, лежащая в основе описываемых… … Словарь социолингвистических терминов
ИОАНН ДУНС СКОТ — [лат. Ioannes (Johannes) Duns Scotus] († 8.11.1308, Кёльн), средневек. философ и богослов, католич. священник, член монашеского ордена францисканцев; в католич. Церкви прославлен в лике блаженных (пам. зап. 8 нояб.). Жизнь. Иоанн Дунс Скот. 1473… … Православная энциклопедия
КВАНТОВАЯ МЕХАНИКА — (волновая механика), теория, устанавливающая способ описания и законы движения микрочастиц (элем. ч ц, атомов, молекул, ат. ядер) и их систем (напр., кристаллов), а также связь величин, характеризующих ч цы и системы, с физ. величинами,… … Физическая энциклопедия
Философия — Скульптура «Мыслитель» (фр. Le Penseur) Огюста Родена, которая часто используется в качестве символа философии … Википедия
Алгоритм — У этого термина существуют и другие значения, см. Алгоритм (значения). Для улучшения этой статьи желательно?: Переработать оформление в соответствии с правил … Википедия
Расширенная форма Бэкуса — Наура — (расширенная Бэкус Наурова форма (РБНФ)) (англ. Extended Backus–Naur Form (EBNF)) формальная система определения синтаксиса, в которой одни синтаксические категории последовательно определяются через другие. Используется для описания контекстно… … Википедия
SAFER — Создатель: Джеймс Мэсси Создан: 1993 г. Опубликован … Википедия
Расширенная Бэкус — Наурова форма — Расширенная форма Бэкуса Наура (расширенная Бэкус Наурова форма (РБНФ)) (англ. Extended Backus–Naur Form (EBNF)) формальная система определения синтаксиса, в которой одни синтаксические категории последовательно определяются через другие.… … Википедия
Расширенная форма Бэкуса-Наура — (расширенная Бэкус Наурова форма (РБНФ)) (англ. Extended Backus–Naur Form (EBNF)) формальная система определения синтаксиса, в которой одни синтаксические категории последовательно определяются через другие. Используется для описания контекстно… … Википедия