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

- результаты демонстрации системы статистической обработки КОСА для преподавателей медицинских факультетов;
- направления совершенствования компонент системы статистической обработки КОСА с учетом конфигурирования среды статистического эксперимента (контекстных рекомендаций, наборов статистических методов, средств формирования отчетов и др.) для обеспечения персонализированной траектории обучения по курсам, посвященным анализу данных, статистическим методам обработки данных.

- результаты демонстрации системы статистической обработки КОСА для преподавателей медицинских факультетов;
- направления совершенствования компонент системы статистической обработки КОСА с учетом конфигурирования среды статистического эксперимента (контекстных рекомендаций, наборов статистических методов, средств формирования отчетов и др.) для обеспечения персонализированной траектории обучения по курсам, посвященным анализу данных, статистическим методам обработки данных.

- результаты демонстрации системы статистической обработки КОСА для преподавателей экономическим и юридических вузов;
- направления совершенствования компоненты Советник системы статистической обработки КОСА с учетом конфигурирования среды статистического эксперимента под нужды пользователя с учетом полученных промежуточных результатов статистической обработки;
- подготовка пособия по вопросам использования системы статистической обработки КОСА для организации занятий студентов по курсам, посвященным анализу данных, статистическим методам обработки данных

- результаты демонстрации системы статистической обработки КОСА для преподавателей экономическим и юридических вузов;
- направления совершенствования компоненты Советник системы статистической обработки КОСА с учетом конфигурирования среды статистического эксперимента под нужды пользователя с учетом полученных промежуточных результатов статистической обработки;
- подготовка пособия по вопросам использования системы статистической обработки КОСА для организации занятий студентов по курсам, посвященным анализу данных, статистическим методам обработки данных

- ближайшие демонстрации новых версий системы статистической обработки КОСА для преподавателей юридических вузов;
- расширение набора обучающих примеров на данных генерируемых по требованию в ходе использования системы статистической обработки КОСА , а также использование примеров из курсов криминология и правовая статистика;
- подготовка пособия по вопросам эксплуатации системы статистической обработки КОСА.

- ближайшие демонстрации новых версий системы статистической обработки КОСА для преподавателей юридических вузов;
- расширение набора обучающих примеров на данных генерируемых по требованию в ходе использования системы статистической обработки КОСА , а также использование примеров из курсов криминология и правовая статистика;
- подготовка пособия по вопросам эксплуатации системы статистической обработки КОСА.

- добавление конкретных типов диаграмм для поддержки разработки обучающих и демонстрационных примеров системы статистической обработки КОСА;
- ближайшие демонстрации новых версий системы статистической обработки КОСА для преподавателей профильных вузов;
- вопросы конфигурирования сборки пакета для установки и эксплуатации системы статистической обработки КОСА.

- добавление конкретных типов диаграмм для поддержки разработки обучающих и демонстрационных примеров системы статистической обработки КОСА;
- ближайшие демонстрации новых версий системы статистической обработки КОСА для преподавателей профильных вузов;
- вопросы конфигурирования сборки пакета для установки и эксплуатации системы статистической обработки КОСА.

- возможности использования нейросетей для построения эффективных рассуждений о синтаксисе и семантике аннотаций JSDoc и разработки средств адаптации рекомендаций под нужды пользователя системы статистической обработки КОСА;
- средства семантической разметки графических представлений результатов статистических обработки данных в демонстрационном и обучающем режимах системы статистической обработки КОСА;
Обсуждались также
- средства задания траектории для генерации скриншотов для автоматической сборки задачников по статистическим методам обработки данных, реализованным в системе статистической обработки КОСА ;
- расширение набора генераторов статистических распределений для развития возможностей обучающей компоненты системы статистической обработки КОСА;

- возможности использования нейросетей для построения эффективных рассуждений о синтаксисе и семантике аннотаций JSDoc и разработки средств адаптации рекомендаций под нужды пользователя системы статистической обработки КОСА;
- средства семантической разметки графических представлений результатов статистических обработки данных в демонстрационном и обучающем режимах системы статистической обработки КОСА;
Обсуждались также
- средства задания траектории для генерации скриншотов для автоматической сборки задачников по статистическим методам обработки данных, реализованным в системе статистической обработки КОСА ;
- расширение набора генераторов статистических распределений для развития возможностей обучающей компоненты системы статистической обработки КОСА;









