ЮрИнфоР >>> Все новости >>>

Все новости по информационным технологиям

15/07/2024
Обсуждались конструкции работы со значением объекта в языке процессов, в том числе способы абстрагирования части состояния различных процессов, изолированных друг от друга, способы установки метки и организации взаимодействия по метке, характер изменения состояния, возможности оптимизации и исключения дорогостоящей операции преобразования к JSON-представлению за счёт записи объектов в состояние и их последующего извлечения, результаты вставки в систему статистической обработки критерия хи-квадрат и точного критерия Фишера, возможности включения пояснительных текстов различного профиля и различного объёма, а также настройки появления этих текстов, оптимальные формулировки комментирования статистической зависимости, реализация модальных окон средствами React.
12/07/2024
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалось подключение мемоизации в системе статистической обработки, валидация данных, редактирование заголовков столбцов данных, обеспечение мемоизации для редукции термов, взаимодействие со сборщиком мусора, организация трассировки выполнения редукций, настройка дополнительных параметров вызова статистических методов, регулировка доступа к ресурсам, способы доработки сервера для обеспечения авторизации доступа и управления пользователями, способы настройки политик доступа к конкретным сервисам, конфигурирование системы реакций на действия пользователя, в том числе использование системы функций-триггеров, таксономия сообщений и типов ошибки пользователя.
08/07/2024
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы администрирования при поставке системы статистической обработки, возможности её установки в различных конфигурациях, вопрос о соотношении системы с Docker'ом, управление образами сборки системы, возможности ограничения доступа к образу, подключение сервисов из реестра, обеспечение одновременной доступности различных версий системы по разным доменным именам третьего уровня, использование различных механизмов аутентификации: файла с паролями, использование конфигурационного файла для ограничения доступа к части сайта, возможность использования протокола Oauth2, использование сайта LeakIX для изучения доменных адресов и поддоменов, защита базы образов от случайного удаления при конфигурировании, возможности настройки отображения в визуализаторе языка диаграмм, возможность вынесения длинных строковых подтермов во вспомогательные переменные, методы работы с контекстом при выделении признаков в таблице для статистического анализа.
04/07/2024
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности визуализации диаграмм, указание главных блоков для кластеров, возможности переходов между диаграммами и параметры, управляющие переходами, способы регулирования вертикального и горизонтального расположения блоков диаграммы, инструкция для поставки и разворачивания системы статистической обработки, вопросы организации реестра для поставок, список хранилищ docker-образов, обновление ssl-сертификатов, информация о скачивании docker, возможность распространения не через образ, а путем настройки портов, доменного имени и т. д., возможность составления набора задач по системе статистической обработки, возможности использования временной логики, определение структур Крипке для временной логики.
01/07/2024
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась блочная разметка для определения последовательных процессов, способы объединения блоков в кластеры и вложение таких кластеров, определяемый таким образом частичный порядок на блоках, способы его визуализации, автоматизация тестирования, требования к установке системы статистической обработки, способы обращения к объяснительной системе, различные типы объяснений, способы генерации объяснений, включая параметризацию, способы представления объяснений для пользователя, вопросы защиты информации в пояснениях, включение текстов объяснений в отчёт об эксперименте (полностью или частично), управление генерацией графиков и статистических диаграмм, возможные способы их параметризации, представление графиков для пользователя, возможность их включения в отчёт.
27/06/2024
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы создания вспомогательных диаграмм, нужных для обеспечения логики, представление диаграмм в формате yaml, работа с термами функционального типа, обеспечение преобразования форм, преобразование последовательности форм в составную форму, использование внутри форм переменных и параметров, изменения в визуализаторе диаграмм, касающиеся различных способов сочетания блоков, выделение вложенных кластеров блоков, техника работы с ленивыми списками, механизм специального терма StringTemplate, выполняющего перевод терма, содержащего строки, в строку, с возможностью замены подстрок по ключу.
24/06/2024
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась фиксация изменений системы статистической обработки и выкладывание их на сервер, замкнутый цикл разметки метаданных, возможность использования предопределённых таблиц, возможность различения данных по их доступности в зависимости от того, с какой ролью человек вошёл в систему, разметка прав доступа с помощью диаграмм, технику установки признаков столбцов данных, возможность проверки вхождения значений одного столбца в другой столбец, возможность совмещения разнотипных признаков из разных исследований, возможность построения трансформационных семантик признаков, возможности оценки совпадения признаков по их статистическим характеристикам, установление соответствия между конструкциями языка форм и компонентов React, средства диагностики и локализации ошибок.
20/06/2024
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась версия системы статистической обработки, поддерживающая разметку данных, ввод новой таблицы в обработку, многоэтапный процесс редактирования таблицы, учёт при разметке столбцов характера данных, использование термов в качестве параметров при преобразовании формы, выделение способов обхода дерева термов для уменьшения спецификации редукции, описание поставки и последующего разворачивания, возможности задания генерируемых задач для статистической обработки, задание начальных установок для динамической генерации задач, возможности генерации таблиц и визуализации сгенерированных таблиц для решения задач.
17/06/2024
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась техника работы со связанными переменными в библиотеке LambdaJS, способы поддержки связанных и свободных переменных в блоке letrec, способы предотвращения ошибок, возникающих при смешивании функционального и императивного стиля программирования, техника определения функций высших порядков, способы оптимизации вычислений по системе редукций, определение того, в каких столбцах могут быть значения каких признаков, возможность динамической замены определений методов при необходимости их локального переопределения, техника аннотирования диаграмм типами, распределение оптимизации по этапам компиляции диаграмм, перенос правил статистического анализа в систему диаграмм, техника сопряжения диаграмм, реализующих команды, со средствами Python, возможность выделения фрагментов таблиц, к которым применяются статистические методы, возможность обеспечения просмотра пользователем результатов отбора данных.
13/06/2024
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась техника реализации бета-редукции с возможностью избегания коллизии переменных, техника структурированной визуализации диаграмм, в том числе вложенных, способ передачи кода для разнесения синтаксического разбора термов и их семантической обработки, возможность перехода из визуализатора диаграмм к коду диаграммы, представление диаграмм в формате SVG в серверной части визуализатора, структура спецификации блока, содержащей сведения о блоках, выходных узлах, различных правилах соединения блоков, представление спецификации в формате .dot, присоединение обработчиков к активным блокам, размещение текста внутри блоков.
10/06/2024
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалось определение схемы и типов столбцов для таблиц в системе статистической обработки, технологии сбора данных, разбросанных по разным фрагментам состояния, редактирование типов данных в столбцах, способ хранения информации о типе в состоянии системы, добавление подсказок к сведениям о добавлении атрибутов, возможности классификации элементов объяснительной системы, возможность использования элементов глоссария с учётом контекста появления термина, техника работы с текстами при помощи ссылок, возможность вставки шаблонов JavaScript, возможности отображения текстов в различных средах (в браузере, в Excel), использование различных стратегий редукции для вычисления форм специального вида, возможность использования для их поддержки многопоточных вычислений, передача информации о характере редукции из внешней функции.
06/06/2024
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались особенности реализации редукции для ламбда-термов реализации процессов, возможности унификации редукционных правил для различных частей проектов, возможность кеширования результатов редукции, в том числе результатов обработки внешних объектов для среды исполнения, взаимодействие механизмов кеширования со сборщиком мусора, логика работы пользователя с системой статистической обработки, отделение редактора атрибутов от редактора данных, расстановка ограничений на применение действий на основе загруженных данных пользователя, соотнесение атрибутов с пользовательскими типами данных и их хранение в общей рабочей области, поверхностная проверка типов, позволяющая в ряде случаев ослабить типовые ограничения, возможности обхода ограничений при доступе к репозиторию Docker, возможности использования фреймового описания статистических методов для автоматической генерации примеров.
03/06/2024
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались сравнительные преимущества использования различных средств создания Docker-образов для разрабатываемых программных систем, возможность использования различных стратегий редукции по отношению к представлению редуцируемых термов, возможность отметки термов для немедленной редукции или, наоборот, откладывания редукции, способы сохранения выполненных редукций вместе с термом – результатом редукции, возможность редукции редукционных цепочек как объектов особого вида, возможность описания условий, накладываемых на исходные данные и результат применения статистических методов, как фреймов особого вида, возможность связывания таких фреймов с объяснениями, возможность генерации задач для практикумов с учётом необязательных атрибутов, возможность определения синтаксических конверторов для семантической разметки.
27/05/2024
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась возможность представления термов объектами, в которые допускается включение внутренних литералов, эффективная реализация редукции термов, возможность мемоизации результатов редукции, формирование структур данных при помощи конструкции letrec с возможностью использования различных стратегий редукции, использование для хеширования словарей, в которых ключами являются объекты, техника компиляции внешних функций, профилирование с использованием средств логирования редукции, формирование правильной стратегии редукции, группировка правил по типам объектов, к которым они применяются, изменение определения редукции замыкания, средства шаблонизации для проноса вычислений сквозь структуру терма, определение типа внешнего объекта, представляющего терм.
20/05/2024
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась реализация функций обработки списков и SQL-подобные функции для системы концептуального оценивания и статистической обработки, реализованные в комбинаторной технике, выделение специального репозитория сервисных функций, который может быть подключен как директория, использование комбинатора цитирования для формирования формул, которые передаются как часть пользовательских настроек, отображение результатов анализа критериев в зависимости от идентификации пользователя, комбинаторы высокого уровня для обработки списков, опыт использования цитированных термов для преобразования таблиц, функции манипулирования свойствами объектов, разделение контекстов и выделение контекста приложения.
16/05/2024
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались системные средства для управления типом загружаемых файлов, технология определения и удаления «лишних» диаграмм, возможность расширения этой технологии до технологии масштабирования системы, возможность управления полями заголовков таблиц, временные характеристики обработки, приписывание приоритета вычислениям, о необходимости достаточной поддержки языка процессов внутри языка диаграмм, а также более полной поддержки ламбда-термов, возможности использования технологии Smile для анимации SVG, особенности экспорта элементов SVG в редакторе IncScape, возможности применения трансформаций к элементам группы, реализация практической комоненты обработки файлов.
13/05/2024
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась техника проверки соответствия расширения файла его содержимому, работа с библиотекой papaparse, техника работы с таблицами Excel средствами JavaScript, инструментарий для обработки диаграмм, возможность добавлять теги к термам и к диаграммам, техника управления узлами диаграммы на основе тегов, возможность встраивания одних диаграмм в другие, разделение встраиваемых диаграмм на уровни по методу представления в готовом продукте, работа с редукцией за счёт подстановки и за счёт упрощения, возможность вызова на всех уровнях преобразования процесса, нацеленного на упрощение процесса, способы пометки и типизации диаграмм, эффективные методы обработки массива контекстов.
09/05/2024
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась техника использования диаграмм при генерации элементов формы, отладка диаграмм в условиях неправильного места вычисления результата по отношению к взаимодействию форм, управление местом вычисления при помощи параллельных процессов, работа таких процессов для субъектов с различным статусом, отработка форм особого типа, правильная регистрация типов формы, организация форм для специальных субъектов, отображение графа зависимостей термов, представляющих процессы, анализ диаграмм на степень их интерактивности, способы описания примеров использования, использование различных типов графиков, возможность описания интерфейсов статистических методов при помощи фреймов, возможность загрузки электронных таблиц различных типов (xls, ods).
06/05/2024
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы использования системы отладки примитивно рекурсивных функций, способы подключения к LSP-серверу и настройки такого подключения, практическая отладка механизмов поддержки библиотек JavaScript для работы с ламбда-исчислением, механизмы управления настраиваемыми частями маскотов для имитационных обучающих систем, согласование механизмов управления с семантикой, генерация набора управляющих элементов для семантических механизмов, отображение управляющих механизмов в набор компонентов React, связывание таких компонент с частями описания изображения в формате SVG, прототипирование компонент управления.
02/05/2024
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности описания семантических признаках в имитационных моделирующих системах, формирование пространства признаков в виде декартова произведения различных признаков, выявление семантически осмысленных траекторий в пространстве признаков, техника управления графическим представлением элементов системы при движении точки по траекториям, возможность абстрагирования функции задания графического элемента в гомотопической теории типов, техника абстрагирования для разных видов построения базового типа (упорядоченная пара, зависимая пара), представление термами конструкций языка процессов.
29/04/2024
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась концептуализация способов обращения к методам в системе статистической обработки, проектирование языка генерации отчётов, способы управления процессами, в том числе организация взаимодействия параллельных процессов, способы представления примеров действия системы, методы генерации объяснений в рамках объяснительной компоненты, реализация квазиреляционных операторов и их интеграция в систему, методы представления графической информации, способы неравномерного масштабирования при графическом представлении, способы вложения в систему информационных материалов, технология создания обучающего массива, способы представления семантики в имитационных системах.
26/04/2024
В НИЯУ МИФИ прошёл Научно-технический семинар «Комбинаторная логика и фундаментальные основы вычислительных технологий». Семинар был посвящён 100-летию с опубликования М. Э. Шейнфинкелем статьи по комбинаторной логике, положившей начало развитию аппликативных вычислительных систем АВС. Результатом исследований в этой области стали вычислительные и логические формализмы, составляющие фундаментальную основу языков программирования и вычислительных технологий: теория комбинаторов и суперкомбинаторов, лямбда-исчисление, теория типов и др. Поздравляем сотрудников ЮрИнфоР к.т.н. Исмаилову Л.Ю. и Косикова С.В., выполнивших доклад на тему "Предметно-ориентированные системы типов в формализме Черча и Карри".
25/04/2024
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы конфигурирования сервера для работы системы статистической обработки, в частности, настроек MySQL и GitLab, способы генерации текстов в системе статистической обработки, представление преобразуемых форм при помощи специализированных комбинаторов, возможность различного представления примеров использования системы, в том числе использования реляторов для генерации текстового представления примеров, вопросы разметки управляющей информации для имитационных моделирующих систем, поддержка схемы генерации семантических признаков, границы понятия семантического признака, рассмотрение семантических признаков как вариантов означивания, взаимосвязь формальных систем и систем поддержки фреймов, возможности использования языка JSX и его настройки для отработки семантики.
22/04/2024
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались средства преобразования концептуальной информации, способы преобразования описаний предметной области в специализированном формате XML в информацию, управляющую имитационной информационной системой, средства преобразования информации из формата текстового процессора в формат управляющей информации, выделение конвертируемых информационных элементов, способы развития входного формата и настройки средств преобразования при расширении языка описания формата, возможность сбора статистики и генерации нестандартных элементов управления, критерии выбора языка реализации средств преобразования.
18/04/2024
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы представления моделирующих систем на теоретико-категорной основе, возможные способы определения метапрограммирования категорными средствами, работа с компонентами типов форм для поддержки статистической системы, техника формирования ссылочных текстов, распределение формирования параметров между серверной и клиентской частью, программное обеспечение для определения сложности по Колмогорову последовательностей чисел, возможные техники введения анализа временных рядов, уточнение характеристик признаков данных, описывающих временные ряды, возможность использования механизма контрольных точек для демонстрации примеров применения системы, техника формирования пояснений при работе моделирующей системы, необходимость согласования пояснений со способами формирования набора примеров.
15/04/2024
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались средства управления образами Docker для определения актуальных образов, установления зависимостей образов друг от друга, использование Union FS, поддержка дисциплины хранения и удаления образов, добавление в статистическую систему средств просмотра и регистрации пользователей, уточнение интерфейсных элементов, реализация кнопки с семантическим признаком типа действия, проектирование аппликативного языка определения семантики формы, возможность выделения классов семантических признаков, определения средств связывания представления с классами семантических признаков, редактирование типов (в том числе перечислимых), представление материалов, комментирующих систему, а также примеров её применения.
11/04/2024
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалось развитие систем отладки для ссылочно прозрачных языков, абстрактная машина для вычисления примитивно рекурсивных функций и компилятор к ней, подход к отладке на основе статического анализа термов и выделение семантически эквивалентных термов, поиск минимального по длине канонического представителя классов эквивалентности, задание правил редукции для поиска такого представителя, методы сокращения пространства поиска (в том числе использование для этой цели типизации), возможность подбора терма наименьшей длины для выражения конкретной последовательности и использования этой возможности для отладки, возможность подбора терма по протоколу его использования, дидактические приёмы по удержанию внимания пользователя.
08/04/2024
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалось управление стилями для системы статистической обработки, включающее варианты общего решения для подсистем, развертываемых на сайте организации, задача формирования файлов уточнённого управления стилями, размещение таблиц стилей на разных серверах, использование React Developer Tools, использование скрипта для автоматизации запуска приложений с Packed JS, использование средств неявной типизации при разработке библиотек JS, абстрактная машина вычисления примитивно рекурсивных функций и её использование для тестирования систем переписывания (в том числе системы редукции, лежащей в основе системы статистической обработки), определение языка процессов и введение комбинаторных конструкций для работы с историей.
04/04/2024
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались проблемы развертывания системы статистической обработки на сервере, обеспечение работы с базой данных sqlite, возможности использования npm image в процессе сборки системы, создание контейнера и монтирование в него директорий в случае, когда он создаётся внутри другого контейнера, использование системных утилит, фиксация информации об учётной информации разрабатываемых проектов, централизация администрирования, возможности презентации имитационных обучающих систем, технологии отладки систем, развитие архитектуры, отработка логики проведения обучающего сеанса, возможность типизации управляющей информации. Обсуждалась также публикационная активность.
01/04/2024
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалось развертывание системы статистической обработки на сервере, использование системы CI/CD для запуска pipeline, выделение этапов сборки, формирование Docker-образа (определение имени образа, наполнение содержимым), сборка образа, обеспечение правильной установки сторонних программ (интерпретатор Python), запуск образа в виде контейнера, получение доступа к серверу, определение локальной сети, управляемой Docker, и подключение к ней контейнеров, техника обновления сертификатов для сервера (в том числе добавление поддоменов), представление базы данных для системы, техника подключения стилевых файлов, возможности документирования статистической системы, включающие выделение критериев, по которым производится сопоставление.
28/03/2024
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности альтернативного представления выражений функционального языка для отладки, специфику отладки бестиповых и типовых языков (в том числе языков с зависимыми типами), средства автоматизации развертывания механизмов скачивания артефактов, задача соединения результатов сборки в единый артефакт, который можно положить в реестр Docker, вопросы авторизации при доступе к реестру, возможность запуска системы разворачивания одной командой, классификация фактов статистической системы на факты о данных и метаданных, возможность получения пояснений по фактам с учётом расширенного контекста получения фактов, описание системы в сравнении с аналогами.
25/03/2024
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась модель описания данных и метаданных в npm-менеджере пакетов, описание файла конфигурации для этого менеджера, возможность запуска Visual Studio Code в пакете, создание установочного скрипта, особенности выполнения сборки пакета, система развертывания версий для системы статистической обработки, выделение логических этапов развертывания, способы идентификации версии сервера в локальной сети, обеспечение SSL-шифрования, настройка .htaccess, необходимые поддерживающие технологии, возможности решения проблем безопасности на GitLab, возможность подготовки материалов для внешнего представления, проблемы создания документации.
21/03/2024
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась возможность рисования графиков с произвольными масштабами по осям, возможность организации всех интерфейсных элементов в единой форме, организация доступа к системе статистической обработки по URL, средства авторизации пользователя, использование корректной схемы базы данных, оформление части информации в виде скрытого состояния, возможность организации тестовой площадки для системы, средства измерения времени формирования рекомендаций, техника частично применённых диаграмм, сборка контекста применения правил по частям, возможности по организации объяснительной системы на фактах, возможности вставки формул LaTeX в пояснительные материалы.
18/03/2024
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась работа с внешними объектами типа Process средствами LambdaJS, в частности, обработка процессов, которые являются оберткой над ламбда-выражением, расширения компилятора для языка диаграмм, аппликативный язык для синтеза текстов, возможности комментирования фактов, полученных в результате статистической обработки, формат представления глоссария для системы, структура файлов Help-подсистемы, возможность представления примеров использования системы в виде, обеспечивающем непосредственное выполнение примеров, возможность связывания описания статистических методов с процедурами вызова методов.
14/03/2024
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности включения отдельных методов расчёта в типовую поставку инструментов и возникающие при этом юридические проблемы, реализация механизма подсказок для системы статистической обработки, способы корректного именования обрабатываемых объектов, возможности систематического формирования интерфейса пользователя на основе глоссария, техника конкатенации строк и проведения замен в строке средствами LambdaJS, модификации транслятора аппликативного языка, возможности типизации языка описания моделирующих информационных систем, включающие расширение системы типов для описания предметных областей, вопросы реализации абстрактных методов при разметке TypeScript с помощью JSDoc.
11/03/2024
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались изменения управляющего механизма системы статистической обработки в их связи с интерфейсом, изменения в трансляторе языка диаграмм, обработка взаимных ссылок блоков диаграмм при помощи комбинатора неподвижной точки, добавление редукции для обработки словаря процессов, средства трассировки, рассматриваемые как средства метапрограммирования, способы управления приоритетом редукции комбинаторов, вопросы корректного документирования системы, техника определения пользовательских предикатов для имитационных моделирующих систем, генерация функций работы с историей информационных элементов, способы защиты от некорректных действий пользователя при определении предикатов, возможности использования TypeScript для типизации определяемых предикатов.
07/03/2024
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалось согласование кода прототипа объяснительной системы и основного кода системы статистической обработки, структура факта системы, возможность разработки сквозного примера применения системы, механизмы асинхронного взаимодействия с сервером статистических вычислений, инструментальные средства поддержки разработки и способы их использования в практических проектах, возможности учёта истории взаимодействия пользователя с системой в моделирующих системах, возможности введения и обработки термов в системе модальной логики, преимущества и недостатки использования модализированных средств логического вывода, состав и структура базы знаний моделирующих систем.
04/03/2024
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались интерфейсы компоненты ввода данных системы статистической обработки, преобразование данных и ведение списка примененных преобразований, возможность преобразования синтезируемых форм, представление результатов массового анализа, возможность обеспечения однородности среды на базе языка диаграмм, возможность обеспечения обратной совместимости при развитии языка диаграмм, ведение базы определений для языка диаграмм, возможность переноса обработки части диаграмм на этап трансляции, возможность взаимно рекурсивного использования диаграмм, разработка прототипа планирующей компоненты системы, определение семантических признаков для описания предметных областей моделирующих систем.
29/02/2024
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались библиотеки синтаксического разбора на языке Python, вопросы архитектуры приложения для статистической обработки, в том числе возможность выделения уровней диалога и развертывания диалога на различных уровнях, способы представления информации для пользователя, функциональный подход к обработке данных, предполагающий невозможность произвольных модификаций в ходе обработки, возможности соотнесения понятий пользователя о предметной области с понятиями, используемыми системой, создание глоссария терминов, выделение динамически определяемых действий, описание действий по отладке моделирующих систем, унификация кодовой базы ведущихся проектов.
26/02/2024
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Рассматривались способы представления контекстов правил для подсистемы рекомендации системы статистической обработки, возможность проверки наличия и/или отсутствия фактов определённого вида, представления списков получаемых фактов, интерфейсные решения, позволяющие получать рекомендации в ходе работы, способы дополнительной проверки состава фактов, а также возможности автоматического построения порождающей грамматики для набора текстовых образцов с помощью нейросети.
22/02/2024
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Рассматривались функции отладки для системы поддержки вычисления рекурсивных функций, техники определения формальных языков системы, в том числе с поддержкой макрогенерации, способы фиксации результатов массовой обработки для системы статистической обработки, способы формирования списков свойств, отработка ответов на действия пользователя, возможные способы трактовки контекста, в том числе возможность рассмотрения полученных фактов как части контекста, работа с глобальными данными, возможность однократной установки глобальных данных для конкретного правила, два способа уточняющего планирования, модульный рефакторинг библиотеки LambdaJS для обеспечения ссылочной прозрачности инструментов, в том числе проблемы текущей реализации инструмента и возможности будущего подхода.
19/02/2024
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Рассматривались функции обработки данных для системы статистической обработки, соответствующие операциям реляционного исчисления, способы представления логически взаимосвязанных действий при выполнении статистического эксперимента, методы группировки фактов для генерации отчёта, способы описания истории проведения эксперимента при помощи специализированных фактов, фиксируемых в базе, методы организации сопоставления фактов для отслеживания информационной трассы объектов, способы массовой генерации фактов с использованием средств JavaScript, возможности представления отрицательных фактов и необходимость таких представлений.
15/02/2024
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Рассматривалось представление управляющего механизма в системе статистической обработки в виде совокупности абстрактных диаграмм, обеспечение конфигурируемости как на уровне всей системы, так и на уровне отдельных элементов статистического эксперимента, обеспечение контекстности, понимаемой как параметризуемость элементов эксперимента, возможность объявления пользовательских типов данных в LambdaJS, возможность поддержки параметризованных и зависимых типов, организация составление частично заполняемой формы, пользовательские настройки системы, определение типа данных и генерация документа для подсистемы генерации отчетов.
12/02/2024
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Рассматривалось расширение транслятора языка диаграмм для обработки строкового представления типа, генераторы сигнатуры в LambdaJS для системы статистической обработки, развертывание средств отладки в системе поддержки рекурсивного программирования, генерацию строкового представления для рекурсивных объектов, использование правил семантически эквивалентных преобразований для рекурсивных объектов, технология фиксации результатов обсуждения, возможность использования LSP-сервера, возможности использования нейрографики для оформления разрабатываемых продуктов.
08/02/2024
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Рассматривались методы конфигурирования моделирующих систем за счёт использования семантических функций или за счёт данных, включаемых в форму, возможные способы определения семантических функций, возможности реализации и поддержки аксиоматических систем средствами поиска доказательства, статус открытых формул при доказательстве, использование открытых формул в качестве аксиом, вопросы организации интерфейса для системы статистической обработки, способы представления правил планирования статистического эксперимента средствами языка диаграмм, возможности определения методов статистической обработки по типам обрабатываемых данных, возможность генерации контекстов для методов, диагностика ошибок при компиляции ламбда-термов.
05/02/2024
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалось прототипирование компоненты планирования для системы статистической обработки, необходимость эмуляции языка процессов, структура базы фактов, полученных при обработке, определение правил планирования статистической обработки, язык правил аппликативного типа (учитывающего контексты), возможность определения характеристик данных по таблице данных, поддержка диалектов JavaScript средствами Babel (в том числе упрощение пользования языком LambdaJS и поддержка его средствами редактора), добавление к языку процессов новых типов процессов для манипулирования метками процессов, возможности диагностики ошибок в языке процессов, схема формирования процесса моделирования для имитационных моделирующих систем.
01/02/2024
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась техника включения метапеременных в аксиомы при доказательстве формул методом Бета, возможности получения контекстно-зависимых объяснений в системе статистической обработки, способы компоновки отчёта для этой системы, формат соответствующих объектов представления.
29/01/2024
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности получения общей функции генерации отчёта для системы статистической обработки, возможности адаптации языка процессов для представления его в виде набора комбинаторов в системе с зависимыми типами, возможности компиляции JavaScript при помощи Babel, использование XML-подобных языков в рамках JavaScript’а, возможности учёта семантики языка процессов при определении таких языков, отладка имитационных систем описания предметной области.
25/01/2024
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались сигнатуры функций для поиска доказательства формул методом Бета, техника доказательства при наличии предметных аксиом, обработка способов расширения интерпретаций при выводе, свойства устойчивости модели при проведении доказательства, использование аксиомы подстановки, использование общих конструкций языков программирования при поддержке вычисления рекурсивных функций с возможностями отладки, пакет тестирования с использованием JSX для системы статистической обработки, возможность использования семантических сетей для управления системой.
22/01/2024
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалось тестирование конструкций языка процессов, техника приостановки и возобновления процессов, динамическая замена фрагментов процессов, управление ячейками рабочей области при помощи процессов, средства поддержки инструментальной системы вычисления рекурсивных функций с возможностями отладки.
18/01/2024
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждался механизм частично заполняемых форм для системы статистической обработки, объяснительная компонента системы статистической обработки, представление итогового отчёта о работе с системой, возможности его управляемой компоновки, использование частично заполняемых форм для организации интерфейса, взаимодействие процессов через систему меток и статус-объектов, взаимосвязь этой техники с семантикой программирования с продолжением, семантика Крипке для шкал с линейными отношениями достижимости, транспортировка в системе гомотопических типов и её взаимосвязь с конструкцией зависимой пары.
15/01/2024
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась модель пользователя моделирующей обучающей системы, состав модели, способы компоновки модели из переменного набора признаков, способы связывания с признаками управляющих процедур, способы определения и означивания семантических процедур, соотнесение набора процедур с классами пользователей системы, способы определения целей взаимодействия пользователей с системой, проблемы калибровки функций оценки, способы комбинирования претестинга и прохождения системы, возможности использования модализированного описания взаимодействия пользователей с системой.
11/01/2024
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась оптимизация логического вывода в системе вывода типов, техника включения в выводы пользовательских аксиом, обработка составных логических выводов на основе анализа элементарных высказываний, оптимизация вычисления строкового представления доказательств, определение правил манипулирования частями логических выводов, особенности поддержки равенства в системе Idris (необходимость установления равенства объектов различных типов) и возникающие отсюда проблемы программирования, поддержка и использование специальных конструкций React, техника управления воспроизведением звука в ходе работы с обучающей системой, уточнение иерархии компонентов интерфейса, методы конфигурирования управляющих механизмов обучающих систем.
28/12/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалось построение модели маскота для вопросно-ответных информационных систем, способ типизации элементов модели маскота и параметризации соответствующих типов, взаимосвязь типизации элементов с функциями графических пакетов, способ реализации динамического представления объяснительной компоненты с помощью форм React, активные и пассивные формы для интерпретации языка диаграмм, способы полиморфной типизации форм, алгебраические средства описания конструкций форм, способы учёта предметных аксиом при построении деревьев вывода и заполнении таблиц Бета, использование структурных правил для работы с предметными аксиомами, оценки сложности построения вывода и времени работы программ, способы использования для построения вывода отношений эквивалентности на множестве переменных.
25/12/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась техника передачи функций как параметров процесса в языке процессов, набор специализированных комбинаторов для работы с историей процесса, средства компиляции функций языка процессов в JSON, вопросы преемственности в структуре кода, круг возможных пользователей технологии, вопросы разъяснения различий между сериализацией процессов и их маршалингом, возможности отделения обработки данных от самих данных, организацию канала передачи данных для сериализации, связь динамической сериализации с технологией тестирования, демонстрация техники управления контекстами, прототип типизации языка диаграмм, описание эмоциональной модели для информационных систем.
21/12/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалось расширение алгоритма Бета для классической логики, включая представление контрпримеров для недоказуемых формул, возможность оценки временной сложности алгоритма, включая её зависимость от компилятора, использование переменных для согласования типов, организация средств рассуждения о выражениях теории, уточнение типов процессов для языка процессов, проект поддержки решения задач в области дискретной математики, особенности организации проектов в Python, выделение для системы статистической обработки класса пользователей, заинтересованных в значениях критериев, модель пользователя в информационных системах, допускающая возможность настройки.
18/12/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась задача управления репозиториями на разных серверах, возможности поддержки карты технологий средствами Obsidian и языка диаграмм, система сборки Gradle под Java и её использование при разработке информационных систем вопросно-ответного вида, возможности единообразного представления таких систем, задание стратегии формирования вопросов пользователю системы, выявления возможностей и ограничений средств описания предметных областей для рассматриваемых систем, в том числе приписывание семантических тегов, стратегия абстрагирования и проект изменения библиотек, техника преобразования замкнутых таблиц Бета в доказательства генценовского типа.
14/12/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалось представление контрпримеров для формул, возможности использования исчисления высказываний или ограниченного исчисления предикатов, реализация итерации по методу Бета, возможности определения типов формулы, обеспечивающих отображение того, найден контрпример или нет, способы обработки контрпримеров для составных формул, проблема связывания при заворачивании формы подчинённого процесса в ячейку для системы статистической обработки, способы представления параметров для глубоко вложенных структур, вопросы сближения низкоуровневого языка с языком диаграмм, вопросы отладки прикладных моделирующих систем.
11/12/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалось встраивание критериев в систему статистической обработки, добавление рабочих ячеек в обрабатываемые таблицы, техника тестирования статистических критериев, конфигурирование объяснительной подсистемы, индукция в доказательствах, построенных в системе исчисления секвенций, поддержка методов типизации доказательств средствами системы Idris, поддержка метода семантических таблиц Бета, возможности поддержки конструкций гомотопических типов средствами Idris, автоматизация поиска контрпримеров для формул, возможности использования средства статистической обработки.
07/12/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалось использование исчисления секвенций для моделирования логики в системах типов, роль теоремы дедукции в построении корректных доказательств, использование вывода из посылок, практические приемы построения доказательств, возможности интерпретации правила сечения, сопоставление доказательств с ламбда-исчислением с символами де Брейна, доказательства эквивалентности формул и их конъюнктивных нормальных форм, методы обработки ячеек таблиц в задаче статистической обработки, изменения логики применения правил для генерации документа Office, возможности обработки в документах вложенного набора тегов, выделение фронт- и бекенда для системы поддержки разработки моделирующих систем.
04/12/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась возможность автоматизированного построения доказательства формулы по замкнутой системе семантических таблиц Бета, случаи возникновения незамкнутых таблиц Бета, возможности использования интерполяционной теоремы Крейга, функции для инициализации систем поддержки моделирования предметной области, техника поддержки доказательств средствами системы Idris (в том числе введение предикатов как специализированных семейств типов), техника избегания взаимной рекурсии при доказательстве, способы оформления ячеек для системы статистической обработки, техника тестирования методов статистической обработки, функция генерации шага обследования предметной области в моделирующих системах, элементы представления модели пользователя.
30/11/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалось соотношение теорий и их моделей, применимость понятий общезначимости и доказуемости при применении теории к практике, феноменологический подход к построению теорий и способы их соотнесения с моделями, интерпретатор правил для конверсии текста, реализация правил, не связанных с обработкой внутренней структуры абзаца, обработка ситуации, когда ни одно правило не применимо, существование формул, недоказуемых в терминах таблиц Бета, возможности синтеза доказательств средствами системы Idris, развитие библиотеки поддержки процессов для задач статистической обработки, включающее механизм корректной типизации, добавление новых методов статистической обработки, документирование программы конверсии текста.
29/11/2023
Состоялось очередное заседание семинара «Семантика запросов к графовой СУБД». Обсуждались новые типы, реализованные в системе поддержки графовых запросов, в том числе тип сигнатуры, тип множества сопоставления, добавление операций над множествами узлов графа, вопросы сохранения целостности сопоставлений в ходе работы системы, реализация операции отрицания.
27/11/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы типизации рекурсивных структур построения типов, возможности построения и проверки корректности программ на основе предусловий и постусловий, возможности отображения таких условий средствами теории типов, средства практических языков программирования для определения функций с переменным числом параметров, способы построения типов при помощи рекурсивных операторов, способы программирования среды поддержки примитивно рекурсивных функций и возникающие проблемы с использованием памяти и времени, средства встраивания таблиц Бета в систему поддержки типов, в том числе использование правил вывода, методы сохранения истории работы в терминале, язык конфигурирования обработки документов.
23/11/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждался набор отладочных возможностей для функциональных языков, включающий, с одной стороны, контрольные точки, с другой стороны, возможность изучения вложенных контекстов, в том числе контекстов частично вычисленных функций, реализация методов семантических таблиц для поиска доказательства формул, включающих построение доказательства корректности для предъявляемого вывода формулы, методы манипулирования доказательствами, позволяющие осуществлять переход от доказательств в стиле Генцена к доказательствами в стиле Гильберта, структура и способы задания правил для обработки текстовых документов.
22/11/2023
Начал работу семинар «Семантика запросов к графовой СУБД». Семинар предполагается сделать постоянно действующим. На первом заседании обсуждались способы оптимизации составных запросов, учитывающих связи вершин, техника выражения рекурсивных запросов, способы поиска бинарных деревьев, возможности обработки метаграфов внутри мультиграфовой структуры, возможности сопоставления реляционных и графовых СУБД.
20/11/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась задача поддержки правил вывода для ограничений применимости подстановок в языке форм, способы проверки корректности и полноты для формул, выражающих такие ограничения, применимость метода семантических таблиц Бета, техника формализации поиска доказательств для формул указанного вида в системе Idris, включающая возможность обработки доказательств в стиле Гильберта и в стиле Генцена, возможности упрощения работы с эквивалентностями, сравнительная техника оформления доказательств в Haskell и Idris, архитектура проекта поддержки булевых функций, способы абстрагирования правил преобразования документов Word, вопросы тестирования моделирующих систем.
16/11/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможные расширения языка форм, включающие возможность представления доказательств над языком форм в виде свободной монады, определения эквивалентности над языком форм, возможность подключения средств Idris для доказательства эквивалентностей, использование при доказательстве взаимодействия с контекстом, определение конъюнкции доказательств и дизъюнкции дизъюнктов, техника поиска логического вывода, система вычисления булевых функций, конверсия описаний предметной области специального вида из формата Word в XML, техника отладки, возможные определения метаграфа для языка графовых запросов.
13/11/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась возможность типизации для языка графовых запросов, типизация сопоставлений, представленных в виде объектов Json, режимы поддержки ограничений в системе поддержки зависимых типов, логика, которой подчиняются ограничения, реализация логики ограничений в системе Idris посредством приведения к КНФ, рекурсивная работа с контекстами, в которых строится доказательство формулы, задающей ограничение, развитие языка форм, в том числе добавление составных форм.
09/11/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась алгебра форм для описания семантики языка, техника доказательств свойств форм в системе Idris, придание семантики составным формам, взаимодействие языка форм с компонентами React, семантика языка процессов с точки зрения разработки моделирующих систем, определение процесса игры на языке процессов, методы конфигурирования интерфейса (записанного на языке процессов) и набор необходимых для этого параметров, транспортировка в функциональных пространствах в гомотопической теории типов, нотация Фитча для древовидных структур.
06/11/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась модель взаимодействия на основе теории зависимых типов, техника задания булевых функций и исследования их свойств, отличия формы реакции пользователя от формы представления контента, техника схематического описания процесса моделирования, возможность вложения описания моделирования в гомотопическую теорию типов, уточнение способов работы с составными формами, представление низкоуровневых форм React-компонентами, возможность статической проверки корректности задания формы, погружение низкоуровневых форм в язык процессов.
02/11/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась модель пользователя, взаимодействующего с моделирующей системой, включающая историю взаимодействия пользователя с обучающими элементами, обеспечение её тонкой настройки за счёт статического и динамического конфигурирования, разработка файлов Docker для запуска моделирующих систем и многофункциональных порталов, использование низкоуровневых форм как языковых средств для организации интерфейса пользователей, структура модели взаимодействия пользователя с моделирующей системой, организация настраиваемой базы данных для хранения информации о пользователях.
30/10/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась точечная нотация формул, техника записи скриптов в PowerShell, визуализация информации для моделирующей системы по наследственному праву, экстенсиональность функций в гомотопической теории типов, техника определения частичных функций на синтаксических объектах в метатеории систем зависимых типов, определение понятия низкоуровневой формы для описания моделирующих систем, в том числе способы использования атрибутов в таких формах, определение трансляции семантических форм в низкоуровневые формы, способы использования виртуальных субъектов.
26/10/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась техника работы с архивами базы данных, возможности использования Composer, интерфейс для управления скреперами, использование фреймворка Doctrine для миграции базы данных, конкретные приёмы построения метатеории для описания систем зависимых типов, в том числе методы обеспечения корректной интерпретации, модели систем общего вида для описания предметной области в виде игр специального вида, в том числе набор необходимых моделей и их взаимное влияние, средства взаимодействия с пользователем, средства фиксации статических и динамических знаний эксперта.
23/10/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались методы редактирования связанных динамических объектов, средства извлечения информации из сети Интернет, способы подключения динамических сервисных файлов к компоненте извлечения, взаимодействие между объектным уровнем и метауровнем в среде изучения систем зависимых типов, в том числе введение различных типов метапеременных, обозначающих различные объектные выражения, способы задания ограничений для преобразований объектных выражений теории зависимого типа, способы задания правил вывода, а также система аппликативных комбинаторов проверки формата объектов.
19/10/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались средства редактирования интегрированных объектов на многофункциональном портале с учётом связи объектов, в том числе связи типа «многие ко многим», отображение результатов работы средств извлечения информации из Интернет, форматы представления файлов DOCX и HTML, размещение информации на сервере, подходы к решению задачи укладки графа, различные способы укладки, библиотека TeX для представления логических выводов, теорема о корректности определения подстановки в ламбда-теориях с зависимыми типами, возможности предотвращения комбинаторного взрыва при генерации термов, требования к отладчику моделирующих систем.
16/10/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались средства редактирования интегрированных объектов на многофункциональном портале и связывания таких объектов между собой, установка значений по умолчанию для полей таких объектов, среда для составления и изучения систем зависимых типов, вводимые в этой среде метапеременные, выражения и ограничения на них, синтаксис задаваемых систем зависимых типов, определение ограничений и их свойства, средства задания правил теории, исследование свойств операции подстановки.
12/10/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалось документирование средств загрузки контента, средства автоматизации сбора информации в Web, средства редактирования собранной информации, использование Composer для PHP на основе PSR-4, выбор метода исследования больших данных, предотвращающего выявление несуществующих закономерностей, семантическое масштабирование на основе выделения уровней представления, среда для определения и изучения систем зависимых типов и необходимые для неё метатеоретические средства, средства генерации задач по наследственному праву, методика создания моделирующих систем с генерируемым контентом, архитектура интерпретатора моделирующих систем.
09/10/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались средства загрузки контента многофункционального портала, средства авторизации при загрузке, средства шифрования, способы обмена токенами и время их жизни, использование сервиса выдачи токенов; был выполнен обзор литературы, посвящённой средствам визуализации онтологий, когнитивных карт и подобных им структур, исследовались способы представления визуальной информации в структурах различных размерностей, использование Web-интерфейса, использование семантического масштабирования.
05/10/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась техника dependencies injection, создание объектов при помощи autowire, использование интерфейса для роутинга, внедрение зависимостей при помощи атрибутов, контроллер для авторизации в API, средство трёхмерной визуализации онтологий Ontosphere 3D, задача построения оснований компьютинга на основе теории типов.
02/10/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась техника архивирования материалов многофункционального портала, интерфейсы для архива zip, возникающие проблемы авторизации и безопасности, реализацию скачивания архива, управляемую схемой, средства семантической визуализации графовых структур, в том числе возможные области их применения, взаимосвязь с когнитивными картами, классы потребителей, средства построения и развития слабоструктурированных систем на основе когнитивных карт, выявление классов структур графов на основе средств визуализации.
28/09/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалось архивирование контента многофункционального портала, возможности использования средств архивирования в серверной и локальной конфигурации, возможности задания схемы портала для архивирования, сопоставление возможностей средств архивирования с программой Borg, подъязык форм в языке диаграмм, в том числе вопросы оптимизации представления форм и вопросы их трансляции, техника работы с отдельными полями описания формы, возможности статического анализа форм, разработка курсов в формате SCORM.
25/09/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались права доступа к отдельным директориям многофункционального портала, обеспечение безопасности при работе с платёжными системами, конфигурирование административной панели, миграции генерируемых файлов портала, использование метапеременных в формализации теории типов, синтаксис задания ограничений на метапеременные (в том числе использование для этой цели секвенций), техника выполнения подстановок вместо метапеременных.
21/09/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась задача поддержки миграций для многофункционального портала, использование файлов конфигурации, обеспечение независимости средств конфигурации от пути вызова, способы настройки phinx, использование утилиты Phing.
18/09/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы работы с базой данных на многофункциональном портале (вторизация в базе данных, взаимодействие запросов при вставке в базу данных), а также вопросы идентификации объектов средствами гомотопической теории типов.
14/09/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Рассматривались возможности фреймворка Doctrine, кеширование объектов на многофункциональном портале и модели работы с базой данных, интерполяция строк, SQL parameter binding, построение эквивалентностей в типе зависимых пар в гомотопической теории типов, использование библиотеки Chai для отладки интерпретатора языка процессов, использование кеширования для поднятия производительности интерпретации процессов, возможности сервиса SCORM Cloud.
11/09/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась структура сессии в Code Ignitor, разработка драйвера для сессии, абстрагирование механизмов работы с базой данных, использование prepared-запросов, конструкция match в PHP8, автоматическое предотвращение SQL-инъекций, использование Nginx для доступа к серверу, способы проверки работоспособности Nginx, снабжение языка процессов средствами вывода отладочной информации, процедуры композиции форм для системы статистической обработки, средства символьных и численных вычислений статистических интегралов, стандарт SCORM (структура, достоинства и недостатки, средства навигации по курсу и описания траектории прохождения).
07/09/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы разворачивания приложений и миграции базы данных, использование для этой цели библиотеки phinx, настройка скриптов для обработки ресурсов, поддержка архива видеозаписей о прошедших семинарах, возможности препроцессинга для описания логического вывода в системе типов, способы определения пустых форм в языке процессов, покрытие системы интерпретации языка процессов тестами, способы задания редукции в языке процессов, управление выводом отладочной информации для компонента работы с электронными таблицами.
04/09/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались проблемы безопасности при подключении по SSH-соединению, структура метаданных для описания докладов на семинаре и их автоматическое формирование, способы идентификации (HTTP/Nginx), файловая система davfs2, использование Mathjax для отображения формул, оптимизация размещения классов PHP в исходном коде, оптимизация размещения логических объектов многофункционального сайта в базе данных, вопросы задания ограничений целостности при обработке объектов, способы диагностики ошибок при работе с электронными таблицами, возможности проверки статических ограничений типов в языке с динамической типизацией.
31/08/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались техники переноса информации из файлов в базу данных, роутинг в Code Ignitor (в том числе обратный роутинг), представление статистического анализа в виде набора ячеек, содержащих элемент интерфейса, элемент состояния и таблицу данных, иерархическое представление плана исследования, методы доступа к серверу по SSH, техники обработки данных средствами Bash, построение эквивалентностей в типе декартова произведения в гомотопической теории типов, диагностика ошибок при построении диаграмм в электронной таблице.
28/08/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались варианты представления иерархии объектов в реляционной базе данных, их достоинства и недостатки, использование FOREIGN KEY для управления удалением, автоматизированная обработка формализованных описаний информационных выражений низкоуровневыми средствами Linux, отработка объяснительной компоненты на тестовом примере формирования SQL-запросов, определение гомотопий и эквивалентностей в гомотопической теории типов, отладка средств создания диаграмм внутри электронных таблиц.
24/08/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась настройка редактора групп объектов базы данных многофункционального портала, синхронизация обработчиков событий, связанных с объектами базы данных, управление переупорядочением объектов, использование FOREIGN KEY, транспортировка путей вдоль независимых и зависимых функций в теории типов, описания методов для системы статистической обработки, возможности разработки объяснительной компоненты, средства создания диаграмм внутри электронных таблиц для языка процессов.
21/08/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждался редактор для подсистемы извлечения информации, концептуальная модель данных для многофункционального портала, генерация отчётов и способы управления анализом в системе статистической обработки, коммутативная структура для второго пространства путей в гомотопической теории типов, проведение альфа-конверсии для ламбда-термов и сравнение ламбда-термов с точностью до альфа-конверсии, работа с таблицами в языке диаграмм.
17/08/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались свойства редактора системы автоматического извлечения информации и представление информации в базе данных, корректное удаление информации из базы данных многофункционального портала, использование заголовка REFERER протокола HTTP, анализ конструктивного доказательства свойств операции конкатенации путей в гомотопической теории типов, способы описания статистических методов обработки и генерации отчёта в системе статистической обработки, сохранение истории работы при параллельной работе, организация графиков в формате Open Office XML.
14/08/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались методы доказательства симметричности и транзитивности пропозиционального равенства в теории типов, использование внутренних механизмов TeX для позиционирования блоков, переход на следующую версию PHP на многофункциональном портале, комплексное тестирование базы данных портала, сравнение методов доступа MyISAM и InnoDB, критерии выбора с учётом полнотекстового поиска, способы вычисления ячеек моделируемого ноутбука и набора типизированных функций для этого, добавление типа предложения в систему статистической обработки, графический анализ и планирование работ.
10/08/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась организация разделов на физических дисках, логические диски, шифрование данных для логических дисках, RAID-массивы, генерация текстовых сообщений в системе статистической обработки, методика добавления новых методов в систему статистической обработки, добавление проблемно-ориентированных комбинаторов к описанию пользовательских объектов в языке диаграмм, способы связи используемых и использующих диаграмм. генерацию сообщений для вставки в отчёт.
07/08/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась поддержка различных версий описаний для объектов многофункционального портала, функции добавления в электронную таблицу нескольких диаграмм (в том числе различных типов), работа с заголовками диаграмм, аппаратные проблемы с удаленным сервером, методы работы с группами объектов для задачи статистической обработки, методы автоматизированного анализа наборов диаграмм.
03/08/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась техника распространения библиотек JavaScript и нужные для этого формулировки лицензий, типизация выражений, возникающих при обработке дайджеста, настройка портов для базы данных PostgreSQL, использование Docker через прокси, примеры интерфейсов для работы с сетью понятий, вывод типов процессов в трансляторе языка диаграмм, автоматизация работы с диапазонами в файлах электронных таблиц, обработка ссылок на ячейки при реализации рабочей тетради.
31/07/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась реализация сохранения описания иерархических объектов для многофункционального портала, способы валидации форм описания объектов, индукция и рекурсия для зависимых пар в гомотопической теории типов, способы поддержки ведения истории информационных объектов, запуск методов определённых типов в системе статистической обработки, использование мемоизации при укладке графов, генерация диаграмм в файлах электронных таблиц.
27/07/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась способы описания иерархических объектов с умолчаниями для многофункционального портала, возможные при этом нарушения нормализации, эффекты взаимного влияния различных атрибутов объектов, формальные способы работы с зависимыми парами в гомотопической теории типов, представление методов статистической обработки для согласованной работы в среде JavaScript и среде вычисления ламбда-термов, отображение диаграмм в файлы электронных таблиц.
24/07/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы использования моделей в PHP, техника группировки данных, функции для тестирования использования памяти в PHP, способы поддержки информационных траекторий объектов, сборка проекта генерации электронных таблиц и внедрение в электронные таблицы диаграмм, варианты задачи укладки графа на многообразиях, взаимодействие обработчиков событий в React, определение типа метода статистической обработки.
20/07/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась оптимизация размещения функций управления многофункциональным порталом по файлам, управление административной частью портала, техника оперирования размещением портала, использование React для управления визуализацией проекции графа на плоскость и сферу, техника применения каррированных функций для управления выводом типа, диаграммы для анализа таблиц, генерация диаграмм в электронных таблицах, проверка выполнения предиката в имитационной системе.
17/07/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались функции для обработки ISBN и EAN, разработка форм для описания отдельных классов объектов многофункционального портала, хелперы для работы с таблицами в Code Ignitor, возможности создания хранилища информации, снабженного классификатором, архитектура поддерживающей системы для такого хранилища, его резервное копирование и версионирование, возможности генерации электронных таблиц в качестве отчета, принципы построения системы тестов для статистических методов.
13/07/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались методы определения функций и шаблонов в Twig, аппликативная техника программирования в рамках Twig, определение роутеров и путей в них, средства композиции методов для системы статистической обработки, методы добавления вершин в DOM-дерево в зависимости от положения предшествующей вершины.
10/07/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалось представление объектов многофункционального портала в виде «Модель-Вид-Контроллер», использование Twig для разработки шаблонов, возможности поиска на портале, снабжение страниц ключевыми словами, вложение текстовых описаний методов статистической обработки в систему, возможности визуализации укладок графов на сфере, сопоставление системы Alloy с языком диаграмм, средства представления рекурсии для зависимых пар в системе зависимых типов.
06/07/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались средства редактирования классов объектов многофункционального портала, синтаксис идентификаторов классов, средства архивирования информации, изменения в модели данных, визуализация взаимосвязей качественных признаков, механическая модель визуализации, основанная на расчёте (модельных) сил и энергий визуализируемых объектов, средства работы с зависимыми функциями в системе зависимых типов.
03/07/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались средства архивирования информации с многофункционального портала, средства классификации объектов, возможности автоматического вычисления значений атрибутов, укладка графа на плоскости на основе его представления в виде набора зарядов (соответствующих вершинам) и пружин (соответствующих дугам) с учётом трения.
29/06/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались средства массовой коррекции атрибутов объектов многофункционального сайта и соответствующего ведения истории объекта, средства работы со стилями в электронной таблице, возможности систематического изменения типов характеристик объектов в системе статистической обработки, структура архивов создаваемых материалов и средства доступа к ним, возможности языка обработки данных (Dataview Query Language).
26/06/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались средства редактирования объектов многофункционального портала, находящихся в различных таблицах, а также классов (серий) объектов, различные способы идентификации объектов, методы автоматизации работы с Telegram-каналом, техника работы с переменными при построении двухуровневого языка (метаязыка и объектного языка), техника работы со стилями в электронной таблице, реализация преобразований данных при статистической обработке.
22/06/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалось использование библиотеки D3 JS для отображения графиков, визуализация графа статистических зависимостей признаков, способ задания команд с нижними индексами в TeX, обеспечивающий адаптивность размера вставляемых знаков, способ оперирования блоками в TeX на низком уровне, возможности сравнения TeX и CSS, генерация электронных таблиц с настраиваемым форматом ячеек, в том числе возможности комбинирования форматов.
19/06/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы представления объяснительной системы, интегрированные с представлением конструкций языка диаграмм в виде JSON, подготовка пакета документов, описывающих разрабатываемые программы стандартным образом, автоматизированная генерация стилей и форматов данных в электронной таблице, а также способ представления результата для выкладывания на сайт.
15/06/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась обработка серий объектов портала при их редактировании, мемоизация объектов React при их повторном рендеринге, возможности управления форматом электронной таблицы при генерации отчётов в системе статистической обработки (включая язык задания формата), первичные преобразования данных перед началом статистической обработки. Были также заслушаны и обсуждены уточнения к докладу «Среда для составления и изучения систем зависимых типов».
12/06/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалось распределение функций по генерации отчётов о статистической обработке между клиентом и сервером, возможности использования ламбда-исчисления для представления схемы статистической обработки, элементы табличного интерфейса, использование схемы данных для редактирования объектов портала, возможности преобразования данных в системе статистической обработки, возможности сохранения данных в формате электронной таблицы.
08/06/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Среда для составления и изучения систем зависимых типов». Также обсуждалось использование типизации при редактировании объектов многофункционального портала, генерация отчётов в системе статистической обработки (в том числе основанных на метаданных), техника генерации отчётов о результатах массовой обработки, уточнение интерфейсов.
05/06/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась техника специализированной типизации объектов многофункционального портала, добавление возможности скрывать и разворачивать колонки в табличном интерфейсе, архитектура платформы-агрегатора сведений о субъектах и оценок, настройка резервного копирования (в том числе БД MySQL), а также добавление термов как части состояния системы статистической обработки.
02/06/2023
На сайте ЮрИнфоР открыт доступ к новой версии он-лайн сервиса концептуальной оценки, статистической обработки и анализа данных (КОСА 0.2.0). На ограниченный объемах данных сервис будет доступен студентам, аспирантам и исследователям из разных областей. Сервис может быть использован при выполнении курсовых, дипломных работ и подготовке диссертационных исследований. Сервис представляет собой инструмент поддержки статистического исследования: статистической обработки, анализа и визуализации данных. Мы надеемся, что сервис поддержит образовательные и исследовательские усилия работающих в разных областях, включая финансы, право, социологию, здравоохранение, психологию и другие. Особенностью сервиса является то, что инструменты статистического анализа и обработки данных предоставляются в ходе поэтапного интерактивного взаимодействия, делая его доступным. В текущей версии сервис концептуального оценивания и статистической обработки (КОСА) обеспечивает загрузку данных непосредственно из браузера или из файла стандартного формата, определение признаков данных, выполнение вычислений и вывод результата в текстовой, табличной или графической форме. Использование сервиса бесплатно для данных объёмом не более 50 строк, далее может использоваться на платной основе. Мы будем рады сотрудничать с теми, кто захочет присоединиться к команде разработчиков, в том числе на этапе его тестирования.
01/06/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждался редактор для объектов многофункционального портала, основанный на JSON-схеме, автоматизация создания резервных копий информации портала, сценарии взаимодействия доноров с сайтом-агрегатором, включающие использование систем контроля версий для обеспечения децентрализованной передачи доверительной информации, а также интерфейсные возможности системы статистической обработки.
29/05/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалось представление информации об объектах на многофункциональном портале, набор возможностей, передаваемый для последующего распространения, варианты подключения платежных систем, техника вызова команд статистической обработки из языка диаграмм (команды массового анализа и предоставление возможности выбора анализируемых признаков), разработка сервиса для поддержки путей в системе трассировки лучей.
25/05/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы единообразной настройки начала и конца страниц на многофункциональном портале, решение задачи о принадлежности точки контуру для программы трассировки лучей, методы организации вычислений в параллельных потоках для оптимизации рендеринга DOM-дерева формата SVG, добавление метода массового регрессионного анализа в систему статистической обработки.
22/05/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась интерактивная разметка программы на языке диаграмм, добавление возможностей задания фигур в формате SVG в программу трассировки лучей, возможности манипулирования столбцами таблицы средствами интерфейса, а также способы определения требований к программе курса по сборке ПО с использованием языка модальных операторов.
18/05/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась модель информационного объекта на многофункциональном портале, включающая способы поддержки корректности взаимных ссылок, возможности вывода набора объектов в XML, набор текущих возможностей системы статистического анализа, техника работы с таблицей как интерфейсным элементом. Обсуждалась также программа курса по сборке ПО и программная реализация кванторных операций.
15/05/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались форматы представления интерфейсов методов статистической обработки для автоматизации добавления в систему, а также денотационная семантика для механизма интерпретации модальных операторов.
15/05/2023
Был заслушан и обсуждён доклад на тему «Модель семантического конфигурирования с естественными преобразованиями». Докладчик д.т.н. проф. Вольфенгаген В.Э.
11/05/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы внедрения языков, основанных на модальной временной логике, в средства поддержки моделирующих систем, поддержку интерпретации атомарных предикатов, способы представления информационной траектории модели в виде последовательности объектов, механизмы создания множественных вариантов интерпретации.
08/05/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы поддержки кванторных операций в языке модальной временной логики, вопросы взаимодействия кванторов с модальными связками, способы оперирования элементами интерфейса и объяснительной компоненты моделирующих систем, типизация работы с внешними объектами в библиотеке поддержки ламбда-конверсии, техника задания на процессах предикатов, зависящих от их текущего состояния и истории протекания.
04/05/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались обновления библиотеки поддержки процессов, автоматизация добавления новых методов статистической обработки, поддержка различных правил редукции (в том числе простых редукций и редукционных преобразований), композиции правил редукции, а также техника сборки библиотек поддержки редукции с учётом возможности отладки.
01/05/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалось использование нумералов Черча для поддержки языка модальных операторов, способы поддержки языков с вариабельной интерпретацией, возможности сквозного согласования реакций на действия пользователя. Обсуждались также способы массового вычисления статистических показателей на основе функций высших порядков, создание документации и примеров.
27/04/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась загрузка объектов многофункционального портала в различных форматах, представление информации об ошибочных ситуациях в виде шаблонов, представление файлов конфигурации для обработки различных способов взаимодействия.
24/04/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались доработка страниц представления информации об объектах многофункционального портала, отделение визуализации данных от их представления, способы обработки «пустых» значений, реализация различных способов загрузки данных, в том числе с использованием различных форматов.
20/04/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались представление информации об объектах на многофункциональном сайте, вопросы очистки сервера от неиспользуемых томов, способы настраиваемой загрузки пакетов из директорий локальной машины, использование алгебры конфликтов для описания процессов версионирования.
17/04/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способ представления информации о двуязычных изданиях на страницах многофункционального портала, возможность перевода портала на другие языки, средства обеспечения backup сервера с помощью обратного туннеля с использованием вспомогательного пользователя, обработка неполных данных в сервисе статистической обработки.
14/04/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы обеспечения модульности объяснительной компоненты сервиса статистической обработки.
14/04/2023
Был заслушан и обсуждён доклад на тему «Передний край концептуальной математики и когнитивного моделирования». Докладчик д.т.н. проф. Вольфенгаген В.Э.
13/04/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалось отделение данных от кода при рендеринге страниц портала и возможности средства поддержки статистических таблиц jamovi в сопоставлении с разрабатываемым сервисом статистической обработки.
11/04/2023
На сайте ЮрИнфоР открыт доступ к первой версии он-лайн сервиса концептуальной оценки, статистической обработки и анализа данных (КОСА 0.1.0). На ограниченный объемах данных сервис будет доступен студентам, аспирантам и исследователям из разных областей. Сервис представляет собой инструмент статистической обработки, анализа и визуализации данных. Мы надеемся, что сервис поддержит образовательные и исследовательские усилия работающих в разных областях, включая финансы, право, социология, здравоохранение и другие. Особенностью сервиса является то, что инструменты статистического анализа и обработки данных предоставляются в ходе поэтапного интерактивного взаимодействия, делая его доступным даже для массового использования. В текущей версии сервис КОСА обеспечивает загрузку данных непосредственно из браузера или из файла стандартного формата, определение признаков данных, выполнение вычислений и вывод результата в текстовой, табличной или графической форме. Использование средства бесплатно для данных объёмом не более 50 значений, далее компонента может использоваться на платной основе. Мы будем рады сотрудничать с теми, кто захочет присоединиться к команде разработчиков, в том числе на этапе его тестирования.
10/04/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалось использование CSS для управления отображением многофункционального портала, использование CGI при обработке запроса, отображение метаинформации на страницах портала, варианты определения операций в гомотопической теории версионирования, техника создания инсталляционных deb-пакетов для Debian-совместимых Linux систем, реализация гистограмм для сервиса статистической обработки.
06/04/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались средства статического анализа PHP-кода, генерация классов для роутинга, техника определения сериализуемых комбинаторов на PHP, интерфейсы для работы с SVG, способы обработки исключительных ситуаций при взаимодействии Python и JavaScript, способы представления статистических методов внутри сервиса статистической обработки.
03/04/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась техника работы с типом Option, возможность создания генератора для роутинга, возможность применения комбинационных принципов выделения групп в статистических задачах, возможность использования метаинформации для управления объясняющей компонентой.
30/03/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась возможность реализации параметрической ссылки активации, возможность обобщения механизма ссылок на другие функции многофункционального сайта, способы абстрагирования механизма компоненты подсказки шагов статистического обследования по отношению к состоянию рабочей области.
27/03/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалось использование CodeIgniter для работы со ссылками активации, использование для резервного копирования Borg в обратных туннелях SSH, объём и уровень объяснительной компоненты для статистической задачи, возможность оценки нормального распределения данных, определение структуры сообщений моделирующей системы при помощи флагов.
26/03/2023
На сайте ЮрИнфоР готовится к открытию он-лайн сервис концептуальной оценки, статистической обработки и анализа данных. Сервис будет доступен студентам, аспирантам и исследователям из разных областей. Сервис представляет собой инструмент статистической обработки, анализа и визуализации данных. Мы надеемся, что сервис поддержит образовательные и исследовательские усилия работающих в разных областях, включая финансы, право, здравоохранение и другие. Особенностью сервиса является то, что инструменты статистического анализа и обработки данных предоставляются в ходе поэтапного интерактивного взаимодействия, делая его доступным даже для массового использования. Мы будем рады сотрудничать с теми, кто захочет присоединиться к команде разработчиков, в том числе на этапе его тестирования.
23/03/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась техника работы со ссылками активации, автоматизация тестирования моделирующих систем, средства описания семантики сообщений, автоматическое определение типа загружаемых данных, способы выделения групп данных, обеспечивающие отделение выделения групп от их обработки.
20/03/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась разработка контроллеров для унификации внешнего вида страниц на многофункциональных порталах, логический интерфейс для определения применимости методов статистической обработки, средства группировки данных в таблицах, внедрение клиентской части статистической задачи на PHP с использованием средств Bootstrap и её корректное взаимодействие с сервером, работа с учётными записями.
16/03/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась унификация страниц в библиотеке письменных материалов на портале, расширение функций поиска с использованием контроллера, управление отображением материалов в зависимости от года выпуска, вопросы взаимной конверсии языков программирования, в том числе с использованием chatGPT, внедрение демонстрационной версии задачи на портал.
13/03/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась возможность использования шаблонизатора Twig совместно с классами PHP, отделение шаблонов от логики работы портала, соединение статистической задачи с оформлением меню портала, выделение групп в таблице, возможности встраивания компонент React в произвольное место DOM-дерева.
09/03/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности ввода данных в таблицы в связи с использованием компонентов React, работа с шаблонизатором Twig, используемым в Symphony, использование фреймворка Laravel, методы обеспечения стилистического единства страниц портала, способы упрощения структуры SVG и обеспечения единства цветовой схемы.
06/03/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась установка сертификатов для подключения к git, способы загрузки страниц портала через контроллер для обеспечения единой точки входа, сбор статистики в Яндекс-метрике, возможности стилевого управления элементами графического формата SVG, вопросы импорта данных из внешних файлов.
27/02/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались средства унифицированного управления путями на многофункциональном портале, средства исключения взаимного влияния данных при работе с таблицами, отделение заголовков таблиц от данных, декомпозиция статистической задачи на процессы, средства хранения пользовательских данных в таблицах.
23/02/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались компоненты поддержки таблицы и загрузки таблицы, реализованные в виде компонент React, средства визуализации языка диаграмм, средства сборки моделирующей системы и средства её запуска, подключение компонента отображения ячеек рабочей области для статистической задачи.
20/02/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались методы создания контроллера для обработки графической информации на многофункциональных порталах, вопросы совместимости пакетов при использовании ESLint, запуск numpy и scipy в среде выполнения программы, техника рендеринга таблиц, реализация функций обновления ячеек Notebook с учётом результатов работы средств проверки типов кода.
16/02/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы представления электронных публикаций на многофункциональных порталах, средства решения задач статистической обработки на языке Python, компонент React для работы с таблицей, внешнее представление интерфейса пользователей, вопросы установки рабочей среды, а также базовые и выводимые редукции в теории типов.
13/02/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы инвариантного позиционирования подсистем многофункциональных порталов, варианты формального задания языка форм для сервиса статистической обработки, вопросы внешнего представления рабочей области сервиса в виде системы ячеек, связь рабочей области с объяснительной системой, а также прототип внешнего вычислительного средства на языке Python.
09/02/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Типизация алгебраических структур данных в кодировке Черча и в кодировке Скотта». Обсуждались также возможности формирования контекстно-зависимых панелей на многофункциональных порталах, отображение описания задачи поддержки статистического анализа средствами языка процессов, средства выделения групп данных в таблицах, варианты хранения табличных данных.
06/02/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы реализации непредикативного полиморфизма, способы инвариантной организации взаимных ссылок на многофункциональном портале, организация обращения к внешним вычислительным средствам и безопасной работы с ними, реализация пакета расширения TeX для работы с конструкциями теории типов, а также сравнение средств измерения времени работы вычислимой функции.
02/02/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась типизация конструкторов алгебраических типов данных (в том числе рекурсивных), поддержка работы с состоянием моделирующей системы, возможности представления и обработки таблиц средствами JavaScript, работа с механизмами динамически подключаемых субъектов, а также способы организации связи субъектов.
30/01/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалось представление рекурсивных типов данных в системах полиморфных типов, варианты организации обработки таблиц в сервисе статистической обработки, требования к сервису и его общая архитектура, интеграция внешних вычислительных средств в среду исполнения процессов, расположение управляющих механизмов на сервере или на клиенте, а также методы измерения времени работы вычислимой функции.
26/01/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалось понятие ранга полиморфизма и ограничения на ранг в языке Haskell, средства редактирования меню многофункциональных порталов, способы взаимодействия пользователя с сервисом статистической обработки, вопросы архитектуры имитационных систем, способы описания базовых и производных редукций в языке описания редукций.
23/01/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась поддержка полиморфной типизации высших порядков в языке Haskell, возможность представления статистической обработки данных в виде сервиса, архитектура программного комплекса и представление подготовленных и генерируемых для решения задач на примере наследственного права.
19/01/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Аппликативный язык задания редукционных стратегий». Обсуждались также способы использования Json-схем для задания управляющей информации на многофункциональном портале и варианты конфигурирования базового графа модели для задач наследственного права.
16/01/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности динамического редактирования меню многофункционального портала, примеры использования языка графовых запросов на основе предложенной семантики, а также варианты постановки задач в области наследственного права.
12/01/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Типовые расширения семантики языка графовых запросов». Обсуждались также вопросы использования библиотек синтаксического анализа на многофункциональных порталах и использование признаков объектов в модели для наследственного права.
09/01/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности внесения HTML в описания текстовых объектов на языке MarkDown, возможности получения графического представления отчётов, технологии генерации документации для разрабатываемых библиотек, представление типов в виде объектов системы, а также концептуальная модель для обучающей системы по наследственному праву.
05/01/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались инструментальные средства и их использование на сервере, а также вопросы компиляции JSX в JS.
29/12/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались средства генерации документации в JavaDoc, табличный компонент для моделирующих систем, выделение независимых модулей в проектах, автоматизация генерации графиков для JavaScript, сбор статистических характеристик написанного кода, а также типизация параметров диаграмм.
26/12/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась возможность редактирования JSon в соответствии с JSon Schema и соответствующие инструментальные средства, техники генерации документации по коду, а также обработка пользовательских типов параметров в языке диаграмм.
22/12/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась техника сохранения и перекомпиляции php-файлов при автоматизированной генерации страниц многофункционального портала, способы обеспечения полиморфизма на примере Haskell, а также использование JavaDoc для документирования программ на произвольных языках.
19/12/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы использования регулярных выражений для синтаксического разбора файлов MarkDown, а также способы настройки DNS-серверов для обеспечения безопасной работы.
15/12/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались средства редактирования для языка MarkDown и их интеграция с многофункциональными порталами, возможности авторизованного доступа к сервисам через шлюз, а также возможности уточнения характеристик отдельных шагов диалога с моделирующей системой.
12/12/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы редактирования php-страниц со смешанным содержимым (содержащих текст и код, поддерживающий логику работы страницы), а также возможности автоматизированного получения графических представлений состояния моделирующей системы для последующей обработки.
08/12/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались средства погружения редактора языка MarkDown в среду Node, определение JSON Web Token и его использование в web-разработке, вопросы проверки корректности типов параметров диаграммы, а также способы фиксации семантических ошибок в моделях.
05/12/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась кодировка Скотта и её использование для представления алгебраических типов данных, вопросы тестирования моделирующего программного обеспечения, средства запуска npm-скриптов в составе npm-пакетов, а также способы типизации параметров в трансляторе языка диаграмм.
01/12/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалось поведение во времени для объектов, имеющих время жизни, превышающее сеанс взаимодействия пользователя с системой, параметризация диаграмм с учётом их типизации, возможность использования языка диаграмм для создания сайтов, а также техника синхронизации репозиториев.
28/11/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась возможность использования языка MarkDown в динамических объектах, средства нормализации путей при определении ссылок на внешние пакеты в языке диаграмм, а также средства проверки функционального стиля кода и средства генерации документации.
24/11/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Продолжалось обсуждение задания формул, включающих правила учёта времени. Обсуждалась также система идентификации диаграмм в языке диаграмм, включающая абсолютную идентификацию.
21/11/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы задания формул, включающих правила учёта времени, над реляционной базой данных, варианты загрузки встраиваемых пакетов диаграмм, а также способы обработки параметризованных ячеек в ноутбуках.
17/11/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы определения полиморфных функций в языке Haskell и его расширениях с использованием различных видов полиморфизма, определение зависимостей пакетов для языка диаграмм, а также способы интеграции языка диаграмм с системой ноутбуков.
14/11/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались техники поддержки временных ограничений, возникающих из юридических требований, ограничения системы типизации Haskell и его расширения для систем высших порядков, а также вопросы обработки исключений при отладке диаграмм.
10/11/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась техника трансляции языка диаграмм, включающая типизацию конструкций средствами TypeScript, способы представления статистической информации о работе моделирующей системы, возможности добавления к визуальным элементам пользовательских классов, а также способы конфигурирования диаграмм в виде рабочей тетради.
07/11/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Взаимное расширение целевого языка и вычислительной системы аппликативного типа».
03/11/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы моделирования связей объектов для многофункциональных порталов, ленивый язык запросов к графовой СУБД, средства синтаксического анализа и оптимизации диаграмм, а также средства мониторинга активности на сервере.
31/10/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности масштабирования объектов по набору применимых к ним инструментов, выполнение синхронных и асинхронных операций при отрисовке DOM-дерева, особенности сохранения объектов различных версий, а также возможности динамического комментирования отдельных этапов работы.
27/10/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались средства анализа log-файлов и распределения памяти на сервере, вопросы организации многошагового взаимодействия с пользователем, а также вопросы обеспечения обратной связи с экспертом.
24/10/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались методики идентификации объектов на многофункциональных порталах, типы данных как функторы в языках разработки моделирующих систем, в том числе представление рекурсивных типов в виде неподвижных точек, а также поддержка и разрешение ссылок на пакеты.
20/10/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности ленивой загрузки графов объектов на многофункциональных порталах, вопросы обеспечения обратной связи с экспертом, а также способы представления конструкций языков разработки моделирующих систем в виде функторов и применения к ним алгебраических методов.
17/10/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались методы управления путями к компонентам многофункциональных порталов, методы автоматизации размещения демо-версий моделирующих систем, вопросы типизации языков разработки моделирующих систем, а также обеспечения обратной связи с экспертом.
13/10/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы взаимодействия многофункциональных порталов с внешними новостными ресурсами, использование рефлексии для типизации управляющих функций, а также типизация диаграмм средства TypeScript и тестирование моделирующего программного обеспечения.
10/10/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности автоматизированного обновления информации на многофункциональном портале и поддержки связи с каналами социальных сетей, было продолжено обсуждение возможностей формата SVG. Обсуждались также средства тестирования моделирующих систем.
06/10/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности динамической генерации изображений для порталов на основе базы данных, способы идентификации экспертов при тестировании моделирующих систем и способы обработки данных в формате SVG для создания анимированных изображений.
03/10/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась возможность описания специализированных сценариев на порталах, а также техника семантического использования фильтров и трансформаций в формате SVG и возможности типизации представления вычислений в виде рабочей тетради.
29/09/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы ведения истории объектов на многофункциональных порталах, способы сборки отладочной информации для моделирующих систем, варианты представления и описания языка процессов, а также вопросы интерфейса.
26/09/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались средства поддержки перекрёстных ссылок между подсистемами многофункциональных порталов, способы сборки печатного представления материалов, способы внутреннего представления материалов и их разметки, а также ведения статистики.
23/09/2022
Зарегистрировано электронное издание - новая компьютерная обучающая программа Уголовный закон (Версия 1.0с), 2022. Программа включает актуализированный контент." Программа допускает использование под WINDOWS и LINUX. Обучающая программа полезна студентам, практикующим юристам и всем, интересующимся российским уголовным правом. Авторы контента Колодкин Л.М., Васин Ю.Г. Поставка для вузов. № госрегистрации 0322201635. Дата регистрации 01.07.2022. Применение программы позволит освоить основные понятия уголовного права, сформировать умения и навыки по толкованию и применению норм уголовного законодательства, научиться применять положения уголовного закона в конкретных правоприменительных ситуациях. [0]
22/09/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности поддержки интерпретаций модальных операторов в виде абстрактных объектов, сохранения внутреннего состояния моделирующей системы с использованием механизма событий, а также способы генерации печатного представления баз знаний моделирующих систем средствами TeX.
19/09/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности абстрагирования способов обработки объектов моделирующих систем в виде именованных сценариев, а также вопросы тестирования систем при осуществлении навигации между объектами системы.
15/09/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Рассматривались вопросы снабжения моделирующих систем звуковым сопровождением, а также вопросы типизации библиотеки работы с ламбда-термами средствами TypeScript и представления внутренних данных библиотеки при помощи зависимых типов.
12/09/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности множественного выбора объектов в моделирующих системах, использование CI/CD для поддержки библиотек языка диаграмм, управление видимостью отдельных элементов проекта в зависимости от ролей пользователя, а также техника сертификации docker-образов при добавлении на сервер.
08/09/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы сериализации вопросов в моделирующих системах, техника взаимных ссылок диаграмм, текстовое и внутреннее представление ссылок, а также разыменования ссылок на диаграммы в языке диаграмм.
05/09/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались синтаксические средства задания объектов в модели предметной области семейного права, способы задания углублённых стратегий тестирования моделирующих систем, а также возможности множественного выбора объектов.
01/09/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась организация каталога объектов для многофункциональных порталов, предполагающая хранение произвольного числа признаков объектов, вопросы генерации комментариев в объяснительной подсистеме моделирующих систем, а также возможности усечения модели семейного права для генерации информационных элементов моделирующих систем.
29/08/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались варианты организации каталога объектов для многофункциональных порталов, вопросы автоматизации выкладывания версий моделирующих систем на сервер, вопросы переработки транслятора для языка диаграмм, а также вопросы обработки статистических распределений методами фреймовых систем.
25/08/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась возможность использования протокола SSL для организации электронной почты, а также вопросы конфигурирования контента для получения демонстрационных версий моделирующих систем.
22/08/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы организации электронной почты на многофункциональных порталах, вопросы резервного копирования с использованием ssh, вопросы развития интерфейсов моделирующих систем, а также возможности использования модельного времени в модели предметной области семейного права.
18/08/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы организации каталога объектов для многофункциональных порталов, вопросы переноса и синхронизации изменений между репозиториями, вопросы определения типов сигнатур для языка графовых запросов, а также способы генерации задач для предметной области семейного права.
15/08/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались средства семантического конфигурирования моделирующих программ и необходимое для этого представление информации, а также способ типизации языка графовых запросов за счёт введения сигнатуры для различных вариантов задания классов переменных.
11/08/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы использования git для одновременной поддержки различных версий различных моделирующих программ, а также варианты определения синтаксиса и семантики языка графовых запросов.
10/08/2022
Вышла новая компьютерная обучающая система Экологический поход (Версия 1.0с), 2022". Контент программы учитывает все последние изменения в экологическом законодательстве РФ. Автор контента Исмаилова Э.Ю. Предлагаемая разработка включает в себя широкий круг теоретических и практических вопросов, посвященных системе экологического права, предмету, методу, объектам, субъектам, механизмам охраны окружающей среды, ответственности за несоблюдение экологических норм и многое другое. Возможно использование программы под WINDOWS и LINUX. Может быть использована как студентами вузов, так и практикующими юристами. Программа учитывает последние изменения в законодательстве и правоприменительной практике.
10/08/2022
Зарегистрировано электронное издание - новая компьютерная обучающая программа Экологический поход (Версия 1.0с), 2022". Программа включает актуализированный контент. Программа допускает использование под WINDOWS и LINUX. Обучающая программа полезна студентам, практикующим юристам и всем, интересующимся российским семейным правом. Автор контента Исмаилова Э. Ю. Поставка для вузов. № госрегистрации 0322201634 Дата регистрации 01.07.2022
08/08/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Доказательства свойств конечных типов в языке Idris». Обсуждалась также модель предметной области семейного права и возможности включения в неё информации о собственности, связанной с профессиональной деятельностью.
04/08/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалась семантика языка графовых запросов и связанных с ними выражений над графами, допускающих использование рекурсии, а также модель предметной области семейного права, включающая разнотипные связи.
03/08/2022
Зарегистрировано электронное издание - новая компьютерная обучающая программа Семейный совет(Версия 1.0с), 2022". Программа включает актуализированный контент. Программа допускает использование под WINDOWS и LINUX. Обучающая программа полезна студентам, практикующим юристам и всем, интересующимся российским семейным правом. Авторы контента к.ю.н. Баженова О. И., к.ю.н. Журавлева О. О. Поставка для вузов. № госрегистрации 0322201642 Дата регистрации 01.07.2022
01/08/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Графовый ассистент в задаче формализации процессов взаимодействий». Обсуждалась также модель разнотипных связей для задач из области семейного права.
28/07/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы генерации термов контекстно-зависимого языка, представления данных на многофункциональных порталах, в том числе рекурсивно определённых данных.
25/07/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалось место статистических методов при генерации термов контекстно-зависимого языка на примере типового ламбда-исчисления, а также некоторые вопросы написания рекурсивных программ.
21/07/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Особенности и недостатки среды разработки на Idris (версия 0.5.1.)». Обсуждались возможности автоматизации составления доказательств.
18/07/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались языки описания сценариев поведения активных объектов на многофункциональных порталах, а также возможности их расширения для описания взаимодействия с внешними объектами.
14/07/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Логика и конечные множества в доказательном программировании». Обсуждались также вопросы связи многофункциональных порталов с мессенджерами.
11/07/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности семантически ориентированного управления файловой системой для поддержки многофункциональных порталов, типизация языка управления тестированием, а также возможности постепенной типизации при ведении разработки на JavaScript.
07/07/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались модели данных для представления документируемых сущностей для многофункциональных порталов и возможностей их согласования с требованиями законодательства РФ о персональных данных, а также язык управления тестированием моделирующих систем.
04/07/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности использования языка Markdown для описания документов, представленных на многофункциональных порталах, вопросы автоматизированной отладки, а также способы использования TypeScript для вывода типов в компиляторе.
03/07/2022
Готовится к выпуску новая версия компьютерной обучающей программы "Юридическая психология 2.0б"
01/07/2022
Зарегистрировано электронное издание - новая версия компьютерной обучающей программы Криминологическое прогнозирование (Версия 1.0б), 2022". Программа включает актуализированный контент. Программа допускает использование под WINDOWS и LINUX. Обучающая программа полезна студентам, практикующим юристам и всем, интересующимся криминологией и ее приложениями на практике. Авторы контента д.ю.н. Максимов С.В., к.ю.н. Васин Ю.Г. Поставка для вузов и личного использования. № госрегистрации 0322201644 Дата регистрации 01.07.2022
30/06/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы представления наследуемых атрибутов в информационных моделях для многофункциональных порталов, вопросы автоматической обработки протоколов тестирования, а также способы обнаружения ошибок на основе типовых аннотаций.
27/06/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности создания прототипных языков для описания настраиваемых полей в документах, представленных на многофункциональных порталах, а также способы представления пошагового интерактивного взаимодействия информационных систем средствами теории категорий.
23/06/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности конструирования типов внешних документов при проектировании функциональных порталов, а также способы определения конструкторов классов и способы представления очередей в соответствии со спецификацией EcmaScript.
20/06/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности отделения данных от представления при проектировании функциональных порталов, а также варианты интеграции изменений в проект при помощи различных систем контроля версий.
17/06/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности использования TypeScript, включающие использование прототипов объектов, для проверки и поддержки корректности транслятора языка диаграмм.
13/06/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалось выделение из транслятора части, отвечающей за загрузку пакетов и диаграмм, обработку ссылок на пакеты и диаграммы. Обсуждались также возможности использования TypeScript с проверкой типов и задания аннотаций типов средствами Visual Studio Code.
09/06/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались варианты механизмов настройки в их связи со схемой базы данных для многофункциональных порталов.
06/06/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Рассматривались возможности использования технологии SSH-туннелей с учётом возможностей развертывания в контейнере, а также возможности выполнения backup-ов средствами borg.
02/06/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались трактовки путей в рамках языка диаграмм, в том числе путей как доказательств, использование диаграмм в модульном режиме, а также управление сигнатурами диаграмм.
30/05/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались методы документирования ошибок, выявляемых в процессе трансляции функциональных языков, способы преобразования данных при помощи концептуальных фильтров, а также способы использования локальных пакетных определений.
26/05/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Рассматривались методы управления сообщениями в трансляторе языка диаграмм, возможности тестирования разработанных библиотек, а также возможности разработки аппликативного языка для описания контрактов.
23/05/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Рассматривались методы использования механизма передачи сообщений при синтаксическом анализе языка диаграмм, а также способы управления проверкой типов.
19/05/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались методы автоматизированной подготовки документации, а также методы выполнения текстовых преобразований средствами Linux.
16/05/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы представления графической информации различной подробности, техника автоматизации создания документации, а также языковые возможности обработки исключительных ситуаций.
12/05/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались технологии генерации маскота, соответствующего состоянию информационной системы, а также представление эмоциональной модели комбинаторами и возможность создания специализированного отладчика эмоциональной модели.
12/05/2022
Вышла новая компьютерная обучающая программа Уголовный закон (Версия 1.0с)". Актуализирован контент программы. Программа допускает использование под WINDOWS и LINUX. Обучающая программа полезна студентам, практикующим юристам и всем, интересующимся криминологией и ее приложениями на практике. Авторы контента д.ю.н. Колодкин Л.М., к.ю.н. Васин Ю.Г. Поставка для вузов и личного использования.
09/05/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы формализации эмоционального состояния пользователя, включающие звуковое сопровождение, в виде эмоциональной модели, а также способы определения следующего состояния игры на основе весовых функций.
05/05/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы управления звуковым сопровождением различных типов в связи с моделированием эмоционального состояния пользователя информационной системы, а также методы автоматизации управления вычислениями в JavaScript.
02/05/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы обеспечения стабильности среды функционирования информационной системы, выделение классов пользователей языка диаграмм, а также способы добавления звукового сопровождения в информационные системы.
29/04/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы представления информации об экономической деятельности предприятия в моделирующих системах, поддерживающих взаимодействие с пользователем, а также возможности анализа изображений для определения границ окрашенных областей.
25/04/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались методы редукции термов языка процессов с учётом их рекурсивной структуры, а также способы определения процессов, манипулирующих другими процессами.
21/04/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы поддержки стилистического единообразия специализированных информационных систем, а также способы комбинаторного представления преобразований функций, выражающих семантику диаграмм.
18/04/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы конфигурирования пользовательских интерфейсов специализированных информационных систем, вопросы автоматизированного сбора информации для подготовки документации, а также вопросы поддержки задач планирования средствами языка диаграмм.
14/04/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы миграции средств поддержки работы с базой данных, способы организации параллельных процессов, допускающих объединение пользовательских форм для ввода, а также варианты типизации процессов на основе типового ламбда-исчисления.
12/04/2022
Вышла новая версия компьютерной обучающей программы Уголовное право (Версия 2.0)". Контент программы учитывает все последние изменения в уголовном законодательстве РФ. Возможно использование под WINDOWS и LINUX. Может быть использована как студентами вузов, так и практикующими юристами. Программа учитывает последние изменения в законодательстве и правоприменительной практике.
11/04/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались средства отладки языка диаграмм, вопросы семантической пагинации, параллельного исполнения фрагментов диаграмм, средства поддержки документирования диаграмм, а также способы представления фрагментов диаграмм ламбда-термами.
07/04/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы идентификации объектов информационной системы с различным поведением, параметризации конструкций языка диаграмм, а также вопросы отладки диаграмм и организации взаимодействия субъектов в связи с масштабированием контекстов.
04/04/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности организации параллельной работы пользователей с разных компьютеров, возможности агрегации групп субъектов, а также вопросы создания языка конфигурирования взаимодействия между управляющей компонентой и интерфейсом информационной системы.
31/03/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы преобразования данных при работе с базой данных, методы оценки энтропии генерируемых данных, а также вопросы безопасности.
28/03/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы абстрагирования интерфейса информационной системы с базой данных, а также управляющие механизмы системы тестирующего типа.
24/03/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы выбора элементов визуальной информации, а также вопросы автоматизированной генерации термов ламбда-исчисления.
21/03/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы задания семантически согласованной модели управления визуальной информацией, а также вопросы генерации слов контекстно-зависимого языка.
17/03/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы организации баз данных информационных систем, средства анализа log-файлов, а также вопросы работы в облаке.
14/03/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы сборки графической информации из базовых примитивов средствами формата SVG, организации голосовой и видеосвязи через Интернет, а также вопросы безопасности.
10/03/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности семантической параметризации графической информации, управления отображением различных значений параметров, а также вопросы безопасности.
07/03/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности автоматизации загрузки программ на сервер, автоматизированного тестирования и подготовки дистрибутивов, а также вопросы безопасности.
03/03/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности работы с подпиской на обновлённые версии программ, возможности размещения демонстрационных версий на сервере и их запуска, а также возможности генерации заставок методом трассировки лучей.
28/02/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы поддержки асинхронного взаимодействия со средствами поддержки информационных систем, а также средства обнаружения ошибок в данных.
24/02/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности защиты информации в базах данных информационных систем, проблемы безопасности, а также возможности представления объектов, объединяющих код JavaScript и вывод в виде одного документа, в интерактивном виде.
21/02/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности XML-форматов для представления отдельных атрибутов объектов моделей предметной области (возможность комментирования), а также особенности графического представления отдельных объектов и возможности их анимации.
17/02/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались особенности языков описания моделей предметной области, требующих создания специализированных конверторов. Был также представлен доклад относительно предполагаемого набора команд цикла read-eval-print для языка процессов.
14/02/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности автоматизированной генерации графической информации для объектов моделирующих систем, представленных в сети Интернет, а также возможности использования поисковых систем для создания концептуальной модели видеоинформации.
10/02/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности использования технических средств (библиотеки REACT, регулярные выражения), а также возможности абстрагирования отдельных типов управляющей информации моделирующих систем.
07/02/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Рассматривались способы представления поддерживающих средств языка процессов средствами пакетов JavaScript, а также возможности совместного использования языка процессов со средствами работы с XML.
03/02/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались методы использования динамических объектов в интерфейсе информационных систем и способы их представления средствами DHTML.
31/01/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы генерации отчётов по автоматизированному тестированию библиотеки LambdaJS, а также способы поддержки моделей эмоционального состояния персонажей деловых игр.
27/01/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности реализации рекурсивно представленных термов средствами библиотеки LambdaJS и соответствующие техники работы со свободными и связанными переменными.
24/01/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности реализации интерфейсов для многофункциональных порталов в их связи с интерфейсами обучающих систем, а также способы автоматизации генерации тестов.
20/01/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались подходы к реализации многофункциональных порталов, их информационное моделирование и реализация, а также способы тестирования на основе свойств с использованием библиотеки LambdaJS.
17/01/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались средства отображения кода, типизированного в системе зависимых типов (Idris), на JavaScript на примере задачи трассировки лучей.
13/01/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы представления версионированной документации средствами HTML и CSS, а также возможности реляционного представления конструкций языков описания взаимодействия с пользователем.
10/01/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Поддержка типовой корректности кода на JavaScript с использованием средств функционального программирования с зависимыми типами (Idris)».
06/01/2022
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы дополнения формул линейной временной логики информацией, необходимой для генерации взаимодействия с пользователем (случай дизъюнкции).
27/12/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалось техническое задание на разработку программы получения статистики и визуализации для программных средств на языке JavaScript.
23/12/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Методы описания анимации контента HTML-страниц с помощью модальной временной логики». Обсуждались также средства ведения журнала запуска скриптов для обработки информации из сети Интернет.
20/12/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы создания экранных форм в связи с запросами GET и POST для представления объектов, загружаемых из сети Интернет, а также вопросы создания специализированных языков обработки данных.
16/12/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы обработки ключевых слов, связываемых с объектами, загружаемыми из сети Интернет, а также техника запуска задач обработки данных.
13/12/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы импорта и экспорта объектов, загружаемых из сети Интернет, а также проблемы интеграции системы управления объектами с Git.
09/12/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы определения критериев классификации материалов, загружаемых из сети Интернет, а также вопросы экспорта материалов.
06/12/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы организации модели данных для информации, загружаемой из сети Интернет.
02/12/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы функционирования средств загрузки информации из Интернет, а также особенности используемых сред программирования.
29/11/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались текущие результаты загрузки информации из Интернет, а также задачи по развитию средств поддержки извлечения информации из Интернет.
25/11/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждался состав инструментальных средств для поддержки извлечения информации из Интернет, а также вопросы миграции на новую версию GitLab.
22/11/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы логического проектирования баз данных для информационных систем, средства сопряжения с Web-интерфейсом, а также техника вложения управляющих структур информационных систем.
18/11/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Семантика операции разыменования». Был также заслушан и обсуждён доклад на тему «Globular - веб-ассистент построения доказательств в категориях специального вида». Обсуждались синтаксические возможности средств поиска, а также возможности использования рефлексии.
15/11/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались средства поиска для моделирующих систем, содержащих большой объём текстовой информации, а также использование линейной временной логики для формализации условий, накладываемых на поведение системы.
11/11/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались средства работы с эффектами для информационных систем, способы контроля доступа к контенту системы, а также вопросы формального описания вариантов поведения информационной системы, осуществляющей пошаговое взаимодействие с пользователем.
10/11/2021
08/11/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы отладочного представления ламбда-термов для системы тестирования, а также информация, подлежащая формальному описанию при спецификации информационной системы, осуществляющей пошаговое взаимодействие с пользователем.
04/11/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы формального описания выбора содержания шагов для информационной системы, осуществляющей пошаговое взаимодействие с пользователем.
01/11/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Генератор ламбда-термов для системы тестирования на основе свойств». Обсуждались также способы генерации стратегий диалога для пошагового взаимодействия с пользователем.
28/10/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы интеграции поисковых механизмов для массивов данных, извлекаемых из сети Интернет, и фреймовых механизмов представления знаний, а также задачи доказательства свойств функций, определяемых в функциональном языке с зависимыми типами.
25/10/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы параметризации и объектно-ориентированного представления автоматизированных средств извлечения информации для моделирующих систем из сети Интернет, а также форматы представления контента для обучающих моделирующих систем.
21/10/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы отладки автоматизированных средств извлечения информации для моделирующих систем из сети Интернет для конкретных поисковых систем, а также вопросы создания распространяемых версий систем.
18/10/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы регистрации (logging) событий при извлечении информации для моделирующих систем из сети Интернет, а также возможности повышения их семантической мощности.
14/10/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Тестирование, основанное на свойствах». Обсуждались также вопросы построения автоматизированных средств извлечения информации для моделирующих систем из сети Интернет.
11/10/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Линзы в языке Haskell» (часть 2). Обсуждались также вопросы формализации спецификации моделирующих систем средствами линейной временной логики.
07/10/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Линзы в языке Haskell» (часть 1). Обсуждались также вопросы характеризации систем, поддерживающих различные типы взаимодействия с пользователем.
04/10/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности представления драйверов автоматизированной загрузки данных средствами объектно-ориентированного программирования в Scala (в том числе implicit). Обсуждались также вопросы использования линейной временной логики для спецификации поведения информационных систем.
30/09/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Обзор технологии RPC». Обсуждались также неподвижные точки комбинаторов и вопросы формализации спецификации средствами линейной временной логики.
27/09/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы автоматизации создания моделирующих систем специального вида, а также их автоматизированной отладки. Обсуждались также вопросы уточнения спецификации моделирующей системы в ходе взаимодействия с пользователем.
23/09/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы использования протокола LSP. Обсуждались также статически верифицируемые системы, взаимодействующие с пользователем по спецификации, заданной формулой линейной временной логики. Рассматривались способы выделения состояний системы и определения переходов между ними.
20/09/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы прототипирования системы генерации вопросов средствами линейной временной логики, а также вопросы настройки редактора (Language Server Protocol).
16/09/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы типизации программ для автоматизированного сбора информации для моделирующих систем.
13/09/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы построения статически верифицируемых систем взаимодействия с пользователем и построения доказательства корректного функционирования таких систем.
09/09/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались альтернативные подходы к проектированию моделирующих систем, описание семантики модели на основе генераторов, типизации представляющих конструкций, а также вопросы нагрузочного тестирования.
06/09/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы автоматизации генерации комментариев, вопросы использования автоматов Бучи (Büchi) для описания семантики линейной временной логики, а также способы уточнения измерений временных характеристик программ.
02/09/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались представления структур данных моделирующих систем в реляционной модели данных, особенности отладки и анимационного оформления систем.
30/08/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы идентификации объектов в системе, способы автоматизации генерации комментариев, а также вопросы автоматизации сборки системы.
26/08/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы построения и пополнения модели пользователя моделирующей системы, а также вопросы оценки параметров производительности системы.
23/08/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались механизмы оценки работы пользователя с моделирующей системой, вопросы управления локальным реестром пакетов npm, а также архитектура средств поддержки языка процессов.
19/08/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы использования React для построения интерфейса с моделирующей системой, а также вопросы генерации термов для тестирования поддерживающих библиотек системы.
16/08/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались проблемы, возникающие при обновлении состояния отдельных файлов на сервере вручную. Были выделены: быстрые локальные изменения, изменения, которые не были перенесены на сервер, и изменения, связанные с удалением файлов.
12/08/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы типизации задач в связи с техникой экземплярных запросов, вопросы сериализации объектов, а также возможности использования библиотек Selenium и Puppeteer для отладки.
09/08/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсужден доклад на тему «Программа измерения сортировки случайного массива как источник экспериментальных данных». Обсуждались также вопросы обслуживания сервера (проксирование, мониторинг), на котором развёрнуты модели.
05/08/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы преобразования семантически ориентированных форматов, а также вопросы автоматизации тестирования модели.
02/08/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Программа измерения сортировки случайного массива как источник экспериментальных данных».
29/07/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы асинхронного запуска тестирующих скриптов в ходе нагрузочного тестирования.
26/07/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы автоматизации нагрузочного тестирования, а также продолжалось обсуждение поддержки аппликативного языка описания редукций.
22/07/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы копирования разделенных ссылок при сериализации объектов, а также вопросы поддержки аппликативного языка описания редукций.
19/07/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы сжатия информации при передаче между клиентом и сервером, вопросы администрирования базы комментариев, а также функция автоматического сбора скриншотов и вопросы автоматизации резервных копий.
15/07/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы модульности представления языка описания модели, возможность вывода дополнительной информации о контексте в ходе моделирования, а также варианты представления информации, в том числе в таблицах.
12/07/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались средства поиска комментариев по контексту, а также загрузки и выгрузки комментариев.
08/07/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались способы внешнего представления контекста моделирующей системы, а также способы указания контекста при работе с таблицами.
05/07/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы создания административной компоненты для комментариев, а также способы хранения кода, общего для клиента и сервера.
01/07/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы обработки генерируемых данных в контексте расширения набора функций для различных классов пользователей.
28/06/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы привязки сессий к пользователю и отдельные вопросы администрирования контрольных точек.
24/06/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможные технологии подготовки контрольных точек, а также вопросы использования документов различных уровней, регламентирующих именование объектов предметной области.
21/06/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы создания и поддержки контрольных точек.
14/06/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы администрирования пользователей в деловых играх.
10/06/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы организации нагрузочного тестирования деловых игр.
07/06/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались возможности использования headless browser для сбора данных и вопросы автоматизации генерации документации к программам деловых игр.
03/06/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Концепция потенциально бесконечного списка в перезаписываемых моделях данных».
27/05/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Использование переменных в языке блоков и языке диаграмм».
24/05/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы организации ввода данных и определения структур данных предметной области, а также возможности создания универсальных управляющих механизмов.
17/05/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались параметры управления модальными окнами субъектов, способы идентификации и администрирования пользователей деловой игры «ПолуКЭР», вопросы представления и передачи внутреннего состояния игры.
12/05/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались средства представления контекста деловой игры «ПолуКЭР» при взаимодействии с виртуальными моделируемыми субъектами, а также способы представления данных в иерархии объектов «часть-целое».
06/05/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы оформления npm-пакетов на языке JavaScript с обеспечением возможности их использования как в браузере, так и в Node.
03/05/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы проверки типов ламбда-термов в языке диаграмм, а также вопросы практической поддержки модульности в соответствии со стандартом ECMAScript 6.
29/04/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы обновления визуализатора для второй версии языка диаграмм, а также некоторые проблемы поддержки необходимых динамичных объектов.
26/04/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы реализации табличного интерфейса пользователя.
22/04/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Параметры компилятора второй версии языка диаграмм». Обсуждалось также портирование существующих программ на вторую версию языка диаграмм.
22/04/2021
Проведён научный семинар «Когнитивная система комбинаторной логики. Эмпирика обнаружения, добычи и гранулирования знания».
15/04/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Поддержка стабильности внешнего окружения для деловой игры «ПолуКЭР»».
12/04/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Контекст блока для второй версии языка диаграмм».
08/04/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы использования результатов работы с экспертами для деловой игры «ПолуКЭР».
05/04/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Вспомогательные инструменты сборки для деловой игры «ПолуКЭР»».
01/04/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Реализация семантики импортируемых блоков».
29/03/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Работа с таблицами технологических показателей в деловой игре «ПолуКЭР»».
25/03/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Использование специальных режимов подсказки «Советник» и «Коллега» в деловой игре «ПолуКЭР»».
18/03/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Типизация параметров диаграмм для новой версии компилятора».
15/03/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Переход на новую версию компилятора языка диаграмм».
11/03/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Возможность комментирования хода игры экспертом для деловой игры «ПолуКЭР»».
09/03/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Организация работы с экспертом для деловой игры «ПолуКЭР»».
04/03/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Соединение видеофрагментов с управляющей компонентой для деловой игры «ПолуКЭР»».
03/03/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Система управления сервисами для деловой игры «ПолуКЭР»».
01/03/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Пакеты динамической типизации для деловой игры «ПолуКЭР»».
25/02/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Представление конструкции языка процессов в виде объекта зависимого типа».
22/02/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Переход деловой игры «ПолуКЭР» на систему модульности для EcmaScript 6».
20/02/2021
Готовится к изданию в апреле 2021 г. монография профессора В.Э.Вольфенгагена "Модели вычислений в информационных технологиях".
18/02/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы практической поддержки динамичных объектов в деловой игре «ПолуКЭР».
11/02/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Таблицы в языке диаграмм».
10/02/2021
Мы поздравляем Исмаилову Ларису Юсифовну с присвоением в 2020 г. звания Senior Members АСМ. Senior Members Grade присваивается членам ACM за продемонстрированные ими за последние 10 лет техническое лидерство, эффективность и профессиональный вклад.
09/02/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Подсказки как динамичные объекты. Использование подсказок для ведения пользователя по игре «ПолуКЭР»».
08/02/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы использования динамичных объектов при реализации деловой игры «ПолуКЭР».
04/02/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Использование языка диаграмм при реализации деловой игры «ПолуКЭР»».
28/01/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «CSS и методологии работы с ним (продолжение)».
28/01/2021
Вышла новая версия компьютерной контрольно-обучающей программы Уголовное право (Версия 2.0)"
25/01/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Механизм декаррирования для систем с зависимыми типами».
18/01/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Работа с концептуальными иерархиями при подготовке дайджеста».
14/01/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы динамического управления правами доступа в деловой игре «Робосбор».
07/01/2021
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Поддержка состояния игрока в деловой игре «Робосбор»».
31/12/2020
30/12/2020
Проведен научный семинар "Информационные системы взаимодействия с окружениям. Элементы линейной временной логики"
24/12/2020
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы абстрагирования механизмов описания предметной области для деловой игры «Робосбор».
21/12/2020
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы моделирования предметной области при работе с дайджестом.
17/12/2020
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы автоматизации аннотирования при работе с дайджестом.
10/12/2020
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Поддержка динамичных объектов при работе с СУБД».
07/12/2020
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы практической поддержки динамичных объектов в существующих проектах.
03/12/2020
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Поддержка версий на примере разработки УМК».
02/12/2020
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Использование динамичных объектов при получении справки для обучающей компоненты». Обсуждались вопросы динамичной поддержки реализации УМК.
30/11/2020
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Возможности языка диаграмм для деловой игры «Робосбор»».
25/11/2020
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Генерация последовательных шагов деловой игры «Робосбор»».
23/11/2020
Эксперты и сотрудники АО "Центр ЮрИнфоР" приняли участие c докладами и презентациями в международной конференции BICA 2020: 2020 Annual International Conference on Biologically Inspired Cognitive Architectures for Artificial Intelligence (BICA*AI 2020), the Eleventh Annual Meeting of the BICA Society, Natal, Brazil, held on October 10-11 and November 10-15 as a virtual-only event
19/11/2020
Проведен научно-практический семинар "Методологии использования CCS"
16/11/2020
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Использование средств распознавания речи при реализации динамичных объектов».
12/11/2020
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Использование редактора диаграмм для подготовки контента деловых игр».
09/11/2020
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Концептуальное моделирование динамичных объектов. Поиск концептов с заданными свойствами».
05/11/2020
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Концептуальное моделирование динамичных объектов. Учёт зависимости концептов от параметра». Обсуждалось также расширение языка процессов языком LambdaJS.
02/11/2020
Состоялось заседание постоянно действующего семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Был заслушан и обсуждён доклад на тему «Дайджест как динамический объект».
18/09/2020
Проведен научный семинар «Модели поддержки версионирования данных».
04/09/2020
Проведен научный семинар «Методы и средства поддержки версионирования данных».
30/04/2020
Мы поздравляем коллег с опубликованием результатов исследований в соавторстве с сотрудниками НИЯУ МИФИ Wolfengagen, V., Kosikov, S., Ismailova, L., Zaytsev, V.: Semantic framework for data flow control in the network of information graphs. Procedia Comput. Sci. 169, 16–22 (2020). Postproceedings of the 10th Annual International Conference on Biologically Inspired Cognitive Architectures, BICA 2019 (Tenth Annual Meeting of the BICA Society), held 15–19 August 2019 in Seattle, Washington, USA
16/04/2020
30/03/2020
Проведен научный семинар «Почему паутина спутывается?». Докладчик д.т.н. проф. Вольфенгаген В.Э.
10/03/2020
Проведен научный семинар «Разработка системы семантических признаков объектов данных информационных систем: средства навигации».
18/02/2020
Проведен научный семинар «Разработка системы семантических признаков объектов данных информационных систем: базовые свойства».
28/01/2020
Проведен научный семинар «Модель детерминированного пошагового взаимодействия объектов данных».
14/01/2020
Проведен научный семинар «Свойства детерминированных пошаговых интерактивных систем со скрытым состоянием».
26/12/2019
Проведен научный семинар «Подход к построению формальной теории деловых игр».
20/08/2019
Проведен научный семинар «Анализ конкурентных систем. Пост-правда и фейковые новости». Докладчик д.т.н. проф. Вольфенгаген В.Э.
13/08/2019
Проведен научный семинар «Анализ конкурентных систем. Задача о продвижении информации». Докладчик д.т.н. проф. Вольфенгаген В.Э.
06/08/2019
Проведен научный семинар «Анализ конкурентных систем. Задача о фишинге». Докладчик д.т.н. проф. Вольфенгаген В.Э.
30/07/2019
Проведен научный семинар «Анализ конкурентных систем. Форсинг: задача о головастике Хьюго». Докладчик д.т.н. проф. Вольфенгаген В.Э.
23/07/2019
Проведен научный семинар «Анализ конкурентных систем. Задача о наследовании свойств». Докладчик д.т.н. проф. Вольфенгаген В.Э.
16/07/2019
Проведен научный семинар «Анализ конкурентных систем. Переменные домены». Докладчик д.т.н. проф. Вольфенгаген В.Э.
09/07/2019
Проведен научный семинар «Анализ конкурентных систем. Процесс во времени». Докладчик д.т.н. проф. Вольфенгаген В.Э.
02/07/2019
Проведен научный семинар «Анализ конкурентных систем. Информационные процессы». Докладчик д.т.н. проф. Вольфенгаген В.Э.
05/03/2019
Сотрудники Института “ЮрИнфоР-МГУ” приняли участие в ряде научных мероприятий, поддержанных IEEE и ACM. Представлены доклады на конференциях: -- International Conference On Recent Trends In Engineering & Sciences (ICRTES-2018), февраль 2018; -- International Conference on Recent Innovations in Electrical, Electronics & Communication Engineering (ICRIEECE-2018), июль 2018, Bhubaneswar, India; -- International Conference on Advanced Computation and Telecommunication (ICACAT-2019), декабрь 2018, Bhopal, India.
14/02/2019
Проведён научный семинар "Обеспечение семантической устойчивости Web-ориентированных систем за счёт эмуляции системы типов".
15/01/2019
Разработан и запущен новый портал для российско-германского проекта "климатически-нейтральное обращение с отходами" otxod.com
28/11/2018
Поздравляем проф. Вольфенгагена В.Э., награжденного медалью "За вклад в развитие НИЯУ МИФИ" 28 ноября 2018 г.
31/10/2018
Запущен новый сайт, разработанный для германо-российской конференции "Климатически нейтральное обращение с отходами" otxod.online
20/09/2018
Проведён научный семинар "Блокчейн как smart contract".
14/08/2018
Проведён научный семинар "Архитектура блокчейн-проектов".
23/07/2018
Проведён научный семинар "Автоматизация подготовки программной документации в соответствии с ЕСПД".
19/07/2018
Проведён научный семинар "Возможности моделирования элементов технологии блокчейн".
30/03/2018
Проведён научный семинар "Фундаментальные основы информационных технологий. Программная инженерия: Семантически безопасное информационное моделирование". Докладчик д.т.н. проф. Вольфенгаген В.Э.
20/02/2018
Проведён научный семинар "Модели описания семантики имитационных деловых игр".
23/01/2018
В рамках реализации проекта "ДКТИ. Климатически нейтральная хозяйственная деятельность. Внедрение НДТ в РФ" АО "Центр ЮрИнфоР" разработаны и применены новые технологии генерации элементов контента для портала good-climate.com.
02/08/2017
Эксперты АО "Центр ЮрИнфоР" и сотрудники Института ЮрИнфоР-МГУ приняли участие в международной конференции BICA 2017: 2017 Annual International Conference on Biologically Inspired Cognitive Architectures
23/12/2015
По заказу проекта "ДКТИ. Климатически нейтральная хозяйственная деятельность. Внедрение НДТ в РФ" АО "Центр ЮрИнфоР" разработан портал и система управления контентом - good-climate.com.
10/09/2015
По заказу Немецкого общества технического сотрудничества АО "Центр ЮрИнфоР" разработал сайт Германо-российский семинара "Новации в экологическом праве, обмен опытом в области правоприменительной практики по внедрению Наилучших доступных технологий (НДТ)" и систему администрирования см. здесь
08/09/2015
Разработана новая версия обучающей игры "Конституционное право РФ"
28/07/2015
По заказу АНО организации содействия развитию спорта «ОЛЕГРИ» разботаны сайты olegri.moscow см. здесь и olegri.com см. здесь. Использованы авторские технологии генерации схем.
24/07/2014
Проект "Твой основной закон" Пополнен пилотный вариант раздела "Глоссарий - видеоматериалы" интерактивного информационного ресурса
28/03/2014
Москва 21 марта 2014 года в Институте "ЮрИнфоР-МГУ" (офис 37, 15.00) состоялось заседание рабочей группы проекта "Твой основной закон" с привлечением приглашенных экспертов. Тема: Оценка прототипа Интерактивного информационного ресурса. При реализации проекта используются средства господдержки, выделенные в качестве гранта в соответствии с распоряжением Президента РФ от 29.03.2013 № 115-рп и на основании конкурса, проведенного Фондом ИСЭПИ.
07/01/2014
Группа компаний "ЮрИнфоР" приглашает вас принять участие в 4-й Международной конференции "Аппликативные вычислительные системы (АВС'2014)". Дата проведения уточняется. Место проведения: Москва.
Предыдущие конференции: АВС'2012, АВС'2010, АВС'2008.
24/06/2013
Вышла новая версия компьютерной деловой игры "Убийство".
23/12/2012
Группа компаний "ЮрИнфоР" подготовила и провела 3-ью Международную конференцию "Аппликативные вычислительные системы (АВС'2012)" 14 декабря 2012 г. Место проведения: МАБиУ (Адрес: 129594, Москва, 5-й проезд Марьиной Рощи, д. 15-а).
12/09/2012
Группа компаний "ЮрИнфоР" приглашает вас принять участие в 3-й Международной конференции "Аппликативные вычислительные системы (АВС'2012)". Дата проведения: ноябрь 2012 г. Место проведения: Москва.
27/07/2012
В разделе сайта сервисы размещена демонстрационная версия обучающей программы "WEB-сервисы".
12/07/2012
Сотрудники ЮрИнфоР выступили с докладами на конференции с международнымм участием "Информационные и математические технологии в науке и управлении", Иркутск
02/04/2012
Вышла новая электронная книга: Вольфенгаген В.Э., Исмаилова Л.Ю., Косиков С.В. Парадигма функционального программирования (электронная книга на CD)

