Ograniczanie wyników
Czasopisma help
Autorzy help
Lata help
Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 30

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

help Ogranicz wyniki do:
first rewind previous Strona / 2 next fast forward last
EN
Purpose: This paper aims to decide the Sm-Co alloy’s maximum energy product prediction task based on the boosting strategy of the ensemble of machine learning methods. Design/methodology/approach: This paper examines an ensemble-based approach to solving Sm-Co alloy’s maximum energy product prediction task. Because classical machine learning methods sometimes do not supply acceptable precision when solving the regression problem, the authors investigated the boosting ML model, namely Gradient Boosting. Building a boosting model based on several weak submodels, each of which considers the errors of the prior ones, provides substantial growth in the accuracy of the problem-solving. The obtained result is confirmed using an actual data set collected by the authors. Findings: This work demonstrates the high efficiency of applying the ensemble strategy of machine learning to the applied problem of materials science. The experiments determined the highest accuracy of solving the forecast task for the maximum energy product of Sm-Co alloy formed on the boosting model of machine learning in comparison with classical methods of machine learning. Research limitations/implications: The boosting strategy of machine learning, in comparison with single algorithms of machine learning, requires much more computational and time resources to implement the learning process of the model. Practical implications: This work demonstrated the possibility of effectively solving Sm-Co alloy’s maximum energy product prediction task using machine learning. The studied boosting model of machine learning for solving the problem provides high accuracy of prediction, which reveals several advantages of their use in solving issues applied to computational material science. Furthermore, using the Orange modelling environment provides a simple and intuitive interface for using the researched methods. The proposed approach to the forecast significantly reduces the time and resource costs associated with studying expensive rare earth metals (REM)-based ferromagnetic materials. value: The authors have collected and formed a set of data on predicting the maximum energy product of the Sm-Co alloy. We used machine learning tools to solve the task. As a result, the most increased forecasting precision based on the boosting model is demonstrated compared to classical machine learning methods.
EN
Multiple Input Multiple Output (MIMO (techniques use multiple antennas at both transmitter and receiver for increasing the channel reliability and enhancing the spectral efficiency of wireless communication system.MIMO Spatial Multiplexing (SM) is a technology that can increase the channel capacity without additional spectral resources. The implementation of MIMO detection techniques become a difficult mission as the computational complexity increases with the number of transmitting antenna and constellation size. So designing detection techniques that can recover transmitted signals from Spatial Multiplexing (SM) MIMO with reduced complexity and high performance is challenging. In this survey, the general model of MIMO communication system is presented in addition to multiple MIMO Spatial Multiplexing (SM) detection techniques. These detection techniques are divided into different categories, such as linear detection, Non-linear detection and tree-search detection. Detailed discussions on the advantages and disadvantages of each detection algorithm are introduced. Hardware implementation of Sphere Decoder (SD) algorithm using VHDL/FPGA is also presented.
PL
W artykule krótko przedstawiono historię odkrywania poszczególnych magnesów stałych, takich jak Alnico, Sm-Co, ferryty i NdFeB oraz zmiany w ich kształtach. Podano krótką charakterystykę magnesów wraz z ich zastosowaniem. Największą uwagę skupiono na magnesach NdFeB. Dla nich przedstawiono schematycznie metody otrzymywania. Dla wspomnianych magnesów porównano wielkość ich produkcji w latach 1997-2015. Dla magnesów NdFeB przedstawiono także głównych producentów w latach 2012 i 2015. Przedstawiono perspektywy produkcji magnesów trwałych, głównie ferrytów i NdFeB w kolejnych latach oraz dostępność metali ziem rzadkich.
EN
The article briefly presents the history of discovering particular permanent magnets, such as Alnico, Sm-Co, ferrites and NdFeB, as well as changes in their shapes. A short characteristic of the magnets with their application is also included. The focus was put on NdFeB magnets. For them, the methods of obtaining have been schematically shown. For the mentioned magnets, the amount of production was compared in 1997-2015. The main producers of NdFeB magnets in 2012 and 2015 were also given. Perspectives for the production of permanent magnets, mainly ferrites and NdFeB in the following years, together with the availability of rare earth metals were presented.
PL
W artykule przedstawiono wyniki badań podstawowych parametrów fizycznych i mechanicznych betonu asfaltowego (AC 8S) wytwarzanego w obniżonych temperaturach w technologii asfaltu spienionego, zagęszczanego w temperaturze 95ºC, rozszerzone o ocenę wrażliwości temperaturowej mieszanki mineralno-asfaltowej. W celach porównawczych zaprezentowano wyniki badań mieszanki referencyjnej, tj. produkowanej w tradycyjnej technologii „na gorąco”, zagęszczanej w temperaturze 140ºC. W referencyjnej mieszance AC 8S stosowano asfalt 50/70, natomiast w mieszane wytwarzanej w obniżonych temperaturach użyto asfaltu 50/70 modyfikowanego woskiem syntetycznym Fischera-Tropscha (FT). Na podstawie uzyskanych wyników dokonano porównania obu mieszanek w zakresie zawartości wolnych przestrzeni w próbkach, wrażliwości na oddziaływanie wody z jednym cyklem zamrażania (ITSR) zgodnie z krajowymi procedurami badawczymi zamieszczonymi w Wymaganiach Technicznych WT-2 z 2010 r. i WT-2 z 2014 r., oraz modułów sztywności (Sm) oznaczonych w schemacie pośredniego rozciągania (IT-CY) pomierzonych w temperaturze -10ºC, 0ºC, 10ºC i 25ºC. Ponadto, w ramach analiz potwierdzono zależności między zawartością wolnych przestrzeni a wybranymi parametrami mechanicznymi rozpatrywanych mieszanek mineralno-asfaltowych. Stwierdzono, że beton asfaltowy wytwarzany w innowacyjnym procesie z zastosowaniem asfaltu spienionego modyfikowanego woskiem FT, zagęszczany w 95ºC uzyskał porównywalne właściwości do tradycyjnej mieszanki mineralno-asfaltowej zagęszczanej w temperaturze o 45ºC wyższej, spełniając przy tym krajowe wymagania.
EN
The article presents the results obtained from testing of asphalt concrete with foamed bitumen produced and compacted at lowered temperatures. The basic physical characteristics along with moisture resistance and stiffness moduli performance in different testing temperatures of a total of three mixes are shown. A reference hot-mix is compared with two low temperature mixes: one based on neat 50/70 bitumen and a second based on a Fischer-Tropsch wax modified binder. The results show that it is possible to produce a low temperature mix that is performing as well as the reference mixture.
6
Content available remote Surrogate-based multi-objective optimization of compact microwave couplers
EN
This work presents a rigorous methodology for expedited simulation-driven multi-objective design of microwave couplers with compact footprints. The proposed approach is a viable alternative for computationally expensive population-based metaheuristics and exploits a surrogate-assisted point-by-point Pareto set determination scheme that utilizesfor the sake of computational efficiencyspace-mapping-corrected equivalent circuit models. The technique is showcased using a complex design example of a compact rat-race coupler, for which a set of nine alternative design solutions is efficiently identified. The latter illustrate the best possible trade-offs between conflicting design objectives for the structure at hand, that is, operational bandwidth and layout area. The overall design cost corresponds to approximately twenty high-fidelity electromagnetic simulations of the miniaturized coupler.
PL
W pracy zaprezentowano metodologię projektowania kompaktowych sprzęgaczy mikrofalowych w oparciu o efektywną numerycznie analizę wielokryterialną. Proponowane podejście stanowi atrakcyjną alternatywę dla populacyjnych metod metaheurustycznych i polega na wyznaczeniu poszczególnych rozwiązań Pareto-optymalnych poprzez jednokryterialną optymalizację z ograniczenami, wykorzystującą modele obwodowe i metodę odwzorowania przestrzeni. Przykładem zastosowania przedstawionej metody jest projekt zminiaturyzowanego sprzęgacza pierścieniowego, dla którego wyznaczono dziewięć konkurencyjnych rozwiązań układowych, przedstawiających kompromis pomiędzy sprzecznymi kryteriami projektowymi, tj. pasmem pracy i powierzchnią struktury. Całkowity koszt projektowania nie przekracza dwudziestu symulacji elektromagnetycznych zminiaturyzowanego sprzęgacza mikrofalowego.
EN
This work discusses design optimization of quasi-periodic slow-wave structures in the context of wideband branch-line coupler miniaturization. Size reduction is achieved by using slow-wave structures as substitutes for conventional transmission lines that constitute a reference circuit. Selection of a specific cell realization as well as determination of a repetition factor of the quasi-periodic slow-wave structure is accomplished by optimization-based theoretical studies. The principal design procedure involves cell optimization using electromagnetic simulations, local response surface approximation modeling of the single cell, and surrogate-based optimization of the slow-wave structure composed of cascaded cell approximation models. Surrogatebased design closure is applied to account for T-junction effects neglected throughout the design process. The final coupler exhibits a high-performance operation over a 31% bandwidth and occupies only 1/3 of the reference circuit area.
PL
W pracy omówiono problem optymalizacji quasi-periodycznych struktur ze spowolnieniem fali w kontekście miniaturyzacji szerokopasmowego sprzęgacza gałęziowego. Redukcja powierzchni została osiągnięta poprzez zastosowanie struktur ze spowolnieniem fali jako zamienników dla konwencjonalnych linii transmisyjnych, które są podstawowymi elementami składowymi obwodu referencyjnego. Połączenie kaskadowe kilku komórek ze spowolnieniem fali umożliwia uzyskanie szerokiego pasma pracy kompletnej struktury. Wybór konkretnej realizacji komórki oraz określenie współczynnika powtarzalności dla quasi-periodycznej struktury ze spowolnieniem fali jest przeprowadzone na podstawie badań teoretycznych opartych na optymalizacji. Właściwa procedura projektowania wykorzystuje optymalizację elektromagnetyczną pojedynczej komórki oraz jej lokalne modelowanie aproksymacyjne, a następnie metodę modeli zastępczych do przeprowadzenia efektywnej optymalizacji kaskadowego połączenia lokalnych modeli aproksymacyjnych pojedynczej komórki. Ponadto zastosowano efektywną procedurę strojenia sprzęgacza gałęziowego w celu uwzględnienia efektów łączników typu T. Otrzymana w ten sposób struktura cechuje się wysoką wydajnością oraz pracą szerokopasmową przy zajmowanej powierzchni odpowiadającej 1/3 powierzchni struktury referencyjnej.
PL
Przyszły planowany w CERN zderzacz pierścieniowy FCC ma mieć energię zderzeń wiązki protonowej w centrum masy w obszarze 100 TeV (FCC-pp), w zakresie ok. 0,1-0,4 TeV dla wiązki elektronowej FCC-ee (TLEP), jasność wiązki 1035cm-2s-1 i długość nowego tunelu cylindrycznego (symetrycznego wielokątnego) 100 km. W dziedzinie parametrów ma przekroczyć wszystkie dotychczasowe infrastruktury o co najmniej rząd wielkości. Jego budowa jest planowana w CERN, jako infrastruktury po erze LHC, a więc po roku 2035. Jednak prace nad tym monstrualnym urządzeniem rozpoczynamy już dzisiaj, tak jak pierwsze prace nad LHC i jego detektorami rozpoczęto prawie 30 lat przed przyspieszeniem pierwszej wiązki protonowej w roku 2010. Kolaboracja FCC będzie obejmować co najmniej 10000 osób z ponad 100 krajów, w tym co najmniej sto osób, o ile nie więcej, z naszego kraju. Szczególnie istotny jest udział młodych uczonych, gdyż projekt będzie trwał kilkadziesiąt lat. Projekt FCC obejmuje zderzacz elektronowy, protonowy, jonowy i być może także inne konfiguracje. FCC będzie używał obecny kompleks LHC jako iniektor. Do budowy FCC potrzebne będą nowe magnesy nadprzewodzące dipolowe zakrzywiające wiązkę o polu ok. 20 T i nowe magnesy korygujące i ogniskujące wiązkę - kwadrupole i sekstupole, a także nowe kolimatory, nowe struktury przyspieszające o wielkim gradiencie pola rzędu GV/m, nowe materiały i nowa generacja układów mikrofalowych RF dużej mocy oraz nowe systemy pomiarowe i kontrolne LLRF. Prawie wszystkie rozwiązania muszą być nowe, a więc jest to wyzwanie dla nowej generacji uczonych, także z Polski.
EN
Future planned in CERN circular particle collider FCC is expected to reach collision energy in the range of 100 TeV for proton beams FCC-pp, energy range 0,1–0,4 TeV for electrons FCC-ee (TLEP), beam luminosity 1035cm-2s-1 and will be built in a new tunnel of 100 km in length. In domain of parameters the new infrastructure will beat the existing solutions of at least one order of magnitude. Its building is planned in CERN as an infrastructure of the post-LHC era, thus after 2035. However, the work on this monster machine has just started, similarly to the works on the LHC and its detectors which started nearly 30 years earlier before the first beam was accelerated in 2010. FCC Collaboration will consist of 10000 people from more than 100 countries, including at least 100 researchers if not more from Poland. The most important is the participation of young researchers, because the project will last a few decades. FCC infrastructure embraces ee, pp, ep, and ii colliders, and probably other configurations. FCC will use the existing LHC complex as an injector. To build FCC there are needed new superconducting magnets: dipoles bending the beam with the field 20 T, new correction and focusing magnets - quadrupoles and sextupoles, also new collimators, new accelerating structures of ultimate field gradients in the area of GV/m, new materials, new high power microwave circuits, and new measurement and control LLRF systems. Nearly all solutions have to be new, thus this project is a huge challenge to the new generation of researchers, also originating from Poland.
9
Content available remote On generalized Orlicz sequence spaces defined by double sequences
EN
S.D. Parashar and B. Choudhary defined in 1994 certain paranorms for some Orlicz sequence spaces. Their ideas are applied later for topologization of various generalized Orlicz sequence spaces. The author determines in 2011 some alternative F-seminorms (which are also paranorms) for such spaces. In this paper these results are extended to generalized Orlicz sequence spaces defined via double sequences.
PL
Wyposażenie linii kolejowych w system GSM-R wcale nie oznacza, że na tych liniach zostanie wyłączony z eksploatacji istniejący system radiokomunikacji VHF. W okresie migracji będą w dalszym ciągu dostępne systemy analogowe ale dodatkowo wyposażone w system SZS. Przyjęta koncepcja migracji z systemu analogowego VHF do cyfrowego GSM-R nakłada na eksploatację dodatkowe obowiązki w stosunku do istniejących. Sprawne zarządzanie tak różnymi systemami wymaga dużego wysiłku organizacyjnego i dobrej klasy fachowców. W artykule zaprezentowano zagadnienia związane z analizą systemów radiołączności eksploatowanych obecnie na kolejach w Polsce. Przeanalizowano wybrane aspekty związane z migracją systemów analogowych do systemu cyfrowego GSM-R. Zaproponowano mechanizmy, których wdrożenie pozwoli na usprawnienie eksploatacji i utrzymaniem sieci GSM-R.
EN
Equipment of rail into GSM-R system does not mean that these lines will be excluded from the exploitation of existing VHF radio communication system . During the migration period will be available the analog systems but additionally equipped with the SZS . Adopted concept of migration from analogue VHF to digital GSM-R imposes additional obligations on the operation in relation to the existing ones. Efficient management of such different systems requires a lot of organizational effort and good quality professionals. The article presents the issues related to the analysis of radio communication systems currently operating on railways in Poland. We analyzed some aspects related to the migration of analog systems to digital system GSM-R. Proposed mechanisms, the implementation of which, will help to improve the operation and maintenance of GSM-R network.
Logistyka
|
2014
|
nr 6
14431--14439, CD 6
PL
W artykule przedstawiono założenia oraz sposób i ideę działania opracowanego symulatora procesów logistycznych simProLOGIC w wersji v.1.03 uwzględniającego strumień materiałów w logistycznym łańcuchu dostaw. Przedstawiono również procesy symulowane w programie i odpowiadające im moduły wraz z parametrami charakteryzującymi je z uwagi na kryteria zarządzania w logistyce. W dalszej części artykułu przedstawiono zaproponowane wskaźniki poziomu obsługi klienta POK oraz wskaźnik SM uwzględniający wielkość sprzedaży w stosunku do sumy zapasów w logistycznym łańcuchu dostaw. Artykuł zawiera również przykładowy przebieg zadania realizowany na symulatorze simProLOGIC oraz wnioski i kierunki dalszych prac związanych z rozwojem programu i rozbudową scenariuszy do analiz w trakcie zajęć dydaktycznych z przedmiotów związanych z logistyką.
EN
In the presented article the assumptions, method and the idea of logistics processes simulator operation simProLOGIC v.1.03 version which takes into account the flow of materials in the logistics supply chain. In article also shown the simulated process and the corresponding modules together with parameters characterizing them due to the logistics management criteria. In the next part of the paper presents the proposed indicators describing customer service levels and the rate of MS takes into account the volume of sales in relation to the amount of inventory in the whole logistics supply chain. A paper also presents an example for the tasks carried out on the simulator simProLOGIC and contains conclusions and directions for further work on the development of the program and the expansion of scenarios for analysis during the course of the subjects related to logistics.
EN
The article contains studies of micro- and domain structures obtained using atomic/magnetic force microscopy (AFM/MFM) of melt-spun Sm12.5Fe8Co65.5Zr1Cu13 thin ribbons in the as-cast state. In order to obtain the SmCo8.5 type of structure in the Sm–Fe–Co–Zr–Cu alloy, thin ribbons were manufactured using the melt-spinning method with large linear velocity of a copper wheel and proper selection of alloying elements. The obtained samples in the as-cast state were magnetized. The microscopic results were also supported by magnetic measurements performed on a vibrating sample magnetometer as well as by a quantitative analysis of phase composition obtained using the Rietveld refinement method.
PL
W artykule przedstawiono nową metodę dekompozycji na składowe automatowe żywych i bezpiecznych sieci Petriego, należących do klasy rozszerzonych sieci swobodnego wyboru (EFC). Metoda polega na przeszukiwaniu grafu sieci, biorąc pod uwagę relację współbieżności pomiędzy miejscami sieci. Przedstawiono i omówiono wyniki wstępnych eksperymentów, które pokazują dużą skuteczność metody względem rozwiązań ogólnie stosowanych, szczególnie w przypadku sieci zawierających wiele miejsc wzajemnie współbieżnych.
EN
In the paper a new method of state machine decomposition of live and safe Petri net that belongs to the Extended Free-Choice class is presented. The method is based on search of the net graph, taking into account concurrency relation between places of the net. The method can be divided into two main steps. In the first one concurrency relation between particular places of the Petri net is computed. Next, the main decomposition process is performed, where subsequent SM-components are calculated. At the first step the method operates on the structure of the net. It is based on the modified algorithm, initially proposed by A.V. Kovalyov in [1]. Such an algorithm permits to find the concurrency relations between places in the Free Choice nets in a polynomial time. Next, the subsequent SM-components are computed. To find each SM-component, a graph-search algorithm is applied. Moreover, the concurrency relation obtained in the first step of proposed method is also taken into account. The method has polynomial computational complexity, unlike most of other methods of such decomposition. It is proved that the first step of an algorithm can be executed in a polynomial time in a case of a Extended Free Choice nets. Furthermore, the graph-search algorithm operates in a linear time, thus the whole decomposition process can be performed in a polynomial time.
PL
W artykule rozważa się problem dekompozycji współbieżnego automatu cyfrowego realizowanego w rekonfigurowalnych strukturach cyfrowych na jego sekwencyjne składowe automatowe. Zaproponowano nową metodę wyznaczania P-inwariantów i pokrycia sieci Petriego, które są bezpieczne, żywe i powracalne. Do wyznaczania P-inwariantów używa się odpowiedniego zadania programowania liniowego, wykorzystując macierz znakowań. Przedstawiono zalety nowej metody w porównaniu do metod bazujących na macierzy incydencji. Zilustrowano praktyczne wykorzystanie metody analizując i dekomponując przykładowe sieci Petriego.
EN
In the paper the problem of concurrent state machine decomposition into a set of sequential state machine subcomponents realized in reconfigurable hardware is considered. The new method of detecting P-invariants from reachability matrix, which cover a safe, live and reversible Petri net is proposed. The linear algebraic approach is used for deriving and selecting the most suitable P-invariants, describing synthesizable components of State Machine Decomposable Net. The advantages of a novel method are demonstrated.
EN
In this paper an efficient and full automated design procedure for substrate integrated waveguide filters based on the implicit space mapping technique is proposed. The space mapping method consists two major steps: a fast coarse model optimization to achieve an initial design and a parameter extraction procedure for aligning the approximate response with reference computations based on more accurate electromagnetic analysis. In this paper a mode matching solver is used for fast computation and the reference results are computed with the finite-difference frequency domain technique. The design technique is successfully applied to design two substrate integrated waveguide (SIW) filters.
PL
W artykule zaprezentowano bardzo efektywną i w pełni zautomatyzowaną procedurę projektowania filtrów w technologii falowodu zintegrowanego z podłożem opartą na technice odwzorowania przestrzeni. Metoda odwzorowania przestrzeni składa się z dwóch głównych etapów. W pierwszym model zgrubny jest optymalizowany w celu osiągnięcia założeń projektowych. Następnie w procedurze ekstrakcji parametrów odpowiedź modelu zgrubnego jest dopasowywana do odpowiedzi uzyskanej z analizy pełnofalowej. W tej pracy do szybkich obliczeń modelu zgrubnego wykorzystano oprogramowanie korzystające z techniki dopasowania modów, natomiast wyniki modelu precyzyjnego uzyskano korzystając z metody różnic skończonych. Skuteczność zaprezentowanej procedury przedstawiono na przykładzie dwóch filtrów zaprojektowanych w technologii falowodu zintegrowanego z podłożem.
EN
In the electromagnetic field simulation of modern servo drives, the computation of higher time and space harmonics is essential to predict torque pulsations, radial forces, ripple torques and cogging torque. Field computation by conformal map ping (CM) techniques is a time-effective method to compute the radial and tangential field components. In the standard CM approach, computational results of cogging torque simulations as well as overload operations observe deviations to nonlinear finite element (FE) simulations due to the neglection of slot leakage and saturation effects. This paper presents an extension of the classical CM. Additional CM parameters are computed from single finite element computations so as to consider both effects listed above in the model over a wide operation range of the electrical drive. The proposed approach is applied to a surface permanent magnet synchronous machine (SM-PMSM), and compared to numerical results obtained by finite element analysis (FEA). An accuracy similar to that of FE simulations is obtained with however the low computation time that is characteristic for analytical models.
17
Content available remote Zastosowanie programowania liniowego do badania sieci Petriego
PL
W literaturze przedmiotu, proponuje się wykorzystywanie metod algebry liniowej (LA) do badania strukturalnych i dynamicznych własności sieci Petriego, zwracając uwagę na zalety techniki ILP (Integer Linear Programming). Bezkrytyczne stosowanie ogólnych, uniwersalnych procedur matematycznych o stosunkowo dużej sprawności obliczeniowej prowadzi jednak do niepotrzebnego wygenerowania dużej liczby zbytecznych rezultatów. Projektant rekonfigurowalnego sterownika logicznego (RLC) zmuszany jest do pracochłonnej selekcji trudnych do intuicyjnego zinterpretowania wyników analizy, nieprzydatnych w trakcie projektowania matrycowego układu cyfrowego. W artykule dokonano krótkiego, krytycznego przeglądu dotychczas stosowanych metod analizy sieci Petriego z wykorzystaniem technik ILP. Pokazano sposób racjonalnego wykorzystania ILP do wyznaczania i efektywnej selekcji inwariantów bezpiecznej sterującej sieci Petriego, z pominięciem jej znakowań pozornych umiejscowionych wśród potencjalnie osiągalnych stanów globalnych i przemieszanych razem z rzeczywistymi stanami globalnymi.
EN
The paper presents a novel part of well known design methodology for Reconfigurable Logic Controllers implementation, which starts from a suitable cover of the control interpreted Petri net by means of the minimal number of its proper state machine (SM) components. The proposed analysis procedure is based both on Integer Linear Programming (ILP) and structural theory of Petri nets. The number of generated P-invariants, treated as candidates for covering all places of the net, is usually too surplus and contains subsets which do not define State Machine components. Some of P-invariants do not properly define state machine components because they have no intersection or they have more then one intersection with real distributed global states of the control interpreted net. Another well known drawback of the known ILP methods is the generation of several spurious global states of Petri net, whih are mixed in potential reachability graph with real global ststes, taken from dynamic reachability graph. The spurious global states shoud be eliminated during matrix calculations and P-invariants that do not define proper state machine components of the net rejected as soon as possible. The paper proposes a noell ILP-based method for finding a minimal number of P-invariants covering the net. The results of the new method can be used for decomposition of the control interpreted Peri net into linked parallel modules or its local state encoding before its direct structured mapping to Hardware Description Languages.
18
Content available remote Badania drgań silników wrzecionowych pamięci masowych
PL
W niniejszym artykule przedstawiono konstrukcję prototypowego stanowiska badawczego przeznaczonego dla badań drgań silników wrzecionowych stosowanych we współczesnych pamięciach masowych (dyskach twardych). Przedstawiono wyniki badań drgań silnika wrzecionowego wyposażonego w łożyska hydrodynamiczne oraz łożyska kulkowe.
EN
In this article the prototype of laboratory test bench devoted to research of vibration of spindle motor used in modern mass storage devices (hard disk drives) is presented. Exemplary results of vibration investigation of spindle motor equipped with hydrodynamic and ball bearings are shown.
PL
W artykule przedstawiono nowy sposób pokrywania bezpiecznej sieci Petriego minimalną liczbą podsieci automatowych. Metoda symboliczna polega na wczesnej selekcji odpowiednich transwersali, stopniowo wyznaczanych dla rodziny maksymalnych podzbiorów współbieżnych miejsc sieci. W przypadku bezpiecznej sterującej sieci Petriego, miejsca traktowane są jako stany lokalne, natomiast ich dopuszczalne konfiguracje określają jej stany globalne. Transwersale wyróżniają podzbiory miejsc niewspółbieżnych, przypisanych do odpowiednich SM-podsieci. Komputerowe wnioskowanie odbywa się w monotonicznym rachunku sekwentów Gentzena. Rezultaty wykorzystywane są podczas syntezy cyfrowych, konfigurowanych sterowników logicznych z zastosowaniem komercjalnego oprogramowania i języków opisu sprzętu.
EN
The paper presents a way of finding a suitable Petri net cover by means of a minimal number of maximal State Machine subnets (SM-components). A new symbolic method of Petri net parallel decomposition is based on early selection of proper minimal transversals, taken from family of all global Petri net states. Global states are given in advance as maximal subsets, formed from mutually concurrent places. They can be found as reachable global states of Petri net. During digital design of a logic controller, the places of the safe Petri net are treated as local internal states of Concurrent State Machine, implemented in a reconfigurable logic device (FPGA). The minimal number of selected transversals, which characterizes subsets of sequentially related places, is assigned to separate State Machine subnets. The computer based reasoning is searching a logic expression describing transversals in Gentzen sequent logic. The obtained decomposition (or cover) is used for state encoding of configurable array based embedded logic controllers, implemented as microsystems.
20
Content available remote Obsługa wyjątków oraz stanów wznowienia w ramach dualnej specyfikacji
PL
Dualna specyfikacja SM-HPN [4] jest alternatywną metodą specyfikacji sterowników cyfrowych, w odróżnieniu do konkurencji silnie opartą na standardach[7]. Diagram maszyny stanów – będący jej modelem elementarnym – umożliwia przedstawienie obsługi wyjątków oraz stanów wznowienia. Hierarchiczna siec´ Petriego – będąca drugim komplementarnym modelem elementarnym – nie posiada takich mechanizmów[3, 5]. W artykule omówiono sposób implementacji wznowienia i wywłaszczenia w hierarchicznej sieci Petriego poprzez wprowadzenie miejsc konfiguracyjnych i spoczynkowych.
EN
Dual specification is an alternative method for the digital logic controller specification, in contrast to the other techniques highly competitive standardsbased. State machine diagram - one of the elementary model - provides exceptions handling and history states. Hierarchical Petri net - which is the second complementary elementary model - has no such mechanisms. The article discusses how to implement the resumption and the expropriation of hierarchical Petri nets by introducing configuration and resting places.
first rewind previous Strona / 2 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ć.