Cтраница 3
Однако особенно нежелательна бесконтрольная неполнота обнаружения дефектов, когда неизвестно, какие возможные ( или хотя бы вероятные) дефекты не обнаруживаются. Поэтому, когда отсутствуют или не применяются формализованные методы построения алгоритмов диагностирования, необходимо максимально стремиться к формальной проверке степени полноты обнаружения и глубины поиска, обеспечиваемой предложенными неформальными решениями задач диагностирования. [31]
При проведении камеральной налоговой проверки осуществляется проверка налоговой отчетности, представленной налогоплательщиком или налоговым агентом, по установленным формам ( налоговых деклараций, расчетов по налогам, справок об авансовых платежах, отчетов об итоговых суммах доходов физических лиц и удержанного с них подоходного налога и др.), а также контроль за правомерностью использования налоговых льгот. Представленная отчетность проверяется на предмет правильности содержащихся в ней расчетов ( арифметическая проверка), соблюдения установленных правил составления ( заполнения) форм отчетности ( формальная проверка), а также сроков представления отчетности и уплаты налогов. [32]
При выдаче свидетельства на полезную модель Государство доверяет лицу, утверждающему в поданной заявке, что заявляемое устройство соответствует критериям патенспособности полезной модели, и на основании этого утверждения после формальной проверки правильности оформления этой заявки выдает охранный документ. Таким образом, патентование полезных моделей выгодно отличается от патентования изобретений возможностью быстрого получения охранного документа. Однако следует иметь в виду, что проверка новизны выполняется заявителем. Если заявитель по незнанию или преднамеренно подал заявку на устройство, которое не обладает новизной, а конкурент, узнавший об этом, подал в Апелляционную палату возражение против действия выданного свидетельства, такое свидетельство будет аннулировано. [33]
Наибольшая часть денег в подотчет выдается командированным работникам. Предоставленные оправдательные документы проверяются по форме и по существу. Формальной проверкой выявляют исправления дат выбытия и прибытия в командировочных удостоверениях, других реквизитов. В правильности дат можно удостовериться, ознакомившись с приказами на командировки конкретных работников, где указывается время его выбытия в командировку, возвращения из нее и цель командировки. Отсутствие приказа на командировку свидетельствует о ее необоснованности. Это может иметь место за счет отметки командированным лицом двух командировочных удостоверений на свое имя или командировочных удостоверений на имя подставных лиц. Для окончательного вывода о безденежности авансового отчета нужно сделать письменный запрос в организацию или на предприятие, отметка которого о прибытии и выбытии значится на командировочном удостоверении, изучить записи в табелях учета рабочего времени, где делаются отметки о пребывании в командировках, опросить непосредственных руководителей работников, фамилии которых указаны в командировочных удостоверениях. Во время таких бесед выясняется факт и цель пребывания в командировке подчиненных им лиц. [34]
Отметим, что заполнение отчетности должно осуществляться ручкой, фломастером или методами машинной обработки. Не допускаются неоговоренные исправления. В ходе формальной проверки проверяется также наличие подписи налогоплательщика ( руководителя и главного бухгалтера организации) и соответствие этих подписей имеющимся образцам. На представляемом втором экземпляре налоговой отчетности ставится отметка налогового органа о дате получения отчетности. [35]
Выборочное значение критерия г / ег - 2 66 попадает в критическую область, следовательно, гипотеза об отсутствии тренда отвергается. Таким образом, формальная проверка подтверждает вывод, сделанный по общему виду графика Лср. [36]
Ниже приведены округленные величины, если иное не оговорено особо. Матрица А ( табл. 1) имеет три изолированных собственных значения. Она использована для формальной проверки процедур. При Ъ 10 сходимость получена после двух шагов. [37]
Сценарий первого уровня является рамочным, он дает лишь общее ( не загроможденное деталями) представление о поведении БС. Благодаря своей наглядности этот А-сценарий ( абстрактный) удобен для специалистов в предметной области. Он содержит информацию, достаточную для проведения предварительной формальной проверки корректности исходных знаний о поведении БС. В результате выявляется и отфильтровывается ряд ошибок на раннем этапе моделирования. В дальнейшем в более детализированном сценарии цена ошибок возрастает. [38]
Обычно шпаргалками пользуются студенты у преподавателя, предпочитающего формальную проверку знаний. Нам известна практика профессора С. [39]
Следующей важной функцией является загрузка и актуализация сведений. Сведение собирается в формате ключевых слов в соответствии с применяемым описанием ввода. Собранные и подготовленные на машиночитаемых носителях сведения сначала подвергаются формальной проверке, а также проверке на допустимые наименования полей, на наличие обязательных полей и содержательные данные. Безошибочные сведения непосредственно после сверки с данными описаний фонда переводятся во внутренний формат. Ошибочные сведения выдаются в коррективный файл. Для их исправления имеется специальная программа. [40]
Описаны проект операционной системы и те методики, которые применялись при разработке системы в Стенфордском исследовательском институте. Операционная система должна быть универсальной, обслуживать одновременно нескольких пользователей и не уступать системе Multics. Кроме того, система должна быть защищена от несанкционированного доступа. Для этого в проект системы были включены методы формальных проверок. Приводится окончательный вариант проекта системы. Поясняется применение иерархического подхода к построению системы и механизмов защиты, использующих списки ресурсов. Также изучены вопросы инициализации работы системы, восстановления после сбоев и обслуживания. [41]
Поступившие в бухгалтерию документы до записи в учетные регистры или передачи на машиносчетную установку подвергаются бухгалтерской обработке, которая проводится в три этапа. Во-первых, документы проверяются по существу, т.е. устанавливают целесообразность и законность указанной в документе операции, определяется, имела ли место данная операция вообще и в том объеме, который указан в документе. Например, сопоставление нарядов на изготовление изделий и накладных на оприходование этих изделий, накладных на отгрузку продукции и квитанций покупателей на прием этой продукции и т.п. Во-вторых, производится формальная проверка документа, т.е. выписан документ на бланках установленной формы, правильность заполнения всех реквизитов, имеются ли предусмотренные подписи должностных лиц, участвующих в совершении операции и оформлении документов. В-третьих, проверенные и принятые документы подвергаются группировке, арифметической проверке, таксировке и конти-ровке. [42]
В настоящее время деятельность НАИО распространяется на испытательные лаборатории, специализирующиеся в девяти видах испытаний, в том числе в области аналитического контроля веществ и материалов. Изучение и анализ работы лабораторий проводится специальными экспертами. После заключения не менее двух экспертов ( имеющих право придерживаться линии работы, которую каждый из них считает наиболее эффективной) о готовности лаборатории к аккредитации, претендент представляет официальное заявление и обширную письменную информацию, дающую возможность штатным служащим НАИО подготовить сводку по всем аспектам формальной проверки лаборатории. Аккредитация в Австралии ( как и везде в капиталистических странах) - дело добровольное, и руководитель лаборатории вправе забрать просьбу об аккредитации на любой стадии ее проведения. [43]
Расчет участка начинают с подготовки. При подготовке обрабатывают данные о притоках к участку и о нормах расчета. При расчете участка эти данные и нормы используют как граничные условия. Затем подбирают удовлетворяющие расчету диаметры труб из числа стандартных. При этом проверяют все диаметры, например, методом формальной проверки на все возможные расчетные случаи. Уклон вычисляют по формуле Шези. Коэффициент С в этой зависимости определяется по известкой ц ормуле акад. [44]