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

Главная

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

Описание

Базы данных

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

Вид поиска

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

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

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

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

Книги (6)

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

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

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

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

Формализация и моделирование // Информатика и образование. - 1999. - №6. - С. 21-27

ББК 74.263.2
Рубрики: Методика информатики
Кл.слова (ненормированные):
информационные процессы -- информационные системы

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

Формализация интерфейсных стандартов и автоматическое построение тестов соответствия [Текст] // Информационные технологии. - 2007. - N 8. - С. 2-7

ГРНТИ

ББК 32.973.26-018.2
Рубрики: Информационные технологии
Кл.слова (ненормированные):
интерфейс

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

Шифр: И-19/2008/9
Журнал

Информационные технологии (с ежемесячным приложением). Комплект : теоретический и прикладной научно-технический журнал. - М. : "Новые технологии" : "Информационные технологии"2008 - . - Выходит ежемесячно
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.
Имеются экземпляры в отделах: всего 1 : Ч.з.3 (1)
Свободны: Ч.з.3 (1)

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

Шифр: В-20/2008/2
Журнал

Вестник педагогических инноваций . - 2006
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.
Имеются экземпляры в отделах: всего 1 : Ч.з.3 (1)
Свободны: Ч.з.3 (1)

Найти похожие
Перейти к описаниям статей

74.263.2
К 73

Коткин, С..
Актуальные проблемы развития содержательной линии "Моделирование и формализация" школьного курса информатики [Текст] / С. Коткин, Г. Бойченко // Вестник педагогических инноваций. - 2008. - N 2. - С. 22-28.

ББК 74.263.2
Рубрики: Методика преподавания информатики
Кл.слова (ненормированные):
моделирование информационное -- язык моделирования -- школьный курс информатики

Доп.точки доступа:
Бойченко, Г.
Экземпляры всего: 1
Ч.з.3 (1)
Свободны: Ч.з.3 (1)
Найти похожие

Шифр: И-19/2009/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
Другие авторы: Сироткин, В.Ю., Сироткин, Ю.В., Смирнова, А.А.
На вкладках: Валиахметова, Ю.И., Мухачева, Э.А., Филиппова, А.С., Гильманова, Н.А., Карипов, У.А. Мультиметодная технология ортогональной упаковки и ее применение в задачах транспортной логистики (Обсуждается мультиметодная технология ортогональной упаковки прямоугольных объектов, основанная на методе комбинирования эвристик И.П. Норенкова. Рассматриваются задачи двумерной и трехмерной упаковки прямоугольных объектов в замкнутых и открытых областях. Для решения применяются разработанные на основе ММТ конструктивные алгоритмы. Приведен численный эксперимент на различных классах задач, подтверждающий эффективность мультиметодного подхода)
Имеются экземпляры в отделах: всего 1 : Ч.з.3 (1)
Свободны: Ч.з.3 (1)

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

74.202.5
М 62

Минькович, Т..
Формализованное представление методов обучения [Текст] / Т. Минькович // Педагогика. - 2010. - N 1. - С. 47-53.

ББК 74.202.5
Рубрики: Методы обучения
Кл.слова (ненормированные):
обучение -- методологическая система -- объектно-ориентированное проектирование -- формализация -- метод обучения -- прием обучения -- прием преподавания -- прием учения

Экземпляры всего: 1
Ч.з.3 (1)
Свободны: Ч.з.3 (1)
Найти похожие

Шифр: П-38/2010/2
Журнал

Проблемы информационной безопасности. Компьютерные системы. - 2008 . - Выходит дважды в год
2010г. N 2

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

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

Шифр: Э-15/2012/48/2
Журнал

Экономика и математические методы. - 2010 . - Выходит ежеквартально
2012г. т.48 N 2 . - 793.17, р.

Содержание:
Вересков, А. Институциональные аспекты реализуемости инновационных решений на предприятиях / А Вересков [и др.]. - С.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.
Имеются экземпляры в отделах: всего 1 : Ч.з.3 (1)
Свободны: Ч.з.3 (1)

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

10.

Шифр: П-38/2012/2
Журнал

Проблемы информационной безопасности. Компьютерные системы. - 2008 . - Выходит дважды в год
2012г. N 2 . - 426.93, р.

Содержание:
Калинин, М. Формализация комплекса задач по обеспечению защиты ресурсов грид-систем от несанкционированного доступа / М. Калинин, А. Коноплев. - С.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.
Имеются экземпляры в отделах: всего 1 : Ч.з.3 (1)
Свободны: Ч.з.3 (1)

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

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

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