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