ЮрИнфоР
Программное обеспечение
Подписка на новости Все новости
09/01/2025
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась подготовка ряда статей, посвящённых системе типов, в том числе последовательная типизация, обучение нейронной сети Synaptic JS, архитектура нейронной сети с обеспечением краткосрочной памяти, обучение нейронной сети работе с ламбда-термами, в том числе возможность поддержки сопряжения со средствами «дырок» в Idris, описание IDE как пошагового недетерминированного процесса, обработка форм произвольной сложности с обеспечением ограничений на сложность контекста, обеспечение средств возможности просмотра преобразования кода и возврата к предыдущему контексту и предыдущему состоянию, техника оперирования выводами при определении типа «дырок», использование TypeScript для проектов, требующих сборки, обеспечение полиморфного состояния репозитория.
26/12/2024
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась проверка соответствия формы её формальной спецификации, в том числе использование для этой цели библиотеки контрактов, средства описания требований к формату данных для этой проверки, преодоление экспоненциального роста времени выполнения функции проверки, возможности представления информации о системе в виде TeX-файла, в том числе возможности управления параметрами шрифта и размещения строк на странице, разработка специализированных команд размещения информации, чувствительных к ситуации использования, данные, описывающие геометрию изображения экрана для вставки в документ, в том числе информация о шрифтах, используемых на экране для отображения, возможность автоматического снятия изображений экрана и подбора их параметров, возможности представления информации о системе в рамках учебного курса.
23/12/2024
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждался подход к отладке ламбда-термов, обеспечивающий выделение этапа очистки данных, выделение виртуальных каналов для организации обмена данных между процессами, систематическая организация редукции на основе обмена сообщениями, возможность взаимодействия отладочных средств с панелью управления, проведение редукции по шагам, включающим тау-редукцию и редукцию вложенных подвыражений, возможность использования этого механизма для получения методически выверенных примеров управления редукцией, «заселение» глобальной области видимости в системе функциями, ориентированными на изучение состояния, редукционные правила для упрощения структуры процесса, в том числе обхода процесса для выявления подпроцессов, содержащих нередуцированные термы, возможность формулировки концепции, которая обеспечивает комплексирование и интегрирование редукционных механизмов.
Подписка на новости Все новости
02/06/2023
На сайте ЮрИнфоР открыт доступ к новой версии он-лайн сервиса концептуальной оценки, статистической обработки и анализа данных (КОСА 0.2.0). На ограниченный объемах данных сервис будет доступен студентам, аспирантам и исследователям из разных областей. Сервис может быть использован при выполнении курсовых, дипломных работ и подготовке диссертационных исследований. Сервис представляет собой инструмент поддержки статистического исследования: статистической обработки, анализа и визуализации данных. Мы надеемся, что сервис поддержит образовательные и исследовательские усилия работающих в разных областях, включая финансы, право, социологию, здравоохранение, психологию и другие. Особенностью сервиса является то, что инструменты статистического анализа и обработки данных предоставляются в ходе поэтапного интерактивного взаимодействия, делая его доступным. В текущей версии сервис концептуального оценивания и статистической обработки (КОСА) обеспечивает загрузку данных непосредственно из браузера или из файла стандартного формата, определение признаков данных, выполнение вычислений и вывод результата в текстовой, табличной или графической форме. Использование сервиса бесплатно для данных объёмом не более 50 строк, далее может использоваться на платной основе. Мы будем рады сотрудничать с теми, кто захочет присоединиться к команде разработчиков, в том числе на этапе его тестирования.
11/04/2023
На сайте ЮрИнфоР открыт доступ к первой версии он-лайн сервиса концептуальной оценки, статистической обработки и анализа данных (КОСА 0.1.0). На ограниченный объемах данных сервис будет доступен студентам, аспирантам и исследователям из разных областей. Сервис представляет собой инструмент статистической обработки, анализа и визуализации данных. Мы надеемся, что сервис поддержит образовательные и исследовательские усилия работающих в разных областях, включая финансы, право, социология, здравоохранение и другие. Особенностью сервиса является то, что инструменты статистического анализа и обработки данных предоставляются в ходе поэтапного интерактивного взаимодействия, делая его доступным даже для массового использования. В текущей версии сервис КОСА обеспечивает загрузку данных непосредственно из браузера или из файла стандартного формата, определение признаков данных, выполнение вычислений и вывод результата в текстовой, табличной или графической форме. Использование средства бесплатно для данных объёмом не более 50 значений, далее компонента может использоваться на платной основе. Мы будем рады сотрудничать с теми, кто захочет присоединиться к команде разработчиков, в том числе на этапе его тестирования.
26/03/2023
На сайте ЮрИнфоР готовится к открытию он-лайн сервис концептуальной оценки, статистической обработки и анализа данных. Сервис будет доступен студентам, аспирантам и исследователям из разных областей. Сервис представляет собой инструмент статистической обработки, анализа и визуализации данных. Мы надеемся, что сервис поддержит образовательные и исследовательские усилия работающих в разных областях, включая финансы, право, здравоохранение и другие. Особенностью сервиса является то, что инструменты статистического анализа и обработки данных предоставляются в ходе поэтапного интерактивного взаимодействия, делая его доступным даже для массового использования.
Мы будем рады сотрудничать с теми, кто захочет присоединиться к команде разработчиков, в том числе на этапе его тестирования.