WWW.KNIGA.SELUK.RU

БЕСПЛАТНАЯ ЭЛЕКТРОННАЯ БИБЛИОТЕКА - Книги, пособия, учебники, издания, публикации

 

Pages:     | 1 |   ...   | 4 | 5 ||

«МЕТОДЫ И ИНСТРУМЕНТЫ КОНСТРУИРОВАНИЯ ПРОГРАММ Серия “КОНСТРУИРОВАНИЕ И ОПТИМИЗАЦИЯ ПРОГРАММ” Под редакцией доктора физ.-мат. наук, профессора, чл.-корр. РАЕН В. Н. ...»

-- [ Страница 6 ] --

Межпроцедурный анализ на сегодняшний день является неотъемлемой частью оптимизирующего компилятора. Смысл анализа заключается в том, чтобы определить воздействие процедурного вызова на контекст вызова и воздействие контекста на алгоритм вызываемой процедуры. В зависимости от задачи некоторые части анализа могут быть упрощены или опущены. К примеру, для оптимизатора последовательного кода информация о совмещениях (псевдонимах) может оказаться несущественной. В автоматических распараллеливающих системах находят применение все методики межпроцедурного анализа. Межпроцедурный анализ применяется также в системах разработки программного обеспечения для контролирования системы типов в больших проектах. Исключение межпроцедурного анализа из компилятора возможно, когда оптимизирующие алгоритмы не используют информацию о межпроцедурном потоке данных. В этом случае класс возможных оптимизаций сильно сужается. Можно также исключить межпроцедурный анализ за счёт осуществления прямой подстановки кода на место вызова, но это ведёт к экспоненциальному увеличению кода и не всегда является возможным.

В работе рассмотрены основные методы межпроцедурного анализа с ориентацией на автоматическую распараллеливающую систему. — Библиогр.: Methods of interprocedural analysis / Idrisov R.I. // Methods and tools of program construction. — Novosibirsk, 2007. — P. 38–55.

Interprocedural analysis is an inalienable part of modern optimizing compiler.

Such analysis gives the compiler facts about the environmental changes caused by procedure call and the execution context of the procedure. Some parts of interprocedural analysis may be simplied or even eliminated according to the optimizations used. For example, alias analysis may be insignicant for sequential code compiler. Automatic parallelization systems require more precise interprocedural information for loop parallelization and interprocedural optimizations.

In automatic parallelization system any information may increase parallelism.

Precise interprocedural alias information is required in the software engineering systems for type control systems. It is possible to exclude interprocedural analysis when optimization algorithms don’t use any information on interprocedural data ow; it reduces the set of possible optimizations. Procedure boundaries can be eliminated by replacing each procedure call by a copy of the called procedure;

it makes the code exponential larger which is undesired and not always possible.

This paper observes main the interprocedural analysis methods from the point of an automatic parallelization system. — Refs: 15 titles.

УДК 519.68 + 681.3. Язык программирования Sisal 3.2 / Касьянов В.Н., Стасенко А.П. // Методы и инструменты конструирования программ. — Новосибирск, 2007. — С. 56– В статье описывается синтаксис и семантика новой версии входного языка Sisal 3.2 системы параллельного программирования SFP, разрабатываемой в Институте систем информатики имени А.П. Ершова СО РАН. Язык Sisal 3.2 является языком функционального программирования, ориентированным на написание потоковых программ для научных вычислений. К основным нововведениям в языке Sisal 3.2 относительно языка Sisal 3.1 относится поддержка многомерных массивов, пользовательских типов с параметрами, обобщенных процедур, инородных типов и процедур. — Библиогр.: 17 назв.

Sisal 3.2 programming language / Kasyanov V.N., Stasenko A.P. // Methods and tools of program construction. — Novosibirsk, 2007. — P. 56–134.

The paper describes the syntax and semantics of a new version of the Sisal 3.2 programming language designed to write data-ow programs for scientic computations. The main features of Sisal 3.2 language (as compared to Sisal 3.1 language) include the support of multidimensional arrays, parametric user types, generalized procedures, foreign types and procedures. Sisal 3.2 is a source language of the system of functional programming (SFP) which is currently being developed in the A.P.Ershov Institute of Informatics Systems. — Refs: 17 titles.

