Wyniki wyszukiwania - BazTech

1

Superszerokokątna perspektywa niekolinearna realizowana metodą fotografii cyfrowej

Górko M.

Zeszyty Naukowe. Budownictwo / Politechnika Łódzka

|

2007

|

Z. 56

92-99

PL

W pracy przedstawiono analizę zachowania się układu optycznego, który z punktu widzenia geometrii wykreślnej (szczególnie zaś pespektywy) oferuje bardzo interesujace odwzorowanie. Jest to mianowicie złożenie rzutu środkowego na powierzchnie sfery z rzutem wykonywanym na płaskie tło z punktu leżącego na prostej prostopadłej do tła i przechodzącej przez środek sfery. Takie złożenie dwóch rzutowań pozwala uzyskać superszerokokatną perspektywę niekolinearną, która była przedmiotem rozprawy doktorskiej na Politechnice Wrocławskiej. Obiektywy typu "rybie oko" jak ten omówiony w pracy, należa do optyki specjalistycznej i stosowane są w meteorologii oraz w wizjerach optycznych dla potrzeb chirurgii.

EN

This paper presents the behavior of an optical system, which - from the viewpoint of descriptive geometry (particulalry the perspective) - offers very interesting projection. This is composed central projection on a sphere and stereographical projection on a plane from from a point which belongs to a line perpendicular to the projection plane and geoes through the central point of the sphere. This composed projection creates a superwideangle non-colinear perspective, which some year ago was the topic of PhD disertation done at the Technical University of Wroclaw. Such lenses are special purpose lenses and are used for example forecast recording and for viewing instrument in surgery.

2

From formal methods to implementation based on Petri Nets model of concurrent systems

Wojciechowski J.

Pomiary Automatyka Kontrola

|

2007

|

R. 53, nr 5

132-134

EN

Purpose of this work is to suggest a path from formal methods to implementation in designing concurrent system, thus helping further stages of systems development to go on. Author focuses on mapping of nonhierarchical Coloured Petri Nets model to class model of the system in Java and C language. Author extends among others formal model with information which would imply generation of class models from formal model, conforming to Java specification and C language, making continuous integration possible. The whole cycle would be presented with changed Petri Nets model of simple concurrent system.

PL

Celem pracy jest zaproponowanie ścieżki przejścia od modelu formalnego systemu opisanego siecią Petriego do implementacji. Autor skupia się na rzutowaniu niehierarchicznych modeli sieci do modelu klas odpowiadającemu obiektowemu paradygmatowi programowania języka Java i proceduralnemu dla języka C. Autor rozszerza model formalny o informację umożliwiającą dokonanie konwersji do modelu klas i procedur. Cały cykl będzie zaprezentowany na prostym systemie współbieżnym.

3

Mapping of petri net formal model of concurrent system to class model with aspect of polymorphism in object oriented paradigm

Wojciechowski J.

Mikroelektronika i Informatyka : prace naukowe

|

2007

|

Z. nr 7

167-170

EN

Models are developed in meny areas of engineering as means of understending the requirements for a system and assessing the chances of a design. In sofware development process, models range from the graphical representations of data i.e. entity-relationship diagram and functionality i.e. UML to the formal mathematical representation of functional and temporal behavior using Petri nets. Aspect of extracting polymorphism dependency from model towards implementation in OO design is presented in this article.

PL

Celem pracy jest zaproponowanie ścieżki przejścia od modelu formalnego systemu opisanego siecią Petriego do implementacji na szczególnym skupieniu się na ekstrakcji cech obiektowych związanych z cechą polimorfizmu modelu. Autor skupia się na rzutowaniu nie hierarchicznych modeli sieci do modelu klas odpowiadającemu obiektowemu paradygmatowi programowania języka Java. Autor rozszerza model formalny o informację umożliwiajacą dokonanie konwersji do modelu klas uwzględniajac polimorfizm modelu. Cały cykl będzie reprezentowany na przypadkach użycia występujących w modelu.

4

Dynamic perspective projection - methods of connecting the reference plane and the projection centre with the moving vessel

Naus K., Makar A.

Geodezja i Kartografia

