Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


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

Вид поиска
БД "Книги"
БД "Статьи"
Труды АМГУ
Выпускные квалификационные работы
Антитеррор
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=операционная система Linux<.>)
Общее количество найденных документов : 2
Показаны документы с 1 по 2
1.


    Павлов, В. М.
    Программное обеспечение системы управления источниками питания обмоток магнитного поля установок типа ТОКАМАК [Текст] / В. М. Павлов [и др. ] // Приборы и системы. Управление, контроль, диагностика. - 2007. - N 10. - С. . 15-19. - Библиогр.: с. 19 (2 назв. ). - Ил.: 5 рис.
ГРНТИ
58. 34. 29
50. 51. 17
УДК
^a004.4
^a621.039.6
ББК 32.973.26-018.2 + 31.49
Рубрики: Вычислительная техника--Программное обеспечение персональных компьютеров
   Энергетика--Термоядерная энергетика
Кл.слова (ненормированные):
программное обеспечение -- системы управления -- источники питания -- установки типа ТОКАМАК -- ТОКАМАК -- обмотки магнитного поля -- установки -- программные модули -- ОС Linux -- операционная система Linux -- Linux
Аннотация: Рассматриваются вопросы проектирования программного комплекса для системы управления источниками питания обмоток магнитного поля установки типа ТОКАМАК с применением программных модулей в ОС Linux.


Доп.точки доступа:
Байструков, К. И.; Сьянов, А. А.; Пивоваров, О. С.; Тажибаева, И. Л.

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

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


    Шелехов, В. И.
    Методы трансформации и дедуктивной верификации программы инвертирования списков [Текст] / В. И. Шелехов // Программная инженерия. - 2021. - Т. 12, № 3. - С. 127-139. - Библиогр.: с. 137-139 (35 назв.). - Авт., загл., аннот. кл. сл. и библиогр. парал. рус., англ. . - ISSN 2220-3397
УДК
^a004.41/.42
ББК 32.973-018
Рубрики: Вычислительная техника
   Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
алгебраический тип данных -- дедуктивная верификация -- односвязные списки -- операционная система Linux -- предикатное программирование -- трансформации программ -- функциональное программирование
Аннотация: На примере программы инвертирования односвязных списков исследуются методы трансформации и дедуктивной верификации функций библиотеки ОС Linux. Исходная программа трансформируется с языка Си на язык cP без указателей. Далее программа преобразуется на язык функционального программирования WhyML. Рассмотрено три варианта дедуктивной верификации программы инвертирования односвязных списков в рамках системы автоматического доказательства Why3.


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

Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика
за 10.09.2024
Число запросов 27763
Число посетителей 1
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)