УДК 519.68 + 681.3. Вейвлет-обработка данных в геофизических исследованиях скважин / Крайниковский С.С. // Методы и инструменты конструирования программ. — Новосибирск, 2007. — С. 135–143.

В статье даётся обзор геофизических исследований скважин и методов обработки данных. Основным содержанием статьи является задача фильтрации каротажных данных и расстановки границ (выделения пластов). Оригинальное использование вейвлет-преобразований даёт результаты, которые могут быть лучше, чем те, которые получены традиционными методами расстановки границ при обработке геофизических данных. — Библиогр.: 5 назв.

Wavelet data processing in geophysical investigation in boreholes / Krainikovsky S.S. // Methods and tools of program construction. — Novosibirsk, 2007. — P.

135–143.

The article presents an overview of geophysical investigation in boreholes and data processing methods. The problem of ltering logging data and setting borders (determination of layers) is the main subject of the article. The original usage of wavelet transformations gives some results that may be better than the results obtained by traditional methods of setting borders in geophysical data processing. — Refs: 5 titles.

УДК 519.68 + 681.3. Разработка графических интерфейсов и визуализация данных в геофизических программных системах / Крайниковский С.С. // Методы и инструменты конструирования программ. — Новосибирск, 2007. — С. 144–149.

В статье содержится некоторая информация о разработке графических пользовательских интерфейсов для геофизического программного обеспечения.

Также приводится пример того, как разрабатывался интерфейс программной системы «EMF Pro» — основные требования, визуализация данных и т.д. — Библиогр.: 1 назв.

Developing graphical user interfaces and data visualization in geophysical software / Krainikovsky S.S. // Methods and tools of program construction. — Novosibirsk, 2007. — P. 144–149.

This article contains some information about developing graphical user interfaces in geophysical software. Also there is an example how geophysical software “EMF Pro” GUI was developed — main requirements, solutions, data visualization, etc. — Refs: 1 titles.

УДК 519.68 + 681.3. Использование неспецифических онтологий для хранения фактографических данных / Марчук П. А. // Методы и инструменты конструирования программ. — Новосибирск, 2007. — С. 150–162.

В статье описывается работа, которая велась в рамках проекта «Электронный фотоархив Сибирского отделения Российской академии наук». В проекте требовалось создать информационную систему для хранения документов и добавления к ним метаданных. — Библиогр.: 9 назв.

Using non-specic ontologies in factographic data storage / Marchuk P.A. // Methods and tools of program construction. — Novosibirsk, 2007. — P. 150– In the article, the work is described which was carried out within the framework of the “Electronic photo archive of the Siberian Branch of the Russian Academy of Sciences” project. The task was to create an information system for storage of documents and supplying them with metadata. — Refs: 9 titles.

УДК 519.68 + 681.3. Организация историко-культурного пространства в Интернете с использованием информационных технологий / Несговорова Г.П. // Методы и инструменты конструирования программ. — Новосибирск, 2007. — С. 163–173.

Обсуждаются вопросы применения информационно-коммуникационных технологий в сохранении российского и мирового культурного наследия. Даются определения, что такое культурное наследие, объект культурного наследия, предлагается классификация объектов культурного наследия, рассматриваются классические и информационные технологии их сохранения. Приводятся примеры российской и мировой сети культурного наследия. — Библиогр.:

Organization of the historical-cultural space in Internet using information technologies / Nesgovorova G.P. // Methods and tools of program construction. — Novosibirsk, 2007. — P. 163–173.

Problems of informational and comminucational technologies and its use for conservation of Russian and global cultural heritage are discussed. The denitions of cultural heritage, object of cultural heritage are given, classication of cultural heritage objects and technologies of their conservation are suggested. Examples of Russian and global network of cultural heritage are presented. — Refs: 3 titles.

УДК 519.68 + 681.3. Внутренние представления среднего уровня для компиляторов языка Sisal / Пыжов К. А. // Методы и инструменты конструирования программ. — Новосибирск, 2007. — С. 174–185.

