Библиотека Амурского Государственного Университета

Главная

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

Описание

Шлюз Z39.50

Базы данных

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

Вид поиска

БД "Книги"

БД "Статьи"

Труды АМГУ

Выпускные квалификационные работы

Антитеррор

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

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

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

Поисковый запрос: (<.>A=Авдеев, Н. А.$<.>)

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

Шифр: inft/2005/9
Журнал

Информационные технологии [Текст] : Теорет. и прикладной науч.-техн. журн. - ISSN 1684-6400. - Выходит ежемесячно
2005г. N 9

Содержание:
Федоров, И. Б. Киберпреступность и подготовка специалистов по борьбе с ней в России / И.Б. Федоров, М.П. Сычев, Медведев. - С.2-7
Кл.слова: информационная безопасность
Имамвердиев, Я. Н. Новые алгоритмы склярного умножения на эллиптических кривых для противодействия атакам через побочные каналы / Я.Н. Имамвердиев. - С.8-11
Кл.слова: автоматизированное проектирования, системы
Программный комплекс для исследования динамики и проектирования технических систем / О.С. Козлов, Д.Е. Кондаков, Л.М. Скворцов и др. - С.20-25
Авдеев, Н. А. Пакет Языка / Н.А. Авдеев, П.Н. Бибило. - С.26-35
Овчинников, В. А. Эволюционно-генетический подход к синтезу передней части кузова легкового автомобиля / В.А. Овчинников. - С.36-38
Математическое моделирование термомеханических процессов / В.С. Зарубин, Г.Н. Кувыркин, И.В. Станкевич, Ю.М. Темис. - С.39-45
Кл.слова: математические модели
Гизатуллин, З. М. Средства и модели для анализа воздействия электростатического разряда на функционирование цифровых элементов электронных средств / З.М. Гизатуллин, С.Ф. Чермошинцев. - С.46-54
Кл.слова: численные методы
Гетманов, В. Г. Применение технологии обобщенного Фурье-анализа для цифровой обработки структурно-сложных нестационарных колебательных сигнало / В.Г. Гетманов, В.Н. Гридин, Е.Б. Царева. - С.55-60
Норенков, И. П. База и генератор образовательных ресурсов / И.П. Норенков, М.Ю. Уваров. - С.60-65
Кл.слова: информационные технологии, образование, система БиГОР
Интернет-лаборатория "Радиотелескоп МГТУ им. Н.Э. Баумана" / И.Б.Федоров, А.М. Зимин, Б.А. Розанов и др. - С.66-72
Брыль, В. Н. Персонал- Кадры - адаптивная функциональная-развиваемая система информационной поддержки управления кадрами / В.Н. Брыль, Е.С. Кузин. - С.73-78
Кл.слова: система нерсонал-кадры, интеллектуальные системы, управление кадрами
Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

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

Шифр: inft/2006/1
Журнал

Информационные технологии [Текст] : Теорет. и прикладной науч.-техн. журн. - ISSN 1684-6400. - Выходит ежемесячно
2006г. N 1

