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

Главная

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

Описание

Шлюз Z39.50

Базы данных

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

Вид поиска

БД "Книги"

БД "Статьи"

Труды АМГУ

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

Антитеррор

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

в найденном

Найдено в других БД:

БД "Книги" (5)

Труды АМГУ (1)

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

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

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

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

1-20 21-40 41-60 61-80 81-100 101-120

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

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

Содержание:
Фортов, В. Е. Создание и применение системы высокопроизводительных вычислений на базе высокоскоростных сетевых технологий / В.Е. Фортов, Г.И. Савин, В.К. Левин, Забродин А.В. - С.3-11
Другие авторы: Савин Г.И., Левин В.К., Забродин А.В.
Кл.слова: сетевые технологии, вычисления
Перекатов, В. И. Компьютерные дисциплины в представлении профессиональных обществ США: вехи академической легенды / В.И. Перекатов. - С.11-29
Кл.слова: компьютерные дисциплины, история информатики
Яицков, А. С. Организация поиска различающей последовательности при формальной верификации логических устройств / А.С. Яицков. - С.29-37
Кл.слова: логические устройства, верификация, поиск различающей последовательности
Бердышев, В. И. Информативность геофизического поля, наилучшая траектория, аппроксимация поля / В.И. Бердышев. - С.37-48
Кл.слова: поле геофизическое
Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

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

Шифр: prog/2003/6
Журнал

Программирование [Текст] : журнал Российской академии наук. - ISSN 0132-3474. - Выходит раз в два месяца
2003г. N 6

Содержание:
Петренко, А. К. Верификация, валидация и тестирование программного обеспечения. Тематический выпуск журнала "Программирование" / А.К. Петренко. - С.4 - 6
Кл.слова: Верификация, Валидация, Программирование
Липаев, В. В. Методология верификации и тестирования крупномасштабных программных средств / В.В. Липаев. - С.7 - 24
Кл.слова: Верификация, Тестирование, Программирование
Подход UniTesK к разработке тестов. - С.25 - 43
Другие авторы: , , Кулямин В.В., Петренко А.К., Косачев А.С., Бурдонов И.Б.
Кл.слова: Верификация, Тестирование, Валидация
Ольхович, Л. Б. Метод автоматической валидации UML-спецификаций на основе языка OCL / Л.Б. Ольхович, Д.Н. Кознов. - С.44-50
Кл.слова: Валидация, Программирование, Язык визуальный
Замулин, А. В. Алгебраическая семантика императивного языка программирования / А.В. Замулин. - С.51 - 64
Кл.слова: Программирование, Язык императивный, Семантика алгебраическая
Непомнящий, В. А. На пути к верификации С программ. Аксиоматическая семантика языка C-Kernel / В.А. Непомнящий, И.С. Ануреев, А.В. Промский. - С.65 -80
Кл.слова: Верификация, Язык программирования, Программирование
Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

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

Шифр: inft/2004/3
Журнал

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

Содержание:
Барков, И. А. Автоматический синтез структурного описания конструкции / И.А. Барков
Кл.слова: Компьютеры, Проектирование, Система семантических описаний
Бибило, П. Н. Проектирование конечных автоматов в САПР WebPack ISE фирмы Xilinx / П.Н. Бибило. - С.8 - 14
Кл.слова: Компьютеры, Проектирование, Автоматы Мили
Савинков, А. Ю. Синхронизация и верификация в имитационном моделировании / А.Ю. Савинков. - С.14 - 20
Кл.слова: Компьютеры, Моделирование, Синхронизация
Загидуллин, Р. Р. Имитационная модель формирования расписаний в ГПС / Р.Р. Загидуллин. - С.20 - 24
Кл.слова: Компьютеры, Модель имитационная, Сети Петри
Букатов, А. А. Методы реализации трансформационной машины многоцелевой системы трансформаций программ / А.А. Букатов, В.В. Коваль. - С.24 - 30
Кл.слова: Компьютеры, Программы трансформационные, Метод Ершова
Беляев, В. К. Абстрактный пользовательский интерфейс в Java Platform, Micro Edition: определение, задачи, принципы работы / В.К. Беляев, С.В. Забелин. - С.30 - 39
Кл.слова: Компьютеры, программирование, Интерфейс
Миронов, А. С. Представление и обработка знаний в одном семействе интеллектуальных информационных систем / А.С. Миронов. - С.39 - 45
Кл.слова: Компьютеры, Системы информационные, Обработка знаний
Мамедова, М. Г. Применение нечеткой логики в демографическом прогнозе / М.Г. Мамедова, З.Г. Джабраилова. - С.45 - 53
Кл.слова: Компьютер, Технологии информационные, Системы социально-экономические
Система мониторинга и анализа социально-экономического положения региона / С.Д. Коровкин, И.Д. Ратманова, Л.В. Щавелев, Левенец И.А., Козырев М.А. - С.53 - 60
Кл.слова: Компьютеры, Технологии информационные, Мониторинг
Статистический и нейросетевой методы идентификации и прогнозирования в медицине / Лифшиц В.Б., Булдакова Т.И., Суятинов С.И., Колентьев С.В. . - С.60 - 64
Кл.слова: Компьютер, Технологии информационные, Медицина
Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

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

