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