Содержание:
Камаев, В. А. Моделирование физических принципов действия и формирование множеств технических решений преобразователей энергии / В.А. Камаев, А.А. Яковлев. - С.2-8
Кл.слова: автоматизированное проектирование
Авдеев, Н. А. Реализация VHDL-функций пакета NUMERIC_STD логическими схемами / Н.А. Авдеев, П.Н. Бибило. - С.9-18
Кл.слова: синтез логических схем
Зайченко, Т. Н. Объектная ориентация универсального метода компонентных цепей для решения задач моделирования электротехнических устройств и систем / Т.Н. Зайченко. - С.18-26
Кл.слова: система моделирования МАРС, электромеханические системы
Аграновский, А. В. Запатентованные решения задачи генерации псевдослучайных последовательностей / А.В. Аграновский, А.Ю. Гуфан, Р.А. Хади. - С.26-31
Кл.слова: моделирующие генераторы, криптографические генераторы
Куликов, Г. В. Методика оценивания функциональных возможностей / Г.В. Куликов, А.В. Непомнящих. - С.31-36
Кл.слова: показатели обнаружения
Еременко, Р. С. Математическая модель динамики возникновения и реализация угроз несанкционированного доступа к информации на объектах информатизации / Р.С. Еременко, В.А. Лобов. - С.36-43
Соловьев, Б. А. Базовое программное обеспечение интегрированных распределенных систем безопасности / Б.А. Соловьев. - С.43-49
Кл.слова: информационная среда
Брейман, А. Д. Выбор рациональных алгоритмов поиска по ключу в базе данных, размещаемых в оперативной памяти, на основе анализа их информационной чувствительности / А.Д. Брейман, М.В. Ульянов. - С.50-56
Кл.слова: базы данных
Заботнев, М. С. Методы поиска и агрегации информации в разреженным гиперкубах данных / М.С. Заботнев. - С.57-62
Кл.слова: модель данных
Минаков, И. А. Онлайн анализ пользователей Интернет- портала продажи "горящих" авиабилетов / И.А. Минаков. - С.62-68
Кл.слова: web-технологии
Михеев, Т. И. Построение математических моделей объектов улично-дорожной сети города с использованием геоинформационных технологий / Т.И. Михеев. - С.69-75
Кл.слова: геоинформационные системы
Шайтура, С. В. Геоинформационные системы в сфере образования / С.В. Шайтура. - С.76-79
Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

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

Авдеев, Н. А. (кандидат технических наук).
Расширение возможностей автоматизированного проектирования цифровых систем при использовании стандарта VHDL`2008 [Текст] / Н. А. Авдеев, П. Н. Бибило // Информационные технологии. - 2015. - Т. 21, № 7. - С. 510-520. - Библиогр.: с. 520 (9 назв.) . - ISSN 1684-6400

УДК

^a681.5

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

Доп.точки доступа:
Бибило, П. Н.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

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

Авдеев, Н. А.
Экспериментальное сравнение методов декомпозиции систем булевых функций [Текст] / Н. А. Авдеев, П. Н. Бибило // Известия РАН. Теория и системы управления. - 2016. - № 2. - С. 29-50. - Библиогр.: с. 49-50 (34 назв. ) . - ISSN 0002-3388

УДК

^a519.7

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

Доп.точки доступа:
Бибило, П. Н.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

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

Верификация VHDL - описаний сетей синхронных конечных автоматов [Текст] / Н. А. Авдеев [и др.] // Программная инженерия. - 2018. - Т. 9, № 7. - С. 291-304 : рис. - Библиогр.: с. 299 (22 назв.). - Загл., аннот. и библиогр. парал. рус., англ. - Прил. . - ISSN 2220-3397

УДК

^a004.41/.42

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

Доп.точки доступа:
Авдеев, Н. А. (кандидат технических наук; старший научный сотрудник); Бибило, П. Н. (доктор технических наук; профессор; заведующий лабораторией); Коробкин, В. В (кандидат технических наук; IT-директор); Колоденкова, А. Е. (доктор технических наук)

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

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

Авдеев, Н. А. (кандидат технических наук; старший научный сотрудник).
Автоматизированное проектирование цифровых операционных устройств с пониженным энергопотреблением [Текст] / Н. А. Авдеев, П. Н. Бибило // Программная инженерия. - 2021. - Т. 12, № 2. - С. 63-73 : ил. - Библиогр.: с. 72-73 (16 назв.). - Авт., загл., аннот., кл. сл. и библиогр. парал. рус., англ. . - ISSN 2220-3397

УДК

^a004.41/.42

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

Доп.точки доступа:
Бибило, П. Н. (доктор технических наук; профессор; заведующий лабораторией)

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

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

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

Статистика за 02.09.2024
Число запросов	18408
Число посетителей	1
Число заказов	0

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