Шифр: vamg/2004/25
Журнал

Вестник Амурского государственного университета [Текст] : научный журнал. - ISSN 2073-0284. - Выходит ежеквартально
2004г. Вып. 25: Сер. Естественные и экономические науки

Содержание:
Федорищев, Б. Г. О многочлене, принимающем по mod 2n значения 0, 1, -1 / Б.Г. Федорищев, П.П. Алутин. - С.3
Павлюк, А.П. Реализация базиса Гельфанда-Цейтлина в пространстве полимонов / А.П. Павлюк, Д.С. Истомин. - С.4-5
Сельвинский, В. В. Движение твердого тела с одной точкой контакта / В.В. Сельвинский. - С.5-7
Ижендеев, А. В. О расчетных поперечных сечениях тонкостенного стержня открытого профиля / А.В. Ижендеев. - С.7-10
Еремин, И. Е. Классическая модель упругой ионной поляризации двухатомного кристалла / И.Е. Еремин, Н.С. Костюков, Е.А. Коваленко. - С.11-12
Гопиенко, О. В. Влияние электронного облучения на структуру кристаллов CR: Mg2 SiO4 / О.В. Гопиенко, Е.А. Ванина, Е.С. Астапова, Грохольский А.В., Калашников А.С. - С.12-14
Другие авторы: Ванина Е.А., Астапова Е.С., Грохольский А.В., Калашников А.С.
Лукевич, А. А. Основные принципы и отличия релаксационной и резонансной поляризации / А.А. Лукевич, Н.С. Костюков. - С.15-16
Петраченко, Ю. А. Математическое моделирование пайки прозрачной керамики с металлом / Ю.А. петраченко, Д.Л. Харичева. - С.17-18
Добросельский, К. Г. Распределение концентрации временных газовых примесей, распространяющихся от сосредоточенного источника в воздухе / К.Г. Добросельский, Р.Р. Исхаков. - С.18-20
Еремина, В. В. Математическая модели процессов упругой ионной поляризации воды / В. В. Еремина, Н. С. Костюков, С. Ю. Тюрина ; В.В. Еремине, Н.С. Костюков, С.Ю. Тюрина. - С.20-22
Верхотуров, А. Д. Исследование порошка, полученного электроэрозионным диспергированием твердого сплава ВК8 в воде / А.Д. Верхотуров, Т.Б. Ершова, М.И. Дворник. - С.22-24
Лукевич, А. А. Определение собственной частоты колебаний релаксатора при релаксационной поляризации / А.А. Лукевич, Г.Б. Щекина. - С.25-27
Волков, С. П. Методы косвенной оценки прочностных характеристик костных тканей как сложной пространственной характеристик костных тканей как сложной пространственной конструкции нерегулярной формы / С.П. Волков, Н.А. Корякина. - С.27-28
Шумейко, Е. В. Упорядоченность в соединениях системы KaAlSi3O8 - NaAlSi3O8 - CaAl2Si2O8 / Е.В. Шумейко, Е.С. Астапова, Е.В. Стриха, Александров И.В. - С.28-30
Другие авторы: Астапова Е.С., Стриха Е.В., Александров И.В.
Бушманов, А. В. Анализ взаимодействия тяги мышц и гравитационных сил в области тазового кольца человека / А.В. Бушманов, М.А. Серов. - С.31-33
Плутенко, А. Д. Результаты апробации комплекса инструментальных средств анализа моделей доступа к распределенным базам данных / А.Д. Плутенко. - С.34-38
Еремин, Е. Л. Разработка алгоритмического обеспечения адаптивных систем автоматического управления циклического действия / Е.Л. Еремин, М.С. Капитонова, Л.В. Чепак. - С.39-41
Решетнева, Т. Г. Гис и Интернет: современные тенденции развития геоинфармационных технологий / Т.Г. Решетнева. - С.41-45
Бушманова, Ю. А. Повешение быстродействия алгоритмов адаптивной системы управление в схеме с расширенной ошибкой и явно-неявным эталоном / Ю.А. Бушманова, Е.Л. Еремин, Л.В. Чепак. - С.45-48
Еремин, Е. Л. Асинхронный электропривод в системах автоматического управления / Е.Л. Еремин, А.Н. Рыбалев, Д.А. Теличенко. - С.49-53
Шурыгин, С. Н. Исследование систем автоматического управления с функциональной обработкой связью методо математического моделирования в среде MATLAB / С.Н. Шурыгин, А.Е. Серов. - С.53-57
Симутина, Н. Л. Мониторинг социально-экономической трансформации региона / Н.Л. Симутина. - С.58-60
Бердоносов, В. Д. Синергетические аспекты демографической политики / В.Д. Бердоносов, В.В. Свидерская. - С.60-62
Псенков, В. А. Безработица и ее социально-экономические последствия / В.А. Псенков, А.Г. Закаблук. - С.62-68
Брызгина, О. Г. Оценка тенденций изменения макроэкономических пропорций Амурской области / О.Г. Брызгина. - С.68-71
Козлова, Т. А. Экономико-географические проблемы развития ТЭК Амурской области / Т.А. Козлова. - С.71-73
Григорьева, Д. В. Анализ доходной части бюджета Амурской области / Д.В. Григорьева. - С.73-75
Малышев, Б. С. 12-летие реформы жилищно-коммунального хозяйства / Б.С. Малышев, Е.А. Поликутина. - С.75-76
Долгушева, А. В. Привлечение и использование иностранной рабочей силы на рынке труда Амурской области / А.В. Долгушева, О.А. Цепелев. - С.76-79
Новопашина, Е. С. Рынок нефтепродуктов в Амурской области, его регулирование контроль / Е.С. Новопашина, В.А. Тимошенко. - С.79-80
Киргизова, О. А. Влияние косвенного налогообложения на ценообразование: теория и практика / О.А. Киргизова. - С.81-82
Ижендеев, А. В. Проблема определения стоимости реализованных товаров в организациях розничной торговли при исчислении налога на прибыль организаций / А.В. Ижендеев. - С.82-84
Рыбакова, Л. В. Программа обучения творческому подходу к управлению в условиях современного российского менеджмента / Л.В. Рыбакова. - С.84-88
Самокрутова, О. Г. Мотивы покупок и стратегии поведения потребителей верхней одежды / О.Г. Самокрутова, Е.С. Новопашина, О.С. Иванцова. - С.89-92
Казнадий, В. И. Возможность использования пластиковых карточек в качестве оплаты за товары и услуги в Благовещенске / В.И. Казнадий, О.Б. Еремина, И.С. Гузеева. - С.93-94
Радомская, В. И. Особенности аккумуляции благородных металлов растительностью верхнего Приамурья / В.И. Радомская, С.М. Радомский. - С.94-98
Куимова, Н. Г. Дезактивация "горячих частиц" микроскопическими грибами / Н.Г. Куимова, М.А. Охлопкова, Е.Б. Пивченко, Макеева Т.Б., Ванина Е.А. - С.98-101
Другие авторы: Охлопкова М.А., Пивченко Е.Б., Макеева Т.Б., Ванина Е.А.
Каплунов, А. С. Индекс человеческого развития в межригиональном анализе / А.С. Каплунов, Е.С. Аксененко. - С.102-104
Винокурова, А. В. Методы оптимизации контрольной системы предприятия / А.В. Винокурова. - С.104-105
Москаленко, А. А. Современное состояние государственного долга / А.А. Москаленко, Н.В. Насонова. - С.106-107
Москаленко, А. А. Верификация модели САРМ для российского рынка ценных бумаг / А.А. Москаленко. - С.108-109
Дмитриев, Е. Ю. Бюджетные последствия принятия ФЗ "Об общих принципах организации местного самоуправления в Российской Федерации" / Е.Ю. Дмитриев. - С.110-112
Ачкасова, Е. В. Метод оценки стоимости системы мер по управлению риском / Е.В. Ачкасова, Е.М. Боробова, Л.С. Романович. - С.112-114
Каменюк, Е. В. Методы управленческого учета затрат / Е.В. Каменюк. - С.114-115
Бушманова, Ю. А. Адаптивная система управления в схеме с расширенной ошибкой и нелинейным преобразованием / Ю.А. Бушманова. - С.115-117
Зверева, В. В Анализ эффективности вероятных перколяционных моделей электрического пробоя керамических металлов / В.В Зверева, Д.Ю. Саяпина. - С.117-118
Баженов, А. Ю. Оптимизация режимов в энергосистеме с учетом гидроэлектростанций / А.Ю. Баженов. - С.119
Шипиленко, А. С. Технология электропередачи постоянного тока и перспективы ее развития / А.С. Шипиленко. - С.120-122
Сухомесов, М. А. Моделирование генераторов электростанций для расчета несинусоидальных режимов (на примере Зейской ГЭС) / М.А. Сухомесов. - С.123-124
Земляк, А. В. Управление и оптимизация режимов в дифицитных энергосистемах / А.В. Земляк. - С.124-125
Безруков, А. С. Синтез фази-регулятора для системы встряхивания осадительных электродов электрического фильтра / А.С. Безруков. - С.125-128
Козлов, В. А. Концепция развития противоаврийной автоматики на дальним Востоке / В.А. Козлов. - С.129-130
Янов, Е. С. Выбор компенсирующих устройств для северных электрических сетей Амурской энергосистемы / Е.С. Янов. - С.130-132
Литвиненко, А. А. Нечеткое (FUZZY) управление электроприводом / А.А. Литвиненко. - С.133-135
Имеются экземпляры в отделах: всего 5 : аб. (2), н.з. (1), эн.ф. (1), ч.з. (1)
Свободны: аб. (2), н.з. (1), эн.ф. (1), ч.з. (1)

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

