Файл: Зингер И.С. Обеспечение достоверности данных в автоматизированных системах управления производством.pdf

ВУЗ: Не указан

Категория: Не указан

Дисциплина: Не указана

Добавлен: 26.07.2024

Просмотров: 89

Скачиваний: 0

ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.

 

Т а б л и ц а

5

 

 

 

 

 

Начисленная

 

 

 

 

заработная

Удержапня

Чистые Быплаты

 

 

плата

 

 

 

 

 

300,00

102,00

 

198,00

 

 

105,00

12,50

 

92,50

 

 

176,50

19,25

 

157,25

 

И т о г о

581,50

133,75

 

447,75

 

Перекрестный

581,50 - 133,75=447,75

 

"контроль

|

 

 

 

 

новых данных предприятия. Уже процесс построения мат­

 

ричного плана или отчета позволяет не только сразу же

 

выявить несбалансированность плана или отчета, но и

 

расшифровать каждую отдельную ошибку или приписку.

 

Это достигается в результате сбалансированности строк и

 

колонок матрицы, отражающих выпуск продукции и за­

 

траты по каждому виду деятельности предприятия, причем

 

всякая неувязка автоматически покажет, в каком месте

 

стоит неверный показатель [25].

применяются

4

Б. Математические методы проверок

 

для контроля верности решения различных вычислитель­

 

ных задач. Этими методами достигается обнаружение гру­

 

бых ошибок, происходящих вследствие нарушения после­

 

довательности выполнения

вычислительных

операций

 

(в частном случае команд программы) или

неправильного

 

выполнения операций.

 

 

 

 

10. Способ подстановки. При решении систем урав­

 

нений, в том числе нелинейных и трансцендентных, весьма

 

эффективен контроль верности результатов способом под­

 

становки. Сущность его состоит в том, что программой вы­

 

числений предусматривается подстановка в исходные

 

уравнения найденных корней. После этого

сравниваются

 

правые и левые части уравнений с целью определения не­

 

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

 

решение

считается правильным [27].

 

 

 

Время, затрачиваемое на подобный контроль, очевидно,

 

всегда меньше, чем на повторение решения. Тем не менее

 

таким способом можно обнаружить не только случайные,

 

но и систематические ошибки, которые

при

контроле

^двойным счетом часто пропускаются.

 

 

 

11. Проверка с помощью дополнительных связей. В не­

 

которых

случаях удается использовать для контроля до-

3 И. С. Зннгер, Б. С. Куцый

65


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

12.Проверка предельных значений, или метод «ви­ лок». В большинстве задач нетрудно заранее найти пре­ делы («вилку»), в которых должны находиться некоторые искомые величины. Это можно сделать, например, на ос­ новании приближенного анализа процессов, описываемых данным алгоритмом. Тогда в программе вычислений це­ лесообразно предусмотреть в определенных точках провер­ ку на нахождение переменных в заданных пределах. Та­ ким путем нельзя, конечно, контролировать правильность решения задачи с установленной точностью. Но можно об­ наружить грубые ошибки, которые' делают бессмыслен­ ным продолжение вычислений.

13.Метод статистического прогноза является разви­ тием метода «вилки», поскольку размер вилки может ди­ намически изменяться на основе статистической обра­ ботки данных предыдущих наблюдений за движением показателей.

В.Методы контроля, использующие избыточность информации. Большинство существующих методов кон­ троля, как схемных, так и программно-логических, осно­ вывается на введении в систему различного рода избыточ­ ности — структурной, временной или информационной. Характерный пример контроля, использующего избыточ­ ность информации, представляет контроль с помощью корректирующих кодов. Схемные методы контроля элек­ тронных цифровых вычислительных машин почти всегда основаны на применении избыточных или корректирую­

щих кодов.

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

66


результат арифметических операций над номером и полу­ чается заранее заданным способом. Изменение контрольной цифры свидетельствует о неправильном написании номера. Существует много различных способов получения конт­ рольной цифры, например, делением номера на модуль и. Остаток от деления числа на г) принимается за контрольную цифру. Пусть т| = 9, тогда контрольная цифра числа 3471 будет 6 и составной номер — 34716.

Второй, более сложный, но часто применяемый способ приводится ниже.

1. Записывается номер без контрольной

57647

цифры

 

2.Выбирается каждая (2г+1)-я цифра но- 567-2=1134 мера, и результат умножается на 2

3.

Суммируются цифры произведения

9

4.

Контрольная цифра есть 10 минус циф-

10—9=1

 

ра, полученная на предыдущем шаге

 

5.

Контрольная цифра

присоединяется к

576471

 

номеру. Позиция при этом выбирается

 

 

произвольно, чаще

всего в конце

 

