Cтраница 2
Технические требования к ПО главным образом определяются назначением устройства управления. Классификация ПР по типам выполняемых движений определяет цикловые, позиционные и позиционно-контурные устройства управления ПР. В том же порядке возрастают общие для каждого из этих типов ПР требования к ПО. [16]
Приведенная классификация охватывает далеко не все виды систем обслуживания. Широкое распространение имеют, напр. Характеризация таких систем требует введения в рассмотрение нескольких входящих потоков вызовов - по числу типов требований. К системам с приоритетным обслуживанием можно отнести также системы, у к-рых обслуживающее устройство требует перерывов в работе. [17]
С помощью метода локального ЯМР можно регистрировать разрешенные ЯМР-спектры от выделенного органа в живом существе. Локальный резонанс является основой для изучения физиологических процессов с помощью неразрушающих и бесконтактных методов. Он позволяет измерять концентрации и рН в живых тканях. Для экспериментов этого типа требования к пространственному разрешению менее жесткие, чем для способов формирования изображения, и метод фокусировки поля часто является достаточным, хотя к настоящему времени предложено и много других методов. [18]
Эти требования не являются не зависимыми друг от друга. Связь физических величин относится непосредственно к физическому процессу. В свою очередь, особенности технического функционирования отражаются на структуре объекта, на его конструктивных элементах. В конечном счете оба типа требований замыкаются на морфологии, определяя все ее конкретные особенности. [19]
Впрочем, существует, вероятно, и более естественный путь устранения этого ограничения, который мы не заметили. Во-вторых, по причинам, изложенным в разд. Последнее ограничение, правда, является обычным следствием ограничений на ассерторический язык, положенный в основу всей нашей конструкции. В-третьих, мы принимаем только один тип требования полноты. Допустить все разновидности этого требования невозможно - их слишком много, но хотелось бы иметь более чем одну разновидность. Мы предоставляем другим найти пути преодоления указанного ограничения. В-четвертых, возможно, что в предпосылку следовало бы включить другие виды спецификаций. Так, можно было бы принять интересное предложение Кубиньского [1966] и применить спецификацию числа не к выборам непосредственно, а отдельно к каждой вопросительной переменной. [20]
Соединение теоретических схем естествознания со структурными изображениями объекта позволяет использовать уравнения, связывающие соответствующие физические величины. Эти связи выступают теперь инструментом определения морфологических характеристик элементов. И здесь мы вновь приходим к тому пункту, о котором шла речь несколько ранее. После соединения структурных технических изображений с абстрактно-теоретическими моделями естествознания на морфологию накладывается два типа требований. Одни идут от естествознания и - состоят в необходимости обеспечить такие связи физических величин, которые были заданы в онтологической модели естественной науки. Другие требования идут от желаемых показателей технического функционирования и состоят в обеспечении заданного результата за счет определенных функциональных показателей. [21]