Квалификационные работы выпускников ФИТ НГУhttps://lib.nsu.ru/xmlui/handle/nsu/3432024-03-29T08:29:09Z2024-03-29T08:29:09ZРазработка специализированной микроконтроллерной платформы для информационно-измерительной системы телескопаМаксимов, Александр СергеевичMaximov, Alexander Sergeevichhttps://lib.nsu.ru/xmlui/handle/nsu/90912015-06-11T22:00:20Z2015-06-01T00:00:00ZРазработка специализированной микроконтроллерной платформы для информационно-измерительной системы телескопа
Максимов, Александр Сергеевич; Maximov, Alexander Sergeevich
В лаборатории интегрированных информационных систем управления ИАиЭ СО РАН разрабатывается АСУ Большим солнечным вакуумным телескопом. На основании анализа существующих информационно-измерительных и управляющих систем телескопов и опыта лаборатории по автоматизации других технологических систем, выявлены требования к информационно-измерительной и управляющей системе телескопа, а именно унифицированный интерфейс взаимодействия со специализированной микроконтроллерной платформой, децентрализованное управление подсистемами телескопа, климатические особенности эксплуатации, которые обусловили решение о необходимости разработки специализированной микроконтроллерной платформы.; In the laboratory of integrated information management systems IAE developed ICS Large Solar Vacuum Telescope. Based on the analysis of existing information and measurement and control systems of telescopes and laboratory automation experience of other technological systems, revealed the requirements for information measurement and control system of the telescope, namely the unified interaction interface with a specialized microcontroller platform, decentralized control subsystems of the telescope, the climatic features of operation which led to a decision on the need to develop a specialized microcontroller platform.
2015-06-01T00:00:00ZАвтоматизация сбора и анализ метрик программного кода для языка PHP.Яковлева, Анна АлексеевнаYakovleva, Anna Alekseevnahttps://lib.nsu.ru/xmlui/handle/nsu/77102015-03-27T22:00:17Z2014-06-01T00:00:00ZАвтоматизация сбора и анализ метрик программного кода для языка PHP.
Яковлева, Анна Алексеевна; Yakovleva, Anna Alekseevna
Объектом исследования в данной работе стало создание актуальной методики оценки качества программного кода для языка PHP. Эта работа была выполнена по заказу ИТ компании «Алавар.ру». Статистика оценки кода может стать основой для определения интегральных характеристик и разделения уровней качества исполняемой работы. На основе такой оценки ИТ-компания сможет более качественно планировать экономические показатели и более эффективно принимать на работу программистов, распределять между ними задания, планировать корпоративное обучение и рост сотрудников.
В рамках исследования была достигнута цель работы – автоматизация сбора и анализ метрик программного кода для языка PHP.
Исходя из цели работы, были выполнены следующие задачи:
1. Осуществлен анализ потребностей ИТ компании, ожиданий от применения методики оценки качества;
2. Определены требования к методике оценки качества;
3. Выполнен анализ существующих средств для автоматизации сбора и анализа метрик программного кода;
4. Проведен выбор метрик подходящих под требования компании;
5. Разработан программный модуль для сбора оценочных метрик разного типа;
6. Созданы новые метрики целесообразные для использования компанией;
7. Создан инструментарий для анализа полученных значений метрик.
Текст работы состоит из введения, четырех глав и заключения. В первой главе описывается определение требований к создаваемой методике. Во второй главе рассматриваются существующие аналоги системы для сбора метрик программного кода для языка PHP. В третьей главе описываются существующие метрики качества программного кода. В заключительной главе описывается процесс автоматизации сбора и анализ метрик программного кода для языка PHP. Объем работы — 30 страниц. Работа содержит 6 иллюстраций. Использовано тринадцать источников литературы.
2014-06-01T00:00:00ZПрограммный комплекс для многомерного анализа биологических данных JACOBI 4: архитектура, графический интерфейс, расширение функционалаШтайгер, Ирина АлександровнаShtayger, Irina Alexandrovnahttps://lib.nsu.ru/xmlui/handle/nsu/77092015-06-11T06:55:44Z2014-06-01T00:00:00ZПрограммный комплекс для многомерного анализа биологических данных JACOBI 4: архитектура, графический интерфейс, расширение функционала
Штайгер, Ирина Александровна; Shtayger, Irina Alexandrovna
Данная работа выполнена в рамках проекта JACOBI 4 по разработке
программного комплекса для поддержки новой технологии поиска генов-кандидатов в
генные сети, разработанной в ИциГ СО РАН. С 2013 года JACOBI 4 является частью
более крупного проекта ИЦиГ СО РАН “Интеллектуальный анализ и комбинирование
гетерогенных данных” (№13-07-00315), поддержанного грантом РФФИ.
Целью работы является облегчение процесса анализа биологических данных
путѐм создания программного комплекса, позволяющего проводить такой анализ.
Реализованный программный комплекс включает в себя 5 подсистем состоящих
из 6 модулей с графическим интерфейсом и 5 основных конфигурационных файлов.
JACOBI 4 введен в эксплуатацию и используется для обучения студентов в ИЦиГ СО
РАН. По итогам применения пакета для анализа биологических данных подготовлена и
принята к печати публикация.
Объем дипломной работы: 39 страниц. Количество рисунков - 13. Список
литературы содержит указания на 16 источников.
2014-06-01T00:00:00ZГенерация и доказательство формул корректности предикатных программЧушкин, Михаил СергеевичChushkin M.S.https://lib.nsu.ru/xmlui/handle/nsu/77082015-06-24T22:00:26Z2014-06-01T00:00:00ZГенерация и доказательство формул корректности предикатных программ
Чушкин, Михаил Сергеевич; Chushkin M.S.
Парадигма предикатного программирования занимает промежуточное положение
между парадигмами функционального и императивного программирования. Язык
предикатного программирования P определяет класс программ, не взаимодействующих с
внешним окружением. Эти программы реализуют функции, отображающие значения
входных переменных в значения результатов и не взаимодействуют с внешним окружением.
Метод дедуктивной верификации, используемый в предикатном программировании,
существенно отличается от классических методов Флойда и Хоара. Он базируется на
понятии логики программы. Метод позволяет доказывать тотальную корректность
программ.
Целью работы является разработка и реализация системы верификации программ на
языке P. Система верификации состоит из трех компонент. Основной компонентой системы
верификации является генератор формул корректности программы. Генератор реализует
метод дедуктивной верификации предикатных программ.
Две другие компоненты – это трансляторы на язык CVC3 и PVS. Сгенерированные
формулы проходят проверку на истинность в SMT-решателе CVC3. Формулы, которые
решатель не смог проверить, доказываются в системы PVS.
В рамках работы была построена система правил вывода условий корректности.
Реализована система дедуктивной верификации предикатных программ. Система успешно
прошла апробацию в рамках курса “Формальные методы в описании языков и систем
программирования”. Работа докладывалась на международной научной студенческой
конференции 2014 года, где была удостоена диплома третьей степени.
Объем работы составляет 62 страницы. В работе использовано 12 иллюстраций и 4
таблицы. В работе присутствуют ссылки на 24 внешних источника.
2014-06-01T00:00:00Z