|

2003

|

T. 52, z. 2

99-110

EN

In this paper, the definitions of the space and projection systems, used in the mathematical model have been shown. The projection system, situation of the plane and the projection centre have been established. The concept of the model of perspective projection process has been described: the stages of the geometrical data process (3D objects included in Electronic Navigation Chart- ENC) realized during projection process. Separately were considered the issues of changing of the reference plane and the projection centre with respect to the geocentrical reference system and movement of ihe ship as the geometrical object containing the reference system. They constitute a basis for preparing the conception of connecting the moving ship with the observer reference system using three established, nonlinear points (with known position with respect to the geocentrical reference system) placed on ship's board and with the horizontal topocentric reference system.

PL

Celem niniejszego artykułu było przedstawienie wyników badań prowadzonych nad nową formułą odwzorowawczą do dynamicznego, trójwymiarowego, realistycznego zobrazowania informacji geometrycznej o środowisku geograficznym. Formułą tą nazywaną dynamicznym odwzorowaniem perspektywicznym, określono odwzorowanie perspektywiczne na płaszczyznę z jednym stałym punktem rzutowania w pozycji obserwatora, przy czym zarówno płaszczyzna rzutowania jak i punkt rzutowania dowiązane są do jednostki pływającej będącej w ruchu. W artykule przedstawiono opis matematyczny dynamicznego, odwzorowania perspektywicznego, opartego na dwóch koncepcjach związania jednostki pływającej (będącą w ruchu) z układem rzutowania (płaszczyzną i punktem rzutowania), tj.: - poprzez trzy ustalone, niewspółliniowe punkty (o znanym położeniu względem geocentrycznego układu odniesienia) znajdujące się na jednostce pływającej, - poprzez ustalony punkt (o znanym położeniu względem geocentrycznego układu odniesienia) i kurs rzeczywisty jednostki pływajacej. Pierwsza koncepcja, w której więzami są trzy ustalone, niewspółliniowe punkty znajdujące się na jednostce pływajacej, pozwoli na dynamiczne zobrazowanie rejonu żeglugi, zmieniające się dynamicznie nie tylko ze względu na ruch jednostki pływajacej, ale także ze wzgiędu na jej przechyły poprzeczne i podłużne oraz nurzanie. Dlatego też, zobrazowanie to nie będzie zawsze użyteczne dla nawigacji, szczególnie przy złych warunkach hydrometeorologicznych, ale winno dać dobrą podstawę do pełniejszego wykorzystania porównawczych metod pozycjonowania, chociażby przez możliwość porównywania z obrazami z kamery wizyjnej, czy sonaru. Druga koncepcja, powinna pozwolić na dynamiczne zobrazowanie rejonu żeglugi, w czasie ruchu i w czasie zmiany kursu jednostki pływającej. Zobrazowanie to będzie odporne na przechyły poprzeczne i podłużne oraz nurzanie jednostki pływającej, dlatego ta koncepcja wydaje się być najkorzystniejsza do prezentowania na mostku nawigacyjnym Elektronicznej Mapy Nawigacyjnej.

5

O pewnej modyfikacji rzutu zdegenerowanego

Gliński H.

Materiały Seminarium Geometrii i Grafiki Inżynierskiej

|

1998

|

z. 5

13--15

EN

The article presentsa modificationo f the so-called degenerated projection, p roposed originally by M.Palej. The projector consists of the projection plane π and the straight line p perpendicular to the plane π. The image of an arbitrary point A of space is constructed in the following way. There are two projecting rays that pass through the point A and intersect the straight line p, and include an angle 45o with p. The traces A1 and A2 of the projecting rays in the plane π form images of the point A in the considered projection.

6

On T-modifications of mappings into surfaces

Karno Z.

Bulletin of the Polish Academy of Sciences. Mathematics

|

1998

|

Vol. 46, no 4

345-350

EN

It is shown that if X is a compact 2-dimensional polyhedron and if f is a mapping of X to a surface M, then f x id[sub Ik] (f x id[sub Sk], respectively) is essential for every [k is greater than or equal to 0] if and only if each T-modification of f is essential.