Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Powiadomienia systemowe

Sesja wygasła!

Znaleziono wyników: 3

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: trójkąt sferyczny

Sortuj według:

Ogranicz wyniki do:

Automatic theorem proving in nelementary geometry

Pech P.

Zeszyty Naukowe. Geometria i Grafika Inżynierska / Politechnika Śląska

2004

z. 6

43-47

In the last 20 years several efficient methods for automatic theorem proving in elementary geometry have been developed. First we will introduce some standard notions from automatic proving theorems. Then we will present the methods on the example of the Simson theorem and its generalization. The demonstration is accompanied by the use of dynamie geometry system Cabri II.

W ostatnich 20 latach rozwinięto kilka skutecznych metod automatycznego dowodzenia twierdzeń geometrii elementarnej. Najpierw przedstawiono pewne standardowe nazwy dla automatycznie dowodzonych twierdzeń. Następnie przedstawiono metody oparte na twierdzeniu Simsona i jego uogólnieniach. Do prezentacji wykorzystano dynamiczny system geometryczny Cabri.

Model siatki na powierzchni bryły za pomocą poczwórnego węzła krzywych wielomianowych

Mieszkalski L.

Problemy Inżynierii Rolniczej

2002

R. 10, nr 4

93-100

Przedstawiono konstrukcję linii geodezyjnych na powierzchni kulistej, które mogą mieć zastosowanie do modelowania brył o nieregularnych kształtach. Podstawowym elementem linii geodezyjnej jest krzywa wielomianowa trzeciego stopnia w reprezentacji Beziera. Cztery prostopadłe do siebie krzywe wielomianowe łączą się w węźle. Każda krzywa wielomianowa ma dwa węzły i dwa punkty kontrolne. Węzły leżą na powierzchni bryły, a punkty kontrolne poza nią. Modelowanie kształtu siatki bryły o nieregularnych kształtach polega na takiej zmianie położenia węzłów i punktów kontrolnych, których krzywe leżą na powierzchni bryły.

Paper presented the construction of geodetic lines on a spherical surface which may be useful to modelling the bodies of irreguler shapes. Basis element of geodetic line is a polynomial curve of the third order in Bezier's representation. Four polynomial curves perpendicular eacg to other, join in a node. Two nodes and two control points are on each polynomial curve. The nodes are situated on the body surface, whereas the control points-beyond of it. Modelling the grid of irregular shape body consists in changing the orientation of nodes and control points, the curves of which lie on body surface.

Siatki dwuwarstwowe opracowane na podstawie tetraedru

Mirski J.

Zeszyty Naukowe. Geometria i Grafika Inżynierska / Politechnika Śląska

2000

z. 3

93-105

W pracy przedstawiono trzy sposoby podziału trójkąta sferycznego, które pozwalają z 4-ścianu foremnego otrzymać wielościany pochodne o większej liczbie ścian. Liczby ścian generowanych wielościanów ujęto w tabele systematyzujące. Pokazano sposoby tworzenia wielościanów prototypowych dla konstrukcji dwuwarstwowych w zależności od rodzaju przekształcenia i sposobu ustawienia względem osi środkowej.

In this work are presented 3 kinds of division of a spherical triangle that enable to get from the regular 4-polyhedron derivated polyhedrons with bigger amount of walls. They were presented ways of generating for prototype polyhedrons for twolayer constructions depending from the kind of transformation and the way of setting in relation to the centre axis.