Моделирование задач синтеза представлений информационных потоков в организационном управлении перерабатывающим предприятием тема диссертации и автореферата по ВАК РФ 05.13.16, кандидат технических наук Перова, Алла Владимировна
- Специальность ВАК РФ05.13.16
- Количество страниц 158
Оглавление диссертации кандидат технических наук Перова, Алла Владимировна
ВВЕДЕНИЕ.
ГЛАВА 1. СИСТЕМНОЕ МОДЕЛИРОВАНИЕ ПРЕДСТАВЛЕНИЙ
ИНФОРМАЦИОННЫХ ПОТОКОВ.
1Л. Системный подход при моделировании синтеза представлений информационных потоков в системах организационного управления.
1.2. Новые информационные технологии в системах управления перерабатывающим производством.
1.3. Анализ моделей баз данных представлений информационных потоков.
1.4. Анализ методов представления знаний при моделировании синтеза информационных потоков.
1.5. Анализ информационных систем фреймового подхода для организации управления производством.
1.6. Общее описание и схема функционирования фреймовой информационной модели.
Выводы.
ГЛАВА 2. КОНЦЕПТУАЛЬНОЕ МОДЕЛИРОВАНИЕ СИНТЕЗА
ПРЕДСТАВЛЕНИЙ ИНФОРМАЦИОННЫХ ПОТОКОВ И РАЗРАБОТКА МЕТОДОЛОГИИ ВЫБОРА ПОКАЗАТЕЛЕЙ ОРГАНИЗАЦИОННОГО УПРАВЛЕНИЯ.
2.1. Структура показателей информационных потоков организационного управления.
2.2. Математический аппарат синтеза представлений информационных потоков в системах организационного управления.
2.3. Построение сети фреймов в моделях информационных технологий систем организационного управления.
Выводы.
ГЛАВА 3. МОДЕЛИ ФУНКЦИОНИРОВАНИЯ ФРЕЙМОВЫХ
СИСТЕМ ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ.
3.1. Модели описания сети фреймов базы данных информационных технологий.
3.2. Модель интерпретации запроса в фрейм-структуру базы знаний информационных технологий.
3.3. Анализ и синтез фреймовых структур объектно-ориентированной прикладной системы для поддержки принятия решений организационного управления.
Выводы.
ГЛАВА 4. ПРИМЕНЕНИЕ МОДЕЛЕЙ СИНТЕЗА ПРЕДСТАВЛЕНИЙ
ИНФОРМАЦИОННЫХ ПОТОКОВ ДЛЯ РЕШЕНИЯ ЗАДАЧ ОРГАНИЗАЦИОННОГО УПРАВЛЕНИЯ.
4.1. Интерактивная оперативно-диспетчерская система организационного управления перерабатывающим предприятием.
4.2. Интеллектуальный интерфейс представлений ИП в системе ОУПП.
4.3. Описание базы данных представлений ИП системы
ОУПП.
Выводы.
Рекомендованный список диссертаций по специальности «Применение вычислительной техники, математического моделирования и математических методов в научных исследованиях (по отраслям наук)», 05.13.16 шифр ВАК
Синтез информационных технологий обработки когнитивной информации в системах поддержки принятия решений1999 год, кандидат технических наук Ошивалов, Андрей Владиславович
Разработка и применение системы динамического моделирования мультиагентных процессов преобразования ресурсов2006 год, кандидат технических наук Гончарова, Наталья Вадимовна
Методы и средства агрегативно-декомпозиционного синтеза многокомпонентных технических систем2000 год, доктор технических наук Салин, Александр Григорьевич
Научно-практические основы построения знание-ориентированной системы поддержки принятия решений для перерабатывающих предприятий АПК2001 год, доктор технических наук Бородин, Александр Викторович
Ситуационное моделирование управления в иерархической организации с жесткой централизацией и структурной специализацией2002 год, доктор технических наук Дидрих, Валерий Евгеньевич
Введение диссертации (часть автореферата) на тему «Моделирование задач синтеза представлений информационных потоков в организационном управлении перерабатывающим предприятием»
В современных условиях развивающихся рыночных взаимоотношений, характеризующихся нестабильностью, неопределенностью, противоречивостью внешней среды деятельности производства, намечается единственный путь решения возникших проблем - ускоренное внедрение достижений науки и техники, новейших технологий, осуществление крупных комплексных научно-обоснованных программ, и на основе этого повышение экономической эффективности производства.
Актуальность темы. Актуальность темы настоящих исследований определяется тем, что одним из направлений решения возникших проблем является задача разработки и внедрения на основе новых информационных технологий высоко эффективных систем организационного управления производством, повышения эффективного использования современного прикладного математического аппарата и системных исследований.
Современное перерабатывающее производство отличается достаточно высокой динамичностью, масштабностью, требует создания, освоения и внедрения в производство новой высокоэффективной техники, прогрессивных технологий, средств автоматизации и реконструкции действующих предприятий. Одним из направлений интенсификации производства является широкое внедрение средств автоматизации и вычислительной техники, высокоэффективных систем организационного управления, базирующихся на знаниях.
В связи с этим, одной из важнейших задач современных перерабатывающих производств является проблема исследования информационных потоков (ИП) и построение на их основе высокоэффективных систем управления. Повышение эффективности систем управления заключается в увеличении уровня интеллектуализации этих систем. Говоря о системе, в которой используются новые информационные технологии, прежде всего, следует понимать, организацию структуры, в рамках которой происходило бы применение знаний и решение проблем в конкретной предметной области.
Проблема построения систем организационного управления производством является одной из важнейших и наиболее трудно решаемых. Выполненные исследования, накопленный опыт моделирования, разработки и внедрения систем управления, освоения компьютерных технологий промышленных исследований, проектирования и подготовки производства, составляет в совокупности фонд знаний, который служит базовой основой в практике решения новых задач моделирования информационных технологий и создания более совершенных систем организационного управления производством.
Известны результаты освоения и применения при проектировании структур и алгоритмов систем организационных управления уже имеющегося большого теоретического задела, созданного трудами отечественных и зарубежных ученых [1,5, 26, 31, 33, 38, 46, 94, 101, 102], работающих в области теории управления, системного анализа, исследования операций, вычислительной математики, машинного моделирования и информационных технологий.
Современные перерабатывающие производства относятся, как правило, к сложным человеко-машинным системам, имеющим многоуровневую иерархическую структуру [42], в составе которой действуют несколько взаимосвязанных целенаправленных подсистем. Одной из особенностей применения средств вычислительной техники в управлении производством является интерфейс "человек - компьютер" [31]. Современные системы управления уже не могут обходиться без наличия в них специальных средств организации диалога с человеком [43].
В настоящее время не достает развитого математического и алгоритмического аппарата работы с базами знаний в системах организационного управления перерабатывающими предприятиями (ОУПП). В связи с этим актуальным представляется синтез представлений знаний, в том числе математическое обеспечение операций с единицами знаний (фреймами), а также алгоритмическое формализованное представление задач прикладных систем, дальнейшего использования обеспечения автоматизированных систем (АС).
Таким образом, задачи, решаемые при моделировании информационных технологий для создания организационных систем управления производством, и синтез представлений ИП (показателей, документов, диалогов) являются актуальными, сложными, требуют скорейшей разработки и широкого промышленного внедрения, несмотря на значительное внимание крупных научных коллективов [81, 82].
Диссертационная работа выполнена на кафедре математического моделирования технологических систем ВГТА в соответствии с программой работ Министерства образования РФ по теме "Моделирование технологических систем, принципов и методов их автоматизированного проектирования и управления", ГР № 01870095877, ГР № 01890069727.
Цель и задачи работы. Целью диссертационной работы является разработка информационной, математической и алгоритмической моделей синтеза представлений информационных потоков организационного управления перерабатывающими предприятиями (ОУ1Д1) на базе фреймовых структур;
Для достижения поставленных целей решаются следующие задачи:
- системный анализ моделей взаимодействия материальных и информационных потоков (ИП) перерабатывающего предприятия;
- построение модели информационной технологии моделирования синтеза представлений ИП на базе фреймовых структур;
- построение математических моделей синтеза фреймовых структур на основе методов: ^-исчислений, реляционной алгебры;
- разработка аппарата построения и расширения фреймов для задач синтеза сложных фреймовых структур ИП;
- разработка алгоритмических моделей синтеза фреймов, базы данных и знаний новых информационных технологий на фрейм-ориентированном языке РЫЬ, в условиях взаимодействия ИП;
- разработка модели организации баз данных и знаний для решения задач синтеза показателей функционирования перерабатывающим предприятием на базе фреймовых структур;
- разработка пакета прикладных программ для информационной поддержки автоматизированной системы интеллектуального доступа к данным и знаниям, экспериментальная проверка и практическая реализация полученных результатов.
Научная новизна. При выполнении диссертационного исследования получены следующие основные результаты, характеризующие его научную новизну.
Построены модели синтеза представлений ИП в организационном управлении на базе фреймовых структур в том числе:
- модель информационной технологии синтеза фреймовых структур представлений ИП в системах ОУПП, обеспечивающая возможность концентрирования совокупности знаний экспертов об объекте и показателей ИП, дающая пользователю стандартизированный и простой доступ к выводимым данным;
- математические модели синтеза открытых, замкнутых фреймовых структур на языке А,-исчислений, позволяющие интегрировать «вычислительную» модель представления знаний с «содержательной» моделью предметной области;
- инвариантная алгоритмическая модель синтеза объектных и функциональных фреймов на языке РКЬ, интерактивный диалог пользователя с ЭВМ, обеспечивающая гибкость и динамичность формирования баз знаний прикладных систем ОУПП.
Методы исследований. В диссертационной работе используются методы системного анализа, теории управления, математического моделирования, искусственного интеллекта, исследования операций, теории множеств, математического программирования и принятия решений.
Апробация работы. Основные положения и результаты диссертационной работы докладывались и обсуждались на научно-технических конференциях и семинарах, в том числе на республиканской конференции "Информационные технологии и системы. Технологические задачи механики сплошных сред" (Воронеж, 1992 г.); Республиканском семинаре "Теория функций. Дифференциальные уравнения в математическом моделировании" (Воронеж, 1992 г.); итоговых научных конференциях ВГТА (Воронеж, 19921999 гг.), региональной конференции по вопросам информатизации в рамках Международного форума информатизации (Воронеж, 1993г.); Всероссийской конференции "Информационные технологии и системы" (Воронеж, 1993 г.); Республиканской школы-семинара "Потрягинские чтения - V" (Воронеж, 1994 г.), Всероссийской конференции "Информационные технологии и системы" (Воронеж, октябрь 1995 г.), Российском молодежном научном симпозиуме "Молодежь и проблемы информационного и экологического мониторинга" (Воронеж, 1996 г.), 3-ей Всероссийской научно-техническая конференции "Информационные технологии и системы" (Воронеж 27-30 сентября 1999 г.).
Публикации. По материалам диссертации опубликовано 18 печатных работ.
Практическая значимость: состоит в разработке прикладной автоматизированной системы информационного обеспечения (ПАСИО), реализованной в среде Windows для персональных компьютеров, использование, которых целесообразно в САПР, АСНИ, АСУТП, АСУ перерабатывающих производств при решении задач синтеза представлений ИП организационного управления. Основные теоретические и практические результаты внедрены на АО "Комбинате мясной Калачеевский", АООТ "Мясоконсервном комбинате Борисоглебский" путем включения ПАСИО в комплексные системы управления различного уровня: учет и контроль материальных потоков; выбор ассортимента продукции; планирование оптимальных поставок сырья; управление запасами материалов; бухгалтерский учет; учет грузоперевозок. Экономический эффект составил на декабрь 1993 г. 44870000 рублей. ПАСИО применяется в учебном процессе ВГТА по специальности 071900 "Информационные системы", а также может быть использована в учебном процессе по одноименным курсам дисциплин. 9
Структура работы. Диссертация состоит из введения, четырех глав, выводов по работе, списка литературы из 138 наименований и 2 приложений. Работа изложена на 158 страницах машинописного текста (основной текст занимает 128 страниц), содержит 36 рисунков и 2 таблицы.
Похожие диссертационные работы по специальности «Применение вычислительной техники, математического моделирования и математических методов в научных исследованиях (по отраслям наук)», 05.13.16 шифр ВАК
Интеллектуализация информационно-измерительных систем неразрушающего контроля теплофизических свойств твердых материалов2006 год, доктор технических наук Селиванова, Зоя Михайловна
Синтез информационных технологий в экологическом мониторинге2002 год, кандидат технических наук Корыстин, Сергей Сергеевич
Методология построения, моделирования и комплексной оценки качества человеко-машинных систем управления1998 год, доктор технических наук Калечиц, Ирина Николаевна
Синтез информационных технологий диагностик и воздействий на текущее состояние относительно локально-замкнутых экосистем2000 год, доктор технических наук Корыстин, Сергей Иванович
Интерактивное моделирование и проектирование технологических систем на основе графических баз данных в условиях неопределенности информационной среды2002 год, доктор технических наук Барабанов, Владимир Федорович
Заключение диссертации по теме «Применение вычислительной техники, математического моделирования и математических методов в научных исследованиях (по отраслям наук)», Перова, Алла Владимировна
Выводы
1. На основе фреймовых структур разработана и внедрена в производство модель синтеза представлений ИП информационной технологии оперативно-диспетчерского управления перерабатывающим предприятием и её техническое решение в виде интерактивной подсистемы, включающей советы, рекомендации по действиям в сложившейся производственной ситуации, оперативную и достоверную информацию, а также обеспечение возможности выполнения задач расчетного характера.
2. Решена и внедрена комплексная задача подсистем в части представлений ИП - документов: "Управление качеством продукции", "Управление сбытом продукции", "Управление материально-техническим снабжением" включает следующие представления (документы): расчет потребности сырья и материалов, исходя из планов выпускаемой продукции; оптимальное распределение дефицитного материала; учет и анализ фактически выпускаемой продукции в натуральном выражении; сведения о движении, освоении и обеспеченности материально-технических ресурсов; расчет средневзвешенной плановой и фактической нормы расхода сырья и материалов; отчет о поставке, остатках продукции предприятиям; учет и анализ категории качества сортности выпускаемой продукции; формирование графика пересмотра стандартов, цен на основе моделей синтеза представлений ИП.
ЗАКЛЮЧЕНИЕ
Вследствие выполнения диссертационного исследования получены следующие основные научные и практические результаты:
1. Исследование любой предметной области возможно только на основе системного представления. Современные системы организационного управления имеют сложную структуру информационных показателей взаимодействия материальных и информационных потоков, используемых в процессе принятия решений на различных уровнях иерархии, что требует построение моделей описания семантики многочисленных показателей, определяющих основу технико-экономической эффективности функционирования предметной области.
2. Анализ эволюции развития систем организационного управления показывает, создание высокоэффективных информационных моделей возможно только на основе применения новых технологических схем с использованием знаний. Имеющиеся системы общения пользователей с БД и БЗ могут обеспечивать эффективное общение в интерактивном режиме конечных пользователей, специалистов в области организационного управления исследуемой предметной области, в том случае, если они отвечают определенным требованиям, реализуемых в технических системах при их инженерных решениях.
3. Для описания семантики многочисленных показателей информационных технологий систем ОУПП обоснован и выбран теоретический подход разработки моделей банка данных и знаний с помощью фреймов; сформулированы основные требования к интерпретатору для поддержания сети фреймов.
4. Разработана модель фрейм-структур базы знаний, для описания информационных связей, основанной на предикатной трактовке фреймов и Я, -исчислении.
5. Построена информационная модель многоаспектного декларативно-процедурального представления семантических свойств и признаков показателей, их связей в системе организационного управления предметной областью.
6. Разработана математическая модель синтеза представлений ИП, включающая алгебру формализации процесса построения и расширения фреймов. Для организации объектных и функциональных фреймов, введены процедуры - демоны, инициируемые в результате выполнения определенных условий, связанных с введением баз данных и знаний.
7. Разработана алгоритмическая модель синтеза фреймов базы данных моделей информационных технологий с помощью фрейм-ориентированного языка FRL.
8. Проведен синтез моделей представлений ИП для информационного обеспечения решения задач организационного управления: расчет экономических показателей функционирования производственной системы; диспетчерское управление производством; материалообеспечение.
9. Разработан пакет прикладных программ для информационной поддержки автоматизированной системы интеллектуального доступа к данным и знаниям, реализованный в среде Windows для персональных компьютеров, использование, которого целесообразно в САПР, АСРЕИ, АСУТП, АСУ перерабатывающих производств при решении задач синтеза представлений ИП организационного управления.
10. Эффективность разработанных алгоритмов, моделей и программ показана на примере информационного обеспечения решения задач организационного управления мясоперерабатывающего комбината. Технико-экономическая целесообразность моделей подтверждена актами внедрения и передачи программного обеспечения в промышленную эксплуатацию, расчетами экономического эффекта.
Список литературы диссертационного исследования кандидат технических наук Перова, Алла Владимировна, 2000 год
1. Айзерман М.А., Алесперов Ф.Е. Выбор вариантов: основы теории. -М.: Наука. Гл. ред. физ.-мат. Лит., 1990. 240 с.
2. Алиев P.A., Богданис Ф.С. Автоматизация построения моделей планирования нефтеперерабатывающего производства// Интегрированные системы управления и переработки информации: Сб. науч. трудов/ АзИНЕФ-ТЕХИМ. Баку, 1985. - С. 14-16.
3. Алиев P.A. и др. Производственные системы с искусственным интеллектом/ P.A. Алиев, Н.М. Абдикиеев, М.М. Шахназаров. М.: Радио и связь, 1990.-264 с.
4. Андон Ф.И., Довгополый В.Г., Кирик Э.Ф., Лебедев Л.Б. Терминальная опросная система. Тез. докл. I Всесоюзной конференции "Банки данных". Тбилиси, 1980. - С. 242-263.
5. Армстронг Дж. Р. Моделирование цифровых систем. М.: Мир, 1992. - 174 с.
6. Байдун В.В. О реализации языка FRL на ЕС ЭВМ. В сб.: Представление знаний в системах искусственного интеллекта: Матер, семинара МДНТП им. Ф.Э. Дзержинского, М., 1980, С. 106-113.
7. Бельчанский Г.И., Александров В.Т., Оганесян А.П. Универсальная система введения баз данных в среде СУБД "ОКА": Материалы 1 Всесоюзной конференции "Банки данных". Тбилиси, 1980, С. 155-156.
8. Богуслаускас В.П., Немурайте Л.А. Представление знаний в системе автоматизированного проектирования "Темп'У/Вопросы кибернетики. Ситуационное управление и семиотическое моделирование/ Под ред. Д.А. Поспелова. М.: Финансы и статистика, 1983. - С. 14-22.
9. Вольфенгаген В.Э., Воскресенская О.В., Васильев В.И., Иванченко В.В. Об одной организации интеллектуального банка данных с использованием фреймов// Вопросы кибернетики. Интеллектуальные банки данных: Сб. -М., 1979, Вып.55.-С. 70-91.
10. Вольфенгаген В.Э. Исчисление фреймов и Х- конверсия. В сб.: Проектирование интеллектуальных систем. - М.: Атомиздат, 1980, С. 11-16.
11. Вольфенгаген В.Э., Кузин J3.T., Олейников В.Т. О проблеме представления информационных объектов фреймами. В журн. Научно-техническая информация, ВИНИТИ, серия 2, 1982, С.12-18.
12. Вольфенгаген В.Э., Кузин Л.Т., Саркисян В.И. Реляционные методы проектирования банков данных. Киев: Вища школа, 1979. - 192 с.
13. Воробьевский П.К., Сысоев В.В., Новиков В.П. Структурная схема автоматизированной системы проектирования линий полупроводникового производства. Электронная техника. Сер. Технология, организация и оборудование, 1981, вып. 6, С. 59-60.
14. Гаврилова Т.А., Червинская K.P. Извлечение и структурирование знаний для экспертных систем. М.: Радио и связь, 1992. - 200 с.
15. Гибкое автоматическое производство/ В.О. Азбель, В.А. Егоров, А.Ю. Звоницкий и др.; Под общ. ред. С.А. Майорова и Г.В. Орловского. Л.: Машиностроение, Ленингр. отд-ние, 1983. - 376 с.
16. Гриценко В.И., Паныпин Б.Н. Информационная технология: вопросы развития и применения. Киев: Наукова думка, 1988. - 268 с.
17. Данилевский Ю.Г., Петухов И.А., Шибанов B.C. Информационная технология в промышленности. Л.: Машиностроение, 1988. — 272 с.
18. Дейт К. Введение в системы баз данных. М.: Наука, 1980. - 463 с.
19. Диалоговые системы в АСУ. М. Брябдин, Ю.А. Любарский,Л.И. Микулич и др.; Под ред. Д.А. Поспелова. М.: Энергоатомиздат, 1983. - 208 с.
20. Дубинина В.Г., Мельников Е.Л., Митрофанов В.И. Основы построения интерпретатора ЯПЗ FRL с использованием метаязыка РЕФАЛ, В сб.:
21. Представление знаний в системах искусственного интеллекта, МДНТП им. Ф.Э. Дзержинского, М., 1980, С. 98-101.
22. Егоров В.А. Автоматизация проектирования предприятий. Л.: Машиностроение, Ленингр. отд-ние, 1983. - 327 с.
23. Имитационное моделирование производственных систем/ Под. ред. A.A. Вавилова. М.: Машиностроение; Берлин: Ферлаг Техник, 1983. 416 с.
24. Инструментальные средства персональных ЭВМ. В 10 кн. М.: Высшая школа, 1993.
25. Интеллектуальная система организационного управления и поддержки принятия решения: Отчет о НИР (промежуточн.)/ Воронежск. технол. ин-т (ВТИ); Руководитель В.В. Сысоев,- N ГР 01920008098. Воронеж, 1994.
26. Искусственный интеллект. В 3-х кн. Кн. 2. Модели и методы: Справочник/ Под ред. Д.А. Поспелова - М.: Радио и связь, 1990. - 304 с.
27. Искусственный интеллект: Применение в интегрированных производственных системах/ Под ред. Э. Кьюсиака. М. Машиностроение, 1991. -544 с.
28. Калиниченко Л.А., Рыбкин В.М. Машины баз данных и знаний. М.: Наука, 1990.-296 с.
29. Кахро М.И., Калья А.П., Тыугу Э.Х. Инструментальная система программирования ЕС ЭВМ ПРИЗ. М.: Финансы и статистика, 1981. - 158 с.
30. Кесс Ю.Ю. Анализ и синтез фреймовых моделей АСУ. М.: Энерго-атомиздат, 1986. - 168 с.
31. Коутс Р., Влейминк И. Интерфейс "человек компьютер"/ Пер. с англ.; Под. ред. В. Ф. Шальгина. - М.: Мир, 1990. - 501 с.
32. Кузин Л.Т., Биляллетдинов А.Х., Гришин Е.А., Язык представления знаний KRL и X исчисление, - В сб. : Представление знаний в системах искусственного интеллекта: МДНТП им. Ф.Э. Дзержинского, М., 1980. - 662 с.
33. Кузин Л.Т. Основы кибернетики. В 2-х т. Т. 2. Основы кибернетических моделей. Учеб. Пособие для вузов. - М.: Энергия, 1979. - 584 с.
34. Кузнецов И.П. Семантические представления. М.: Наука, 1986. -294 с.
35. Куправа Т.А. Создание и программирование баз данных средствами СУБД dBase III Plus, FoxBase Plus, Clipper. M.: Мир, 1991. - 110 с.
36. Лебедев С.А. Основные линии развития классической индукции// Индуктивная логика и формирование научного знания. М.: Наука, 1987. - С. 87-102.
37. Логический подход к искусственному интеллекту: от классической логики к логическому программированию/А. Тейз, П. Грибомон, Ш. Лун и др.-М.: Мир, 1990.-432 с.
38. Лорье Ж.-Л. Системы искусственного интеллекта: Пер. с франц. М. Мир, 1991.-568 с.
39. Магрупов Т.М. Графы, сети, алгоритмы и их приложения. Ташкент: Фан, 1990. 120 с.
40. Мартин Дж. Организация баз данных в вычислительных системах. -М.: Мир, 1980. 662 с.
41. Математическое моделирование: Методы, описания и исследования сложных систем/ Под ред. A.A. Самарского. -М.: Наука, 1989. 271 с.
42. Мельцер М.И. Диалоговое управление производством. М.: Финансы и статистика. 1983.-240 с.
43. Минский М. Фреймы для представления знаний М.: Энергия, 1979. - 152 с.
44. Моделирование информационных потоков в процессах переработки (на примере мясной промышленности): Отчет о НИР (промежуточн.)/ Воронежск. технол. ин-т (ВТИ); Руководитель В.В. Сысоев. N ГР 01920008098. -Воронеж, 1994.
45. Нечаев В.В. Введение в теорию метамоделирования систем. М.: Информациология, 1997. - 64 с.
46. Нечаев В.В. Концептуальное метамоделирование структур. М.: Информациология, 1997. - 52 с.
47. Николаев В.И., Брук В.М. Системотехника: методы и приложения. -Л.: Ленингр. отд-ние, 1985. 199 с.
48. Нильсон Н. Принципы искусственного интеллекта: Пер. с англ. М.: Радио и связь, 1985, - 376 с.
49. Оганесян А.П. Интеллектуальная надстройка СУБД// Представление знаний в системах искусственного интеллекта: Сб./ МДНТП им. Дзержинского. М., 1980.-С. 151-153.
50. Оганесян А.П., Овакимян A.C., Симонян С.А. Интеллектуальный банк данных в системе планирования и управления отраслью, В сб.: Интеллектуальные банки данных, М., Энергоиздат, 1982, С. 102-114.
51. Олле Т.В. Предложения КОДАСИЛ по управлению базами данных. -М.: Финансы и статистика, 1981. 286 с.
52. Очуга С. Обработка знаний. М.: Мир, 1989. - 293 с.
53. Пакеты прикладных программ: Математическое моделирование/ Под ред. A.A. Самарского. М.: Наука, 1989. - 128 с.
54. Перова A.B. Граф-схема параллельных алгоритмов информационных процессов// Информационные технологии и системы. 3-ья Всероссийская научно-техническая конференция. (Воронеж 27-30 сентября 1999 г.): Тез. докл. Воронеж: ВГТА, 1999. - С. 180.
55. Перова A.B. Использование операторов аппликации и X -абстракции для получения типовых фреймов// XXXVI внутривузовская научная конференция за 1997 год: Тез. докл. Воронеж: ВГТА, 1998.-Ч.2 - С.190 .
56. Перова A.B. Модель описания информационных потоков// Математическое моделирование технологических систем. Выпуск 3. Сб. науч. тр. -Воронеж: ВГТА, 1999. С.43-45.
57. Перова A.B. Модель описания информационных потоков системы организационного управления перерабатывающего предприятия// ХХХУ внутривузовская научная конференция за 1996 год: Тез. докл. Воронеж: ВГТА, 1997. -4.1 -С. 145.
58. Перова A.B. Обработка показателей информационных потоков в системах организационного управления// XXXIV внутривузовская научная конференция за 1994 год: Тез. докл. Воронеж: ВТИ, 1994. - С. 36-37.
59. Перова A.B. Описание программных информационных процессов с помощью фреймов// XXXVII внутривузовская научная конференция за 1998 год: Тез. докл. -Воронеж: ВГТА, 1999.-4.1 С.215.
60. Перова A.B. Построение сети фреймов информационных потоков в системах организационного управления// XXXIV внутривузовская научная конференция за 1994 год: Тез. докл. Воронеж: ВТИ, 1994. - С. 42.
61. Пономарева A.B. (Перова A.B.) Описание информационно-технологических потоков// Всероссийская конф. Информационные технологии и системы (Воронеж 26-29 октября 1993 г.): Тез. докл. Воронеж: ВТИ, 1993. -С.80.
62. Пономарева A.B. (Перова A.B.) Описание информационно-технологических потоков в системах организационного управления перерабатывающих производств// Информационные технологии и системы: Матер, науч. конф. Воронеж: ВТИ, 1994. - 4.4 - С.65-69.
63. Пономарева A.B. (Перова A.B.) Основы проектирования фрейм-системы доступа к базам данных// XXXIII внутривузовская научная конференция за 1993 год: Тез. докл. Воронеж: ВТИ, 1994. - С. 26.
64. Пономарева A.B. (Перова A.B.) Принципы формирования структур информационно-технологических потоков с помощью алгебры фреймов// Информационные технологии и системы: Матер, науч. конф. Воронеж: ВТИ, 1994,- 4.2 - С.66-70.
65. Пономарева A.B. (Перова A.B.) Формирование структур информационно-технологических потоков при помощи фреймов// Всероссийская конф. Информационные технологии и системы (Воронеж 26-29 октября 1993 г.): Тез. докл. Воронеж: ВТИ, 1993. - С.81.
66. Попов Э.В. Экспертные системы: Решение неформализованных задач в диалоге с ЭВМ. М.: Наука. Гл. ред. физ.-мат,- лит., 1987. - 288 с.
67. Представление знаний в человеко-машинных и робототехнических системах. М.: ВЦ АН СССР, ВИНИТИ, 1984. - Т.А.: Фундаментальные исследования в области представления знаний. - 264 с.
68. Представление и использование знаний: Пер. с япон./ Под ред. X. Уэно, М. Исидзука. М.: Мир, 1989. - 220 с.
69. Проектирование и программная реализация экспертных систем на персональных ЭВМ/ Под ред. Д. Фохта. М.: Финансы и статистика, 1990. -320 с.
70. Разработка принципов системного подхода к диагностике и прогнозированию сложных систем: Отчет/Московский автомобильно-дорожный институт; Рук. темы Л.Я.Цикерман; N ГР79025977. М., 1980. - 161 с.
71. Разработка САПР. В 10 кн. Кн. 4. Проектирование баз данных САПР: Практ. пособие/ О.М. Вейнеров, Э.Н. Самохвалов; Под. ред. A.B. Петрова. -М.: Высш. шк., 1990. - 144 с.
72. Рей У. Методы управления технологическими процессами: Пер. с англ. М.: Мир, 1983. - 368 с.
73. Савинков В.М., Вейнеров О.М., Казаров М.С. Обобщенные процедуры автоматизированного логического проектирования баз данных. УС и М., 1981, N2.
74. САПР: Формирование и функционирование проектных модулей /О.П. Смирнов, С.Н. Падалко, С.А. Пиявский. М., 1987.
75. Системное обеспечение пакетов прикладных программ/ Под ред. A.A. Самарского. М.: Наука, 1990. - 208 с.
76. Советов Б.Я. Информационная технология. -М.: Высш. шк., 1994. -368 с.
77. Советов Б.Я., Яковлев С.А. Моделирование систем. М.: Высш. шк., 1998.-319 с.
78. Старовертов А.Н., Малкин И.В., Черняев В.В. Об одном подходе к реализации систем представления знаний в АСУ. В сб.: Представление знаний в система с искусственным интеллектом: МДНТП им. Ф.Э. Дзержинского, М., С. 75-79.
79. Стерлинг Л., Шапиро Э. Искусство программирования на языке ПРОЛОГ,- М. Мир, 1990. 235 с.
80. Сысоев B.B. Автоматизированное проектирование линий о комплектов оборудования полупроводникового и микроэлектронного производства. -M.: Радио и связь, 1982. 120 с.
81. Сысоев В.В. Структурные и алгоритмические модели автоматизированного проектирования производства изделий электронной техники. Воронеж: Воронеж, технол. ин-т. 1993.-207 с.
82. Телло Э.Р. Объектно-ориентированное программирование в среде Windows: Пер. с англ. М.: Наука-Уайли, 1993. - 347 с.
83. Технология системного моделирования / Под ред. C.B. Емельянова.-М.: Машиностроение; Берлин: Техник, 1989. 520 с.
84. Уинсон П. Искусственный интеллект. М.: Мир, 1980. - 519 с.
85. Управление гибкими производственными системами: Модели и алгоритмы/ Под общ. ред. академика АН СССР C.B. Емельянова. М.: Машиностроение, 1987. - 368 с.
86. Хьюитт К. Открытые системы// Реальность и прогнозы искусственного интеллекта/ Под ред. B.JI. Стефанюка. М.: Мир, 1987. - 247 с.
87. Шенк Р. Обработка концептуальной информации. М.: Энергия, 1980.- 358 с.
88. ЭВМ в проектировании и производстве: Сб. статей. Вып. 3/В.В. Адамчик, А.В. Амосов, С.А. Арустамов и др.; Под общ. ред. Г.В. Орловского.
89. Л.: Машиностроение. Ленингр. отд-ние, 1987. 397 с.
90. Элти Дж., Кумбе М. Экспертные системы: концепции и примеры. -М.: Финансы и статистика, 1987. 191 с.
91. Юдицкий С.А., Кутанов А.Т. Технология проектирования архитектуры информационно-управляющих систем. Препринт. М.: Ин-т проблем управления, РАН. 1993.
92. Abrial J.R. Data Semantic. In. Proc. IFIP TC - 2 Working Conf. January. - 1974.
93. Adiba M., Delobel C., Leonard M. A Unified Approach for Modelling in Data Base Design, in Modelling Data Base Management Systems Amsterdam e.a.- 1976. P. 311-338.
94. An Expert System for Process Planning Descotte Yannick, Latombe J. -Claude//Solid Model Comput. Theory Appl. Proc. Symp., Warren, Mich. New York: Academic Press, 1983. P. 324-337.
95. A Real-Time Expert System for Process Control/R. Moore, L. Hawkinson, C. Knickerbocker et al.//First Conf. on Artificial Intelligence Applications. IEEE Computer Society, 1984. - P. 178-186.
96. Bachman C.W., Daya M. The Role Concept in Data Models. In. Proc. 3 Conf. on VLDB. - 1977.
97. Benci E., Bodart F., Bogaert H., Cabanes A. Concepts for the design of a conceptual schema, in Modelling Data Base Manag. Syst. Amsterdam e.a. - 1976. -P. 181 -200.
98. Bobrow D.G., Kaplan R.M., Kay M., Norman D.A., Tompson H., Winograd T. GUS// a Frame Driver Dialog System. Artificial Intellegence. -1977. - Vol. 8, N2. - P. 155-173.
99. Bobrow D.G., Winograd T. An Overview of KRL O. - A Knowledge Representation Language: Cognitive Science. - 1977. - Vol. 1, N1. - P. 213-222.
100. Chamberlin D.D., Boyse R.F. SEQUEL a Structured English Query Language. - Proc. ACM - SIGFIDET Work-shop, 1974. - P.86-101.
101. Charniak E. Towards a model of children's storybcomprehension. AI TR - 266, M.I.T., 1972.
102. Charniak E., Organisation and inference in a frame like system of common senze knowledge., "Theor. Issues Natur. Lang. Process Interdiscip Wokshop, Cambridge, Mass., s.e., s.a., 1975, P. 42-51.
103. Codd E.F. Relational Completeness of Data Base Sublanguages in "Data Base Systems". Courant Computers Science Sumposia Series: Prentice - Hall, N.I., 1972.-Vol. 6.-P. 120-151.
104. Codd E.F. A Relational Model of Date for Large Shared Data Banks. -CACM, 13, 4, 1970. P. 377-387.
105. CORA: An Expert System for Verification Relay Protection Systems// Personal Communication with Westinghouse Electric Corporation's Productivity and Quality Center, 1985. 66 p.
106. Expert Systems for Process Control Rooms, by RAE Sargeant// Measurement and Control. 1986. - Vol. 19, N2. - P. 239-244.
107. Fellenstein C., Green C., Palmer O. IMS A Prototype Manufaturing Knowledge-based System in Syllog//Pitsburg. Carnegie-Mellon University. - 1985. -P.58.
108. Goldstein I.P., Roberts B.R. NUDGE a knowledge based scheduling program. - Proc. Fifth Intern. Joint Conf. On A.I.- Cambridge, Mass., 1977.
109. Goldstein I.P., Roberts R.B. Using Frames in Scheduling//Artificial Intelligence/Ed. by P. Winston, R Brown. MIT Press, 1979. - P. 253-284.
110. Husson J. PILOTEX: Expert System for Process Control and Maintenance// Proc. Tech. Assesments and Management Conf. of the Cottilib Duttweiler Institute Ruschilikon Zurich, 1985. - P. 128-134.
111. Kerschberg L., Klug A., Tsichsitzis D. A taxonomy of Data Models. -Proc. of the 3 VLDB Conference. 1976.
112. Kim J., McDermott J. TALIB: An IC Layout Design Assistant// Proc. Nat. Conf. of AI. 1983. - Los Altos, CA: W. Kaufman Inc. -P. 197-201.
113. Kosy D., Dhar V.S. Knowledge Based Support System for Long Range Planning// Technical Report, Robotics Inst. - Pittsburg, PA: Carnegie - Mellon University, 1983. - P. 117-126.
114. Lenat D.B. Theory Formation by Heuristic Search. The Nature of Heurictics 2: Background and Exampls// Artificial Intelligence 1983. - Vol. 21, N1. -P. 31-60.
115. Lindsay K.J. Frame Based Knowledge Representation for Processing Planning// Proc. First Annual Aerospace Application of Al. - Dayton OH: Wright -Patterson Air Force Base Materials Lab., 1985. - P. 231-239.
116. McDermott D.V., Sussman G.J. The CONNIVER Reference Manual. -AI M - 259A: The Artifical Intelligence Laboratory. - M.I.T., 1974.
117. McDermott J. XSEL: A Computer Sales Person's Assistant//Machine Intelligence/Ed. by J.E. Nayes, D. Michie, Y.H. Pao.-John Willey & Sons, 1982.-P. 172-186.
118. McDermott J. Rl: A Rule-Base Configurar of Computer Systems// Artificial Intelligence.-1982,-Vol. 19, Nl.-P. 39-88.
119. Minsky M.A. A framework for represening knowledge. In: he Psychology of Computer Vision. Winston P.H. (Ed.), New York, Academic Press, 1975, P. 211-277.
120. Palmer I.R. Levels of data base description. IFIP - 74: North -Holland.- 1974.
121. QA 4 - A procedural calculus for intuitive reasoning Artificial Intellegence Center. - Stanford Technical Note: Progect.- 8721, 1973.
122. Roberts B.R., Goldstein I.P. The FRL Manual. AI - MEMO 409: MIT, 1977.
123. Roberts B. R., Goldstein LP. The FRL Primer. AI - MEMO: MIT, 1977. - Vol. 408.
124. Roussopoulos N. A Conceptual Schema Definition Language for the Design of Data Base Application Language for the Design of Data Base Application IEEE Transations on Software Engineering, 1980.
125. Roussopoulos N., Mylopoulos J. Using Semantic Networks for DBM. -In. Proc.: 1 Intern. Conf. on VLDB, 1976.
126. Sowa I.F. Conceptual Graphs for a Data Base Interface IBM Iournal of RCD. - 1976. - Vol. 20, N4. - P. 336-357.
127. Steele G.L. The Definicion and Implementation of a Computer Programming Lauguage Based on Constraints (PhD Thesis)// MIT Technical Report AI-TR-595. Cambridge, 1980 - P. 25.
128. Sundgrene B. Data base design in theory and practice. Toward an integraten wethodology. Proc. 4-th Intern. Conf. on VLOB: West Berlin, 1978.
129. The Development of ALADIN, and Expert System for Aluminum Alloy Desing/ M.L. Farinacci, M.S. Fox, I. Hulthage et al//Artificial Intelligence in Manufacturing/ Ed. by T. Bernold.-North-Holland, 1987. P. 171-185.
130. Winograd T. Frame Reepresentations and the Declarative/ Procedural Controvery//Rehresentation and Understanding. N.I.: Academic Press, 1975.
131. Zloff M. Query By Example// The Infocation and Definion of Tables and Forms. Proc. Intern. Conf. on VLDB, 1975.
132. ПРЕДПРИЯТИЕ МК КАЛАЧЕЕВСКИЙ ЦЕХ УБОЙНЫЙ
133. ПОДОТЧЁТНОЕ ЛИЦО ПОПИКОВ А--------------------------огиго:-----------------------------
134. Р А П О Р Т № 85 "1 " 04 2000 Г.
135. О ВЫРАБОТКЕ МЯСА ГОВЯДИНЫ И СОПУТСТВУЮЩЕЙ ПРОДУКЦИИ
136. НА- ВОЗРАС- УПИТАН- НОР- МЯСО ЖИР-СЫРЕЦ, КГ
137. ЙМЕ НОВА ТНАЯ ГРУППА НОСТЬ МА ТУШ кг по НОРМЕ ФАКТИ ЧЕС- ОТКЛОНЕНИЕ
138. НИЕ МЯСА СКОТА КИ ЗА ДЕНЬ ЗА НАЧ. МЕС.
139. ГОВЯ- ВЗРОСЛЫЙ ВЫС. 4 1045.00 66.87
140. ДИ- СРЕД. 3 683.00 43.71
141. НА 1 БУГАИ 1 К. 0 0.00 0.00
142. КАТ. МОЛОДНЯК ВЫС. 92 21936.0 1403.901. СРЕД. 1 177.00 11.32
143. ИТОГО: 6.40 100 23841.0 1525.82
144. ГОВЯ- ВЗРОСЛЫЙ Н/СР. 18 3450.00 120.75
145. ДИ- БУГАИ 2 КАТ. 2 888.00 31.07
146. НА 2 БЫЧКИ ВЫС. 0 0.00 0.00
147. КАТ. молодняк СРЕД. 2 303.00 10.601. Н/СР. 2 293.00 10.25
148. ИТОГО: 3.50 24 4934.00 172.69
149. ГОВЯ- ВЗРОСЛЫЙ ТОЩАЯ 44 5628.00 67.53
150. ДИ- ТЕЛЯТА молод. 41 3792.00 45.50
151. НА ТОЩАЯ 36 889.00 10.66
152. ТО- БУГАИ ТОЩАЯ 0 0.00 0.00
153. ЩАЯ ИТОГО: 1.20 121 10309.0 123.701. ТЕЛЯ- 1 К. 1. ТИ- 2 К. 1. НА ИТОГО:
154. ВСЕГО: 245 39084.0 1822.22 0.0000 -1822.2 -1822.2
155. НАИМЕНОВАНИЕ ПРОДУКЦИИ ЕД. ИЗМ. НОРМА ПО НОРМЕ ФАКТИЧЕСКИ ОТКЛОНЕНИЕ (+ -)1. ЗА ДЕНЬ ЗА НАЧ. МЕС.
156. СУБПРОДУКТЫ 1 КАТЕГОРИИ КГ 4.48 1750.963 0.0000 -1750.96 -1750.96
157. КАТЕГОРИИ КГ 13.28 5194.263 0.0000 -5194.26 -5194.26
158. КГ 6.90 2696.795 -2696.79 -2696.79
159. КГ 3.40 1328.856 -1328.85 -1328.851. ШКУРЫ шт X 0 X X
160. ОБЪЯСНЕНИЕ ПРИЧИН ОТКЛОНЕНИЯ ОТ НОРМ
161. ПРИЛАГАЮТСЯ ДОКУМЕНТЫ НА ЛИСТАХ1. НАЧАЛЬНИК (МАСТЕР) ЦЕХА1. ПРОВЕРИЛ ЭКОНОМИСТ1471. ПРЕДПРИЯТИЕ
162. ОТВЕС-НАКЛАДНАЯ № 299 НА СУБПРОДУКТЫ КРС
163. ВИД СКОТА "06" 04 1994 Г. СМЕНА 11. КОМУ ЧЕРЕЗ КОГО
164. НАИМЕНОВАНИЕ ВЕС, КГ НАИМЕНОВАНИЕ ВЕС, КГ1. ЯЗЫК 190 ЛЕГКОЕ 441. ПЕЧЕНЬ 491 ЛЕГКОЕ Т 4021. ПЕЧЕНЬ ДКЧ 451 УШИ 88
165. ПОЧКИ 184 МЯСО-КОСТ. ХВОСТ св.1. МОЗГИ 72 ЖЕЛУДОК СВИНОИ
166. СЕРДЦЕ 330 МЯСО ПИЩЕВОДА 1641. ДИАФРАГМА 171 РУБЕЦ 413
167. МЯСО-КОСТ. ХВОСТ 137 РУБЕЦ Г 575
168. ИТОГО 1 КАТ. 2026.0 КАЛТЫК 1491. ГУБЫ 115
169. МЯСНАЯ ОБРЕЗЬ 288 СЫЧУГ 208
170. ОБРЕЗЬ ПОДЪЯЗЫЧНАЯ 40 ТРАХЕЯ 1921. ВЫМЯ 381 СЕЛЕЗЕНКА 1141. ГОЛОВА КНИЖКА 915
171. АО КОМБИНАТ МЯСНОЙ "КАЛАЧЕЕВСКИЙ"
172. ЦЕХ- СДАТЧИК ЦЕХ-ПОЛУЧАТЕЛЬ1. ХОЛОДИЛЬНИК МПЦ
173. НАКЛАДНАЯ № 56 НА ВНУТРЕННЕЕ ПЕРЕМЕЩЕНИЕ СЫРЬЯ (ПРОДУКЦИИ) "6142000 Г.
174. Я19111111111-1 и? ; ЦВДШ:!) ИЙНР1"'ЯИИЯ^ШРЩШЯ1*!® 1ШВ1|Ш №11№;1:;1Р!И1111ШЯ1кг кг кгй:!1Иг! ¡У Шя! яИИРМ'з^ШШШШШИйШ^ ¡11И1^11ЙЙ1111№111И|1В1. ТОГО: 204о01. СДАЛ ПРИНЯЛ
175. АО КОМБИНАТ МЯСНОЙ "КАЛАЧЕЕВСКИИ"1. РАПОРТ
176. О ПЕРЕРАБОТКЕ СВИНИНЫ И ВЫРАБОТКЕ ПОЛУФАБРИКАТОВ ДЛЯ КОЛБАСНОГО И1. КОНСЕРВНОГО ПРОИЗВОДСТВ1. СВИНИНА У, .II С БАКАМИ1. КРУПОНllIOl О:2000 Г.
177. Л> ЧКIК) 11(>Л У ФЛЫЧIК\1 С)к1. НАИМЕНОВАНИЕ1. СВИНИНА ЖИЛОВАН НАЯ
178. HI.'/ICHPI 1АЯ П/ЖИРНАЯ : ЖИРНАЯ СВ. БАКИ ШПИГ1. П/Ф МЯСОКОСТНЫЙ И'ЮГО:
179. ОТКЛОНЕ ЗА ДЕНЬ НИЕ (+,-) НАЧАЛА МЕСЯЦА КОСТЬ ТРУБЧАТ.
180. РЯДОВАЯ СУХОЖИЛИЯ, ХРЯЩИ ТЕХ. ЗАЧИСТКИ ШКУРА ПОП-.РИ ИТОГО: 1КТЛЧ >:1. ФАКТИ ЧЕСКИ1. КГ 399 3100 171 10 205 038851. С о13527 2111 ío502 I1. ПО НОРМЕ
181. КГ 311 3199 167 10 198 0 ^88?4391013527 211136 5021
182. НАЧ. (МАСТЕР) ЦЕХА. ПРОВЕРИЛ ЭКОНОМИСТ
183. ПРЕДПРИЯТИЕ МК КАЛАЧЕЕВСКИЙ
184. ОТВЕС-НАКЛАДНАЯ № ФФцТ. НА ПРИЁМКУ СКОТА ""2000 г.шстАВ1дакР--онхт-во1. Ф.И.О. СДАТЧИКА
185. ШОСОБДОСТАВКИЖШЖШИТЖЧАС.МИН,
186. НАЧАЛО ВЗВЕШИВАНИЯ ЧАС. МИН РАССТОЯНИЕ КМ ОКОНЧАНИЕ ВЗВЕШИВАНИЯ ЧАС. МИН ГУРТОВАЯ ВЕДОМОСТЬ № ОТ" " 2000 Г.
187. ВЕСЫ К НАЧАЛУ ВЗВЕШИВАНИЯ ПРОВЕРЕНЫ ВИД СКОТА
188. ВОЗ Р. КОЛ. ИКС СКИДКИ ВЕС МРИ
189. ГРУППА ГОЛ. БРУТТО НЕТТО МЕ1. И упи- % К| % К| % КТ ЧА1. ТА Н- ниг:ность1. СКОТА1. ИТОГО кг1. КОЛИЧЕСТВО голов1. ВСЕГО.1. ВЕС1. СДАЛ1. ПРИНЯЛ1. СЧЁТ
190. А.О. КОМБИНАТ МЯСНОЙ "КАЛАЧЕЕВСКИЙ"1. ВОРОНЕЖСКОЙ1. ПРОДАВЕЦ СКОТА
191. ПРИЁМНАЯ КВИТАНЦИЯ № ФФ36Т. НА ЗАКУПКУ СКОТА В ХОЗЯЙСТВАХ КОЛХОЗНИКОВ, РАБОЧИХ, СЛУЖАЩИХ И ДРУГИХ ГРАЖДАН2000 Г.
192. ГРУППА ЖИВОТНЫХ кол-во ГОЛОВ ЖИВОЙ ВЕС, КГ ЦЕНА РУБ. коп. СУММА РУБ. КОП.1. БЕЗ СКИДОК ЗА ВЫЧ. СКИДОК 1. НА СОД. Ж/К ТРАКТА И ДР.
Обратите внимание, представленные выше научные тексты размещены для ознакомления и получены посредством распознавания оригинальных текстов диссертаций (OCR). В связи с чем, в них могут содержаться ошибки, связанные с несовершенством алгоритмов распознавания. В PDF файлах диссертаций и авторефератов, которые мы доставляем, подобных ошибок нет.