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