ssmt-presentation-material (Структурно-семантические трансформации в научно-техническом тексте при машинном переводе в современном английском языке), страница 3

д.{{Непрерывное моделирование}} часто можно вполнеудовлетворительно {{имитировать}} с помощьюдискретного моделирования с очень малымивременными интервалами между соседними шагами.Но в таком случае получится "синхронное" дискретноемоделирование, при котором многие части системыслегка изменяются на каждом дискретном временноминтервале, и такое приложение обычно нуждается ворганизации программы несколько иного типа, чем тот,который рассмотрен здесь.2.07НА2.08ОригиналThe program developed below simulatesthe elevator system in the Mathematicsbuilding of the California Institute ofTechnology.The results of such a simulation willperhaps be of use only to people whomake reasonably frequent visits toCaltech; and even for them, it may besimpler just to try using the elevatorseveral times instead of writing acomputer program.Статистическая СМППрограмма, разработанная нижеимитирует лифт системы в зданииматематики из Калифорнийскоготехнологического института.Результаты такого моделирования,возможно, быть полезным только длялюдей, которые делают достаточно частыхвизитов в Калифорнийскомтехнологическом институте, и даже для них,это может быть проще, просто попробуйтеиспользовать лифт несколько раз вместонаписания компьютерной программы.Но, как обычно, с {{имитационныеисследования}}, методы, которые мы будемиспользовать имеют гораздо большийинтерес, чем ответов по программе.2.09But, as is usual with {{simulationstudies}}, the methods we will use are ofmuch more interest than the answersgiven by the program.2.10The methods to be discussed belowillustrate typical implementationtechniques used with {{discretesimulation}} programs.2.11НАThe Mathematics building has five floors:sub-basement, basement, first, second,and third.There is a single elevator, which hasautomatic controls and can stop at eachfloor.For convenience we will renumber thefloors 0, 1, 2, 3, and 4.On each floor there are two call buttons,one for UP and one for DOWN.Методы, которые будут обсуждатьсяниже, иллюстрируют типичные методыосуществления использоватьсяс {{дискретными программ}}моделирования.Здание математики имеет пять этажей:субподвал, подвал, первый, второй, итретий.Существует один лифт, который имеетавтоматический контроль и можетостановиться на каждом этаже.Для удобства мы будем изменитьнумерацию этажей 0, 1, 2, 3 и 4.На каждом этаже cуществуют две кнопкивызова, по одному для UP и один для ВНИЗ.2.15(Actually floor 0 has only UP and floor 4has only DOWN, but we may ignore thatanomaly since the excess buttons willnever be used).(На самом деле слово 0 имеет только вверхи 4 этаж имеет только вниз, но мы можемигнорировать эту аномалию с избыточнойкнопки никогда не будет использоваться).2.16Corresponding to these buttons, thereare ten variables CALLUP [j] andCALLDOWN [j], 0 <= j <= 4.There are also variables CALLCAR[j], 0 <=j <= 4, representing buttons within theelevator car, which direct it to adestination floor.В соответствии с этими кнопками, Естьдесять переменных CALLUP *J+ и CALLDOWN[J], 0 <= J <= 4.Есть также переменные CALLCAR *J+, 0 <= J <=4, что составляет кнопки в лифте, которыенаправляют его на нужный этаж.2.122.132.14НА2.17Трансфертная СМППрограмма, разработанная ниже,моделирует систему лифта в зданииМатематики КалифорнийскогоТехнологического института.Результаты такого моделирования будут,возможно, полезны только для людей,которые наносят разумно частые визиты вКалифорнийский технологический институт;и даже для них, может быть более простотолько попытаться использовать лифтнесколько раз вместо того, чтобы писатькомпьютерную программу.Но, как обычно с {{исследованиямимоделирования}}, методы, которые мыбудем использовать, имеют намногобольше интереса чем ответы, данныепрограммой.Методы, которые будут обсужденыниже, иллюстрируют типичные методыреализации, используемые с{{дискретными программамимоделирования}}.У здания Математики есть пять этажей:подвал, подвал, во-первых, во-вторых, итреть.Есть единственный лифт, который имеетавтоматические управления и можетостановиться в каждом полу.Для удобства мы перенумеруем этажи 0, 1,2, 3, и 4.На каждом полу есть две кнопки вызова,один для ВВЕРХ и один для ВНИЗ.(Фактически пол 0 имеет только, и пол 4имеет только ВНИЗ, но мы можемпроигнорировать ту аномалию, так какизбыточные кнопки никогда не будутиспользоваться).Соответствуя этим кнопкам, есть десятьпеременных CALLUP *j+ и CALLDOWN [j],0 <= j <= 4.Есть также переменные CALLCAR *j+, 0 <= j <=4, представляя кнопки в пределахавтомобиля лифта, которые направляют эток целевому полу.10ПереводчикПриведенная ниже программа моделирует работу лифтав здании факультета математики Калифорнийскоготехнологического института (Калтех).Результаты такого моделирования, вероятно, будутполезны только тем, кому часто приходится посещатьКалтех.И даже им, видимо, проще будет всего несколько развоспользоваться этим лифтом, чем создаватьспециальную программу.Но, как обычно случается при изучении {{методовмоделирования}}, используемые методыпрограммирования гораздо интереснее, чем результатывыполнения программ.Рассматриваемые ниже методы иллюстрируюттипичные методики, которые используются впрограммах {{дискретного моделирования}}.Здание факультета математики имеет пять этажей:подвальный, цокольный, первый, второй и третий.В нем находится один лифт с автоматическимуправлением, который может останавливаться накаждом этаже.Для удобства перенумеруем этажи в следующемпорядке: 0, 1, 2, 3 и 4На каждом этаже есть две кнопки вызова лифта: одна —для движения вверх (UP), а другая — для движения вниз(DOWN).(На самом деле на этаже 0 имеется только кнопка UP, ана этаже 4 — только кнопка DOWN, но эти особые случаибудут игнорироваться, потому что дополнительныекнопки никогда не будут использоваться)Соответственно эти кнопки будут обозначатьсядесятью переменными CALLUP[j+ и CALLDOWN[j], 0 <= j <=4.Кроме того, переменные CALLCAR*j+, 0 <= j <= 4, будутпредставлять кнопки внутри кабины лифта, которыеобозначают этаж назначения.2.182.19НА2.202.212.222.232.242.25ОригиналWhen a person presses a button, theappropriate variable is set to 1; theelevator clears the variable to 0 after therequest has been fulfilled.Статистическая СМПКогда человек нажимает кнопку,соответствующая переменная установленав 1, лифт очищает переменную в 0 послепросьба была выполнена.ПереводчикПри нажатии кнопки соответствующей переменнойприсваивается значение 1, а после выполнения запроса(т е.

после того как лифт достигнет заданного этажа)переменной присваивается значение 0.До сих пор мы описали лифт с точки зренияпользователя, ситуация более интересная,если смотреть на лифте.Трансфертная СМПКогда человек нажимает кнопку,соответствующая переменнаяустанавливается в 1; лифт очищаетпеременную к 0 после того, как запрос былвыполнен.До сих пор мы описали лифт с точки зренияпользователя; ситуация более интереснакак просматривающийся лифтом.So far we have described the elevatorfrom a user's point of view; the situationis more interesting as viewed by theelevator.The elevator is in one of three states:GOINGUP, GOINGDOWN, or NEUTRAL.Лифт находится в одном из трех состояний:GOINGUP, GOINGDOWN, или нейтральным.Лифт находится в одном из трех состояний:GOINGUP, GOINGDOWN, или НЕЙТРАЛЬНЫЙ.(Текущее состояние указывается напассажиров освещенные стрелками внутрилифта).Если она находится в состояниинейтральными и не на этаж 2, машиназакроет свои двери и (если команда не даетвремени свои двери закрыты) она будетменяться в GOINGUP или G0INGD0WN,направляясь к этаж 2.(Это "дом этаже", так как большинствопассажиров получить в этой стране).На этаже 2 в нейтральном состоянии, двери,в конечном счете близких и машина {{будетждать молча для другой команды}}.(Текущее состояние обозначаетсяпассажирам освещенными стрелками влифте).Если это будет в нейтральном состоянии ане на полу 2, то машина закроет свои дверии (если никакая команда не будет дана ктому времени, когда ее двери закрываются),это изменится на GOINGUP или G0INGD0WN,направляясь в пол 2.(Это - "домашний пол", так как большинствопассажиров входит там).На полу 2 в НЕЙТРАЛЬНОМ состоянии, вконечном счете закроются двери, и машина{{будет ожидать тихо другой команды}}.Лифт может находиться в одном из трех следующихсостояний: движение вниз (G0INGUP), движение вверх(G0INGDOWN) или нейтральное состояние (NEUTRAL)(Для человека текущее состояние обозначаетсясветящимися стрелками внутри лифта).(The current state is indicated topassengers by lighted arrows inside theelevator).If it is in NEUTRAL state and not on floor2, the machine will close its doors and (ifno command is given by the time itsdoors are shut) it will change toGOINGUP or G0INGD0WN, heading forfloor 2.(This is the "home floor," since mostpassengers get in there).On floor 2 in NEUTRAL state, the doorswill eventually close and the machine{{will wait silently for anothercommand}}.The first command received for anotherfloor sets the machine GOINGUP orGOINGDOWN as appropriate; it stays inthis state until there are no commandswaiting in the same direction, and then itswitches direction or switches toNEUTRAL just before opening the doors,depending on what other commands arein the CALL variables.Первая команда получила еще полмножества машин GOINGUP илиGOINGDOWN по мере необходимости, онаостается в этом состоянии, пока Есть неткоманды ожидания в том же направлении, азатем происходит переключениенаправления или переключается нанейтральной незадолго до открытия двери,в зависимости от того, что другие команды вCALL переменных.Первая команда, полученная для другогопола, устанавливает машину GOINGUP илиGOINGDOWN как соответствующую; этоостается в этом состоянии, пока нет никакихкоманд, ожидающих в том же самомнаправлении, и затем это переключаетнаправление или переключается наНЕЙТРАЛЬНЫЙ прежде, чем открыть двери,в зависимости от того, что другие командынаходятся в переменных ВЫЗОВА.11До сих пор работа лифта описывалась с точки зренияпользователя, но ситуация станет более интересной,если рассмотреть ее с точки зрения лифта.Если лифт находится в нейтральном состоянии (NEUTRAL)и не на этаже 2, механизм лифта закроет двери и (еслидо закрытия дверей не дана никакая команда) лифтпридет в состояние движения (G0INGUP илиG0INGD0WN), направляясь к этажу 2.(Это его "базовый этаж", так как большинство людейвходят в него именно здесь )Если лифт находится на этаже 2 в состоянии NEUTRAL,двери со временем закроются и лифт будет {{ожидатьследующей команды}}.Первая полученная им команда для перемещения надругой этаж приведет лифт в состояние движенияG0INGUP или G0INGD0WN в зависимости от нажатойкнопки.Лифт будет находиться в этом состоянии, пока неостановится.Тогда, если поступили новые команды, произойдетсмена направления или переход в нейтральноесостояние (NEUTRAL) непосредственно перед открытиемдверей в зависимости от того, какие команды находятсяв вызываемой последовательности.2.26НА2.272.28ОригиналThe elevator {{takes a certain amount oftime}} to open and close its doors, toaccelerate and decelerate, and to getfrom one floor to another.All of these quantities are indicated inthe algorithm below, which is much moreprecise than an informal description canbe.The algorithm we will now study maynot reflect the elevator's true principlesof operation, but it is believed to be thesimplest set of rules that explain all thephenomena observed during severalhours of experimentation by the authorduring the writing of this section.Статистическая СМПЛифт {{занимает определенное количествовремени}}, чтобы открывать и закрыватьсвои двери, в целях ускорения изамедления, и чтобы попасть из одногоэтажа на другой.Все эти величины указаны в ниже алгоритм,который является гораздо более точным,чем неформальное описание может быть.Алгоритм Изучим теперь может не отражатьистинных принципов работы лифта, но это,как полагают, простейший набор правил,которые объясняют все явления,наблюдаемые в течение нескольких часовэкспериментов автора во время написанияэтого раздела.Трансфертная СМПЛифт {{берет определенное количествовремени}}, чтобы открыть и закрыть егодвери, ускориться и замедлиться, идобраться от одного пола до другого.ПереводчикЛифту {{требуется некоторое время}} для открытия изакрытия дверей, ускорения и замедления, а также дляперемещения от одного этажа к другому.Все эти количества обозначаются валгоритме ниже, который намного болееточен, чем неофициальное описание можетбыть.Алгоритм, который мы теперь изучим,возможно, не отражает истинные принципылифта работы, но это, как полагают,самый простой ряд правил, которыеобъясняют все явления, наблюдаемые втечение нескольких часовэкспериментирования автором во времязаписи этого раздела.Все эти величины указаны в приведенном нижеалгоритме, который выглядит гораздо более строго, чемпривычные нам простые правила пользования лифтом.12Этот алгоритм ____ может и не отражать истинныйпринцип действия лифта, но автор все же верит, что онявляется простейшим набором правил, которые могутобъяснить все те явления, которые автор наблюдал входе длительных экспериментов с лифтом во времянаписания этого раздела.3.01НА3.023.033.04НА3.05{{Linking automata}} can easily simulategraph machines, taking at most abounded number of steps per graphstep.Conversely, however, it is unlikely that{{graph machines}} can simulate arbitrarylinking automata without unboundedlyincreasing the running time, unless thedefinition is changed from undirected todirected graphs, in view of the restrictionto vertices of bounded degree.{{Образцы автоматы}} могут легкоимитировать графа машин, принимая болееограниченным числом шагов в графе шаг.The linking model is, of course, quiteclose to the operations available toprogrammers on real machines, whilethe graph model is not.Some of the most interesting problemsto solve for such devices would be todetermine how fast they can solvecertain problems, or how many nodesthey need to solve certain problems (forexample, to translate certain formallanguages).С другой стороны, однако, маловероятно,что {{граф машины}} могут моделироватьпроизвольные Образцы автоматов безнеограниченно возрастающая времяработы, если определение изменяется отнеориентированного на ориентированныеграфы, в силу ограничения на вершиныограниченной степени.Образцы модель, конечно, совсем близко отопераций, доступных для программистов нареальных машинах, а граф модель неявляется.Некоторые из наиболее интересных задачдля решения таких устройств будетопределить, как быстро они могут решитьнекоторые проблемы, или, как многие узлыим необходимо для решения определенныхзадач (например, перевод некоторыхформальных языков).At the time this chapter was first written,several interesting results of this kindhad been obtained (notably by JHartmanis and R E Stearns) but only forspecial classes of {{Turing machineshaving multiple tapes and read/writeheads.}}В то время эта глава впервые быланаписана, несколько интересныхрезультатов такого рода были получены (вчастности, J Хартманис и RE Stearns), нотолько для специальных классов {{машинТьюринга, имеющих несколько лент иголовок чтения / записи}}.{{Соединение автоматов}} может легкомоделировать машины графика, беря самоебольшее ограниченное число шагов на шагграфика.Наоборот, однако, маловероятно, что{{машины графика}} могут моделироватьпроизвольные автоматы соединения,неограниченно не увеличивая времявыполнения, если определение неизменяется от неориентированного донаправленных графиков, ввиду ограниченияна вершины ограниченной степени.Соединяющаяся модель, конечно, вполнеблизко к операциям, доступнымпрограммистам на реальных машинах, в товремя как модель графика нет.Некоторые из самых интересных проблемрешить для таких устройств состояли бы втом, чтобы определить, как быстро онимогут решить определенные проблемы, илисколько узлов они должны решитьопределенные проблемы (например, чтобыпреобразовать определенные формальныеязыки).В то время, когда эта глава была сначалазаписана, несколько интересныхрезультатов этого вида были получены(особенно J Hartmanis и R E Стернз), нотолько для специальных {{классов МашинТьюринга, имеющих многократныеленты и комбинированные головки}}.13{{Связывающие автоматы}} могут легко моделироватьмашины графов, используя ограниченное сверхуколичество шагов на один шаг работы графа.Напротив, маловероятно, чтобы {{машины графов}}могли моделировать произвольные связывающиеавтоматы без неограниченного увеличения времениработы, если не перейти от неориентированных графов кориентированным, чтобы работать с вершинами сограниченной степенью.И, конечно, связывающая модель гораздо ближе коперациям, доступным программисту на реальноймашине, в отличие от модели с использованием графа.Самыми интересными проблемами, которые предстоитрешить для такого рода устройств, являютсяопределение скорости решения поставленных имизадач, т.