> Шифр: inft/2002/1 Журнал 2002г. N 1 Фортов, В. Е. Создание и применение системы высокопроизводительных вычислений на базе высокоскоростных сетевых технологий / В.Е. Фортов, Г.И. Савин, В.К. Левин, Забродин А.В. - С.3-11 Другие авторы: Савин Г.И., Левин В.К., Забродин А.В. Кл.слова: сетевые технологии, вычисления Перекатов, В. И. Компьютерные дисциплины в представлении профессиональных обществ США: вехи академической легенды / В.И. Перекатов. - С.11-29 Кл.слова: компьютерные дисциплины, история информатики Яицков, А. С. Организация поиска различающей последовательности при формальной верификации логических устройств / А.С. Яицков. - С.29-37 Кл.слова: логические устройства, верификация, поиск различающей последовательности Бердышев, В. И. Информативность геофизического поля, наилучшая траектория, аппроксимация поля / В.И. Бердышев. - С.37-48 Кл.слова: поле геофизическое Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
> Шифр: prog/2003/6 Журнал 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 Журнал 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 Журнал 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 Журнал 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 Журнал 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 Журнал 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 Журнал 2005г. N 4 Пороховский, А. А. Формирование российской модели социальной рыночной экономики / А.А. Пороховский, К.А. Хубиев. - С.3-21 Кл.слова: РЫНОЧНАЯ ЭКОНОМИКА, МОДЕЛИ, СОЦИАЛЬНАЯ ЭКОНОМИКА, КОНТУРЫ, СМЕШАННАЯ ЭКОНОМИКА, СОЦИАЛЬНАЯ СТРУКТУРА Шаститко, А. Е. Корпоративное управление и перераспределение прав контроля в России / А.Е. Шаститко. - С.22-44 Кл.слова: РЫНОК КОРПОРАТИВНОГО КОНТРОЛЯ Сорокин, А. В. Верификация ценовых эффектов / А.В. Сорокин. - С.45-67 Кл.слова: ПОТРЕБИТЕЛЬСКАЯ СТОИМОСТЬ Астапов, К. Л. Особенности развития экономических систем в современных условиях / К.Л. Астапов. - С.68-85 Кл.слова: бизнес-процессы Ибагимова, Р. С. Концепция развития предприятия в условиях интернационализации экономических процессов / Р.С. Ибагимова. - С.86-106 Кл.слова: ТОВАРООБОРОТ, КРУПНЕЙШИЕ КОРПОРАЦИИ МИРА Чернов, А. С. Переселенчество как миграционная политика государства / А.С. Чернов. - С.107-200 Кл.слова: ПЕРЕСЕЛЕНЧЕСКАЯ ПОЛИТИКА, МИГРАЦИОННЫЕ ПОТОКИ В РОССИИ Имеются экземпляры в отделах: всего 1 : эк. (1) Свободны: эк. (1) |
> Шифр: prog/2007/1 Журнал 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) |
Вельдер, С. Э. О верификации простых автоматных программ на основе метода Model Checking [Текст] / С. Э. Вельдер, А. А. Шалыто> // Информационно-управляющие системы. - 2007. - N 3. - С. . 27-38. - Библиогр.: с. 38. - Ил.: 10 рис.
Рубрики: Радиоэлектроника--Автоматика и телемеханика Кл.слова (ненормированные): моделирование автоматов -- метод Model Checking -- Model Checking метод -- автоматные программы -- верификация функций Аннотация: Излагается применительно к простым автоматным программам техника верификации, которая базируется на темпоральных логиках и называется Model Checking. Доп.точки доступа: Шалыто, А. А. (д-р техн. наук) Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Михеев, О. В. Алгоритм оперативной верификации опасного эпидемического заболевания вероятностным методом и его реализация [Текст] / О. В. Михеев, А. С. Самохина ; ст. представлена к публ. В. Н. Новосельцевым> // Проблемы управления. - 2007. - N 4 . - С. 70-73. - Библиогр.: с. 73 (8 назв.) . - 0; Обобщенный алгоритм оперативной верификации опасных эпидемических заболеваний. - 0; Входные данные системы поддержки принятия решений для верификации опасных эпидемических заболеваний. - 0; Выходные данные системы поддержки принятия решений для верификации опасных эпидемических заболеваний. - Ил.: 2 табл.
Рубрики: Математика--Исследование операций Кл.слова (ненормированные): заболевания -- эпидемические заболевания -- опасные эпидемические заболевания -- ОЭЗ -- биологические чрезвычайные ситуации -- БЧС -- системы поддержки принятия решений -- СППР -- верификация заболеваний Аннотация: Разработан алгоритм для поддержки системы поддержки в целях оперативной верификации опасного эпидемического заболевания при управлении предотвращением и ликвидацией последствий биотерактов. Доп.точки доступа: Самохина, А. С.; Новосельцев, В. Н. (член редколлегии) \.\ Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Кулямин, В. В. Стандартизация и тестирование реализаций математических функций, работающих с числами с плавающей точкой [Текст] / В. В. Кулямин> // Программирование. - 2007. - N 3. - С. . 44-72. - Библиогр.: с. 70-72 (59 назв. )
Рубрики: Вычислительная техника--Математическое обеспечение (Программирование) Кл.слова (ненормированные): стандартизация математических функций -- тестирование математических функций -- математические функции (программирование) -- тестирование на соответствие стандарту -- программные обеспечения -- ПО -- стандарт IEEE 754 -- тестирование программ Аннотация: В статье рассматриваются проблемы выработки требований и создания тестов для реализаций математических функций, работающих с числами с плавающей точкой в форматах стандартов IEEE 754. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Рыбина, Г. В. Методы и алгоритмы верификации баз знаний в интегрированных экспертных системах [Текст] / Г. В. Рыбина, В. В. Смирнов> // Известия РАН. Теория и системы управления. - 2007. - N 4. - С. 91-102. - Библиогр.: c. 101-102 (44 назв. )
Рубрики: Математика--Исследование операций Кл.слова (ненормированные): базы знаний -- верификация баз знаний -- верификация экспертных систем -- интегрированные экспертные системы -- экспертные системы Аннотация: Представлены краткий анализ и сравнение методов верификации экспертных систем и традиционных программ. Показаны особенности верификации баз знаний интегрированных экспертных систем, описаны методы и алгоритмы обнаружения статических и динамических аномалий в поле знаний. Доп.точки доступа: Смирнов, В.В. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Тюгашев, А. А. (канд. техн. наук). Автоматизация спецификации, верификации и синтеза управляющих программ реального времени с применением логического и алгебраического подходов [Текст] / А. А. Тюгашев> // Мехатроника, автоматизация, управление. - 2007. - N 7. - С. . 46-50. - Библиогр.: с. 50 (9 назв. ). - 0; Логический подход к спецификации, верификации и синтезу программ. - 0; Алгебраический подход (алгебры процессов). - 0; Синтез логического и алгебраического подходов при проектировании алгоритмов управления КА
Рубрики: Радиоэлектроника--Автоматика и телемеханика Кл.слова (ненормированные): программы реального времени -- космические аппараты -- методы верификации программ -- верификация программ -- алгебраические подходы -- управляющие программы -- временная логика -- алгебра управляющих процессов -- расширенная алгебра -- синтез программ -- автоматизация верификации программ -- автоматизация спецификации программ -- автоматизация синтеза программ -- логические подходы -- алгебры процессов -- синтез подходов Аннотация: Рассматривается комплекс проблем спецификации, верификации и синтеза реального времени, исполняемых на борту космического аппарата. Анализируются подходы к решению этих задач на основе временной логики и применения расширенной алгебры управляющих процессов. Описывается структура основанного на приведенном подходе инструментального программного комплекса разработки управляющих программ для космических аппаратов. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Александрова, Н. А. (канд. техн. наук., доц.). Верификация экспертной информации при построении систем оперативного управления и диагностики технологических процессов [Текст] / Н. А. Александрова [и др. ]> // Мехатроника, автоматизация, управление. - 2007. - N 7. - С. . 55
Рубрики: Радиоэлектроника--Автоматика и телемеханика Химическая технология--Общие вопросы химической технологии Кл.слова (ненормированные): пероксид водорода -- экспертная информация -- технологические процессы -- диагностика технологических процессов -- управление технологическими процессами Аннотация: Анонс статьи, опубликованной в Приложении к журналу. Доп.точки доступа: Куркина, В. В. (канд. техн. наук., доц.); Рудакова, И. В. (канд. техн. наук., доц.); Русинов, Л. А. (канд. техн. наук., проф.) Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Гусев, В. Б. Отладка непрерывных многопараметрических шкал [Текст] / В. Б. Гусев ; ст. представлена к публ. Г. Г. Малинецким> // Проблемы управления. - 2008. - N 1. - С. 36-42 : 2 рис. - Библиогр.: с. 42 (8 назв.) . - ISSN 1819-3161
Рубрики: Экономика Методы экономических исследований Кл.слова (ненормированные): шкалы -- многопараметрические шкалы -- многопараметрические непрерывные шкалы -- шкалы оценивания -- верификация элементарных шкал -- согласующие шкалы -- тестирование согласующих шкал -- тестирование шкал Аннотация: Рассмотрены методы отладки многопараметрических непрерывных шкал оценивания, предназначенных для принятия согласованных решений при многоцелевом планировании на основе экспертных знаний. Приведены примеры процедур верификации и тестирования шкал. Доп.точки доступа: Малинецкий, Г. Г. (член редколлегии) \.\ Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Фактические преимущества модели ветрового волнения с оптимизированной функцией источника [Текст] / В. Г. Полников [и др. ]> // Доклады Академии наук. - 2007. - Т. 417, N 3, ноябрь. - С. 398-402 : 3 рис., 2 табл. - Библиогр.: с. 402
Рубрики: Геофизика Гидрология Кл.слова (ненормированные): ветровые волны -- ветровое волнение -- ветровые волны WAM -- верификация модели -- модели ветровых волн -- двумерный спектр волн -- волнообразование Аннотация: Путем модификации модели ветровых волн WAM (Cycle-4) выполнена серия численных экспериментов по верификации новой функции источника, предложенной ранее. Доп.точки доступа: Полников, В. Г.; Дымов, В. И.; Пасечник, Т. А.; Лавренов, И. В.; Абузяров, Ю. Н. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Болдырев, А. В. Модель окисления B[4]C паром при высоких температурах [Текст] / Болдырев А. В., Вещунов М. С., Шестак В. Е.> // Известия Российской академии наук. Энергетика. - 2007. - N 6. - С. 29-46 : Ил.: 8 табл. - Библиогр.: с. 46 (6 назв. ). - 0; Физическая модель окисления B[4]C паром. - 0; Реализация модели окисления B[4]C. - 0; Верификация модели окисления B[4]C по результатам стендовых экспериментов BOX
Рубрики: Химия Физическая химия. Химическая физика Кл.слова (ненормированные): окисление -- модели окисления -- карбиды бора -- водяной пар -- газообразные продукты -- массоперенос -- газообразные вещества -- газовые диффузии -- газовые смеси -- газовые фазы Аннотация: На основе анализа экспериментальных данных по окислению карбидов бора водяным паром при температурах до 1600{. }C разработана физическая модель, учитывающая возможные химические реакции в системе и многообразие газообразных продуктов этих реакций. Модель описывает кинетику окисления самосогласованно с процессами массопереноса продуктов по газовой фазе. Доп.точки доступа: Вещунов, М. С.; Шестак, В. Е. Имеются экземпляры в отделах: всего 1 : эн.ф. (1) Свободны: эн.ф. (1) |
Чуданов, В. В. Методы прямого численного моделирования турбулентности в задачах теплогидравлики ТВС [Текст] / Чуданов В. В., Аксенова А. Е., Первичко В. А.> // Известия Российской академии наук. Энергетика. - 2007. - N 6. - С. 47-57 : Ил. - Библиогр.: с. 57 (19 назв. ). - 0; CFD вычислительная методика. - 0; Валидационный аспект
Рубрики: Механика Гидродинамика и аэродинамика Кл.слова (ненормированные): турбулентность -- теплогидравлика -- теплогидравлические процессы -- сжимаемые сферы -- несжимаемые сферы -- теплоперенос -- массоперенос -- турбулентные течения -- вычислительные методики -- численные CFD методы -- уравнения Навье-Стокса -- Навье-Стокса уравнения -- валидация -- верификация -- CFD методы Аннотация: В статье рассматривается объединенная методика вычислительной гидродинамики (CFD) для многомерного описания теплогидравлических процессов для различных режимов на АЭС. Основу методики составляют эффективные численные CFD методы и алгоритмы для решения задач тепло- и массопереноса в сжимаемых/несжимаемых средах при исследовании трехмерных теплогидравлических явлений и эффективные методы моделирования турбулентности. Акцент в статье сделан на валидации и верификации прямым численным моделированием вычислительной методики с использованием доступных из литературы тестов в области турбулентных течений и применении развитой CFD методики для моделирования теплогидравлики индустриальных приложений, именно, топливных сборок. Доп.точки доступа: Аксенова, А. Е.; Первичко, В. А. Имеются экземпляры в отделах: всего 1 : эн.ф. (1) Свободны: эн.ф. (1) |
Лисица, А. П. Верификация как параметризированное тестирование (эксперименты с суперкомпилятором SCP4 [Текст] / А. П. Лисица, А. П. Немытых> // Программирование. - 2007. - N 1. - С. 22-34. - Библиогр.: с. 33-34 (15 назв. )
Рубрики: Техника Кл.слова (ненормированные): SCP4 Аннотация: Описываются эксперименты по автоматической верификации некоторых cache coherence протоколов посредством суперкомпилятора SCP4 (оптимизатора программ, написанных на функциональном языке РЕФАЛ-5) . Доп.точки доступа: Немытых, А. П. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |