Web ИРБИС


	\| начало \| написать нам \| в избранное \| сделать стартовой \|

ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных

Сводный каталог библиотек (СГУ, СГТУ, ЦБС) - результаты поиска

Виды поиска

Электронный каталог

ЭБС "ЛАНЬ"

ЭБС "ZNANIUM.com" (ИД "ИНФРА-М")

Электронная библиотека

Известные деятели культуры в Саратовской губернии

Работы В. А. Артисевич и литература о ней

Издания вузовских библиотек Среднего и Нижнего Поволжья

Публикации учёных СГУ

Краеведческий обзор

Поступления журналов в ЗНБ СГУ

БД коллекций в фонде ЗНБ СГУ

БД выпускных квалификационных работ

Сводный каталог библиотек (СГУ, СГТУ, ЦБС)

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

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

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

Поисковый запрос: (<.>KL=логические определители<.>)

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

Левин, В. И.
Бесконечнозначная логика в задачах кибернетики [Текст] / В. И. Левин. - М. : Радио и связь, 1982. - 176 с. : ил. ; 21см. - 1.80 р.

ГРНТИ	27.23
УДК	517.6

ББК 32.81

Рубрики: Математика--Анализ

Кл.слова (ненормированные):
математика -- математический анализ -- вычислительная техника -- кибернетика -- бесконечнозначная логика -- задачи кибернетики -- логические определители -- порядковая логика -- вероятностная логика
Аннотация: Излагаются математический аппарат бесконечнозначной логики и его обобщения-порядковые логики и логические определители.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие

Левин, В. И.
Логические методы в теории надежности сложных систем [Текст] : монография / В. И. Левин ; Пензенская гос. технол. акад. - Пенза : ПГТА, 2010. - 139 с. : табл. ; 20 см. - (Система открытого образования). - Библиогр.: с. 134-136 (33 назв.). - ISBN 978-5-98903-138-2 : 184.00 р.

ГРНТИ	50.47
УДК	681.51

ББК 32.817

Рубрики: Автоматика--Сложные системы

Кл.слова (ненормированные):
МАТЕМАТИЧЕСКИЙ АППАРАТ -- НЕПРЕРЫВНАЯ ЛОГИКА -- ДИСКРЕТНАЯ ЛОГИКА -- МАТЕМАТИЧЕСКИЕ МОДЕЛИ -- НАДЕЖНОСТЬ СИСТЕМ -- ЛОГИЧЕСКИЕ ОПРЕДЕЛИТЕЛИ -- ТЕХНИЧЕСКИЕ СИСТЕМЫ
Аннотация: Разработана математическая модель надежности сложных технологических систем, пригодная для создания эффективных и экономических методов количественного изучения надежности таких систем. модель является динамико-автоматной моделью, описывающей надежностные процессы в технологических системах в виде функций от надежностных процессов в элементах этих систем. Также разработан математический аппарат непрерывной логики и логических определителей, позволяющий адекватно описывать созданную динамико-автоматную модель надежностных процессов в технических системах соответственно малой и большой сложности. Благодаря этому стало возможным практическое моделирование, расчет, анализ и синтез надежности указанных систем. разработанный аппарат является обобщением на непрерывный случай булевой логики.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

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

Левин, В. И.
Структурно-логические методы в теории расписаний [Текст] : монография / В. И. Левин ; Федер. агентство по образованию, Пензенская гос. технол. акад. - Пенза : Изд-во Пенз. гос. технол. акад., 2006. - 176 с. ; 20 см. - (Система открытого образования). - Библиогр.: с. 167-173 (95 назв.). - ISBN 5-98903-022-7 : 95.00 р.

ГРНТИ	27.47
УДК	519.7

ББК 22.18

Рубрики: Математика--Математическая кибернетика

Кл.слова (ненормированные):
МАТЕМАТИЧЕСКИЙ АППАРАТ -- НЕПРЕРЫВНАЯ ЛОГИКА -- ЛОГИЧЕСКИЕ ОПРЕДЕЛИТЕЛИ -- КОНВЕЙЕРНЫЕ СИСТЕМЫ -- ТЕОРИЯ РАСПИСАНИЙ
Аннотация: В монографии дан обстоятельный обзор основных результатов в теории расписаний, полученных с помощью математического аппарата непрерывной логики и логических определителей. Подробно излагается указанный аппарат и его применение к решению следующих задач: расчет характеристик быстродействия и загрузки систем, состоящих из последовательно соединенных блоков и получающих на входе совокупность работ, выполняемых затем в этих блоках; анализ характеристик быстродействия и загрузки систем при варьировании временных параметров работ в системе при постоянном порядке прохождения работ через все блоки; расчет характеристик быстродействия и планирование оптимального расписания выполнения работ в системе при допустимости изменения порядка прохождения работ в системе при допустимости изменения порядка прохождения работ при переходе от одного блока к другому.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

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

Левин, В. И.
Структурно-логические методы исследования сложных систем с применением ЭВМ [Текст] : научное издание / В. И. Левин. - М. : Наука, 1987. - 304 с. ; 22 см. - (Теория и методы системного анализа). - Библиогр.: с. 302-304 (61 назв.). - 2.90 р.

ГРНТИ	50.43
УДК	681.51.01:51

Рубрики: Автоматика--Системы автоматического управления

Кл.слова (ненормированные):
БЕСКОНЕЧНОЗНАЧНАЯ ЛОГИКА -- ПОРЯДКОВАЯ ЛОГИКА -- ЛОГИЧЕСКИЕ ОПРЕДЕЛИТЕЛИ -- СИСТЕМЫ ОБСЛУЖИВАНИЯ -- ПОСЛЕДОВАТЕЛЬНЫЕ СИСТЕМЫ -- ПАРАЛЛЕЛЬНЫЕ СИСТЕМЫ
Аннотация: Излагается методика расчета характеристик сложных систем технологического и оперативно-диспетчерского профиля в связи с задачами управления в таких системах.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие

Стандартный (по одному полю)

По словарю (по одному полю)

Профессиональный (по нескольким полям со словарями)

Распределенный (г. Саратов)

Расширенный

Авторизация

Фамилия

Пароль

Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru

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