- задача подготовки автоматизированной сборки версий системы в соответствии с генерируемыми конфигурационными файлами;
- задача поддержки истории развития системы;
- описание конфигурации системы в виде терма, представленного yaml-файлом;
- вопросы выбора различных способов размещения клиентской части системы;
- поддержка сведений о повторном запуске системы.
Обсуждались также
- способы разработки многоуровневых объяснений;
- возможности группировки данных и вычисление условных характеристик данных, в частности, условных моментов;
- обеспечение самогенерируемой справки по методам;
- зависимость набора методов системы от сборки и от правил их применения;
- техника привязки объяснений к правилам.
Кроме того, обсуждались
- возможности автоматизации обработки скриншотов с учётом их семантической маркировки;
- структура хранения слайдов, согласованная с семантическими маркерами;
- автоматизация генерации фрагментов документации на основе сценариев взаимодействия с системой.

- возможности использования нейросетей для построения эффективных рассуждений о синтаксисе и семантике аннотаций JSDoc;
- выявление внутренних противоречий при создании текста, в том числе рассогласования использования терминов при обработке данных, полученных из различных источников;
- загрузка в нейросети документации и выявления наиболее подходящих конструкций для описания ситуаций, представленных на естественном языке;
- функции нечёткого поиска по документации.
Обсуждались также
- средства задания траектории для генерации скриншотов;
- обеспечение генераторов статистических распределений;
- возможности генерации зависимых столбцов;
- детали работы интерактивной справки.
Кроме того, обсуждались
- способы разметки процессов для обеспечения приостановки вложенных процессов;
- использование сервера для хостинга собранных версий системы;
- разнесение функций хостинга на разные серверы.

- технология подготовки документации;
- решения по автоматизированной сборке проекта, включая выделение отдельной ветки в репозитории;
- настройка сборки версий системы статистической обработки на сервере;
- наличие утечек памяти, их детектирование и устранение;
- добавление конкретных типов диаграмм;
- развитие массовой обработки, параметрической и непараметрической;
- поддержка аппликативной модели вызова методов.
Обсуждались также:
- возможности использования механизма распределённых вычислений;
- аппликативный язык конструирования стратегий редукции; технология расширения стратегий редукции, в том числе:
- атомарные правила;
- правила композиции;
- определение синтаксиса и семантики языка.
Кроме того, обсуждались
- вопросы разработки обучающих и демонстрационных примеров для системы;
- применение статистических методов к многоуровневым моделям.

- возможности настройки параметров поставляемой версии,
- способы представления параметров в конфигурационных файлах,
- способы перехода от одной разрабатываемой версии к другой,
- способы обеспечения конфигурирования набора диаграмм и файлов методов для обеспечения разных версий,
- добавление подсказок кнопкам в клиентской части системы,
- в том числе представление подсказки средствами низкоуровневого взаимодействия с элементами.
Обсуждались также
- чисто функциональные предметно-ориентированные языки программирования, позволяющие гибко адаптироваться под архитектуру системы, содержащей несколько вычислительных сред,
- в частности, описание стратегий управляемой редукции, обеспечивающих переход между средами,
- язык описания стратегий редукции.
Кроме того, обсуждался
- механизм конфигурирования контекстной справки на основе передаваемой формы,
- возможности использования статических и динамических форм,
- требуемых расширений спецификации языка форм.

- документация на систему, в том числе представление документации
- в виде единого документа по ЕСПД;
- в виде структурированного набора HTML-файлов, пригодного для создания контекстно-зависимой справки;
- техника автоматизированного создания и актуализации набора скриншотов для использования в документации, справке и обучающей компоненте;
- состав демонстрационных примеров для системы;
- техника представления демонстрационных примеров;
- отличия демонстрационных примеров от обучающих;
- подготовка описаний для различных уровней поставки системы:
- базового;
- стандартного;
- расширенного;
- техника подготовки описаний с использованием TeX;
- возможности использования материалов презентации в документации.

- документация на систему, в том числе представление документации
- в виде единого документа по ЕСПД;
- в виде структурированного набора HTML-файлов, пригодного для создания контекстно-зависимой справки;
- техника автоматизированного создания и актуализации набора скриншотов для использования в документации, справке и обучающей компоненте;
- состав демонстрационных примеров для системы;
- техника представления демонстрационных примеров;
- отличия демонстрационных примеров от обучающих;
- подготовка описаний для различных уровней поставки системы:
- базового;
- стандартного;
- расширенного;
- техника подготовки описаний с использованием TeX;
- возможности использования материалов презентации в документации.



- последняя стабильная версия системы, выложенная на сервер;
- возможности по ограничению доступа пользователя к стабильной версии в связи с проведением демонстрации;
- подготовка справки для трёх версий системы;
- подготовка описаний системы на различных языках, включая способы конверсии форматов (markdown в TeX и т. д.);
- средства компоновки версий с учётом
- возможностей определения набора пользователей как средства ограничения доступа к системе;
- предоставления администратору возможностей по управлению списком пользователей;
- возможности закрытия входа нескольких пользователей с одним и тем же паролем;
- возможность автоматизации компоновки, включающей
- сборку клиентской части;
- сборку скомпилированного сценария;
- формирование системных модулей;
- сборку базы данных и файлов конфигурации;
- упаковку в Docker-образ; размещение на сервере.
Обсуждались также
- возможности конфигурируемой сборки системы, в том числе на основе системы контроля версий;
- возможности автоматизированной валидации SVG-изображений.

