Cтраница 2
На первый взгляд может показаться, что при таком разнообразии средств, и методов регистрации исходных томографических данных не должно существовать сколько-нибудь универсальной процедуры перехода от измеряемых величин к элементам внутренней структуры объекта. Однако, как будет видно из дальнейшего, этот чрезвычайно многогранный комплекс реконструктивных задач имеет единую, полно определенную математическую основу. [16]
Общесистемные средства предназначены для автоматизации разработки и отладки программ, управления процессом решения на ЭВМ задач в соответствии с принятой в АСПР технологией ввода, хранения и обновления данных в информационном фонде АСПР и для реализации других подобных универсальных процедур и операций. На стыке общесистемных и автономных находятся типовые средства проблемного математического обеспечения, предназначенные для решения отдельных классов планово-экономических задач и выполнения типовых процедур обработки информации. В типовых средствах широко используются стандартные программные системы, выполненные в виде пакетов прикладных программ и работающие под управлением ОС / ЕС. Для удобства пользования типовыми средствами математического обеспечения в АСПР разрабатываются средства компоновки программ для решения конкретных задач функциональных подсистем, которые обслуживаются также и специальными средствами автономного математического обеспечения. Последние создаются непосредственно разработчиками каждой функциональной подсистемы, в то время как общесистемные и, как правило, типовые средства проектируются службой подсистемы математического обеспечения АСПР. [17]
Заполнение открытых ячеек колонок факт осуществляется пользователем вручную. Разработка универсальной процедуры заполнения данных о фактических значениях финансовых результатов и движения денежных средств представляется проблематичной, так как существует достаточно большое число программных средств бухгалтерского учета. Более того, на различных предприятиях одни и те же статьи затрат могут относиться к разным разделам финансовых результатов из-за специфики предприятия. Вместе с тем для каждого конкретного предприятия разработка программы учета фактических затрат в разрезе плана финансовых результатов или плана движения денежных средств не является достаточно сложной задачей. В общем случае требуется разработать кросс-таблицу, которая определяет, какие данные бухгалтерского учета, а часто и не только бухгалтерского учета ( если мы, конечно, хотим иметь правдивую картину), должны попадать в конкретную ячейку колонки факт. Такая кросс-таблица разрабатывается один раз и корректируется по мере необходимости. [18]
![]() |
Блок-схема процедуры генерации паузы. [19] |
Вам не захочется ждать более часа, хотя это и не возбраняется. В примере 6.3 показана универсальная процедура генерации паузы DELAY, в которой использован указанный выше подход. [20]
Эффективность процесса экстракции в значительной степени обусловливается специфичностью принятой системы ( зкстрагентов и условий) как в отношении экстрагируемых веществ, так и анализируемого объекта. В настоящее время не существует универсальной процедуры экстракции, пригодной для анализа различных объектов. Phillips ( 1967) сделали попытку разработать процедуру экстракции, достаточно эффективную для выделения из растительных, молочных ( кроме свежего молока) и мясных продуктов хлорорганических, фосфорорганических, карбаматных и некоторых других групп пестицидов. [21]
Базовая система ввода-вывода ( БСВВ) находится в постоянной памяти ПЭВМ. Она содержит программы и данные, которые обеспечивают выполнение универсальных процедур, связанных с осуществлением ввода-вывода. [22]
На первом этапе обучающийся решает задачу после запоминания относящихся к ней фактов либо с помощью универсальных процедур, либо по аналогии. Он может усилить свои способности решать задачи, если будет изучать стандартные универсальные процедуры и способы решения задач, а затем применять их на практике и использовать в различных ситуациях. [23]
![]() |
Принцип действия виртуального терминала. [24] |
Виртуальный терминал - это гипотетический обобщенный терминал, реализуемый в виде входящего в состав устройства управления реальным терминалом программного или программно-аппаратурного средства, позволяющего отображать реальные терминалы на виртуальный терминал. Абонентские системы имеют дело с виртуальными терминалами, которым приписывается набор некоторых универсальных процедур. [25]
На этом пути снова существует несколько альтернатив. Такие языки, по сути дела, являются удобным средством задания аргументов заранее составленным универсальным процедурам ввода или вывода. На основе поданных аргументов формируется схема документа, ко торая интерпретируется соответствующей процедурой точно таким же образом, как схема базы данных интерпретируется программой СУБД. [26]
Иными словами, созданные ими обучающие системы заставляют учащегося применять для решения трудной задачи универсальные процедуры. Обычно учащиеся предпочитают использовать аналогии. Однако это поверхностный подход к проблеме, и может случиться, что по аналогии учащийся сформирует неверное представление о связи причин и следствий. Обычно использование универсальных процедур для решения трудных задач дает лучшие результаты при обучении. [27]
Знания могут быть как декларативными, так и процедурными. При декларативном представлении большая часть знаний представлена в виде статической совокупности фактов, сопровождаемой небольшим набором универсальных процедур для манипулирования этими фактами. [28]
Во-вторых, поскольку структура алгоритмов, предназначенных для различных операций, часто содержит одинаковые функциональные элементы, целесообразно, чтобы в памяти ЭВМ системы находился бы общий функциональный блок, обслуживающий несколько алгоритмов. В этом смысле алгоритмы, описанные в отмеченных выше работах, обладают определенными недостатками. В частности, они построены по принципу универсальных процедур и не допускают членения на самостоятельные блоки; кроме того, для их выполнения всегда используются все предусмотренные ресурсы системы. [29]
Эрбрановские интерпретации были темой докторской диссертации Эрбрана в 1930 г.. Пожалуй, не будет преувеличением сказать, что без вклада Эрбрана логическое программирование было бы и до сих пор несбыточной мечтой. В 1936 г. Тьюринг и Черч независимо друг от друга доказали, что такой универсальной процедуры не существует. Если ( р общезначима, опровергающей ее интерпретации не существует, и алгоритм останавливается за конечное число шагов. [30]