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