Приложение 11. Автоматическая проверка оформления кандидатской диссертации с помощью модели Claude Opus 4.8 medium
Протокол проверки диссертации в режиме «госпожа».
Промпт: проверь с помощью Claude Opus 4.8 medium диссертацию и сделай отчет с ошибками
ОТЧЁТ О ПРОВЕРКЕ ДИССЕРТАЦИИ
Гуров В. С. «Технология проектирования и разработки объектно-ориентированных программ с явным выделением состояний (метод, инструментальное средство, верификация)». СПб., 2008. 149 с. Специальность 05.13.11.
Проверено страниц: 149 (введение + 5 глав + заключение + список источников)
КРАТКАЯ СВОДКА
Смысловых / фактических ошибок – 5
Несоответствий чисел и структуры – 3
Опечаток и грамматики – около 25
Ошибок в рисунках и списке литературы – 9
Содержательных проблем немного. Основной объём замечаний – опечатки, рассогласования и грамматика, устранимые вычиткой. Наиболее заметные места: вывод 1 главы 5 (с. 137), число 2^n для Ханойских башен (с. 16), расхождение объёма (152/149 с.) и число источников (114/115), написание «ANTRL» вместо «ANTLR».
Обозначения: [-] как напечатано (ошибка) [+] как должно быть
1. СМЫСЛОВЫЕ И ФАКТИЧЕСКИЕ ОШИБКИ (важно – проверить по сути)
С. 16
[-] «число состояний, которые могут принимать n дисков… равно 2^n»
[+] Для Ханойских башен число допустимых конфигураций n дисков на 3 стержнях равно 3^n, а не 2^n. Сверить с источником [35].
С. 25
[-] «модели, созданных в нем диаграмм, являются также и программами»
[+] Рассогласование, смысл искажён. Верно: «модели, созданные в нём, являются также и программами» (слово «диаграмм» лишнее).
С. 67, 68
[-] Формула записана как !o1.z10 U e10 (оператор Until), а в коде – weakUntil.
[+] Несоответствие отображённой формулы и кода. Хотя на с. 68 это поясняется, в самой формуле логичнее сразу указать слабый Until.
С. 88
[-] «серверную (… UniMod Client-side Debugger) и клиентскую (… UniMod Server-side Debugger)»
[+] Перекрёстная привязка вводит в заблуждение: на с. 82–84 распределение обратное. Унифицировать терминологию.
С. 127
[-] «CAutoAnsweringApi», «CCurrentWatcher»
[+] Имена классов не совпадают с рис. 53, 54, где CAutoAnsweringAppUi и CCurrentCaller.
2. НЕСООТВЕТСТВИЯ В ЧИСЛАХ И СТРУКТУРЕ (проверить)
С. 10
[-] «изложена на 152 страницах»
[+] документ оканчивается на 149.
С. 10
[-] «список литературы содержит 114 наименований»
[+] в списке 115 позиций (последняя – [115]).
С. 96 и источник [95]
[-] инструмент назван «ANTRL»
[+] правильно ANTLR (на с. 46 – верно). Ошибка в двух местах, включая список литературы.
3. ГРАММАТИКА, СОГЛАСОВАНИЕ, ПУНКТУАЦИЯ (вычитка)
С. 12 [-] «Некоторые их этих средств» [+] «из этих средств»
С. 16 [-] «изменяет свое поведение и. переходит» [+] лишняя точка после «и»
С. 20 [-] «должно является первичным» [+] «должно являться»
С. 23 [-] «…на управляющие и вычислительный» [+] «вычислительные»
С. 23 [-] «Как отмечалось выше_ множество» [+] пропущена запятая после «выше»
С. 26 [-] «может быть использованы как сценарий» [+] «использована»
С. 41 [-] «простота а, во-вторых, надежность» [+] «простота, а во-вторых»
С. 63 [-] «применение верификатор для верификации» [+] «применение верификатора»
С. 67 [-] «…на рис. 12, _ банкомате выдача денег» [+] «в банкомате»
С. 82 [-] «также устанавливается соединения» [+] «соединение»
С. 87 [-] «для пересылке по протоколу TCP» [+] «для пересылки»
С. 87 [-] «о достигнутых токах останова» [+] «точках останова»
С. 104 [-] «помеченным нетеминалом N1» [+] «нетерминалом»
С. 114 [-] «описанной в настоящей статье» [+] «в настоящей работе» (диссертация)
С. 119 [-] «генерируются пара файлов» [+] «генерируется пара файлов»
С. 120 [-] «Объекты управления и источников событий должны быть запрограммированы» [+] «источники событий»
С. 121 [-] «источников событий должны вызывать метод» [+] «источники событий»
С. 124 [-] «введено _ того, чтобы» [+] «введено для того, чтобы»
С. 137 [-] «При разработки системы… в инструментального для инструментального средства UniMod» [+] «При разработке системы… для инструментального средства UniMod» (грубая опечатка + двойное слово)
С. 138 [-] «методы и инструментальное средство внедрено» [+] «внедрены»
4. ОШИБКИ В РИСУНКАХ И ЛАТИНСКИХ НАЗВАНИЯХ (вычитка)
С. 82 (рис. 18)
[-] «UniMoc Debug Protocol»; «Deisgn-Time UniMod Mode»; «Runtime UniMod Mode»; «Java Clisnet-side Debugger» [+] UniMod; Design-Time UniMod Model; Runtime UniMod Model; Client-side
С. 86
[-] «app.EvetProcessorEventProvider» [+] app.EventProcessorEventProvider (рис. 19)
С. 129 – 132
[-] «Initializaion» / «INITIALIZAION» [+] Initialization (код сгенерирован — ошибка тиражируется автоматически)
С. 17 [-] фирма «General Electrics» [+] General Electric
С. 18, [46] [-] «Co-Deisgn» [+] Co-Design
С. 18, [43] [-] «Mathworks» [+] MathWorks
С. 118 [-] «S60 Platform SDK for Symbain OS» [+] Symbian
С. 8 [-] «Intellij Labs» [+] IntelliJ (на с. 94 и в [115] – JetBrains; унифицировать)
5. СПИСОК ЛИТЕРАТУРЫ (вычитка)
[18] [-] «Sun Studio Enpterprise» [+] Sun Studio Enterprise
[84] [-] «Rambaugh J.» [+] Rumbaugh J. (автор UML Reference Manual)
[92] [-] «Core Speification» [+] Core Specification
[102] [-] «Force Directed Placemen» [+] Force Directed Placement
6. НА ПРОВЕРКУ ПО ОРИГИНАЛУ ВЁРСТКИ (уточнить)
Титульный лист
[-] «(метод, инструменальное средство, верификация)» [+] Возможно пропущена «т» (инструментальное). Уточнить по исходнику.
Отчёт подготовлен по тексту в PDF. Нумерация страниц – по колонтитулам документа.
Адрес приложения 12: https://vk.com/@1077823-prilozhenie-12-otchet-o-proverke-dissertacii-gurova-vs-tehno.