База данных: Каталог ЭБС IPR SMART
Страница 1, Результатов: 2
Отмеченные записи: 0
1.
Подробнее
Системное программное обеспечение. Формальные языки и методы трансляции. Часть 2 : учебное пособие. - [Б. м.] : Новосибирский государственный технический университет, 2011 - .Системное программное обеспечение. Формальные языки и методы трансляции. Часть 2 / Малявко А. А. - 2011. - 160 с. - ISBN 978-5-7782-1668-6 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 32.97
Кл.слова (ненормированные):
программное обеспечение -- формальный язык -- метод трансляции -- синтаксический анализ -- нисходящий метод
Аннотация: Во второй части учебного пособия изложены основные свойства формальных грамматик и их связь с задачей автоматного синтаксического анализа, нисходящие и восходящие методы синтаксического акцепта, т. е. восстановления дерева грамматического разбора, теоретические основы и методы проверки пригодности формальных грамматик для реализации этих методов, способы преобразования грамматик в конечные автоматы со стековой памятью (так называемые распознаватели), а также основные способы расширения акцепторов до синтаксических анализаторов, решающих задачи нейтрализации ошибок и преобразования входного текста в промежуточную форму представления - постфиксную запись. Пособие рекомендуется студентам старших курсов и аспирантам, а также преподавателям смежных дисциплин. Оно может быть полезно студентам и аспирантам ряда других технических специальностей, связанных с разработкой и использованием программного обеспечения.
Системное программное обеспечение. Формальные языки и методы трансляции. Часть 2 : учебное пособие. - [Б. м.] : Новосибирский государственный технический университет, 2011 - .Системное программное обеспечение. Формальные языки и методы трансляции. Часть 2 / Малявко А. А. - 2011. - 160 с. - ISBN 978-5-7782-1668-6 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
программное обеспечение -- формальный язык -- метод трансляции -- синтаксический анализ -- нисходящий метод
Аннотация: Во второй части учебного пособия изложены основные свойства формальных грамматик и их связь с задачей автоматного синтаксического анализа, нисходящие и восходящие методы синтаксического акцепта, т. е. восстановления дерева грамматического разбора, теоретические основы и методы проверки пригодности формальных грамматик для реализации этих методов, способы преобразования грамматик в конечные автоматы со стековой памятью (так называемые распознаватели), а также основные способы расширения акцепторов до синтаксических анализаторов, решающих задачи нейтрализации ошибок и преобразования входного текста в промежуточную форму представления - постфиксную запись. Пособие рекомендуется студентам старших курсов и аспирантам, а также преподавателям смежных дисциплин. Оно может быть полезно студентам и аспирантам ряда других технических специальностей, связанных с разработкой и использованием программного обеспечения.
2.
Подробнее
Иванов, А. В.
Динамика заряженных частиц и интенсивных пучков в стационарных полях : учебное пособие / Иванов А. В. - Новосибирск : Новосибирский государственный технический университет, 2020. - 248 с. - ISBN 978-5-7782-4139-8 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.3
Кл.слова (ненормированные):
динамика -- заряженная частица -- интенсивный пучок -- линза -- магнитное поле -- электрическое поле
Аннотация: В пособии содержатся наиболее важные вопросы динамики заряженных частиц и интенсивных пучков в стационарных электрическом и магнитном полях. Представлен необходимый математический аппарат, приведены основные уравнения электромагнитного поля, рассмотрены некоторые аналитические и численные методы расчёта потенциалов и полей. Рассмотрено движение заряженных частиц в однородных и слабо неоднородных электрическом и магнитном полях, в полях с аксиальной симметрией. В параксиальном приближении получены линеаризованные уравнения движения заряженных частиц, рассмотрена линейная динамика частиц в аксиально-симметричных электростатических и магнитных линзах, в квадрупольных линзах, в поворотных магнитах. Даны определения фазового объёма и эмиттанса пучка, акцептанса канала, сказано о проблемах построения огибающих потока и согласования потока с периодическим каналом. Описаны основные эффекты, возникающие из-за влияния пространственного заряда, в том числе образование виртуальных катодов. Рассмотрено начальное формирование электронных потоков, описаны источники пучков заряженных частиц с плазменным эмиттером. Предназначено для студентов ФТФ НГТУ третьего года обучения.
Иванов, А. В.
Динамика заряженных частиц и интенсивных пучков в стационарных полях : учебное пособие / Иванов А. В. - Новосибирск : Новосибирский государственный технический университет, 2020. - 248 с. - ISBN 978-5-7782-4139-8 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
динамика -- заряженная частица -- интенсивный пучок -- линза -- магнитное поле -- электрическое поле
Аннотация: В пособии содержатся наиболее важные вопросы динамики заряженных частиц и интенсивных пучков в стационарных электрическом и магнитном полях. Представлен необходимый математический аппарат, приведены основные уравнения электромагнитного поля, рассмотрены некоторые аналитические и численные методы расчёта потенциалов и полей. Рассмотрено движение заряженных частиц в однородных и слабо неоднородных электрическом и магнитном полях, в полях с аксиальной симметрией. В параксиальном приближении получены линеаризованные уравнения движения заряженных частиц, рассмотрена линейная динамика частиц в аксиально-симметричных электростатических и магнитных линзах, в квадрупольных линзах, в поворотных магнитах. Даны определения фазового объёма и эмиттанса пучка, акцептанса канала, сказано о проблемах построения огибающих потока и согласования потока с периодическим каналом. Описаны основные эффекты, возникающие из-за влияния пространственного заряда, в том числе образование виртуальных катодов. Рассмотрено начальное формирование электронных потоков, описаны источники пучков заряженных частиц с плазменным эмиттером. Предназначено для студентов ФТФ НГТУ третьего года обучения.
Страница 1, Результатов: 2