База данных: Статьи
Страница 1, Результатов: 2
Отмеченные записи: 0
1.
Подробнее
22
Б 67
Бияшев, Р. Г.
Полиморфная типизация сущностей и задача конструирования механизма многокритериального разграничения доступа [Текст] / Р. Г. Бияшев, М. Н. Калимолдаев, О. А. Рог // Қазақстан Республикасы Ұлттық Ғылым академиясының Хабарлары=Известия Национальной Академии наук РК. - 2014. - №5. - С. 33-41.-(серия физико-математическая)
ББК 22
Рубрики: Физико-математические науки
Кл.слова (ненормированные):
информационная безопасность -- мандатные политики безопасности -- многокритериальное разграничение доступа -- домен безопасности -- теория типов -- вычислимые функции -- формальная модель -- полиморфная типизация
Аннотация: Рассматриваются вопросы реализации формальной модели системы многокритериального разграничения доступа(МСРД).
Держатели документа:
ЗКГУ им.М.Утемисова
Доп.точки доступа:
Калимолдаев, М.Н.
Рог, О.А.
Б 67
Бияшев, Р. Г.
Полиморфная типизация сущностей и задача конструирования механизма многокритериального разграничения доступа [Текст] / Р. Г. Бияшев, М. Н. Калимолдаев, О. А. Рог // Қазақстан Республикасы Ұлттық Ғылым академиясының Хабарлары=Известия Национальной Академии наук РК. - 2014. - №5. - С. 33-41.-(серия физико-математическая)
Рубрики: Физико-математические науки
Кл.слова (ненормированные):
информационная безопасность -- мандатные политики безопасности -- многокритериальное разграничение доступа -- домен безопасности -- теория типов -- вычислимые функции -- формальная модель -- полиморфная типизация
Аннотация: Рассматриваются вопросы реализации формальной модели системы многокритериального разграничения доступа(МСРД).
Держатели документа:
ЗКГУ им.М.Утемисова
Доп.точки доступа:
Калимолдаев, М.Н.
Рог, О.А.
2.
Подробнее
81.2 Қаз.
Ш 25
Шарипбаев, А. А.
Формальная модель морфологических правил казахского языка [Текст] / А. А. Шарипбаев, Г. Т. Бекмаханова, А. С. Муканова, Б. Ж. Ергеш // Қазақстан Республикасы Ұлттық ғылым академиясының Хабарлары=Известия Национальной академии наук РК. - 2014. - №6. - С. 74-80.-(серия физико-математическая).
ББК 81.2
Қаз.
Рубрики: Казахский язык
Кл.слова (ненормированные):
формальная модель -- морфологические правила -- казахский язык -- онтология -- семантический гиперграф -- морфологический анализ -- естественно-языковые процессы -- формализация
Аннотация: В работе приводятся онтологические модели морфологических правил в казахском языке в виде семантических гиперграфов.
Держатели документа:
ЗКГУ им.М.Утемисова
Доп.точки доступа:
Бекмаханова, Г.Т.
Муканова, А.С.
Ергеш, Б.Ж.
Ш 25
Шарипбаев, А. А.
Формальная модель морфологических правил казахского языка [Текст] / А. А. Шарипбаев, Г. Т. Бекмаханова, А. С. Муканова, Б. Ж. Ергеш // Қазақстан Республикасы Ұлттық ғылым академиясының Хабарлары=Известия Национальной академии наук РК. - 2014. - №6. - С. 74-80.-(серия физико-математическая).
Рубрики: Казахский язык
Кл.слова (ненормированные):
формальная модель -- морфологические правила -- казахский язык -- онтология -- семантический гиперграф -- морфологический анализ -- естественно-языковые процессы -- формализация
Аннотация: В работе приводятся онтологические модели морфологических правил в казахском языке в виде семантических гиперграфов.
Держатели документа:
ЗКГУ им.М.Утемисова
Доп.точки доступа:
Бекмаханова, Г.Т.
Муканова, А.С.
Ергеш, Б.Ж.
Страница 1, Результатов: 2