Cтраница 2
Метод аксиоматики находится в тесной связи с методом формализации. Характерным для метода формализации является замена высказывания об изучаемом объекте или системе на естественном языке специализированными научными символами на языке науки. Образ такого высказывания называется формулой. [16]
Кроме того, возникает задача определения и обоснования темпов развития управляемой системы и выпускаемой продукции. Для этой цели предлагается использовать методы формализации двух конфликтующих систем. Одна из систем в данном случае - это процессы старения в производственной системе, ведущие к физическому разрушению и моральному износу производства и выпускаемой продукции. Параметры этой системы обозначим: Np - объем выпускаемой продукции, ЧР-требуемые ресурсы. [17]
В ней соединены глобальность и конкретность применения, методы формализации и физической реализации. [18]
Поэтому так трудно внедрять компьютер в новые области. Чтобы использовать ЭВМ, кроме желания, надо еще очень много знать о методах формализации и решения формальных задач, а также о программировании, что, естественно, никак не может вдохновить. Действительно, эффективность специалиста при этом не повышается, а вполне реально снижается: ему приходится тратить много дополнительного времени на формализацию своей задачи и программирование, не говоря уж об отладке программы и других неизбежных программистских заботах. Именно поэтому многие специалисты отказываются применять компьютер в своей области, считая, что на их век хватит старых способов исследования, выработанных в докомпьютерную эпоху. [19]
Рассмотрена комплексная задача оптимального проектирования трасс и технологических параметров нефтепроводов. Дана классификация факторов, учитываемых при оптимизации. Изложены методы формализации технологических расчетов при оптимизации с применением ЭВМ. Рассмотрены особенности оптимального проектирования горячих нефте - и нефтепродуктопрово-дов. Приведены методы оптимального профилирования трубопроводов. Описаны структура и принципы построения системы оптимального проектирования. [20]
Книга состоит из 5 глав. В первой главе вводятся основные понятия и рассматриваются функции руководящей деятельности. Обсуждаются методы формализации процессов обработки данных, обеспечивающих получение информации для выполнения функций руководства. Система управления предприятием рассматривается в виде иерархической системы, содержащей три уровня, три слоя и несколько эшелонов управления. [21]
Изложенные в книге задачи проектирования информационного обеспечения АСУ объединены единством методологии как в постановочном плане, так и в методах их решения. Предложенные для решения этих задач модели и методы могут оказаться полезными и в других приложениях. Например, принципы и методы формализации задач синтеза массивов, процедур и отдельных частей системы могут оказаться полезными при постановке и решении задач машинного проектирования электронной цифровой аппаратуры и выборе оптимальной структуры технических систем. Методы синтеза и выделения оптимальных подграфов на ориентированных мультиграфах типа И / ИЛИ могут найти применение в исследованиях по искусственному интеллекту и при решении различных прикладных задач, допускающих графовую формализацию. [22]
Однако часто встречаются задачи, еще не требующие оптимальных решений. Так, возникает необходимость рассмотреть возможность автоматизации данного производственного процесса. И в этом случае методы формализации производственных процессов позволяют упростить задачу формирования автоматизированных производственных систем. [23]
Предлагаемый практикум восполняет имеющийся пробел. Практикум предназначен для начального изучения программирования студентами вузов различного профиля. В нем рассматриваются все аспекты подготовки и решения задачи на ЭВМ, включая методы формализации задач, приемы алгоритмизации, методы разработки программ, рекомендации по отладке и тестированию. [24]
Неразрешимая формула), и просто неполной в противном случае. Если такая система непротиворечива по отношению к к. Геделем-один из принципиальнейших результатов в области оснований математики, установивший пределы возможности как гильбертов-ской концепции формализации математики, так н метода формализации вообще ( о его гносеологич. [25]
К настоящему времени число методологий создания информационных систем весьма велико, их сравнение исключительно затруднено из-за несопоставимой терминологии, различающихся целей и применяемого аппарата моделирования. Так как концептуальный анализ является составной частью большинства предложенных методологий, то ниже будут проанализированы некоторые из подходов, обращая основное внимание на фазу анализа в них. Нужно подчеркнуть, что лишь в немногих методологиях обращается специальное внимание на методы и средства анализа проблемы, а основной упор делается на методы формализации информационных моделей. [26]
Широта распространения логико-математических методов в научном познании объясняется тем, что эти методы стали вносить в науку все более организующий и доказательный характер, сочетать количественную и качественную оценки, вводить измерители. Особенно повысилась роль этих средств в связи с их распространением на оценку информации - ее объема, содержания и динамического состояния в различных системах. Как высшая форма отражения эти методы научного познания оказывают существенное влияние на дидактику высшей школы, повышая ее научно-теоретический потенциал. Теория обучения и учебный процесс, как известно, теснейшим образом связаны с информационными потоками, их упорядочением, регулированием, управлением и оценкой. Более того, для современной теории обучения высшей школы методы логико-математической формализации являются необходимыми в качестве инструмента объективного исследования, организации и оценки. [27]
Лишь для них допускают точную формулировку интересующие математиков проблемы доказуемости и непротиворечивости в аксиоматич. Идея метода формализации доказательств принадлежит нем. Порецким, Шредером, Фреге, Пеана и др. В паст, время метод формализации доказательств является мощным орудием исследования в проблемах обоснования математики. [28]