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