Шифр: inft/2004/7
Журнал

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

Содержание:
Мамай, В. И. Протоколы, используемые в IР- телефониии / В.И. Мамай, С.В. Дуднаков, Р.А. Хади, Лазуренко И.П. - С.2-11. - Библиогр. в конце ст.
Другие авторы: Дуднаков С.В., Хади Р.А., Лазуренко И.П.
Кл.слова: IP-телефония, голосовые данные, процесс передачи, сетевая архитектура
Крюков, В. В. Алгоритм баланса нагрузки для обеспечения режима реального времени в распределенной системе сбора и обработки данных / В.В. Крюков, В.С. Майоров, К.И. Шахгельдян. - С.11-17. - Библиогр. в конце ст.
Кл.слова: системы сбора данных, РИВС
Грушин, А. И. Алгоритм быстрого выбора минимальной и максимальной величины / А.И. Грушин. - С.18-22. - Библиогр. в конце ст.
Кл.слова: техника вычислительная, алгоритмы, максимальная величина
Барский, А. Б. Применение SPMD-технологии при построении сетевых баз данных с циркулирующей информацией / А.Б. Барский. - С.23-30. - Библиогр. в конце ст.
Кл.слова: база данных сетевая, преобразование, способы, компьютер, память, активизация
Фоменков, С. А. Автоматизированный информационный поиск физических эффектов / С.А. Фоменков, Д.А. Давыдов, С.Г. Колесников. - С.30-34. - Библиогр. в конце ст.
Кл.слова: информационный поиск, базы данных
Липаев, В. В. Верификация и тестировнаие сложных программных средств / В.В. Липаев. - С.42-47. - Библиогр. в конце ст.
Кл.слова: верификация, программные средства (ПС), тестировнаие программ
Афремов, П. Н. Абстрактный пользовательский интерфейс а Java 2 Platform, Micro Edition: библиотека и ее поддержка / П.Н. Афремов, В.К. Беляев, И.А. Мухин. - С.35-42. - Библиогр. в конце ст.
Кл.слова: интерфейс пользовательский, библиотека АПИ, элементы, интерпретаторы
Поляк, В. Е. Формализованный язык описания нормативных требований (язык регламентов) / В.Е. Поляк, А.И. Безруков, Е.П. Семин. - С.48-54. - Библиогр. в конце ст.
Кл.слова: формальный язык, автоматизация управления, регламенты, язык
Ласкин, Н. А. Программируемый пошаговый метод распределения финансовых ресурсов с автовыравниванием / Н.А. Ласкин, А.В. Приходько, В.В. Сурков. - С.55-62
Кл.слова: ресурсы финансовые, распределение, программирование
Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

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

Шифр: voph/2005/5
Журнал

Вопросы философии [Текст] : Научно-теоретический журнал. - ISSN 0042-8744. - Выходит ежемесячно
2005г. N 5

Содержание:
Плимак, Е. Г. Великий День Победы 9 мая ( О решающей роли СССР в разгроме гитлеровской Германии) / Е.Г. Плимак. - С.3-15
Кл.слова: великая отечественная война, осмысление 60- летия победы
Ойзерман, Т. И. Вспоминая академика Л.Н. Митрохина / Т.И. Ойзерман. - С.16-19
Кл.слова: миторохин л.н., научная деятельность, вклад в философию
Зинченко, В. П. Живое время (и пространство) в течении философско-поэтической мысли / В.П. Зинченко. - С.20-46
Кл.слова: время, как определение бытия, время, философско- поэтические рассуждения
Кармадонов, О. А. Глобализация и символическая власть / О.А. Кармадонов. - С.47-56
Кл.слова: мир глобализирующийся, символические конфликты, глобализация культурная, социо-эпистемологический горизонт, глобализация, институциональный горизонт
Соколов, А. В. Формула интеллигентности / А.В. Соколов. - С.57-67
Кл.слова: интеллигенция русская, дискуссионные вопросы, русская интеллигенция, ипостаси, интеллигентность, построение формулы, верификация
Петров-, Стромский В. Ф. Эстетика нормы, эстетика идеала, эстетика виртуальности / Стромский В.Ф. Петров-. - С.68-81
Кл.слова: модерн, авангард, эстетика функционализма
Ракитов, А. И. Регулятивный мир: знание и общество, основанное на знаниях / А.И. Ракитов. - С.82-94
Кл.слова: информация, знание, правила, общество, основанное на знаниях, цивилизация и культура
Розин, В. М. Техника и социальность / В.М. Розин. - С.95-106
Кл.слова: техника, понимание, концептуализация, техника, негативные последствия
Никольски, й С. А. Миросознание русского земледельца в отечественной философии и литературе второй половины ХIХ - начала ХХ века : (Философско-литературоведческий анализ) / й С.А. Никольски, В.П. Филимонов. - С.108-131
Кл.слова: сознание народное, переходное состояние, размышления писателей , литературных критиков, земледелец русский, образ в отечественной литературе
Науменко, Л. К. Эвальд Ильенков и мировая философия / Л.К. Науменко. - С.132-144
Кл.слова: ильенков э., философское творчество, оценка
Шишков, А. М. Фома Брадвардин, богослов и ученый первой половины ХIV в. / А.М. Шишков. - С.145-148
Кл.слова: брадвардин ф., английский философ, математик, теолог, богословские труды
Брадвардин, Ф. О континууме / Ф. Брадвардин. - С.149-159
Кл.слова: континуум, определение, предположения, заключения
Тиллих, П. Вечное сейчас ( три проповеди из книги ) / П. Тиллих. - С.161-174
Кл.слова: одиночество и уединение, проповедь, забывать и быть забытым, проповедь, вечное сейчас, проповедь
Шупер, В. А. Единство цивилизации или единственный путь развития? / В.А. Шупер. - С.175-179
Кл.слова: общество постиндустриальное, дискуссия, конструктивная критика
Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

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

