Библиотека БГПУ

Главная

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

Описание

Базы данных

Периодические издания- результаты поиска

Вид поиска

Периодические издания

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

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

Найдено в других БД:

Книги (6)

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

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

Поисковый запрос: <.>K=формализация<.>

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

Заглавие журнала :Экономика и математические методы -2012г. т.48,N 2
Интересные статьи :
Вересков, А. Институциональные аспекты реализуемости инновационных решений на предприятиях/ А Вересков [и др.] (стр.3-14.)
Фридман, А. Управление водными ресурсами при наличии оборотного водоснабжения/ А. Фридман (стр.15-29.)
Гаврилец, Ю. Однопродуктовая модель экономического равновесия с филантропией/ Ю. Гаврилец, А. Стеблюк (стр.30-39.)
Колесник, Г. Распределение прав собственности и максимизация коллективного благосостояния / Г. Колесник (стр.40-50.)
Жевняк, А. Математические модели и оценки эффективности кредита/ А. Жевняк (стр.51-66.)
Зуев, А. Формализация спроса на высокотехнологические товары/ А. Зуев, М. Бабейкин (стр.67-79.)
Кузякина, М. Математическая модель динамики эколого-экономического ущерба/ М. Кузякина, Е. Семечкин (стр.80-84.)
Питухин, Е. Моделирование циклических процессов на российском рынке труда/ Е. Питухин, В. Гуртов, В. Голубенко (стр.85-94.)
Горбунов, В. Построение производственных функций по данным об инвестициях/ В. Горбунов, А. Львов (стр.95-107.)
Семенычев, В. Методы идентификации логической динамики и жизненного цикла продукта моделью Верхулста/ В. Семенычев, В. Кожухова, Е. Семенычев (стр.108-115.)
Астахов, А. Взаимодействия процессов в местах стыков и принципы научной контактики/ А. Астахов (стр.116-127.)
В.Л. Макарову - 75 лет (стр.133-142.)
Интересные статьи :
Найти похожие

Заглавие журнала :Проблемы информационной безопасности. Компьютерные системы -2012г.,N 2
Интересные статьи :
Калинин, М. Формализация комплекса задач по обеспечению защиты ресурсов грид-систем от несанкционированного доступа/ М. Калинин, А. Коноплев (стр.7-13.)
Качко, А. Формализованная модель безопасности процесса обработки данных в условиях среды облачных вычислений/ А. Качко (стр.14-20.)
Зегжда, Д. Оценка эффективности использования средств защиты для нейтрализации и управления бот-сетей/ Д. Зегжда, Т. Степанова (стр.21-27.)
Печенкин, А. Обнаружение несанкционированной отправки данных по НТТР-протоколу на уровне гипервизора/ А. Печенкин (стр.28-33.)
Платонов, В. Проблемы обеспечения безопасности информации при организации межведомственного электронного документооборота/ В. Платонов, И. Целов (стр.42-45.)
Белим, С. Моделирование системы с обратной связью для противодействия DOS-атакам/ С. Белим, С. Белим (стр.46-49.)
Высокопроизводительный криптошлюз для распределительных систем предоставления электронных услуг/ Д. Зегжда [и др.] (стр.50-56.)
Технологии управления информацией и событиями безопасности для защиты компьютерных сетей/ И. Котенко [и др.] (стр.57-68.)
Рудина, Е. Спецификация сетевых протоколов с использованием декларативного языка описания/ Е. Рудина (стр.69-75.)
Нестеренко, А. О криптографических протоколах удаленного управления/ А. Нестеренко (стр.76-82.)
Семьянов, П. Практическая уязвимость схем дополнения блока AES в алгоритмах проверки правильности паролей/ П. Семьянов (стр.83-85.)
Зегжда, Д. Распознание образов на основе фрактального сжатия/ Д. Зегжда, Д. Москвин, Ю. Босов (стр.86-90.)
Интересные статьи :
Найти похожие

Вид документа : Статья из журнала
Шифр издания : 74.202.5/М 62
Автор(ы) : Минькович, Т.
Заглавие : Формализованное представление методов обучения
Место публикации : Педагогика. - 2010. - N 1. - С. 47-53. (Шифр П-02/2010/1)
ББК : 74.202.5
Предметные рубрики: Методы обучения
Найти похожие

