Понятия со словом «проконтролированный»
Связанные понятия
Аудиторский риск (ЭБУ 15 1/9) — объективно существующая вероятность невыявления возможных существенных неточностей и отклонений в бухгалтерской отчетности от реальных данных, возникающая в ходе аудиторской проверки.
Формальная верификация или формальное доказательство — формальное доказательство соответствия или несоответствия формального предмета верификации его формальному описанию. Предметом выступают алгоритмы, программы и другие доказательства.
Конструктная валидность (концептуальная, понятийная валидность) — частный случай операциональной валидности, степень адекватности метода интерпретации экспериментальных данных теории, которая определяется правильностью употребления терминов той или иной теории.
Методы финансового контроля — это приёмы исследования учётной документации и получения фактических данных, применяемые работниками контрольно-ревизионных органов и служб с целью выявления доказательной информации. Между различными методами финансового контроля нет чётких границ, многие из них находятся во взаимосвязи, включают элементы других методов. Во многих случаях достоверное установление фактов возможно лишь с помощью комплексного использования целого ряда методов.
Операциональная валидность — частный случай внешней валидности, степень соответствия методики и плана эксперимента проверяемой гипотезе.
Эмпирические исследования – наблюдение и исследование конкретных явлений, эксперимент, а также обобщение, классификация и описание результатов исследования эксперимента, внедрение их в практическую деятельность человека.
Следственная практика — система знаний в области расследования преступлений, которые накопились за длительный период в процессе их научно-практической разработки и практического применения, сущность которой выражается в расследовании преступлений (преступных действий) на основе гипотетических предположений, поиска, анализа и оценки имеющихся улик, известных фактов и вещественных доказательств.
Проверка эргономичности (
юзабилити-тестирование, англ. Usability testing) — исследование, выполняемое с целью определения, удобен ли некоторый искусственный объект (такой как веб-страница, пользовательский интерфейс или устройство) для его предполагаемого применения. Таким образом, проверка эргономичности измеряет эргономичность объекта или системы. Проверка эргономичности сосредоточена на определённом объекте или небольшом наборе объектов, в то время как исследования взаимодействия человек-компьютер...
Бизнес-процесс — это совокупность взаимосвязанных мероприятий или работ, направленных на создание определённого продукта или услуги для потребителей. В качестве графического описания деятельности применяются блок-схемы бизнес-процессов..
Существенность — понятие в учёте и аудите, которое указывает на максимально допустимый размер ошибочной суммы, которая может быть отображена в отчетности и рассматриваться как несущественная, то есть такая, которая не будет вводить в заблуждение пользователей отчетности. Пропуски или искажения статей считаются существенными, если они по отдельности или вместе могли бы влиять на решения пользователей, принимаемые на основе финансовой отчётности. Существенность не является постоянной абсолютной величиной...
Подробнее: Материальность (аудит)
Техническое освидетельствование — экспертиза различных технических объектов специалистами, обычно комиссией, представляющими государственные надзорные органы или имеющими государственную лицензию на право проведения или участия в таких экспертизах.
Валида́ция (от лат. validus «здоровый, крепкий; сильный») в технике или в системе менеджмента качества — доказательство того, что требования конкретного пользователя, продукта, услуги или системы удовлетворены.
В информатике формальная спецификация — это математическое описание программной или аппаратной системы, которая может быть реализована в соответствии с этим описанием. Специфицируется, что должна делать система, но не то, как она должна это делать. Если существует спецификация системы, возможно применить методы формальной верификации, чтобы продемонстрировать, что система удовлетворяет (или будет удовлетворять) спецификации. Таким образом, можно проверить, будет ли конкретная спроектированная модель...
Тестирование на основе модели (англ. Model-based testing) — это тестирование программного обеспечения, в котором варианты тестирования (англ. test cases) частично или целиком получаются из модели, описывающей некоторые аспекты (чаще функциональные) тестируемой системы (англ. system under test). Модели могут отображать желаемое поведение системы или использоваться для создания тестовых стратегий или среды тестирования.
Гетероскедастичность (англ. heteroscedasticity) — понятие, используемое в прикладной статистике (чаще всего — в эконометрике), означающее неоднородность наблюдений, выражающуюся в неодинаковой (непостоянной) дисперсии случайной ошибки регрессионной (эконометрической) модели. Гетероскедастичность противоположна гомоскедастичности, означающей однородность наблюдений, то есть постоянство дисперсии случайных ошибок модели.
Та́йный покупа́тель (от англ. mystery shopper, secret shopper, linkonet, также мнимый покупа́тель) — метод исследования, который применяется как в рамках маркетингового исследования, направленного на оценку потребительского опыта, полученного клиентом в процессе приобретения товара или услуги, так и с целью решения организационных задач, например, измерения уровня соблюдения стандартов обслуживания клиентов сотрудниками в организации и другие.
Вали́дность (англ. validity, от лат. validus — «сильный, здоровый, достойный») — обоснованность и пригодность применения методик и результатов исследования в конкретных условиях. Более прикладное определение понятия «валидность» — мера соответствия методик и результатов исследования поставленным задачам. Валидность считается фундаментальным понятием экспериментальной психологии, организационной психологии и психодиагностики.
Имитационное моделирование (англ. simulation modeling) — метод исследования, при котором изучаемая система заменяется моделью, с достаточной точностью описывающей реальную систему (построенная модель описывает процессы так, как они проходили бы в действительности), с которой проводятся эксперименты с целью получения информации об этой системе. Такую модель можно «проиграть» во времени, как для одного испытания, так и заданного их множества. При этом результаты будут определяться случайным характером...
Функциональное тестирование — это тестирование ПО в целях проверки реализуемости функциональных требований, то есть способности ПО в определённых условиях решать задачи, нужные пользователям. Функциональные требования определяют, что именно делает ПО, какие задачи оно решает.
Операциональное определение (англ. operational definition) или рабочее определение — описание явления (переменной, термина, объекта и т. д.) в терминах операций (процесса), которые необходимо произвести для подтверждения наличия явления, измерения его продолжительности и величины. Операциональное определение противопоставляется теоретическому, или концептуальному определению (которое, как правило, даётся в словарях и малопригодно при проведении практических исследований и измерений) и является результатом...
Испыту́емый — участник эксперимента в психологии и других отраслях науки. В психолингвистике, этот термин — в отличие от информанта — предполагает, что собирается ещё и информация о носителе языка как языковой и речевой личности. Испытуемые могут быть специально отобраны для эксперимента, либо же являться имеющимися в наличии представителями изучаемой популяции.
Некоторые модели человеческого поведения в общественных науках предполагают, что поведение людей может быть описано в предположении, что люди ведут себя как «рациональные» существа (смотри, например, теорию рационального выбора). Во многих экономических моделях полагается, что люди гиперрациональны и никогда не делают чего бы то ни было, что противоречит их интересам. Концепция ограниченной рациональности подвергает эти положения сомнению с целью учесть, что в действительности совершенно рациональные...
Подробнее: Ограниченная рациональность
Статистический вывод (англ. statistical inference), также называемый индуктивной статистикой (англ. inferential statistics, inductive statistics) — обобщение информации из выборки для получения представления о свойствах генеральной совокупности.
Тестирование чёрного ящика или поведенческое тестирование — стратегия (метод) тестирования функционального поведения объекта (программы, системы) с точки зрения внешнего мира, при котором не используется знание о внутреннем устройстве тестируемого объекта. Под стратегией понимаются систематические методы отбора и создания тестов для тестового набора. Стратегия поведенческого теста исходит из технических требований и их спецификаций.
Психологический эксперимент — проводимый в специальных условиях опыт для получения новых научных знаний о психологии посредством целенаправленного вмешательства исследователя в жизнедеятельность испытуемого.
Испытание — опытное определение количественных и (или) качественных свойств предмета испытаний как результата воздействий на него, при его функционировании, при моделировании предмета и (или) воздействий. Испытания обычно проводят с целью получения сведений, необходимых для принятия решения о соответствии предмета испытаний заданным требованиям. Также испытания проводят с научными целями, с целью изучения предмета, с целью установления цены изделия и т. д.
Ревизия хозяйственных договоров — проверка законности, правильности, эффективности и целесообразности заключения ревизуемой организацией хозяйственных договоров с другими субъектами хозяйствования, их документального оформления и учёта. Ревизия хозяйственных договоров может осуществляться в рамках мероприятия финансового контроля (например, документальной ревизии) либо как отдельная проверка.
Биполярный конструкт — двустороннее или двунаправленное измерение процессов, протекающих в русле психики, с целью предвосхищения событий и их содержания. Впервые они были выделены американским психологом Дж. Келли в рамках разработки концепции когнитивной психологии на примере личностных конструктов.
Сле́дственный экспериме́нт — следственное действие, заключающееся в воспроизведении опытным путём действий, обстановки или иных обстоятельств, связанных с расследуемым преступлением.
Верифика́ция (от лат. verum «истинный» + facere «делать») в различных сферах деятельности человека может подразумевать...
Деление понятий — это логическая операция, посредством которой объем делимого понятия распределяется по объемам новых понятий, каждое из которых представляет частный случай исходного понятия. Например, расчёты делятся на наличные и безналичные. Понятия разделяются исходя из существенного признака, который может изменяться по определенному принципу или правилу (например, образование из понятия «торговый баланс» новых понятий, в которых фиксируется то или иное соотношение ввоза и вывоза товаров).
Тестирование — процесс, подтверждающий правильность программы и демонстрирующий, что ошибок в программе нет.
Техническая диагностика — область знаний, охватывающая теорию, методы и средства определения технического состояния объектов (согласно ГОСТ 20911-89, п.3 табл.1).
Динамический анализ кода (англ. Dynamic program analysis) — анализ программного обеспечения, производящийся при помощи выполнения программ на реальном или виртуальном процессоре (в отличие от статического анализа). Утилиты динамического анализа могут требовать загрузки специальных библиотек, перекомпиляцию программного кода. Некоторые утилиты могут инструментировать исполняемый код в процессе исполнения или перед ним. Для большей эффективности динамического анализа требуется подача тестируемой программе...
Валидатор формата (часто просто валидатор, от англ. validator) — компьютерная программа, которая проверяет соответствие какого-либо документа, потока данных, или фрагмента кода определённому формату, проверяет синтаксическую корректность документа или файла — то есть, производит валидацию.
Критерий оптимальности (критерий оптимизации) — характерный показатель решения задачи, по значению которого оценивается оптимальность найденного решения, то есть максимальное удовлетворение поставленным требованиям. В одной задаче может быть установлено несколько критериев оптимальности.
Эталонная модель (англ. reference model, master model) — это абстрактное представление понятий и отношений между ними в некоторой проблемной области. На основе эталонной строятся более конкретные и детально описанные модели, в итоге воплощённые в реально существующие объекты и механизмы. Понятие эталонной модели используется в информатике.
Проверка контрагента – это широко распространенный термин, который обозначает сбор и анализ информации о любом юридическом лице и/или индивидуальном предпринимателе.
Криминалистическая характеристика преступлений — это научная абстракция, в которой находит отражение в обобщенном виде совокупность взаимосвязанных, криминалистически значимых данных о преступлениях определенного вида/разновидности, знание которых позволяет методически правильно организовать расследование и в частности определить типовые следственные версии.
Многофакторная аутентификация (МФА, англ. multi-factor authentication, MFA) — расширенная аутентификация, метод контроля доступа к компьютеру, в котором пользователю для получения доступа к информации необходимо предъявить более одного «доказательства механизма аутентификации». К категориям таких доказательств относят...
Профайлинг («англ. profile» — профиль) — это понятие, обозначающее совокупность психологических методов и методик оценки и прогнозирования поведения человека на основе анализа наиболее информативных частных признаков, характеристик внешности, невербального и вербального поведения.
Лингвисти́ческая эксперти́за — исследование продуктов речевой деятельности, направленное на установление значимых фактов и получение ответов на поставленные перед экспертом вопросы.
Неиспра́вность — состояние объекта, при котором он не соответствует хотя бы одному из требований нормативно-технической и (или) конструкторской (проектной) документации.
Инкапсуля́ция в компью́терных сетя́х — это метод построения модульных сетевых протоколов, при котором логически независимые функции сети абстрагируются от нижележащих механизмов путём включения или инкапсулирования этих механизмов в более высокоуровневые объекты.
Формальная верификация криптографических протоколов — проверка криптографических протоколов на обеспечение требуемых свойств безопасности. Одной из составляющих такой проверки является определение стойкости протокола к атакам в предположении о надёжности криптографических примитивов, на которых он основывается. Для решения этой задачи разработан ряд подходов, основанных на различных формальных методах верификации. Общей чертой формальных методов является использование системного подхода к проблеме...