Шифр: sapr/2005/7
Журнал

САПР и графика [Текст]. - ISSN 1560-4640. - Выходит ежемесячно
2005г. N 8

Содержание:
Эмброзис, Ли. Настройка пользовательского интерфейса в AutoCad 2006 / Ли Эмброзис. - С.1-3
Нискороднов, В. CieIIe- решение для модернизации производства / В. Нискороднов, А. Савушкин. - С.8-13
Зыков, О. Аппаратная сторона САПР. Аскон работает с производителями аппаратного обеспечения / О. Зыков. - С.18-21
Тевезовчкий, Л. Инженерный справочник+ Autodesk Inventor= новые возможности / Л. Тевезовчкий. - С.26-27
Ильичев, Н. Компьютерное проектирование воздушных линий и гибких ошиновок ОРУ / Н. Ильичев, И. Орельянова. - С.32-35
Друмов, А. Технологическая подготовка штампового производства с использованием SolidWorks / А. Друмов, С. Кузнецов, М. Малов. - С.36-39
Поршнев, М. 1С-PDM- первая система для конструктора на платформе "1С: Предприятие 8.0" / М. Поршнев. - С.58-59
Емельяненко, В. Система начинается с архива / В. Емельяненко, В. Кошелев, Л. Стмхес. - С.68-71
Кл.слова: автоматизация учета
Ковалев, А. Тест-драйв T-FLEX Технологии, или Мнение независимого пользователя / А. Ковалев. - С.78-82
Власов, С. Е. Верификация вычислительных алгоритмов системы l-DEAS NX компании UGS PLM Solutions для проведения инженерных расчетов и анализа объектов атомной энергетики / С.Е. Власов, С.А. Пименов, С.А. Перенков. - С.83-86
Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

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

