Inaug.-Diss.--Kaiser Wilhelms Universität. / Includes bibliographical references.

Modeliavimas aukštame abstrakcijos lygmenyje dažnai naudojamas išankstiniam kompromisų analizavimui vienlusčių sistemų projektavimo procese. Šiose magistro tezėse apžvelgiami du daugiausiai žadantys sisteminio lygmens specifikavimo metodai – vieninga modeliavimo kalba (UML) ir į aktorius orientuotas modeliavimas bei galimybės naudoti šiuos metodus kartu. Elgsenos projektavimo pavyzdžių abstrakcijos naudingos supaprastinant į duomenų perdavimą orientuotų sistemų projektavimą. Tradiciškai šie šablonai aprašomi naudojant UML diagramas, tačiau UML trūksta modelio vykdymą aprašančios sintaksės, dėl ko negalima atlikti UML šablonų modeliavimo kartu su šiuo metu vyraujančia vykdomųjų aprašymų technologija sisteminio lygmens projektavimui. Šiame dokumente pateikiamas metodas, kaip integruoti UML elgsenos šablonus kartu su vykdomaisiais sistemos modeliais. Šis metodas remiasi į aktorius orientuotu modeliavimu ir realizuotas kaip Ptolemy II papildymas. / Modeling at high levels of abstraction is often a need for early trade-off analysis within the Systems-on-Chip design flow. This master thesis overviews two the most promising approaches for system-level specification – Unified Modeling Language (UML) and actor oriented modeling. Also here is presented some possibilities of joint usage of those two approaches. Behavioral patterns are useful abstractions to simplify the design of the communication-centric systems. Such patterns are traditionally described using UML diagrams, but the lack of execution semantics in UML prevents the co-validation of the patterns together with simulation models and executable specifications which are the mainstream in today's system level design flows. In this paper there is described a method to validate UML-based behavioral patterns within executable system models. The method is based on actor orientation and was implemented as an extension of the Ptolemy II framework.

Submitted by Maike Costa (maiksebas@gmail.com) on 2017-07-03T12:25:38Z No. of bitstreams: 1 arquivototal.pdf: 3177649 bytes, checksum: b09cbb264ec1b770f1aa0bb04cc0fb8f (MD5) / Made available in DSpace on 2017-07-03T12:25:39Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 3177649 bytes, checksum: b09cbb264ec1b770f1aa0bb04cc0fb8f (MD5) Previous issue date: 2017-04-04 / Systems using Unmanned Aerial Vehicles (UAV) are typical examples of cyber-physical systems. Designing such systems is not a trivial task because it brings the challenge of dealing with the uncertainty that is inherent to this type of system. Therefore, it is important the usage of appropriate tools for design that can ensure implementation of these systems with a certain level of confiability. Thus, the purpose of this work is to integrate two simulators via HLA in order to simulate and evaluate different flights strategies. For this, it is presented a simulation environment that can execute flight plans in order to evaluate different strategies in uncertain scenarios. The simulator was developed in Ptolemy and integrated with SITL/ArduPilot via HLA. The results show that with the use of the approach presented in this paper it is possible to obtain results closer to reality, thus more efficient flight strategies can be developed and evaluate. / Sistemas que utilizam Veículos Aéreos Não-Tripulados (VANT) são exemplos típicos de sistemas ciber-físicos. Projetar tais sistemas não é uma tarefa trivial porque traz consigo o desafio de lidar com a incerteza, que é algo inerente a este tipo de sistema. Por isso, é importante que o projeto seja feito com ferramentas apropriadas que possam viabilizar a execução desses sistemas com um certo nível de confiança para seus usuários. Deste modo, a proposta deste trabalho é unir dois simuladores, através do HLA, com o objetivo de simular e avaliar estratégias de voos mais próximas do ambiente de voo real. Para isso, foi construído um simulador onde é possível realizar diversos planos de voo com a finalidade de analisar diferentes estratégias em um ambiente provido de incertezas. O simulador foi desenvolvido na ferramenta Ptolemy e integrado, através do HLA, com o simulador SITL/ArduPilot. Os resultados mostram que com a utilização da abordagem defendida neste trabalho é possível obter resultados mais próximos da realidade, assim estratégias mais eficientes de voo podem ser desenvolvidas e avaliadas.

