Cтраница 4
Взаимосвязанность программ по информации определяет большое число ( сотни и тысячи) переменных - общих ( глобальных) для всех программ комплекса или для групп программ. Их описание в пределах комплекса программ может быть централизованно и выполняется специалистами, которые предварительно согласуют состав глобальных переменных и их характеристики с ведущими программистами, отвечающими за разработку групп функциональных программ. В целях экономии памяти глобальные переменные плотно упаковываются в зонах памяти и для их описания используется специальный язык. Трансляцию описаний гло-больных переменных, объединенных в структуры ( зоны), целесообразно выполнять отдельно, на этапе, предшествующем трансляции программ, в результате которого формируется библиотека паспортов зон глобальных переменных. Этим-и паспортами пользуются системы трансляции программ, что обеспечивает автоматическую стыковку программных модулей по информации. [46]
Шкала ценностей установлена здесь также априорно, хотя она и не определяется экономическими критериями. Деньги же, получаемые за распространение рекламы по радио, имеющей целью побудить людей руководствоваться определенными мотивами в своем экономическом поведении, не являются ее главным источником. Если представить себе систему трансляции, развивающуюся по указанным принципам, то вскоре мы вынуждены будем констатировать, что она трансформируется в систему пропаганды. [47]
Преобразование координат пространства системы точек сказывается на индексах плоских узловых сеток однозначно, поэтому вид рациональных индексов определяется однозначно системой трансляций Браве. Оба пучка единичных осевых векторов связаны друг с другом соотношениями Aa - b; Ва - - Ь; Сс. Если принять во внимание, что гранецентрированная система трансляций есть в то же время трижды базоцентрированная система трансляций, то признаком, определяющим плоские узловые сетки гранецентрированной решетки, окажется система Я / С2п; K L2 р; H - - L2 q, возможная при условии, что индексы, в которых описывается гранецентрированная система точек, одновременно представляют или три четных, или три нечетных числа. [48]
Первые три этапа будем называть проверкой корректности описаний, а последний - верификацией - Под верификацией в традиционном программировании понимается тот факт, что реализация соответствует ее формальной спецификации. Термин верификация может быть применен и в чисто традиционном смысле. Мы не рассматриваем эту сторону верификации, так как она относится к области традиционного программирования, и, кроме того, применение систем автоматической трансляции формальных спецификаций в реализации вообще устраняет необходимость в этом виде анализа. [49]
Содержание мРНК в клетках составляет 2 - 6 % от тотального количества РНК. Для цистронных областей характерна уникальная последовательность нуклеотидов, определяемая нуклеотидной последовательностью гена, нетранслируемые области имеют некоторые общие закономерности нукле-отидного состава строения. Так, на 5 -конце всех эукариотических мРНК имеется особая структура, называемая кэпом ( от англ. Кэп представляет собой 7-метилгуанозинтрифосфат, присоединенный к 5 -гидро-ксилу концевого, как правило, 2-о-метилрибонуклеозида через остаток три-фосфата. Образование кэпа происходит ферментативным путем в ядре еще до завершения транскрипции. Считается, что кэп, с одной стороны, предохраняет 5 -конец мРНК от ее расщепления 5 -экзонуклеазами, с другой стороны, используется для специфического узнавания в системе трансляции. [50]