Шифр: meko/2005/4
Журнал

Вестник Московского университета. Сер. 6, Экономика [Текст]. - ISSN 0201-73850130-0105. - Выходит раз в два месяца
2005г. N 4

Содержание:
Пороховский, А. А. Формирование российской модели социальной рыночной экономики / А.А. Пороховский, К.А. Хубиев. - С.3-21
Кл.слова: РЫНОЧНАЯ ЭКОНОМИКА, МОДЕЛИ, СОЦИАЛЬНАЯ ЭКОНОМИКА, КОНТУРЫ, СМЕШАННАЯ ЭКОНОМИКА, СОЦИАЛЬНАЯ СТРУКТУРА
Шаститко, А. Е. Корпоративное управление и перераспределение прав контроля в России / А.Е. Шаститко. - С.22-44
Кл.слова: РЫНОК КОРПОРАТИВНОГО КОНТРОЛЯ
Сорокин, А. В. Верификация ценовых эффектов / А.В. Сорокин. - С.45-67
Кл.слова: ПОТРЕБИТЕЛЬСКАЯ СТОИМОСТЬ
Астапов, К. Л. Особенности развития экономических систем в современных условиях / К.Л. Астапов. - С.68-85
Кл.слова: бизнес-процессы
Ибагимова, Р. С. Концепция развития предприятия в условиях интернационализации экономических процессов / Р.С. Ибагимова. - С.86-106
Кл.слова: ТОВАРООБОРОТ, КРУПНЕЙШИЕ КОРПОРАЦИИ МИРА
Чернов, А. С. Переселенчество как миграционная политика государства / А.С. Чернов. - С.107-200
Кл.слова: ПЕРЕСЕЛЕНЧЕСКАЯ ПОЛИТИКА, МИГРАЦИОННЫЕ ПОТОКИ В РОССИИ
Имеются экземпляры в отделах: всего 1 : эк. (1)
Свободны: эк. (1)

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

Шифр: prog/2007/1
Журнал

Программирование [Текст] : журнал Российской академии наук. - ISSN 0132-3474. - Выходит раз в два месяца
2007г. N 1 . - Указатель статей за 2006 г.

