diff --git a/rsconcept/frontend/src/features/help/items/cc/help-concept-synthesis.tsx b/rsconcept/frontend/src/features/help/items/cc/help-concept-synthesis.tsx index 9a999172..7aae2fa4 100644 --- a/rsconcept/frontend/src/features/help/items/cc/help-concept-synthesis.tsx +++ b/rsconcept/frontend/src/features/help/items/cc/help-concept-synthesis.tsx @@ -20,24 +20,26 @@ export function HelpConceptSynthesis() {

Расширение выразительной способности достигается несколькими способами в зависимости от соотношения синтезируемых точек зрения: -

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

    - Возможно использование комбинации описанных подходов в рамках одного синтеза. Более подробно про реализацию - операций в родоструктурной форме можно прочитать в{' '} - + Поддерживается использование комбинации описанных подходов в рамках одного синтеза. Более подробно про + реализацию операций в родоструктурной форме можно прочитать в{' '} + .

    Для управления совокупностью синтезов используются{' '} diff --git a/rsconcept/frontend/src/features/help/items/help-access.tsx b/rsconcept/frontend/src/features/help/items/help-access.tsx index fabfb964..827fc5b2 100644 --- a/rsconcept/frontend/src/features/help/items/help-access.tsx +++ b/rsconcept/frontend/src/features/help/items/help-access.tsx @@ -9,23 +9,25 @@ export function HelpAccess() {

    Доступ к контенту на Портале может быть ограничен владельцем каждой схемы в рамках политики доступа.

    -
  • - публичная политика не ограничивает чтение схемы -
    • -
  • - защитная политика запрещает доступ для всех кроме редакторов - и владельца схемы -
    • -
  • - личная политика оставляет доступ к схеме только владельцу -
    • -
  • - режим скрытия схемы из списка в Библиотеке не ограничивает доступ к схеме - по прямой ссылке -
    • -
  • - режим защиты от редактирования предохраняет от случайных изменений -
    • + ); } diff --git a/rsconcept/frontend/src/features/help/items/help-exteor.tsx b/rsconcept/frontend/src/features/help/items/help-exteor.tsx index 2d080a80..96de0eed 100644 --- a/rsconcept/frontend/src/features/help/items/help-exteor.tsx +++ b/rsconcept/frontend/src/features/help/items/help-exteor.tsx @@ -24,17 +24,19 @@ export function HelpExteor() {

    Основные функции

    -
  • Работа с РС-формой системы понятий
    • -
  • Автоматическое определение типизации выражений
    • -
  • Проверка корректности РС-формы
    • -
  • Контекстный поиск с учетом словоформ терминов
    • -
  • Терминологический контроль вхождений терминов
    • -
  • Автоматическое выполнение операций синтеза РС-форм
    • -
  • Синтез с помощью операционной схемы синтеза (ОСС)
    • -
  • Автоматическое сквозное внесение изменений в ОСС
    • -
  • Вычисление объектной интерпретации
    • -
  • Выгрузка концептуальных схем в Word
    • -
  • Импорт/экспорт интерпретаций через Excel
    • + ); } diff --git a/rsconcept/frontend/src/features/help/items/help-interface.tsx b/rsconcept/frontend/src/features/help/items/help-interface.tsx index ba97e2ea..d7dec2f2 100644 --- a/rsconcept/frontend/src/features/help/items/help-interface.tsx +++ b/rsconcept/frontend/src/features/help/items/help-interface.tsx @@ -31,32 +31,34 @@ export function HelpInterface() {

    Навигация и настройки

    -
  • - Ctrl + клик на объект навигации откроет новую вкладку -
    • -
  • - навигационную панель можно скрыть с помощью кнопки в правом - верхнем углу -
    • -
  • - - переключатели темы -
    • -
  • - вход в систему / регистрация нового пользователя -
    • -
  • - меню пользователя содержит ряд настроек и переход к профилю - пользователя -
    • + diff --git a/rsconcept/frontend/src/features/help/items/help-main.tsx b/rsconcept/frontend/src/features/help/items/help-main.tsx index 63984291..8c04cd31 100644 --- a/rsconcept/frontend/src/features/help/items/help-main.tsx +++ b/rsconcept/frontend/src/features/help/items/help-main.tsx @@ -22,34 +22,38 @@ export function HelpMain() {
    Разделы Справки - {[ - HelpTopic.THESAURUS, - HelpTopic.INTERFACE, - HelpTopic.CONCEPTUAL, - HelpTopic.RSLANG, - HelpTopic.TERM_CONTROL, - HelpTopic.ACCESS, - HelpTopic.VERSIONS, - HelpTopic.INFO, - HelpTopic.EXTEOR - ].map(topic => ( - - ))} +
      + {[ + HelpTopic.THESAURUS, + HelpTopic.INTERFACE, + HelpTopic.CONCEPTUAL, + HelpTopic.RSLANG, + HelpTopic.TERM_CONTROL, + HelpTopic.ACCESS, + HelpTopic.VERSIONS, + HelpTopic.INFO, + HelpTopic.EXTEOR + ].map(topic => ( + + ))} +

    Лицензирование и раскрытие информации

    -
  • Пользователи Портала сохраняют авторские права на создаваемый ими контент
    • -
  • - Политика обработки данных доступна по -
    • -
  • - Портал является проектом с открытым исходным кодом, доступным на{' '} - -
    • -
  • - Данный сайт использует доменное имя и серверные мощности{' '} - -
    • +

    Поддержка

    diff --git a/rsconcept/frontend/src/features/help/items/help-versions.tsx b/rsconcept/frontend/src/features/help/items/help-versions.tsx index 7bb149d5..dde06973 100644 --- a/rsconcept/frontend/src/features/help/items/help-versions.tsx +++ b/rsconcept/frontend/src/features/help/items/help-versions.tsx @@ -11,20 +11,22 @@ export function HelpVersions() {

    После создания версии ее содержание изменить нельзя.

    Действия

    -
  • - Поделиться включает версию в ссылку -
    • -
  • - Загрузить версию в актуальную схему -
    • -
  • - Создать версию можно только из актуальной - схемы -
    • + ); } diff --git a/rsconcept/frontend/src/features/help/items/info/help-contributors.tsx b/rsconcept/frontend/src/features/help/items/info/help-contributors.tsx index 653e1bc6..56ec98bf 100644 --- a/rsconcept/frontend/src/features/help/items/info/help-contributors.tsx +++ b/rsconcept/frontend/src/features/help/items/info/help-contributors.tsx @@ -17,8 +17,8 @@ export function HelpContributors() { В списке указан год окончания работ над соответствующим результатом или год публикации соответствующей статьи. Курсивом выделены комментарии к значимости указанного результата.

    -

    Любые добавления и поправки приветствуются.

    -
    +

    Добавления и корректировки приветствуются.

    +
    +
  • + 2024 Викентьев М.И., Борисов И.Р. Исследование использования современных web-интерфейсов для визуализации + отношений для применения в рамках концептуального синтеза.{' '} + Визуализации смешанных представлений концептуальной схемы. +
    • + ); } diff --git a/rsconcept/frontend/src/features/help/items/info/help-rules.tsx b/rsconcept/frontend/src/features/help/items/info/help-rules.tsx index 6dedc81a..2587188b 100644 --- a/rsconcept/frontend/src/features/help/items/info/help-rules.tsx +++ b/rsconcept/frontend/src/features/help/items/info/help-rules.tsx @@ -28,28 +28,30 @@ export function HelpRules() {

    Ожидаемое поведение

    -
  • взаимное уважением, поддержка в отношениях с участниками Портала.
    • -
  • - пожелания по доработке, найденные ошибки и иные предложения следует направлять по адресу email:{' '} - . -
    • + ); } diff --git a/rsconcept/frontend/src/features/help/items/rslang/help-rslang-operations.tsx b/rsconcept/frontend/src/features/help/items/rslang/help-rslang-operations.tsx index 694f5fbe..62a78f19 100644 --- a/rsconcept/frontend/src/features/help/items/rslang/help-rslang-operations.tsx +++ b/rsconcept/frontend/src/features/help/items/rslang/help-rslang-operations.tsx @@ -19,7 +19,7 @@ export function HelpRSLangOperations() {

    Упорядочение

    -

    +

    Порядковые имена diff --git a/rsconcept/frontend/src/features/help/items/rslang/help-rslang-templates.tsx b/rsconcept/frontend/src/features/help/items/rslang/help-rslang-templates.tsx index 50feff93..c4927900 100644 --- a/rsconcept/frontend/src/features/help/items/rslang/help-rslang-templates.tsx +++ b/rsconcept/frontend/src/features/help/items/rslang/help-rslang-templates.tsx @@ -10,17 +10,19 @@ export function HelpRSLangTemplates() { Источником шаблонов является Банк выражений, содержащий параметризованные понятия и утверждения, сгруппированные по разделам

    -
  • Сначала выбирается шаблон выражения (вкладка Шаблон)
    • -
  • - Далее для аргументов можно зафиксировать значения, выбрав из конституент текущей схемы или указав выражения - (вкладка Аргументы) -
    • -
  • Значения аргументов будут подставлены в выражение, включая корректировку перечня аргументов
    • -
  • Если значения указаны для всех аргументов, то тип создаваемой конституенты будет автоматически обновлён
    • -
  • На вкладке Конституента можно скорректировать все атрибуты, создаваемой конституенты
    • -
  • - Кнопка Создать инициирует добавление выбранной конституенты в схему -
    • +
      +
    • Сначала выбирается шаблон выражения (вкладка Шаблон)
      • +
    • + Далее для аргументов можно зафиксировать значения, выбрав из конституент текущей схемы или указав выражения + (вкладка Аргументы) +
      • +
    • Значения аргументов будут подставлены в выражение, включая корректировку перечня аргументов
      • +
    • Если значения указаны для всех аргументов, то тип создаваемой конституенты будет автоматически обновлён
      • +
    • На вкладке Конституента можно скорректировать все атрибуты, создаваемой конституенты
      • +
    • + Кнопка Создать инициирует добавление выбранной конституенты в схему +
      • +
    ); } diff --git a/rsconcept/frontend/src/features/help/items/rslang/help-rslang-types.tsx b/rsconcept/frontend/src/features/help/items/rslang/help-rslang-types.tsx index 6fc80c0b..de5db510 100644 --- a/rsconcept/frontend/src/features/help/items/rslang/help-rslang-types.tsx +++ b/rsconcept/frontend/src/features/help/items/rslang/help-rslang-types.tsx @@ -2,7 +2,7 @@ export function HelpRSLangTypes() { return (

    Типизация

    -

    +

      Родоструктурное выражение ξ обладает типизацией (структурой), если выполнено ξ∈H,
      где H – корректное выражение ступени, задаваемой следующими правилами: @@ -18,7 +18,7 @@ export function HelpRSLangTypes() {
    • ℬ(H) – ступень, называемая множеством.
      • -

      +

    Пустое множество ∅ имеет типизацию ℬ(R0) – множество с произвольной структурой элемента

    Для обобщения понятия типизация на логические и параметризованные выражения вводится ряд дополнительных diff --git a/rsconcept/frontend/src/features/help/items/ui/help-formula-tree.tsx b/rsconcept/frontend/src/features/help/items/ui/help-formula-tree.tsx index ae6413bf..0c35dd60 100644 --- a/rsconcept/frontend/src/features/help/items/ui/help-formula-tree.tsx +++ b/rsconcept/frontend/src/features/help/items/ui/help-formula-tree.tsx @@ -4,34 +4,41 @@ export function HelpFormulaTree() {

    Дерево разбора выражения

    Дерево получено путем семантических преобразований дерева синтаксического разбора.

    Оно отражает структуру грамматически корректного выражения языка родов структур.

    -
  • Порядок узлов в рамках одного уровня может отличаться от их порядка в выражении
    • -
  • При наведении курсора на узел в тексте выделяется соответствующий ему фрагмент
    • -
  • Текст в узле дерева соответствует элементу языка
    • + +
      +
    • Порядок узлов в рамках одного уровня может отличаться от их порядка в выражении
      • +
    • При наведении курсора на узел в тексте выделяется соответствующий ему фрагмент
      • +
    • Текст в узле дерева соответствует элементу языка
      • +

    Виды узлов

    -
  • - объявление идентификатора -
    • -
  • - глобальный идентификатор -
    • -
  • - логическое выражение -
    • -
  • - типизированное выражение -
    • -
  • - присвоение и итерация -
    • -
  • - составные выражения -
    • +
      +
    • + объявление идентификатора +
      • +
    • + глобальный идентификатор +
      • +
    • + логическое выражение +
      • +
    • + типизированное выражение +
      • +
    • + присвоение и итерация +
      • +
    • + составные выражения +
      • +

    Команды

    -
  • - Space – перемещение экрана -
    • +
      +
    • + Space – перемещение экрана +
      • +
    ); } diff --git a/rsconcept/frontend/src/features/help/items/ui/help-library.tsx b/rsconcept/frontend/src/features/help/items/ui/help-library.tsx index acd125d4..37023ac8 100644 --- a/rsconcept/frontend/src/features/help/items/ui/help-library.tsx +++ b/rsconcept/frontend/src/features/help/items/ui/help-library.tsx @@ -31,70 +31,74 @@ export function HelpLibrary() { (ОСС).

    -
  • - зеленым текстом выделены ОСС -
    • -
  • - клик по строке - переход к редактированию схемы -
    • -
  • - Ctrl + клик по строке откроет схему в новой вкладке -
    • -
  • Фильтры атрибутов три позиции: да/нет/не применять
    • -
  • - фильтры атрибутов применяются по клику -
    • -
  • - - сортировка по клику на заголовок таблицы -
    • -
  • - фильтр по пользователю -
    • -
  • - фильтр по названию и шифру -
    • -
  • - фильтр по расположению -
    • -
  • - сбросить фильтры -
    • -
  • - переключение между Проводник и Поиск -
    • +
      +
    • + зеленым текстом выделены ОСС +
      • +
    • + клик по строке - переход к редактированию схемы +
      • +
    • + Ctrl + клик по строке откроет схему в новой вкладке +
      • +
    • Фильтры атрибутов три позиции: да/нет/не применять
      • +
    • + фильтры атрибутов применяются по клику +
      • +
    • + + сортировка по клику на заголовок таблицы +
      • +
    • + фильтр по пользователю +
      • +
    • + фильтр по названию и шифру +
      • +
    • + фильтр по расположению +
      • +
    • + сбросить фильтры +
      • +
    • + переключение между Проводник и Поиск +
      • +

    Режим: Проводник

    -
  • - переименовать выбранную -
    • -
  • - схемы во вложенных папках -
    • -
  • - клик по папке отображает справа схемы в ней -
    • -
  • - Ctrl + клик по папке копирует путь в буфер обмена -
    • -
  • - клик по иконке сворачивает/разворачивает вложенные -
    • -
  • - папка без схем -
    • -
  • - папка с вложенными без схем -
    • -
  • - папка без вложенных -
    • -
  • - папка с вложенными и схемами -
    • -
  • - развернутая папка -
    • +
      +
    • + переименовать выбранную +
      • +
    • + схемы во вложенных папках +
      • +
    • + клик по папке отображает справа схемы в ней +
      • +
    • + Ctrl + клик по папке копирует путь в буфер обмена +
      • +
    • + клик по иконке сворачивает/разворачивает вложенные +
      • +
    • + папка без схем +
      • +
    • + папка с вложенными без схем +
      • +
    • + папка без вложенных +
      • +
    • + папка с вложенными и схемами +
      • +
    • + развернутая папка +
      • +
    ); } diff --git a/rsconcept/frontend/src/features/help/items/ui/help-oss-graph.tsx b/rsconcept/frontend/src/features/help/items/ui/help-oss-graph.tsx index 2996159e..c0e746c6 100644 --- a/rsconcept/frontend/src/features/help/items/ui/help-oss-graph.tsx +++ b/rsconcept/frontend/src/features/help/items/ui/help-oss-graph.tsx @@ -32,109 +32,117 @@ export function HelpOssGraph() {

    Граф синтеза

    -

    Настройка графа

    -
  • - Сбросить изменения -
    • -
  • - Вписать в экран -
    • -
  • - Исправить расположения -
    • -
  • - Диалог настроек -
    • +

    Настройка графа

    +
      +
    • + Сбросить изменения +
      • +
    • + Вписать в экран +
      • +
    • + Исправить расположения +
      • +
    • + Диалог настроек +
      • -
    • - Отображение сетки -
      • -
    • - - Тип линии -
      • -
    • - - Анимация -
      • -
    • - Отображение координат -
      • -
    • черта сверху - Загрузка
      • -
    • - черта слева - КС -
      • +
    • + Отображение сетки +
      • +
    • + + Тип линии +
      • +
    • + + Анимация +
      • +
    • + Отображение координат +
      • +
    • черта сверху - Загрузка
      • +
    • + черта слева - КС +
      • +
    -

    Изменение узлов

    -
  • - Клик на операцию – выделение -
    • -
  • - Esc – сбросить выделение -
    • -
  • - Двойной клик – переход к связанной -
    • -
  • - Новый блок -
    • -
  • - Новая операция -
    • -
  • - Редактирование узла -
    • -
  • - Delete – удалить выбранные -
    • +

    Изменение узлов

    +
      +
    • + Клик на операцию – выделение +
      • +
    • + Esc – сбросить выделение +
      • +
    • + Двойной клик – переход к связанной +
      • +
    • + Новый блок +
      • +
    • + Новая операция +
      • +
    • + Редактирование узла +
      • +
    • + Delete – удалить выбранные +
      • +
    - +
    -

    Общие

    -
  • - Сохранить положения -
    • -
  • - Space – перемещение экрана -
    • -
  • - Shift – перемещение выделенных элементов в границах родителя -
    • +

    Общие

    +
      +
    • + Сохранить положения +
      • +
    • + Space – перемещение экрана +
      • +
    • + Shift – перемещение выделенных элементов в границах родителя +
      • +
    -

    Контекстное меню

    -
  • - Статус связанной{' '} - -
    • -
  • - {' '} - -
    • -
  • - Создать пустую КС для загрузки -
    • -
  • - Выбрать КС для загрузки -
    • -
  • - {' '} - -
    • -
  • - Активировать операцию -
    • +

    Контекстное меню

    +
      +
    • + Статус связанной{' '} + +
      • +
    • + {' '} + +
      • +
    • + Создать пустую КС для загрузки +
      • +
    • + Выбрать КС для загрузки +
      • +
    • + {' '} + +
      • +
    • + Активировать операцию +
      • +
    diff --git a/rsconcept/frontend/src/features/help/items/ui/help-relocate-cst.tsx b/rsconcept/frontend/src/features/help/items/ui/help-relocate-cst.tsx index 7659a47e..08bb8c03 100644 --- a/rsconcept/frontend/src/features/help/items/ui/help-relocate-cst.tsx +++ b/rsconcept/frontend/src/features/help/items/ui/help-relocate-cst.tsx @@ -12,23 +12,29 @@ export function HelpRelocateCst() { другую КС (целевую) в рамках одной {' '} .

    -
  • - только для собственных конституент источника -
    • -
  • - - направление переноса - вверх или вниз по дереву синтеза -
    • +
      +
    • + только для собственных конституент источника +
      • +
    • + + направление переноса - вверх или вниз по дереву синтеза +
      • +

    Перенос вверх

    -
  • выбранные конституенты становятся наследованными, а их копии добавляются в целевую КС
    • -
  • нельзя выбирать конституенты, зависящие от конституент других концептуальных схем
    • +
      +
    • выбранные конституенты становятся наследованными, а их копии добавляются в целевую КС
      • +
    • нельзя выбирать конституенты, зависящие от конституент других концептуальных схем
      • +

    Перенос вниз

    -
  • - выбранные конституенты становятся собственными конституентами целевой КС, удаляются из исходной КС и ее - наследников -
    • +
      +
    • + выбранные конституенты становятся собственными конституентами целевой КС, удаляются из исходной КС и ее + наследников +
      • +
    ); } diff --git a/rsconcept/frontend/src/features/help/items/ui/help-rscard.tsx b/rsconcept/frontend/src/features/help/items/ui/help-rscard.tsx index 3aca2782..d7ee9782 100644 --- a/rsconcept/frontend/src/features/help/items/ui/help-rscard.tsx +++ b/rsconcept/frontend/src/features/help/items/ui/help-rscard.tsx @@ -30,33 +30,35 @@ export function HelpRSCard() {

    Управление

    -
  • - переход к связанной -
    • -
  • - сохранить изменения: Ctrl + S -
    • -
  • - Редактор обладает правом редактирования -
    • -
  • - Владелец обладает полным доступом к схеме -
    • -
  • - Общедоступные схемы видны всем посетителям -
    • -
  • - Неизменные схемы -
    • -
  • - Клонировать – создать копию схемы -
    • -
  • - Загрузить/Выгрузить – взаимодействие с Экстеор -
    • -
  • - Удалить – полностью удаляет схему из базы Портала -
    • +
      +
    • + переход к связанной +
      • +
    • + сохранить изменения: Ctrl + S +
      • +
    • + Редактор обладает правом редактирования +
      • +
    • + Владелец обладает полным доступом к схеме +
      • +
    • + Общедоступные схемы видны всем посетителям +
      • +
    • + Неизменные схемы +
      • +
    • + Клонировать – создать копию схемы +
      • +
    • + Загрузить/Выгрузить – взаимодействие с Экстеор +
      • +
    • + Удалить – полностью удаляет схему из базы Портала +
      • +
    ); } diff --git a/rsconcept/frontend/src/features/help/items/ui/help-rseditor.tsx b/rsconcept/frontend/src/features/help/items/ui/help-rseditor.tsx index 8d92a3a2..07731110 100644 --- a/rsconcept/frontend/src/features/help/items/ui/help-rseditor.tsx +++ b/rsconcept/frontend/src/features/help/items/ui/help-rseditor.tsx @@ -27,89 +27,99 @@ export function HelpRSEditor() {

    Редактор конституенты

    -
    -
  • - переход к -
    • -
  • - переход к исходной -
    • -
  • - список конституент -
    • -
  • - сохранить: Ctrl + S -
    • -
  • - сбросить изменения -
    • -
  • - клонировать: Alt + V -
    • -
  • - новая конституента -
    • -
  • - удалить -
    • +
    +

    Команды

    +
      +
    • + переход к +
      • +
    • + переход к исходной +
      • +
    • + список конституент +
      • +
    • + сохранить: Ctrl + S +
      • +
    • + сбросить изменения +
      • +
    • + клонировать: Alt + V +
      • +
    • + новая конституента +
      • +
    • + удалить +
      • +
    -
    +

    Список конституент

    -
  • - - Alt + вверх/вниз -
    • -
  • - - фильтрация по графу термов -
    • -
  • - отображение наследованных -
    • -
  • - текущая конституента -
    • -
  • - - текущей - -
    • -
  • - - текущей - -
    • +
      +
    • + + Alt + вверх/вниз +
      • +
    • + + фильтрация по графу термов +
      • +
    • + отображение наследованных +
      • +
    • + текущая конституента +
      • +
    • + + текущей + +
      • +
    • + + текущей + +
      • +

    Формальное определение

    -
  • - индикатор статуса определения сверху -
    • -
  • - специальная клавиатура и горячие клавиши -
    • -
  • - отображение{' '} - -
    • -
  • - отображение{' '} - -
    • -
  • - Ctrl + Пробел вставка незанятого имени / замена проекции -
    • +
      +
    • + индикатор статуса определения сверху +
      • +
    • + специальная клавиатура и горячие клавиши +
      • +
    • + отображение{' '} + +
      • +
    • + отображение{' '} + +
      • +
    • + Ctrl + Пробел вставка незанятого имени / замена проекции +
      • +

    Термин и Текстовое определение

    -
  • - редактирование {' '} - / -
    • -
  • - Ctrl + Пробел открывает редактирование отсылок -
    • +
      +
    • + редактирование{' '} + /{' '} + +
      • +
    • + Ctrl + Пробел открывает редактирование отсылок +
      • +
    ); } diff --git a/rsconcept/frontend/src/features/help/items/ui/help-rsgraph-term.tsx b/rsconcept/frontend/src/features/help/items/ui/help-rsgraph-term.tsx index 04a1bb39..325448a4 100644 --- a/rsconcept/frontend/src/features/help/items/ui/help-rsgraph-term.tsx +++ b/rsconcept/frontend/src/features/help/items/ui/help-rsgraph-term.tsx @@ -30,37 +30,41 @@ export function HelpRSGraphTerm() {

    Граф термов

    -

    Настройка графа

    -
  • Цвет – покраска узлов
    • -
  • - Отображение текста -
    • -
  • - Скрыть порожденные -
    • -
  • - Вращение 3D -
    • +

    Настройка графа

    +
      +
    • Цвет – покраска узлов
      • +
    • + Отображение текста +
      • +
    • + Скрыть порожденные +
      • +
    • + Вращение 3D +
      • +
    -

    Изменение узлов

    -
  • Клик на узел – выделение
    • -
  • Левый клик – выбор фокус-конституенты
    • -
  • - Esc – сбросить выделение -
    • -
  • - Двойной клик – редактирование -
    • -
  • - Delete – удалить выбранные -
    • -
  • - Новая со ссылками на выделенные -
    • +

    Изменение узлов

    +
      +
    • Клик на узел – выделение
      • +
    • Левый клик – выбор фокус-конституенты
      • +
    • + Esc – сбросить выделение +
      • +
    • + Двойной клик – редактирование +
      • +
    • + Delete – удалить выбранные +
      • +
    • + Новая со ссылками на выделенные +
      • +
    @@ -68,54 +72,58 @@ export function HelpRSGraphTerm() {
    -

    Общие

    -
  • - Space – перемещение экрана -
    • -
  • - переход к связанной -
    • -
  • - Открыть настройки -
    • -
  • - Задать фокус -
    • -
  • - Вписать в экран -
    • -
  • - Открыть{' '} - -
    • +

    Общие

    +
      +
    • + Space – перемещение экрана +
      • +
    • + переход к связанной +
      • +
    • + Открыть настройки +
      • +
    • + Задать фокус +
      • +
    • + Вписать в экран +
      • +
    • + Открыть{' '} + +
      • +
    -

    Выделение

    -
  • - все влияющие -
    • -
  • - все зависимые -
    • -
  • - зависимые только от выделенных -
    • -
  • - входящие напрямую -
    • -
  • - исходящие напрямую -
    • -
  • - выделить -
    • -
  • - выделить{' '} - -
    • +

    Выделение

    +
      +
    • + все влияющие +
      • +
    • + все зависимые +
      • +
    • + зависимые только от выделенных +
      • +
    • + входящие напрямую +
      • +
    • + исходящие напрямую +
      • +
    • + выделить +
      • +
    • + выделить{' '} + +
      • +
    diff --git a/rsconcept/frontend/src/features/help/items/ui/help-rslist.tsx b/rsconcept/frontend/src/features/help/items/ui/help-rslist.tsx index e9101ca1..1bd0c4f6 100644 --- a/rsconcept/frontend/src/features/help/items/ui/help-rslist.tsx +++ b/rsconcept/frontend/src/features/help/items/ui/help-rslist.tsx @@ -19,49 +19,53 @@ export function HelpRSList() { return (

    Список конституент

    -
  • - - Конституенты обладают уникальным -
    • -
  • при наведении на имя отображаются атрибуты
    • -
  • - пунктиром отображаются конституенты -
    • +
      +
    • + + Конституенты обладают уникальным +
      • +
    • при наведении на имя отображаются атрибуты
      • +
    • + пунктиром отображаются конституенты +
      • +

    Управление списком

    -
  • - переход к связанной -
    • -
  • - сбросить выделение: ESC -
    • -
  • Клик на строку – выделение
    • -
  • - Shift + клик – выделение нескольких -
    • -
  • - Alt + клик – Редактор -
    • -
  • - Двойной клик – Редактор -
    • -
  • - - Alt + вверх/вниз – перемещение -
    • +
      +
    • + переход к связанной +
      • +
    • + сбросить выделение: ESC +
      • +
    • Клик на строку – выделение
      • +
    • + Shift + клик – выделение нескольких +
      • +
    • + Alt + клик – Редактор +
      • +
    • + Двойной клик – Редактор +
      • +
    • + + Alt + вверх/вниз – перемещение +
      • -
    • - клонировать выделенную: Alt + V -
      • -
    • - новая конституента: Alt + ` -
      • -
    • - быстрое добавление: Alt + 1-6,Q,W -
      • -
    • - удаление выделенных: Delete -
      • +
    • + клонировать выделенную: Alt + V +
      • +
    • + новая конституента: Alt + ` +
      • +
    • + быстрое добавление: Alt + 1-6,Q,W +
      • +
    • + удаление выделенных: Delete +
      • +
    diff --git a/rsconcept/frontend/src/features/help/items/ui/help-rsmenu.tsx b/rsconcept/frontend/src/features/help/items/ui/help-rsmenu.tsx index eac1e1fe..832be39e 100644 --- a/rsconcept/frontend/src/features/help/items/ui/help-rsmenu.tsx +++ b/rsconcept/frontend/src/features/help/items/ui/help-rsmenu.tsx @@ -30,72 +30,80 @@ export function HelpRSMenu() {

    Вкладки

    -
  • - – редактирование атрибутов схемы и версии -
    • -
  • - – работа со списком конституент в табличной форме -
    • -
  • - – редактирование отдельной{' '} - -
    • -
  • - – графическое представление связей конституент -
    • +
      +
    • + – редактирование атрибутов схемы и версии +
      • +
    • + – работа со списком конституент в табличной форме +
      • +
    • + – редактирование отдельной{' '} + +
      • +
    • + – графическое представление связей + конституент +
      • +

    Меню схемы

    -
  • - Меню схемы – выпадающее меню с общими функциями -
    • -
  • - Поделиться – скопировать ссылку на схему -
    • -
  • - Отобразить QR-код схемы -
    • -
  • - Генерировать запрос для LLM -
    • -
  • - Клонировать – создать копию схемы -
    • -
  • - Выгрузить – сохранить в файле формата Экстеор -
    • -
  • - Загрузить – заменить схему на содержимое файла Экстеор -
    • -
  • - Удалить – полностью удаляет схему из базы Портала -
    • +
      +
    • + Меню схемы – выпадающее меню с общими функциями +
      • +
    • + Поделиться – скопировать ссылку на схему +
      • +
    • + Отобразить QR-код схемы +
      • +
    • + Генерировать запрос для LLM +
      • +
    • + Клонировать – создать копию схемы +
      • +
    • + Выгрузить – сохранить в файле формата Экстеор +
      • +
    • + Загрузить – заменить схему на содержимое файла Экстеор +
      • +
    • + Удалить – полностью удаляет схему из базы Портала +
      • +

    Режимы работы

    -
  • - работа в анонимном режиме. Переход на страницу - логина -
    • -
  • - просмотр архивной версии. Переход к актуальной версии -
    • -
  • - режим Читатель -
    • -
  • - режим Редактор -
    • -
  • - режим Владелец -
    • -
  • - режим Администратор -
    • +
      +
    • + работа в анонимном режиме. Переход на + страницу логина +
      • +
    • + просмотр архивной версии. Переход к актуальной + версии +
      • +
    • + режим Читатель +
      • +
    • + режим Редактор +
      • +
    • + режим Владелец +
      • +
    • + режим Администратор +
      • +
    diff --git a/rsconcept/frontend/src/features/help/items/ui/help-substitutions.tsx b/rsconcept/frontend/src/features/help/items/ui/help-substitutions.tsx index ec76460a..30397fe2 100644 --- a/rsconcept/frontend/src/features/help/items/ui/help-substitutions.tsx +++ b/rsconcept/frontend/src/features/help/items/ui/help-substitutions.tsx @@ -5,16 +5,18 @@ export function HelpSubstitutions() {

    Пара отождествлений, обозначает замену вхождений одной конституенты на другую.

    Таблица отождествлений накладывает следующие ограничения: -

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

    ); diff --git a/rsconcept/frontend/src/features/help/items/ui/help-type-graph.tsx b/rsconcept/frontend/src/features/help/items/ui/help-type-graph.tsx index 8427add8..80feea30 100644 --- a/rsconcept/frontend/src/features/help/items/ui/help-type-graph.tsx +++ b/rsconcept/frontend/src/features/help/items/ui/help-type-graph.tsx @@ -7,31 +7,40 @@ export function HelpTypeGraph() {

    Граф ступеней

    Граф связей между ступенями, используемыми в данном выражении или{' '} - . Исторически отображался в форме мультиграфа (М-граф). В - Портале кратные ребра представлены перечислением индексов компонент произведения. + .
    + Исторически отображался в форме мультиграфа (М-граф). +
    + Кратные ребра представлены перечислением индексов компонент произведения.

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

    Виды узлов

    -
  • - ступень-основание -
    • -
  • - ступень-булеан -
    • -
  • - ступень декартова произведения -
    • +

    Цвета узлов

    + +
      +
    • + ступень-основание +
      • +
    • + ступень-булеан +
      • +
    • + ступень декартова произведения +
      • +

    Команды

    -
  • - Space – перемещение экрана -
    • +
      +
    • + Space – перемещение экрана +
      • +
    ); }