- последняя стабильная версия системы, выложенная на сервер;
- возможности по ограничению доступа пользователя к стабильной версии в связи с проведением демонстрации;
- подготовка справки для трёх версий системы;
- подготовка описаний системы на различных языках, включая способы конверсии форматов (markdown в TeX и т. д.);
- средства компоновки версий с учётом
- возможностей определения набора пользователей как средства ограничения доступа к системе;
- предоставления администратору возможностей по управлению списком пользователей;
- возможности закрытия входа нескольких пользователей с одним и тем же паролем;
- возможность автоматизации компоновки, включающей
- сборку клиентской части;
- сборку скомпилированного сценария;
- формирование системных модулей;
- сборку базы данных и файлов конфигурации;
- упаковку в Docker-образ; размещение на сервере.
Обсуждались также
- возможности конфигурируемой сборки системы, в том числе на основе системы контроля версий;
- возможности автоматизированной валидации SVG-изображений.



- чистые функциональные предметно-ориентированные языки программирования, используемые для представления объектов предметной области, включая зависимости как объекты первого класса;
- способы определения свойств таких языков с учётом необходимости гибкой адаптации под архитектуру проектируемой системы, содержащей несколько вычислительных сред (среда разработки, серверные вычисления, вычисления на клиенте);
- возможные определения контролируемых вычислений и способы обеспечения контроля вычислений;
- метод построения аппликативного языка стратегий редукций, который позволяет применить аппликативный метод разработки к задаче определения стратегии вычисления;
- способы указания свойств требуемых вычислений, включая способы задания трансформационной семантики языка.
Обсуждалась также
- техника валидации и верификации SVG-изображений;
- способы определения технического задания на создание изображений и генерации такого задания;
- генерация системы текстов, описывающих развитие и использование системы статистической обработки;
- способ представления возможностей системы для использования в учебном процессе.

- техника дешифровки видеозаписей с использованием нейросети; проверка ограничений целостности при проведении бета-редукции ламбда-термов;
- возможность учёта контекста при проведении редукции; возможность автоматической генерации кода по его документации, и, обратно, генерации документации по коду;
- возможность синтеза фрагментов объяснений по спецификации решаемой задачи.
Обсуждались также проблемы валидации и стандартизации SVG-изображений по отношению к определению формата (в частности, масшатба).

- компоновка текущей версии системы статистической обработки;
- возможность представления системы как способа представления обучающего контента с учётом формирования определённых компетенций;
- возможности системы для конфигурирования образовательных процессов;
- учёт актуальности контента, систему вырабатываемых компетенций;
- возможного сопряжения с системами прокторинга;
- выявление элементов конфигурирования.
Кроме того, обсуждались вопросы
- конфигурирования изображений для представления функций системы статистической обработки;
- оптимального использования цветовой палитры; выделение семантически определяющих элементов интерфейса, в том числе техника определения шаблонов семантизации;
- возможность масштабирования семантических маркеров.

- оптимизация базы знаний системы;
- формирование базы знаний по умолчанию;
- возможные пути повышения мощности языка селекторов;
- возможность записи формулы преобразования записи в виде аппликативного терма с учётом его возможной типизации;
- определение семантики загружаемых объектов;
- определение процедуры экспорта терма, представляющего процесс;
- возможности управления набором предопределённых пользователей для поставки системы;
- возможность использования семантически ориентированных графических решений;
- возможности использования React для организации многостраничного взаимодействия;
- задача формализации замкнутого Web-сервиса на языке диаграмм;
- вопросы использования нейронных сетей для декодирования текстов.

- формирование комплекта поставки системы, в том числе три поставляемые версии: минимальная, базовая и расширенная, варианты компоновки версий:
- для базовой версии расчёт средних значений, оценок параметров распределения;
- для стандартной версии проверка стандартных статистических критериев:
- z-критерий (основан на нормальном распределении);
- критерий Стьюдента;
- критерий хи-квадрат;
- простейшие случаи регрессионного анализа;
- в расширенной версии дополнительно включаются
- параметрические и непараметрические методы;
- методы сравнения результатов измерений;
- методы анализа выживаемости.
Обсуждались также
- спецификации языка форм;
- способы представления спецификации в виде базы знаний;
- задача раскодирования текстов с помощью нейронной сети.