Made available in DSpace on 2015-05-14T12:36:32Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 3006473 bytes, checksum: 7bf37ce4491c56e5f10696d107ba0528 (MD5) Previous issue date: 2012-03-01 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / The educative informatics has become more present in pedagogical activities. On this new reality, many applications tend to make the knowledge construction a easier tool from the teachers to the students by dynamic methods, exposing multi-branch subjects with no great efforts or unnecessary repetitions. In computing area, the use of applications that facilitate learning is mandatory. Thus, it has been observed that the teaching of some introductory concepts on essential subject used to present an abstraction level that harms the instruction of students of computing courses that have difficulties on hardware related subjects. The use simulators in education have become more present in pedagogical activities. Thus, this work presents the achieved results of an extension developed on a simulation and modeling tool of concurrent systems based in actors, named Ptolemy. The extension was developed to contribute with the teaching-leaning process in the graduation course of Computers Architecture and Organization. / A informática educativa se faz cada vez mais presente nas atividades pedagógicas. Nesta nova realidade, várias aplicações visam facilitar a construção do conhecimento por parte dos professores em relação aos alunos através de métodos dinâmicos, expondo aulas para múltiplos ramos sem haver grande esforço ou repetições desnecessárias. Na área da Computação, existe a necessidade de utilização de aplicações que facilitem a aprendizagem. Pois, se tem observado que os ensinos de alguns conceitos introdutórios em disciplinas essenciais costumam apresentar um nível de abstração que prejudica o aprendizado dos alunos de cursos de informática que já possuem uma grande dificuldade em lidar com disciplinas da área de hardware. A utilização de simuladores na educação se faz cada vez mais presente nas atividades pedagógicas. Neste sentido, este trabalho apresenta os resultados alcançados com a aplicação de uma extensão desenvolvida numa ferramenta de modelagem e simulação de sistemas concorrente baseada em atores, denominada Ptolemy. A extensão foi criada para contribuir com o processo de ensino-aprendizagem da disciplina de Organização e Arquitetura de Computadores com alunos da graduação.

This study situates Ptolemy’s philosophy within the second-century milieu of Middle Platonism and the nascent Aristotelian commentary tradition. It focuses on Ptolemy’s adaptation and application of Aristotle’s tripartite division of theoretical philosophy into the physical, mathematical, and theological. In Almagest 1.1, Ptolemy defines these three sciences, describes their relations and objects of study, and addresses their epistemic success. According to Ptolemy, physics and theology are conjectural, and mathematics alone yields knowledge. This claim is unprecedented in the history of ancient Greek philosophy. Ptolemy substantiates this claim by constructing and employing a scientific method consistent with it. In Almagest 1.1, after defining the theoretical sciences, Ptolemy adds that, while theology and physics are conjectural, mathematics can make a good guess at the nature of theological objects and contribute significantly to the study of physics. He puts this claim into practice in the remainder of his corpus by applying mathematics to theology and physics in order to produce results in these fields. After the introductory chapter, I present Ptolemy’s philosophy and practice of the three theoretical sciences. In Chapter 2, I examine how and why Ptolemy defines the sciences in Almagest 1.1. In Chapter 3, I further analyze how Ptolemy defines mathematical objects, how he describes the relationships between the tools and branches of mathematics, and whether he demonstrates in the Harmonics and Almagest that he believed mathematics yields sure and incontrovertible knowledge, as he claims in Almagest 1.1. In Chapter 4, I present Ptolemy’s natural philosophy. While in Chapter 2 I discuss his element theory, in Chapter 4 I focus on his physics of composite bodies: astrology, psychology, and cosmology as conveyed in the Tetrabiblos, On the Kritêrion, Harmonics, and Planetary Hypotheses. I do not devote a chapter to theology, as Ptolemy refers to this science only once in his corpus. Therefore, I limit my analysis of his definition and practice of theology to Chapter 2. In the concluding chapter, I discuss Ptolemy’s ethical motivation for studying mathematics. What emerges from this dissertation is a portrait of Ptolemy’s philosophy of science and the scientific method he employs consistently in his texts.

