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

Главная

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

Описание

Базы данных

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

Вид поиска

книги

Статьи

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

в найденном

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

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

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

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

1-10 11-11

18+

Есипенко, Иван Александрович (инженер).
Математическая модель теплового дрейфа волоконно-оптического гироскопа и ее экспериментальная верификация [] / И. А. Есипенко, Д. А. Лыков // Вестник Московского государственного технического университета им. Н. Э. Баумана. Сер.: Приборостроение. - 2017. - № 5. - С. 31-46. - Библиогр. в конце ст. (20 назв.). - Уфимский государственный нефтяной технический университет. - code, mgt2. - year, 2017. - no, 5. - ss, 31. - ad, 1. - d, 2017, , 0, y. - RUMARS-mgt217_no5_ss31_ad1 . - ISSN 0236-3933

УДК

^a535.31

ББК 22.342
Рубрики: Физика
Геометрическая оптика. Оптические приборы
Кл.слова (ненормированные):
волоконно-оптические гироскопы -- гироскопы -- метод конечных элементов -- тепловой дрейф -- термопереходные процессы -- термостабилизация
Аннотация: Представлена математическая модель теплового дрейфа волоконно-оптического гироскопа, вызываемого термопереходным процессом, включающая в себя влияние термо- и упругооптического эффектов.

Доп.точки доступа:
Лыков, Даниил Андреевич (инженер)
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

Авдеев, Николай.
Верификация VHDL-описаний цифровых устройств, представленных в виде композиции управляющего и операционного блоков []. Ч. 2. Верификация на основе функционального покрытия / Н. Авдеев, П. Бибило // Современная электроника. - 2018. - № 3. - С. 68-71. - Библиогр.: с. 71 (4 назв. ). - Научно-техническое отделение Зональной научной библиотеки имени Ю. А. Жданова Южного федерального университета (г. Таганрог). - code, svel. - year, 2018. - no, 3. - ss, 68. - ad, 1. - d, 2018, , 0, y. - RUMARS-svel18_no3_ss68_ad1

УДК

^a621.38

ББК 32.85
Рубрики: Радиоэлектроника
Электроника в целом
Кл.слова (ненормированные):
верификация -- конечные автоматы -- моделирование -- операционные блоки -- проектирование -- функциональное покрытие -- цифровые устройства
Аннотация: Рассматривается функциональная верификация цифровых устройств, состоящих из управляющего и операционного блоков.

Доп.точки доступа:
Бибило, Петр
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

Кандрин, А. Т. (старший научный сотрудник).
Результаты численного моделирования штормовых нагонов в Белом море [] / А. Т. Кондрин, А. Д. Кораблина, В. С. Архипкин // Вестник Московского университета. Сер. 5, География. - 2018. - № 2. - С. 43-52 : 5 рис. - Новокузнецкий институт (филиал) федерального государственного бюджетного образовательного учреждения высшего профессионального образования. - code, mgeo. - year, 2018. - no, 2. - ss, 43. - ad, 1. - d, 2018, , 0, y. - RUMARS-mgeo18_no2_ss43_ad1

УДК

^a551.46

ББК 26.221
Рубрики: Геофизика
Океанология--Россия--Северный Ледовитый океан--Белое море
Кл.слова (ненормированные):
верификация модели -- гидродинамические модели -- наблюдения -- пространственные сетки -- сгонно-нагонные колебания -- характеристики нагонов
Аннотация: Исследуются сгонно-нагонные колебания уровня Белого моря с помощью гидродинамической модели ADCIRC, адаптированной к условиям этого водоема. Численные эксперименты выполнены на нерегулярной расчетной сетке высокого разрешения.

Доп.точки доступа:
Кораблина, А. Д. (аспирант); Ахрипкин, В. С. (доцент)
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