Рассматриваются технологии оптимизации использования памяти в компиляторах языка Sisal. Описываются внутренние представления среднего уровня IR2 и IR3, разработанные для компилятора Sisal 3.1 системы функционального программирования SFP, разрабатываемой в Институте систем информатики имени А.П. Ершова СО РАН. Кратко описаны механизмы построения и трансляции этих представлений, а также их оптимизирующие преобразования. — Библиогр.: 8 назв.

The middle-level internal representations for the Sisal language compilers / Pyjov K.A. // Methods and tools of program construction. — Novosibirsk, 2007. — P.

174–185.

The paper considers some technologies of memory optimization in the Sisal language compilers. It also presents the middle-level internal representations IR and IR2 developed for the Sisal 3.1 compiler. This compiler is a part of SFP functional programming system which is currently being developed in the A.P.

Ershov Institute of Informatics Systems SB RAS. The methods of building, translation and optimization of these representations are briey described. — Refs: titles.

УДК 519.68 + 681.3. Автоматная модель визуального описания синтаксического разбора / Стасенко А.П. // Методы и инструменты конструирования программ. — Новосибирск, 2007. — С. 186–209.

Вводится и исследуется модель автомата, подходящая для наглядного описания эффективного нисходящего синтаксического разбора языков программирования. Доказывается, что в детерминированном случае введённая автоматная модель допускает класс LL1 -языков. Разбор более широких классов языков описывается неявно с помощью контекстных состояний. Кроме того, модель включает средства иерархической обработки неопределённостей для обработки ошибок трансляции без накладных расходов полного определения автомата. Показаны способы повышения эффективности автомата введённой модели, такие как минимизация состояний, устранение мнимых переходов и недостижимых состояний.

Automaton model of visual description of syntax parsing / Stasenko A.P. // Methods and tools of program construction. — Novosibirsk, 2007. — P. 186– The paper introduces and investigates the automaton model suitable for clear visual description of eective descending syntax analysis of programming languages. It is shown that in the deterministic case the presented automaton model allows class of LL1 languages. The presented automaton model indirectly allows more powerful languages via its context states and supports hierarchical processing of indeterminacy for implementing syntax error handling without overhead of completely specied automaton. The paper shows the ways to improve eciency of automaton of the presented model such as state minimization, removal of -transitions and unreachable states.

УДК 519.68 + 681.3. Технология автоматизации мониторинга и контроля легальности финансовых операций современных кредитных организаций / Филябин С. В. // Методы и инструменты конструирования программ. — Новосибирск, 2007. — С.

210–219.

В статье рассматриваются проблемы современных коммерческих банков, связанные с существенным ростом числа финансовых сервисов и контролем легальности операций. Дается описание автоматизированной системы анализа финансовых документов: архитектура и логика работы. Описаны внутренние лингвистические алгоритмы поиска и процесс интеграции с информационной системой банка. Разработка ведется в соответствии с положениями центрального банка РФ (207-П) и требованиями бизнеса. — Библиогр.:

Technology of automation of monitoring and control of legality of nancial operations of the modern credit organizations / Filyabin S.V. // Methods and tools of program construction. — Novosibirsk, 2007. — P. 210–219.

The article considers problems of modern commercial banks connected with an essential growth of number of nancial services and control of legality of operations.

The description of the automated system of analysis of nancial documents is given: the architecture and logic of work. Internal linguistic algorithms of search and process of integration with information system of bank are described. Development is conducted according to regulations of the central bank of the Russian Federation (207-P) and requirements of business. — Refs: 7 titles.

УДК 519.68 + 681.3. О некоторых методах моделирования аппаратуры электромагнитного каротажа / Шпак М.В. // Методы и инструменты конструирования программ. — Новосибирск, 2007. — С. 220–225.

В статье описаны математические постановки задач электрического и электромагнитного каротажа, и приведен перечень методов их решения. — Библиогр.: 4 назв.

Some methods of modelling the equipment of electromagnetic well logging (carotage) / Shpak M.V. // Methods and tools of program construction. — Novosibirsk, 2007. — P. 220–225.

In the article, mathematical formulations of problems of electric and electromagnetic well logging are described and the list of methods of their solutions is given.

— Refs.: 4 titles.

МЕТОДЫ И ИНСТРУМЕНТЫ КОНСТРУИРОВАНИЯ