This study situates Ptolemy’s philosophy within the second-century milieu of Middle Platonism and the nascent Aristotelian commentary tradition. It focuses on Ptolemy’s adaptation and application of Aristotle’s tripartite division of theoretical philosophy into the physical, mathematical, and theological. In Almagest 1.1, Ptolemy defines these three sciences, describes their relations and objects of study, and addresses their epistemic success. According to Ptolemy, physics and theology are conjectural, and mathematics alone yields knowledge. This claim is unprecedented in the history of ancient Greek philosophy. Ptolemy substantiates this claim by constructing and employing a scientific method consistent with it. In Almagest 1.1, after defining the theoretical sciences, Ptolemy adds that, while theology and physics are conjectural, mathematics can make a good guess at the nature of theological objects and contribute significantly to the study of physics. He puts this claim into practice in the remainder of his corpus by applying mathematics to theology and physics in order to produce results in these fields. After the introductory chapter, I present Ptolemy’s philosophy and practice of the three theoretical sciences. In Chapter 2, I examine how and why Ptolemy defines the sciences in Almagest 1.1. In Chapter 3, I further analyze how Ptolemy defines mathematical objects, how he describes the relationships between the tools and branches of mathematics, and whether he demonstrates in the Harmonics and Almagest that he believed mathematics yields sure and incontrovertible knowledge, as he claims in Almagest 1.1. In Chapter 4, I present Ptolemy’s natural philosophy. While in Chapter 2 I discuss his element theory, in Chapter 4 I focus on his physics of composite bodies: astrology, psychology, and cosmology as conveyed in the Tetrabiblos, On the Kritêrion, Harmonics, and Planetary Hypotheses. I do not devote a chapter to theology, as Ptolemy refers to this science only once in his corpus. Therefore, I limit my analysis of his definition and practice of theology to Chapter 2. In the concluding chapter, I discuss Ptolemy’s ethical motivation for studying mathematics. What emerges from this dissertation is a portrait of Ptolemy’s philosophy of science and the scientific method he employs consistently in his texts.

The Ancient Indians and Greeks had similar beliefs in the concepts of magic, superstition, and astrology. First I will look briefly at the beliefs of the ancient Greeks and the main astrological text- the Tetrabiblos of Claudius Ptolemy. Ptolemy moves away from the scientific account that he provides us in his Almagest, to defining astrology as an art acquired from the observation of the movements of the heavenly bodies. The main argument however is based on the fact that Ptolemy uses an almost apologetic tone in his defence of the Tetrabiblos. Whereas the ancient Indians appeared to be strong believers in astrology, the ancient Greeks always sought to justify it in terms of science. To analyse this concept in depth I will provide a comparative study of both these belief systems. But whereas the Greeks distinguished astrology from astronomy, in the Vedic tradition astrology consisted of observable science as well as mythological and magical elements. Some consideration must therefore be given to astronomical aspects of this tradition in drawing a comparison between the two. Astrology was prevalent in ancient India a long time prior to the writing of the Surya Siddhanta or any other astronomical text. The Surya Siddhanta is often held to be the main text on Indian astronomy as it tries to address the reasons why certain religious practices were performed at those specific times. However, much information can also be obtained from the verses of the Rig Veda, a religious text that formed the basis of Indian astrology. This mini-dissertation will first discuss the Surya Siddhanta and its relationship to the more 'mythological' Rig Veda. In order to reach a conclusion I will look specifically at the issue of the belief in individual human difference and fate and destiny in these two cultures. / Thesis (M.A.)-University of KwaZulu-Natal, 2005.

Originally presented as the author's thesis (doctoral)--Universität, Konstanz, 2007. / Includes bibliographical references.