Арьяева, Н. С.
Ликвидусный термобарометр для моделирования равновесия магнетит-расплав [] / Н. С. Арьяева, Е. В. Коптев-Дворников, Д. А. Бычков // Вестник Московского университета. Сер. 4, Геология. - 2018. - № 1. - С. 71-80. - Библиогр.: с. 79-80 (22 назв.). - Государственное учреждение культуры Оренбургская областная универсальная научная библиотека им.Н. К. Крупской. - code, mglg. - year, 2018. - no, 1. - ss, 71. - ad, 1. - d, 2018, , 0, y. - RUMARS-mglg18_no1_ss71_ad1 . - ISSN 0579-9406

УДК

^a553

ББК 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 : граф., табл. - Библиогр.: с. 70-71 (23 назв.). - Список литературы представлен на рус. и англ. яз. - Фундаментальная библиотека Санкт-Петербургского политехнического университета Петра Великого. - code, ntvf. - year, 2019. - to, 12. - no, 2. - ss, 63. - ad, 1. - d, 2019, , 0, y. - RUMARS-ntvf19_to12_no2_ss63_ad1 . - ISSN 2304-9782

УДК

^a531

ББК 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 = 10{4} узлов). Показано, что численное решение аппроксимирует слабое решение типичной предельной задачи Крокко, кроме правого конца промежутка интегрирования – точки x = 1. Решение предельной задачи Крокко может быть продолжено левее точки x = 0 с сохранением непрерывности и гладкости решения в этой точке. Точка x = 1 представляет естественную верхнюю границу области определения решения.
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 = 10{4} nodes). It was shown that a numerical solution approximated a weak solution of the typical Crocco limit problem, except for the right end of the integration interval. The solution of the Crocco boundary problem could be continued to the left of the point x = 0 while preserving the continuity and smoothness of the solution at this point. The point x = 1 represents the natural upper bound of the solution domain.

Доп.точки доступа:
Котов, Е. В.
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

Дятел, Евгений Петрович.
Критерии научной достоверности и способы повышения эвристического потенциала экономической теории [] / Е. П. Дятел // Журнал экономической теории. - 2019. - Т. 16, № 3. - С. 513-527 : табл. - Библиогр.: с. 524-525. - Информационно-библиотечный центр Тюменского государственного университета. - code, zhet. - year, 2019. - to, 16. - no, 3. - ss, 513. - ad, 1. - d, 2019, , 0, y. - RUMARS-zhet19_to16_no3_ss513_ad1 . - ISSN 2073-6517

УДК

^a330

ББК 65.011
Рубрики: Экономика
Общие основы экономики
Кл.слова (ненормированные):
верификация научной теории -- меновая стоимость -- научная достоверность -- потребительная стоимость -- фальсификация научной теории -- эвристический потенциал -- экономические категории -- экономические отношения -- экономические теории -- эмпирические сведения
Аннотация: Изучается верификация и фальсификация базовых положений трудовой теории стоимости, предлагается авторская интерпретация исследуемого контента.

Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

Колобаева, П. В.
Верификация модуля AEROSOL/LM на экспериментах по горению натрия во влажном воздухе [] / П. В. Колобаева, Н. А. Мосунова, А. А. Сорокин // Атомная энергия. - 2019. - Т. 127, № 12. - С. 319-322. - Библиогр.: с. 322 (4 назв.). - Научно-техническая библиотека Саратовского государственного технического университета имени Гагарина Ю.А. - code, aene. - year, 2019. - to, 127. - no, 12. - ss, 319. - ad, 1. - d, 2019, , 0, y. - RUMARS-aene19_to127_no12_ss319_ad1 . - ISSN 0004-7163

УДК

^a621.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 рис. - Библиогр.: с. 125 (13 назв. ). - Витебский государственный медицинский университет. - code, ekkl. - year, 2019. - no, 6. - ss, 122. - ad, 1. - d, 2019, , 0, y. - RUMARS-ekkl19_no6_ss122_ad1 . - ISSN 1682-8658

УДК

^a616.33