19/12/2011
Вышла новая книга: Вольфенгаген В.Э. Парадигма функционального программирования

21/10/2011
Вышла новая версия компьютерной программы "Следователь".
20/10/2011
Сотрудники ЮрИнфоР выступили с докладами и презентациями на V Международной научно-методической конференции "Современные проблемы техносферы и подготовки инженерных кадров", 06-15 октября 2011 г. в городе Табарка (Тунис)
10/10/2011
Успешно прошла 13-ая Международная конференция "Компьютерные науки и информационные технологии" (CSIT'2011). Даты проведения: 27 сентября - 2 октября 2011 г. Место проведения: Гармиш–Партенкирхен, Германия.
02/09/2011
Готовится к изданию: Вольфенгаген В.Э. Парадигма функционального программирования

08/06/2011
Готовится III Всероссийская научная конференция с международным участием "Технологии информатизации профессиональной деятельности (в науке, образовании и промышленности)". Дата проведения: 8-12 ноябра 2011 года. Место проведения: г. Ижевск.
25/03/2011
Вышла новая игра Уголовное право РФ "
16/02/2011
Сотрудники ЮрИнфоР представили серию докладов по аппликативным вычислительным технологиям на XV конференции "Телекоммуникации и новые информационные технологии в образовании" (Москва, НИЯУ МИФИ, февраль 2011 года).
31/10/2010
28/10/2010
11/10/2010
15/09/2010
Сотрудники ЮрИнфоР представили доклады по проблематике семантического WEBа на международной конференции "Инновационные информационные технологии: теория и практика" (Германия, с 4 по 12 сентября 2010 года).
09/08/2010
03/08/2010
29/07/2010
12/07/2010
Сотрудники "ЮрИнфоР" приняли участие с докладами в 15-ой конференции "Информационные и математические технологии" (1-9 июля 2010 г., Иркутск-Байкал).
09/06/2010
07/06/2010
Группа компаний "ЮрИнфоР" приглашает вас принять участие во 2-й Международной конференции "Аппликативные вычислительные системы" (АВС'2010). Дата проведения: 29-31 октября 2010 г. Место проведения: Москва.
25/05/2010
28/02/2010
Сотрудники "ЮрИнфоР" приняли участие с докладами в German-Russian Workshop on Engineering and Information Sciences: New Methods and Solutions for Emerging Technologies по проекту G7: OV 88/7-1 (23-28 февраля 2010 г., Германия).
19/02/2010
27/01/2010
Сотрудники "ЮрИнфоР" приняли участие c докладами в Научной сессии выставке-конференции НИЯУ МИФИ "Телекоммуникационные и новые информационные технологии в образовании", прошедшей 26-27 января 2010 г.
12/01/2010
18/12/2009
03/12/2009
В рамках московского семинара "Фундаментальные основы информационных технологий" (научный руководитель проф. В.Э. Вольфенгаген) сотрудниками ЮрИнфоР сделан доклад по теме "Модели лямбда-исчисления". Семинар организован ФИВТ МФТИ на территории компании 1С. Подробнее о предстоящих семинарах - info@jurinfor.ru.
25/11/2009
05/11/2009
Сотрудники "ЮрИнфоР" приняли участие с докладами в Международной конференции-выставке "Информационные технологии в образовании" ИТО-2009, прошедшей в НИЯУ "МИФИ".
09/10/2009
На международной конференции CSIT’2009, Crete, Greece, 2009 cотрудниками института представлена серия докладов об использовании аппликативных вычислительных технологий (АВС) для построения обучающих сред.
10/08/2009
18/05/2009
18 мая 2009 г. Институт "ЮрИнфоР-МГУ" совместно ФИВТ МФТИ провели семинар в рамках проекта ТАСИС.
16/05/2009
ЮрИнфоР поздравляет профессора, д.т.н. Вольфенгагена В.Э. с признанием его Senior Member of ACM 2009.
16/10/2008
31/08/2008
24/04/2008
Доступна демонстрационная версия обучающей программы
"Российское право в терминах и выражениях"
10/04/2008
12/02/2008
Доступна демонстрационная версия обучающей программы "Латинский язык для юристов"