mirror of
https://github.com/IRBorisov/ConceptPortal.git
synced 2025-06-26 13:00:39 +03:00
Update help page
This commit is contained in:
parent
011ef7222c
commit
7927e9edb3
|
@ -15,15 +15,15 @@ function HelpInfo() {
|
||||||
<div className='flex flex-col gap-2'>
|
<div className='flex flex-col gap-2'>
|
||||||
<li>1973 Никаноров С.П., Персиц Д.Б. Формальное проектирование целостных СОУ.</li>
|
<li>1973 Никаноров С.П., Персиц Д.Б. Формальное проектирование целостных СОУ.</li>
|
||||||
<li>
|
<li>
|
||||||
1975-1981 Никаноров С.П., Персиц Д.Б., Айзенштат А.В., Закс Б.А. Экспериментальная система пакетов прикладных
|
1975–1981 Никаноров С.П., Персиц Д.Б., Айзенштат А.В., Закс Б.А. Экспериментальная система пакетов прикладных
|
||||||
программ автоматизированного проектирования систем организационного управления (АСП СОУ).
|
программ автоматизированного проектирования систем организационного управления (АСП СОУ).
|
||||||
</li>
|
</li>
|
||||||
|
<li>1976 Поспелов Д.А., Чернышев С.Б. Метод построения формально-логической модели большой размерности.</li>
|
||||||
<li>
|
<li>
|
||||||
1977 Персиц Д.Б., Савелов Е.В., Тищенко А.В. Теоретические основы АСП СОУ,{' '}
|
1977 Персиц Д.Б., Савелов Е.В., Тищенко А.В. Теоретические основы АСП СОУ,{' '}
|
||||||
<i>
|
<i>
|
||||||
сформировавшие базу для развития формализации предметных областей с помощью экспликации концептуальных схем
|
сформировавшие базу для развития формализации предметных областей с помощью экспликации концептуальных схем.
|
||||||
</i>
|
</i>
|
||||||
.
|
|
||||||
</li>
|
</li>
|
||||||
<li>
|
<li>
|
||||||
1980 Никаноров С.П., Персиц Д.Б., Егоров Б.Б., Никитина Н.К., Ашихмин В.С., Астрина И.В., Тищенко А.В. Блок
|
1980 Никаноров С.П., Персиц Д.Б., Егоров Б.Б., Никитина Н.К., Ашихмин В.С., Астрина И.В., Тищенко А.В. Блок
|
||||||
|
@ -53,10 +53,9 @@ function HelpInfo() {
|
||||||
<i>являющийся первой попыткой реализовать автоматизированную проверку синтаксиса родов структур.</i>
|
<i>являющийся первой попыткой реализовать автоматизированную проверку синтаксиса родов структур.</i>
|
||||||
</li>
|
</li>
|
||||||
<li>
|
<li>
|
||||||
1993 Костюк А.В., Никитина Н.К., Юдкин Ю.Ю. Программа визуализации М-графов, представляющих родовую структуру
|
1993 Костюк А.В., Никитина Н.К., Юдкин Ю.Ю. Программа визуализации М-графов, представляющих родовую структуру.
|
||||||
(М-граф).
|
|
||||||
</li>
|
</li>
|
||||||
<li>1993 Никитина Н.К., Чувашов Е.В. Система проектирования баз данных по их концептуальной модели</li>
|
<li>1993 Никитина Н.К., Чувашов Е.В. Система проектирования баз данных по их концептуальной модели.</li>
|
||||||
<li>
|
<li>
|
||||||
1993 Никаноров С.П., Кучкаров З.А., Остапов А.В., Шульпекин А.Н., Коваль А.Г., Костюк А.В. Программа
|
1993 Никаноров С.П., Кучкаров З.А., Остапов А.В., Шульпекин А.Н., Коваль А.Г., Костюк А.В. Программа
|
||||||
операционализации текстов концептуальных моделей, эксплицированных в аппарате родов структур Экстеор 1,{' '}
|
операционализации текстов концептуальных моделей, эксплицированных в аппарате родов структур Экстеор 1,{' '}
|
||||||
|
@ -68,7 +67,7 @@ function HelpInfo() {
|
||||||
</li>
|
</li>
|
||||||
<li>
|
<li>
|
||||||
1994 Кучкаров З.А., Ким В.Л. Разработка родоструктурных конструктов для библиотеки моделей и исследование
|
1994 Кучкаров З.А., Ким В.Л. Разработка родоструктурных конструктов для библиотеки моделей и исследование
|
||||||
возможностей их развития
|
возможностей их развития.
|
||||||
</li>
|
</li>
|
||||||
<li>
|
<li>
|
||||||
1996 Коваль А.Г., Кучкаров З.А., Костюк А.В., Кононенко А.А., Син Ю.Е., Маклаков Ю.И. Программа
|
1996 Коваль А.Г., Кучкаров З.А., Костюк А.В., Кононенко А.А., Син Ю.Е., Маклаков Ю.И. Программа
|
||||||
|
@ -88,10 +87,9 @@ function HelpInfo() {
|
||||||
ПРОКСИМА 1.
|
ПРОКСИМА 1.
|
||||||
</li>
|
</li>
|
||||||
<li>
|
<li>
|
||||||
Син Ю.Е. Разработка и исследование класса теоретико-модельных операций для технологической линии
|
1998 Син Ю.Е. Разработка и исследование класса теоретико-модельных операций для технологической линии
|
||||||
концептуального проектирования.
|
концептуального проектирования.
|
||||||
</li>
|
</li>
|
||||||
<li>1999 Кучкаров З.А., Чернышев С.Б. Метод построения формально-логической модели большой размерности.</li>
|
|
||||||
<li>
|
<li>
|
||||||
1999 Кучкаров З.А., Кононенко А.А. Программа преобразования родоструктурного синтеза операционализированных
|
1999 Кучкаров З.А., Кононенко А.А. Программа преобразования родоструктурного синтеза операционализированных
|
||||||
терминальных концептуальных моделей Экстеор 3,{' '}
|
терминальных концептуальных моделей Экстеор 3,{' '}
|
||||||
|
@ -99,7 +97,7 @@ function HelpInfo() {
|
||||||
</li>
|
</li>
|
||||||
<li>
|
<li>
|
||||||
1999 Никитина Н.К., Ландин Н.А. Разработка автоматизированной подсистемы, реализующей операции отслоения и
|
1999 Никитина Н.К., Ландин Н.А. Разработка автоматизированной подсистемы, реализующей операции отслоения и
|
||||||
рассечения над концептуальными схемами
|
рассечения над концептуальными схемами.
|
||||||
</li>
|
</li>
|
||||||
<li>
|
<li>
|
||||||
1999 Юрьев О.И., Зверев В.Ю. Разработка и создание экспериментальной версии автоматизированной системы
|
1999 Юрьев О.И., Зверев В.Ю. Разработка и создание экспериментальной версии автоматизированной системы
|
||||||
|
@ -129,7 +127,7 @@ function HelpInfo() {
|
||||||
<li>2000 Ключников А.В. Эквивалентность теорий родов структур.</li>
|
<li>2000 Ключников А.В. Эквивалентность теорий родов структур.</li>
|
||||||
<li>
|
<li>
|
||||||
2001 Кучкаров З.А., Никитин А.В. Исследование и построение типологии изменений теоретико-множественных
|
2001 Кучкаров З.А., Никитин А.В. Исследование и построение типологии изменений теоретико-множественных
|
||||||
интерпретаций класса декартового произведения
|
интерпретаций класса декартового произведения.
|
||||||
</li>
|
</li>
|
||||||
<li>
|
<li>
|
||||||
2001 Кононенко А.А., Майоров В.А. Программа преобразования сети процедур из формата Оргтеор в формат BPWin
|
2001 Кононенко А.А., Майоров В.А. Программа преобразования сети процедур из формата Оргтеор в формат BPWin
|
||||||
|
@ -137,12 +135,13 @@ function HelpInfo() {
|
||||||
</li>
|
</li>
|
||||||
<li>
|
<li>
|
||||||
2001 Майоров В.А. Программа построения формального выражения путем выбора альтернатив Grammar,{' '}
|
2001 Майоров В.А. Программа построения формального выражения путем выбора альтернатив Grammar,{' '}
|
||||||
<i>предложившая альтернативной подход к построению корректных формальных выражений</i>.
|
<i>предложившая альтернативной подход к построению корректных формальных выражений.</i>
|
||||||
</li>
|
</li>
|
||||||
<li>
|
<li>
|
||||||
2004 Гараева Ю.Р., Пономарев И.Н. Семантико-синтаксический анализатор текстов родов структур Бурбакизатор,{' '}
|
2004 Гараева Ю.Р., Пономарев И.Н. Семантико-синтаксический анализатор текстов родов структур Бурбакизатор,{' '}
|
||||||
<i>
|
<i>
|
||||||
впервые включивший полный грамматический анализ родов структур и проверку биективной переносимости выражения
|
впервые включивший полный грамматический анализ родов структур и проверку биективной переносимости
|
||||||
|
выражения.
|
||||||
</i>
|
</i>
|
||||||
</li>
|
</li>
|
||||||
<li>
|
<li>
|
||||||
|
@ -166,16 +165,17 @@ function HelpInfo() {
|
||||||
</i>
|
</i>
|
||||||
</li>
|
</li>
|
||||||
<li>
|
<li>
|
||||||
2008 Пономарев И.Н. Об эквивалентной представимости рода структуры с помощью заданной типовой характеристики
|
2008 Пономарев И.Н. Об эквивалентной представимости рода структуры с помощью заданной типовой характеристики.
|
||||||
</li>
|
</li>
|
||||||
<li>
|
<li>
|
||||||
2008 Кононенко А.А., Кучкаров З.А., Никаноров С.П., Никитина Н.К. Технология концептуального проектирования, -{' '}
|
2008 Кононенко А.А., Кучкаров З.А., Никаноров С.П., Никитина Н.К. Технология концептуального проектирования,
|
||||||
<i>монография, собравшая исторический обзор и перспективы развития технологического направления.</i>
|
— <i>монография, собравшая исторический обзор и перспективы развития технологического направления.</i>
|
||||||
</li>
|
</li>
|
||||||
<li>
|
<li>
|
||||||
2010 Кононенко А.А., Грязнов А.Д. Исследование и построение транслятора концептуальной схемы в концептуальную
|
2010 Кононенко А.А., Грязнов А.Д. Исследование и построение транслятора концептуальной схемы в концептуальную
|
||||||
модель.
|
модель.
|
||||||
</li>
|
</li>
|
||||||
|
<li>2010 Никаноров С.П. Введение в аппарат ступеней.</li>
|
||||||
<li>
|
<li>
|
||||||
2012 Кононенко А.А., Елисов Д.Н. Использование механизма XSD-схем для хранения и операционализации
|
2012 Кононенко А.А., Елисов Д.Н. Использование механизма XSD-схем для хранения и операционализации
|
||||||
концептуальных схем и концептуальных моделей с помощью XML.
|
концептуальных схем и концептуальных моделей с помощью XML.
|
||||||
|
@ -185,7 +185,7 @@ function HelpInfo() {
|
||||||
над концептуальными моделями,{' '}
|
над концептуальными моделями,{' '}
|
||||||
<i>
|
<i>
|
||||||
впервые реализовавшая модуль прямого вычисления интерпретации формального выражения, встроенный в Экстеор
|
впервые реализовавшая модуль прямого вычисления интерпретации формального выражения, встроенный в Экстеор
|
||||||
3.5
|
3.5.
|
||||||
</i>
|
</i>
|
||||||
</li>
|
</li>
|
||||||
<li>2013 Пономарев И.Н., Липатов А.А. Операции над родами структур и пример автоматизации их выполнения.</li>
|
<li>2013 Пономарев И.Н., Липатов А.А. Операции над родами структур и пример автоматизации их выполнения.</li>
|
||||||
|
@ -201,13 +201,14 @@ function HelpInfo() {
|
||||||
</i>
|
</i>
|
||||||
</li>
|
</li>
|
||||||
<li>
|
<li>
|
||||||
2014 Борисов И.Р. Концептуальные конструкции в задаче синтеза систем на примере Экологического кодекса, -{' '}
|
2014 Борисов И.Р. Концептуальные конструкции в задаче синтеза систем на примере Экологического кодекса,
|
||||||
|
—{' '}
|
||||||
<i>
|
<i>
|
||||||
статья, вводящая понятие концептуальных конструкций как промежуточных форм для операционализации
|
статья, вводящая понятие концептуальных конструкций как промежуточных форм для операционализации
|
||||||
концептуальных схем.
|
концептуальных схем.
|
||||||
</i>
|
</i>
|
||||||
</li>
|
</li>
|
||||||
<li>2015 Иванов А.Ю. Аппарат ступеней С.П.Никанорова и возможное развитие идей по его использованию.</li>
|
<li>2015 Иванов А.Ю. Аппарат ступеней С.П. Никанорова и возможное развитие идей по его использованию.</li>
|
||||||
<li>
|
<li>
|
||||||
2016 Борисов И.Р., Баширов Р.М. Исследование области компьютерной лингвистики и разработка модулей
|
2016 Борисов И.Р., Баширов Р.М. Исследование области компьютерной лингвистики и разработка модулей
|
||||||
терминологического контроля в Экстеор 4 и Microsoft Office Word, <i>являющееся основой библиотеки cctext.</i>
|
терминологического контроля в Экстеор 4 и Microsoft Office Word, <i>являющееся основой библиотеки cctext.</i>
|
||||||
|
@ -216,12 +217,12 @@ function HelpInfo() {
|
||||||
2016 Борисов И.Р. Программный комплекс Экстеор 4.5,{' '}
|
2016 Борисов И.Р. Программный комплекс Экстеор 4.5,{' '}
|
||||||
<i>
|
<i>
|
||||||
включавший текстовый модуль и полностью переработанное ядро, выделенное в отдельную библиотеку (впоследствии
|
включавший текстовый модуль и полностью переработанное ядро, выделенное в отдельную библиотеку (впоследствии
|
||||||
- ConceptCore)
|
— ConceptCore).
|
||||||
</i>
|
</i>
|
||||||
</li>
|
</li>
|
||||||
<li>
|
<li>
|
||||||
2017 Иванов А.Ю. Введение в технологию концептуализации предметных областей социологии: основы полагания ядра
|
2017 Иванов А.Ю. Введение в технологию концептуализации предметных областей социологии: основы полагания ядра
|
||||||
теории (на примере родственных отношений)
|
теории (на примере родственных отношений).
|
||||||
</li>
|
</li>
|
||||||
<li>
|
<li>
|
||||||
2017 Борисов И.Р., Мурадов А.К. Организация операций над системами понятий посредством графических
|
2017 Борисов И.Р., Мурадов А.К. Организация операций над системами понятий посредством графических
|
||||||
|
@ -230,11 +231,15 @@ function HelpInfo() {
|
||||||
<li>
|
<li>
|
||||||
2018 Борисов И.Р., Князев А.В. Изучение методов концептуальной расчистки, разметки текстов и разработка
|
2018 Борисов И.Р., Князев А.В. Изучение методов концептуальной расчистки, разметки текстов и разработка
|
||||||
программных средств их автоматизации,{' '}
|
программных средств их автоматизации,{' '}
|
||||||
<i> - диплом, сформировавший основу для технологий Концепт.Разметка и Концепт.Майнинг.</i>
|
<i> — диплом, сформировавший основу для технологий Концепт.Разметка и Концепт.Майнинг.</i>
|
||||||
|
</li>
|
||||||
|
<li>
|
||||||
|
2018 Никитин А.В., Болотин П.В. Исследование типологии изменения теоретико-множественной интерпретации класса
|
||||||
|
множества подмножеств.
|
||||||
</li>
|
</li>
|
||||||
<li>
|
<li>
|
||||||
2019 Борисов И.Р., Широкова Л.Р. Исследование возможностей применения методов машинного обучения для решения
|
2019 Борисов И.Р., Широкова Л.Р. Исследование возможностей применения методов машинного обучения для решения
|
||||||
задач расчистки текстов. Разработка прототипа программного модуля, -{' '}
|
задач расчистки текстов. Разработка прототипа программного модуля, —{' '}
|
||||||
<i>первая попытка внедрения технологий ИИ в текстовый модуль.</i>
|
<i>первая попытка внедрения технологий ИИ в текстовый модуль.</i>
|
||||||
</li>
|
</li>
|
||||||
<li>
|
<li>
|
||||||
|
@ -253,7 +258,7 @@ function HelpInfo() {
|
||||||
</li>
|
</li>
|
||||||
<li>
|
<li>
|
||||||
2023 Борисов И.Р., Тулисов А.В. Разработка инструмента экспликации концептуальных схем в родоструктурной форме
|
2023 Борисов И.Р., Тулисов А.В. Разработка инструмента экспликации концептуальных схем в родоструктурной форме
|
||||||
через веб-интерфейс, - <i>разработка прототипа интерфейса КонцептПортал.</i>
|
через веб-интерфейс, — <i>разработка прототипа интерфейса КонцептПортал.</i>
|
||||||
</li>
|
</li>
|
||||||
<li>
|
<li>
|
||||||
2024 Борисов И.Р. Программный комплекс Экстеор 4.9, поддерживающий работу со схемами, выгруженными из
|
2024 Борисов И.Р. Программный комплекс Экстеор 4.9, поддерживающий работу со схемами, выгруженными из
|
||||||
|
|
Loading…
Reference in New Issue
Block a user