Cтраница 1
Вопросы формализации правил и составления алгоритмов особенно актуальны в настоящее время, когда задача автоматизации и оптимизации производственных процессов стала одной из важнейших. [1]
Поэтому вопросы формализации ал объекта проектирования, так и процесса проектирования системы весьма актуальны. Ниже рассматривается графовая модель для формализации синтеза системы информационного обеспечения АСУ. [2]
Нище обсуждаются вопросы формализации характеристик параметров ФХС, частным случаем которых являются нечетко определенные характеристики, и взаимосвязей между параметрами. [3]
Книга посвящена вопросам формализации и создания алгоритмов для ЭВМ некоторых задач технической подготовки производства. Формальные модели геометрических и чертежно-графических задач составляют математическое обеспечение периферийного оборудования ЭВМ, связанного с вводом и выводом графической информации. Последняя, как показал опыт, является наиболее удобным языком общения человека и ЭВМ. [4]
Статья посвящена вопросам формализации понятий, с которыми оперирует операционная система разделения времени. Из общего круга таких вопросов выделены понятия и механизмы, связанные с многопользовательской защитой файлов от несанкционированного доступа. Изложение ведется применительно к операционной системе ИНМОС. [5]
Математическое обеспечение охватывает все вопросы формализации задач, методов их решения, оценки возможности и скорости сходимости, либо иной специфики реализуемого алгоритма, независимо от значимости решаемой задачи. [6]
Приведены результаты исследований, касающиеся вопросов формализации комбинаторных оптимизационных задач и методов их решения, а также разработки и использования пакетов программ, ориентированных на решение задач из данной области. Представление комбинаторных оптимизационных задач как задач математического программирования в определенных комбинаторных пространствах позволило систематически изложить ряд новых методов, не охваченных известной монографической литературой. Рассмотрены также схемы основных известных методов, освещенных в литературе и достаточно хорошо зарекомендовавших себя на практике. [7]
Этот метод является существенным шагом вперед в вопросе формализации процессов создания алгоритмов решения логических задач, однако при большом числе переменных и их значений он приводит к весьма громоздким и большим каноническим таблицам. Кроме того, выбор и исключение одинаковых частей канонической таблицы производятся вручную и результат в значительной степени зависит от опыта и искусства исполнителя. При этом не гарантируется полная минимизация граф-схемы алгоритма. [8]
В данной работе делается попытка восполнить перечисленные пробелы в вопросе формализации, особенно в части принятия управленческих решений. [9]
Приложение I содержит обзор правил исчисления предикатов, а также применений этого исчисления к вопросам формализации систем аксиом. Кроме того, в нем содержится ряд замечаний, касающихся возможности некоторых модификаций исчисления предикатов. [10]
Несмотря на то, что указанные аспекты рабочей обстановки являются признанными потенциальными факторами риска, в научной литературе, посвященной вопросам формализации и централизации, это не отражено. Отсутствие этой информации может являться следствием двух причин. Во-первых, во многих исследованиях берется за основу предположение, что в отдельно взятой организационной структуре имеется последовательный уровень централизации и формализации, охватывающий всю организацию. Холл ( 1969) приходит к выводу, что организации могут достаточно полно изучаться как цельные системы. [11]
Кроме того, применяемые на практике в настоящее время математические методы экспертных оценок также не в полной мере соответствуют современным требованиям, а по вопросам формализации экспертных процедур имеются лишь отдельные работы общеметодического характера. [12]
В первых работах такого рода применительно к теории электрических цепей [3-5] рассматривались главным образом вопросы формализации составления и численного решения уравнений сложных электрических цепей. [13]
Бранкова является интересной попыткой изложить термодинамику на некотором новом и, как считают авторы, современном уровне. К настоящему времени вышло в свет большое число книг по термодинамике, и, казалось бы, трудно ожидать, что еще одна монография на эту тему может вызвать сколько-нибудь значительный интерес. Однако данная книга несомненно привлечет внимание специалистов, а кроме того, послужит прекрасным учебным пособием для лиц, желающих углубить свои знания в термодинамике, особенно в той ее части, которая связана с фундаментальными проблемами и вопросами формализации и обоснования термодинамики. [14]
В учебном пособии излагаются основные понятия и факты теории информации. Рассмотрены способы измерения, передачи и обработки информации. Значительное внимание уделено свойствам меры информации, характеристикам канала связи, помехозащитному, уплотняющему и криптографическому кодированию. Кроме того, рассмотрены вопросы формализации информации, в частности, в документах Internet. Изложение сопровождается большим количеством примеров и упражнений. [15]