Содержание:
Бабичев, А. В. Язык спецификации взаимодействующих процессов Model-100 / А.В. Бабичев, В.Г. Лебедев. - С.5-21. - Библиогр. в конце ст.
Кл.слова: Язык Model-100, архитектура, макрогенерация, управление порядком вычисления
Лисица, А. П. Верификация как параметризованное тестирование : (эксперименты с суперкомпилятором SCP4) / А.П. Лисица, А.П. Немытых. - С.22-34
Кл.слова: верификация, тестирование программы, интерпретатор игры moesl
Терехов, А. Н. Реализация стыка между msc- b sdl- диаграммами в технологии real / А.Н. Терехов, В.В. Соколов. - С.35-50. - Библиогр. в конце ст.
Кл.слова: верификация, новый способ, тестирование программ
Клепинин, А. В. Об универсальной модели организации доступа к базам данных / А.В. Клепинин. - С.51-64. - Библиогр. в конце ст.
Кл.слова: система управления базами данных, программный продукт
Кузнецов, М. Б. Трансформация UML- моделей и ее использование в технологии MDA / М.Б. Кузнецов. - С.65-78
Кл.слова: технология MDA, трансформация моделей, язык описания, моделирования UML
Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие
Перейти к описаниям статей

10.

Вельдер, С. Э.
О верификации простых автоматных программ на основе метода Model Checking [Текст] / С. Э. Вельдер, А. А. Шалыто // Информационно-управляющие системы. - 2007. - N 3. - С. . 27-38. - Библиогр.: с. 38. - Ил.: 10 рис.

УДК

^a621.398

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

Доп.точки доступа:
Шалыто, А. А. (д-р техн. наук)

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

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

11.

Михеев, О. В.
Алгоритм оперативной верификации опасного эпидемического заболевания вероятностным методом и его реализация [Текст] / О. В. Михеев, А. С. Самохина ; ст. представлена к публ. В. Н. Новосельцевым // Проблемы управления. - 2007. - N 4 . - С. 70-73. - Библиогр.: с. 73 (8 назв.) . - 0; Обобщенный алгоритм оперативной верификации опасных эпидемических заболеваний. - 0; Входные данные системы поддержки принятия решений для верификации опасных эпидемических заболеваний. - 0; Выходные данные системы поддержки принятия решений для верификации опасных эпидемических заболеваний. - Ил.: 2 табл.

УДК

^A519.8

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

Доп.точки доступа:
Самохина, А. С.; Новосельцев, В. Н. (член редколлегии) \.\

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

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

12.

Кулямин, В. В.
Стандартизация и тестирование реализаций математических функций, работающих с числами с плавающей точкой [Текст] / В. В. Кулямин // Программирование. - 2007. - N 3. - С. . 44-72. - Библиогр.: с. 70-72 (59 назв. )

УДК

^a004.4

^a004.3

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

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

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

13.

Рыбина, Г. В.
Методы и алгоритмы верификации баз знаний в интегрированных экспертных системах [Текст] / Г. В. Рыбина, В. В. Смирнов // Известия РАН. Теория и системы управления. - 2007. - N 4. - С. 91-102. - Библиогр.: c. 101-102 (44 назв. )

УДК

^a519.8

^a004.827

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

Доп.точки доступа:
Смирнов, В.В.

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

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

14.

Тюгашев, А. А. (канд. техн. наук).
Автоматизация спецификации, верификации и синтеза управляющих программ реального времени с применением логического и алгебраического подходов [Текст] / А. А. Тюгашев // Мехатроника, автоматизация, управление. - 2007. - N 7. - С. . 46-50. - Библиогр.: с. 50 (9 назв. ). - 0; Логический подход к спецификации, верификации и синтезу программ. - 0; Алгебраический подход (алгебры процессов). - 0; Синтез логического и алгебраического подходов при проектировании алгоритмов управления КА

УДК

^a621.398

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

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

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

15.

Александрова, Н. А. (канд. техн. наук., доц.).
Верификация экспертной информации при построении систем оперативного управления и диагностики технологических процессов [Текст] / Н. А. Александрова [и др. ] // Мехатроника, автоматизация, управление. - 2007. - N 7. - С. . 55

УДК

^a621.398

^a66

ББК 32.96 + 35
Рубрики: Радиоэлектроника--Автоматика и телемеханика
Химическая технология--Общие вопросы химической технологии
Кл.слова (ненормированные):
пероксид водорода -- экспертная информация -- технологические процессы -- диагностика технологических процессов -- управление технологическими процессами
Аннотация: Анонс статьи, опубликованной в Приложении к журналу.

