Использование - множество
Cтраница 4
 |
Символьные преобразования реализации Rdl. [46] |
Важную роль в задачах рассматриваемого типа играют характеристики входного сигнала исследуемого объекта. Интуитивно понятно, что при испытаниях объектов имеется возможность использования множества входных сигналов. Некоторые из этих сигналов могут улучшить условия определения параметров объекта путем преобразования данных о его входе и выходе; некоторые входные сигналы могут быть неприемлемыми с точки зрения рассматриваемой задачи оценки. [47]
Усложнившиеся в последнее время требования к конструкциям приводят к необходимости использования множества различных материалов. Сравнительно простые конструкции из таких комплексных материалов, например универсальные контейнеры для воздушного, наземного и морского транспорта, описанные в гл. [48]
И эта сторона дела упирается в воистину безбрежные варианты сочетаний различных материалов и использования множества известных технологических приемов; ограничить число этих вариантов может только научно обоснованный подход к выбору состава композиции и предсказанию ее свойств при определенном соотношении компонентов. Именно поэтому представляется чрезвычайно ценным издание настоящего перевода монотематического сборника Многокомпонентные полимерные системы, рекомендуемого вниманию советских читателей. [49]
Подобная ситуация могла бы возникнуть, например, если бы р был базовым типом, таким как целые, - этот случай мы имеем в первом примере преобразования типов данных, рассмотренном в предыдущей главе. Такая трансформационная система действует путем последовательного перелисывания выражений, определяющих функции abs-l и f с использованием множества аксиом, которое включает аксиомы FP и аксиомы, связанные с обращением функций. К тому же в качестве дополнительных аксиом для конкретных преобразований применяются также сформулированные пользователем определения абстрактных типов данных; это осуществляется таким же образом, как и в случае описанного в разд. [50]
Страницы: 1 2 3 4