ПРОГРАММ

проф. Виктора Николаевича Касьянова Рукопись поступила в редакцию 15. 02. Ответственный за выпуск Г. П. Несговорова Редактор Т. М. Бульонкова Подписано в печать 27. 12. Формат бумаги 60 84 1/16 Объем 13,4 уч.-изд.л., 14,7 п.л.

Тираж 75 экз.

г.Бердск, ул. Островского, 55, оф. 02, тел. (383) 214-45-

Pages:     | 1 |   ...   | 4 | 5 ||
 


Похожие работы:

«В серии: Библиотека ALT Linux Практикум по алгоритмизации и программированию на Python И. А. Хахаев Москва Альт Линукс 2011 УДК 004.432 ББК 22.1 Х27 Хахаев И. А. Х27 Практикум по алгоритмизации и программированию на Python: / И. А. Хахаев М. : Альт Линукс, 2011. 126 с. : ил. (Библиотека ALT Linux). ISBN 978-5-905167-02-7 Учебно-методический комплекс Практикум по алгоритмизации и программированию на Python предназначен для начального знакомства с основными алгоритмами и с программированием на...»

«8954 УДК 519.687.1/4 МНОГОАГЕНТНАЯ САМООРГАНИЗАЦИЯ В B2B СЕТЯХ В.И. Городецкий Санкт-Петербургский институт информатики и автоматизации РАН Россия, 199178, Санкт-Петербург, 14-я линия, 30 E-mail: gor@iias.spb.su Ключевые слова: B2B сети, самоорганизация, распределенная координация, аукцион, P2P платформа, многоагентные системы Аннотация: B2B–сетями называют вид экономического и информационного взаимодействия множества предприятий, или организаций иного типа, имеющий целью координацию...»

«Уважаемые жители района Тропарево-Никулино, учащиеся, родители и выпускники школы! Предлагаем Вашему вниманию публичный доклад Управляющего совета Государственного бюджетного образовательного учреждения города Москвы, средней общеобразовательной школы с углубленным изучением информатики и английского языка № 1307 за 2014 год Москва 2014 г. История школы № 1307 насчитывает 13 лет плодотворной работы. Ключевым элементом развития школы становится единая система общественно-государственного...»

«Вузовские библиотеки Алтайского края Сборник Выпуск 4 Барнаул 2004 3 Уважаемые коллеги! Примите поздравления с нашим профессиональным праздником – Общероссийским днем библиотек! Желаем вам творческих удач, радости побед, новых идей, любви читателей, благополучия и мира в доме. Труд каждого библиотекаря достоин сегодня похвалы и уважения! Редколлегия 4 5 6 7 Организационно-регламентирующие документы ПОЛОЖЕНИЕ О НАУЧНО-ТЕХНИЧЕСКОЙ БИБЛИОТЕКЕ АлтГТУ им. И.И. ПОЛЗУНОВА Общие положения 1....»

«М 2 1. Цели освоения дисциплины Цели освоения дисциплины Программирование учетно-аналитических задач: формирование у магистров мировоззрения, позволяющего профессионально ориентироваться в быстро меняющейся информационной сфере; ознакомить студентов с приемами программирования в среде современных автоматизированных систем учета и обработки финансово-экономической информации; приобретение умения использовать современные компьютерные технологии для получения, обработки и передачи информации в...»

«Международный консорциум Электронный университет Московский государственный университет экономики, статистики и информатики Евразийский открытый институт В.А. Лисичкин, М.В. Лисичкина Стратегический менеджмент Учебно-методический комплекс Москва, 2008 1 УДК 65.014 ББК 65.290-2 Л 632 Лисичкин В.А., Лисичкина М.В. СТРАТЕГИЧЕСКИЙ МЕНЕДЖМЕНТ: Учебнометодический комплекс. — М.: Изд. центр ЕАОИ. 2007. — 329 с. © Лисичкин В.А., Лисичкина М.В., 2008 © Евразийский открытый институт, 2007 2 Содержание...»