Заглавие журнала :Проблемы информационной безопасности. Компьютерные системы -2010г.,N 2
Интересные статьи :
Белим С.В. Теоретика-графовый подход к проблеме совмещения ролевой и мандатной политик безопасности./ С. В. Белим, Н. Ф. Богаченко, Ю. С. Ракицкий (стр.9-18)
Белим С.В. Базисный подход в модели безопасности HRU./ С. В. Белим, Д. М. Бречка (стр.18-24)
Малюк А.А. К вопросу о периодизации подходов к защите информации./ А. А. Малюк (стр.24-31)
Семенова Н.А. Применение методов формального анализа понятий для построения и оптимизации ролевых моделей разграничения доступа./ Н. А. Семенова (стр.31-45)
Авраменко В.С. Адаптивный контроль защищенности информации от несанкционированного доступа на основе информационных образов./ В. С. Авраменко (стр.45-50)
Бабаш А.В. Метод согласования для определения начального состояния и входной ключевой последовательности последовательного соединения шифрующих автоматов./ А. В. Бабаш (стр.50-56)
Баранов В.А. Формализация определения понятий инсайдеров в вычислительных системах./ В. А. Баранов (стр.56-63)
Корт С.С. Интегрированный метод обнаружения распределенных атак./ С. С. Корт, Е. А. Рудина, М. В. Павличенко (стр.63-73)
Романов К.О. Автоматизированная система выявления каналов утечки защищаемой информации в информационных системах федеральных органах исполнительной власти РФ./ К. О. Романов, Ю. Н. Рыжков, В. Ю. Скиба (стр.73-80)
Явно Д.М. Объектно-ориентированная модель руткита в вычислительной системе./ Д. М. Явно (стр.80-87)
Интересные статьи :
Найти похожие

Заглавие журнала :Информационные технологии (с ежемесячным приложением). Комплект -2009г.,N 12
Интересные статьи :
Загорулько, Ю.А. Информационная модель портала научных знаний/ Ю.А. Загорулько, О.И. Боровикова (стр.2-6)
Савченко, В.В. Оптимизация фонетической базы данных по группе дикторов на основе информационной теории восприятия речи/ В.В. Савченко, Д.А. Пономарев (стр.7-11)
Вашкевич, Н.П. Формализация алгоритма синхронизации процессов при диспетчеризации задач в многопроцессорных системах с использованием механизма "рандеву"/ Н.П. Вашкевич, Р.А. Бикташев (стр.12-16)
Сериков, Д.А. К математическому моделированию процесса диспетчеризации задач в распределенной вычислительной среде/ Д.А. Сериков (стр.17-24)
Коваленко, О.Н. Влияние метода обработки очередей на качество обслуживания трафика мультисервисной сети/ О.Н. Коваленко (стр.25-27)
Волосатова, Т.М. Технологии и библиотеки методов построения пикосетей мобильных устройств/ Т.М. Волосатова, Д.Е. Беломойцев (стр.28)
Андреев, О.О. Интеграция моделей логического разграничения доступа, описанных на специализированном языке/ О.О. Андреев (стр.29-33)
Ушмаев, О.С. Проблемы применения биометрической идентификации в комплексной защите информации/ О.С. Ушмаев (стр.34-37)
Владыкин, А.А. Непроцедурный текстовый язык описания автоматных обработчиков XML-документов и его применение/ А.А. Владыкин, А. А. Шалыто (стр.38-44)
Асратян, Р.Э. Служба синхронизации процессов в сети/ Р.Э. Асратян (стр.45-49)
Оцоков, Ш.А. Применение модулярной арифметики с фиксированной точкой для ослабления влияния ошибок округления компьютерных вычислений/ Ш.А. Оцоков (стр.50-53)
Глубинский, А.Н. Методика проверки на адекватность математической модели речевого сигнала экспериментальным данным/ А.Н. Глубинский (стр.54-58)
Анищенко, В.С. Концептуальная модель виртуального центра охраны здоровья населения/ В.С. Анищенко [и др.] (стр.59-64)
Махортов, С.Д. Интегрированная среда логического программирования LPEexpert/ С.Д. Махортов (стр.65-66)
Кирьянов, А.А. Программный комплекс для автоматизированной системы мониторинга экологического состояния на предприятии/ А.А. Кирьянов [и др.] (стр.67-68)
Интересные статьи :
На вкладках: Валиахметова, Ю.И., Мухачева, Э.А., Филиппова, А.С., Гильманова, Н.А., Карипов, У.А. Мультиметодная технология ортогональной упаковки и ее применение в задачах транспортной логистики (Обсуждается мультиметодная технология ортогональной упаковки прямоугольных объектов, основанная на методе комбинирования эвристик И.П. Норенкова. Рассматриваются задачи двумерной и трехмерной упаковки прямоугольных объектов в замкнутых и открытых областях. Для решения применяются разработанные на основе ММТ конструктивные алгоритмы. Приведен численный эксперимент на различных классах задач, подтверждающий эффективность мультиметодного подхода)
Найти похожие

