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

кандидата технических наук
Коновальчук, Вера Николаевна
город
Киров
год
1984
специальность ВАК РФ
05.13.13
Диссертация по информатике, вычислительной технике и управлению на тему «Исследование и разработка структурной, функциональной и программной организации системы автоматизации подготовки данных»

Оглавление автор диссертации — кандидата технических наук Коновальчук, Вера Николаевна

ВЕШНИЕ

Глава I. СИСТЕМНЫЙ ПОДХОД К ПРОБЛЕМЕ АВТОМАТИЗАЦИИ ПОДГОТОВКИ ДАННЫХ

1.1. Объекты исследования И

1.2. Потоки входных данных

1.3. Организация переноса данных на машинный носитель

1.4. Методы контроля информации на достоверность и способы их реализации

1.5. Редактирование данных, записанных на носителе

1.6. Реализующие структуры технических средств

1.7. Критерии эффективности цроцесса подготовки данных

1;8. Постановка задачи

Глава 2. РАЗРАБОТКА ТЕОРЕТИЧЕСКИХ ОСНОВ СИСТЕМЫ АВТОМАТИЗАЦИИ ПОДГОТОВКИ ДАННЫХ

2.1. Формализованная постановка задачи

2.2. Концептуальная модель и сигнатура

2.3. Основные положения САЦЦ 84 ВЫВОДЫ

Глава 3. ПРИНЦИПЫ И МЕТОДЫ ПОСТРОЕНИЯ БАЗОВОГО ПАКЕТА ПРОГРАММ ПОДГОТОВКИ ДАННЫХ

3.1. Аспекты программной организации САЦЦ

3.1.1. Концептуальный аспект

3.1.2. Информационная модель ПППД

3.1.3. Функциональная модель ПППД

3.2.' Методы- и средства проектирования программной системы пакета 109 3.2.1. Состояние вопроса

3.2.2. Методика проектирования и организации программной системы

3.2.3. Язык программных конструкций

3.2.4. Концепция и язык проектирования данных 119 3.3. Принципы построения и структура ППТТД

ВЫВОДЫ /

Глава 4. ИССЛЕДОВАНИЕ ФОРМАЛЬНЫХ ГРАММАТИК И РАЗРАБОТКА ВХОДНЫХ ЯЗЫКОВ ПАКЕТА

4.1. Язык описания первичных документов ФОД

4.1.1. Анализ языков, разработанных и используемых для программирования клавишного ввода форматных документов

4.1.2. Требования к входному языку ППЦД

4.1.3. Описание языка ФОД

4.2. Диалог оператор-система ДОС

4.2.1. Метод формализованного описания диалога

4.2.2. Описание языка ДОС

4.3. Язык функциональных клавиш 479 ВЫВОДЫ

Глава 5. РЕАЛИЗАЦИЯ И ВНЕДРЕНИЕ БАЗОВОГО ПАКЕТА ПРОГРАММ

5.1. Общие сведения о внедрении "

5.2. Алгоритмы решения и программная реализация задач, выделенных в функциональные модули ПППД

5.3. Оценка результатов теоретических исследований и разработки

Введение 1984 год, диссертация по информатике, вычислительной технике и управлению, Коновальчук, Вера Николаевна

Основные направления экономического и социального развития СССР на 1981 - 1985 г.г. и на период до 1990 г.", принятые на XXV/ съезде КПСС, выдвигают в ряд важнейших проблем ". совершенствование вычислительной техники, ее элементной базы и математического обеспечения, средств и систем сбора, передачи ж обработки информации". Наиболее трудоемким и продолжительным в обработке информации на ЭВМ является этап подготовки данных на машинном носителе. На его долю приходится от 30 до 50 % всех затрат на обработку информации [Д Ш]. В вычислительных центрах подготовкой данных занято до 60 % обслуживающего персонала [■/35] . (На конец 1979 года в нашей стране действовало свыше 3,5 тысяч вычислительных центров [79] ). В связи с большими затратами времени, средств, людских ресурсов объективно существует проблема автоматизации подготовки данных, направленной на снижение трудоемкости клавишного ввода, повышение достоверности информации и оперативности получения результатов.