«МЕЖДУНАРОДНЫЙ КОНГРЕСС ПО ИНФОРМАТИКЕ: ИНФОРМАЦИОННЫЕ СИСТЕМЫ И ТЕХНОЛОГИИ Материалы международного научного конгресса Республика Беларусь, Минск, 31 октября – 3 ноября 2011 года INTERNATIONAL CONGRESS ON COMPUTER SCIENCE: INFORMATION SYSTEMS AND TECHNOLOGIES Proceedings of the International Congress Republic of Belarus, Minsk, October' 31 – November' 3, 2011 В ДВУХ ЧАСТЯХ Часть 2 МИНСК БГУ УДК 37:004(06) ББК 74р.я М Р е д а к ц и о н н а я к о л л е г и я: С. В. Абламейко (отв. редактор), В....»

«Управление в социально-экономических системах УДК 519.876.2 ББК 32.81 МОДЕЛЬ СОЦИАЛЬНОГО ВЛИЯНИЯ И ЕЕ ПРИМЕНЕНИЕ ПРИ АНАЛИЗЕ ПОГРАНИЧНОЙ БЕЗОПАСНОСТИ ГОСУДАРСТВА Шумов В. В.1 (Отделение погранологии Международной академии информатизации, Москва) В настоящей работе рассмотрены существующие подходы к моделированию социальных и информационных воздействий. Формулируются гипотезы социализации, рациональности, индивидуального выбора, комплексности информационных воздействий, на основе которых...»

«МАТЕМАТИЧЕСКИЙ ФАКУЛЬТЕТ Направление 010400.62 ПРИКЛАДНАЯ МАТЕМАТИКА И ИНФОРМАТИКА БАКАЛАВРИАТ АННОТАЦИЯ УЧЕБНОЙ ДИСЦИПЛИНЫ ИНОСТРАННЫЙ ЯЗЫК Уровень основной образовательной программы БАКАЛАВРИАТ Направление(я) подготовки (специальность) Прикладная математика и информатика 010400.62 Очная форма обучения Нормативный срок освоения ООП — 2 года Цель дисциплины: Формирование и развитие у студентов необходимого и достаточного уровня коммуникативных компетенций для решения профессиональных задач и...»

«Министерство образования и наук и Российской Федерации Ярославский государственный университет им. П. Г. Демидова Сборник аннотаций курсовых и квалификационных работ математического факультета Ярославль 2012 Сборник аннотаций курсовых и квалификационных работ математического факультета. Яросл. гос. ун-т им. П. Г. Демидова. Ярославль: ЯрГУ, 2012. Сборник содержит аннотации курсовых и квалификационных работ студентов и магистрантов математического факультета Ярославского государственного...»

«МИНИСТЕРСТВО ОБРАЗОВАНИЯ РОССИЙСКОЙ ФЕДЕРАЦИИ СОГЛАСОВАНО: УТВЕРЖДАЮ: Первый Заместитель Министра Заместитель Министра Российской Федерации по связи образования Российской Федерации и информатизации В.Д. Шадриков Ю.А. Павленко 10.03.2000 г. 23.02.2000 г. Регистрационный номер 19тех/маг ГОСУДАРСТВЕННЫЙ ОБРАЗОВАТЕЛЬНЫЙ СТАНДАРТ ВЫСШЕГО ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ Направление 210400 Телекоммуникации Степень (квалификация) - магистр техники и технологии Вводится с момента утверждения Москва 2000...»

«колледж дизайна кабардино-балкарского государственного университета соловьева в.в., Черенков П.с., Черкез г.б. коМПьЮтерная граФика для Художников и дизайнеров история развития коМПьЮтерной граФики нальЧик 2001 УДК 681.3.06 ББК 32.973 С60 Соловьева В.В., Черенков П.С., Черкез Г.Б. Компьютерная графика для художников и дизайнеров. История компьютерной графики. Учебно-методическое пособие. В пособии излагается краткая история развития компьютерной графики, приводятся наиболее важные сведения и...»

«Н. П. Гридюшко, учитель истории высшей категории Информационно-коммуникационные технологии в преподавании истории и обществоведения Современное белорусское общество уже нельзя представить вне глобального процесса информатизации. Все большее количество людей сталкивается с необходимостью обработки постоянно возрастающего объема информации. Поэтому вполне понятен пристальный интерес педагогов к информационным технологиям. Под информатизацией образования принято понимать обеспечение сферы...»

