This commit is contained in:
IRBorisov
parent
323e7599f5
commit
1330476557
28
.vscode/settings.json
vendored
28
.vscode/settings.json
vendored
|
|
@ -84,6 +84,7 @@
|
|||
"Grammeme",
|
||||
"Grammemes",
|
||||
"GRND",
|
||||
"IDEF",
|
||||
"impr",
|
||||
"inan",
|
||||
"incapsulation",
|
||||
|
|
@ -150,42 +151,67 @@
|
|||
"viewsets",
|
||||
"wordform",
|
||||
"Wordforms",
|
||||
"Айзенштат",
|
||||
"Акименков",
|
||||
"Астрина",
|
||||
"Ашихмин",
|
||||
"Биективная",
|
||||
"биективной",
|
||||
"Булеан",
|
||||
"Бурбаки",
|
||||
"Бурбакизатор",
|
||||
"Версионирование",
|
||||
"Владельцом",
|
||||
"Демешко",
|
||||
"Десинглетон",
|
||||
"доксинг",
|
||||
"Закс",
|
||||
"интерпретируемости",
|
||||
"интерпретируемость",
|
||||
"Инттеор",
|
||||
"Климишин",
|
||||
"компаратив",
|
||||
"Кононенко",
|
||||
"конституент",
|
||||
"Конституента",
|
||||
"конституентами",
|
||||
"конституенте",
|
||||
"конституенту",
|
||||
"конституенты",
|
||||
"Крайнев",
|
||||
"Кучкаров",
|
||||
"Кучкарова",
|
||||
"неинтерпретируемый",
|
||||
"неитерируемого",
|
||||
"Никанорова",
|
||||
"операционализации",
|
||||
"операционализированных",
|
||||
"Оргтеор",
|
||||
"Пакулина",
|
||||
"пересинтез",
|
||||
"Персиц",
|
||||
"Присакарь",
|
||||
"ПРОКСИМА",
|
||||
"Родоструктурная",
|
||||
"родоструктурного",
|
||||
"Родоструктурное",
|
||||
"родоструктурной",
|
||||
"родоструктурном",
|
||||
"родоструктурных",
|
||||
"Савелов",
|
||||
"Синглетон",
|
||||
"твор",
|
||||
"Терминологизация",
|
||||
"троллинг",
|
||||
"Тулисов",
|
||||
"Цермелло",
|
||||
"ЦИВТ",
|
||||
"Чувашов",
|
||||
"Шульпекин",
|
||||
"Экстеор",
|
||||
"Экстеора",
|
||||
"Экстеоре"
|
||||
"Экстеоре",
|
||||
"Юдкин"
|
||||
],
|
||||
"cSpell.language": "en,ru",
|
||||
"cSpell.ignorePaths": ["node_modules/**", "*.json"]
|
||||
|
|
|
|||
12
rsconcept/frontend/package-lock.json
generated
12
rsconcept/frontend/package-lock.json
generated
|
|
@ -4883,9 +4883,9 @@
|
|||
"license": "MIT"
|
||||
},
|
||||
"node_modules/electron-to-chromium": {
|
||||
"version": "1.4.802",
|
||||
"resolved": "https://registry.npmjs.org/electron-to-chromium/-/electron-to-chromium-1.4.802.tgz",
|
||||
"integrity": "sha512-TnTMUATbgNdPXVSHsxvNVSG0uEd6cSZsANjm8c9HbvflZVVn1yTRcmVXYT1Ma95/ssB/Dcd30AHweH2TE+dNpA==",
|
||||
"version": "1.4.803",
|
||||
"resolved": "https://registry.npmjs.org/electron-to-chromium/-/electron-to-chromium-1.4.803.tgz",
|
||||
"integrity": "sha512-61H9mLzGOCLLVsnLiRzCbc63uldP0AniRYPV3hbGVtONA1pI7qSGILdbofR7A8TMbOypDocEAjH/e+9k1QIe3g==",
|
||||
"license": "ISC"
|
||||
},
|
||||
"node_modules/ellipsize": {
|
||||
|
|
@ -5557,9 +5557,9 @@
|
|||
}
|
||||
},
|
||||
"node_modules/foreground-child": {
|
||||
"version": "3.2.0",
|
||||
"resolved": "https://registry.npmjs.org/foreground-child/-/foreground-child-3.2.0.tgz",
|
||||
"integrity": "sha512-CrWQNaEl1/6WeZoarcM9LHupTo3RpZO2Pdk1vktwzPiQTsJnAKJmm3TACKeG5UZbWDfaH2AbvYxzP96y0MT7fA==",
|
||||
"version": "3.2.1",
|
||||
"resolved": "https://registry.npmjs.org/foreground-child/-/foreground-child-3.2.1.tgz",
|
||||
"integrity": "sha512-PXUUyLqrR2XCWICfv6ukppP96sdFwWbNEnfEMt7jNsISjMsvaLNinAHNDYyvkyU+SZG2BTSbT5NjG+vZslfGTA==",
|
||||
"dev": true,
|
||||
"license": "ISC",
|
||||
"dependencies": {
|
||||
|
|
|
|||
|
|
@ -1,8 +1,265 @@
|
|||
function HelpInfo() {
|
||||
return (
|
||||
<div>
|
||||
<h1>Благодарности участникам</h1>
|
||||
<p>TBD.</p>
|
||||
<h1>Благодарности разработчикам и исследователям</h1>
|
||||
<p>
|
||||
История создания инструментов разработки концептуальных схем начинается с 1970-х годов и продолжается в
|
||||
настоящее время. Данный раздел является скромной попыткой перечислить вклад различных людей в развитие
|
||||
инструментов и математического аппарата, лежащего в основе экспликации концептуальных схем.
|
||||
</p>
|
||||
<p>
|
||||
В списке указан год окончания работ над соответствующим результатом или год публикации соответствующей статьи,
|
||||
курсивом выделены комментарии к значимости указанного результата.
|
||||
</p>
|
||||
<p>Любые добавления и поправки приветствуются.</p>
|
||||
<div className='flex flex-col gap-2'>
|
||||
<li>1973 Никаноров С.П., Персиц Д.Б. Формальное проектирование целостных СОУ.</li>
|
||||
<li>
|
||||
1975-1981 Никаноров С.П., Персиц Д.Б., Айзенштат А.В., Закс Б.А. Экспериментальная система пакетов прикладных
|
||||
программ автоматизированного проектирования систем организационного управления (АСП СОУ).
|
||||
</li>
|
||||
<li>
|
||||
1977 Персиц Д.Б., Савелов Е.В., Тищенко А.В. Теоретические основы АСП СОУ,{' '}
|
||||
<i>
|
||||
сформировавшие базу для развития формализации предметных областей с помощью экспликации концептуальных схем
|
||||
</i>
|
||||
.
|
||||
</li>
|
||||
<li>
|
||||
1980 Никаноров С.П., Персиц Д.Б., Егоров Б.Б., Никитина Н.К., Ашихмин В.С., Астрина И.В., Тищенко А.В. Блок
|
||||
документирования в АСП СОУ.
|
||||
</li>
|
||||
<li>
|
||||
1986 Никаноров С.П., Кучкаров З.А., Никитина Н.К., Крюков И.А., Комаров В.Г. Система автоматизированного
|
||||
проектирования концептуального уровня баз данных (МАКС),{' '}
|
||||
<i>
|
||||
заложивший основу для хранения концептуальных схем в базах данных и ставший первым редактором
|
||||
родоструктурной экспликации в группе Никитиной.
|
||||
</i>
|
||||
</li>
|
||||
<li>
|
||||
1987 Иванов А.Ю., Кучкаров З.А. Разработка концептуальных и математических средств описания процессов принятия
|
||||
решений.
|
||||
</li>
|
||||
<li>
|
||||
1989 Кучкаров З.А., Остапов А.В. Методические вопросы концептуализации предметных областей,{' '}
|
||||
<i>
|
||||
как пример одной из работ Остапова, значительно расширившего технику экспликации и практику применения
|
||||
"бескванторных" выражений.
|
||||
</i>
|
||||
</li>
|
||||
<li>
|
||||
1990 Никитина Н.К., Постников В.В. Синтаксический анализатор текста рода структуры для МАКС,{' '}
|
||||
<i>являющийся первой попыткой реализовать автоматизированную проверку синтаксиса родов структур.</i>
|
||||
</li>
|
||||
<li>
|
||||
1993 Костюк А.В., Никитина Н.К., Юдкин Ю.Ю. Программа визуализации М-графов, представляющих родовую структуру
|
||||
(М-граф).
|
||||
</li>
|
||||
<li>1993 Никитина Н.К., Чувашов Е.В. Система проектирования баз данных по их концептуальной модели</li>
|
||||
<li>
|
||||
1993 Никаноров С.П., Кучкаров З.А., Остапов А.В., Шульпекин А.Н., Коваль А.Г., Костюк А.В. Программа
|
||||
операционализации текстов концептуальных моделей, эксплицированных в аппарате родов структур Экстеор 1,{' '}
|
||||
<i>ставший первым редактором родоструктурной экспликации в группе Кучкарова.</i>
|
||||
</li>
|
||||
<li>
|
||||
1993 Кучкаров З.А., Лавров В., Крайнев А., Шульпекин А.Н., Симонов М. Автоматический генератор
|
||||
PROLOG-программ, формирующих предметные интерпретации родоструктурных экспликаций Инттеор.
|
||||
</li>
|
||||
<li>
|
||||
1994 Кучкаров З.А., Ким В.Л. Разработка родоструктурных конструктов для библиотеки моделей и исследование
|
||||
возможностей их развития
|
||||
</li>
|
||||
<li>
|
||||
1996 Коваль А.Г., Кучкаров З.А., Костюк А.В., Кононенко А.А., Син Ю.Е., Маклаков Ю.И. Программа
|
||||
родоструктурного синтеза операционализированных терминальных концептуальных моделей Экстеор 2,{' '}
|
||||
<i>ставшая первой версией реализации родоструктурного аппарата на C++ под Windows.</i>
|
||||
</li>
|
||||
<li>
|
||||
1996 Никаноров С.П., Никитина Н.К., Климишин В.В. Автоматизированная система "Библиотека концептуальных схем",{' '}
|
||||
<i>впервые определившая паспорт концептуальной схемы.</i>
|
||||
</li>
|
||||
<li>
|
||||
1997 Никитина Н.К., Юрьев О.И. Система поддержки процессов концептуального анализа и проектирования ПРОКСИМА
|
||||
1.
|
||||
</li>
|
||||
<li>
|
||||
1998 Никитина Н.К., Гараева Ю.Р. Синтаксический анализатор выражений на языке родоструктурной экспликации для
|
||||
ПРОКСИМА 1.
|
||||
</li>
|
||||
<li>
|
||||
Син Ю.Е. Разработка и исследование класса теоретико-модельных операций для технологической линии
|
||||
концептуального проектирования.
|
||||
</li>
|
||||
<li>1999 Кучкаров З.А., Чернышев С.Б. Метод построения формально-логической модели большой размерности.</li>
|
||||
<li>
|
||||
1999 Кучкаров З.А., Кононенко А.А. Программа преобразования родоструктурного синтеза операционализированных
|
||||
терминальных концептуальных моделей Экстеор 3,{' '}
|
||||
<i>впервые включившая операционную схему синтеза (дерево синтеза).</i>
|
||||
</li>
|
||||
<li>
|
||||
1999 Никитина Н.К., Ландин Н.А. Разработка автоматизированной подсистемы, реализующей операции отслоения и
|
||||
рассечения над концептуальными схемами
|
||||
</li>
|
||||
<li>
|
||||
1999 Юрьев О.И., Зверев В.Ю. Разработка и создание экспериментальной версии автоматизированной системы
|
||||
"Библиотека проектов систем организационного управления".
|
||||
</li>
|
||||
<li>
|
||||
2000 Кучкаров З.А., Кононенко А.А., Син Ю.Е. Программа генерации концептуально определенной предметно
|
||||
интерпретированной сети организационных процедур Оргтеор,{' '}
|
||||
<i>
|
||||
позволившая строить процессные схемы по графу термов концептуальной схемы и впервые включившая модуль
|
||||
терминологических преобразований текстовых описаний.
|
||||
</i>
|
||||
</li>
|
||||
<li>
|
||||
2000 Кононенко А.А., Майоров В.А. Программа автоматизированной генерации структуры данных и их визуализации по
|
||||
концептуальной модели БДтеор,{' '}
|
||||
<i>
|
||||
определившая проблемы интерфейса наполнения концептуальной модели в сложных ступенях и предложившая
|
||||
библиотеку Kernel для удержания интерпретации с помощью М-графа.
|
||||
</i>
|
||||
</li>
|
||||
<li>2000 Тищенко А.В. Шкалы множеств и родов структур.</li>
|
||||
<li>
|
||||
2000 Тищенко А.В., Акименков А.М., Ключников А.В. Система операций над концептуальными схемами,
|
||||
представленными в родоструктурной форме.
|
||||
</li>
|
||||
<li>2000 Ключников А.В. Эквивалентность теорий родов структур.</li>
|
||||
<li>
|
||||
2001 Кучкаров З.А., Никитин А.В. Исследование и построение типологии изменений теоретико-множественных
|
||||
интерпретаций класса декартового произведения
|
||||
</li>
|
||||
<li>
|
||||
2001 Кононенко А.А., Майоров В.А. Программа преобразования сети процедур из формата Оргтеор в формат BPWin
|
||||
(IDEF0).
|
||||
</li>
|
||||
<li>
|
||||
2001 Майоров В.А. Программа построения формального выражения путем выбора альтернатив Grammar,{' '}
|
||||
<i>предложившая альтернативной подход к построению корректных формальных выражений</i>.
|
||||
</li>
|
||||
<li>
|
||||
2004 Гараева Ю.Р., Пономарев И.Н. Семантико-синтаксический анализатор текстов родов структур Бурбакизатор,{' '}
|
||||
<i>
|
||||
впервые включивший полный грамматический анализ родов структур и проверку биективной переносимости выражения
|
||||
</i>
|
||||
</li>
|
||||
<li>
|
||||
2003 Юдкин Ю.Ю., Кудюкин Д.А. Разработка и испытание компьютерной программы, формирующей
|
||||
теоретико-множественную интерпретацию терма частной родоструктурной теории.
|
||||
</li>
|
||||
<li>
|
||||
2004 Кононенко А.А. Генерация кода на языке программирования C++ по тексту концептуальной схемы,
|
||||
эксплицированной в родах структур.
|
||||
</li>
|
||||
<li>2006 Кучкаров З.А., Никаноров С.П. Библиотека моделей.</li>
|
||||
<li>2006 Кучкаров З.А., Лавров В.А. Полные системы простых теоретико-множественных операций.</li>
|
||||
<li>
|
||||
2006 Солнцев С.В., Присакарь С.В. Введение количественных отношений в методологию концептуального анализа и
|
||||
проектирования, в том числе в язык родоструктурной экспликации.
|
||||
</li>
|
||||
<li>
|
||||
2007 Пономарев И.Н. Учебное пособие: Введение в математическую логику и роды структур,{' '}
|
||||
<i>
|
||||
являющееся наиболее полным описанием теории родов структур, используемой в родоструктурных экспликациях.
|
||||
</i>
|
||||
</li>
|
||||
<li>
|
||||
2008 Пономарев И.Н. Об эквивалентной представимости рода структуры с помощью заданной типовой характеристики
|
||||
</li>
|
||||
<li>
|
||||
2008 Кононенко А.А., Кучкаров З.А., Никаноров С.П., Никитина Н.К. Технология концептуального проектирования, -{' '}
|
||||
<i>монография, собравшая исторический обзор и перспективы развития технологического направления.</i>
|
||||
</li>
|
||||
<li>
|
||||
2010 Кононенко А.А., Грязнов А.Д. Исследование и построение транслятора концептуальной схемы в концептуальную
|
||||
модель.
|
||||
</li>
|
||||
<li>
|
||||
2012 Кононенко А.А., Елисов Д.Н. Использование механизма XSD-схем для хранения и операционализации
|
||||
концептуальных схем и концептуальных моделей с помощью XML.
|
||||
</li>
|
||||
<li>
|
||||
2013 Кононенко А.А., Борисов И.Р. Исследование, разработка и экспериментальная программная реализация операций
|
||||
над концептуальными моделями,{' '}
|
||||
<i>
|
||||
впервые реализовавшая модуль прямого вычисления интерпретации формального выражения, встроенный в Экстеор
|
||||
3.5
|
||||
</i>
|
||||
</li>
|
||||
<li>2013 Пономарев И.Н., Липатов А.А. Операции над родами структур и пример автоматизации их выполнения.</li>
|
||||
<li>
|
||||
2014 Борисов И.Р., Баширов Р.М. Исследования и программная реализации оптимальной структуры данных для
|
||||
вычисления интерпретации концептуальных схем.
|
||||
</li>
|
||||
<li>
|
||||
2014 Борисов И.Р. Программный комплекс Экстеор 4,{' '}
|
||||
<i>
|
||||
включавший доработанный модуль операционного синтеза и синтаксический анализатор на базе грамматики,
|
||||
предложенной Пономаревым И.Н.
|
||||
</i>
|
||||
</li>
|
||||
<li>
|
||||
2014 Борисов И.Р. Концептуальные конструкции в задаче синтеза систем на примере Экологического кодекса, -{' '}
|
||||
<i>
|
||||
статья, вводящая понятие концептуальных конструкций как промежуточных форм для операционализации
|
||||
концептуальных схем.
|
||||
</i>
|
||||
</li>
|
||||
<li>2015 Иванов А.Ю. Аппарат ступеней С.П.Никанорова и возможное развитие идей по его использованию.</li>
|
||||
<li>
|
||||
2016 Борисов И.Р., Баширов Р.М. Исследование области компьютерной лингвистики и разработка модулей
|
||||
терминологического контроля в Экстеор 4 и Microsoft Office Word, <i>являющееся основой библиотеки cctext.</i>
|
||||
</li>
|
||||
<li>
|
||||
2016 Борисов И.Р. Программный комплекс Экстеор 4.5,{' '}
|
||||
<i>
|
||||
включавший текстовый модуль и полностью переработанное ядро, выделенное в отдельную библиотеку (впоследствии
|
||||
- ConceptCore)
|
||||
</i>
|
||||
</li>
|
||||
<li>
|
||||
2017 Иванов А.Ю. Введение в технологию концептуализации предметных областей социологии: основы полагания ядра
|
||||
теории (на примере родственных отношений)
|
||||
</li>
|
||||
<li>
|
||||
2017 Борисов И.Р., Мурадов А.К. Организация операций над системами понятий посредством графических
|
||||
интерфейсов, <i>заложивший основу для технологии Концепт.Блоки и блока графического синтеза.</i>
|
||||
</li>
|
||||
<li>
|
||||
2018 Борисов И.Р., Князев А.В. Изучение методов концептуальной расчистки, разметки текстов и разработка
|
||||
программных средств их автоматизации,{' '}
|
||||
<i> - диплом, сформировавший основу для технологий Концепт.Разметка и Концепт.Майнинг.</i>
|
||||
</li>
|
||||
<li>
|
||||
2019 Борисов И.Р., Широкова Л.Р. Исследование возможностей применения методов машинного обучения для решения
|
||||
задач расчистки текстов. Разработка прототипа программного модуля, -{' '}
|
||||
<i>первая попытка внедрения технологий ИИ в текстовый модуль.</i>
|
||||
</li>
|
||||
<li>
|
||||
2020 Борисов И.Р., Пакулина Т.А. Исследование применения методов машинного обучения для выделения именованных
|
||||
сущностей в текстах интервью. Экспериментальная разработка программного модуля расчистки текстов,{' '}
|
||||
<i>ставшего расширением технологии Концепт.Расчистка.</i>
|
||||
</li>
|
||||
<li>
|
||||
2020 Программный комплекс Экстеор 4.7, включающий значительное расширение выразительных средств языка родов
|
||||
структур (рекурсивные и императивные выражения, фильтры, ASCII синтаксис).
|
||||
</li>
|
||||
<li>
|
||||
2021 Борисов И.Р., Демешко А.Б. Исследование и разработка программного модуля формирования текстов функций на
|
||||
основе концепта функциональная структура,{' '}
|
||||
<i>дополнившего текстовый модуль возможностью работы с глагольными формами.</i>
|
||||
</li>
|
||||
<li>
|
||||
2023 Борисов И.Р., Тулисов А.В. Разработка инструмента экспликации концептуальных схем в родоструктурной форме
|
||||
через веб-интерфейс, - <i>разработка прототипа интерфейса КонцептПортал.</i>
|
||||
</li>
|
||||
<li>
|
||||
2024 Борисов И.Р. Программный комплекс Экстеор 4.9, поддерживающий работу со схемами, выгруженными из
|
||||
КонцептПортал.
|
||||
</li>
|
||||
</div>
|
||||
</div>
|
||||
);
|
||||
}
|
||||
|
|
|
|||
|
|
@ -1,19 +1,26 @@
|
|||
import TextURL from '@/components/ui/TextURL';
|
||||
import { external_urls } from '@/utils/constants';
|
||||
import { external_urls, PARAMETER } from '@/utils/constants';
|
||||
|
||||
function HelpExteor() {
|
||||
return (
|
||||
<div>
|
||||
<h1>Экстеор</h1>
|
||||
<p>Экстеор 4.9 — редактор текстов систем понятий эксплицированных в родах структур</p>
|
||||
<p>Экстеор 4.9 — редактор текстов систем понятий эксплицированных в родах структур.</p>
|
||||
<p>
|
||||
Портал превосходит Экстеор в части редактирования экспликаций, но вычисление интерпретации доступно только в
|
||||
Экстеоре. Также следует использовать Экстеор для выгрузки экспликаций в Word для последующей печати
|
||||
Экстеор. Также следует использовать Экстеор для выгрузки экспликаций в Word для последующей печати.
|
||||
</p>
|
||||
<p>Экстеор доступен на операционной системы Windows 10+</p>
|
||||
|
||||
<p>
|
||||
Скачать установщик: <TextURL href={external_urls.exteor64} text='64bit' /> |{' '}
|
||||
<TextURL href={external_urls.exteor32} text='32bit' />
|
||||
<TextURL href={external_urls.exteor32} text='32bit' /> (Windows 10 и выше)
|
||||
</p>
|
||||
<p>
|
||||
Текущая версия: <b>{PARAMETER.exteorVersion}</b>
|
||||
</p>
|
||||
<p>
|
||||
Экстеор не поддерживает автоматическое обновление. Если в выгруженной схеме присутствуют неожиданные диагностики
|
||||
или ошибки, то попробуйте скачать новую версию по ссылкам выше.
|
||||
</p>
|
||||
|
||||
<h2>Основные функции</h2>
|
||||
|
|
|
|||
|
|
@ -17,6 +17,7 @@ export const PARAMETER = {
|
|||
graphRefreshDelay: 10, // milliseconds delay for graph viewpoint reset
|
||||
|
||||
logicLabel: 'LOGIC',
|
||||
exteorVersion: '4.9.3',
|
||||
|
||||
TOOLTIP_WIDTH: 'max-w-[29rem]'
|
||||
};
|
||||
|
|
|
|||
|
|
@ -394,7 +394,7 @@ export function labelHelpTopic(topic: HelpTopic): string {
|
|||
|
||||
case HelpTopic.INFO: return 'Информация';
|
||||
case HelpTopic.INFO_RULES: return 'Правила';
|
||||
case HelpTopic.INFO_CONTRIB: return 'Участники';
|
||||
case HelpTopic.INFO_CONTRIB: return 'Разработчики';
|
||||
case HelpTopic.INFO_PRIVACY: return 'Обработка данных';
|
||||
case HelpTopic.INFO_API: return 'REST API';
|
||||
|
||||
|
|
@ -442,7 +442,7 @@ export function describeHelpTopic(topic: HelpTopic): string {
|
|||
|
||||
case HelpTopic.INFO: return 'справочные, нормативные <br/>и технические документы';
|
||||
case HelpTopic.INFO_RULES: return 'правила пользования Порталом';
|
||||
case HelpTopic.INFO_CONTRIB: return 'признание вклада участников <br/>в создание Портала';
|
||||
case HelpTopic.INFO_CONTRIB: return 'признание вклада <br/>в создание Портала';
|
||||
case HelpTopic.INFO_PRIVACY: return 'политика обработки <br/>персональных данных';
|
||||
case HelpTopic.INFO_API: return 'интерфейс для разработчиков';
|
||||
|
||||
|
|
|
|||
Loading…
Reference in New Issue
Block a user