Доп.точки доступа:
Куркина, В. В. (канд. техн. наук., доц.); Рудакова, И. В. (канд. техн. наук., доц.); Русинов, Л. А. (канд. техн. наук., проф.)

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

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

16.

Гусев, В. Б.
Отладка непрерывных многопараметрических шкал [Текст] / В. Б. Гусев ; ст. представлена к публ. Г. Г. Малинецким // Проблемы управления. - 2008. - N 1. - С. 36-42 : 2 рис. - Библиогр.: с. 42 (8 назв.) . - ISSN 1819-3161

УДК

^A33:518/519

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

Доп.точки доступа:
Малинецкий, Г. Г. (член редколлегии) \.\

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

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

17.

Фактические преимущества модели ветрового волнения с оптимизированной функцией источника [Текст] / В. Г. Полников [и др. ] // Доклады Академии наук. - 2007. - Т. 417, N 3, ноябрь. - С. 398-402 : 3 рис., 2 табл. - Библиогр.: с. 402

УДК

^a551.46/.48

ББК 26.22
Рубрики: Геофизика
Гидрология
Кл.слова (ненормированные):
ветровые волны -- ветровое волнение -- ветровые волны WAM -- верификация модели -- модели ветровых волн -- двумерный спектр волн -- волнообразование
Аннотация: Путем модификации модели ветровых волн WAM (Cycle-4) выполнена серия численных экспериментов по верификации новой функции источника, предложенной ранее.

Доп.точки доступа:
Полников, В. Г.; Дымов, В. И.; Пасечник, Т. А.; Лавренов, И. В.; Абузяров, Ю. Н.

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

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

18.

Болдырев, А. В.
Модель окисления B[4]C паром при высоких температурах [Текст] / Болдырев А. В., Вещунов М. С., Шестак В. Е. // Известия Российской академии наук. Энергетика. - 2007. - N 6. - С. 29-46 : Ил.: 8 табл. - Библиогр.: с. 46 (6 назв. ). - 0; Физическая модель окисления B[4]C паром. - 0; Реализация модели окисления B[4]C. - 0; Верификация модели окисления B[4]C по результатам стендовых экспериментов BOX

УДК

^a541.1

ББК 24.5
Рубрики: Химия
Физическая химия. Химическая физика
Кл.слова (ненормированные):
окисление -- модели окисления -- карбиды бора -- водяной пар -- газообразные продукты -- массоперенос -- газообразные вещества -- газовые диффузии -- газовые смеси -- газовые фазы
Аннотация: На основе анализа экспериментальных данных по окислению карбидов бора водяным паром при температурах до 1600{. }C разработана физическая модель, учитывающая возможные химические реакции в системе и многообразие газообразных продуктов этих реакций. Модель описывает кинетику окисления самосогласованно с процессами массопереноса продуктов по газовой фазе.

Доп.точки доступа:
Вещунов, М. С.; Шестак, В. Е.

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

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

19.

Чуданов, В. В.
Методы прямого численного моделирования турбулентности в задачах теплогидравлики ТВС [Текст] / Чуданов В. В., Аксенова А. Е., Первичко В. А. // Известия Российской академии наук. Энергетика. - 2007. - N 6. - С. 47-57 : Ил. - Библиогр.: с. 57 (19 назв. ). - 0; CFD вычислительная методика. - 0; Валидационный аспект

УДК

^a532/533

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

Доп.точки доступа:
Аксенова, А. Е.; Первичко, В. А.

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

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

20.

Лисица, А. П.
Верификация как параметризированное тестирование (эксперименты с суперкомпилятором SCP4 [Текст] / А. П. Лисица, А. П. Немытых // Программирование. - 2007. - N 1. - С. 22-34. - Библиогр.: с. 33-34 (15 назв. )

УДК

^a681.3:62-52

ББК 30.6-5-05
Рубрики: Техника
Кл.слова (ненормированные):
SCP4
Аннотация: Описываются эксперименты по автоматической верификации некоторых cache coherence протоколов посредством суперкомпилятора SCP4 (оптимизатора программ, написанных на функциональном языке РЕФАЛ-5) .

Доп.точки доступа:
Немытых, А. П.

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

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

1-20 21-40 41-60 61-80 81-100 101-120

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

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

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