Проверка - истинность
Cтраница 3
Предсказательная функция петрофизической модели заключается в выявлении неизвестных свойств моделируемого объекта, установлении новых закономерностей и соотношений между вещественным составом, структурой и физическими характеристиками породы. Критериальная функция петрофизической модели служит для проверки истинности знаний об изучаемой горной породе путем сравнения расчетных и экспериментальных данных. Вычислительная функция петрофизической модели предусматривает проведение расчетов искомых параметров в зависимости от различных физических характеристик по полученным уравнениям. Классификационная функция петрофизической модели предполагает создание классификаций горных пород и их моделей на основе тех или иных признаков и выявление существования неизвестных природных объектов. [31]
Функция-элемент operator void возвращает false, если установлен либо badbit, либо failbit, либо оба вместе. Эти функции полезны при обработке файлов и проверке истинности или ложности условия в структуре выбора или в структуре повторения. [32]
 |
Даже погрешности и ошибки можно точно определить. [33] |
Обычно ошибки в опросах возникают не из-за статистики, а из-за хитроумных формулировок вопросов. Можно лишь пожалеть, что не существует методики проверки истинности лица, проводящего опрос, и его мотивов. [34]
Необходимость математического препроцессора для обработки множества дизъюнктов становится очевидной, если рассмотреть задачи, классическим примером которых может служить задача о восьми ферзях. Более того, любая задача, требующая выполнения некоторых математических действий для проверки истинности условий, не может быть оптимально решена без такого препроцессора, а в некоторых случаях решение вообще невозможно. [35]
Первое и второе условие практически идентичны. Во всяком случае, настолько тесно связаны, что они зачастую используются как индикативные показатели для проверки истинности оценки ситуации. Известно, что в моменты прорыва волатильность рынка возрастает. Известно также, что падение волатильности может предвещать важные изменения на рынке и заставляет подумать о последствиях, так как неизбежный рост ее приведет к прорыву рынка либо в сторону развития тренда, что обычно связано с пробитием существенного ценового уровня, либо разворота ценовой тенденции. [36]
Так или иначе, задача расшифровки языка объектов природы, внешнего мира остается весьма сложной и практически не алгоритмизированной. Практика, как критерий истинности, - хороший аргумент, когда наблюдатель располагает сколь угодно большим временем для проверки истинности модели, построенной им на основе обработки информации о реальном объекте. Но когда этого времени не отпущено и установление истины сопряжено с ошибками, определяемыми неадекватной моделью, практика начинает работать против наблюдателя. Соответственно необходимо искать доказательства правильности и приемлемости теории, исходя из других, может быть менее абсолютных, но более с практической точки зрения оправданных критериев. [37]
В пункте 1 ст. 162 ГК указывается на недопустимость ссылки на свидетельские показания лишь в случае спора между сторонами. Следовательно, если факт заключения сделки и ее содержание находятся вне спора, признаются сторонами, то для проверки истинности признания допустимы любые доказательства, в том числе и свидетельские показания. Кроме того, стороны сделки даже в случае спора не лишены права представлять доказательства иных предусмотренных законом видов. При этом могут быть использованы объяснения сторон, иные ( т.е. кроме самого документа, в котором изложена сделка) письменные доказательства, вещественные доказательства, заключения экспертов, если, разумеется, характер доказываемых правоотношений дает возможность использовать эти виды доказательств. В качестве иных письменных доказательств при несоблюдении требуемой законом письменной формы могут быть представлены кассовые или товарные чеки, паспорта на приобретенную вещь, ярлыки, прикрепленные к вещи, акты, телеграммы, телексы, письма делового и личного характера и любые предметы, на которых с помощью письменных знаков изложены сведения о сделке. [38]
Процесс моделирования состоит из следующих этапов: постановки задачи и определения конкретных свойств и отношений объекта, подлежащих моделированию; выбора модели, поддающейся исследованию. Модель может быть выбрана из числа существующих подходящих объектов или создана специально, искусственно; исследования модели в отношении свойств, закономерностей и параметров, представляющих интерес; проверки истинности полученных результатов путем сравнения их с результатами наблюдения реального объекта. [39]
Это приводит нас к рассмотрению отношений между учеными предметом его изучения. Как мы уже видели, D-N - модель требут от ученых строгого отделения их утверждений и наблюдений от собственно предмета исследования, к которому они относятся; только в этом случае предмет исследования может выполнять свйо функцию и служить объективным критерием для проверки истинности или действенности научных выводов. Эти соглашенш научного метода разработаны для поддержания требуемого ра-граничения. [40]
Дейталога требует построения дерева доказательств. Построение этого дерева можно выполнить двумя способами: 1) снизу вверх ( восходящий метод), начиная от существующих фактов и производя новые факты ( приходя, таким образом, к заключениям) и 2) сверху вниз ( нисходящий метод), пытаясь проверить истинность предпосылок, которые необходимы для проверки истинности заключения. Это различие введено в главе 7: алгоритм INFER, который вычисляет результат выполнения программы Дейталогас помощью прямого вывода, является примером восходящего метода, а процедуры резолютивного опровержения являются примерами нисходящего выполнения. Ниже мы обсудим особенности этих двух подходов с точки зрения оптимизации. [41]
Допущения, лежащие в основе экономической теории благосостояния, являются оценочными суждениями ( value judgements), которые любой экономист может принимать или отвергать. Не существует метода проверки истинности таких допущений, что является принципиальным отличием нормативной экономической теории от пози - - тивной ( positive economics), в которой любые допущения в принципе могут быть предметом эмпирической проверки. Экономическая теория благосостояния стремится дать политические рекомендации. [42]
Вывод истинной гипотезы в этой модели может осуществляться в двух направлениях: прямом ( от правил) и обратном ( от цели), а также смешанным образом. При прямом выводе осуществляется обход дерева условий от корня до соответствующей заданным условиям гипотезы. При обратном выводе выполняется проверка истинности условий, при которых предполагаемая гипотеза оказывается истинной. [43]
После установления истинности записи структурной информации матрица связи автоматически переводится в механический химический код, используемый в данной системе в качестве языка хранения. Запись на языке МХК может быть вновь переведена в матрицу связи, эквивалентную исходной, при процедурах регистрации, генерации фильтров или структурного поиска. Сложнее обстоит дело с проверкой истинности неструктурной информации, редактирование которой осуществляется человеком. [44]
 |
Основная программа. [45] |
Страницы: 1 2 3 4