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

Главная

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

Описание

Шлюз Z39.50

Базы данных

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

Вид поиска

БД "Книги"

БД "Статьи"

Труды АМГУ

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

Антитеррор

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

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

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

Поисковый запрос: (<.>A=Кузьмин, Е. В.$<.>)

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

Кузьмин, Е. В.
Моделирование, спецификация и верификация "автоматных" программ [Текст] / Е. В. Кузьмин, В. А. Соколов // Программирование. - 2008. - N 1. - С. 38-60. - Библиогр.: с. 60 (18 назв. )

УДК

^a004.4

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

Доп.точки доступа:
Соколов, Ярославский государственный университет им. П. Г. Демидова

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

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

Кузьмин, Е. В.
Применение метода формальных утверждений о трассах для спецификации, построения и верификации автоматных программ [Текст] / Е. В. Кузьмин, В. А. Соколов, Д. Ю. Чалый // Программирование. - 2009. - N 1. - С. 61-77. - Библиогр.: с. 76-77 (34 назв. ) . - ISSN 0132-3474

УДК

^a004.41/.42

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

Доп.точки доступа:
Соколов, В. А.; Чалый, Д. Ю.

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

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

Кузьмин, Е. В.
Проблемы ограниченности счетчиковых машин Минского [Текст] / Е. В. Кузьмин, В. А. Соколов, Д. Ю. Чалый // Программирование. - 2010. - N 1. - С. 5-15. - Библиогр.: с. 15 (13 назв. ) . - ISSN 0132-3474

УДК

^a519.7

ББК 22.18
Рубрики: Математика
Математическая кибернетика
Кл.слова (ненормированные):
счетчиковые машины Минского -- проблемы ограниченности -- тотальная ограниченность -- Минского счетчиковые машины
Аннотация: Исследуется разрешимость проблем ограниченности для счетчиков Минского.

Доп.точки доступа:
Соколов, В. А.; Чалый, Д. Ю.

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

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

Укрепление вмещающих пород при отработке урановых месторождений Стрельцовского рудного поля камерными системами разработки [Текст] / В. С. Святецкий [и др.] // Горный журнал. - 2015. - № 2. - С. 33-36. - Библиогр.: с. 36 (5 назв.) . - ISSN 0017-2278

УДК

^a622.222

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

Доп.точки доступа:
Святецкий, В. С.; Кузьмин, Е. В.; Стародумов, А. В.; Величко, Д. В.

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

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

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

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

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