Решение задач эфемеридной астрономии средствами предметно-ориентированного языка программирования
Диссертация
С целью демонстрации преимуществ разработанных автором инструментальных средств системы Дельта автором усовершенствована программная реализация на языке Дельта решений трёх эфемеридных задач из объяснения к «МАА-2» посредством введения промежуточных переменных в предметных обозначениях. Примеры фрагментов реализации решения этих задач описаны в разделе 5.2. Постановка этих трёх задач… Читать ещё >
Содержание
- Глава 1. Исторические предпосылки и постановка задачи
- 1. 1. Постановка задачи
- 1. 2. Обоснование поставленной задачи
- 1. 3. Анализ методов расширения языков программирования
- 1. 3. 1. Метод 1. Расширения доступны через API
- 1. 3. 2. Метод 2. Расширения в виде подмножества базового языка
- 1. 3. 3. Метод 3. Расширения как строковые параметры API
- 1. 3. 4. Метод 4. Расширения в виде новых языковых конструкций
- 1. 3. 5. Методы исполнения кода расширений
- 1. 3. 6. Методы интеграции и исполнения расширений в языке Дельта
Список литературы
- Михеева В. Д., Скрипниченко В. И. Расширение языка Object Pascal (Delphi) таблично-ориентированными средствами решения задач эфемеридной астрономии // Сообщения ИПА РАН. СПб. 2006. № 168. 20 с.
- Михеева В. Д., Новиков Ф. А., Скрипниченко В. И. Дельта — язык и система программирования для решения прикладных задач с табличными данными //Научно-технические ведомости СПбГПУ. СПб. 2007. № 4(52), Т. 2, С. 57−60.
- Михеева В. Д. Разработка предметно-ориентированных приложений с помощью инструментальных средств Дельта // Сообщения ИПА РАН. СПб. 2008, № 179. 32 с.
- Глебова Н. И., Лукашова М. В., Михеева В. Д., Нецветаева Г. А., Парийская Е. Ю., Свешников М. Л., Скрипниченко В. И. Программная система PersAY — «Персональный астрономический ежегодник». // Труды ИПА РАН, Вып. 17. СПб. гНаука, 2007. С. 223−228.
- Глебова Н. И., Лукашова М. В., Михеева В. Д., Нецветаева Г. А., Парийская Е. Ю., Свешников М. Л., Скрипниченко В. И. Система PersAY — Персональный астрономический ежегодник. Версия 1.0 // Сообщения" ИПА РАН. СПб. 2010, № 185. 68 с.
- Михеева В. Д. Методы расширения языков программирования (часть 1) //Информационно-управляющие системы. СПб. 2010, № 4. С. 46−52.
- Михеева В. Д. Проблемно-ориентируемый язык Дельта и его модель // Актуальные проблемы гуманитарных и естественных наук. — Москва, 2010, № 6. — С. 38−51- Эл. версия http://www.publikacia.net/arhiv/62 010.pdf — С. 40−54. (дата обращения 11.07.2010).
- МихееваВ.Д. Средства графического представления данных в 32-разрядной версии системы ЭРА // Сообщения ИПА РАН. СПб. 2010. № 18 340 с.
- Морской астрономический альманах на 2009−2010 гг. СПб.: Наука, 2008. 391 с.
- Васильев М. В., Красинский Г. А. Универсальная система программирования для эфемеридной и динамической астрономии. // Труды ИПА РАН, 1997, вып.1, С. 228−248.
- Krasinsky G. A., Novikov F. A., Skripnichenko V. I. Problem Oriented Language for Ephemeris Astronomy and its Realization in System ERA. // Cel. Mech., 1989. Vol. 45, P. 219−229.
- Новиков Ф. А. Архитектура системы «ЭРА» — табличный подход к обработке данных // Препринт ИПА АН СССР, № 16. Ленинград, 1990. 32 с.
- Бабаев И.О., Лавров С. С. Развитие автоматизированной системы решения задач СПОРА // Пакеты прикладных программ. Инструментальные системы. М.: Наука, 1987 г. — с. 5−17.
- Бабаев И.О., Новиков Ф. А., Петрушина Т. И. Язык Декарт — входной язык системы СПОРА // Прикладная информатика, Вып. 1. М.: Финансы и статистика, 1981. с. 35−73.
- Морской астрономический ежегодник на 2009 г. УНиО МО РФ 2008, ИПА РАН 336 с.
- Астрономический Ежегодник на 2009 г. СПб.: Наука. 2008. 86 с.
- Крашенинников C.B., Кривоногое A.B., Назаров A.A., Новиков Ф. А., Скрипниченко В. И. Система таблично-ориентированного программирования: 32-разрядная версия // Сообщения ИПА РАН № 122 СПб, 1999. 38 с.
- Крашенинников C.B. Управление данными в системе Таблично-ориентированного программирования. // Диссертация на соискание ученой степени кандидата физико-математических наук. ИТАРАН, СПб. 1996. 121с.
- Крашенинников C.B. ТОП-модель: формальное описание // Препринт ИТА РАН № 45. СПб. 1995. 34 с.
- Крашенинников C.B., Новиков Ф. А. АстроТОП — технология сбора, хранения и обработки астрономической информации. //Информационные системы в науке — 95. Тезисы докладов. М.: Фазис, 1995. с. 63−64.
- Крашенинников C.B. ТОП технология. Некоторые теоретические аспекты. // Международная конференция «Современные проблемы теоретической астрономии». Тезисы докладов. СПб, ИТА РАН, 1994. Том I.e. 82−83.
- Крашенинников C.B. Сравнительный анализ алгоритмов интерпретации табличных выражений // Препринт ИТА РАН № 30. СПб 1993.28 с.
- Агамирзян И.Р. Система технологической поддержки разработки трансляторов «ШАГ». Подсистема построения анализаторов. // Алгоритмы небесной механики (Материалы математического обеспечения ЭВМ) № 46 — Ленинград, ИТА АН СССР, 1986. 50 с.
- Kochetova О. M., Shor V. A. Integrated software package «STAMP» for minor planets // Asteroids, Comets, Meteors, 1991: Proc. of the intern, conference held in Flagstaff, P. 309−311.
- Кочетова О. M, Шор В. А. Компьютерная версия ежегодника ЭМП на 1995 г // Тез. Междунар. конф. «Современные проблемы теоретической астрономии»: Санкт-Петербург, 20−24 июня 1994 г. Т. 1, стр. 81.
- Подобед В.В., Нестеров В. В. Общая астрометрия, изд. 2-е. М.: Наука, 1982. 576 с.
- Куликов К.А. Курс сферической астрономии, изд. 2-е, перераб. и доп. М. Наука, 1969. 216 с.
- Монтенбрук О., Пфлегер Т. Астрономия на персональном компьютере (+CD). СПб.: Питер, 2002. 320 е.: ил.
- Электронная энциклопедия «Кругосвет», статья «Компас» (http://vww.krugosvcU'u/enc/nauk^дата обращения 31.05.2010)
- Большая советская энциклопедия, статья «Пеленг» // Электронный текст на Вологодском областном веб-портале культуры (http://www.cultinfo.ru/ http://www.cultinfo.rU/fulltext/l/001/008/087/690.htm, дата обращения 31.05.2010)
- Yagudina E.I. Lunar numerical theory EPM2008 from analysis of LLR data, // Proceedings of the «Journees 2008 Systemes de reference spatiotemporels», M. Soffel and N. Capitaine (eds.), Lohrmann-Observatorium and Observatoire de Paris, 2009. P. 61−64.
- Красинский Г. А., Ягудина Э. И. Обработка LLR наблюдений 1970−2008 гг. и улучшение параметров орбитально-вращательного движения Луны // Всероссийская астрометрическая конференция «Пулково 2009″, 15−19 июня, 2009.
- Pitjeva E.V. EPM ephemerides and relativity. — Proc. IAU Symp. No. 261 / Relativity in fundamental astronomy: dynamics, reference frame, and data analysis // S. Klioner, P.K. Seidelmann, M. Soffel (eds.), Cambridge University Press, 2010. P. 170−178.
- Питьева E.B. Национальные высокоточные эфемериды планет и Луны — ЕРМ // Труды ИПА РАН, вып. 17, 2007, СПб. ИПА РАН. С. 42−58.
- Бен-Анри М. Языки программирования. Практический сравнительный анализ: Пер. с англ. М. Мир, 2000. 336 е.: ил.
- Опалева Э. А., Самойленко В. П. Языки программирования и методы трансляции. СПб.: БХВ-Петербург, 2005. 480 е.: ил.
- Карпов Ю. Г. Теория и технология программирования. Основы построения трансляторов. СПб.: БХВ-Петербург, 2005. 272 е.: ил.
- Хантер Р. Основные концепции компиляторов.: Пер. с англ. М.: Вильяме, 2002. 256 с.: ил.
- Воеводин В. В., Воеводин Вл. В. Параллельные вычисления. СПб.: БХВ-Петербург, 2002. 608 е.: ил.
- Ахо А., Ульман Длс. Теория синтаксического анализа, перевода и компиляции. Том 1. Синтаксический анализ. М: Мир, пер. с англ., 1978.308 с.
- Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. Том 2. Компиляция. М.: Мир, пер. с англ., 1978. — 487 с.
- Ахо А.В., Сети Р., Ульман ДД. Компиляторы: принципы, технологии и инструменты. М.: Вильяме, 2003. — 768 с.
- Ахо А., Хошрофт Дж., Ульман Дж. Построение и анализ вычислительных алгоритмов. М.: Мир, 1979. — 536 с.
- Horowitz Е. Fundamentals of Programming Languages. Second Ed. USA: Computer Science Press. 1984. — 446 p., fig.
- Michael L. Scott Programming Language Pragmatics. Second Ed. USA: Morgan Kaufmann Publishers is an imprint of Elsevier, 2006. — 875 p., fig.
- Perry Wang et al. Accelerator Exoskeleton — Tera-scale Computing // Intel Technology Journal, 2007, August, Issue 03, Vol. 11, — pp. 185−196 (http://www.intel.com/technology/itj/2007/vlli3/2-exoskeletoii/l-abstract.htm)
- Sammit J.E. Programming Languages: History and Fundamentals. Prentice-Hall, Englewood Cliffs N.J., 1969. — 785 p.
- Object Pascal Language Guide. — Borland Software Coiporation, 2001. 100 Enterprise Way, Scotts Valley, CA 95 066−3249.
- Wirth N. The Programming Language Pascal // Acta Informatica, Vol. 1, Issue 1, 1971. Springer-Verlag GmbH, — P. 35−63. (http://www.springerlink.com)
- Timothy A. Davis, Kermit Sigmon MATLAB Primer, Seventh Ed. Chapman & Hall/CRC, 2005. 215 p.
- International standard: КОЛЕС 14 882:2003(E): Programming Languages — С++. КОЛЕС JTC1/SC22/WG21 — The С++ Standards Committee (http://www.open-std.org/JTCl/SC22/WG21).
- Питер Илес (Peter Eeles) Что такое архитектура программного обеспечения? // 15.02.2006, перевод статьи из книги „The Process of Software
- Architecting“ (Процесс разработки архитектуры программного обеспечения): (http://www.ibm.com/developerworks/m/library/eeles/index.html дата обращения1111.2009)
- Стандарт IEEE по информационным технологиям — Процессы жизненного цикла программного обеспечения. Стандарт IEEE 12 207−1995. Компьютерное общество IEEE.
- Ефимов Н.В. Краткий курс аналитической геометрии М.: Наука, 1969. —272 с.
- Шоке Г. Геометрия, Серия „Современная математика“. М.: Мир, 1970 — 240 с.
- Шикин Е.В., Плис А. И. Кривые и поверхности на экране компьютера. Руководство по сплайнам для пользователей — М.: Диалог-МИФИ, 1996. — 240 с.
- Шикин Е.В., Боресков A.B. Компьютерная графика. Динамика, реалистические изображения. — М.: Диалог-МИФИ, 1996. — 288 с.
- Иванов В.П., Батраков A.C. Трехмерная компьютерная графика. Под ред. академика РАЕН Г. М. Полищука. М.: Радио и связь, 1995. 224 с.
- Advanced Grapher 2.11, Copyright © 1998—2005 Alentum Software, Inc. (http://www.alentum.com, дата обращения 25.12.2009).
- Гради Буч Объектно-ориентированный анализ и проектирование с примерами приложений на С++, 2-е издание — М.:Бином, СПб: Невский диалект, 1998. — 560 с.
- Hans-Erik Eriksson, Magnus Penker UML Toolkit (OMG). USA: John Wiley & Sons, Inc., 1998. — 397 p.
- Dan Pilone UML 2.0 Pocket Reference. USA: O’Reilly Media Inc. 2006. — 128 p., fig. (+CD)
- Дарахвелидзе П.Г., Марков Е.П. Delphi 4. Среда визуального программирования. Серия „В подлиннике“ СПб: BHV, 1999. — 802 с.
- Баас Р., Фервай М., Гюнтер X. Delphi 4. Полное руководство — Киев: BHV, 1998. — 800 с.
- Федоров А.Г. Delphi 3.0 для всех. 3-е изд. М.: Компьютер-Пресс, 1998. —544 с.
- Кэнту М. Delphi 6 для профессионалов СПб.: Питер. 2002 — 1088 е.: ил. (+ CD)
- Don Box, Anders Hejlsberg LINQ: .NET Language-Integrated Query, February 2007, Applies to: Visual Studio Code Name „Orcas“, .Net Framework 3.5 (http://msdn.microsoft.com/ru-ru/library/bb308959(en-us).aspx, дата обращения 20.07.2009)
- Visual Studio 2010, Introduction to LINQ. Microsoft Corp. 2010, (http://msdn.microsoft.com/ru-ru/library/bb397897.aspx, дата обращения 28.08.2010)
- Charlie Calvert LINQ and Deferred Execution // Microsoft MSDN 2007 (http://blogs.msdn.com/charlie/archive/2007/12/09/deferred-execution.aspx, дата обращения 15.07.2009).
- Charlie Calvert Charlie Calvert’s Community Blog (http://blogs.msdn.com/charlie/default.aspx, дата обращения 15.07.2009)
- SI. Anders Hejlsberg DEV223: LINQ Overview // Microsoft Tech Ed Developers Conference, 2006.
- DataSet Class // MSDN Library for Visual Studio 2005ms-help //MS.VSCC.v80/MS.MSDN.v80/MS.NETFX30SDK4VS.1033/cpref9/htinl/TSystemDataDataSet.htmдата обращения 15.07.2009)
- С++ Language Reference, Using extern to Specify Linkage (extern modifier, linkage to non-C++ functions)» // MSDN Library, January 2006ms-heIp://MS.MSDNQTR.2006JAN.1033/vc.ang/html/pluslangLinkagetoNon.2d.C.2b2b.Functions.htmдата обращения 15.07.2009)
- Mwceeea В. Д., Харитонова И. A. Microsoft Access 2002. Наиболее полное руководство. Серия: «В подлиннике». — СПб.: БХВ-Санкт-Петербург, 2003. — 1040 е.: ил.
- Михеева В. Д., Харитонова И. A. Microsoft Access 2000: разработка приложений. СПб.: BHV-Петербург, 2000. — 832 е.: ил.
- Using Inline Assembly in C/C++, By jain. pk // The Code Project (a community of Software development and Design developers) (http://www.codeproject.com/KB/cpp/edujiniinlineasm.aspx дата обращения 09.10.2009)
- Open SystemC Initiative (http://www.systemc.org/home дата обращения 10.06.2009)
- IEEE 1666−2005 Standard SystemC Language Reference Manual (LRM) (http://standards.ieee.org/getieee/1666/index.html дата обращения 10.06.2009)
- SystemC Synthesizable Subset, Draft 1.1.18, December 23, 2004, by Synthesis Working Group of Open SystemC Initiative, (http://www.systemc.org/home дата обращения 10.06.2009)
- Sergey Dmitriev Language Oriented Programming: The Next Programming Paradigm. I I OnBoard, Issue 1, November 2004. JetBrains (http://www.onboard.jetbrains.com/articles/04/10/lop/ дата обращения 15.11.2009)
- Jeff Hoffman, David Arditti Ilitzky, Anthony Chun, Aliaksei Chapyzhenka Overview of the Scalable Communications Core // IEEE Computer Society Annual Symposium on VLSI (ISVLSI '07) P. 3−8.