Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "mathematical tools" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-10 z 10
    Tytuł:
    Stosowanie matematycznych narzędzi w prawie pracy i w nauce prawa pracy
    Using Mathematical Tools in Labour Law, in the Study of Labour Law
    Autorzy:
    Żołyński, Janusz
    Powiązania:
    https://bibliotekanauki.pl/articles/3200819.pdf
    Data publikacji:
    2023-02-02
    Wydawca:
    Wyższa Szkoła Humanitas
    Tematy:
    matematyka
    narzędzia matematyczne
    prawo pracy
    algorytm
    stała
    zmienna
    mathematics
    mathematical tools
    labour law
    algorithm
    constant
    variable
    Opis:
    Przedmiotowe opracowanie stanowi pierwszy w nauce polskiej zarys badawczy dotyczący stosowania narzędzi matematycznych w prawie pracy. Wskazuje, że matematyczne narzędzia w prawie pracy mają przedmiotowo różny charakter i w efekcie końcowym także różny wymiar (znaczenie). Są to między innymi takie narzędzia matematyczne, jak: zmienna i stała, algorytmy, teoria gier, prawdopodobieństwo, funkcja itp. Unaocznia zatem, że prawo pracy jest silnie zakotwiczone w matematyce, gdyż bez matematycznych narzędzi nie można w pełni, kompleksowo, holistycznie chronić osoby pozostające w stosunku pracy.
    This study is the first research outline in Polish science on the application of mathematical tools in labour law. It shows that mathematical tools in labour law have an objectively different nature and, as a result, also a different dimension (meaning). These include such mathematical tools as: variable and constant, algorithms, game theory, probability, function, etc. It thus makes evident that labour law is strongly anchored in mathematics, as – without mathematical tools – it is not possible to fully, comprehensively, holistically protect people in an employment relationship.
    Źródło:
    Roczniki Administracji i Prawa; 2022, 3(XXII); 107-139
    1644-9126
    Pojawia się w:
    Roczniki Administracji i Prawa
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    System wspomagania oceny stateczności przegubowych wozów wiercących
    Support system for articulated drilling rigs stability evaluation
    Autorzy:
    Bołoz, Łukasz
    Powiązania:
    https://bibliotekanauki.pl/articles/27323750.pdf
    Data publikacji:
    2023
    Wydawca:
    STE GROUP
    Tematy:
    stateczność wozów wiercących
    dynamika wozów wiercących
    badania modelowe
    model dynamiczny
    model fizyczny
    model matematyczny
    badania symulacyjne
    narzędzia CAD/CAE
    stability of drilling rigs
    drilling rig dynamics
    model tests
    dynamic model
    physical model
    mathematical model
    simulation tests
    CAD/CAE tools
    Opis:
    Samojezdne maszyny górnicze takie jak kołowo-oponowe wozy wiercące charakteryzują się budową przegubową oraz wyposażone są w wysięgniki z organami roboczymi wysuniętymi daleko poza obrys podwozia. Taka konstrukcja powoduje, że maszyny te są podatne na utratę stateczności. Stąd też konieczne jest analizowanie rozkładu mas oraz ich szeroko pojętej stateczności podczas całego procesu projektowania, przy uwzględnienie wielu czynników wynikających ze sposoby i warunków ich pracy. Jednak brak jest odpowiednich modeli obliczeniowych pozwalających na przeprowadzenie badań analitycznych dla maszyn o takiej konstrukcji. W artykule przedstawiono autorski system wspomagający szybką ocenę stateczności jedno i dwuwysięgnikowych wozów wiercących. Model pozwala na przeprowadzenie analiz bez konieczności rozwiązywania równań różniczkowych występujących w modelach dynamicznych oraz bez stosowania badań modelowych za pomocą narzędzi CAD/CAE. Opracowany model obliczeniowy został zweryfikowany przez porównanie uzyskanych wyników z wynikami z pełnego modelu dynamicznego, z wynikami badań modelowych przeprowadzonych w programie CAD/CAE oraz z wynikami badań empirycznych nacisków kół i podpór na podłoże dla wybranego wozu wiercącego. Na podstawie weryfikacji i walidacji tego modelu stwierdzono jego pełną poprawność oraz przydatność. Model został wykorzystany do opracowania praktycznego i łatwego w obsłudze arkusza obliczeniowego. Następnie przeprowadzono badania analityczne stateczności wybranego wozu wiercącego. Model obliczeniowy jak i arkusz kalkulacyjny stanowią podręczne narzędzie wykorzystywane podczas procesu projektowania przez jedną z polskich firm produkujących wozy wiercące.
    Underground mining machines, such as wheel-tyre drilling rigs, are articulated and equipped with booms that project far beyond the undercarriage. Such a structure makes these machines prone to lose stability. Hence, it is necessary to analyse the distribution of masses and geometry as well as their broadly understood stability during the entire design process, taking into account many factors resulting from the manner and conditions of their operation. However, there are no ap-propriate computational models that would enable carrying out analytical tests for machines with this kind of construction. The article presents the author's support system which allows a quick assessment of the stability of single- and twin-boom drilling rigs. The model makes it possible to perform analyses without having to solve differential equations present in dynamic models or using model studies based on CAD/CAE tools. The developed computational model was verified by comparing the obtained results with the results of the full dynamic model, the results of model tests carried out in the CAD/CAE program and the results of empirical tests of wheel and jack pressures on the ground for the selected drilling rig. Based on the verification and validation of this model, it was found to be fully correct and useful. The model was used to prepare a practical and user-friendly calculation sheet. Next, analytical tests of the stability of the selected drilling rig were carried out. The computational model and the spreadsheet provide handy tools used during the design process by one of the Polish companies producing drilling rigs.
    Źródło:
    Systemy Wspomagania w Inżynierii Produkcji; 2023, 12, 2; 9--27
    2391-9361
    Pojawia się w:
    Systemy Wspomagania w Inżynierii Produkcji
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Numerical estimation of hull hydrodynamic derivatives in ship maneuvering prediction
    Autorzy:
    Kołodziej, Radosław
    Hoffmann, Paweł
    Powiązania:
    https://bibliotekanauki.pl/articles/1551776.pdf
    Data publikacji:
    2021
    Wydawca:
    Politechnika Gdańska. Wydział Inżynierii Mechanicznej i Okrętownictwa
    Tematy:
    captive model tests
    CFD tools in maneuvering prediction
    MOERI Container ship (KCS)
    Hull hydrodynamic derivatives
    Mathematical model of ship motion
    Opis:
    Prediction of the maneuvering characteristics of a ship at the design stage can be done by means of model tests, computational simulations or a combination of both. Th e model tests can be realized as a direct simulation of the standard maneuvers with the free running model, which gives the most accurate results but is also the least aff ordable, as it requires a very large tank or natural lake, as well as the complex equipment of the model. Alternatively, a captive model test can be used to identify the hydrodynamic characteristics of the hull, which can be used to simulate the standard maneuvers with the use of dedicated soft ware. Two types of captive model tests are distinguished: circular motion tests (CMT) and planar motion mechanism tests (PMM). Th e paper presents an attempt to develop a computational method for ship maneuverability prediction in which the hydrodynamic characteristics of the hull are identifi ed by means of computational fl uid dynamics (CFD). Th e CFD analyses presented here directly simulate the circular motion test. Th e resulting hull characteristics are verifi ed against the available literature data, and the results of the simulations are verifi ed against the results of free running model tests. Reasonable agreement shows the large potential of the proposed method.
    Źródło:
    Polish Maritime Research; 2021, 2; 46-53
    1233-2585
    Pojawia się w:
    Polish Maritime Research
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Application of Computer Mathematical Tools in University Training of Computer Science and Mathematics Pre-service Teachers
    Zastosowanie komputerowych instrumentów matematycznych w przygotowaniu przyszłych nauczycieli informatyki i matematyki na uniwersytetach
    Autorzy:
    Semenikhina, Olena
    Proshkin, Volodymyr
    Naboka, Olha
    Powiązania:
    https://bibliotekanauki.pl/articles/1365813.pdf
    Data publikacji:
    2020-12-29
    Wydawca:
    Wydawnictwo Uniwersytetu Śląskiego
    Tematy:
    komputerowe narzędzia matematyczne
    dynamiczne oprogramowanie geometryczne
    systemy algebry komputerowej
    przyszły nauczyciel informatyki
    przyszły nauczyciel matematyki
    Edukacja na Uniwersytecie
    computer mathematical tools
    dynamic geometry software
    computer algebra system
    pre-service teacher of mathematics
    pre-service teacher of computer science
    university education
    Opis:
    The requirements for the training of mathematics and computer science teachers to use specialized mathematical software in professional activities are substantiated in the article. Among them: the ability to creatively choose the forms and methods of teaching for the use of specialized software; ability to find non-standard or creative mathematical problems; ability to make an informed choice of specialized software; ability to see possible ways to check the result obtained by the pupil; the ability to eliminate common mistakes when pupils use computer tools, etc. The specialized mathematical software, which is used today in mathematical training of mathematics and computer science teachers in Ukraine, has been specified. The specialized mathematical software which is used today for teaching mathematics in schools of Ukraine is given. The analysis of computer tools used by the teacher in the most common mathematical software is carried out. The most urgent problems faced by mathematics teachers in their professional activities are highlighted. The experiment with ninth-grade pupils proved the positive impact of using dynamic geometry software and appropriate mathematical tools on the level of pupils’ mathematical training, which is reason to talk about the importance of computer science and mathematics pre-service teacher training to involve such tools in professional activities. Prospects for further research in the direction of developing methods for using computer mathematical tools in a research-based learning environment are presented.
    W artykule uzasadniono wymagania stawiane kształceniu nauczycieli matematyki i informatyki w kontekście wykorzystania specjalistycznego oprogramowania na kierunku matematycznym w działalności zawodowej. Wśród nich: umiejętność twórczego doboru form i metod nauczania obsługi specjalistycznego oprogramowania; umiejętność znajdowania niestandardowych lub kreatywnych problemów matematycznych; umiejętność dokonania wyważonego wyboru specjalistycznego oprogramowania; możliwość zobaczenia możliwych sposobów sprawdzenia wyniku uzyskanego przez ucznia; umiejętność eliminowania typowych błędów przy korzystaniu z narzędzi komputerowych itp. Doprecyzowano specjalistyczne oprogramowanie kierunku matematycznego, które jest obecnie wykorzystywane w kształceniu matematycznym nauczycieli matematyki i informatyki na Ukrainie. Przedstawiono specjalistyczne oprogramowanie kierunku matematycznego, które jest dziś używane do nauczania matematyki w ukraińskich szkołach. Dokonuje się analizy narzędzi komputerowych wykorzystywanych przez nauczyciela we wspólnym oprogramowaniu kierunku matematycznego. Zwrócono uwagę na najpilniejsze problemy, z którymi borykają się nauczyciele matematyki w swojej działalności zawodowej. W wyniku eksperymentu z uczniami klas 9 wykazano pozytywne uwarunkowanie stosowania dynamicznych układów geometrycznych i odpowiednich narzędzi matematycznych na poziom przygotowania matematycznego uczniów, co jest podstawą do rozmowy o znaczeniu przygotowania przyszłych nauczyciel informatyki i matematyki do wykorzystania takich narzędzi we własnej działalności zawodowej. Przedstawiono perspektywy dalszych badań naukowych w kontekście opracowania metodologii wykorzystania komputerowych narzędzi matematycznych w uczeniu się opartym na badaniach.
    Źródło:
    International Journal of Research in E-learning IJREL; 2020, 6, 2; 1-23
    2451-2583
    2543-6155
    Pojawia się w:
    International Journal of Research in E-learning IJREL
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    The EMITRANSYS model and the possibilities of its application for the analysis of the development of sustainable transport systems
    Autorzy:
    Jacyna, Marianna
    Żak, Jolanta
    Gołębiowski, Piotr
    Powiązania:
    https://bibliotekanauki.pl/articles/132999.pdf
    Data publikacji:
    2019
    Wydawca:
    Polskie Towarzystwo Naukowe Silników Spalinowych
    Tematy:
    development of transport system
    simulation tools
    EMITRANSYS
    mathematical model
    rozwój systemu transportowego
    narzędzia symulacyjne
    model matematyczny
    Opis:
    The transport system has a direct impact on the economic and socio-economic situation of each country. Planning its development is an important element of policy. Bearing in mind the importance and complexity of this issue, it should be considered using both quantitative methods and mathematical models, as well as advanced simulation tools for modelling transport. The article presents a proposal for an approach to simulation tests of the different transport system in the aspect of the emission of harmful exhaust gas compounds from road transport. The tool for analysing and assessing the functioning of existing or designed systems is a model in which the properties of the real system, which are important from the point of view of the research objective, should be mapped. The Model of Proecological Transport System (MEST) was presented formally as an ordered four. Also elements of optimization taks shaping of proecological transport system in form of datas, decision variables, conditions and goal function were presented. An example of tests on simulation model was shown.
    Źródło:
    Combustion Engines; 2019, 58, 4; 243-248
    2300-9896
    2658-1442
    Pojawia się w:
    Combustion Engines
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Mathematical model of form machining of the convexo-concave Novikov gear teeth
    Matematyczny model obróbki kształtowej uzębień o kołowo-łukowym zarysie zębów typu Nowikowa
    Autorzy:
    Markowski, T.
    Batsch, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/197566.pdf
    Data publikacji:
    2016
    Wydawca:
    Politechnika Śląska. Wydawnictwo Politechniki Śląskiej
    Tematy:
    mathematical model
    Novikov convexo-concave gear
    machining
    disk-type tools
    model matematyczny
    przekładnia zębata Nowikova o kołowo- łukowym zarysie zębów
    obróbka
    frez krążkowy
    Opis:
    Article presents mathematical model of form machining of cylindrical convexo-concave Novikov gear teeth by means of disk-type tools. Example of these king of tools is disk-type milling cutter or grinding wheel. Moreover based on the given convex and concave tooth geometry the tool profile has been established.
    Artykuł przedstawia model matematyczny kształtowej obróbki uzębień walcowych przekładni zębatych o kołowo-łukowym zarysie zębów typu Nowikowa za pomocą narzędzi krążkowych. Przykładami takich narzędzi mogą być frez krążkowy lub ściernica. Ponadto wyznaczono zarysy narzędzi na podstawie zadanej geometrii kół zębatych o wklęsłym i wypukłym zarysie zębów.
    Źródło:
    Zeszyty Naukowe. Transport / Politechnika Śląska; 2016, 90; 137-147
    0209-3324
    2450-1549
    Pojawia się w:
    Zeszyty Naukowe. Transport / Politechnika Śląska
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Development of the Mathematical models of the integral drilling indices based on the Dimensional analysis
    Autorzy:
    Moisyshyn, V.
    Borysevych, B.
    Yytyaz, O.
    Gavryliv, Y.
    Powiązania:
    https://bibliotekanauki.pl/articles/299197.pdf
    Data publikacji:
    2014
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    axial static load on the well bottom-hole
    angular speed of the drill bit rotation
    mathematical model
    mechanical drilling speed
    average value of torque on the bit
    energy intensity for the rock destruction process on the well bottom-hole
    stiffness and damping of the drilling tools
    Opis:
    The dimensional analysis method was used to estimate the influence of the axial static load on the bottom-hole, angular speed of the drill bit rotation, stiffness, and damping of the drilling tools on the integral indices of well drilling. The mathematical models of the mechanical drilling speed, average values of torque on the bit, and energy consumption for the rock destruction process on the well bottom-hole were developed for two interlayers of the Vorotyshchenska formation with the hardness of 1440 and 2050 MPa.
    Źródło:
    AGH Drilling, Oil, Gas; 2014, 31, 3; 431-440
    2299-4157
    2300-7052
    Pojawia się w:
    AGH Drilling, Oil, Gas
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Implementacja modeli systemów paliwowo-energetycznych w infrastrukturze PLGrid Plus
    Implementation of Energy Modeling Systems in the PLGrid Plus Infrastructure
    Autorzy:
    Mirowski, T.
    Kamiński, J.
    Wyrwa, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/282339.pdf
    Data publikacji:
    2014
    Wydawca:
    Polska Akademia Nauk. Instytut Gospodarki Surowcami Mineralnymi i Energią PAN
    Tematy:
    krajowy system elektroenergetyczny
    modelowanie matematyczne
    badania długookresowe
    polityka energetyczna
    obliczenia dużej skali
    e-science infrastructure
    energy sector tools
    PLGrid Plus
    National Power System
    mathematical modeling
    large scale computing
    Opis:
    W artykule przedstawiono krótką analizę specjalistycznych usług IT przeznaczonych dla sektora energetyki. Usługi te opierają się na matematycznych modelach systemów paliwowo-energetycznych, które dzięki implementacji w infrastrukturze PLGrid oraz łatwemu interfejsowi użytkownika pozwalają na wykonywanie symulacji zarówno specjalistom zajmującym się modelowaniem, jak i mniej zaawansowanym użytkownikom. Przeanalizowano również infrastrukturę PLGrid, która została utworzona z pięciu największych w Polsce ośrodków obliczeniowych w celu zapewnienia możliwości prowadzenia badań opierając się na symulacjach komputerowych i obliczeniach w różnych dziedzinach e-Science.
    This paper presents a brief characterization of advanced IT services dedicated to the power sector. The services based on computer models are user friendly both for advanced specialists and ordinary users. They are implemented in PLGrid structures so that users can more quickly perform calculations. The article describes the PLGrid infrastructure, which is made up of five main supercomputing centers in Poland to provide the Polish scientific community with an IT platform based on computer clusters, enabling research in various domains of e-Science.
    Źródło:
    Polityka Energetyczna; 2014, 17, 4; 217-223
    1429-6675
    Pojawia się w:
    Polityka Energetyczna
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Model of people evacuation from a road tunnel
    Autorzy:
    Matis, P.
    Spalek, J.
    Powiązania:
    https://bibliotekanauki.pl/articles/393385.pdf
    Data publikacji:
    2012
    Wydawca:
    Polskie Stowarzyszenie Telematyki Transportu
    Tematy:
    tunel drogowy
    ewakuacja ludzi
    pożar
    narzędzia matematyczne
    road tunnel
    evacuation of people
    fire
    mathematical tools
    Opis:
    This paper deals with the evacuation from a road tunnel. We have focused on the possibilities of using technological equipment for evacuation of people. The first part deals with the definition of the evacuation issue. The evacuation of people comes when an accident is found. It consists of informing people in a tunnel and providing possibilities for evacuation. At this moment, the technological equipment of road tunnel plays an important role. Using it, we can reduce the time needed to people in the tunnel to start their evacuation. The next part aims at presenting a mathematical tool, which is used to calculate the evacuation time. This will be employed to create a model of evacuation. The conclusion contains a design of the evacuation model. We compare two types of models. The first is called a hydraulic model, which is a form of the current model. This model is a mathematical expression of the behaviour of people. The second type of model is called an individual model. It is a microscopic model, which takes into account an individual human behaviour. This model will be used to create and display the simulation of the evacuation. Models will provide a quantitative numerical output and a graphical output in the form of graphs.
    Źródło:
    Archives of Transport System Telematics; 2012, 5, 2; 20-25
    1899-8208
    Pojawia się w:
    Archives of Transport System Telematics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Spindle - system sztywności wrzeciona SBL 500 CNC
    Spindle - housing system SBL 500 CNC
    Autorzy:
    Šooš, L.
    Powiązania:
    https://bibliotekanauki.pl/articles/301770.pdf
    Data publikacji:
    2008
    Wydawca:
    Polska Akademia Nauk. Polskie Naukowo-Techniczne Towarzystwo Eksploatacyjne PAN
    Tematy:
    wrzeciennik
    system sztywności wrzeciona
    łożyska kulkowe z kątowym kontaktem
    przyrządy maszyn
    tokarka
    analiza statyczna
    analiza dynamiczna
    modele matematyczne
    dokładność
    wydajność produkcji
    headstock
    spindle-housing system
    ball bearings with angular contact
    machine tools
    lathe
    static analysis
    dynamic analysis
    mathematical models
    accuracy
    productivity
    Opis:
    Obrotowy wrzeciennik (SH) obrabiarek odgrywa główną rolę w uzyskiwaniu wymaganej dokładności eksploatacyjnej i wydajności produkcji. Radialne łożyska kulkowe z kątowym kontaktem są obecnie coraz częściej stosowane w oprzyrządowaniu. Analiza systemu sztywności wrzeciennika - Spindle (SHS) jest bardzo złożona i skomplikowana. Kompleksowa analiza wymaga głębokiej wiedzy z matematyki, mechaniki, części maszyn, elastochydrodynamiki, techniki ruchu obrotowego i umiejętności programowania. Moduł programowy (SW) - Headstock Spindle - został zweryfikowany na Wydziale Inżynierii Produkcji przy projektowaniu precyzyjnego wrzeciona tokarki SBL 500 CNC.
    Źródło:
    Eksploatacja i Niezawodność; 2008, 2; 53-56
    1507-2711
    Pojawia się w:
    Eksploatacja i Niezawodność
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-10 z 10

      Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies