Поисковый запрос: (<.>K=верификация<.>) |
Общее количество найденных документов : 19
Показаны документы с 1 по 19 |
1. 
|
Вид документа : Статья из журнала
Шифр издания : 681.3(075.8)
Заглавие : Верификация цифровых систем на базе программируемых логических интегральных схем, выполняющих функции безопасности в критических приложениях[Текст]
Место публикации : Успехи современной радиоэлектроники. - 2005. - N10. - С. .59-76.-Библиогр.: 30назв.
УДК : 681.3(075.8)
Ключевые слова (''Своб.индексиров.''): плис(применение)--верификация топологии ис(система от_то)--информационно-управляющие системы
Экземпляры :ЧЗ N2(1)
Свободны : ЧЗ N2(1)
Найти похожие
|
2.
|
Вид документа : Статья из журнала
Шифр издания : 621.38
Заглавие : Физическая верификация СБИС : новый век - новые проблемы
Место публикации : СHIP NEWS. - 1999. - N9. - С. 36-37. - (Технологии)
УДК : 621.38
Ключевые слова (''Своб.индексиров.''): программные средства(проектирование)--верификация физическая(нанометровых проектов)--верификация физическая(сбис)
Экземпляры :чзN2(1)
Свободны : чзN2(1)
Найти похожие
|
3.
|
Вид документа : Статья из журнала
Шифр издания : 004.2
Заглавие : Тестирование, верификация и валидация программ
: Тем.вып.
Место публикации : Программирование. - 2008. - N 6
УДК : 004.2
Ключевые слова (''Своб.индексиров.''): тестовые программы(разработка)--верификация топологии ис(система от_то)
Экземпляры :чзN2(1)
Свободны : чзN2(1)
Найти похожие
|
4.
|
Вид документа : Статья из журнала
Шифр издания : 004.056
Автор(ы) : Сидельникова Е.В.
Заглавие : Верификация политик фильтрации с помощью исчисления событий и абдуктивного выхода
Место публикации : Известия вузов. Приборостроение. - 2008. - Т.5. - С. 11.-С.31-35.-Библиогр.:7 назв.
УДК : 004.056
Ключевые слова (''Своб.индексиров.''): сетевой фильтр--защита информации(в узлах коммутации)
Экземпляры :нчз(1)
Свободны : нчз(1)
Найти похожие
|
5.
|
Вид документа : Статья из журнала
Шифр издания : 621.181
Автор(ы) : Ветошкин В.А., Попов А.Б.
Заглавие : Верификация компьютерных программ расчета прочности трубопроводных систем
Место публикации : Теплоэнергетика. - 2002. - N4. - С. 7-14
УДК : 621.181
Ключевые слова (''Своб.индексиров.''): трубопроводные системы(расчет прочности)
Экземпляры :НЧЗ(1)
Свободны : НЧЗ(1)
Найти похожие
|
6.
|
Вид документа : Статья из журнала
Шифр издания : 556.556.2
Автор(ы) : Поддубный С.А., Бычкова М.Б.
Заглавие : О методе выделения областей влияния ветрового волнения и течений в прибрежной зоне водохранилищ
Место публикации : Водные ресурсы. - 1998. - Т.2. - С. 6.-С.730-737.-Библиогр.:9 назв. - (Водные объекты и окружающая среда)
УДК : 556.556.2
Ключевые слова (''Своб.индексиров.''): водохранилища(прибрежная зона)--прибрежная зона водохранилищ(влияние течений)
Аннотация: Предлагается метод выделения областей преобладающего влияния на дно ветрового волнения, ветровых и стоковых течений в пределах мелководной зоны внутренних водоемов. Верификация метода осуществлена по данным натурных наблюдений за параметрами ветрового волнения и течений на Рыбинском и Иваньковском водохранилищах. Показаны возможности применения метода для районирования мелководной зоны водохранилищ разного типа по гидродинамическим факторам.
Экземпляры :НЧЗ(1)
Свободны : НЧЗ(1)
Найти похожие
|
7.
|
Вид документа : Статья из журнала
Шифр издания : 630.18:581.5
Автор(ы) : Заугольнова Л.Б., Быховец С.С., Баринов О.Г., Баринова М.А.
Заглавие : Верификация балловых оценок местообитания по некоторым параметрам среды
Место публикации : Лесоведение. - 1998. - N5. - С. 48-58.-Библиогр.:29 назв.
УДК : 630.18:581.5
Ключевые слова (''Своб.индексиров.''): экологические шкалы(балловые)--диагностика местообитаний--верификация балловых оценок местообитаний
Аннотация: Проведена верификация экологических балловых оценок местообитаний (по шкалам Цыганова) путем сопоставления их с некоторыми параметрами среды. Установлена положительная и достоверная корреляция между влажностью почвы, глубиной залегания грунтовых вод и оценками по шкале увлажнения, между рН верхнего горизонта почвы и балловыми оценками по шкале кислотности, а также достоверная корреляция между освещенностью и балловыми оценками по шкале освещенности-затенения
Экземпляры :НЧЗ(1)
Свободны : НЧЗ(1)
Найти похожие
|
8.
|
Вид документа : Статья из журнала
Шифр издания : 631.459
Автор(ы) : Глазунов Г.П., Гендугов В.М.
Заглавие : Модель крупномасштабного явления ветровой эрозии почв и ее верификация
Место публикации : Почвоведение. - 2003. - N2. - С. 288-239.-Библиогр.:31 назв.
УДК : 631.459
Ключевые слова (''Своб.индексиров.''): ветровая эрозия почв(модель)--математическая модель ветровой эрозии почв
Экземпляры :НЧЗ(1)
Свободны : НЧЗ(1)
Найти похожие
|
9.
|
Вид документа : Статья из журнала
Шифр издания : 631.459.2
Автор(ы) : Неринг М.А., Булыгин С.Ю., Котова М.М.
Заглавие : Первичная верификация и адаптация модели WEPP для условий Украины : проблемы, пути решения, перспективы
Место публикации : Почвоведение. - 1998. - N1. - С. 96-99.-Библиогр.:16 назв.
УДК : 631.459.2
Географич. рубрики: Украина
Ключевые слова (''Своб.индексиров.''): эрозия почв--почвы(эрозия, водная)
Экземпляры :НЧЗ(1)
Свободны : НЧЗ(1)
Найти похожие
|
10.
|
Вид документа : Статья из журнала
Шифр издания : 004.056
Автор(ы) : Полубелова О.В.
Заглавие : Верификация правил фильтрации политики безопасности методом проверки н модели
Место публикации : Известия вузов. Приборостроение. - 2008. - Т.5. - С. 12.-С.44-49.-Библиогр.:13 назв.
УДК : 004.056
Ключевые слова (''Своб.индексиров.''): верификация фильтрации--фильтрация сигналов(цифровая)--моделирование цифровое(применение)--безопасность информации(теория)
Аннотация: Метод проверки на модели
Экземпляры :нчз(1)
Свободны : нчз(1)
Найти похожие
|
11.
|
Вид документа : Статья из журнала
Шифр издания : 556.5/Р 27
Автор(ы) : Рахуба, Александр Владимирович (кандидат технических наук),
Заглавие : Имитационное моделирование роста биомассы фитопланктона в Куйбышевском водохранилище
/ А. В. Рахуба
Колич.характеристики :
Коллективы :
Институт экологии Волжского бассейна РАН
Серия: Водные ресурсы, водные проблемы
Место публикации : Водное хозяйство России: проблемы, технологии, управление. - № 1
Примечания : Библиогр.: с. 86-87 (22 назв.). - Реф. на англ. яз.
УДК : 556.5 + 58
ББК : 26.222 + 28.5
Предметные рубрики: Геофизика
Гидрология суши
Биология
Ботаника в целом
Ключевые слова (''Своб.индексиров.''): качество воды--биогенные элементы--планктонные популяции--эбиотические факторы--эвтрофирование--экосистемы--верификация модели--математические модели--фитопланктон--биомассы водорослей--имитационное моделирование--мониторинг--водные объекты--водохранилища
Аннотация: Исходя из известных представлений о развитии планктонных популяций, разработана одномерная численная модель временной изменчивости вертикального распределения биомассы фитопланктона в приплотинном плесе Куйбышевского водохранилища.
Найти похожие
|
12.
|
Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Бельгибаев, Руслан Рашидович (аспирант)
Заглавие : Влияние радио блэкаута на частотную емкость линии декаметровой связи
Серия: Телекоммуникации и радиотехника
Разночтения заглавия :: Influence of radio blackout on frequency capacity of a decameter communication line
Место публикации : Вестник Поволжского государственного технологического университета. Сер.: Радиотехнические и инфокоммуникационные системы. - 2014. - № 4 (23). - С. 23-34: 7 рис., 2 табл.
Примечания : Библиогр.: с. 31-32 (20 назв.). - Реф. на англ. яз.
Предметные рубрики: Радиоэлектроника
Линии электрической связи
Астрономия
Солнце
Геофизика
Электричество и магнетизм Земли
Географич. рубрики:
Ключевые слова (''Своб.индексиров.''): d-слои--вч-связь--аппаратные затраты--внезапные ионосферные возмущения--высокочастотная связь--декаметровая связь--импульсные характеристики--информационно-технические характеристики--ионосферные бури--короткие волны--линейная частотная модуляция--многомерные ионосферные радиоканалы--наименьшие применимые частоты--непрерывные сигналы--пассивное панорамное зондирование--поглощение радиоволн--радио блэкауты--радиолинии--релаксация блэкаутов--рентгеновское излучение--солнечные вспышки--частотные емкости--экспериментальная верификация--пгту в печати
Аннотация: Развит метод пассивного зондирования многомерного ионосферного радиоканала непрерывными сигналами с линейной частотной модуляцией, требующей для своей реализации минимума аппаратных затрат и позволяющей оценивать в реальном времени его информационно-технические характеристики. Проведенные исследования показали, что солнечные вспышки приводят к уменьшению частотной емкости многомерного ВЧ-радиоканала. Предложена оценка времени релаксации поглощения радиоволн на высотах D-слоя.
Найти похожие
|
13.
|
Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Леонович, Сергей Николаевич, Шалый, Евгений Евгеньевич, Ким, Лев Владимирович, Шалая, Татьяна Евгеньевна, Джоголюк, Алексей Геннадьевич
Заглавие : Оценка хлоридного разрушения морских гидротехнических сооружений города Холмска
Серия: Материалы
Разночтения заглавия :: Estimation of marine hydrolic structures chloride destruction Kholms
Место публикации : Вестник Поволжского государственного технологического университета. Сер.: Материалы. Конструкции. Технологии. - 2018. - № 2. - С. 7-15: 6 табл.
Примечания : Библиогр.: с. 13 (9 назв.). - Реф. на англ. яз.
Предметные рубрики: Строительство --Россия --Дальний Восток --Холмск
Гидротехническое строительство. Гидротехника --Россия --Дальний Восток --Холмск
Географич. рубрики:
Ключевые слова (''Своб.индексиров.''): коррозия--железобетон--бетон--верификация--хлоридная агрессия--морские торговые порты--морские гидротехнические разрушения--хлоридное разрушение
Аннотация: Проведены исследования хлоридного разрушения морских гидротехнических разрушений морского торгового порта города Холмск.
Найти похожие
|
14.
|
Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Шалый, Евгений Евгеньевич (научный сотрудник), Леонович, Сергей Николаевич, Ким, Лев Владимирович
Заглавие : Долговечность морских сооружений при комбинированной коррозии железобетона
Серия: Конструкции
Разночтения заглавия :: Durability of marine structures at combined corrosion of concrete
Место публикации : Вестник Поволжского государственного технологического университета. Сер.: Материалы. Конструкции. Технологии. - 2018. - № 1. - С. 65-72: 4 рис., 4 табл.
Примечания : Библиогр.: с. 70-71 (10 назв.). - Реф. на англ. яз.
Предметные рубрики: Строительство
Бетонные и железобетонные работы
Гидротехническое строительство. Гидротехника
Географич. рубрики:
Ключевые слова (''Своб.индексиров.''): железобетонные конструкции--карбонизация--хлоридная агрессия--индекс надежности--морские сооружения--ионы хлора--моделирование--долговечность--программное обеспечение--хлорид-ионы--диффузия--железобетон--коррозия
Аннотация: В данном исследовании усовершенствована модель диффузии хлорид-ионов и разработано программное обеспечение для анализа долговечности. Выполнена верификация модели для решения задачи определения концентрации хлора в защитном слое бетона гидротехнических сооружений.
Найти похожие
|
15.
|
Вид документа : Статья из сборника (том многотомника)
Шифр издания : Ч48/И 74
Автор(ы) : Килеев В. В.
Заглавие : Лингвистические компоненты языка в системе верификации орфографии и грамматики, не использующей лингвистические корпуса
Место публикации : Информационные технологии в профессиональной деятельности и научной работе: сборник материалов Всероссийской научно-практической конференции с международным участием : в 2 ч./ М-во образования и науки РФ, ФГБОУ ВПО "Поволж. гос. технол. ун-т" ; [редкол.: В. А. Иванов, И. Г. Сидоркина]. - Йошкар-Ола: ПГТУ, 2013. - Ч. 2. - С. 125-130. - 661346 кнхр
Примечания : Библиогр. в конце ст.
ББК : Ч48
Ключевые слова (''Своб.индексиров.''): труды пгту --верификация орфографии--верификация грамматики языков--лингвистика--компоненты языка--алгоритм стемминга--компьютерные системы верификации
Найти похожие
|
16.
|
Вид документа : Статья из журнала
Шифр издания : 621.039.58
Автор(ы) : Семенов В.К., Степанов В.Ф., Щебнев В.С., Беляков А.А., Дерий В.П., Румянцев Д.С.
Заглавие : Прогнозирование живучести энергетического оборудования стареющих электрических станций
Место публикации : Теплоэнергетика. - 2010. - N8. - С. 35-38. - НЧЗ
Примечания : Библиогр. в конце ст.
УДК : 621.039.58
Ключевые слова (''Своб.индексиров.''): верификация--электростанции--мониторинг объектов--физико-математическая модель
Найти похожие
|
17.
|
Вид документа : Статья из журнала
Шифр издания : 004:69
Автор(ы) : Арефьев И. Б., Сулима А.А.
Заглавие : Комплексная верификация результатов прогнозирования характеристик транспортной системы
Место публикации : Программные продукты и системы. - 2009. - № 3. - С. 94-97
УДК : 004:69
Ключевые слова (''Своб.индексиров.''): верификация--транспортная система
Экземпляры :чз№2(1)
Свободны : чз№2(1)
Найти похожие
|
18.
|
Вид документа : Статья из сборника (том многотомника)
Шифр издания : Ч48/И 74
Автор(ы) : Киселев В.В.
Заглавие : Схема функционирования системы верификации грамматики языков
Место публикации : Информационные технологии в профессиональной деятельности и научной работе: сборник материалов Всероссийской научно-практической конференции с международным участием : в 2 ч./ [редкол.: В. А. Иванов, И. Г. Сидоркина, М. И. Шигаева]. - Йошкар-Ола: МарГТУ, 2012. - Ч. 2. - С. 107-111. - 658925 кнхр
ББК : Ч48
Ключевые слова (''Своб.индексиров.''): труды маргту--лингвистика--грамматика языков--верификация грамматики языков--верификация орфографии--текст
Найти похожие
|
19.
|
Вид документа : Статья из сборника (однотомник)
Шифр издания : Ч 21/В 12
Автор(ы) : Пеганова Е.В., Митракова Н.Н., Рыжков В.Л.
Заглавие : Роль новых уточняющих методик в эндоскопической диагностике предопухолевой и опухолевой патологии пищевода
Место публикации : Инновационные ресурсы и национальная безопасность в эпоху глобальных трансформаций. Пятнадцатые Вавиловские чтения: материалы постоянно действующей Всерос. междисциплинар. науч. конф. с междунар. участием (Йошкар-Ола, 8-9 декабря 2011 г.): в 2 ч./ отв. и науч. ред. В. П. Шалаев . - Йошкар-Ола: МарГТУ, 2012. - Ч. 2. - С. 278-279
ББК : Ч 21
Ключевые слова (''Своб.индексиров.''): вавиловские чтения (15-е)--труды маргту--рак пищевода--эндоскопическая хирургия--эндоскопическая диагностика--верификация заболеваний
Найти похожие
|
|
|
Главная
Описание
Книги
Стандартный