Логическое моделирование

Cтраница 4

Сложность понятий информации и информатизации заключается в том, что помимо известных экспериментов, которыми мы можем объяснять и доказывать существование элементарных частиц, необходимо строить логические модели и мысленные эксперименты, помогающие упорядочивать, изучать и прогнозировать, если не всю гамму, то хотя бы часть сложных 10п - кратных соотношений, соотношений, отношений, полуотношений, четвертьотношений, 10 п долиотношений, а отсюда в аналогичной ( отношениям) последовательности и взаимодействий тех же элементарных частиц, создающих атомные кирпичики материи. Логическое моделирование и мысленные эксперименты пусть окончательно не обеспечивают решения информационной проблемы, но помогают понять роль пока не изученных многих элементарных частиц ( с массами покоя, равными или близкими к нулю) и уяснить, обладают ли они хоть какой-нибудь структурой и другими свойствами. Но это будет грубый ( не информационный) подсчет, если не будут учтены малые слагаемые - энергия ( как эквивалент массы) всех отношений и соотношений, энергия линейных, нелинейных, ковариантных и реляционных связей, взаимосвязей и взаимодействий элементарных и гипотетических частиц, полей и спин-спиновых взаимодействий. На этом уровне, очевидно, существует не только дефект массы ( или полное ее отсутствие), но и энергии, т.е. нарушается закон ее сохранения, - все это, очевидно, можно определить такой категорией как информационный континуум, который, вероятно является иной нематериальной формой проявления информации и убедительным доказательством информационной природы материи, обеспечивающей материальные формы пространства и времени, которые уже имеют информационно-атомную форму проявления в виде кодовых структур атомов и молекул. Материя, время и пространство Вселенной в целом имеют информационную природу, являющуюся авторегенерационным источником кодирования и декодирования атомов, как информационно-генетических кирпичиков мироздания, обеспечивающих сложные комбинации, группы, соединения и объединения в молекулы. [46]

В последней шкале прогнозируется ветвящееся будущее путем его развертывания при альтернативных значениях управления. Такое логическое моделирование будущего осуществляется вместе с отсечением бесперспективных траекторий и на такое количество абстрактных тактов в будущее, насколько позволяет производительность машины вывода на интервале до следующего момента коррекции управления в шкале реального времени. [47]

Общая схема системы физического моделирования неисправностей. [48]

Логическое моделирование требует описания всех логических модулей и связей между ними с привязкой к конструктивным элементам. При логическом моделировании в описание устройства вводится неисправность и моделируется работа устройства на диагностических тестах. [49]

Одним из наиболее перспективных путей развития технического обеспечения САПР является разработка и применение специализированных процессоров или ЭВМ, ориентированных на выполнение однотипных трудоемких проектных процедур. ЭВМ для логического моделирования, позволяющих ускорить решение задач моделирования на несколько порядков. Другими примерами специализированных процессоров или ЭВМ для САПР служат трассировочные машины, процессоры для быстрого преобразования Фурье, процессоры графических процедур. Актуальность построения специализированных процессоров для САПР обусловлена наличием трудоемких вычислительных процедур, увеличением размерности решаемых задач, а возможности построения таких процессоров расширяются в связи с появлением СБИС, средств их проектирования и изготовления, с дальнейшим ростом степени интеграции микросхем. [50]

Пакеты для логического моделирования работы электронных схем обычно входят в программы для автоматизации проектирования. [51]

Эти задержки имеют заметный разброс и существенно влияют на быстродействие схемы. Поэтому во многих программах логического моделирования имеются модели проводников, с их помощью рассчитываются задержки в зависимости от результатов трассировки. [52]

Методика прогнозирования фондового рынка включает совокупность различных методов и приемов разработки прогнозов. Основными методами прогнозирования являются экспертные, логическое моделирование, экономико-математическое моделирование, статистические ( экстраполяция и интерполяция, индексный), нормативный, фактографический и программно-целевой методы. [53]

В САПР РЭА и ЭВА программы логического моделирования используются достаточно широко, однако каждая из программ имеет узко специальное назначение и применение ее в других системах затруднительно. В связи с этим отсутствуют какие-либо широко распространенные языки логического моделирования и соответствующие им системы программирования. Как правило, для каждой САПР программы логического моделирования разрабатываются заново, так же как и язык описания логических схем. [54]

Однако надо отметить, что при формализации многое остается за пределами анализа, и чем больше степень формализации, тем в общем случае беднее оказывается модель. Особенно четко эта ситуация видна при переходе от методов логического моделирования к эконометрическим моделям. [55]

Экспертный ( интуитивный) способ предсказания ( метод Дельфи) основан на логическом моделировании, проводимом группой экспертов независимо друг от друга, затем сближающих свои позиции на основе специальной математической обработки результатов их прогнозов. [56]

Отметим, что в СБИС проводники имеют малые площади поперечных сечений и, следовательно, увеличенное сопротивление, это приводит к тому, что по мере уменьшения проектных норм начинают доминировать задержки в соединениях. Эти задержки имеют заметный разброс и существенно влияют на быстродействие схемы, поэтому во многих программах логического моделирования имеются модели проводников. С помощью этих моделей рассчитываются задержки в зависимости от результатов трассировки. [57]

На этой шкале нужно отмечать после каждого шага h моделирования аналоговой части и после каждого такта Т моделирования цифровой части моменты появления всех событий, связанных с изменением уэ и ул или, что то же, хл и jca. Шаг интегрирования дифференциальных уравнений в схемотехнической модели или микротакт моделирования Ты в логической модели ( в случае логического моделирования с переменным микротактом) должны определяться не только исходя из точности моделирования внутри каждой модели, но прежде всего с учетом событий, зафиксированных на общей временной шкале-календаре. [58]

Страницы: 1 2 3 4