Транспозиция номера, т. е. числа 74675, будет также иметь контрольную цифру 1. В этом недостаток данного метода.

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

8

1

i = l

где Xi — разряды шифра; i + 1 — соответствующие веса. Нумерация разрядов шифра идет от младшего разряда к старшему. Эта сумма делится на 11, и дополнение остатка

от деления до 11 принимается за избыточный разряд, при­ писываемый шифру справа в качестве контрольного. При­ ведем ниже пример.

1.

Записывается шифр без контрольной

3

4

6

2

1

 

цифры

 

 

 

 

 

2.

Разрядам шифра, начиная с младшего,

6

5

4

3

2

 

приписываются соответствующие веса

 

 

 

 

 

3.

Вычисляетсясуммапарныхпроизведений 18+20 - f24+64 - 2=70

8

 

 

 

 

 

 

i =1

3* 67


4.

Полученная

сумма

делится

на 11, н оп-

4

 

 

ределяется

остаток от деления

 

 

 

5.

Определяется

дополнение остатка до

11,

7

 

 

которое принимается

за

контрольную

 

 

 

цифру

 

 

 

 

 

 

 

 

6.

Контрольная

 

цифра

приписывается

к

3 4 6 2

1 7

 

IUIIi>py справа

в

качество

избыточного

 

 

 

разряда

 

 

 

 

 

 

 

 

Метод позволяет выявлять ошибки, допущенные при записи, перфорации и вводе шифров в ЭВМ.

15. При сравнении итоговых данных используются различные документы, которые формировались раздельно, но имеют общие данные, позволяющие сравнивать их меж­ ду собой. Например, контроль данных о выпуске готовых изделий на участке механической обработки можно осу­ ществить, сравнив количество выданных со склада заго­ товок, количество деталей, принятых мастером, и коли­ чество деталей, принятых ОТ К, за вычетом брака. Сравне­ ние происходит по трем различным документам, имеющим общую информацию — количество деталей.

16. Аналогичный контроль проводится, когда в каче­ стве контрольного выступает какой-либо «виешпий» по отношению к предприятию документ (годовой плаи в ы ­ пуска товарной продукции, нормируемый расход дефи­ цитных материалов и т. п.).

17.Метод двойных точек является частным случаем использования избыточной информации для целей кон­ троля. Если некоторый документ рассчитан на разных пользователей, то в нем может содержаться избыточная информация (например, наименование и номенклатур­ ный номер). Иногда такая информация специально вво­ дится для контроля.

18.Контроль, использующий принцип обратной свя­ зи, находит применение, например, при передаче и приеме данных: на приемной стороне осуществляется постоянный контроль (логическими методами, методами корректирую­ щих кодов и др.) верности принятых данных. При обна­ ружении ошибок на передающую сторону посылается по обратному каналу запрос на передачу дополнительных данных, уточняющих неверный отрезок сообщения.

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

68


Г. Логические методы контроля основываются, как пра вило, на использовании смыслового значенияfданных их логичности, непротиворечивости, согласованности, а также на использовании накопленного опыта о поведе­ нии управляемого объекта и знании его характеристик.

19. Метод смысловых проверок относится к семанти­ ческому уровню изучения достоверности данных. Смыс­ ловые проверки применяются главным образом для об­ наружения грубых ошибок во входных (исходных) данных, либо для проверки результатов решения отдельных задач "на ЭВМ.ЧНапример, известно, что календарный месяц не может иметь нумерацию, превышающую число 12; число часов в неделе не превышает 168; иа изготовление детали подшипника не может расходоваться масляная краска и т. д. Кроме того, численное значение данных колеблется в каких-то пределах. В этом случае ошибка может быть обнаружена «по здравому смыслу». Так, заработная плата

рабочего и

служащего не может составлять как 10 ООО,

так и 0,01

руб. в месяц.

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

20. Контроль по отклонениям аналогичен методу уп­ равления по отклонениям. Детальная проверка достовер­ ности данных производится лишь в том случае, когда зна­ чение данных неожиданно изменилось без существенных на то причин либо в значительной степени отличается от аналогичных значений предыдущих периодов. Например, если накладные расходы производственного подразделе­ ния длительное время были постоянными и затем резко изменились, то это свидетельствует о появлении ошибки и требует детальной проверки. В противном случае про­ верка, не производится.

Контроль по отклонениям по своему характеру во мно­ гом сходен с контролем методом смысловых проверок. Различие заключается в том, что этот метод пригоден при многократном решении одной и той же задачи. Он может использоваться для контроля достоверности исходных данных и результатов решения отдельных задач как на ЭВМ, так и вручную.

21 . Контроль заданной последовательности записей применяется при сортировке и обработке данных. При обработке в ЭВМ группе данных присваивается порядко-

69