В течение нескольких десятилетий организация процесса сбора и подготовки данных велась с использованием малопроизводительных перфорационных устройств по традиционной схеме, включающей следующие этапы:

- сбор информации с первоисточника, кодирование и запись на первичный документ;

- перенос данных на промежуточный машинный носитель -перфокарту (реже перфоленту);

- контроль перфокарт путем повторного клавишного ввода информации;

- исправление выявленных ошибок (перебивка перфокарт).

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

Современному состоянию развития области подготовки данных характерно следующее:

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

- создание программируемых индивидуальных и групповых средств подготовки данных на основе микропроцессорного управления;

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

Смена носителя данных, изменение аппаратной структуры, развитие программного обеспечения - все это внесло качественные изменения в организацию процессов подготовки данных. Повышение эффективности при использовании современных технических средств достигается за счет расширения функциональных возможностей последних. Такие расширения касаются реализации наборов функций по автоматизации клавишного ввода, арифметической обработке реквизитов, контролю данных на достоверность, а также введения гибких процедур редактирования и автоматического поиска данных на носителе. Важнейшее место отводится решению рациональной системы контроля, обеспечивающей подготовку так называемых "чистых данных", обладающих высокой степенью достоверности информации. Из практики обработки информации приводятся следующие статистические данные [152]'- исправление ошибки, обнаруженной в ЭВМ, обходится в 400 раз дороже, чем исправление ошибки, обнаруженной при подготовке данных. Это показывает какое существенное влияние оказывает подготовка достоверных данных на эффективность всей обработки информатики.

Современная концепция распределенной обработки данных вносит также свои особенности в область подготовки данных:

1. Подготовка данных ведется в условиях оперативной первичной обработки на местах возникновения информации. Для такой подготовки характерен ввод данных с первоисточника с представлением форм первичных документов на экране дисплейного устройства. Здесь особую роль приобретает расширение логических методов контроля данных в процессе клавишного ввода, так как выявленные в результате такого контроля ошибки могут быть незамедлительно скорректированы специалистом;

2. Решение задачи подготовки данных перемещается с узкоспециализированных технических средств на многоцелевые индивидуальные или групповые проблемно-ориентированные комплексы, совмещающие подготовку данных с решением таких задач как: первичная обработка и формирование выходных форм документов, ввод-вывод данных в центральную ЭВМ или передача их по каналу связи.

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

Ориентация на подготовку данных современных технических средств достигается за счет программного обеспечения. Поэтому эффективность подготовки данных в конечном итоге и главным образом зависит от рационального построения и эксплуатации последнего. Понятие рационального построения программного обеспечения включает такие воцросы как выбор или создание экономически целесообразных методов и алгоритмов организации процессов, а также эффективных языковых средств, обеспечивающих учет специфики входных данных на основе составления программ пользователя и предоставляющих возможности оперативного управления клавишным вводом.

