Cтраница 3
В настоящее время науке не известен формальный метод составления структуры деятельности оператора, позволивший бы осуществить переход к исследованию относительно небольшого числа факторов, существенно влияющих на изучаемую деятельность, все основные сочетания которых могут быть рассмотрены при имеющихся реальных возможностях. В связи с этим при исследовании нового вида деятельности оператора необходим качественный, содержательный анализ работы СЧМ, широкое использование результатов наблюдений за работой оператора в реальных условиях и данных, полученных при экспериментах, направленных на установление зависимости протекания деятельности от изменения основных факторов. [31]
Затем имеется развитый в последние годы довольно мудреный формальный метод разложения кинетических уравнений в цепочку уравнений по степеням так называемого плазменного параметра. [32]
В частности, важной областью применения формальных методов является спецификация распределенных параллельных систем. [33]
Именно такое представление знания стимулировало развитие формальных методов обработки информации в общем и вычислительных методов в частности. Действительно, умение решать математические задачи позволяет решать все задачи, которые сводятся к математическим. Именно это привело к возрастанию роли и престижа формальных методов в науке, технике и народном хозяйстве. [34]
Уравнение ( 11 70) является основой предложенного формального метода составления и расчета систем уравнений балансов одного типа обобщенных потоков ХТС. [35]
В последние годы были предприняты попытки развития формальных методов дедуктивных умозаключений, избавленных от проблем подобных тем, которые возникают в случае CWA. Проводимые исследования направлены на развитие новых логик, получивших название немонотонные логики. Основное различие между немонотонными и классическими логиками высказываний и предикатов состоит в том, что в немонотонных логиках мы можем отменять ранее сделанные заключения по мере того, как выводятся новые. [36]
Таким образом, замена р на f - формальный метод, где все трудности, связанные с отклонением газов от состояния идеального газа, переносятся на вычисление летучести. [37]
Но наиболее актуальны усилия по созданию и развитию формальных методов структурного синтеза. Как правило, в автоматическом режиме удается решать лишь немногие задачи этого типа. К ним относятся, например, задачи коммутационно-монтажного проектирования печатных плат, проектирования топологии матричных БИС, синтеза тестов для цифровых устройств умеренной сложности. [38]
Естественно, что отсутствие четкого критерия достаточности и формальных методов получения порога значительно ограничивает возможности данного метода, особенно когда матрица данных плохо обусловлена и собственные значения у4 образуют плавную последовательность. Мерой обусловленности матрицы в данном случае может служить величина отношения максимального сингулярного значения к минимальному. [39]
В связи с необходимостью введения в САПР радиоэлектронной аппаратуры формальных методов создания макромоделей представляется перспективной разработка библиотеки типовых каскадов макромоделей в виде макроописаний или моделей макроэлементов. [40]
Возможность имитации достигается тем, что исследователь с помощью формальных методов решения уравнений и неравенств или с помощью алгоритмической процедуры исследования свойств модели на ЭВМ может предсказать изменение поведения объекта исследований в зависимости от изменения тех или иных условий, которые описываются параметрами модели. [41]
Усилия исследователей в области инженерии знаний направлены на создание формальных методов извлечения знаний. [42]
Неточность описания языков программирования, обусловленная во многом отсутствием подходящих формальных методов описания синтаксиса и семантики, стремление к эффективности конкретных реализаций, а часто просто излишние вольности и небрежность программистов привели к распространению многочисленных версий языков на различных и даже одних и тех же вычислительных машинах. Процесс стандартизации, начавшийся с принятия в 1966 г. стандарта на язык Фортран, явился сдерживающим фактором для распространения несовместимых реализаций. Существуют международные и национальные стандарты на большинство наиболее распространенных языков программирования. [43]
Следует также отметить существенный вклад в ошибку, вносимый формальным методом распределения общих потерь разделения ( пропорционально выходу каждой из групп компонентов), которая возрастает с ростом абсолютной величины потерь. [44]
Этот метод нашел применение при титровании аминокислот и носит название формального метода. Так как аминокислоты представляют собой амфотерные соединения, то титрование их затруднительно. Можно предположить, что такие кислоты в растворах имеют строение внутренних солей. [45]