PL
 |
EN
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 18

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available remote Reference Abstract Domains and Applications to String Analysis
Amadini R., Gange G., Gauthier F., Jordan A., Schachte P., Søndergaard H., Stuckey P. J., Zhang C.
Fundamenta Informaticae
|
2018
|
Vol. 158, nr 4
297--326
EN
Abstract interpretation is a well established theory that supports reasoning about the run-time behaviour of programs. It achieves tractable reasoning by considering abstractions of run-time states, rather than the states themselves. The chosen set of abstractions is referred to as the abstract domain. We develop a novel framework for combining (a possibly large number of) abstract domains. It achieves the effect of the so-called reduced product without requiring a quadratic number of functions to translate information among abstract domains. A central notion is a reference domain, a medium for information exchange. Our approach suggests a novel and simpler way to manage the integration of large numbers of abstract domains. We instantiate our framework in the context of string analysis. Browser-embedded dynamic programming languages such as JavaScript and PHP encourage the use of strings as a universal data type for both code and data values. The ensuing vulnerabilities have made string analysis a focus of much recent research. String analysis tends to combine many elementary string abstract domains, each designed to capture a specific aspect of strings. For this instance the set of regular languages, while too expensive to use directly for analysis, provides an attractive reference domain, enabling the efficient simulation of reduced products of multiple string abstract domains.
2
Content available Estimation of the Effect of Production Parameters on Mechanical Properties of Sintered Steels Using ANOVA
Sułowski M., Jordan A., Czarski A., Matusiewicz P.
Archives of Metallurgy and Materials
|
2017
|
Vol. 62, iss. 2A
571--576
EN
The object of the study was to assess the influence of selected production parameters of sintered Fe-Mn-Cr-Mo-C steels i.e. chemical composition, sintering temperature, sintering atmosphere and heat treatment on the following mechanical properties: impact toughness, hardness of the surface, tensile strength, bend strength after static tensile tests. In the investigations, the general linear model (GLM) of the multivariate analysis of variance ANOVA was used. All assumptions of ANOVA, i.e. randomization of the experiment, the normality of the residuals, equality of variance at different levels have been fulfilled and verified. The predictive strength of the constructed models expressed by the adjusted determination coefficient (R2adj) is at medium or large level – R2adj is in the range from 41.46% to 76.97%. This work is focused mainly on the ANOVA methodology. A wide physical interpretation of the results will be possible after the optimization of the ANOVA models used.
3
Content available Badanie wrażliwości układów wielo-parametrycznych
Tykocki J., Jordan A., Żelazny D.
Poznan University of Technology Academic Journals. Electrical Engineering
|
2016
|
No. 86
105--116
PL
W pracy przedstawiono badanie wrażliwości układów, wykorzystując w tym celu zmodyfikowaną zasadę Pareto. Zasada Pareto zazwyczaj stosowana w naukach ekonomicznych została wykorzystana do badania wrażliwości dwóch układów fizycznych: fragmentu sieci średniego napięcia z turbinami wiatrowymi oraz przemieszczeń belki stalowej poddanej równomiernemu obciążeniu. W pierwszym przypadku funkcją celu Fp były straty mocy czynnej w układzie, w drugim przemieszczenie końca belki.
EN
Making use of a modified Pareto principle, the paper presents a study of sensitivity systems. The Pareto principle, which is mostly used in economic sciences, has been applied here for sensitivity analysis of two physical systems, i.e. a part of medium voltage grid with wind turbines and a displacement of a steel beam subjected to uniform load. In the first case, the objective function Fp involved active power losses in the system, whereas in the latter case it was concerned with the displacement of the end of the beam.
4
Content available Use of the Pareto principle to assess system sensitivity
Tykocki J., Jordan A., Żelazny D.
Computer Applications in Electrical Engineering
|
2016
|
Vol. 14
352--363
EN
Generally, the sensitivity of physical systems has been investigated using sensitivity function W(x). On the other hand, this paper uses a modified Pareto principle to examine the sensitivity of two systems: a part of a medium–voltage electricity network with wind turbines and a steel beam rigidly fixed on one end subjected to a uniform load. In the first case, objective function Fp involved active power losses in in the power grid, whereas the second case concerned displacements of the end of the beam. In order to accurately define the ABC sets a digital filter with original software was used.
5
Content available remote Pareto - ABC Analysis of Temperature Field in High Voltage Three-Phase Cable Systems
Tykocki J., Jordan A., Surowik D.
Przegląd Elektrotechniczny
|
2015
|
R. 91, nr 5
107-112
EN
The paper presents the "Pareto Principle" used for temperature analysis of a high voltage cable core of 110kV working in a three-phase system. The study makes use of a multi-criteria Pareto model and ABC charts to determine the qualitative and quantitative impact of some specific parameters on the temperature of the cable core.
PL
W pracy przedstawiono „zasadę PARETO” zastosowaną do analizy temperatury żyły kabla wysokiego napięcia 110kV pracującego w układzie trójfazowym. W analizie wykorzystano wielo-kryterialny model PARETO oraz wykresy ABC w celu ilościowego i jakościowego zidentyfikowania wpływu określonych parametrów na temperaturę żyły kabla.
6
Content available Analiza pola temperatury układu trójfazowego kabli wysokiego napięcia
Tykocki J., Jordan A.
Poznan University of Technology Academic Journals. Electrical Engineering
|
2015
|
No. 82
53--66
PL
Zmodyfikowaną „zasadę Pareto” zastosowano do analizy pola temperatury w układach trójfazowych kabli wysokiego napięcia. Pole temperatury uzależniono od trzynastu parametrów, w których wyodrębniono wymiary geometryczne układu. Rozwiązując 2p razy równanie przewodnictwa cieplnego metodą elementów skończonych wyznaczono parametry należące do zbioru A mające decydujący wpływ na temperaturę żyły kabla. Do opisu zbiorów ABC zastosowano elementy algebry liniowej. W uwagach końcowych przedstawiono wstępną procedurę optymalizacji układu.
EN
A modified "Pareto principle" has been applied to the analysis of the temperature field in three-phase high-voltage cables. In the paper the temperature field is described by thirteen distinct parameters including the geometrical dimensions of the system. By solving the thermal conductivity equation 2p times, it is possible to determine the parameters belonging to set A, which exert a decisive influence on the temperature of the cable core. To describe the ABC sets elements of linear algebra are applied. The paper’s concluding notes present a preliminary optimization procedure of the system.
7
Content available remote Pareto - ABC Analysis of High Voltage Single Core Cable Temperature
Tykocki J., Jordan A.
Przegląd Elektrotechniczny
|
2014
|
R. 90, nr 10
172-178
EN
The paper presents the "Pareto Principle"used for the analysis of a multi-parameter temperature field in a single phase high voltage cable core of 110kV. The study makes use of a multi-criteria Pareto model and ABC charts to determine the qualitative and quantitative impact of some specific parameters on the temperature of the cable core.
PL
W pracy przedstawiono „zasadę PARETO” dla analizy wielo-parametrowej temperatury rdzenia kabla wysokiego napięcia 110kV pracującego w układzie pojedynczym. W analizie wykorzystano wielo-kryterialny model PARETO oraz wykresy ABC w celu ilościowego i jakościowego zidentyfikowania wpływu określonych parametrów na temperaturę rdzenia kabla.
8
Content available remote Analysis of thermal field in 110 kV cable systems
Tykocki J., Yue Y., Jordan A.
Przegląd Elektrotechniczny
|
2012
|
R. 88, nr 6
142-145
EN
The paper presents the distribution of temperature field in high voltage cables, 64/110 kV, (2XS (FL)) with copper conductor, depending on the depth of their arrangement in the soil and the soil thermal conductivity. Used to simulate the professional program NISA / Heat Transfer in the calculation using the finite element method (FEM).
PL
W pracy przedstawiono analizę rozkładu pola temperatury w kablach wysokiego napięcia 64/110 kV, (2XS(FL)) z żyłą miedzianą, w zależności od głębokości ich ułożenia w ziemi i wartości przewodności cieplnej gruntu. Do symulacji zastosowano profesjonalny program NISA/Heat Transfer wykorzystujący w obliczeniach metodę elementów skończonych (MES).
9
Content available Verification of a mathematical model of the polarimetric current sensor with single-mode fiber measurement coil based on computer simulation by Finite Element Method
Torbus S. A., Jordan A., Surma D.
Zeszyty Naukowe. Elektrotechnika / Uniwersytet Technologiczno-Przyrodniczy w Bydgoszczy
|
2011
|
z. 16
17-26
EN
This article presents the verification of a mathematical model polarimetric current sensor proposed in [1]. The verification was based on computer simulation, which was based on the finite element method. Simulation model was prepared for one of the options for deployment of high voltage cables 110 kV [2]. The simulation was performed for two operating conditions of highvoltage power line - and rated the state short-circuit conditions. In addition, estimated absolute and relative error of measurement.
PL
W artykule przedstawiono weryfikację modelu matematycznego polarymetrycznego czujnika prądu w [1]. W tym celu wykorzystano symulację komputerową, opartą na metodzie elementów skończonych. Opracowany model symulacyjny dotyczył jednej z możliwych opcji rozmieszczenia przewodów na słupie linii elektroenergetycznej wysokiego napięcia 110 kV [2]. Symulacja została przeprowadzona dla dwóch stanów pracy linii wysokiego napięcia - pracy znamionowej i zwarcia. Ponadto został oszacowany błąd bezwzględny i względny pomiaru natężenia prądu za pomocą czujnika polarymetrycznego [1].
10
Możliwości wykorzystania biomasy do celów energetycznych
Gierasimczuk A., Lewandowski W., Jordan A.
Energetyka
|
2009
|
nr 10
707-714
PL
Przeanalizowano możliwości wykorzystania do celów energetycznych biomasy pochodzącej z różnych źródeł. Uwzględniono przykładowe warianty istniejących lub innowacyjnych procesów technologicznych. Rozważono główne wady i zalety opisanych rozwiązań. Przeanalizowano także zawartość w biomasie chloru i alkaliów mogących być powodem intensywnej korozji kotłów energetycznych.
EN
Analysed are possibilities to apply multisource provenience biomass for power generation purposes. Considered are exemplary alternative versions of the existing or innovative technological processes. Presented are main advantages and disadvantages of the described solutions. Analysed is also the content of chlorine and alkalies in biomass, that can cause an intensive corrosion of power boilers.
11
Content available remote Electromagnetic wave propagation into building constructions
Choroszucho A., Pieńkowski C., Jordan A.
Przegląd Elektrotechniczny
|
2008
|
R. 84, nr 11
44-49
EN
The paper presents the influence of three types of construction materials (bricks, prefabricated units, passive building) used in building engineering on the electromagnetic wave propagation. Analysis of both the propagation phenomena and the computational results can make it possible to subsequently plan the placements of wireless network transmitters used, among others, in cellular telephony, the internet, networks equipped with modems, routers and other similar devices. The purpose of the research is to optimize the transmitter placement process thus improving the quality of modern communication.
PL
W publikacji przedstawiono wpływ materiałów budowlanych stosowanych obecnie w trzech rodzajach budownictwa (cegła, wielka płyta, budownictwo pasywne) na propagację pola elektromagnetycznego. Analiza wyników obliczeń, jak również występujących zjawisk umożliwia późniejsze planowanie rozmieszczania nadajników sieci bezprzewodowej m.in. sieci komórkowej, Internetu, zawierających modemy, routery i innego rodzaju urządzenia. Celem badań jest optymalizacja rozstawienia nadajników, która wpłynie na polepszenie jakości komunikacji.
12
Standard IEEE 802.21 - mechanizmy wspierania mobilności
Machań P., Jordan A., Wieczorkowska A.
Przegląd Telekomunikacyjny + Wiadomości Telekomunikacyjne
|
2007
|
nr 7
211-216
PL
Rosnąca liczba dostępnych technik bezprzewodowych o zróżnicowanych funkcjonalnościach tworzy naturalną potrzebę opracowania metody koegzystencji i współpracy tych rozwiązań. Przedmiotem artykułu są mechanizmy wspierania mobilności w szerokopasmowych sieciach heterogenicznych serii IEEE 8O2.x, w szczególności IEEE 802.11 (Wi-Fi) i IEEE 802.16 (WiMAX), a także UMTS, oferowane przez standard IEEE 802.21. Zawarte w pracy opisy 802.21 zostały zaczerpnięte ze wstępnej wersji 4.00 standardu IEEE 802.21.
EN
The growing number of wireless technologies raises the demand for interoperability mechanisms between networks. The article discuss the mobility support algorithms for IEEE 802.x standard family {mai- nly concentrated on IEEE 802.11 and IEEE 802.16) and UMTS that are offered by IEEE 802.21 standard. The paper is based on IEEE 802.21 draft 4.0 published in February 2007.
13
Content available Systemy wieloprocesorowe w automatyce i pomiarach
Jordan A., Bycul R., Forenc J., Myszkowski P.
Pomiary Automatyka Kontrola
|
2004
|
R. 50, nr 10
16-20
PL
Artykuł przedstawia konstrukcję homogenicznego systemu klaster - KETIM2, oraz dwa przykłady jego wykorzystania do rozwiązywania wybranych zagadnień z teorii sterowania i przybliżonych metod elektrotechniki. Pierwszym z nich jest równoległa implementacja algorytmu gradientu sprzężonego wykorzystywanego w teorii optymalizacji i metodzie elementów skończonych. Drugi przykład dotyczy równoległej analizy stanów nieustalonych w układach opisanych nieliniowym równaniem stanu. W tym drugim przypadku analizowano dynamikę silnika asynchronicznego pierścieniowego stosując metodę spekulacyjną. Przedstawiono również perspektywy zastosowań systemów wieloprocesorowych w technice pomiarowej.
EN
The paper presents the construction of a homogenous cluster system - KETIM2 and two examples of its application for solving selected problems of control theory and approximate methods of electrical engineering. First of them is a parallel implementation of the conjugate gradient algorithm applied in the optimization theory and in the method of finite elements. The second example concerns parallel analysis of transient states in a dynamic system described by a nonlinear state equation. In the second case dynamics of asynchronous slip-ring motor was analysed appluing a speculative method. The perspectives of applications of multiprocessor systems in measurement technique were also presented.
14
Charakterystyka obliczeń równoległych w systemach wielokomputerowych
Jordan A., Butryło B., Bycul R., Forenc J.
Elektronika : konstrukcje, technologie, zastosowania
|
2004
|
Vol. 45, nr 3
7-11, 15
PL
Przedstawiono konstrukcję klastra zbudowanego z wykorzystaniem procesorów Intel Xeon 2,66 GHz. Wydajność opracowanej konstrukcji badano przy użyciu standardowych, współbieżnych programów testowych NASA-NBP. Wyniki badań porównano z wydajnością innych rozproszonych systemów komputerowych i wydajnością platformy opartej na procesorze Intel Celeron. Przedstawiono różne koncepcje podziału zadań w programie rozproszonym i końcowe wartości wydajności obliczeń wykonanych w sieci heterogenicznej złożonej z komputerów klasy PC.
EN
In this papers the construction of the high performance cluster of workstations based on Intel Xeon 2.66 GHz processor was presented. The performance of this system using professional, standard NAASA-NPB benchmark was investigated. The results of investigations were compared with performance of some others distributed computers and intel PC processors. The different task management strategy and obtained performance of the distributed application were presented. The heterogeneous cluster of PC computers was used in this case.
15
Content available remote Rozkład SAR w równoległym modelu głowy ludzkiej
Walendziuk W., Jordan A.
Przegląd Elektrotechniczny
|
2002
|
R. 78, nr 11
328-332
PL
W prezentowanej pracy przedstawiono równoległą implementację algorytmu FDTD, pracującego w homogenicznej sieci cluster. Algorytm wieloprocesorowy przebadano dla dwóch topologii połączeń węzłów obliczeniowych. Jako obiekt badany przyjęto dwuwymiarowy model przekroju głowy ludzkiej, wzorowany na zdjęciu z rezonansu magnetycznego MAI. W analizowanym modelu znajdującym się w pobliżu źródła fali elektromagnetycznej wysokiej częstotliwości obliczono dystrybucję SAA oraz przyrostu temperatur.
EN
A review of the writings on influence of the electromagnetic fields (EMF) of power frequency on human organism is given. The chosen investigations regarding the influence are described. Especially are presented relevancies of the field to cancer morbidity and psychical health.
16
Content available remote Obliczenia pól elektromagnetycznych z wykorzystaniem algorytmów współbieżnych przykłady
Butryło B., Jordan A.
Zeszyty Naukowe. Elektryka / Politechnika Łódzka
|
1999
|
z. 93
147--156
PL
W artykule przedstawiono sposób organizacji algorytmów współbieżnych FDTD i dekompozycji LU oraz przedyskutowano podstawowe cechy obu algorytmów. Prezentowane pełne numeryczne sformułowanie algorytm FDTD pozwala na analizą zagadnień dwuwymiarowych. Omówiony w drugiej części algorytm LU stanowi fragment solvera stosowanego w przybliżonych metodach analizy pola elektromagnetycznego. Poniższe algorytmy zostały opracowane w Katedrze Elektrotechniki Teoretycznej i Metrologii Politechniki Białostockiej z wykorzystaniem komputera równoległego Alex AVX2 klasy MIMD.
EN
The mathematical background of electromagnetic field analysis and specification of the suitable numerical methods were presented in the paper. The detailed description of two sophisticated concurrent algorithms is given. The first one is the FDTD (finite difference time domain) algorithm, which was applied to the analysis of the propagation of high frequency electromagnetic wave. The parallel version of the LU decomposition, a part of the finite element method solver, is described as the second method. The properties of the FDTD and LU algorithms were discussed.
17
Content available remote Możliwości obliczeń współbieżnych pól elektromagnetycznych
Jordan A., Butryło B.
Zeszyty Naukowe. Elektryka / Politechnika Łódzka
|
1999
|
z. 93
139--146
PL
W artykule przedstawiono obecny stan zaawansowania prac nad równoległą, współbieżną implementacją algorytmów stosowanych w numerycznej analizie pola elektromagnetycznego. W oparciu o zaprezentowaną klasyfikację metod wykorzystywanych w obliczeniach polowych sformułowano podstawowe cele realizowanych prac.
EN
The paper deals with some bearings of the high performance computing technology in the analysis of electromagnetic field phenomena. Parallel computers and concurrent programming provide powerful problem solving tool, applicable in many practical domains. Its appeal has been strengthen by new types of hardware (massive parallel computers, cluster systems, signal processors) and smart software techniques (PVM, MPI standards) supplying users wants.
18
Działalność Katedry Elektrotechniki Teoretycznej i Metrologii
Jordan A.
Pomiary Automatyka Kontrola
|
1999
|
R. 45, nr 5
15-20
first rewind previous Strona / 1 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ć.