Краткое введение в проблему автоматизации подготовки данных позволяет сделать вывод о сложности поставленной задачи, оптимальное или, по крайней мере, рациональное решение которой зависит от многих факторов и, в первую очередь, от совершенствования программных и технических средств, а также методов и приемов в организации процессов подготовки данных. Однако, по настоящее время развитие методологического, технического и программного обеспечения подготовки данных строится на интуиции и опыте разработчиков. Существующие в этой области единичные публикации носят обзорный характер (например, [40] , либо посвящены описанию конкретных технических средств (например, [41] ). Отсутствие научно-методических основ затрудняет цроцесс изучения и проведения исследований, тормозит создание новых эффективных средств и методов и ведет к дублированию как программных так и технических разработок. В этих условиях актуальными являются задачи создания теоретических основ автоматизации подготовки данных и проведения на их базе исследований и разработок, связанных с решением общей проблемы оптимизации предметной области. Направления таких исследований формулируются в виде следующих основных задач:

- исследование и разработка методологических, теоретических и прикладных вопросов построения базового программного обеспечения;

- создание теории оптимального построения 1фитериев и методов оценки эффективности технических разработок;

- развитие методов анализа и оптимального синтеза технической, функциональной, информационной и црограммной структур;

- создание теории и методики прогнозирования технологий, технических и программных средств в области подготовки данных.

Целью диссертационной работы является:

- исследование и обобщение с позиции системы автоматизации подготовки данных принципов, методов и структур в организации процессов подготовки данных;

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

Для достижения поставленной цели предлагается подход к проведению исследований и разработок в области подготовки данных, в основе которого лежит обобщенное понятие - СИСТЕМА АВТОМАТИЗАЦИИ ПОДГОТОВКИ ДАННЫХ (САЦД). При этом решаются следующие задачи:

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

- обобщение результатов анализа и формирование концептуальных основ системы автоматизации подготовки данных (САПД);

- разработка принципов построения базового пакета программ

САЦЦ;

- построение функциональной и информационной моделей пакета;

- исследование современных методов и подходов к программированию и разработка новых формализованных нотаций и методики для совершенствования процесса проектирования и структурной организации пакета;

- разработка и обоснование структуры базового пакета;

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

- разработка метода формализованного описания диалога;

- разработка алгоритмов и реализация базового пакета программ на конкретных технических средствах.

Работа состоит из введения, пяти глав, заключения и приложений.

В первой главе проводится анализ предметной области исследования. Обсуждаются стратегии технологических процессов, выделяются общие этапы, строятся модели их организации и устанавливается сущность задачи подготовки данных. Рассматриваются и частично формализуются потоки входных данных. Излагаются состояние и тенденция развития машинных носителей. Проводится систематизация опыта инженерных разработок, предлагается классификация технических средств и методов контроля данных на достоверность. Обобщаются свойства, делаются выводы и даются рекомендации, касающиеся структурной, функциональной и программной организации будущих разработок. Ставится задача исследования.

Вторая глава посвящена разработке теоретических основ САЕЩ. Формализуется постановка задачи и выбираются методы ее решения. Строится концептуальная модель САЦЦ и проводится ее обоснование Абстрагируются интуитивные понятия области подготовки данных, описывается символика и на языке исчисления предикатов разрабатывается совокупность высказываний, определяющих общие свойства и отношения для класса систем подготовки данных. Делаются выводы о научно-техническом и практическом значении разработанных теоретических основ САЦЦ.

В третьей главе излагается концепция базового пакета программ С АИД. Разрабатываются информационная и функциональная модели пакета. Исследуются современные методы программирования. Для совершенствования процесса проектирования предлагаются новые формализованные средства: язык программных конструкций и язык проектирования данных, на базе которых разрабатывается методика проектирования и организации программных систем. Определяются принципы построения и предлагается структура базового пакета.

Четвертая глава посвящена исследованию и разработке языковых средств, включенных в структуру ПППД. Здесь проводится дополнительный анализ и дается оценка языков высокого уровня специально разработанных, а также языков общего назначения применяемых для программирования процедур клавишного ввода форматных документов. Делается вывод о целесообразности создания нового языка, формулируются требования и предлагается разработка языка, отвечающего изложенным требованиям, а именно: языка высокого уровня "форматное описание документа" (ФОД). Предлагается новый метод формализованного описания диалога и описывается конкретный язык диалога. Предлагается методика представления языка функциональных клавиш и дается разработка такого языка.

В пятой главе рассматриваются вопросы алгоритмизации, реализации и внедрения базового пакета программ. Дается оценка результатов теоретических исследований и разработок,

В заключении излагаются основные научные и практические результаты и делаются выводы о теоретическом и практическом значении полученных в диссертационной работе результатов.

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

Основные результаты диссертационной работы докладывались на семинарах и конференциях и опубликованы в печатных работах [34 - 36 , 48 - 53]. Новые технические решения защищены пятью авторскими свидетельствами [6-10]*

Библиография Коновальчук, Вера Николаевна, диссертация по теме Телекоммуникационные системы и компьютерные сети

1. Абанина A.B. и др. Проектирование малинной обработки экономической информации. Изд-во 2-е перераб. М: Статистика, 1975. 288с.

2. Агафонов В.Н. Тины и абстракция данных в языках программи-рования.-В сб.: Данные в языках программирования/Пер. с англ. яз. М: Мир, 1982, с. 265-326.

3. Алферова З.В. Теория алгоритмов. М: Статистика, 1973. 164с,

4. Антонова Н.Г. и др. О комплексном подходе к оценке системы подготовки и ввода информации в ЭВМ широкого применения.-Вопросы радиоэлектроники. Сер.ЭВТ, 1975, вып. II, с. 70-78.

5. A.C. 590777(СССР). Устройство для подготовки данных. Коновальчук В.Н., Дудин Е.М. Опубл. в Б.И., 1978, М.

6. A.C. 528582 (СССР). Устройство для управления перфоратором. Коновальчук В.Н., Дудин Е.М.- Опубл. в Б.И., 1976, №34.

7. A.C. 564631 (СССР). Устройство для ввода данных. Коновальчук В.Н., Мильков М.Ю.-Опубл. в Б.И., 1977, М.

8. A.C. 842770 (СССР). Устройство для ввода информации с клавиатуры. Коновальчук В.Ш-. Садаков А.Д.-Опубл. в Б.И.,1981, Ш.

9. A.C. 983694 (СССР). Устройство для ввода информации. Коновальчук В.Н., Мильков М.Ю., Садаков А.Д.;-Опубл. в Б.И.,1982, М7.

10. Балабанов В.Г. Актуальные проблемы подготовки машинных носителей информации для ЭВМ.-УСиМ, 1979, ЖЗ, с. 69-73.

11. БерзтиссА.Г. Структуры данных.-М.: Статистика, 1974, ЛОВс.

12. Бобовский В.В., Лященко A.A., Куценко Ж.П. Автоматизацияразработки языка взаимодействия человека с ЭВМ в диалоговой графической системе.-Вопросы радиоэлектроники. Сер. АСУ, 1976, вып. I, с. 43-57.

13. Брановицкий В.И. и др. Диалог человека с ЭВМ: основные понятия и определения.-УСиМ, 1978, М, с. 3-6.

14. Братчиков И.А. Синтаксис языков программирования.- М.:"Наука", 1975, 231 с.

15. Бройдо В.А., Ильина О.П. Эффективность некоторых методов контроля достоверности информации в АСУ.-УСиМ, 1978, Ж), с. 73-78.