- формирование комплекта поставки системы, в том числе три поставляемые версии: минимальная, базовая и расширенная, варианты компоновки версий:
- для базовой версии расчёт средних значений, оценок параметров распределения;
- для стандартной версии проверка стандартных статистических критериев:
- z-критерий (основан на нормальном распределении);
- критерий Стьюдента;
- критерий хи-квадрат;
- простейшие случаи регрессионного анализа;
- в расширенной версии дополнительно включаются
- параметрические и непараметрические методы;
- методы сравнения результатов измерений;
- методы анализа выживаемости.
Обсуждались также
- спецификации языка форм;
- способы представления спецификации в виде базы знаний;
- задача раскодирования текстов с помощью нейронной сети.

- справочная компонента системы статистической обработки;
- способы доработки библиотек справочной компоненты;
- способы построения конфигурируемой справки;
- подтверждение изменений для настраиваемых параметров;
- оптимизация программы за счёт минимизации количества запросов.
Кроме того, обсуждались инструментальные средства построения системы:
- средства поддержки интерпретации конвертируемых ламбда-термов
- средства поддержки взаимодействующих процессов;
- средства взаимодействия с пользователем в виде языка форм,

- документирование языка форм в виде документа, выложенного на сайт разработки (в том числе возможные значения параметров);
- использование механизма хранения текстов на сервере в различных случаях;
- определение механизма хранения текстов в общей архитектуре системы;
- включение механизма хранения текстов в язык диаграмм;
- техника обращения к хранимым текстам в виде пути к нужному тексту;
- техника типизации хранимых текстов;
- средства проверки соответствия путей к хранимым текстам спецификации;
- специфика отладочных средств для эксперта;
- вопрос о точном определении формы, её синтаксиса и семантики;
- техника спецификации конкретных форм.

- сравнительная скорость работы отладочной и поставляемых версий системы;
- представление средств для работы со списком пользователей системы;
- средства для работы с паролем пользователя;
- возможности хранения истории изменения пользователей в базе данных;
- средства авторизации пользователей;
- сохранение хешированных паролей с добавлением соли;
- средства создания бекапов на сервере;
- вопросы компоновки курса по математической статистике;
- полнота отражения документации в репозиториях;
- механизм хранения текстов на сервере и их извлечения;
- задача восстановления сессии на основе скачанного файла;
- реализация конструкций языка форм, отвечающих за отображение всей области страницы;
- возможность расшифровки записи встречи при помощи нейросети.

















































































































































































































































































































































































































































































































































































































Вольфенгаген В.Э. Коддовское видение реляционных систем управления базами данных (к 40-летию реляционной модели данных Э.Ф. Кодда).

Вольфенгаген В.Э. Коддовское видение реляционных систем управления базами данных (к 40-летию реляционной модели данных Э.Ф. Кодда).







Вольфенгаген В.Э. Динамика развития цифровой вселенной ставит новые вопросы фундаментальной важности.

Вольфенгаген В.Э. Динамика развития цифровой вселенной ставит новые вопросы фундаментальной важности.







Вольфенгаген В.Э. Барьеры и точки роста информационных технологий.

Вольфенгаген В.Э. Барьеры и точки роста информационных технологий.






Косиков С.В. Модели ламбда-исчисления.

Косиков С.В. Модели ламбда-исчисления.

Вольфенгаген В.Э. Компьютинг: круг вопросов и характеристики.

Вольфенгаген В.Э. Компьютинг: круг вопросов и характеристики.








Вольфенгаген В.Э. Перспективные формы компьютинга

Вольфенгаген В.Э. Перспективные формы компьютинга






Вольфенгаген В.Э. Комбинаторная логика или настойчивое приглашение к компьютингу

Вольфенгаген В.Э. Комбинаторная логика или настойчивое приглашение к компьютингу

"Российское право в терминах и выражениях"

"Российское право в терминах и выражениях"





- чистые функциональные предметно-ориентированные языки программирования, используемые для представления объектов предметной области, включая зависимости как объекты первого класса;
- способы определения свойств таких языков с учётом необходимости гибкой адаптации под архитектуру проектируемой системы, содержащей несколько вычислительных сред (среда разработки, серверные вычисления, вычисления на клиенте);
- возможные определения контролируемых вычислений и способы обеспечения контроля вычислений;
- метод построения аппликативного языка стратегий редукций, который позволяет применить аппликативный метод разработки к задаче определения стратегии вычисления;
- способы указания свойств требуемых вычислений, включая способы задания трансформационной семантики языка.
Обсуждалась также
- техника валидации и верификации SVG-изображений;
- способы определения технического задания на создание изображений и генерации такого задания;
- генерация системы текстов, описывающих развитие и использование системы статистической обработки;
- способ представления возможностей системы для использования в учебном процессе.