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ę "mikrosystemy" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-14 z 14
    Tytuł:
    Metodyka projektowania mikroaparatów lab-on-a-chip do badań przepływów w naczyniach włosowatych guzów nowotworowych
    Method of designing lab-on-a-chip microsystems for testing the flow in tumor capillaries
    Autorzy:
    Szafran, R.
    Powiązania:
    https://bibliotekanauki.pl/articles/2072335.pdf
    Data publikacji:
    2013
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    lab-on-a-chip
    angiogeneza
    mikroprzepływy
    mikrosystemy
    LOC
    angiogenesis
    microflow
    microsystems
    Opis:
    Praca prezentuje nowy sposób projektowania mikrourządzeń lab on a chip (LOC) do zastosowań w biotechnologii i medycynie. Umożliwia on odwzorowanie dowolnie wybranej struktury naczyniowej, niezależnie od narządu, nowotworu, czy nawet organizmu. W ramach badań opracowano projekt i metodę fabrykacji mikrosystemu symulującego sieć naczyń włosowatych powstających podczas angiogenezy nowotworowej. Opracowano pełną metodykę fabrykacji i łączenia elementów urządzenia.
    The paper presents a new method for the designing of lab-on-a-chip (LOC) microdevices for biotechnology and medicine applications. It makes possible to reproduce the vascular structure, regardless of the organ, tumor or even the body. Methods for designing and fabrication of microsystems for microflow investigations in the network of capillary vessels of cancer tumor were developed. The complete methodology for fabrication and joining of the system is presented.
    Źródło:
    Inżynieria i Aparatura Chemiczna; 2013, 5; 477--478
    0368-0827
    Pojawia się w:
    Inżynieria i Aparatura Chemiczna
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Comparative study on various microbolometer structures
    Autorzy:
    Nazdrowicz, J.
    Szermer, M.
    Maj, C.
    Zabierowski, W.
    Napieralski, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/398009.pdf
    Data publikacji:
    2016
    Wydawca:
    Politechnika Łódzka. Wydział Mikroelektroniki i Informatyki
    Tematy:
    microbolometer
    MEMS
    microsystems
    thermal imaging
    integrated circuits
    mikrobolometr
    mikrosystemy
    obrazowanie termiczne
    układy scalone
    Opis:
    Meaningful progress in the fields of MEMS is associated with the continuous development of the micromachining technologies. One of the most promising devices in MEMS is thermal sensors. When the first microbolometer appeared on the market, a huge interest in thermal detectors was observed. This paper is a short overview study on microbolometer geometry, different solutions and possibilities to implement them as electrical models.
    Źródło:
    International Journal of Microelectronics and Computer Science; 2016, 7, 1; 16-25
    2080-8755
    2353-9607
    Pojawia się w:
    International Journal of Microelectronics and Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Investigation of Electrical Properties for Cantilever-Based Piezoelectric Energy Harvester
    Autorzy:
    Ali, Ahsan
    Pasha, Riffat Asim
    Sheeraz, Muhammad Abdullah
    Butt, Zubair
    Elahi, Hassan
    Khan, Afzaal Ahmed
    Powiązania:
    https://bibliotekanauki.pl/articles/102729.pdf
    Data publikacji:
    2019
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    piezoelectric
    micro-electromechanical systems
    energy harvesting
    microsystems
    bimorph
    systemy mikroelektromechaniczne
    zbieranie energii
    mikrosystemy
    bimorf
    Opis:
    In the present era, the renewable sources of energy, e.g., piezoelectric materials are in great demand. They play a vital role in the field of micro-electromechanical systems, e.g., sensors and actuators. The cantilever-based piezoelectric energy harvesters are very popular because of their high performance and utilization. In this research-work, an energy harvester model based on a cantilever beam with bimorph PZT-5A, having a substrate layer of structural steel, was presented. The proposed energy scavenging system, designed in COMSOL Multiphysics, was applied to analyze the electrical output as a function of excitation frequencies, load resistances and accelerations. Analytical modeling was employed to measure the output voltage and power under pre-defined conditions of acceleration and load resistance. Experimentation was also performed to determine the relationship between independent and output parameters. Energy harvester is capable of producing the maximum power of 1.16 mW at a resonant frequency of 71 Hz under 1g acceleration, having load resistance of 12 kΩ. It was observed that acceleration and output power are directly proportional to each other. Moreover, the investigation conveys that the experimental results are in good agreement with the numerical results. The maximum error obtained between the experimental and numerical investigation was found to equal 4.3%.
    Źródło:
    Advances in Science and Technology. Research Journal; 2019, 13, 3; 76-85
    2299-8624
    Pojawia się w:
    Advances in Science and Technology. Research Journal
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    A Control Strategy to Enable the Flexible Operation of a Low-Voltage Power Microgrid in Grid-Connected and Islanded Modes
    Strategia sterowania zapewniająca możliwość elastycznej pracy mikrosystemu elektroenergetycznego niskiego napięcia w połączeniu z siecią zasilającą i w trybie wyspowym
    Autorzy:
    Małaczek, Michał
    Wasiak, Irena
    Powiązania:
    https://bibliotekanauki.pl/articles/952924.pdf
    Data publikacji:
    2019
    Wydawca:
    ENERGA
    Tematy:
    distributed generation
    power microgrids
    islanded operation
    power quality
    generacja rozproszona
    mikrosystemy elektroenergetyczne
    praca wyspowa
    jakość zasilania
    Opis:
    The paper presents a control strategy enabling the operation of a low-voltage power microgrid connected to a utility grid and in island mode, in the event of a significant reduction in the quality of power supply. The power microgrid under consideration contains controllable and non-controllable energy sources, an energy storage, and loads. The control strategy consists in extending the storage functionality by introducing a variable control structure and implementing adjustment mechanisms to ensure maintaining the storage’s appropriate power and energy capacity reserve. The control system is hierarchical, and its main element is the central controller. The control concept is presented, with particular emphasis on the central controller operation. A simulation model is presented, built in the PSCAD/EMTDC environment for analysing the proposed control system and assessing the power microgrid’s performance. Results of a simulation of the control system operation are presented and discussed.
    W artykule zaprezentowano strategię sterowania umożliwiającą pracę mikrosystemu elektroenergetycznego (MSE) niskiego napięcia w trybie połączenia z siecią zasilającą oraz w trybie wyspowym, w sytuacji znacznego obniżenia jakości napięcia zasilającego w sieci nadrzędnej. Rozpatrywany MSE zawiera sterowalne i niesterowalne źródła energii, zasobnik energii (ZE) oraz odbiory. Strategia sterowania polega na rozszerzeniu funkcjonalności zasobnika przez wprowadzenie zmiennej struktury sterowania oraz implementacji mechanizmów regulacyjnych, zapewniających utrzymanie odpowiedniej rezerwy mocy i energii zasobnika. Układ sterowania jest hierarchiczny, a jego głównym elementem jest regulator centralny. Przedstawiono koncepcję sterowania ze szczególnym uwzględnieniem działania regulatora centralnego. Zaprezentowano model symulacyjny zbudowany w środowisku PSCAD/ EMTDC do analizy proponowanego systemu sterowania i oceny pracy MSE. Przedstawiono i omówiono wyniki symulacji, ilustrujące działanie układu sterowania.
    Źródło:
    Acta Energetica; 2019, 3; 6-14
    2300-3022
    Pojawia się w:
    Acta Energetica
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Praca autonomiczna mikrosystemów elektroenergetycznych niskiego napięcia
    Autonomous operation of low voltage microsystems
    Autorzy:
    Wasiak, I.
    Pawełek, R.
    Kelm, P.
    Powiązania:
    https://bibliotekanauki.pl/articles/952776.pdf
    Data publikacji:
    2013
    Wydawca:
    Politechnika Gdańska. Wydział Elektrotechniki i Automatyki
    Tematy:
    mikrosystemy elektroenergetyczne
    praca wyspowa
    sterowanie pracą mikrosystemów
    microgrids
    microgrid autonomous operation
    microgrids control
    energy storage
    Opis:
    W artykule przedstawiono możliwości pracy autonomicznej mikrosystemów niskiego napięcia. Omówiono strategie sterowania źródłami energii, przyłączonymi do sieci za pomocą przekształtników, przy pracy w połączeniu z siecią zasilająca oraz przy pracy wyspowej. Przedstawiono wyniki badań testowych pracy wyspowej mikrosystemu skonfigurowanego w Laboratorium Generacji Rozproszonej Instytutu Elektroenergetyki Politechniki Łódzkiej.
    The article describes the possibilities of LV microsystems operation in the island mode. Control strategies are discussed of energy sources connected to the grid by means of invertors, either for system connected to the main grid or during the island mode operation. Presented results of research were conducted at the DER laboratory at the Lodz University of Technology. The study was performed for two variants of reference voltage source: the battery storage and microturbine respectively.
    Źródło:
    Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej; 2013, 33; 87-90
    1425-5766
    2353-1290
    Pojawia się w:
    Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Autonomous Operation of Low Voltage Microgrids
    Praca autonomiczna mikrosystemów elektroenergetycznych niskiego napięcia
    Autorzy:
    Wasiak, I.
    Pawełek, R.
    Kelm, P.
    Powiązania:
    https://bibliotekanauki.pl/articles/397162.pdf
    Data publikacji:
    2014
    Wydawca:
    ENERGA
    Tematy:
    mikrosystemy elektroenergetyczne
    praca wyspowa
    sterowanie pracą mikrosystemów
    zasobniki energii
    microgrids
    microgrid autonomous operation
    microgrids control
    energy storage
    Opis:
    The article describes the possibilities of LV microgrids operation in the island mode. Control strategies of energy sources connected to the grid by means of invertors are discussed, either for a microgrid connected to the supplying network or during the island mode operation. The presented results of research were conducted at the Laboratory of Distributed Generation at Lodz University of Technology. The study was performed for two variants of reference voltage source: the battery storage and microturbine respectively.
    W artykule autorzy przedstawili możliwości pracy autonomicznej mikrosystemów niskiego napięcia. Omówiono strategie sterowania źródłami energii, przyłączonymi do sieci za pomocą przekształtników, podczas pracy w połączeniu z siecią zasilającą oraz podczas pracy wyspowej. Zaprezentowano wyniki badań przeprowadzonych w mikrosystemie skonfigurowanym w Laboratorium Generacji Rozproszonej Instytutu Elektroenergetyki Politechniki Łódzkiej. Badania wykonano w dwóch wariantach: w pierwszym źródłem napięcia referencyjnego była mikroturbina, w drugim elektrochemiczny zasobnik energii.
    Źródło:
    Acta Energetica; 2014, 4; 156-170
    2300-3022
    Pojawia się w:
    Acta Energetica
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Od mikroelektroniki do mikrosystemów, czyli o roli i znaczeniu krzemu
    Autorzy:
    Gniazdowski, Z.
    Powiązania:
    https://bibliotekanauki.pl/articles/91465.pdf
    Data publikacji:
    2006
    Wydawca:
    Warszawska Wyższa Szkoła Informatyki
    Tematy:
    mikroelektronika
    mikrosystemy
    technologia krzemowa
    microsystem technology
    MST
    Technology of Micro Total Analysis System
    μTAS
    microTAS
    silicon technology
    Opis:
    W artykule zwrócono uwagę na znaczenie krzemu i technologii krzemowej zarówno w rozwoju mikroelektroniki – a co za tym idzie – także informatyki, a także w rozwoju mikrosystemów (ang.: MEMS – Micro- Electromechanical System), gdzie łączy się elektronikę z mikromechaniką, oraz w rozwoju zminiaturyzowanych systemów do całkowitych analiz chemicznych (ang.: μTas – Micro Total Analysis System).
    In this paper, the role of silicon for development of computer technology is emphasized. It is noticed that Micro-System Technology (MST) as well as Technology of Micro Total Analysis System (μTAS) are also derived from silicon technology. Hence, the importance of silicon in many modern human activities is concluded.
    Źródło:
    Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki; 2006, 1, 1; 125-137
    1896-396X
    2082-8349
    Pojawia się w:
    Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Strategia sterowania mikrosystemem elektroenergetycznym niskiego napięcia zapewniająca jego elastyczną pracę w trybie połączenia z siecią zasilającą i w trybie wyspowym, przy wykorzystaniu zasobnika energii
    A control strategy for flexible operation of lv microgrid in both grid- connected and islanded mode based on energy storage utilization
    Autorzy:
    Małaczek, Michał
    Wasiak, Irena
    Powiązania:
    https://bibliotekanauki.pl/articles/267429.pdf
    Data publikacji:
    2019
    Wydawca:
    Politechnika Gdańska. Wydział Elektrotechniki i Automatyki
    Tematy:
    mikrosystemy elektroenergetyczne
    sterowanie hierarchiczne
    praca wyspowa
    jakość zasilania
    microgrid autonomous operation
    microgrid hierarchical control
    energy storage
    power quality
    Opis:
    W artykule zaprezentowano strategię sterowania, która umożliwia pracę mikrosystemu elektroenergetycznego (MSE) niskiego napięcia w dwóch trybach: w połączeniu z siecią zasilającą oraz w trybie wyspowym. Rozpatrywany MSE zawiera sterowalne i niesterowalne źródła energii, zasobnik energii (ZE) oraz odbiory. Strategia sterowania jest hierarchiczna i bazuje na rozszerzeniu funkcjonalności zasobnika energii oraz implementacji centralnego regulatora (CR) zarządzającego pracą urządzeń sterowanych. Przedstawiono koncepcję sterowania ze szczególnym uwzględnieniem działania regulatora centralnego. Zaprezentowano model symulacyjny zbudowany w środowisku PSCAD/EMTDC do analizy proponowanego systemu sterowania i oceny pracy MSE. Przedstawiono i omówiono wyniki symulacji, które obrazują poprawność i efektywność zaproponowanej strategii sterowania.
    In the paper, a hierarchical control strategy is presented allowing a low voltage microgrid (MG) to operate in both gridconnected and islanded mode. The considered MG consist of photovoltaic panels (PV), gas microturbine (MT), loads and energy storage (ES). The concept is based on enhancing the functionality of an ESS which is used for energy management in normal operating conditions of the network and a central controller for supervising the network operation in grid-connected and islanded modes. It has been assumed that the ESS serves as grid-forming unit, i.e. maintains the reference voltage and is responsible for short-term power balancing during islanded operation. Performance of the proposed strategy is presented as a reaction of the network on voltage dips, however the idea is applicable to any power quality (PQ) disturbance of unacceptable level occurring in the utility grid. For the considered network a simulation model has been developed using PSCAD/EMTDC platform. Simulation results are presented in the paper which illustrate the operation of the control system and show the microgrid behavior after transition from grid-connected to islanded operation and back.
    Źródło:
    Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej; 2019, 62; 77-80
    1425-5766
    2353-1290
    Pojawia się w:
    Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Modelling of energy sources and energy storage devices for the purpose of analysis the low voltage microgrid operation
    Modelowanie źródeł i zasobników energii do celów analizy pracy mikrosystemów elektroenergetycznych niskiego napięcia
    Autorzy:
    Małaczek, M.
    Wasiak, I.
    Powiązania:
    https://bibliotekanauki.pl/articles/397177.pdf
    Data publikacji:
    2017
    Wydawca:
    ENERGA
    Tematy:
    microgrids
    microgrid modelling
    distributed generation
    microgrid control
    energy storage
    mikrosystemy elektroenergetyczne
    modelowanie mikrosystemów
    generacja rozproszona
    sterowanie mikrosystemem
    zasobnik energii elektrycznej
    Opis:
    The paper presents methods of modelling electricity sources and storages for the purpose of analysing the performance of microgrids in steady and transient states. The subject of the study is a low voltage microgrid comprising controllable and uncontrollable energy sources, storages and loads. Models of energy sources and storage are presented as well as their control algorithms for the two modes of operation of the microgrid: in connection with the utility network, and in autonomous operation. A simulation model of the microgrid was developed in PSCAD/ EMTDC. Selected simulation results are presented which illustrate the performance of the system under assumed conditions.
    W artykule zaprezentowano sposoby modelowania źródeł oraz zasobników energii elektrycznej do celów analizy pracy mikrosystemów energetycznych w stanach ustalonych i przejściowych. Przedmiotem badań jest mikrosystem niskiego napięcia zawierający sterowalne i niesterowalne źródła energii, zasobniki oraz odbiory. Przedstawiono modele źródeł i zasobników energii oraz ich algorytmy sterowania dla dwóch trybów pracy mikrosystemu: pracy w połączeniu z siecią zasilającą oraz pracy autonomicznej. Opracowano model symulacyjny przykładowego mikrosystemu w programie PSCAD/EMTDC. Zaprezentowano wybrane wyniki symulacji, ilustrujące działanie układu w założonych warunkach.
    Źródło:
    Acta Energetica; 2017, 3; 162-169
    2300-3022
    Pojawia się w:
    Acta Energetica
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Złożoność półgrupy charakterystycznej iloczynu prostego automatów asynchronicznych silnie spójnych i ustalonych analogów ich rozszerzeń dla każdego słowa z języka \(\sum^{+}= (\sigma_{0} \cup \sigma_{1})^{+}\)
    Complexity of the characteristic semi-group of the asynchronous automatons direct product of the strongly connected and determined analogs of their exten-sions for the each word from language \(\sum^{+}= (\sigma_{0} \cup \sigma_{1})^{+}\)
    Autorzy:
    Bocian, Stanisław
    Powiązania:
    https://bibliotekanauki.pl/articles/34656172.pdf
    Data publikacji:
    2011
    Wydawca:
    Sieć Badawcza Łukasiewicz - Poznański Instytut Technologiczny
    Tematy:
    złożoność obliczeniowa
    półgrupy charakterystycznych automatów
    złożoność czasowa obliczeń
    automat asynchroniczny
    mikrosystemy cyfrowe
    sterowanie inteligentne
    sterowanie rozproszone
    maszyna stanowa (automat)
    graf automatu
    Opis:
    Niniejsza publikacja kontynuuje cykl artykułów [6,7,8,9,12,14,15,16,17] dotyczący złożoności obliczeniowej półgrupy charakterystycznej automatów asynchronicznych silnie spójnych i ustalonych analogów ich rozszerzeń. W projektowaniu sterowania pojazdów szynowych wykorzystuje się coraz częściej mikrosystemy cyfrowe do realizowania sterowania inteligentnego, rozproszonego. W mikrosystemach cyfrowych tworzenie oprogramowania możliwe jest z wykorzystaniem maszyny stanowej (automatu), który umożliwia tworzenie oprogramowania w oparciu o sporządzony wcześniej graf automatu. Umożliwia to analizę pracy mikrosystemu cyfrowego w pojazdach szynowych i oszacowanie złożoności obliczeniowej półgrup charakterystycznych automatów. Ma to istotny wpływ na złożoność czasową obliczeń, jak również wielkości pamięci, potrzebnej do rozwiązania problemu. Artykuł powstał w wyniku realizacji projektu badawczego MN i SzW nr N N509 398236 "Mikrosystemy cyfrowe do inteligentnego, rozproszonego i współbieżnego sterowania pojazdami szynowymi".
    This publication continues the series of articles [6,7,8,9,12,14,15,16,17] concerning the computational complexity of the characteristic semi-group of the asynchronous automatons of the strongly connected and determined analogs of their extensions. In the designing of rail vehicles control are used more and more the digital microsystems for realization the intelligent, scattered and synchronous control. In the digital microsystems it is possible to create the software using the state machine (automaton) and create the software based on the previously drawn up graph of the automaton. This allows the analysis of the digital microsystem work in the rail vehicles and estimation of the computational complexity of characteristic semigroups of the automatons. This has an important impact on the time complexity of calculations, as well as the amount of memory needed to solve the problem. This article was written as a result of the Research Project of the Ministry of Science and Higher Education No. N N509 398236 "Digital microsystems for the intelligent, scattered and synchronous rail vehicles control".
    Źródło:
    Rail Vehicles/Pojazdy Szynowe; 2011, 1; 13-38
    0138-0370
    2719-9630
    Pojawia się w:
    Rail Vehicles/Pojazdy Szynowe
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Inżynieria komórkowa w systemach lab-on-a-chip
    Cell engineering in lab-on-chip systems
    Autorzy:
    Tomecka, E.
    Tokarska, K.
    Jastrzębska, E.
    Chudy, M.
    Brzózka, Z.
    Powiązania:
    https://bibliotekanauki.pl/articles/172147.pdf
    Data publikacji:
    2015
    Wydawca:
    Polskie Towarzystwo Chemiczne
    Tematy:
    inżynieria komórkowa
    mikrosystemy przepływowe
    dwuwymiarowa hodowla komórkowa
    trójwymiarowa hodowla komórkowa
    cell engineering
    microfluidic systems
    two-dimensional cell culture
    three-dimensional cell culture
    Opis:
    Lab-on-a-chip systems are promising tools in the field of cell engineering. Microfluidic systems are integrated microlaboratories consisting of many microstructures such as microchannels and microchambers, which can be used for cell analysis and cell culture. Appropriately designed geometry of the chip allows to mimic in vivo conditions. Microsystems enables continuous culture medium perfusion. During cell culture, regulation of the flow rate of medium is possible, which allows to control conditions of the cultivation. In this paper we present a review of microfluidics systems which are used in cell engineering. We describe methods of microsystems fabrication, parameters which influence cell proliferation in microscale and examples of microsystems for cell analysis and cell culturing. Microfluidic systems for maintaining cell culture are mainly fabricated of poly(dimethylsiloxane) (PDMS) and glass, non-toxic materials for cells. The most commonly used method for fabrication of PDMS microsystems is photolithography and replica molding techniques. Cell culture in microsystems can be carried out in two ways: as a two-dimensional (2D) cell culture and three-dimensional (3D) cell culture. In two-dimensional culture cells grow as a monolayer on a flat surface of microchambers or microchannels. Microsystems for two-dimensional cell culture are widely described in the literature. They are mainly used for: (i) cell proliferation after exposure to external stimuli, (ii) testing the activity of cytotoxic drugs, (iii) interactions and cell migration and (iv) the evaluation of procedures applicable in tumor therapy e. g. photodynamic therapy. However, two-dimensional cell culture do not mimic fully in vivo conditions. In living organisms cells grow spatially creating three-dimensional structures like tissues. Therefore, nowadays microsystems for 3D cell culture are being developed intensively. Three-dimensional cell culture in microfluidic systems can be achieved in three ways: by the design of suitable geometry and topography of microchannels, by the use of hydrogels or by spheroids formation. Three-dimensional cell culture in microfluidic systems are much better experimental in vitro models than cell culture in traditional culture vessels. It is the main reason why microsystems should be still improved, as to become widely used research tools in cellular engineering.
    Źródło:
    Wiadomości Chemiczne; 2015, 69, 9-10; 909-929
    0043-5104
    2300-0295
    Pojawia się w:
    Wiadomości Chemiczne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Optymalizacja realizacji układowej hierarchicznych sieci Petriego
    The implementation optimization of the hierarchical Petri nets
    Autorzy:
    Stasiak, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/152872.pdf
    Data publikacji:
    2007
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    projektowanie zintegrowane
    sieci Petriego
    model formalny
    systemy osadzone
    systemy cyfrowe
    mikrosystemy cyfrowe
    FPGA
    hardware-software codesign
    Petri nets
    formal model
    embedded systems
    digital systems
    digital microsystems
    PLD
    Opis:
    Projektowanie wysokiego poziomu systemów cyfrowych dotyczy szeregu aspektów związanych bezpośrednio z wybraną metodologią projektowania, modelem formalnym, algorytmami syntezy sprzętowej i programowej opisu behawioralnego. Rozważając sieci Petriego jako model formalny projektowanego systemu, szczególnie interpretowane hierarchiczne sieci Petriego, projektant ma do dyspozycji bogaty zbiór algorytmów analizy formalnej, metod syntezy programowej i sprzętowej. Jednak znane rozwiązania dotyczą przede wszystkim opisu zachowania funkcjonalnego sterowników logicznych, gdzie miejsce sieci reprezentuje logiczną operację przypisania poziomu '0' lub '1' do wyjścia układu (jeden bit lub wektor). Zauważalny jest jednak brak propozycji naukowych wspierających projektowanie systemu opisanego sieciami Petriego, gdzie w miejscu sieci realizowane są złożone instrukcje arytmetyczne lub logiczne. Przykładem sieci Petriego wspierającej w pełni projektowanie systemu sprzętowo-programowego jest siec PNHSDM (ang. Petri Net for Hardware So-ftware Digital Microsystem). Artykuł w sposób ogólny przedstawia model formalny sprzętowo-programowych sieci Petriego PNSHDM, skupiając się szczególnie na metodzie optymalizacji algorytmu syntezy sprzętowej sieci PNHSDM do reprogramowalnych układów FPGA. W pracy podjęto tematykę szeregowania zadań (ASAP, ALAP). Rozwiązano problem systemu przełączania sprzętowych modułów wykonawczych w kontekście planowanych do wykonania zadań. Wyznaczono wzór pozwalający na oszacowanie kosztów realizacji sprzętowej systemu przełączania, który zależny jest od liczby instancjacji i złożoności harmonogramowanej instrukcji.
    The high level designing concerns several aspects that are directly related to the designing methodology as well as formal model definition, hardware/software synthesis algorithms, etc. When a Petri nets are considered as a formal model of developing system, especially hierarchical interpreted Petri nets, then a designer has a lot of ready to use and very well documented algorithms dedicated for formal verification, hardware and software synthesis, transformations, etc. However, most of the know solutions for Petri nets concerns designing logic controllers, where a one net place implements simple assigning operation of logical state to the output. There is lack of solutions that use a Petri nets to formalize and describe really system, where a place implements complex algebraic or logic functions. A formal model based on Petri nets for hardware-software digital microsystems (PNHSDM) has been elaborated to eliminate this gap. This paper shortly describes PNHSDM model, but author have concentrate on optimization of hardware Petri nets synthesis algorithm that is responsible to translate functional description into VHDL-RTL language. This approach takes into consideration task scheduling (ASAP, ALAP), presents elaborated solution of switching system for PNHSDM Petri nets as well as provides static hardware cost estimations of the switching system.
    Źródło:
    Pomiary Automatyka Kontrola; 2007, R. 53, nr 5, 5; 108-110
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Metody walidacji i weryfikacji specyfikacji funkcjonalnej mikrosystemu cyfrowego
    Validation and verification methods of the digital microsystem functional specification
    Autorzy:
    Stasiak, A.
    Skowroński, Z.
    Powiązania:
    https://bibliotekanauki.pl/articles/152874.pdf
    Data publikacji:
    2007
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    projektowanie zintegrowane
    sieci Petriego
    model formalny
    systemy osadzone
    systemy cyfrowe
    mikrosystemy cyfrowe
    FPGA
    hardware-software codesign
    Petri nets
    formal model
    embedded systems
    digital systems
    digital microsystems
    PLD
    Opis:
    Proces projektowy systemów cyfrowych, a w szczególności zintegrowanych sprzętowo-programowych mikrosystemów cyfrowych realizowanych z wykorzystaniem platformy SOPC, nie może być zakończony pomyślnie bez przeprowadzenia sprawdzenia i korekcji ewentualnych błędów projektowych. Do tego celu stosuje się metody walidacji zapisu specyfikacji funkcjonalnej zachowania systemu oraz metody weryfikacji funkcjonalnej projektowanego modelu. W artykule scharakteryzowano oraz omówiono opracowane na Uniwersytecie Zielonogórskim metody i oprogramowanie do walidacji i weryfikacji funkcjonalnej specyfikacji funkcjonalnej modelu opisanej sieciami Petriego.
    The design process of the today digital systems, especially integrated hardware-software digital microsystems for SOPC platform, can not be finalized successfully without the verification and debug process. To meet the product requirements, like: system functionality, system stability, time-to-market, project costs, etc; there has to be performed several validation and/or verification tasks to confirm the finale model behaviour with initial/input functional specification. This paper describes validation and verification methods as well as software/tools elaborated and developed at University of Zielona Góra, by the Computing and Engineering Department.
    Źródło:
    Pomiary Automatyka Kontrola; 2007, R. 53, nr 5, 5; 111-113
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Neck injury diagnostic device
    Autorzy:
    Mielczarek, A.
    Ritter, R.
    Napieralski, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/398051.pdf
    Data publikacji:
    2011
    Wydawca:
    Politechnika Łódzka. Wydział Mikroelektroniki i Informatyki
    Tematy:
    uraz szyi
    kręgosłup szyjny
    diagnostyka medyczna
    leczenie
    rehabilitacja
    MEMS
    mikrosystemy
    żyroskop
    czujnik wewnętrzny
    pomiar kąta
    wskaźnik laserowy
    neck injury
    cervical spine
    diagnosis
    treatment
    rehabilitation
    gyroscope
    accelerometer
    inertial sensor
    angle measurement
    laser pointer
    Opis:
    The paper describes a method of automating a medical study of cervical spine condition with use of MEMS inertial sensors and a magnetometer. The examination procedure aims to detect and assess the dysfunction of the cervical spine. The same exercise may be also used for rehabilitation.
    Źródło:
    International Journal of Microelectronics and Computer Science; 2011, 2, 1; 22-27
    2080-8755
    2353-9607
    Pojawia się w:
    International Journal of Microelectronics and Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-14 z 14

      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