Aphrodite is one of the oldest deities of the Graeco-Roman pantheon, and her cult has a rich and varied history in its development throughout the Mediterranean and beyond. The goddess has been associated with numerous female deities from other cultures, including Astarte, Inanna, and Ishtar from the Near East; Hathor and Isis from Egypt; and Venus from Rome. The origins and development of the cult of Aphrodite have long been favoured topics in Classical scholarship, with notable works including Friedrich’s "The Meaning of Aphrodite" (1978) and Budin’s "The Origin of Aphrodite" (2003). The nature of syncretism between deities continues to be a popular topic of debate, and collections such as "Transformation of a Goddess: Ishtar-Astarte-Aphrodite" (2014) are produced from conferences and symposiums. Likewise, interest in the history of the Ptolemaic dynasty remains high; in particular, the field of numismatics eagerly anticipates the final release of Lorber’s "Coins of the Ptolemaic Empire" (2018 - ), which will replace the seminal work of Svoronos (1904) as the primary catalogue. Although it is common for works concerning the Ptolemaic dynasty to reference Aphrodite, detailed discussion of her cult often arises only in the context of Arsinoë II, with whom she was syncretized. This thesis aims to bring Aphrodite to the forefront, and produce a cohesive narrative which highlights the role of her cult in the development of the Ptolemaic dynasty. It surveys the presence of the goddess in Egypt to determine her nature and significance, before examining the manner in which her cult was manipulated to the benefit of the Ptolemaic dynasts, predominantly through syncretism to the queens Arsinoë II and Berenice II. The discussion of syncretism is extended to include Isis, whose increasing popularity is connected to the eventual decline of the cult of Aphrodite in Egypt. / Thesis / Master of Arts (MA) / Following the death of Alexander the Great in 323 BCE, his empire was divided between his generals. Ptolemy I obtained control of Egypt, and established a dynasty that endured for over two centuries before falling to Rome. This thesis examines the foundation of the dynasty, and the manner in which Ptolemy I and his early successors secured their power. It focuses on Greek and Egyptian religion, and argues that the cult of Aphrodite was integral to the legitimization and consolidation of the dynasty. Discussion extends beyond Aphrodite to those with whom she was associated, including the Egyptian goddess Isis, and the Ptolemaic queens Arsinoë and Berenice. The aim of the thesis is to highlight the complexities of religious practice, and demonstrate the significance of Aphrodite and the sociopolitical impact of her cult in Egypt and throughout the Hellenistic world.

Proceeding from a specification, one develops an abstract mathematical model of a system, or portion of a system. This model of a system is validated to insure that the specification is interpreted accurately and to explore different algorithms for implementing the system behavior. We use the words "portion of a system," because only rarely are systems designed wholly using a purely top-down approach. Commonly, the design approach is a mixture of top-down and bottom-up. But even in this mixed approach, top-down techniques are critical to the development of new, advanced system features and improving the performance of existing system components. An example of this style of design tools and environments is Ptolemy II. Ptolemy II is a high-level modeling tool created at UC-Berkeley. It supports heterogeneous and homogeneous modeling, simulation, and design of concurrent systems. High-level modeling of such embedded systems as digital electronics, hardware, and software can be effectively represented. The bottom-up design approach exploits design reuse to achieve the productivity necessary to build complex systems. Historically, chip design companies have always reused designs in going from one product generation to another, but the efficiency of bottom-up design is enhanced by the use of IP (Intellectual Property) cores that a company can buy from an outside source. Design libraries are useful for system design and are an example of IP cores. A sound methodology to translate Ptolemy models to SystemC models would have a very beneficial effect on the CAD/EDA industry. Ptolemy II is written in Java and its high-level designs, or abstract graph models, are represented as XML documents. Ptolemy's major emphasis is on the methodology for defining and producing embedded software together with the system in which it is embedded. SystemC is written in C++, and its industrial use is gaining momentum due to its ability to represent functionality, communication, software, and hardware at various levels of abstraction. SystemC produces synthesizable code. A methodology to convert Ptolemy models to synthesizable SystemC code would be the technical epitome of a hybrid between top-down and bottom-up design styles and methodologies. Such a methodology would enable system designers to obtain fast design exploration, efficient IP-reuse, and validation. Ptolemy has various components and models of computation. A model of computation dictates how components interact between other components. SystemC has its own models of computation and design libraries. XML and Perl are both powerful tools by themselves, and we use these tools in this research to create a sound methodology for translating Ptolemy models (high-level of abstraction) to synthesizable SystemC code (low-level of abstraction), i.e.: code which can serve as input to hardware tools. / Ph. D.