Формальный метод

Cтраница 1

Применяемый формальный метод в значительной мере зависит от имеющихся исходных данных. Исходные данные определяются конкретной предметной областью. Исходные данные: графики, измерения, выполненные на различных шкалах, булевые результаты анализов и др. Источник [38] обращает внимание на то, что исходные данные измерены на различных шкалах. Если не учитывать этот факт при построении решающего правила, то результат принятия решения может оказаться бессмысленным. Задачи формирования пространства признаков и сбора исходных данных сами по себе являются очень сложными, едва ли не более сложными, чем построение решающего правила. Поэтому существуют работы, целиком посвященные некоторым аспектам этих задач. Такие СИБ будут различны для кардиологического, неврологического и других профилей. Такая СИБ должна быть интерактивной, поэтому существует задача построения сценария диалога. [1]

Менее формальный метод, который преподаватель может использовать для сообщения информации, а обучаемый - для проверки знаний и развития способностей к эффективным контактам посредством общения. Одной из форм является спонтанная беседа, в которой обучаемому предлагается без подготовки поговорить на тему, относящуюся к сбыту, в течение одной минуты или в течение пяти минут, если дается время на подготовку. В первом случае развивается способность ориентироваться в неожиданной ситуации, а во втором - приобретается уверенность при встречах с клиентом. [2]

Формальный метод доказательства, лежащий в основе логической дедукции. [3]

Наиболее формальный метод сбора индивидуальных данных заключается в выборочном обследовании рынка. Главным орудием этой операции является анкета, или опросный лист, тщательно подготовленная экспертами, обычно с участием психолога, и предварительно испытанная на малой выборке для усовершенствования ее структуры. Многие задачи, встающие в ходе обследования, рассматриваются в теории выборок, например такие, как вопрос о размере выборки, необходимом для надежных результатов, планирование выборки с точки зрения наивысшей эффективности и надежности и стоимость проведения выборки. Другие задачи касаются больше частной операции, чем теории выборок; это задачи опроса, сбора сведений, редактирования ответов, табулирования и обработки данных и истолкования результатов. На рис. 6.16 представлена блок-схема этих шагов. [4]

Единого общепринятого формального метода описания семантики языков программирования на сегодняшний день не существует. Описание языка обычно состоит из формального описания синтаксиса и неформального описания семантики языка. [5]

Существует формальный метод объединения сообщений во фрагмент текста. [6]

Описывается формальный метод получения релятивистских волновых уравнений, обсуждаются уравнения Клейна-Гордона и Дирака и свойства их решений. [7]

Суть формального метода получения основ заключается в следующем. В системе собираются всевозможные окончания в словоформах. [8]

Применение формальных методов математической логики и теории игр для анализа машин-автоматов типа ЦАС весьма плодотворно и может быть распространено на другие типы машин-автоматов и автоматических линий. [9]

Достоинство рассмотренных формальных методов упрощения развернутых схем для синтеза макромоделей состоит в ясном физическом смысле элементов макромоделей, а также в автоматизации процесса получения структуры макромодели многокомпонентных функциональных узлов при сохранении заданной точности. Однако построенные в результате рассмотренных формальных процедур макромодели все же достаточно сложны, а потому не всегда обеспечивают требуемое повышение эффективности расчетов. [10]

Опираясь на формальный метод индуктивных утверждений, представленный в предыдущем разделе, можно было бы сделать следующий логический шаг: формализовать его настолько, чтобы можно было применять его с помощью программы, а не вручную. [11]

Общим недостатком формальных методов является недооценка роли человека в трубопроводном строительстве. Формулы для расчета количества потоков обычно не учитывают профессионального уровня людей, сплоченности коллективов, инициативы, воли и опыта руководителей. В абстрактных задачах принято оперировать с численностью работающих как с обычным счетным множеством без учета особенностей, свойственных трудовым коллективам, хотя потенциальные возможности различных коллективов одинаковой численности и структуры могут существенно различаться. [12]

На долю формальных методов, реализуемых с помощью компьютерных моделей, остается выбор тех элементов структуры, которые требуют довольно трудоемких расчетов и сопоставлений. [13]

При помощи формального метода осреднения получены аналитическое решение и условие устойчивости, которые были проверены путем сравнения с численными решениями в некоторой области значений параметров, при которых эти численные решения достаточно точны, когда скорость вращения маховика велика по сравнению со скоростью вращения корпуса, а отношение массы демпфера к массе всей системы очень мало; точность вычисления показателей Флоке ухудшается, что подрывает надежность условий устойчивости, получаемых указанным способом. [14]

Данные моделирования для трех тестов. [15]

Страницы: 1 2 3 4