16. Бросгол Б. Дисскусионные вопросы из области типов данных и контроля типов.-В сб.: Данные в языках программирования/Пер. с англ. яз. М.: Мир, 1982, с. 170-195.

17. Брукс Ф.П. Как проектируются и создаются программные комплексы. М.: Наука, 1979. 151 с.

18. Вельбицкий И.В., Ходаковский В.Н., Шолмов JI.K. Технологический комплекс производства программ на машинах ЕС ЭВМ и БЭСМ-6.М.: Статистика, 1980. 263 с.

19. Витенберг И.М., Анисков В.В. Система оперативного сбора и первичной обработки информации в АСУ Ш на базе АД-4.-Вопросы радиоэлектроники. Сер. ВТ, 1979, вып. 4, с. 53'63.

20. Вычислительная техника за рубежом в 1977 г. / Под редакцией Зейденберга B.K. М.: 1978.

21. Вычислительная техника и обработка данных. Терминологический толковый словарь фирмы ibm . М.: Статистика, 1978 , 232 с.

22. Гендель Е.Г., Левин H.A. Оптимизация технологии обработки информации в АСУ. М.: Статистика, 1977. 232 С.

23. Гильберт Д., Бернайс П. Математическая логика и основания математики. М.: Наука, 1982, 560 с.

24. Глушков В.М. и др. Обработка информационных массивов в АСУ. Киев: Наукова думка , 1970. 183с.

25. Глушков В.М., Вельбицкий П.В. Технология програмшгрования и проблемы ее автоматизащш. -УСиМ, 1976, №6, с. 75-93.