ББК 54.13
Рубрики: Здравоохранение. Медицинские науки
Гастроэнтерология
Кл.слова (ненормированные):
гангренозная пиодермия -- кожная сыпь -- лекарственная миопатия -- язвенный колит
Аннотация: Представлено клиническое наблюдение пациента, у которого верификация язвенного колита была сложной в связи с тем, что кишечная симптоматика требовала проведения дифференциальной диагностики, а кожная сыпь - определения ее этиологической принадлежности.

Доп.точки доступа:
Кашкина, Е. И.; Лякишева, Р. В.
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

Всережимная верификация расчетов при анализе динамической устойчивости электроэнергетических систем [] / Суворов А. А., Гусев А. С., Андреев М. В., Аскаров А. Б. // Электричество. - 2020. - № 11. - С. 28-37 : 7 рис. - Библиогр.: с. 36 (16 назв. ). - Заглавие, авторы, аннотация, библиография на английском языке приведены в конце статьи . - ISSN 0013-5380

УДК

^a621.311

ББК 31.27
Рубрики: Энергетика
Электрические системы в целом
Кл.слова (ненормированные):
верификация -- динамическая устойчивость -- моделирование -- осциллограммы -- расчет режимов -- экспериментальные исследования -- электроэнергетические системы -- энергосистемы
Аннотация: Основным условием надежности и живучести электроэнергетических систем является ее динамическая устойчивость. Анализ динамической устойчивости чрезвычайно сложная задача, для решения которой используются результаты численного интегрирования дифференциальных уравнений, образующих математическую модель энергосистемы. Однако математическая модель энергосистемы большой размерности содержит жесткую нелинейную систему дифференциальных уравнений чрезвычайно высокого порядка. Такая система аналитически не решается. Для улучшения обусловленности математической модели энергосистемы при численном интегрировании неизбежно применяют упрощения и ограничения, снижающие полноту и достоверность получаемых результатов. В связи с этим возникает необходимость их верификации. Наиболее надежным способом верификации является сравнение результатов моделирования с натурными данными. Однако приемлемая для верификации совокупность натурных данных нереализуема в обозримой перспективе ввиду очевидного огромного разнообразия режимов энергосистемы, а также возмущений, приводящих к нарушению динамической устойчивости. В статье предлагается альтернативный подход к верификации: использование адекватного модельного эталона вместо натурных данных. В качестве модельного эталона используется экспериментальный образец, обладающий необходимыми свойствами и возможностями. Для выполнения верификации разработана соответствующая последовательность действий. Реализуемость предлагаемого подхода наглядно проиллюстрирована экспериментальными исследованиями.

Доп.точки доступа:
Суворов, А. А. (кандидат технических наук; ассистент); Гусев, А. С. (доктор технических наук; профессор); Андреев, М. В. (кандидат технических наук; заведующий лабораторией; доцент); Аскаров, А. Б. (аспирант; инженер-исследователь)
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

10.

12+

Зализняк, Андрей Анатольевич (доктор филологических наук).
"Истина существует, и целью науки является её поиск" : о гениальном лингвисте Андрее Зализняке : речь академика Андрея Зализняка, произнесённая им на вручении Премии Солженицына / А. А. Зализняк // Библиотечное дело. - 2020. - № 1. - С. 8-10 : фот. . - ISSN 1727-4893

УДК

^a001

^a81'0

ББК 72 + 81
Рубрики: Наука. Науковедение--Россия, 21 в.
   Общие вопросы науки
   Языкознание--Россия--СССР, 20 в.
   История языкознания, 21 в.
Кл.слова (ненормированные):
верификация -- выдающиеся лингвисты -- выдающиеся ученые -- знание -- истина -- лауреаты -- лингвисты -- науки -- проблемы науки -- проблемы науки -- речи -- ученые
Аннотация: Опубликована речь Андрея Анатольевича Зализняка на вручении ему Литературной премии Солженицына (16 мая 2007 г. ). Одни из главных мыслей этой речи - о верифицируемости научного знания, снижении в общественном сознании ценности науки, о произошедшем сдвиге в отношении к знанию и к истине.

Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

1-10 11-11

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

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

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