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

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 28
Tytuł:
Phytoplankton composition and biomass distribution in the southern Drake Passage, the Bransfield Strait and the adjacent waters of the Weddell Sea in December 1983 — January 1984 (BIOMASS -SIBEX)
Autorzy:
Kopczyńska, Elżbieta E.
Ligowski, Ryszard
Powiązania:
https://bibliotekanauki.pl/articles/2057362.pdf
Data publikacji:
1985
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
Antarctic
SIBEX
net phytoplankton
distribution
Źródło:
Polish Polar Research; 1985, 6, 1-2; 65-77
0138-0338
2081-8262
Pojawia się w:
Polish Polar Research
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Implementation of Algorithm of Petri Nets Distributed Synthesis into FPGA
Autorzy:
Bukowiec, A.
Tkacz, J.
Gratkowski, T.
Gidlewicz, T.
Powiązania:
https://bibliotekanauki.pl/articles/226156.pdf
Data publikacji:
2013
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
C#
decomposition
FGPA
logic synthesis
Petri net
Opis:
In the paper an implementation of algorithm of Petri net array-based synthesis is presented. The method is based on decomposition of colored interpreted macro Petri net into subnets. The structured encoding of places in subnets is done of using minimal numbers of bits. Microoperations, which are assigned to places, are written into distributed and flexible memories. It leads to realization of a logic circuit in a twolevel concurrent structure, where the combinational circuit of the first level is responsible for firing transitions, and the second level memories are used for generation of microoperations. This algorithm is implemented in C# and delivered as a stand alone library.
Źródło:
International Journal of Electronics and Telecommunications; 2013, 59, 4; 317-324
2300-1933
Pojawia się w:
International Journal of Electronics and Telecommunications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Distribution of net phytoplankton in the sea-ice zone between Elephant Island and the South Orkney Islands (December 1988 - January 1989)
Autorzy:
Ligowski, Ryszard
Kopczyńska, Elżbieta
Powiązania:
https://bibliotekanauki.pl/articles/2052790.pdf
Data publikacji:
1991
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
Antarctic
Weddell Sea
net phytoplankton
sea ice edge
diatoms
Źródło:
Polish Polar Research; 1991, 12, 4; 529-546
0138-0338
2081-8262
Pojawia się w:
Polish Polar Research
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Synthesis of Petri net based model of a discrete event manufacturing system for nonlinear process plan
Autorzy:
Słota, A.
Zając, J.
Uthayakumar, M.
Powiązania:
https://bibliotekanauki.pl/articles/406874.pdf
Data publikacji:
2016
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
manufacturing system
Petri net
nonlinear process plan
modular modeling
Opis:
This work presents a modelling approach for nonlinear process plan (NLPP) implementation in discrete event manufacturing system (DEMS). NLPP is used for the building of the modular structure of an Object Observable Petri Net model of DEMS. The general capabilities of DEMS are defined by resources’ operation templates and the transition incidence relation. Based on system specification and NLPP executed in the system, the modular model of DEMS is defined. The required steps for constructing a modular model through the integration of resource models are presented. The proposed approach to modular modelling is illustrated by means of a sample DEMS and an example of NLPP.
Źródło:
Management and Production Engineering Review; 2016, 7, 2; 62-72
2080-8208
2082-1344
Pojawia się w:
Management and Production Engineering Review
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Navigation of humanoids by a hybridized regression-adaptive particle swarm optimization approach
Autorzy:
Kumar, P. B.
Sahu, C.
Parhi, D. R.
Powiązania:
https://bibliotekanauki.pl/articles/229923.pdf
Data publikacji:
2018
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
navigation
humanoid NAO
RA
APSO
Petri-Net
V-REP
Opis:
In the era of humanoid robotics, navigation and path planning of humanoids in complex environments have always remained as one of the most promising area of research. In this paper, a novel hybridized navigational controller is proposed using the logic of both classical technique and computational intelligence for path planning of humanoids. The proposed navigational controller is a hybridization of regression analysis with adaptive particle swarm optimization. The inputs given to the regression controller are in the forms of obstacle distances, and the output of the regression controller is interim turning angle. The output interim turning angle is again fed to the adaptive particle swarm optimization controller along with other inputs. The output of the adaptive particle swarm optimization controller termed as final turning angle acts as the directing factor for smooth navigation of humanoids in a complex environment. The proposed navigational controller is tested for single as well as multiple humanoids in both simulation and experimental environments. The results obtained from both the environments are compared against each other, and a good agreement between them is observed. Finally, the proposed hybridization technique is also tested against other existing navigational approaches for validation of better efficiency.
Źródło:
Archives of Control Sciences; 2018, 28, 3; 349--378
1230-2384
Pojawia się w:
Archives of Control Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modeling of the phospholipid vesicular nanostructure formation process
Autorzy:
Avdieieva, L.
Chunikhin, O.
Powiązania:
https://bibliotekanauki.pl/articles/79929.pdf
Data publikacji:
2019
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
phospholipid
lipid vesicular nanostructure
mathematical modelling
Petri net based model
Źródło:
BioTechnologia. Journal of Biotechnology Computational Biology and Bionanotechnology; 2019, 100, 4
0860-7796
Pojawia się w:
BioTechnologia. Journal of Biotechnology Computational Biology and Bionanotechnology
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Photosynthetic activity in three vascular species of Spitsbergen vegetation during summer season in response to microclimate
Autorzy:
Barták, Miloš
Váczi Peter
Hájek, Josef
Powiązania:
https://bibliotekanauki.pl/articles/2051428.pdf
Data publikacji:
2012
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
Arctic
Svalbard
vascular plants
plant ecophysiology
net photosynthesis
chlorophyll fluorescence
Źródło:
Polish Polar Research; 2012, 4; 443-462
0138-0338
2081-8262
Pojawia się w:
Polish Polar Research
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Net phytoplankton annual cycle (February 1990—January 1991) in Admiralty Bay, King George Island, West Antarctic
Autorzy:
Kopczyńska, Elżbieta E.
Powiązania:
https://bibliotekanauki.pl/articles/2052716.pdf
Data publikacji:
1993
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
Antarctic
South Shetland Islands
Admiralty Bay
net phytoplankton
annual cycles
Źródło:
Polish Polar Research; 1993, 14, 4; 383-392
0138-0338
2081-8262
Pojawia się w:
Polish Polar Research
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Structured Mapping of Petri Net States and Events for FPGA Implementations
Autorzy:
Tkacz, J.
Adamski, M.
Powiązania:
https://bibliotekanauki.pl/articles/227222.pdf
Data publikacji:
2013
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
configurable logic controllers
interpreted Petri net state space
local and global state encoding
hyperpgraph
logic design
Gentzen sequents
Petri net coloring
FPGA
VHDL
Opis:
The paper presents a new method of structured encoding of global internal states and events in Reconfigurable Logic Controllers, which are directly mapped into Field Programmable Gate Arrays (FPGA). Modular, concurrently decomposed, colored state machine is chosen as a intermediate model, before the mapping of Petri net into an array structure of dedicated but very flexible and reliable digital system. The initial textual specification in formal Gentzen logic serves both as a design description for a rapid prototyping, as well as formal model, suitable for detailed computer-based reasoning about optimized and synthesized logic controller, implemented in configurable hardware. Only the selected linear subset from general, universal propositional Gentzen Logic is necessary to deduce several properties of the net, such as relations of nonconcurrency among structurally ordered macroplaces. The goal of this paper is to present the design methodology for modeling and synthesis of discrete controllers using related Petri net theory, rule-based theory (mathematical logic), and VHDL.
Źródło:
International Journal of Electronics and Telecommunications; 2013, 59, 4; 331-339
2300-1933
Pojawia się w:
International Journal of Electronics and Telecommunications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Influence of radial flow impeller balance holes on the net positive suction head for rotodynamic pumps
Autorzy:
Karaśkiewicz, K.
Złoty, Ł.
Powiązania:
https://bibliotekanauki.pl/articles/175487.pdf
Data publikacji:
2017
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
balance holes
net positive suction head (NPSH)
centrifugal pumps
cavitation
Opis:
The influence of balance holes of rotodynamic pumps on the net positive suction head is not fully clear. The lack of available information on the subject leads to the situations when deterioration in suction properties of the pump due to the presence of balance holes is recognized during pump test phase. Usually some holes are arbitrarily plugged. The paper analyses the influence of balance holes on net positive suction head characteristics. The measurement data are presented.
Źródło:
Transactions of the Institute of Fluid-Flow Machinery; 2017, 136; 47-54
0079-3205
Pojawia się w:
Transactions of the Institute of Fluid-Flow Machinery
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Petri Net Based Specification in the Design of Logic Controllers with Exception Handling Mechanism
Autorzy:
Doligalski, M.
Adamski, M.
Powiązania:
https://bibliotekanauki.pl/articles/227254.pdf
Data publikacji:
2012
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
logic controller
dual specification
hierarchical Petri net
UML
state machine diagram
Opis:
Hierarchical Petri nets beside UML state machine diagrams, sequentional function charts (SFC) and hierarchical concurrent state machines are common solution for specification of logic controllers. These specification formats provide both concurrency and modeling on multi levels of abstraction (hierarchic approach). But only state machine diagrams supports exceptions handling in direct way. Program model presented in form of state machine diagram may be later transformed into a program in the SFC language or transformed in the Petri Net and implemented in the FPGA structure. Similarity between SFC language and Petri Nets give us lot of tools for analysis such control system. Article presents new approach for exceptions handling in hierarchical Petri nets as formal specification for logic controllers. Proposed method of specification can be used independently or as a part of dual specification (correlated state machine diagram and hierarchical configurable Petri Net).
Źródło:
International Journal of Electronics and Telecommunications; 2012, 58, 1; 43-48
2300-1933
Pojawia się w:
International Journal of Electronics and Telecommunications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The Effect of Nanometric α-Al2O3 Addition on Structure and Mechanical Properties of Feal Alloys Fabricated by LENS Technique
Autorzy:
Łazińska, M.
Durejko, T.
Polkowski, W.
Powiązania:
https://bibliotekanauki.pl/articles/356020.pdf
Data publikacji:
2017
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
FeAl intermetallics
nano-Al2O3 addition
Laser Engineered Net Shaping
Opis:
Results of the first principle study on a fabrication of FeAl intermetallic based alloy with an addition of nanometric αAl2O3 (n-Al2O3) particles by the LENS method and a subsequent characterization of the as received materials’ structure and properties, are shown in the present work. A series of samples were manufactured using LENS technique while a control of temperature and the size of melted metal pool. The presence of ceramics nanoparticles was not directly confirmed by microscopy observations. Neither aluminum nor oxygen content was not elevated in the material with n-Al2O3 content. Although, indirect methods revealed influence of n-Al2O3 addition on the manufactured elements structure. Analyses of porosity has shown that addition of 2% vol. n-Al2O3 significantly decreases this feature (~1%), as compared to the reference material made of pure FeAl intermetallic alloy (~5%). The addition of n-Al2O3 causes an increase of grain size in Fe40Al intermetallic alloy. An oxidation resistance has been also improved what was associated to the n-Al2O3 addition. Four times lower increase of samples mass was noticed for sample with the n-Al2O3 addition as compared to the pure Fe40Al intermetallic alloy.
Źródło:
Archives of Metallurgy and Materials; 2017, 62, 3; 1703-1712
1733-3490
Pojawia się w:
Archives of Metallurgy and Materials
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A Multiple State Model for Premium Calculation when Several Premium-Paid States are Involved
Autorzy:
Dębicka, Joanna
Zmyślona, Beata
Powiązania:
https://bibliotekanauki.pl/articles/2076271.pdf
Data publikacji:
2018
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
modified multiple state model
net premium
life annuity
criticalillness insurance
accelerated death benefits
Opis:
The aim of this contribution is to derive a general matrix formula for the net period premium paid in more than one state. In order to avoid “overpayment” which implies higher premiums we give a formula for replacement of lump sum benefit into annuity benefits paid in more than one state. The obtained result is useful for example to more advanced models of dread disease insurances allowing period premiums paid by both healthy and ill person (e.g. not terminally yet). As an application, we supply analysis of dread disease insurances against the risk of lung cancer based on the actual data for the Lower Silesian Voivodship in Poland.
Źródło:
Central European Journal of Economic Modelling and Econometrics; 2018, 1; 27-52
2080-0886
2080-119X
Pojawia się w:
Central European Journal of Economic Modelling and Econometrics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Response of gas exchange to leaf piercing explained by piecewise linear regression for two developmental forms of rape plant (Brassica napus L. ssp. oleifera Metzg)
Autorzy:
Wenda-Piesik, Anna
Krzesiński, Włodzimierz
Nowak, Agnieszka
Kazek, Maciej
Tomaszewska-Sowa, Magdalena
Powiązania:
https://bibliotekanauki.pl/articles/952014.pdf
Data publikacji:
2017
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
leaf piercing response
oilseed rape
net photosynthetic rate
transpiration
stomatal conductance
concentration of intercellular co2
Opis:
Oilseed rape (Brassica napus L. ssp. oleifera Metzg) was the subject of the study in two forms: winter cv. ‘Muller’ (at the rosette stage – the first internode BBCH 30 – 31) and spring cv. ‘Feliks’ (at the yellow bud stage BBCH 59). The main gas-exchange parameters, net photosynthetic rate (PN), transpiration rate (E), stomatal conductance (gs), and intercellular CO2 concentration (Ci) were measured on leaves prior to the piercing and immediately after the short-term piercing. The effect of mechanical wounding revealed different progress of the gas exchange process for the two forms. Piecewise linear regression with the breakpoint estimation showed that the plants at the same age but at a different vegetal stage, manage mechanical leaf-piercing differently. The differences concerned the stomatal conductance and transpiration changes since for rosette leaves the process consisted of five intervals with a uniform direction, while for stem leaves - of five intervals with a fluctuating direction. These parameters got stabilized within a similar time (220 mins) for both forms. The process of net photosynthetic rate was altered by the plant stages. ‘Muller’ plants at the rosette stage demonstrated dependence of PN on time in log-linear progression: y (PN) = 8.01+ 2.73 log10 (x t2); 7 < t2 < 220; R2 = 0.96. For stem leaves of ‘Feliks’ plants the process of transpiration, in terms of directions, was convergent with the process of photosynthesis. Those two processes were synchronized from 1st to 114th min of the test (r = 0.85; p < 0.001) in plants at the rosette stage and from 26th to 148th min in stem leaves (r = 0.95; p < 0.001).
Źródło:
Acta Biologica Cracoviensia. Series Botanica; 2017, 59, 1
0001-5296
Pojawia się w:
Acta Biologica Cracoviensia. Series Botanica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Methodology of Petri networks for simultaneous evaluation of the impact of different modifiers on the fluorescence of nucleotides from electron transport chain in isolated mitochondria and on the process of swelling
Autorzy:
Danylovych, H.
Chunikhin, A.
Danylovych, Y.
Kosterin, S.
Powiązania:
https://bibliotekanauki.pl/articles/81245.pdf
Data publikacji:
2018
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
Petri net based model
fluorescence
nicotinamide adenine dinucleotide
flavin adenine dinucleotide
nucleotide
electron transport chain
mitochondrion
spectrofluorometry
Źródło:
BioTechnologia. Journal of Biotechnology Computational Biology and Bionanotechnology; 2018, 99, 1
0860-7796
Pojawia się w:
BioTechnologia. Journal of Biotechnology Computational Biology and Bionanotechnology
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 28

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