Новосибирский государственный университет Факультет информационных технологий

А.М.Федотов

Вопросы для обсуждения на практических занятиях
(Применые темы выступлений студентов)

CASE средства:
Общая классификация CASE-инструментов в соответствии с фазами процесса разработки ПО.
Инструменты анализа предметной области и требований.
Системы управления запросами/ошибками.
Инструменты проектирования, концепция визуального программирования.
Системы сборки, классификация, основные функции.
Системы развертывания (инсталляторы).
Интегрированные среды разработки (IDE): история развития.
Основные функции современных IDE.
Место IDE в современном процессе разработки ПО.
Системы контроля версий, классификация, основные функции.
Классификация ошибок и других проблем в приложениях.
Классификация методов тестирования, методы автоматизации.
Профилировщики и отладчики, основные функции, проблематика применения
Проблемы верификации ПО:
Что такое логический язык спецификаций?
Как определяется корректность программы относительно заданной спецификации?
Привести примеры параллельных и взаимодействующих систем.
Дедуктивная верификация.
Метод Флойда-Хоара.
Логики различных порядков.
Системы доказательств теорем, их свойства.
Определение логики LTL, примеры свойств систем, выразимых с помощью формул LTL.
Определение логики CTL, примеры свойств систем, выразимых с помощью формул CTL.
Относительная выразительная сила CTL и LTL, понятие справедливости.
Алгоритм проверки моделей для LTL, сложность и корректность.
Алгоритм проверки моделей для CTL, сложность и корректность.
Устройство автоматической системы проверки моделей.
Символьная проверка моделей.
Определение Бинарных Разрешающих Диаграмм (BDD), алгоритмы работы с ними.
Другие символьные представления данных: периодические множества, арифметика Пресбургера, аффинное представление.
Символьная проверка моделей для CTL.
Символьная проверка моделей для LTL.
Редукция относительно частичных порядков.
Композиция. Абстракция. Симметрия.
Информатика:
Определение понятия информация.
Свойства семантической информации.
Информационные революции. История информатики.
Определение понятия документ.
Доцифровая информатика. Документология (Документация).
Концепция гипертекста.
Информационные ресурсы.
Кибернетика. Происхождение термина кибернетика.
Определение информатики, как комплексной науки.
Системность. Понятие системы.
Машины энергетические и информационные.
О роли логики и вычислений в становлении информатики.
Первые вычислители. Связь с экономическим развитием общества.
Готфрид Лейбниц и двоичная арифметика.
Аналоговые Вычислительные Машины.
Логарифмы. Логарифмическая линейка.
Интегратор. Дифференциальный анализатор.
Карточное программирование.
Машина Беббиджа. Основные достижения Беббиджа и Лавлейс.
Библиотека (программирование).
Логическая машина. Поиск истины. Искусственный интеллект.
Понятие модели. Информационные модели.
Тектология. Общая теория систем.
Телеграф.
Что такое статистика. Счетно-перфорационные устройства.
Классификация. Десятичная классификация. Фасетная классификация.
Аспектная классификация.
Электромеханические устройства (Конрад Цузе, Джон Р.Стибиц и Говард Айкен).
Проект Атанасова.
Машина Тьюрига-Поста.
Криптография и Colossus.
Архитектура вычислительных машин.
Принципы фон Неймана.
ЭВМ с гибким программным управлением.
В чем суть компьютерной науки.
Самоорганизация и кибернетика.
Близость информатики и кибернетики.
Российские ЭВМ.
Коммерческие и некоммерческие компьютеры.
Программные мониторы – принципы функционирования ОС.
Мультипрограммирование.
Болезнь второй системы.
Задачи автоматизации программирования (Программирующие программы).
Операторный метод. Технология крупноблочного программирования.
Что такое компилятор.
Языки программирования (ЯВУ). Классификация.
Программные модели.
Парадигмы программирования
Декларативное программирование.
Императивное программирование.
Процедурное программирование.
Объектно-ориентированное программирование.
Аспектно-ориентированное программирование
Программирование структурное
Функциональное программирование
Параллельное программирование
Логическое программирование
Мобильность программного обеспечения.
Характеристика UNIX подобных систем.
Стандарты. Основные организации, занимающиеся стандартизацией.
Эталонные модели технологии открытых систем.
Основные определения технологии открытых систем.
Проблема интеграции разнородных ресурсов. Принципы открытых систем.
Эталонная модель POSIX среды открытых систем.
Технологии открытых систем.
Интероперабельность.
Проблема интеграции разнородных ресурсов.
Определение профиля информационной системы. Классификация профилей.
Место профиля в документации предприятия. Процесс разработки профиля.
Распределенные информационно-вычислительные ресурсы.
Центры обработки данных. Облачные вычисления.
Сетевые информационные модели.
Основные функции организации информационных систем.
Базовые технологии интеграции ресурсов.
Технологии извлечения знаний.
«Анализ данных» (Data mining)
Что такое «Анализ данных»
Большие данные
Что такое кластер-анализ.
Метод К средних.
Иерархические методы.
Методы «плотных сгустков».
Апроксимация данных.
Метод главных компонент
Компонентный анализ (PCA).
Approximation of multidimensional data by low-dimensional objects
Elastic Manifolds
Comparison with PCA
Pluriharmonic graph embedment
Topological grammars

Федотов Анатолий Михайлович © 1996-2024, Новосибирский государственный университет © 1996-2024, Институт вычислительных технологий СО РАН © 1996-2024, Федотов А.М.