PL
 |
EN
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 7

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  programowanie komputerowe
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Modelowanie współczynnika prędkości osiadania w czasie – weryfikacja modelu
Strzałkowski P., Kruczkowski M.
Wiadomości Górnicze
|
2016
|
R. 67, nr 9
521--525
PL
W artykule poddano weryfikacji, na podstawie wyników pomiarów geodezyjnych, model uwzględniający zmienność współczynnika prędkości osiadania w czasie. Weryfikacja ta została przeprowadzona przy zastosowaniu oprogramowania komputerowego. W pierwszej kolejność poddano identyfikacji wartości parametrów modelu, opierając się na obniżeniu w czasie wybranych punktów. Następnie porównano przebiegi obniżeń obliczonych ze stwierdzonymi pomiarami w kolejnych cyklach.
EN
The article presents verification of the model that takes into the account changeability of the velocity factor of subsidence in time on the basis of the results of geodesic surveying. This verification was carried out using computer software. At first the values of model's parameters were identified, based on subsidence in time of the selected points. Then the courses of calculated subsidence were compared with the determined actual measurements made in subsequent cycles.
2
Content available remote Obliczanie współrzędnych w programowaniu operacji technologicznych na obrabiarkach CNC
Kowalik M.
Archiwum Technologii Maszyn i Automatyzacji
|
2010
|
Vol. 30, nr 4
93-99
PL
W artykule przeanalizowano dwa zagadnienia związane z obliczaniem współrzędnych przesunięć zespołów obrabiarkowych. Współrzędne te służą programiście do programowania operacji technologicznych na obrabiarkach sterowanych numerycznie (OSN). Pierwsze zagadnienie dotyczy obliczania wymiaru nastawnego, którego nie ma na rysunku konstrukcyjnym, drugie odnosi się do symetryzacji wymiarów tolerowanych niesymetrycznie. Warunki techniczne prawidłowego obliczania współrzędnych przesunięć i symetryzacji zostały opisane wzorami analitycznymi, co jest ważne w teorii technologii maszyn.
EN
In the article the two issues connected with coordinates calculation of machine tools assemblies transfers were analyzed. These coordinates serve the programmer to program the technologic 'operations on the numerically controlled machine tools. The first issue considers the calculation of coordinate's tolerated dimension, which is not on the engineering drawing. The second one considers the calculation of asymmetrically tolerated dimensions. These two above issues were described with analytical formulas, which is very important in the production technology.
3
Content available Model checking of java programs using networks of fadds
Woźna B., Zbrzezny A.
Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
|
2009
|
Vol. 14
151-164
EN
In the paper we present the current theoretical base of the J2FADD tool, which translates a Java program to a network of finite automata with discrite data (FADDs).The reason for building the tool is that to model check a concurrent program writ-ten in Java by means of the tools like Uppaal or VerICS (the module VerICS ), an automata model of the Java program must be build first. This is because these tools verify only systems modeled as networks of automata, in particular, systems modeled as networks of FADDs. We also make an attempt to evaluate the J2FADD tool by comparison of it with the two well known Java verification tools: Bandera and Java PathFinder.
4
Content available remote Skomputeryzowane prognozowanie energii zjawisk dynamicznych indukowanych eksploatacją górniczą
Drzewiecki J., Iwaszenko S.
Przegląd Górniczy
|
2008
|
T. 64, nr 4
18-25
PL
W artykule przedstawiono podstawowe informacje o programie prognozy energii zjawisk dynamicznych indukowanych eksploatacją górniczą wraz z prognozą niszczącego zasięgu wstrząsu sejsmicznego. Program realizuje obliczenia na danych wprowadzanych bezpośrednio przez użytkownika bądź na zadanych zbiorach. Dane wsadowe do obliczeń to: głębokość zalegania warstw sprężystych bądź wartość naprężenia na horyzoncie ich zalegania, a także ich odległość od eksploatowanego pokładu, grubość oraz moduł sprężystości. Program oblicza energię sejsmiczną wstrząsów oraz zasięg niszczącej strefy wpływów tych zjawisk dla zadanych postępów eksploatacji. W artykule zamieszczono podstawowe informacje dotyczące wymagań sprzętowych i systemowych instalacji programu komputerowego.
EN
The basic information on a program designated to forecast energy of seismic events caused by exploitation together with a forecast of destructive range of seismic tremor is presented. The program carries out its calculations basing either on the data entered by the user or on assigned sets. Input data necessary for calculations are: depth of elastic strata location or pressure on the horizon of location of these strata and their thickness, distance from exploited seam and Young.s modulus. The program calculates seismic energy of tremors and destructive range of these events for the given coal face of advance. Basic information concerning required equipment and system for installation of the program can also be found in the article.
5
Metoda BTIPS rozwiązywania niektórych zadań inżynierskich
Bzymek Z. M.
Inżynieria i Budownictwo
|
2005
|
R. 61, nr 11
622-623
PL
Podano krótką charakterystykę metody twórczego rozwiązywania problemów inżynierskich BTIPS. Jest to metoda algorytmiczna, nadająca się m. in. do koncepcyjnego projektowania i rozwiązywania niektórych problemów w budownictwie.
EN
A concise description of the Brie Theory of lnventive Solving (BTIPS) is introduced in this paper. The method is based on the previous TRIZ and TIPS compilations.
6
Content available remote Oprogramowanie sterujące Laboratoryjnym Profilometrem Laserowym
Młynarczuk M.
Prace Instytutu Mechaniki Górotworu PAN
|
2004
|
Vol. 6, no. 3-4
267--271
PL
W ramach prac pilotażowych zmierzających do wykonania profesjonalnego Górniczego Profi lometru Laserowego, wykonano tzw. Laboratoryjny Profilometr Laserowy. W trakcie budowy tego urządzenia niezbędnym okazało się utworzenie oprogramowania sterującego, pozwalającego na współdziałanie głównych urządzeń profilometru: stolika obrotowego i głowicy laserowej. Niniejszy raport zawiera opis tego oprogramowania oraz prezentuje wstępne wyniki uzyskane przy jego użyciu.
EN
In the frame of preliminary researches leading to developing a Mining Laser Profilometer a Laboratory Laser Profilometer was created. During this works it was necessary to creating special software which aim was to control two main devices of the Profilometer: a rotating stage and laser device. Presenter paper describes a short review of this software and presents preliminary result obtained by means of Laboratory Laser Profilometer.
7
Obiekty funkcyjne w standardowej bibliotece języka C ++.
Jasiński J.
Informatyka
|
1998
|
nr 1
36-40
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.