Чувашская республиканская детско-юношеская библиотека

Главная

Упрощенный режим

Описание

Базы данных

Статьи - результаты поиска

Вид поиска

книги

Статьи

Область поиска

в найденном

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=верификация<.>)

Общее количество найденных документов : 11
Показаны документы с 1 по 10

1-10 11-11

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Есипенко, Иван Александрович (инженер), Лыков, Даниил Андреевич
Заглавие : Математическая модель теплового дрейфа волоконно-оптического гироскопа и ее экспериментальная верификация
Серия: Приборостроение, метрология и информационно-измерительные приборы и системы
Место публикации : Вестник Московского государственного технического университета им. Н. Э. Баумана. Сер.: Приборостроение. - 2017. - № 5. - С.31-46. - ISSN 0236-3933 (Шифр mgt2/2017/5). - ISSN 0236-3933
Примечания : Библиогр. в конце ст. (20 назв.). - Уфимский государственный нефтяной технический университетcode, mgt2year, 2017no, 5ss, 31ad, 1d, 2017, , 0, yRUMARS-mgt217_no5_ss31_ad1
УДК : 535.31
ББК : 22.342
Предметные рубрики: Физика
Геометрическая оптика. Оптические приборы
Ключевые слова (''Своб.индексиров.''): волоконно-оптические гироскопы--гироскопы--метод конечных элементов--тепловой дрейф--термопереходные процессы--термостабилизация
Аннотация: Представлена математическая модель теплового дрейфа волоконно-оптического гироскопа, вызываемого термопереходным процессом, включающая в себя влияние термо- и упругооптического эффектов.
Найти похожие

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Авдеев, Николай, Бибило, Петр
Заглавие : Верификация VHDL-описаний цифровых устройств, представленных в виде композиции управляющего и операционного блоков . Ч. 2 : Верификация на основе функционального покрытия
Серия: Проектирование и моделирование
Место публикации : Современная электроника. - 2018. - № 3. - С.68-71 (Шифр svel/2018/3)
Примечания : Библиогр.: с. 71 (4 назв. ). - Научно-техническое отделение Зональной научной библиотеки имени Ю. А. Жданова Южного федерального университета (г. Таганрог)code, svelyear, 2018no, 3ss, 68ad, 1d, 2018, , 0, yRUMARS-svel18_no3_ss68_ad1
УДК : 621.38
ББК : 32.85
Предметные рубрики: Радиоэлектроника
Электроника в целом
Ключевые слова (''Своб.индексиров.''): верификация--конечные автоматы--моделирование--операционные блоки--проектирование--функциональное покрытие--цифровые устройства
Аннотация: Рассматривается функциональная верификация цифровых устройств, состоящих из управляющего и операционного блоков.
Найти похожие

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Кандрин А. Т. (старший научный сотрудник), Кораблина А. Д., Ахрипкин В. С.
Заглавие : Результаты численного моделирования штормовых нагонов в Белом море
Серия: Методы географических исследований
Место публикации : Вестник Московского университета. Сер. 5, География. - 2018. - № 2. - С.43-52: 5 рис. (Шифр mgeo/2018/2)
Примечания : Новокузнецкий институт (филиал) федерального государственного бюджетного образовательного учреждения высшего профессионального образованияcode, mgeoyear, 2018no, 2ss, 43ad, 1d, 2018, , 0, yRUMARS-mgeo18_no2_ss43_ad1
УДК : 551.46
ББК : 26.221
Предметные рубрики: Геофизика
Океанология --Россия --Северный Ледовитый океан --Белое море
Ключевые слова (''Своб.индексиров.''): верификация модели--гидродинамические модели--наблюдения--пространственные сетки--сгонно-нагонные колебания--характеристики нагонов
Аннотация: Исследуются сгонно-нагонные колебания уровня Белого моря с помощью гидродинамической модели ADCIRC, адаптированной к условиям этого водоема. Численные эксперименты выполнены на нерегулярной расчетной сетке высокого разрешения.
Найти похожие

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Арьяева Н. С., Коптев-Дворников Е. В., Бычков Д. А.
Заглавие : Ликвидусный термобарометр для моделирования равновесия магнетит-расплав
Место публикации : Вестник Московского университета. Сер. 4, Геология. - 2018. - № 1. - С.71-80. - ISSN 0579-9406 (Шифр mglg/2018/1). - ISSN 0579-9406
Примечания : Библиогр.: с. 79-80 (22 назв.). - Государственное учреждение культуры Оренбургская областная универсальная научная библиотека им.Н. К. Крупскойcode, mglgyear, 2018no, 1ss, 71ad, 1d, 2018, , 0, yRUMARS-mglg18_no1_ss71_ad1
УДК : 553
ББК : 26.325
Предметные рубрики: Геология
Геология полезных ископаемых в целом
Ключевые слова (''Своб.индексиров.''): базитовые расплавы--ликвидусные термобарометры--магнетит-расплавы--магнетиты--силикатные расплавы--шпинель
Аннотация: Получен ликвидусный термобарометр магнетит-силикатный расплав путем обработки методами многомерной статистики выборки из 93 экспериментальных равновесий магнетита с базитовыми расплавами. Уравнения с низкой погрешностью воспроизводят экспериментальные составы в широком диапазоне составов базитов, температуры и давления. Верификация термобарометров показала, что максимальная погрешность воспроизведения температуры ликвидуса не превышает ±7 °С.
Найти похожие

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Петриченко М. Р., Котов Е. В.
Заглавие : Численная верификация слабых решений типичной предельной задачи Крокко с помощью неявной разностной схемы второго порядка
Параллельн. заглавия :Numerical verification of weak solutions of the Crocco typical boundary problem using an implicit second order difference scheme
Серия: Математическая физика
Место публикации : Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Сер.: Физико-математические науки. - 2019. - Т. 12, № 2. - С.63-72: граф., табл. - ISSN 2304-9782 (Шифр ntvf/2019/12/2). - ISSN 2304-9782
Примечания : Библиогр.: с. 70-71 (23 назв.). - Список литературы представлен на рус. и англ. яз.Фундаментальная библиотека Санкт-Петербургского политехнического университета Петра Великогоcode, ntvfyear, 2019to, 12no, 2ss, 63ad, 1d, 2019, , 0, yRUMARS-ntvf19_to12_no2_ss63_ad1
УДК : 531
ББК : 22.21
Предметные рубрики: Механика
Теоретическая механика в целом
Ключевые слова (''Своб.индексиров.''): croccos task--implicit difference schemes--numerical verification--scheme of second order--task croccos--typical limit problems--weak problem solutions (physics)--крокко задача--задача крокко--неявные разностные схемы--слабые решения задач (физика)--схемы второго порядка--типичные предельные задачи--численная верификация
Аннотация: Для верификации решения типичной предельной задачи Крокко проведен численный эксперимент с использованием неявной разностной схемы второго порядка. Вычислительный эксперимент показал равномерную на промежутке 0 х 1 сходимость численной аппроксимации решения к слабому решению при небольшой плотности дискретизации промежутка (порядка N To verify the solution of a typical Crocco boundary problem, a numerical experiment has been performed using an implicit second-order difference scheme. The computational experiment showed uniform convergence in the 0 х 1 interval for the numerical approximation of the solution to a weak solution with a small interval discrete sampling (of the order of N
Найти похожие

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Дятел, Евгений Петрович
Заглавие : Критерии научной достоверности и способы повышения эвристического потенциала экономической теории
Серия: История экономики и экономических учений
Место публикации : Журнал экономической теории. - 2019. - Т. 16, № 3. - С.513-527: табл. - ISSN 2073-6517 (Шифр zhet/2019/16/3). - ISSN 2073-6517
Примечания : Библиогр.: с. 524-525. - Информационно-библиотечный центр Тюменского государственного университетаcode, zhetyear, 2019to, 16no, 3ss, 513ad, 1d, 2019, , 0, yRUMARS-zhet19_to16_no3_ss513_ad1
УДК : 330
ББК : 65.011
Предметные рубрики: Экономика
Общие основы экономики
Ключевые слова (''Своб.индексиров.''): верификация научной теории--меновая стоимость--научная достоверность--потребительная стоимость--фальсификация научной теории--эвристический потенциал--экономические категории--экономические отношения--экономические теории--эмпирические сведения
Аннотация: Изучается верификация и фальсификация базовых положений трудовой теории стоимости, предлагается авторская интерпретация исследуемого контента.
Найти похожие

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Колобаева П. В., Мосунова Н. А., Сорокин А. А.
Заглавие : Верификация модуля AEROSOL/LM на экспериментах по горению натрия во влажном воздухе
Серия: Статьи
Место публикации : Атомная энергия. - 2019. - Т. 127, № 12. - С.319-322. - ISSN 0004-7163 (Шифр aene/2019/127/12). - ISSN 0004-7163
Примечания : Библиогр.: с. 322 (4 назв.). - Научно-техническая библиотека Саратовского государственного технического университета имени Гагарина Ю.А.code, aeneyear, 2019to, 127no, 12ss, 319ad, 1d, 2019, , 0, yRUMARS-aene19_to127_no12_ss319_ad1
УДК : 621.039
ББК : 31.4
Предметные рубрики: Энергетика
Атомная энергетика
Ключевые слова (''Своб.индексиров.''): aerosol/lm--аэрозоли натрия--верификация модуля--горение во влажном воздухе--горение натрия--модули--натрий
Аннотация: Представлены результаты верификации модуля поведения аэрозолей натрия во влажном воздухе в помещении на экспериментах, проведенных на автоматических специализированных установках.This paper presents simulation results for experiments with sodium combustion aerosols in a closed vessel using AEROSOL/LM module.
Найти похожие

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Апаркина А. В., Кашкина Е. И., Лякишева Р. В.
Заглавие : Проблемы диагностики гангренозной пиодермии и лекарственно- индуцированной миопатии нижних конечностей у пациента с язвенным колитом (клиническое наблюдение)
Серия: Клинические наблюдения
Место публикации : Экспериментальная и клиническая гастроэнтерология. - 2019. - № 6 (166). - С.122-125: 2 рис. - ISSN 1682-8658 (Шифр ekkl/2019/6). - ISSN 1682-8658
Примечания : Библиогр.: с. 125 (13 назв. ). - Витебский государственный медицинский университетcode, ekklyear, 2019no, 6ss, 122ad, 1d, 2019, , 0, yRUMARS-ekkl19_no6_ss122_ad1
УДК : 616.33
ББК : 54.13
Предметные рубрики: Здравоохранение. Медицинские науки
Гастроэнтерология
Ключевые слова (''Своб.индексиров.''): гангренозная пиодермия--кожная сыпь--лекарственная миопатия--язвенный колит
Аннотация: Представлено клиническое наблюдение пациента, у которого верификация язвенного колита была сложной в связи с тем, что кишечная симптоматика требовала проведения дифференциальной диагностики, а кожная сыпь - определения ее этиологической принадлежности.
Найти похожие

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Суворов А. А., Гусев А. С., Андреев М. В., Аскаров А. Б.
Заглавие : Всережимная верификация расчетов при анализе динамической устойчивости электроэнергетических систем
Место публикации : Электричество. - 2020. - № 11. - С.28-37: 7 рис. - ISSN 0013-5380 (Шифр elec/2020/11). - ISSN 0013-5380
Примечания : Библиогр.: с. 36 (16 назв. ). - Заглавие, авторы, аннотация, библиография на английском языке приведены в конце статьи
УДК : 621.311
ББК : 31.27
Предметные рубрики: Энергетика
Электрические системы в целом
Ключевые слова (''Своб.индексиров.''): верификация--динамическая устойчивость--моделирование--осциллограммы--расчет режимов--экспериментальные исследования--электроэнергетические системы--энергосистемы
Аннотация: Основным условием надежности и живучести электроэнергетических систем является ее динамическая устойчивость. Анализ динамической устойчивости чрезвычайно сложная задача, для решения которой используются результаты численного интегрирования дифференциальных уравнений, образующих математическую модель энергосистемы. Однако математическая модель энергосистемы большой размерности содержит жесткую нелинейную систему дифференциальных уравнений чрезвычайно высокого порядка. Такая система аналитически не решается. Для улучшения обусловленности математической модели энергосистемы при численном интегрировании неизбежно применяют упрощения и ограничения, снижающие полноту и достоверность получаемых результатов. В связи с этим возникает необходимость их верификации. Наиболее надежным способом верификации является сравнение результатов моделирования с натурными данными. Однако приемлемая для верификации совокупность натурных данных нереализуема в обозримой перспективе ввиду очевидного огромного разнообразия режимов энергосистемы, а также возмущений, приводящих к нарушению динамической устойчивости. В статье предлагается альтернативный подход к верификации: использование адекватного модельного эталона вместо натурных данных. В качестве модельного эталона используется экспериментальный образец, обладающий необходимыми свойствами и возможностями. Для выполнения верификации разработана соответствующая последовательность действий. Реализуемость предлагаемого подхода наглядно проиллюстрирована экспериментальными исследованиями.
Найти похожие

10.

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Зализняк, Андрей Анатольевич (доктор филологических наук)
Заглавие : "Истина существует, и целью науки является её поиск" : о гениальном лингвисте Андрее Зализняке : речь академика Андрея Зализняка, произнесённая им на вручении Премии Солженицына
Серия: Живая классика
Место публикации : Библиотечное дело. - 2020. - № 1. - С.8-10: фот. - ISSN 1727-4893 (Шифр bibd/2020/1). - ISSN 1727-4893
УДК : 001 + 81'0
ББК : 72 + 81
Предметные рубрики: Наука. Науковедение --Россия, 21 в.
Общие вопросы науки
Языкознание --Россия --СССР, 20 в.
История языкознания, 21 в.
Аннотация: Опубликована речь Андрея Анатольевича Зализняка на вручении ему Литературной премии Солженицына (16 мая 2007 г. ). Одни из главных мыслей этой речи - о верифицируемости научного знания, снижении в общественном сознании ценности науки, о произошедшем сдвиге в отношении к знанию и к истине.
Найти похожие

1-10 11-11

Тематический навигатор

Статистика за 19.07.2024
Число запросов	186718
Число посетителей	0
Число заказов	0

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)