«Анатолий Ефимович Тарас Боевая машина: Руководство по самозащите — 2 Боевая машина – 2 Боевая машина: Руководство по самозащите: Харвест; Минск; 1997 ISBN 985-433-162-8 Аннотация В этой книге исчерпывающим образом раскрыты проблемы психологии, тактики и техники самообороны от хулиганских и преступных посягательств. Главный акцент сделан при этом на выработке умения входить в надлежащее психическое состояние и на использовании в качестве оружия не только своего тела, но и различных предметов,...»

«Раздел 1 УМК Министерство образования и науки Российской Федерации федеральное государственное бюджетное образовательное учреждение высшего профессионального образования УЛЬЯНОВСКИЙ ГОСУДАРСТВЕННЫЙ ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ УТВЕРЖДАЮ: Декан факультета Информационных систем и технологий В. В. Шишкин 2011 г. РАБОЧАЯ ПРОГРАММА Дисциплины (модуля) Пакеты прикладных программ для подготовки научных документов наименование дисциплины (модуля) 230700.62 Прикладная информатика (шифр и наименование...»

«Оглавление Тема 1. Введение в информатику 1. Понятие информации 2. Информационные системы и технологии 3. Информатика: предмет, цели, задачи Тема 2. Техническая база методов информатики 1. Классификация ЭВМ 2. Состав системного блока персонального компьютера 3. Внешняя память компьютера 4. Внутренняя память компьютера 5. Внешние устройства компьютера 6. Принципы хранения информации в компьютере. Тема 3. Программное обеспечение компьютера 1. Классификация программного обеспечения 2. Операционные...»

«Учреждение Российской академии наук Геофизический центр ОТЧЕТ О ДЕЯТЕЛЬНОСТИ ИНСТИТУТА ЗА 2011 год Москва 2012 В настоящем издании содержатся сведения о работе Учреждения Российской академии наук Геофизического центра в 2011 году, а также наиболее важные результаты проводимых исследований. Ответственный редактор: Л. М. Лабунцова, к.х.н., ученый секретарь ГЦ РАН Редколлегия: А. Д. Гвишиани, академик РАН Э. О. Кедров, к.ф-м.н. О. В. Алексанова Утверждено к печати 10.09.2012 г., Тираж 20 экз....»

«Информатика. 11 класс. Вариант ИНФ10101 2 Инструкция по выполнению работы Тренировочная работа № 1 На выполнение работы по информатике и ИКТ отводится 235 минут. Работа состоит из 3 частей, содержащих 32 задания. Рекомендуем не более по ИНФОРМАТИКЕ 1,5 часов (90 минут) отвести на выполнение заданий частей 1 и 2, а остальное время – на часть 3. 8 октября 2013 года Часть 1 содержит 13 заданий (А1–А13). К каждому заданию даётся четыре варианта ответа, из которых только один правильный 11 класс...»

«Государственное образовательное учреждение высшего профессионального образования Российский государственный университет нефти и газа им. И. М. Губкина Департамент оперативного управления реализацией программы НИУ АННОТАЦИЯ 3.3.3/2 Разработка программ магистерской подготовки Автоматизированные системы диспетчерского управления в нефтегазовом комплексе, реализуемой в соответствии с ПНР университета Москва 2011 3 Программа развития государственного образовательного учреждения высшего...»

«Мультиварка RMC-M150 РУКОВОДСТВО ПО ЭКСПЛУАТАЦИИ www.multivarka.pro УВАЖАЕМЫЙ ПОКУПАТЕЛЬ! Благодарим вас за то, что вы отдали предпочтение бытовой технике REDMOND. REDMOND — это качество, надежность и неизменно внимательное отношение к потребностям наших клиентов. Надеемся, что вам понравится продукция нашей компании, и вы также будете выбирать наши изделия в будущем. Мультиварка REDMOND RMC-M150 — современный много- Чтобы вы могли быстрее освоить технику приготовления в функциональный прибор...»














 
© 2014 www.kniga.seluk.ru - «Бесплатная электронная библиотека - Книги, пособия, учебники, издания, публикации»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.