26. Глужов BJVL Фундаментальные исследования и технология программирования.-В кн.: Технология программирования: Тезисы докл. Киев, 1979, л/6, С. 75-93.

27. Гранатуров В.М. и др. Программно-технологическая система ввода и верификации данных в АСУ.-УСиМ, 1981, М.

28. Дворецкий A.C., Дитрих И.В., Ястребов В.А. Предбазовая обработка информации. М.: Финансы и статистика, 1981. 200с.

29. Дейкстра Э. Заметки по структурному программированию.-В кн.: Дал У., Дейкстра Э., Хоор К. Структурное программирование/ Пер. с англ. яз. М.: Мир, 1975, с. 7-86.

30. Дзержинский Ф.Я., Тер-Сааков А.И. Технология програмщровадия-структурный подход. М.: ЦНИИ атоминформ., 1978. 88с.

31. Довгялло A.M. Диалог пользователя и ЭВМ и место средств искусственного интеллекта в его развитии.- Кибернетика,1979, Ш, с. 102-108.

32. Документ и со /ТС/ s с 15 Мб , 1977.

33. Дудин Е.М., Коновальчук В.Н. и др. Оценка и пути повышения эффективное™ процесса подготовки данных на перфокартах.-Вопросы радиоэлектроники. Сер. ЭВТ, 1982, вып. 1У

34. Дудин Е.М., Коновальчук В.Н. и др. Оценка технического уровня средств подготовки данных на перфокартах.-Вопросы радиоэлектроники.- Сер. ЭВТ, 1981, вып. 3, с. 721-/21

35. Дудин Е.М., Коновальчук В.Н. и др. Пути повышения производительности и достоверности подготовки данных при вводе информации с клавиатуры.-Вопросы радиоэлектроники. Сер. ЭВТ, 1982, вып. 3, е. м7-/2г.

36. Дьяченко П.П., Пинаев Й.Б. Язык и функциональные возможности системы ввода, корректировки форм статистической информации Вопросы радиоэлектроники. Сер. АСУ, вып. 4, 1980, с. 46-53.

37. Ершов Ю.Л., Палютин Е.А. Математическая логика. М.: Наука, 1979, 320 с.

38. Захарова Э.К., Гузев Ю.С. Современные средства подготовки данных для ввода в ЭВМ. ВИМИ, 1974, 105 с.

39. Захарова Э.К., Шилова С.Н. Современные методы и средства ввода данных в ЭВМ. ВИМИ, 1979, 89 с.

40. Зелковиц М., Шоу А., Гэннон Дж. Принципы разработки программного обеспечения. / Пер. с англ. яз. М.: Мир, 1982.- 368 с.

41. Иванов А.А. . Подготовка данных В ВЦ. М.: Финансь/ и статистика, 1981, /92с.

42. Йоден Э. Структурное проектирование и конструированиепрограмм./ Пер. с англ. яз. М.: Мир, 1979.- 415 с.

43. Кар^наль В.А. О достоверности информации в АСУ.- НТИ, серия / , 1980, МО, с. 32-33.

44. Клини С. Математическая логика./Пер. с англ. яз. М.: Мир, 1973, 480 с.

45. Комплексы средств для систем управления и вычислительные системы. Новые промышленные каталоги (сер. 18), вып. 3, М. 1981.

46. Кондаков Н.И. Логический словарь справочник. М.: Наука, 1976.

47. Коновальчук В.Н. Концепция и язык проектирования данных. -Вопросы радиоэлектроники, Сер. ЭВТ, 1983, вып. 4, с. 16 -30,

48. Коновальчук В.Н. Методика проектирования программного обеспечения микропроцессорных систем.-Вопросы радиоэлектроники. Сер. ЭВТ, 1982, вып. 2, с. 71- 83,

49. Коновальчук В.Н. Об одном методе формализованного описания диалога.-В кн.: Автоматизация разработки и моделирования аппаратных и программных средств для вычислительных и микропроцессорных систем. Материалы семинара. М.: ВДНТП, 1983,с. ш-т.

