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ę "finite" wg kryterium: Wszystkie pola

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 119
Tytuł:
Speed Targeted Minimization of Finite State Machines for CPLDs
Autorzy:
Klimowicz, A.
Powiązania:
https://bibliotekanauki.pl/articles/114138.pdf
Data publikacji:
2018
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
finite state machines
minimization
logic synthesis
performance
speed
Opis:
A method of the minimization finite state machines (FSM) is proposed. In this method, such optimization criterion as the critical delay path is taken into account already at the stage of minimizing internal states. The method is based on sequential merging of two internal states including the optimization criteria. The critical path is estimated for CPLD devices. In addition, the proposed method allows one to minimize the number of transitions and input variables of the FSM. Experimental results shows, that the maximum clock frequency of minimized FSMs is higher by 17% comparing to initial FSM.
Źródło:
Measurement Automation Monitoring; 2018, 64, 1; 5-7
2450-2855
Pojawia się w:
Measurement Automation Monitoring
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A comparative analysis of two parallel algorithms for finite language decomposition
Analiza porównawcza dwóch równoległych algorytmów dekompozycji języków skończonych
Autorzy:
Jastrząb, T.
Powiązania:
https://bibliotekanauki.pl/articles/153372.pdf
Data publikacji:
2014
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
parallel algorithms
finite languages
finite languages decomposition
algorytmy równoległe
języki skończone
dekompozycja języków skończonych
Opis:
A finite language is said to possess a non-trivial decomposition if it can be represented as a catenation of two non-empty languages. In this paper two parallel versions of a known sequential algorithm for finding the decomposition of finite languages are proposed. The effectiveness of the algorithms is estimated based on the experimental results obtained for several sample languages.
Problem dekompozycji języków skończonych jest rozstrzygalny, chociaż trudny do rozwiązania. Problem sprowadza się do wyznaczenia pary niepustych języków skończonych L1, L2, takich że w wyniku operacji ich złożenia powstaje język wejściowy. Każdy język skończony posiada dekompozycję trywialną, a oprócz niej zero lub więcej dekompozycji nietrywialnych. Ze względu na brak algorytmu pozwalającego na wyznaczenie zbioru dekompozycji dla dowolnego języka, w artykule zaproponowano rozwiązanie oparte na przeszukiwaniu wyczerpującym z obcinaniem przestrzeni rozwiązań. Artykuł przedstawia dotychczasowe próby rozwiązywania problemu dekompozycji języków skończonych z wykorzystaniem algorytmów sekwencyjnych (rys. 1) oraz równoległych (rys. 2 i 3). Na podstawie znanych algorytmów opracowano ulepszone wersje algorytmu równoległego (rys. 4 i 5). W zaproponowanym rozwiązaniu skoncentrowano się na minimalizacji narzutu czasowego wynikającego z komunikacji pomiędzy procesami. Dokonana ocena efektywności opracowanych algorytmów oparta została o pomiary czasu wykonania dla implementacji z użyciem biblioteki MPI. Uzyskane wyniki (tab. 1), a w szczególności przyspieszenia pozwalają na ocenę rozwiązań jako nie w pełni zadowalających, w odniesieniu do wykorzystanej liczby procesorów.
Źródło:
Pomiary Automatyka Kontrola; 2014, R. 60, nr 6, 6; 350-353
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modelling conveyor belt passage with a driving drum using finite element methods
Autorzy:
Mikušová, N.
Milľo, S.
Powiązania:
https://bibliotekanauki.pl/articles/102488.pdf
Data publikacji:
2017
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
belt conveyor
belt
finite element method
Opis:
Finite element methods are used in many disciplines for the development of products, typically in mechanical engineering (for example in automotive industry, biomechanics, etc.). Some modern programs of finite element methods have specific tools (electromagnetic, fluid and structural simulations). The finite elements methods allow detailed presentation of structures by bending or torsion, complete design, testing and optimization before the prototype production. The aims of this paper were model a conveyor belt passage with a driving drum. The model was created in Abaqus CAE program. The created model presented data about forces, pressures, and deformation of the conveyor belt.
Źródło:
Advances in Science and Technology. Research Journal; 2017, 11, 4; 239-246
2299-8624
Pojawia się w:
Advances in Science and Technology. Research Journal
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Minimization of finite state machines by states merging
Autorzy:
Salauyou, V.
Powiązania:
https://bibliotekanauki.pl/articles/114664.pdf
Data publikacji:
2016
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
finite state machine
minimization
state merging
FSM transitions
FSM input variables
digital systems
Opis:
The paper presents a method for minimization of finite state machines (FSMs) with unspecified values of output variables. The proposed method is based on merging of two states. In addition to reduction of the FSM states, the method also allows reducing the number of FSM transitions and FSM input variables. This method enables reducing the number of internal states of the initial FSM by 1.22 times on the average, and by 2.75 times on occasion. An average reduction of the number of FSM transitions makes up 1.32 times, and on occasion may amount to 2.27 times. The comparison of the method with the program STAMINA shows that the offered method allows decreasing the number of FSM transitions by 1.55 times on the average, and by 3.92 times on occasion.
Źródło:
Measurement Automation Monitoring; 2016, 62, 5; 179-181
2450-2855
Pojawia się w:
Measurement Automation Monitoring
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Structural analysis of articular cartilage of the hip joint using finite element method
Autorzy:
Karpiński, R.
Jaworski, Ł.
Zubrzycki, J.
Powiązania:
https://bibliotekanauki.pl/articles/102504.pdf
Data publikacji:
2016
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
hip joint
pelvis
femur
cartilage
finite element method
Opis:
The paper presents the results of a preliminary study on the structural analysis of the hip joint, taking into account changes in the mechanical properties of the articular cartilage of the joint. Studies have been made due to the need to determine the tension distribution occurring in the cartilage of the human hip. These distribution are the starting point for designing custom made human hip prosthesis. Basic anatomy, biomechanical analysis of the hip joint and articular cartilage are introduced. The mechanical analysis of the hip joint model is conducted. Final results of analysis are presented. Main conclusions of the study are: the capability of absorbing loads by articular cartilage of the hip joint is preliminary determined as decreasing with increasing degenerations of the cartilage and with age of a patient. Without further information on changes of cartilage’s mechanical parameters in time it is hard to determine the nature of relation between mentioned capability and these parameters.
Źródło:
Advances in Science and Technology. Research Journal; 2016, 10, 31; 240-246
2299-8624
Pojawia się w:
Advances in Science and Technology. Research Journal
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Finite Elements Strenght Analysis of a Compressor Consisting of Four Helical Rotors
Autorzy:
Nieoczym, Aleksander
Szklarek, Karol
Powiązania:
https://bibliotekanauki.pl/articles/102611.pdf
Data publikacji:
2018
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
modal analysis
finite elements analysis
rotary-screw
compressor
analiza modalna
analiza elementów skończonych
śruba obrotowa
sprężarka
Opis:
The present article reports the results of tests of a compressor consisting of four helical rotors. Finite element strength analysis of rotors with varied screw thread pitch was performed. The analysis allowed us to determine the stress-strain state of the rotor material and deformation of rotors as an effect of loads generated during operation of the compressor. The analysis also made it possible to calculate the frequencies of the free vibrations of the rotors.
Źródło:
Advances in Science and Technology. Research Journal; 2018, 12, 1; 1-8
2299-8624
Pojawia się w:
Advances in Science and Technology. Research Journal
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Finite-state State Machines Minimization by Using of Values of Input Variables at State Assignment
Autorzy:
Salauyou, V.
Ostapczuk, M.
Powiązania:
https://bibliotekanauki.pl/articles/114436.pdf
Data publikacji:
2017
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
finite state machine (FSM)
programmable gate array (FPGA)
state assignment
area minimization
state splitting
Opis:
In this paper, we propose a method of FSM synthesis on field programmable gate arrays (FPGAs) when input variables are used for state assignment. For this purpose we offer a combined structural model of class A and class E FSMs. This paper also describes in detail algorithms for synthesis a class AE FSM which consists of splitting of internal states for performance of necessary conditions for synthesis of the class E FSM and state assignment of the class AE FSM. It is shown that the proposed method reduces the area for all families of FPGAs by a factor of 1.19…1.39 on average and by a factor of 3.00 for certain families.
Źródło:
Measurement Automation Monitoring; 2017, 63, 5; 195-197
2450-2855
Pojawia się w:
Measurement Automation Monitoring
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Convergence Analysis of Finite Element Approach to Classical Approach for Analysis of Plates in Bending
Autorzy:
Niyonyungu, Ferdinand
Karangwa, Jules
Powiązania:
https://bibliotekanauki.pl/articles/103013.pdf
Data publikacji:
2019
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
classical methods
finite elements
bending plates
bending moment
RISA
metody klasyczne
elementy skończone
blachy gnące
moment zginający
Opis:
Classical approach is a popular method used in the analysis of structures including bending plates, but these plates can have highly irregular geometry and contain holes or may be subjected to loading irregularity. Hence, the analysis is further complicated and the classical approaches are not valid. Thus, the Finite Element Method is used to control the accuracy and it is needed for more difficult problems. In the present study Fourier series theory as classical approach and finite element method of analysis were discussed and the numerical examples of a simply supported and fixed supported square steel plate were used to compare them. The results obtained with general public software LISA that uses FEM was plotted according to the element types, both quadrangular and triangular. Their convergence was verified with the values obtained from classical approach to validate the results of FEM from LISA. The results showed the conformity with the existing theories that the greater discretization the more the reality is approached. The convergence error of 5% was taken as the maximum for the element types and meshes to be used for highly sophisticated plate systems. The ratios of element size to the size of the whole square plate to be used for general cases of square plate dimensions were established.
Źródło:
Advances in Science and Technology. Research Journal; 2019, 13, 4; 170-180
2299-8624
Pojawia się w:
Advances in Science and Technology. Research Journal
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Finite Element Modelling of a Pair of Flexible Elements Contact Preloaded and Externally Loaded with an Arbitrary Force
Autorzy:
Grzejda, Rafał
Powiązania:
https://bibliotekanauki.pl/articles/103248.pdf
Data publikacji:
2020
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
contact joint
non-linearity
finite element method
preload
połączenie stykowe
nieliniowość
metoda elementów skończonych
wstępne ładowanie
Opis:
In the paper, the numerical tests of the contact of a pair of flexible elements were presented. The non-linear phenomena occurring in the contact zone of two elements have been considered separately for the assembly and operational condition of the joint. The physical and mathematical models of the contact joint created using the finite element method were proposed. The contact joint is treated as a system composed of the subsystems: two of them are joined elements and the third one is the contact layer between the elements. The calculations results for the selected contact joint were given.
Źródło:
Advances in Science and Technology. Research Journal; 2020, 14, 3; 118-124
2299-8624
Pojawia się w:
Advances in Science and Technology. Research Journal
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wspólny model automatu skończonego w minimalizacji poboru mocy
Finite state machine common model in power minimisation
Autorzy:
Grześ, T.
Powiązania:
https://bibliotekanauki.pl/articles/154745.pdf
Data publikacji:
2010
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
model wspólny automatu skończonego
minimalizacja poboru mocy
kodowanie stanów automatu
finite state machine common model
power minimisation
state assignment
Opis:
W artykule przedstawiono wyniki badań algorytmu minimalizacji poboru mocy wykorzystującego wspólny model automatu klas ADE. Nowe modele strukturalne stanowią rozwinięcie klasycznych automatów Mealy'ego i Moore'a. Pozwalają na wykorzystanie szczególnych cech układów programowalnych przy syntezie układów sekwencyjnych. Jedną z możliwości jest zastosowanie przerzutników w buforach wejściowych i wyjściowych w charakterze elementów pamięci. Wyniki badań wykazały bardzo wysoką skuteczność nowego algorytmu.
The paper presents a new algorithm of the power consumption minimisation based on a common model of the finite state machine (FSM) of class ADE. The classic algorithms of the state assignment for power minimisation such as column-based [1], annealing [4], sequential [8] or genetic [2] are based on the general model of FSM (Mealy or Moore). They do not take into account specific features of contemporary programmable logic devices (PLD). The new structural models of FSMs are an extension of Mealy and Moore automata. The proposed algorithm is based on the common model of the finite state machine of class ADE. This paper consists of four paragraphs. The first one is an introduction to the power minimisation problem and shows why the new structural models of FSM can be used as a solution. In the second paragraph there is a detailed description of the common model of FSM of classes ADE (Fig. 1) and discussion on the power dissipation in the common model. The third paragraph describes the algorithm of state assignment that uses the features of the common model of FSM of class ADE. The fourth chapter presents the results of investigations on the new algorithm. These results show very high effectiveness of the new algorithm. In addition, power dissipation depends significantly on the algorithm used for encoding variables ei from the set E as well as increasing number of additional variables ei.
Źródło:
Pomiary Automatyka Kontrola; 2010, R. 56, nr 7, 7; 772-774
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Algorytm kodowania stanów wewnętrznych automatu skończonego minimalizujący pobór mocy
Finite state machine state assignment algorithm for low power dissipation
Autorzy:
Kajstura, K.
Kania, D.
Kurytnik, I.
Powiązania:
https://bibliotekanauki.pl/articles/152564.pdf
Data publikacji:
2010
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
kodowanie stanów
pobór mocy
automat skończony
state assignment
power dissipation
finite state machine
Opis:
W artykule przedstawiono nowy algorytm kodowania stanów wewnętrznych automatu skończonego. Głównym zadaniem przedstawionego algorytmu jest minimalizacja poboru mocy w synchronicznych układach sekwencyjnych. Algorytm opiera się na tworzeniu drzewa binarnego, którego węzły powstają na wskutek podziału automatu skończonego. Wysokość drzewa równa jest liczbie bitów słowa kodowego. Wyniki eksperymentów wskazują, że proponowany algorytm prowadzi do zmniejszenia poboru mocy, jak również zmniejszenia powierzchni układu w porównaniu do algorytmów kodowania już opracowanych.
Power consumption has become one of the main issues during the design of embedded systems and VLSI circuits in the recent years, due to the continuous increase in the integration level and the operating frequency. The largest fraction of power consumption in CMOS circuits is caused by signal switches. This paper presents a new algorithm for FSM encoding. The main task of the presented algorithm is to minimise power consumption in synchronous se-quential circuits. The algorithm is based on creating a binary tree whose nodes are created by sharing a finite state automaton. The tree height is equal to the number of bits of code words. The algorithm uses the FSM probabilistic model to obtain state encoding that minimise the number of signal transitions. The algorithm has been applied to the MCNC benchmark circuits and has also been compared with other encoding approaches. The experiment results show that the proposed algorithm reduces the power consumption, as well as the circuit area compared to the state encoding algorithms already developed.
Źródło:
Pomiary Automatyka Kontrola; 2010, R. 56, nr 8, 8; 987-989
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Factors affecting the mechanical properties of compact bone and miniature specimen test techniques: a review
Autorzy:
Chittibabu, V.
Rao, S. K.
Rao, G. P.
Powiązania:
https://bibliotekanauki.pl/articles/103085.pdf
Data publikacji:
2016
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
mechanical properties
compact bone
miniature specimen
small punch test
finite element simulation
inverse finite element procedure
Opis:
This paper presents the review concerning mechanical properties of bone and the miniature specimen test techniques. For developing a realistic understanding of how factors such as moisture content, mineralization, age, species, location, gender, rate of deformation etc. affect the mechanical properties of bone, it is critical to understand the role of these factors. A general survey on existing research work is presented on this aspect. The essential features of miniature specimen test techniques are described, along with the application of small punch test method to evaluate the mechanical behavior of materials. The procedure for the determination of tensile and fracture properties, such as: yield strength, ultimate strength, ductility, fracture toughness etc. using small punch test technique have been described. The empirical equations proposed by various investigators for the prediction of tensile and fracture properties are presented and discussed. In some cases, the predictions of material properties have been essentially made through the finite element simulation. The finite element simulation of miniature specimen test technique is also covered in this review. The use of inverse finite element procedure for the prediction of uniaxial tensile constitutive behaviour of materials is also presented.
Źródło:
Advances in Science and Technology. Research Journal; 2016, 10, 32; 169-183
2299-8624
Pojawia się w:
Advances in Science and Technology. Research Journal
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Metody kodowania stanów wewnętrznych automatu skończonego minimalizujące pobór mocy
The State Assignment of Finite State Machine for Minimizing the Power Dissipation
Autorzy:
Salauyou, V.
Grześ, T.
Powiązania:
https://bibliotekanauki.pl/articles/155646.pdf
Data publikacji:
2007
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
automat skończony
pobór mocy
kodowanie stanów wewnętrznych
finite state machine
power dissipation
state assignment
Opis:
Opisano badania trzech algorytmów kodowania stanów wewnętrznych automatu skończonego: algorytmu kodowania kolumnowego, algorytmu "wyżarzania" oraz algorytmu sekwencyjnego. Głównym zadaniem wymienionych algorytmów jest zakodowanie stanów wewnętrznych automatu skończonego w taki sposób, aby moc pobierana przez automat skończony była jak najmniejsza. Badania eksperymentalne, które przeprowadzono na standardowych układach testowych, potwierdziły wyższość opracowanego przez autorów algorytmu sekwencyjnego.
The reduction of the power dissipation is of extreme importance for mobile, battery-operated systems as well as for increasing the speed and performance of the digital systems. Based on the CMOS gate model we can prove that power dissipation depends on the applied assignment. Thus using the particular state assignment method lead to minimization of the power dissipation. In this paper three algorithms of the FSM internal states assignment were described: column-based, annealing and sequential. The main aim of those algorithms were to minimize the power dissipation in the sequential circuits by assigning the state codes with as minimal Hamming distance as possible. Experimental results show that sequential algorithm can reduce about 10% more power than other discussed algorithms.
Źródło:
Pomiary Automatyka Kontrola; 2007, R. 53, nr 7, 7; 112-114
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
FSM state merging for low power
Autorzy:
Salauyou, V.
Powiązania:
https://bibliotekanauki.pl/articles/114448.pdf
Data publikacji:
2015
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
finite state machine
low power
merging
internal states
Opis:
A method of finite state machine (FSM) minimization for low power by merging FSM internal states is considered. The general algorithm for the minimization of FSM power consumption by means of merging two states is presented. The algorithm of the merging possibility of two states and the actual algorithm merging of two states for incompletely specified Mealy FSMs are given. In the conclusions, the possible directions of development of this approach are specified.
Źródło:
Measurement Automation Monitoring; 2015, 61, 7; 337-339
2450-2855
Pojawia się w:
Measurement Automation Monitoring
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Metoda kodowania stanów automatów sekwencyjnych prowadząca do redukcji poboru mocy
A state assignment method oriented towards reduction of power consumption in finite state machines
Autorzy:
Kajstura, K.
Kania, D.
Powiązania:
https://bibliotekanauki.pl/articles/154728.pdf
Data publikacji:
2010
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
kodowanie stanów
pobór mocy
automat skończony
state assignment
power dissipation
finite state machine
Opis:
W artykule przedstawiono algorytm kodowania stanów wewnętrznych automatu skończonego. Istota algorytmu tkwi w minimalizacji poboru mocy synchronicznych układów sekwencyjnych. Algorytm opiera się na tworzeniu drzewa binarnego, którego węzły powstają na wskutek dekompozycji automatu skończonego. Wyniki eksperymentów wskazują, że proponowany algorytm prowadzi do zmniejszenia poboru mocy w porównaniu do algorytmów kodowania już opracowanych. Obserwowane jest również zmniejszenie powierzchni układu.
Power dissipation has become one of the main issues during em-bedded systems design in the recent years, due to the continuous increase of the integration level and the operating frequency. The largest fraction of power consumption in CMOS circuits is caused by signal switches. This paper presents a new algorithm for FSM encoding. The aim of this algorithm is to minimise power consumption of synchronous sequential circuits. The algorithm is based on creating a binary tree whose nodes are created by partitioning a finite state automaton. The algorithm uses the probabilistic model of an FSM to obtain state encoding minimising the number of signal transitions. The algorithm has been applied to the MCNC benchmark circuits and has also been compared to other encoding approaches. The experimental results show that the proposed algorithm leads to the reduction in power consumption compared to the state encoding algorithms already developed. The reduction of the circuit area is observed, too.
Źródło:
Pomiary Automatyka Kontrola; 2010, R. 56, nr 7, 7; 718-720
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 119

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