Поисковый запрос: (<.>K=верификация<.>) |
Общее количество найденных документов : 19
Показаны документы с 1 по 19 |
>1. ![](/irbis64r_15/images/printer.jpg)
|
Физическая верификация СБИС : новый век - новые проблемы [Текст] > // СHIP NEWS. - 1999. - N9. - С. 36-37. - (Технологии)
Кл.слова (ненормированные): Программные средства(проектирование) -- Верификация физическая(нанометровых проектов) -- Верификация физическая(СБИС)
Найти похожие
|
>2. ![](/irbis64r_15/images/printer.jpg)
|
Тестирование, верификация и валидация программ [Текст] : тем.вып.> // Программирование. - 2008. - N 6
Кл.слова (ненормированные): Тестовые программы(разработка) -- Верификация топологии ИС(система ОТ_ТО)
Найти похожие
|
>3. ![](/irbis64r_15/images/printer.jpg)
| Ч48 И 74
Киселев, В. В. Схема функционирования системы верификации грамматики языков [Текст] / В. В. Киселев> // Информационные технологии в профессиональной деятельности и научной работе : сборник материалов Всероссийской научно-практической конференции с международным участием : в 2 ч. / [редкол.: В. А. Иванов, И. Г. Сидоркина, М. И. Шигаева]. - Йошкар-Ола : МарГТУ, 2012. - Ч. 2. - С. 107-111
. - 658925 кнхр ББК Ч48
Кл.слова (ненормированные): ТРУДЫ МАРГТУ -- ЛИНГВИСТИКА -- ГРАММАТИКА ЯЗЫКОВ -- ВЕРИФИКАЦИЯ ГРАММАТИКИ ЯЗЫКОВ -- ВЕРИФИКАЦИЯ ОРФОГРАФИИ -- ТЕКСТ
Найти похожие
|
>4. ![](/irbis64r_15/images/printer.jpg)
| Ч 21 В 12
Пеганова, Е. В. Роль новых уточняющих методик в эндоскопической диагностике предопухолевой и опухолевой патологии пищевода [Текст] / Е. В. Пеганова, Н. Н. Митракова, В. Л. Рыжков> // Инновационные ресурсы и национальная безопасность в эпоху глобальных трансформаций. Пятнадцатые Вавиловские чтения : материалы постоянно действующей Всерос. междисциплинар. науч. конф. с междунар. участием (Йошкар-Ола, 8-9 декабря 2011 г.): в 2 ч. / отв. и науч. ред. В. П. Шалаев . - Йошкар-Ола : МарГТУ, 2012. - Ч. 2. - С. 278-279
ББК Ч 21
Кл.слова (ненормированные): ВАВИЛОВСКИЕ ЧТЕНИЯ (15-Е) -- ТРУДЫ МАРГТУ -- РАК ПИЩЕВОДА -- ЭНДОСКОПИЧЕСКАЯ ХИРУРГИЯ -- ЭНДОСКОПИЧЕСКАЯ ДИАГНОСТИКА -- ВЕРИФИКАЦИЯ ЗАБОЛЕВАНИЙ
Доп.точки доступа: Митракова, Н.Н. Рыжков, В.Л.
Найти похожие
|
>5. ![](/irbis64r_15/images/printer.jpg)
|
Прогнозирование живучести энергетического оборудования стареющих электрических станций [Текст] / В. К. Семенов [и др.]> // Теплоэнергетика. - 2010. - N8. - С. 35-38. - Библиогр. в конце ст.
. - НЧЗ
Кл.слова (ненормированные): верификация -- электростанции -- мониторинг объектов -- физико-математическая модель
Доп.точки доступа: Семенов, В.К. Степанов, В.Ф. Щебнев, В.С. Беляков, А.А. Дерий, В.П. Румянцев, Д.С.
Найти похожие
|
>6. ![](/irbis64r_15/images/printer.jpg)
|
Неринг, М. А. Первичная верификация и адаптация модели WEPP для условий Украины : проблемы, пути решения, перспективы [Текст] / М. А. Неринг, С. Ю. Булыгин, М. М. Котова> // Почвоведение. - 1998. - N1. - 96-99.-Библиогр.:16 назв.
Рубрики:
Украина Кл.слова (ненормированные): Эрозия почв -- Почвы(эрозия, водная)
Доп.точки доступа: Булыгин, С.Ю. Котова, М.М.
Найти похожие
|
>7. ![](/irbis64r_15/images/printer.jpg)
|
Оценка хлоридного разрушения морских гидротехнических сооружений города Холмска [Текст] / С. Н. Леонович [и др.]> // Вестник Поволжского государственного технологического университета. Сер.: Материалы. Конструкции. Технологии. - 2018. - № 2. - С. 7-15 : 6 табл. - Библиогр.: с. 13 (9 назв.). - Реф. на англ. яз.
Рубрики: Строительство--Россия--Дальний Восток--Холмск
Гидротехническое строительство. Гидротехника--Россия--Дальний Восток--Холмск
Кл.слова (ненормированные): коррозия -- железобетон -- бетон -- верификация -- хлоридная агрессия -- морские торговые порты -- морские гидротехнические разрушения -- хлоридное разрушение Аннотация: Проведены исследования хлоридного разрушения морских гидротехнических разрушений морского торгового порта города Холмск.
Доп.точки доступа: Леонович, Сергей Николаевич (доктор технических наук; профессор) Шалый, Евгений Евгеньевич (научный сотрудник) Ким, Лев Владимирович (кандидат технических наук; доцент) Шалая, Татьяна Евгеньевна (аспирант) Джоголюк, Алексей Геннадьевич (аспирант)
Найти похожие
|
>8. ![](/irbis64r_15/images/printer.jpg)
|
Поддубный, С. А. О методе выделения областей влияния ветрового волнения и течений в прибрежной зоне водохранилищ [Текст] / С. А. Поддубный, М. Б. Бычкова> // Водные ресурсы. - 1998. - Т.2. - 6.-С.730-737.-Библиогр.:9 назв. - (Водные объекты и окружающая среда)
Кл.слова (ненормированные): Водохранилища(прибрежная зона) -- Прибрежная зона водохранилищ(влияние течений) Аннотация: Предлагается метод выделения областей преобладающего влияния на дно ветрового волнения, ветровых и стоковых течений в пределах мелководной зоны внутренних водоемов. Верификация метода осуществлена по данным натурных наблюдений за параметрами ветрового волнения и течений на Рыбинском и Иваньковском водохранилищах. Показаны возможности применения метода для районирования мелководной зоны водохранилищ разного типа по гидродинамическим факторам.
Доп.точки доступа: Бычкова, М.Б.
Найти похожие
|
>9. ![](/irbis64r_15/images/printer.jpg)
|
Глазунов, Г. П. Модель крупномасштабного явления ветровой эрозии почв и ее верификация [Текст] / Г.П.Глазунов,В.М.Гендугов> // Почвоведение. - 2003. - N2. - 288-239.-Библиогр.:31 назв.
Кл.слова (ненормированные): Ветровая эрозия почв(модель) -- Математическая модель ветровой эрозии почв
Доп.точки доступа: Гендугов, В.М.
Найти похожие
|
>10. ![](/irbis64r_15/images/printer.jpg)
| Ч48 И 74
Килеев, В. В. Лингвистические компоненты языка в системе верификации орфографии и грамматики, не использующей лингвистические корпуса [Текст] / В. В. Килеев> // Информационные технологии в профессиональной деятельности и научной работе : сборник материалов Всероссийской научно-практической конференции с международным участием : в 2 ч. / М-во образования и науки РФ, ФГБОУ ВПО "Поволж. гос. технол. ун-т" ; [редкол.: В. А. Иванов, И. Г. Сидоркина]. - Йошкар-Ола : ПГТУ, 2013. - Ч. 2. - С. 125-130. - Библиогр. в конце ст.
. - 661346 кнхр ББК Ч48
Кл.слова (ненормированные): ТРУДЫ ПГТУ -- ВЕРИФИКАЦИЯ ОРФОГРАФИИ -- ВЕРИФИКАЦИЯ ГРАММАТИКИ ЯЗЫКОВ -- ЛИНГВИСТИКА -- КОМПОНЕНТЫ ЯЗЫКА -- АЛГОРИТМ СТЕММИНГА -- КОМПЬЮТЕРНЫЕ СИСТЕМЫ ВЕРИФИКАЦИИ
Найти похожие
|
>11. ![](/irbis64r_15/images/printer.jpg)
|
Арефьев, И. Б. Комплексная верификация результатов прогнозирования характеристик транспортной системы [Текст] / И. Б. Арефьев, А. А. Сулима> // Программные продукты и системы. - 2009. - № 3. - С. 94-97
Кл.слова (ненормированные): ВЕРИФИКАЦИЯ -- ТРАНСПОРТНАЯ СИСТЕМА
Доп.точки доступа: Сулима, А.А.
Найти похожие
|
>12. ![](/irbis64r_15/images/printer.jpg)
| 556.5 Р 27
Рахуба, Александр Владимирович (кандидат технических наук). Имитационное моделирование роста биомассы фитопланктона в Куйбышевском водохранилище [Текст] / , 12 А. В. Рахуба> // Водное хозяйство России: проблемы, технологии, управление. - № 1. - Библиогр.: с. 86-87 (22 назв.). - Реф. на англ. яз.
ББК 26.222
+ 28.5
Рубрики: Геофизика
Гидрология суши
Биология
Ботаника в целом
Кл.слова (ненормированные): качество воды -- биогенные элементы -- планктонные популяции -- эбиотические факторы -- эвтрофирование -- экосистемы -- верификация модели -- математические модели -- фитопланктон -- биомассы водорослей -- имитационное моделирование -- мониторинг -- водные объекты -- водохранилища Аннотация: Исходя из известных представлений о развитии планктонных популяций, разработана одномерная численная модель временной изменчивости вертикального распределения биомассы фитопланктона в приплотинном плесе Куйбышевского водохранилища.
Доп.точки доступа: Институт экологии Волжского бассейна РАН
Найти похожие
|
>13. ![](/irbis64r_15/images/printer.jpg)
|
Шалый, Евгений Евгеньевич (научный сотрудник). Долговечность морских сооружений при комбинированной коррозии железобетона [Текст] / Е. Е. Шалый, С. Н. Леонович, Л. В. Ким> // Вестник Поволжского государственного технологического университета. Сер.: Материалы. Конструкции. Технологии. - 2018. - № 1. - С. 65-72 : 4 рис., 4 табл. - Библиогр.: с. 70-71 (10 назв.). - Реф. на англ. яз.
Рубрики: Строительство
Бетонные и железобетонные работы
Гидротехническое строительство. Гидротехника
Кл.слова (ненормированные): железобетонные конструкции -- карбонизация -- хлоридная агрессия -- индекс надежности -- морские сооружения -- ионы хлора -- моделирование -- долговечность -- программное обеспечение -- хлорид-ионы -- диффузия -- железобетон -- коррозия Аннотация: В данном исследовании усовершенствована модель диффузии хлорид-ионов и разработано программное обеспечение для анализа долговечности. Выполнена верификация модели для решения задачи определения концентрации хлора в защитном слое бетона гидротехнических сооружений.
Доп.точки доступа: Леонович, Сергей Николаевич (доктор технических наук) Ким, Лев Владимирович (кандидат технических наук; доцент)
Найти похожие
|
>14. ![](/irbis64r_15/images/printer.jpg)
|
Бельгибаев, Руслан Рашидович (аспирант). Влияние радио блэкаута на частотную емкость линии декаметровой связи [Текст] / Р. Р. Бельгибаев> // Вестник Поволжского государственного технологического университета. Сер.: Радиотехнические и инфокоммуникационные системы. - 2014. - № 4 (23). - С. 23-34 : 7 рис., 2 табл. - Библиогр.: с. 31-32 (20 назв.). - Реф. на англ. яз.
Рубрики: Радиоэлектроника
Линии электрической связи
Астрономия
Солнце
Геофизика
Электричество и магнетизм Земли
Кл.слова (ненормированные): D-слои -- ВЧ-связь -- аппаратные затраты -- внезапные ионосферные возмущения -- высокочастотная связь -- декаметровая связь -- импульсные характеристики -- информационно-технические характеристики -- ионосферные бури -- короткие волны -- линейная частотная модуляция -- многомерные ионосферные радиоканалы -- наименьшие применимые частоты -- непрерывные сигналы -- пассивное панорамное зондирование -- поглощение радиоволн -- радио блэкауты -- радиолинии -- релаксация блэкаутов -- рентгеновское излучение -- солнечные вспышки -- частотные емкости -- экспериментальная верификация -- пгту в печати Аннотация: Развит метод пассивного зондирования многомерного ионосферного радиоканала непрерывными сигналами с линейной частотной модуляцией, требующей для своей реализации минимума аппаратных затрат и позволяющей оценивать в реальном времени его информационно-технические характеристики. Проведенные исследования показали, что солнечные вспышки приводят к уменьшению частотной емкости многомерного ВЧ-радиоканала. Предложена оценка времени релаксации поглощения радиоволн на высотах D-слоя.
Найти похожие
|
>15. ![](/irbis64r_15/images/printer.jpg)
|
Верификация цифровых систем на базе программируемых логических интегральных схем, выполняющих функции безопасности в критических приложениях[Текст] [Текст] > // Успехи современной радиоэлектроники. - 2005. - N10. - .59-76.-Библиогр.: 30назв.
Кл.слова (ненормированные): ПЛИС(применение) -- Верификация топологии ИС(система ОТ_ТО) -- Информационно-управляющие системы
Найти похожие
|
>16. ![](/irbis64r_15/images/printer.jpg)
|
Полубелова, О. В. Верификация правил фильтрации политики безопасности методом проверки н модели [Текст] / О.В. Полубелова, И.В. Котенко> // Известия вузов. Приборостроение. - 2008. - Т.5. - 12.-С.44-49.-Библиогр.:13 назв.
Кл.слова (ненормированные): Верификация фильтрации -- Фильтрация сигналов(цифровая) -- Моделирование цифровое(применение) -- Безопасность информации(теория) Аннотация: Метод проверки на модели
Найти похожие
|
>17. ![](/irbis64r_15/images/printer.jpg)
|
Сидельникова, Е. В. Верификация политик фильтрации с помощью исчисления событий и абдуктивного выхода [Текст] / Е.В.Сидельникова,А.В.Тишков,И.В.Котенко> // Известия вузов. Приборостроение. - 2008. - Т.5. - 11.-С.31-35.-Библиогр.:7 назв.
Кл.слова (ненормированные): Сетевой фильтр -- Защита информации(в узлах коммутации)
Найти похожие
|
>18. ![](/irbis64r_15/images/printer.jpg)
|
Ветошкин, В. А. Верификация компьютерных программ расчета прочности трубопроводных систем [Текст] / В.А.Ветошкин,А.Б.Попов> // Теплоэнергетика. - 2002. - N4. - С. 7-14
Кл.слова (ненормированные): Трубопроводные системы(расчет прочности)
Доп.точки доступа: Попов, А.Б.
Найти похожие
|
>19. ![](/irbis64r_15/images/printer.jpg)
|
Верификация балловых оценок местообитания по некоторым параметрам среды [Текст] / Л. Б. Заугольнова и [др.]> // Лесоведение. - 1998. - N5. - 48-58.-Библиогр.:29 назв.
Кл.слова (ненормированные): Экологические шкалы(балловые) -- Диагностика местообитаний -- Верификация балловых оценок местообитаний Аннотация: Проведена верификация экологических балловых оценок местообитаний (по шкалам Цыганова) путем сопоставления их с некоторыми параметрами среды. Установлена положительная и достоверная корреляция между влажностью почвы, глубиной залегания грунтовых вод и оценками по шкале увлажнения, между рН верхнего горизонта почвы и балловыми оценками по шкале кислотности, а также достоверная корреляция между освещенностью и балловыми оценками по шкале освещенности-затенения
Доп.точки доступа: Заугольнова, Л.Б. Быховец, С.С. Баринов, О.Г. Баринова, М.А.
Найти похожие
|
|