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

Главная

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

Описание

Шлюз Z39.50

Базы данных

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

Вид поиска

БД "Книги"

БД "Статьи"

Труды АМГУ

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

Антитеррор

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

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

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

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

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

Шифр: 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)

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

Непомнящий, В. А.
Методика формирования тарифа на передачу электроэнергии и определения эффективности инвестиций в развитие электрических сетей [Текст] / Непомнящий В. А. // Электричество. - 2008. - N 7. - С. 2-12 : 5 рис. - Библиогр.: с. 12 (9 назв. )

УДК

^a338.45:621.38

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

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

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

Моделирование и верификация коммуникационных протоколов, представленных на языке SDL, с помощью сетей Петри высокого уровня [Текст] / В. А. Непомнящий [и др. ] // Программирование. - 2008. - N 6. - С. 35-49. . - Библиогр.: с. 48-49 (23 назв. )

УДК

^a004.41/.42

ББК 32.973-018
Рубрики: Вычислительная техника
Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
моделирование коммуникационных протоколов -- сети Петри -- Петри сети -- программные комплексы -- языки программирования
Аннотация: Описан метод трансляции языка SDL в ИВТ-сети. Представлен программный комплекс SPV.

Доп.точки доступа:
Непомнящий, В. А.; Аргиров, В. С.; Белоглазов, Д. М.; Быстров, А. В.; Четвертаков, Е. А.; Чурина, Т. Г.

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

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

Непомнящий, В. А.
От редакторов специального выпуска [Текст] / В. А. Непомнящий, А. К. Петренко // Программирование. - 2008. - N 6. - С. 3-5.

УДК

^a004.41/.42

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

Доп.точки доступа:
Петренко, А. К.

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

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

Непомнящий, В. А.
Экономико-математическая модель надежности энергосистем и электрических сетей [Текст] / Непомнящий В. А. // Электричество. - 2011. - N 2. - С. 5-16. : 6 рис., 2 табл. - Библиогр.: с. 16 (8 назв. )

УДК

^a621.311

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

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

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

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

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

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