Cтраница 1
Проблема проверки на четность пяти имеет следующую формулировку. [1]
Проблема проверки системы фильтров, размешенных на потолке чистого помещения с однонаправленным воздушным потоком, заключается в том, что площадь потолка может быть настолько велика, что эта операция потребует значительного времени. Так, испытания фильтров в одном чистом помещении крупного предприятия по производству полупроводников могут занять несколько дней. [2]
Проблема проверки результатов обучения для всех типов школы и особенно для высшей школы в последнее время привлекает пристальное внимание. Объясняется это главным образом тем, что оценка знаний не имеет однозначных измерительных показателей. А то, что сформулировано общей дидактикой, по сути дела лишь констатирует состояние, но не дает путей решения этой проблемы. Некоторое перспективное направление в этой области подсказывает использование данных теории информации и методов ее оценки. [3]
Проблема проверки следствий общей теории относительности путем наблюдений сложна и точно никоим образом не решена. Поскольку мы интересуемся принципиальными идеями, мы не хотим входить в этот предмет глубже, а только устанавливаем, что пока приговор эксперимента, по-видимому, таков: подтвердить выводы, сделанные из общей теории относительности. [4]
Проблемой проверки научных знаний, т.е. проверкой истинности знания вообще, специально занимается логика как научная дисциплина, и в этом случае речь идет о верификации знания. Под верификацией знания подразумевается проверка и установление не только необходимых и строгих истин, но возможной и вероятной истины. Но точно так же верификации в этом смысле могут подвергнуться все модальности истины, в том числе и отрицательные, от частных до общих, от основных до производных и от простых до наиболее сложных. В рамках рассмотрения весьма сложной проблематики верификации знания почти всегда рассматриваются принципы и методы верификации, вопросы уровня верификации знаний и проблема верификации общих положений. [5]
Затем возникла проблема проверки того, что условия, при которых возможен отказ, не выполняются. [6]
Что касается проблемы фактической проверки результатов дедуктивного анализа, затронутой Дюркгеймом в конце приведенной цитаты, то Милль вообще относил процедуру апостериорной ( основанной на специальном опыте) верификации полученных гипотез ( т.е. установления прямым наблюдением степени их согласия с фактами какой-то реальной ситуации) к сфере приложений науки. Ибо всякая достаточно развитая наука строится на гипотезах, умозаключает не из фактов непосредственно, а из обобщающих допущений. [7]
Особый интерес представляет проблема проверки электрических преобразователей и датчиков давления. Известные трудности в организации проверки могут быть преодолены комплектацией системы измерений экспериментального объекта ( или лаборатории в целом) рядом узкопредельных высокопрецизионных преобразователей класса точности на порядок выше применяемых ( например, 0 002 - 0 005), используемых для измерения давлений в опорных точках и для тарировки преобразователей давления систем измерения. [8]
Не должна игнорироваться и проблема проверки соответствия данного средства. Если это возможно, то средство должно быть проверено на раннем этапе путем построения небольшой прототипной системы. И хотя разработка экспертной системы требует, как правило, многих месяцев усилий, может оказаться возможным проверить эффективность предлагаемого средства в течение одной недели напряженной работы с экспертами, которые хорошо подготовлены, а также с хорошо организованными текстами по проблеме. Такой подход хорошо подошел для восьми инструментальных средств, описанных в этой главе. [9]
Аудитор отличается от ревизора подходом к проблеме проверки: его задача не только выявить неточности, ошибки, нарушения законодательства и злоупотребления в проверяемых организациях, но и оценить перспективы развития предприятия, дать квалифицированные рекомендации, помочь подготовиться к налоговой проверке. [10]
Существует еще один фактор, который также усложняет проблему проверки. Когда мы делаем упор на моделировании, мы иногда упускаем обычное различие между воспроизведением и предсказанием данных, по крайней мере в пределах обычных стандартов экспериментальной психологии. [11]
И - Динамическая диагностика - новый подход к проблеме проверки дискретных объектов / УДиагностнка. [12]
При практическом использовании реометрических течений приходится сталкиваться с проблемой проверки контролируемости рассматриваемого течения. [13]
Теперь, как и намечено по плану, займемся проблемой проверки ДСЧ. [14]
Заметим, что данные критерии могут быть интерпретированы в выражениях проблемы проверки гипотез. [15]