Файл: Зингер И.С. Обеспечение достоверности данных в автоматизированных системах управления производством.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