50. Коновальчук В.Н. Опыт организации разработки программного обеспечения микропроцессорных систем.-В кн.: Автоматизация программирования аналого-цифровых и микропроцессорных систем. Материалы семинара. М.: МЦНТП, 1982, с. 50-60.

51. Коновальчук В.Н. Пакет программ подготовка данных.-Вопросы радиоэлектроники. Сер. ЭВТ, 1984, вып. I.

52. Коновальчук В.Н. Язык пользователя для описания процесса подготовки данных на носитель.-Вопросы радиоэлектроники. Сер. ЭВТ, 1980, вып. I, с. 30-43.

53. Кудрявцев И. А. Оценка и обеспечение надежности сбора и передачи информации в сложных системах.-Электронная техника. Сер. 9, АСУ, 1976, вып. I (17). €.¿{9-51.

54. Кузин Л. Т. Автоматизация проектирования информационного обеспечения в автоматизированных системах. 4.1. М., 1974, 135 с.

55. Кузин Л.Т. Основы кибернетики. Том I. Математические основы, кибернетики. Учебное пособие для вузов. М.: "Энергия", 1973, 502 с.

56. Левин Д.Я. Сетл язык весьма высокого уровня.-Программирование, 1976, №5, с. 3-9.

57. Липаев В.В. Проектирование математического обеспечения АСУ. М.: "Советское радио", 1977, 398 с.

58. Липаев В.В. Надежность программного обеспечения АСУ. М.: "Энергия", 1981. 24 С.

59. Литвинов В.А. О выборе режимов поиска информации на магнитной ленте.-Кибернетика, 1970, №5.

60. Майерс Г. Надежность программного о беспечения./Пер. с англ. яз. М.: Мир, 1980, 360 с.

61. Мальцев А.И. Алгоритмы и рекурсивные функции. М.': Наука, 1965, 391 с.

62. Мальцев А.И. Алгебраические системы. М.: Наука, 1970 , 390 с.

63. Марков А.А. Теория алгоритмов.-Труда матем. ин-та АН СССР."— М.: 1954, Т. 42, 372 с.

64. Мартин Дж. Организация. баз данных в вычислительных системах. /Пер. с англ. яз. М.: Мир, 1979 , 664 с.

65. Мартин Дж. Системный анализ передачи данных./Пер. с англ. яз. М.: Мир, 1975, T.I. 256 с.

66. Материалы выставки "Информтехника 79".-М. 1979.

67. Материалы выставки "Средства ЕС ЭВМ и СМ ЭВМ стран СЭВ и их применение" ,-М. 1979.

68. Мендельсон Э. Введение в математическую логику. М;-: Наука, 1971. 320 с.70.: Минский М. Вычисления и автоматы. М.: №р, 1971, 264 с.

69. Многоклавишная система CMC. Проект фирмы CMC ФРАНС, 1975.

70. МС ИСО №646. Кодирование информации^ 1973.

71. МС ИСО №962. Обработка информации на стандартной магнитной ленте;

72. МС ИСО №1863. Стандартная магнитная лента.

73. МС ИСО №5654. Часть Г.- Обработка информации кассеты с односторонним гибким диском диаметром 200 мм. Размерные физические и магнитные характеристики"!

74. МС ИСО №5654. Часть 2. Формат дорожек;

75. МС ИСО №6596. Часть I. Кассеты с односторонним гибким диском диаметром 130 мм.1 Размерные, физические и магнитные характеристики.

76. МС ИСО №6596. Часть 2. Кассета с односторонним гибким диском диаметром 130 мм. Формат дорожек.'

77. Мясников В.А; Совершенствование технологии программирования -важнейшая народно-хозяйственная задача. УСиМ, 1980, №1, с. 6-8.

78. Некоторые цроблемьх обработки данных в США и Великобритании.' -Зарубежная радиоэлектроника, 1981, №3, с. I07-II6.

79. Никольский A.H. -, Фельдман Н.З. Система обработки входной информавди.-Программирование, J£5, 1976, с. 83-87.

80. Нормативный материал МПК по вычислительной технике. 17-79 СМ ЭВМ. Терминология, M. : 1980. НС.

81. Оберник С.С., Панин В.Э. Выбор и способ реализации структуры устройства подготовки информации с расширенными функциональными возможностями.-Вопросы радиоэлектроники. Сер. ЭВТ, вып. 4,с. 29-39.

82. Обзорная информация. Серия ТС-2 "Средства вычислительной техники и оргтехники". Вып. I. Периферийные устройства СМ ЭВМ ЦНИИТЭИ приборостроение. -M. 1980. 5с.

83. Овчаров Л.А.»Селетков О.Н. Автоматизированные банки данных, М.: Финансы и статистика, 1982, 263 с.

84. Ope 0. Теория графов. М.: Наука, 1980. 336 с.

85. ОСТаШО.ЗОб.ООО. Файлы на магнитной ленте, Структура и разметка. 1973.

86. Пат. 3.760.375 (США). Терминал для ввода исходных данных. 1973.

87. Пат. 3.803.555 (США). Система подготовки входных данных. 1974.

88. Пензов Ю.Е. Элементы математической логики и теории множеств. Саратов : Изд. Сарат. у/ми;1968. 143 с.

89. Перспективы развития западноевропейского рынка устройств подготовки данных. Радиоэлектроника за рубежом. 1976, вып. 8, с. 23-31.

90. Петров А.И., Черняков В.Н. и др. Автоматизированный анализ технологии формирования информации в системе управления. -Вопросы радиоэлектроники. Сер. АСУ, 1980, Ш9 с. 59^-72.

91. Пивоваров А.Н. Качество методов контроля информации на основе дублирования при автоматизированной обработке данных.-В сб. : Алгоритмы и организация решения экономических задач. М. : Статистика, 1980, вып. 14, с. 76-82.

92. Пивоваров А.Н. Сравнительная оценка некоторых методов контроля постоянной информации в АСУ.-УСиМ, 1977, J36, с. 60-65

93. Пратт Т. Языки программирования: разработка и реализация./Пер. с англ. яз. Ю.М. Банковского. М.: Мир, 1979, 574 с.

94. Программируемая станция ¡8M 3741, модели 3 и 4. Материалы ширмы IBM . 1974, 33 с.

95. Проект MC ИСО №6863. Метки и структура файлов на кассетах с гибким диском для обмена информацией. 1981/

96. Проект MC ИСО №7665. Метки и структура файлов для кассет с односторонним и двусторонним гибким диском диаметром 130 мм.99. . Проект MC ИСО $7666. Метки и структура файлов для кассетс гибким диском диаметром 200 мм.

97. Пушкин H.A., Родионов С.Т. HIPO -технология метод разработки и сквозного документирования программ по принципу "сверху-вниз".-УСиМ, 1978, №3, с. 35-38.

98. Рабин М.О., Скотт Д. Конечные автоматы и задачи их разрешимости,--В кн.: Кибернетический сборник. М.: Мир, 1962, вып. 4, с. 58-91.

99. Редько В.Н, Семантические структуры программ.-Программирова-ние, 1981, Ж, с. 3-19.

100. Робинсон А. Введение в теорию моделей и математику алгебры.'/Пер. с англ. яз. М.: Наука, 1967. 376 с.

101. Роджерс X. Теория рекурсивных функции и эффектная вычислимость./ Пер. с англ. яз. М.: Наука , 1972. 624 с.

102. Сигорский В.П. Математический аппарат инженера. Техника, 1977. 768 с.

103. Система записи на гибких дисках Ed is 4000. Проспект фирмы SEC RE Франция.

104. Система клавишных дисплеев 2404 фирмы MOS Материалы фирмы MOS , 1974.

105. Система обработки данных NOKIA 80. Проспект фирмы NOKIAELECTRONICS (США).

106. Система предварительной обработки данных N ICS DORP 620/45. Проспект фирмы N ICS DOP F COMP V i TER

107. Система сбора данных UN 1С APT . Проспект фирмы S INTRA

108. Средства подготовки данных на магнитных носителях. Кн. I. Анализ и оптимизация технологических процессов подготовки данных с определением параметров технических средств. Отчет НИР, 1977, 178 с. (Ж Г58181).

109. Тайцлин М.А. Теория моделей. Новосибирск: 1970,

110. Тимофеев Б.Б., Литвинов В.А. Методы обнаружения ошибокв алфавитно-цифровых последовательностях на этапе подготовки и ввода данных в ЭВМ.-УСиМ, 1977, М, с. 20~21.

111. Тимофеев Б.Б., Литвинов В.А., Жолудь Л,В., Крамаренко В.В. Пакет программ контроля достоверности в АСУ.-УСиМ, 1979, J& , с. 46-51.

112. Топалов Т.А. Развитие средств подготовки данных для ЭВМ.-В сб.: Вычислительная техника социалистических стран. М.: Статистика, 1981, с. 28-32.

113. Трахтенброт Б.А. Алгоритмы и вычислительные автоматы. М.: Сов. радио, 1974. 200 с.

114. Устройство подготовки данных на магнитной ленте ЕС9004. Проспект ЕС ЭВМ, 1975.

115. Ушаков В,Б. Отличительные черты устройств ввода-вывода и устройств подготовки данных ЕС ЭВМ пРяд-2".-Вопросы радиоэлектроники. Сер. ЭВТ, 1979, вып. 4, с. /0-/9.

116. Флорес И. Структуры и управление данными. М.: Финансы и статистика, 1982, 318 с.

117. Фрейденталь X. Язык логики. М.: Наука, 1969, 205с.

118. Фуксман А.А. Технологические аспекты создания программных систем. М.: Статистика, 1979. 184 с.

119. Хмара М.Т. Определешге влияния сложности первичного документа на-достоверность подготовки данных.-Механизация и автоматизация управления, 1977, J£2.

120. Хоор К. О структурной организации данных.-В кн. : Дал У., Дейкстра Э., Хоор К. Структурное програширование/Пер. с англ. яз. М.: Мир, 1975, с. 98-186.

121. Хъюз Дж., Мичтом Дж. Структурный подход к программированию./ Пер. с англ. яз. М.: Мир, 1980, 278 с.

122. Цикритзис Д., Бернстайн Ф. Операционные систеш./Пер. с англ. яз. М.: Мир, 1977. 336 с.

123. Цурин О.Ф., Заиченко Л.Е., Сакова Е.В. Автоматизация проектирования одного класса диалоговых систем.-УСиМ, 1979, Гэ5, с. 80-84.

124. Шоу А. Логическое проектирование операционных систем. М. : Мир, 1981. 365С.

125. Штурман Я.П. Методы и средства подготовки данных к вводув информационные системы.-Средства информационной техники НТИ. Сер. I, 1976, №.

126. Энциклопедия Кибернетики. Киев; T.I, 1975.

127. Энциклопедия Кибернетики. Киев: Т.2, 1975.

128. Эрли Дж. Структура данных реляционного уровня для языков программирования.-В сб.: Данные в языках программирования./Пер. с англ. яз. М. : Мир, 1982, с. 68-90.

129. Davis S. Update anmacjnetic tape me том es.-CampaterDesign , 1974.133. Ûer struxturierte Entwurt un cl Aspekte seiaer Ahwendunq. -fiechetechnic Date* veraréeitun^ 1979, Jp. 6-12.

130. Jones M.N. h!PO for DeveLoping spesif¿cation -Datamatio/?,1976, V22, №3, p. 112, 114, 121.

131. Saisie efficace des do/wees. //. ¿¿me û'or a tio/?s de1.organisation classique de La saisicX'/fttor/natitjuefâlS^SÛp, 21-26

132. Saisie efficace de données Щ- d£a Saisie a la source r?o/7 conneetee. t/ifonmaiiyue 1975, №62, c. 28-31.

133. Series 24. M080L REFERENGE MANUAL. MohawkData Sciences Corp; Copyright, 1978, p. 58.

134. B800 Series Destriiuiecf Data Processing Systems.Programming WNU/IL CPA W/L, PEO/FON Computers Li mite o , /978, P. 22$.ПРИМЕР ПРОГРАММЫ НА ФОДе