Cтраница 1
Перевод формул на однострочный набор дает безусловный экономический эффект - уменьшая печатный объем и расход бумаги, облегчая и упрощая набор, снижая себестоимость книги. Он рекомендуется во всех случаях, когда не нанесет ущерба читателю. [1]
Перевод формулы из внутреннего представления в текстовую внешнюю форму реализуется с помощью обхода вершин дерева формулы во внутреннем порядке, в ходе которого распечатывается информация, хранящаяся в вершинах дерева. [2]
При переводе формулы, графики и цифровые данные были, по возможности, пересчитаны из английской системы единиц преимущественно в СИ. В некоторых случаях американский табличный материал заменен аналогичным, имеющимся в нашей литературе. [3]
Описания изобретений к европейским патентам публикуются на языке производства; они содержат перевод формулы изобретения на оба других официальных языка Европейского патентного ведомства. [4]
В Инструкции к Конвенции может быть предусмотрено, что патентообладатель должен представить перевод измененной формулы изобретения на двух официальных языках Европейского патентного ведомства, не являющихся языком производства. Если перевод не будет своевременно представлен, то европейский патент отменяется. [5]
В 1954 - 1957 гг. был разработан первый алгоритмический язык высокого уровня - ФОРТРАН. Его название происходит от сокращения английских слов Formula Translation - перевод формул. [6]
Большинство языков программирования высокого уровня относится к группе алгоритмических ( или процедурных) языков, отображающих способ решения задачи последовательностью описаний выполняемых операций. Первым из наиболее известных языков был разработанный в 1954 г. Фортран ( formulae translation - перевод формул), различные версии которого используются до настоящего времени. Большие надежды возлагались на язык Алгол ( algorithmic language - алгоритмический язык), предложенный в 1960 г. как международный стандарт для описания алгоритмов и программ решения математических задач. В настоящее время этот язык, в отличие от Фортрана, используется редко и все более вытесняется языками следующих поколений. [7]
Европейская патентная система, как и российская, предусматривает предоставление временной правовой охраны, но только в тех странах, в которых язык национальной патентной процедуры совпадает с языком европейской заявки. Если правообладатель заинтересован в получении временной правовой охраны в стране с другим официальным языком, ему необходимо предоставить в распоряжение патентного ведомства этой страны перевод формулы изобретения и заплатить пошлину за публикацию. [8]
В настоящее время все шире применяют латинизированные названия, притом в двух вариантах - обратного и прямого чтения формул. Примеры: NaCl - хлорид натрия или натрийхлорид, Са ( NO3) 2 - нитрат кальция или кальцийдинитрат, А12 ( 504) з - сульфат алюминия или диалюминийтрисульфат. Легко видеть, что только при втором варианте подхода возможен автоматизированный перевод формул в названия и обратно. [9]
В течение шести месяцев с даты публикации отчета о поиске подается ходатайство о проведении европейской экспертизы и уплачивается соответствующая пошлина. Получение решения ЕПВ о выдаче патента с предварительно согласованной формулой и описанием может инициировать подачу ходатайства о проведении экспертизы заявки по существу в России. В четырехмесячный срок с даты вынесения решения о выдаче европейского патента правообладателю необходимо представить в ЕПВ перевод согласованной формулы изобретения на два других рабочих языка и заплатить пошлину за выдачу и публикацию. Следует обратить внимание на то, что ряд сроков европейской процедуры отсчитывается с даты подачи европейской заявки. [10]
Таким образом, е-символ представляет собой определенного рода обобщение fi - символа на случай произвольной ( не обязательно числовой) индивидной области. По форме он представляет собой функцию от переменного предиката, который кроме того аргумента, к которому относится указанная в данном е-символе связанная переменная, может содержать в качестве аргументов ( параметров) и какие-нибудь другие свободные переменные. Значением этой функции для любого конкретного предиката 31 ( при фиксации параметров) будет один из объектов индивидной области, причем в соответствии с содержательным переводом формулы ( ес) предикат 31 будет выполняться для этого объекта, если этот предикат выполняется вообще хотя бы для одного объекта из данной индивидной области. [11]
Книга заканчивается приложением, в котором рассматривается вопрос об единицах и размерностях физических величин, и библиографией. Здесь приведены две таблицы, которые, как можно надеяться, окажутся полезными. Первая служит для перевода формул из одной системы в другую, вторая - для перевода численных значений физических величин из гауссовой системы в систему МКС и обратно. В библиографию включены книги, которые могут, на наш взгляд, пригодиться читателю для справок или для дальнейшего изучения предмета. Ссылки на них даются в тексте в квадратных скобках. [12]
ВИНИТИ основное место в реферативном журнале уделяет информации о важных изобретениях, которые с точки зрения специалистов-референтов представляют интерес для народного хозяйства. ЦНИИПИ публикует практически полную информацию о выданных патентах, включая информацию о всех патентах-аналогах. Если ВИНИТИ издает информацию об изобретениях, уделяя внимание техническому существу изобретения, то ЦНИИПИ издает патентную информацию, сосредотачивая внимание на патентно-правовой стороне охранных документов. Публикации об изобретениях в изданиях ЦНИИПИ содержат полные библиографические данные, как правило, чертежи, схемы и текст, представляющий собой перевод формулы изобретения или реферата. [13]
При установлении Международной системы, как мы знаем, в качестве четвертой основной единицы была выбрана единица силы тока ампер. Соответственно четвертым элементом в формулах размерности является символ размерности силы тока I. Поэтому формулы размерности в СИ имеют другой вид, чем в системе МКСМ. Различие между обеими системами только в этом и заключается, поскольку, разумеется, все единицы в них одни и те же. Что касается перевода формул размерности из одной системы в другую, то он без труда может быть произведен путем замены в соответствующих формулах основной единицы данной системы ее выражением в - другой. [14]
Простейшим примером ППП является подпрограмма вычисления какой-либо математич. Частной задачей из класса в данном случае является задача определения значения функции для заданных значений аргументов. Вместо того чтобы программировать вычисление функции для каждого значения аргумента, поручителю достаточно ввести в ЭВМ нужное значение и вызвать подпрограмму. Библиотеки стандартных подпрограмм исторически образовали первое поколение ППП. Примером более сложного ППП является программа вычисления определенного интеграла. Помимо обычных числовых параметров - пределов интегрирования и точности - аргументом является также формула подин-тегральной функции, к-рая записывается на специальном входном языке ППП. В этом случае ППП имеет в своем составе препроцессор, осуществляющий перевод заданной формулы во вспомогательную подпрограмму, к к-рой обращается основная программа интегрирования. [15]