Верификацию необходимо осуществлять в соответствии с запланированными мероприятиями, чтобы удостовериться, что выходные данные проектирования (разработки) соответствуют входным требованиям. [c.39]
Во второй главе данной части книги (гл. 5) говорится о разработке теории бухгалтерского учета обсуждаются природа такой теории и вопросы ее построения, проверки (верификации) и подтверждения. С одной стороны, долгое время утверждалось, что бухгалтерский учет, будучи ориентированным на практику, формируется под давлением практических обстоятельств. Такая зависимость, однако, привела к появлению множества несогласованных и взаимно противоречивых правил. С другой стороны, нельзя упрекнуть принятые правила в отсутствии теоретической основы, так как каждый из широчайшего спектра альтернативных методов учета, применяемых на практике, имеет под собой особую теорию или взгляд на вещи, стимулировавшие его разработку. Фактическое положение бухгалтерского учета характеризуется, таким образом, не нехваткой теорий, а наличием огромного количества неявно выраженных или неполных теорий. В действительности бухгалтерскому учету недостает последовательной теории, с помощью которой можно было бы оценивать уже установившиеся, недавно возникшие и пока только предлагаемые методы бухгалтерского учета. Между теорией и практикой бухгалтерского учета определенно существует взаимосвязь. Теории учета возникают в связи с необходимостью дать разумное объяснение тому, что делают или собираются делать бухгалтеры. [c.15]
Система штрихового кодирования информации представляет собой совокупность вида штриховых кодов и технических средств нанесения на носители информации, верификации качества печати, считывания с носителей, а также предварительной обработки данных. [c.114]
Следует заметить, что если имеются статистические данные, характеризующие моделируемый экономический объект в данный и предшествующие моменты времени, то для верификации модели, построенной для прогноза, достаточно сравнить реальные значения переменных в последующие моменты времени с соответствующими их значениями, полученными на основе рассматриваемой модели по данным предшествующих моментов. [c.23]
Наиболее сильная претензия сторонников двойной записи, обращенная к антагонистам, сводилась к следующему аргументу это вы из зависти и тщеславия, чтобы протолкнуть свои системы. Тогда двойная запись была распространена еще не столь повсеместно труды логических позитивистов, обосновавших принцип верификации, не были созданы, поэтому и ссылки на данный принцип отсутствовали. Вероятно, упрекавшим своих коллег в зависти не приходило в голову, что желание изобрести собственную систему могло быть вызвано не столько гордыней, сколько недостатками двойной системы, действительно имевшими место. В дискуссионном запале стороны доходили до личных выпадов и оскорблений. [c.370]
Сначала по первому способу определяются краткосрочные прогнозы. Затем, по мере поступления данных об общем прогнозе на несколько ближайших лет, таким же способом обрабатываются смешанные фактически-расчетные временные ряды. Результаты обработки в виде частных среднесрочных прогнозов поступают на соответствующую верификацию, и процесс повторяется. [c.57]
При долгосрочном прогнозировании из блока 11 поступает информация, полученная в результате слияния двух фактически-расчетных рядов по- автобензину и дизельному топливу. После обработки этой информации первым способом определяются частные прогнозы суммарной потребности в данных нефтепродуктах, которые направляются а верификацию долгосрочного Прогноза. [c.57]
Подготовка и верификация исходных данных. [c.65]
Сбор первичной информации из СПБ и верификация данных [c.79]
Верификация, или подтверждение достоверности гипотезы, осуществляется путем наблюдения результатов принятого решения. Например,, руководитель увеличит запасы на величину, рекомендованную аналитиком. Если при этом запасы не падают и не растут сверх меры, гипотезу следует признать правильной. Если положение не нормализуется, то нужно использовать дополнительные данные и сформулировать новую гипотезу. [c.12]
Одна из важнейших функций СОД — контроль и верификация данных. [c.284]
Верификация имитационной модели есть проверка соответствия ее поведения предположениям экспериментатора (см. Машинная имитация). Когда модель организована в виде вычислительной программы для компьютера, то сначала. исправляют ошибки в ее записи на алгоритмическом языке, а затем переходят к верификации. Это первый этап действительной подготовки к имитационному эксперименту. Подбираются некоторые исходные данные, для которых могут быть предсказаны результаты просчета. Если окажется, что ЭВМ выдает данные, [c.44]
Роль математических и информационных технологий в решении отдельных проблем устойчивого развития состоит в обеспечении 1) получения первичных статистических и отраслевых данных, в том числе на основе систем мониторинга, 2) предварительной обработки и верификации этих данных, 3) моделирования и дескриптивного анализа процессов развития при определенных предположениях об экзогенных переменных и 4) конструктивного синтеза параметров и управлений, обеспечивающих в рамках модели же лаемый характер развития. [c.12]
В случае выявления несоответствия символов материал поступает на станции верификации для проведения операторского визуального контроля и корректировки данных. [c.378]
Предпочтительным является метод двойного ввода верификации и его всегда следует применять, если позволяет быстродействие ЭВМ, которое рекомендуется выбирать с учетом возможности применения данного метода. Для любой автоматизируемой задачи МО наряду с уровнем автоматизации и ее эффективностью следует обосновывать по данным, приведенным на с. 70 и 79, достоверность контроля, без чего преимущества автоматизации нельзя считать реализованными. [c.80]
Верификация попытка обнаружить ошибки в прог рамме в процессе ее выполнения в контрольных или смоделированных условиях, а обоснование есть попытка найти ошибки в процессе выполнения программы в заданных реальных условиях Утверждение — авторитетное подтверждение правильности программы на основе аналитических данных Контроль программ для их утверждения не должен выполняться по каким-либо заранее определенным стандартам. [c.154]
Контроль переноса данных на перфокарты или перфоленту может осуществляться двумя способами методом верификации и счетным методом. [c.76]
Верификация. В третьей фазе верификации или подтверждения достоверности гипотезы исследователь проверяет гипотезу, наблюдая результаты принятого решения. Продолжая наш пример, отметим, что руководитель может в самом деле увеличить запасы на величину, рекомендованную штабным специалистом. Если при этом запасы не падают и не растут сверх меры, гипотезу следует признать правильной. Если все-таки возникает нехватка продукции с ростом спроса или запасы возрастают настолько, что расходы на их содержание становятся чрезмерными, гипотезу следует признать недостоверной. В этом случае, руководитель должен вернуться к первому этапу, добавить к имеющейся информацию, собранную на этапе проверки гипотезы, а также другие данные, после чего сформули ровать новую гипотезу. [c.221]
После получения и верификации заказа он передается (в электронном же виде) для выполнения в соответствующие региональные производственные подразделения Mi rosoft. Наши фабрики используют полученную от МОЕТ информацию для автоматического составления производственных графиков (если делать это вручную, требуется заметно больше времени — еще одно преимущество хранения данных в электронной форме). [c.216]
Механизмы цифровой подписи основываются на алгоритмах ассиметричного шифрования и включают две процедуры формирование подписи отправителем и ее опознавание (верификацию) получателем. Первая процедура обеспечивает шифрование блока данных либо его дополнение криптографической контрольной [c.246]
Эмпирические исследования. Стратегический менеджмент — высоко теоретизированная область управленческих исследований. Это проявляется, прежде всего, в изобилии моделей как локальных процессов, так и разработки глобальных стратегий. Модели нуждаются в постоянной верификации, т.е. в подтверждении опытными данными. [c.12]
С одной стороны, да — именно практика, как известно, и служит мерилом теории. Только те теоретические постулаты являются справедливыми, которые выдерживают проверку на соответствие действительности — как сказали бы философы — на соответствие принципу верификации (установление достоверности опытным путем французское verifi ation — от латинских verus — истинный и fa ere — делать). С этой точки зрения, двойная запись, как завоевавшая всемирное распространение, не имеет конкурентов эмпирическая проверка в отделах бухгалтерского учета подавляющего большинства предприятий мгновенно выявит ведение учета именно по двойной системе, что, казалось бы, и должно свидетельствовать об объективной исторической победе данной методы. [c.368]
Это условие, названное Р. Фришем (Frish) (1895— 1973) независимостью по предпочтению (want independen e), предполагает, что полезность одного блага не зависит от объема потребления другого [5]. Такое предположение, естественно, не всегда имеет строгое обоснование и допустимо рассматривать его, как и другие разновидности теории потребительского выбора, лишь в качестве добротной гипотезы, позволяющей формулировать правдоподобные содержательные построения, подкрепленные строгими математическими выкладками с последующей верификацией теоретических результатов на эмпирических массивах данных. [c.261]
На втором этапе расчета производится проверка прогнозных свойств отобранных моделей. Для этого по данным укороченного динамического ряда (например, вместо 20 лет исследуются 15 лет) рассчитываются функции, аналогичные выбранным. По этим функциям осуществляется экстраполяция на участок аппроксимации, составляющей 5 лет (20—15 лет). Абсолютные величины отклонений расчетных значений функции от фактических на участке аппроксимации характезируют точность полученных уравнений, необходимых для прогноза. Выбирается не более трех функций, имеющих наименьшие отклонения. По1 отобранным на втором этапе функциям первоначально строятся частные прогнозы потребности, поступающие на верификацию. [c.57]
Блок 5 — верификация прогноза потребности. Поскольку верификация представляет собой сложный процесс, описать его в одном блоке невозможно. Алгоритм данного процесса подробно изложен в разделе Алгоритм решения отдельных блоков . Верификация при кратко- и среднесрочном прогнозировании проводится по каждому виду нефтепродуктов. При долгосрочном прогнозировании верифицируется суммарная потребность в автобензине и дизельном топливе. [c.58]
В общем виде процесс прогнозирования потребности народ-наго хозяйства в автобензине и дизельном топливе на уровне территориального управления, начиная с постановки задачи и кончая выдачей прогноза и его допусков, может быть представлен блок-схемой (рис. 1), состоящей из 26 отдельных блоков, каждый из которых обозначает либо этап в процессе производства прогноза, либо характер используемых средств. Блоки 1—6 характеризуют лредпрогнозный этап блоки 7—11 — информационную базу, на которой основывается весь процесс производства прогноза. Блок 12 соответствует формированию информационных массивов на основании данных первых 11 бло ков. Блоки 13—15 отражают основные характеристики объектов прогноза. Предварительный анализ завершается операциями блока 16, на основании которого производится выбор методов прогнозирования (блоки 17—20). Результатом применения методов прогнозирования к объекту прогноза с использованием ЭВМ (блок 21) являются отдельные прогнозы (блок 22) и синтез прогнозных моделей (блок 23). Оценка достоверности прогнозных моделей осуществляется путем их верификации (блок 24). Заканчивается прогнозирование составлением доклада (блок 25) и рекомендациями для прогнозирования потребности на следующем этапе (блок 26). [c.36]
Обогащение методологии формализованными методами позволяет на деле реализовать принцип верифицируемости. В прогнозировании верификация имеет существенные особенности, отличающие ее от верификации дан- [c.136]
Для формальной верификации гипотез необходимо соответствие между графом и системой уравнений, его описывающей. Алгебраическая система, соответствующая графу без контуров (петель), является рекурсивной системой, позволяющей рекур-рентно определять значения входящих в нее переменных. В такой системе в уравнения для признака xt включаются все переменные, за исключением расположенных выше его по графу связей. Формулировка гипотез в структуре рекуррентной модели обычно не вызывает затруднений при использовании данных в динамике. Если же анализируются статистические данные, то следует учитывать зависимость системы от ее прошлых состояний. [c.213]
Верификация [Verifi ation] — подтверждение экспертизой и представлением объективных доказательств того, что конкретные требования полностью реализованы. Примечания. I) Б процессе проектирования и разработки верификация связана с экспертизой результатов данной работы в целях определения их соответствия установленным требованиям. 2) Термин верификация используется для обозначения соответствующих состояний проверенного объекта. [c.306]
ВАЛИДАЦИЯ МОДЕЛИ [model validation] — проверка соответствия данных, получаемых в процессе, машинной имитации, реальному ходу явлений, для описания которых создалямодель. Производится тогда, когда экспериментатор убедился на предшествующей стадии (верификации) в правильности структуры (логики) модели. Состоит в том, что выходные данные после расчета на компьютере сопоставляются с имеющимися статистическими сведениями о моделируемой системе. [c.38]
ВЕРИФИКАЦИЯ МОДЕЛИ [model verifi ation] — проверка ее истинности, адекватности. В отношении к дескриптивным моделям В.м. сводится к сопоставлению результатов расчетов по модели с соответствующими данными действительности — фактами и закономерностями экономического развития. В отношении нормативных (в том числе оптимизационных) моделей положение сложнее в условиях действующего экономического механизма моделируемый объект подвергается различным управляющий воздействиям, не предусмотренным моделью надо ставить специальный экономический эксперимент с учетом требований чистоты, т. е. устранения влияния этих воздействий, что представляет собой трудную, во многом еще не решенную задачу. [c.44]
Наглядной иллюстрацией проявлений различий мужчин и женщин служат данные, полученные в исследовании, которое провел еще в 20-е годы К.Г. Юнг по изучению такого простейшего продукта труда, как почерк человека. Легко заметить, что за признаками почерка кроются особенности труда мужчин и женщин женский труд, как правило, более точен, выверен до мелочей. В преобладающих тенденциях женщинам в творческой работе чаще, чем мужчинам, свойственны осторожность и инертность, а также повышенное внимание к верификации и оценке идей. В то же время исследование, проведенное Ю.Н. Кулюткиным, показало, что 26% женщин думают по-мужски рискованно и импульсивно2. [c.86]
Подобные тексты исследователь ставит на один уровень с мыльными операми. И это не отрицательная оценка. Мы не имеем права смотреть на данные вещи свысока, поскольку они пользуются огромной популярностью и четко предоставляют определенные "социальные витамины" обществу, которых ему не дает высокая литература и искусство. Все эти явления Умберто Эко объединяет иными условиями восприятия "Поскольку декодирование сообщения не может быть сделано его автором, но зависит от конкретных условий восприятия, трудно догадаться, что представляет или будет представлять собой Флеминг для его читателей. Когда акт коммуникации провоцирует ответ в общественном мнении, определенная верификация происходит не в пределах книги, а в обществе, которое ее читает"14. [c.503]