Заглавие журнала :Информационные технологии (с ежемесячным приложением). Комплект -2008г.,N 9
Интересные статьи :
Александров А.Е. Разработка и проектирование прикладных программных приложений на основе порождающего программирования/ А. Е. Александров (стр.2-8.)
Гаврилов А.В. Формализация проектирования сложных информационных систем на основе анализа функциональных интерфейсов/ А. В. Гаврилов, Е. А. Павлова (стр.9-15.)
Шерыхалина Н.М. Применение фильтрации численных результатов для увеличения надежности САПР / Н. М. Шерыхалина (стр.16-21.)
Поляков Б.Н. К созданию САПР технологии правки и оборудования ролико-правильных машин/ Б. Н. Поляков (стр.22-28.)
Зимнухоа Ж.Е. О подходе к построению автоматизированной информационной системы поддержки принятия решений для проектирования процессов производства изделий из металлов / Ж. Е. Зимнухоа, В. А. Немтинов (стр.29-34.)
Горшков А.П. Система диагностики состояния сложных технических объектов по характерным последовательностям цифровых сигналов/ А. П. Горшков, Т. П. Грызлова (стр.35-38.)
Малыхина Г.Ф. Метод анализа независимых компонент для восстановления формы сигналов по их смеси/ Г. Ф. Малыхина, А. В. Меркушева (стр.39-41.)
Балакирев Н.Е. Основные концепции языка описания алгоритмов анализа естественно-языкового текста/ Н. Е. Балакирев, Б. Б. Гирин (стр.42-46.)
Семенов Н.Н. Спектральные методы обработки пространственных данных для классификации целей/ Н. Н. Семенов (стр.47-50.)
Лапшин В.П. Количественная оценка размытости и асимметрии функций принадлежности нечетких множеств/ В. П. Лапшин, И. С. Жуков (стр.51-55.)
Ковшов Е.Е. Рационализация подбора медицинского персонала в лечебном учреждении путем применения генетических алгоритмов/ Е. Е. Ковшов, А. В. Машковцев (стр.56-59.)
Филиппова А.С. Задачи о минимальном покрытии ортогональных многоугольников с запретными участками/ А. С. Филиппова, В. Ю. Кузнецов (стр.60-64.)
Орехов Ю.В. Исследование эффективности операторов генетического алгоритма при поиске экстремальных решений в бинарных и вещественных пространствах/ Ю. В. Орехов, Э. Ю. Орехов (стр.65-71.)
Девятов Д.Х. Информационная система руководителя металлургического предприятия/ Д. Х. Девятов, Д. С. Каплан (стр.72-78.)
Интересные статьи :
Найти похожие

Заглавие журнала :Вестник педагогических инноваций -2008г.,N 2
Интересные статьи :
Козырева, О. Моделирование дефиниций современной профориентологии как средство формирования и развития профессионально-педагогической культуры/ О. Козырева (стр.7-21.)
Коткин, С. Актуальные проблемы развития содержательной линии "Моделирование и формализация" школьного курса информатики/ С. Коткин, Г. Бойченко (стр.22-28.)
Мисникова, Л. Общепсихологические основы музыкально-терапевтической практики/ Л. Мисникова (стр.29-39.)
Таранова, М. О средствах мыслительной деятельности ученика-исследователя/ М. Таранова (стр.40-48.)
Шило, Н. Системно-структурная иерархия деятельности учителя математики в процессе обучения/ Н. Шило (стр.49-61.)
Абаскалова, Н. Теоретико-практические аспекты здоровьеориентированных педагогических технологий, обеспечивающих формирование ключевой компетенции "быть здоровым" у студентов/ Н. Абаскалова, А. Прилепо (стр.62-72.)
Барматина, И. Проектирование технологии обучения численным методам и компьютерному моделированию студентов педагогических специальностей/ И. Барматина (стр.73-86.)
Валов, А. Возможности среды Excel в обучении физике/ А. Валов, А. Никитина (стр.87-97.)
Мотылева, Т. О содержании и результатах единого государственного экзамена по математике в 2007 году по Новосибирской области/ Т. Мотылева (стр.98-111.)
Павлюченко, А. Математическая подготовка студентов-гуманитариев посредством структурно-логического кодирования/ А. Павлюченко (стр.112-122.)
Величко, А. Банк тестовых заданий по теории и методике обучения физике/ А. Величко (стр.123-144.)
Кромер, В. Больше моделей хороших и разных / В. Кромер (стр.145-151.)
Таранова, М. Использование развивающих тестов при обучении математике/ М. Таранова, Н. Брагина (стр.152-156.)
Третьякова, Т. С-тесты, их разработка и применение / Т. Третьякова (стр.157-163.)
Интересные статьи :
Найти похожие

Вид документа : Статья из журнала
Шифр издания : 74.263.2/К 73
Автор(ы) : Коткин, С., Бойченко, Г.
Заглавие : Актуальные проблемы развития содержательной линии "Моделирование и формализация" школьного курса информатики
Место публикации : Вестник педагогических инноваций. - 2008. - N 2. - С. 22-28. (Шифр В-20/2008/2)
ББК : 74.263.2
Предметные рубрики: Методика преподавания информатики
Найти похожие

Вид документа : Статья из журнала
Шифр издания :
Заглавие : Формализация интерфейсных стандартов и автоматическое построение тестов соответствия
Колич.характеристики :
Место публикации : Информационные технологии. - 2007. - N 8. - С. 2-7
ISSN: 1684-6400
ГРНТИ : 50
ББК : 32.973.26-018.2
Предметные рубрики: Информационные технологии
Найти похожие

10.

Вид документа : Статья из журнала
Шифр издания : 74.263.2
Заглавие : Формализация и моделирование
Место публикации : Информатика и образование. - 1999. - №6. - С. 21-27
ББК : 74.263.2
Предметные рубрики: Методика информатики
Найти похожие

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

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