Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "topology" wg kryterium: Temat


Tytuł:
A comparison of two systems of point-free topology
Autorzy:
Gruszczyński, Rafał
Pietruszczak, Andrzej
Powiązania:
https://bibliotekanauki.pl/articles/749986.pdf
Data publikacji:
2018
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
point-free topology
region-based topology
foundations of topology
mereology
mereological structures
separation structures
connection structures
Grzegorczyk structures
Biacino-Gerla structures.
Opis:
This is a spin-off paper to [3, 4] in which we carried out an extensive analysis of Andrzej Grzegorczyk’s point-free topology from [5]. In [1] Loredana Biacino and Giangiacomo Gerla presented an axiomatization which was inspired by the Grzegorczyk’s system, and which is its variation. Our aim is to compare the two approaches and show that they are slightly different. Except for pointing to dissimilarities, we also demonstrate that the theories coincide (in the sense that their axioms are satisfied in the same class of structures) in presence of axiom stipulating non-existence of atoms.
Źródło:
Bulletin of the Section of Logic; 2018, 47, 3
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A contribution to the topological classification of the spaces Ср(X)
Autorzy:
Cauty, Robert
Dobrowolski, Tadeusz
Marciszewski, Witold
Powiązania:
https://bibliotekanauki.pl/articles/1208632.pdf
Data publikacji:
1993
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:
function space
pointwise convergence topology
absorbing sets
Borel and projective filters
Opis:
We prove that for each countably infinite, regular space X such that $C_p(X)$ is a $Z_σ$-space, the topology of $C_p(X)$ is determined by the class $F_0(C_p(X))$ of spaces embeddable onto closed subsets of $C_p(X)$. We show that $C_p(X)$, whenever Borel, is of an exact multiplicative class; it is homeomorphic to the absorbing set $Ω_α$ for the multiplicative Borel class $M_α$ if $F_0(C_p(X)) = M_α$. For each ordinal α ≥ 2, we provide an example $X_α$ such that $C_p(X_α)$ is homeomorphic to $Ω_α$.
Źródło:
Fundamenta Mathematicae; 1993, 142, 3; 269-301
0016-2736
Pojawia się w:
Fundamenta Mathematicae
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A discrete variable based methodology for topology optimization considering spatially uneven manufacturing errors
Autorzy:
Xia, Meng
Li, Jing
Powiązania:
https://bibliotekanauki.pl/articles/27309953.pdf
Data publikacji:
2023
Wydawca:
Polska Akademia Nauk. Czasopisma i Monografie PAN
Tematy:
interval field
manufacturing errors
morphological operations
topology optimization
Opis:
Manufacturing errors (MEs) are unavoidable in product fabrication. The omnipresence of manufacturing errors (MEs) in product engineering necessitates the development of robust optimization methodologies. In this research, a novel approach based on the morphological operations and interval field (MOIF) theory is proposed to address MEs in the discrete-variable-based topology optimization procedures. On the basis of a methodology for deterministic topology optimization (TO) based on the Min-Cut, MOIF introduces morphological operations to generate geometrical variations, while the dimension of the structuring element is dynamically set by the interval field function’s output. The effectiveness of the proposed approach as a powerful tool for accounting for spatially uneven ME in the TOs has been demonstrated.
Źródło:
Archives of Electrical Engineering; 2023, 72, 4; 1121--1133
1427-4221
2300-2506
Pojawia się w:
Archives of Electrical Engineering
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A function space Cp(X) not linearly homeomorphic to Cp(X) × ℝ
Autorzy:
Marciszewski, Witold
Powiązania:
https://bibliotekanauki.pl/articles/1205429.pdf
Data publikacji:
1997
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:
function space
pointwise convergence topology
$c_p(X)$
linear homeomorphism
Opis:
We construct two examples of infinite spaces X such that there is no continuous linear surjection from the space of continuous functions $c_p(X)$ onto $c_p(X)$ × ℝ$. In particular, $c_p(X)$ is not linearly homeomorphic to $c_p(X)$ × ℝ$. One of these examples is compact. This answers some questions of Arkhangel'skiĭ.
Źródło:
Fundamenta Mathematicae; 1997, 153, 2; 125-40
0016-2736
Pojawia się w:
Fundamenta Mathematicae
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A mathematical programming method for the topology optimization of a truss-like continuum
Autorzy:
Cui, Hao
Zhou, Kemin
Powiązania:
https://bibliotekanauki.pl/articles/280187.pdf
Data publikacji:
2019
Wydawca:
Polskie Towarzystwo Mechaniki Teoretycznej i Stosowanej
Tematy:
topology optimization
mathematical programming method
truss-like continuum
Opis:
A mathematical programming method to optimize the distribution field of a truss-like material is presented. The densities and angles of members are optimized in two separate procedures in each iteration. An explicit sub-problem in a variable separation form is established at every iteration procedure. At each sub-problem, the stress constraint function is expanded into a trigonometric series of the member angles. According to the extreme condition, the optimal orientations of members are determined. The member densities are optimized using the method of moving asymptotes (MMA). Two examples demonstrate that the optimal truss-like structures are very close to analytic solutions.
Źródło:
Journal of Theoretical and Applied Mechanics; 2019, 57, 3; 751-763
1429-2955
Pojawia się w:
Journal of Theoretical and Applied Mechanics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A new approach for simultaneous shape and topology optimization based on dynamic implicit surface function
Autorzy:
Guo, H.
Zhao, K.
Wang, M. Y.
Powiązania:
https://bibliotekanauki.pl/articles/970141.pdf
Data publikacji:
2005
Wydawca:
Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:
optymalizacja topologiczna
pochodna topologiczna
topology optimization
implicit
surface function
topological derivative
level set
Opis:
In the present paper, a new approach for structural topology optimization based on dynamic implicit surface function (DISF) is proposed. DISF is used to describe the shape/topology of a structure, which is approximated in terms of the nodal values. Then, a relationship is established between the element stiffness and the values of the implicit surface function on its four nodes. In this way and with some non-local treatments of the design sensitivities, not only the shape derivative but also the topological derivative of the optimal design can be incorporated in the numerical algorithm in a unified way. Numerical experiments demonstrate that by employing this approach, the computational efforts associated with DISF (and level set) based algorithms can be diminished. Clear optimal topologies and smooth structural boundaries free from any sign of numerical instability can be obtained simultaneously and efficiently.
Źródło:
Control and Cybernetics; 2005, 34, 1; 255-282
0324-8569
Pojawia się w:
Control and Cybernetics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A power electronics controlled current source based on a double-converter topology
Autorzy:
Gwóźdź, M.
Powiązania:
https://bibliotekanauki.pl/articles/141165.pdf
Data publikacji:
2014
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
controlled source
converter control
converter topology
PWM
simulation model
Opis:
The paper presents a conception of power electronics voltage controlled current source (VCCS) which is able much more precise mapping of its an output current in a reference signal, compared to a typical converter solution. It can be achieved by means of such interconnection of two separate converters that one of them corrects a total output current towards a reference signal. An output power of auxiliary converter is much smaller than an output power of main one. Thanks to continuous work of this converter also pulse modulation components in this current are minimized. These benefits are paid for by a relatively small increase in the complexity and the cost of the system. This conception of a converter has been called the double-converter topology (DCT). In the author opinion presented solution of the system can find application in many power electronics equipment and, therefore, will be developed. In the paper DCT basics, simulation experiments, and possible practical arrangement of the DCT are presented.
Źródło:
Archives of Electrical Engineering; 2014, 63, 3; 335-344
1427-4221
2300-2506
Pojawia się w:
Archives of Electrical Engineering
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A routing algorithm and a router architecture for 3D NoC
Autorzy:
Kanagasabapathi, Somasundaram
Calicut, Chythanya
Powiązania:
https://bibliotekanauki.pl/articles/305713.pdf
Data publikacji:
2019
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
3D topology
router
network on chip
routing algorithm
Opis:
In recent years, the enhancement of microchip technologies has enabled large scale Systems-on-Chip (SoC). Due to sharp increase in number of processing elements, SoC faces various challenges in design and testing. Network on Chip (NoC) is an alternative technology to overcome the challenges in SoC design and testing. NoC emerged as a key architecture that allows one to optimize the parameters like power and area. In spite of its applications, NoC faces some real time challenges like designing an optimum topology, routing scheme and application mappings. In this paper, we address the main three issues on NoC, namely, designing of an optimal topology, routing algorithm and a router design for the topology. First, we propose a topology and a routing algorithm. We prove that our recursive network topology is Hamiltonian connected and we propose an algorithm for data packet transmissions, which is free from cyclic deadlocks and the algorithm maximizes the congestion factor. Our experimental results show that the proposed topology gives better performance in terms of average latency and power than the other topologies. Finally, we propose a router architecture for our 3D-NoC. The router architecture is based on shared buffers. Also, our experimental results indicate that the proposed router architecture consumes less area and power than the Virtual Channel architecture.
Źródło:
Computer Science; 2019, 20 (3); 369-383
1508-2806
2300-7036
Pojawia się w:
Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A spectral synthesis property for \(C_b(X, \Beta)\)
Autorzy:
Arizmendi-Peimbert, H.
Carrillo-Hoyo, A.
Garcı́a, A.
Powiązania:
https://bibliotekanauki.pl/articles/745757.pdf
Data publikacji:
2008
Wydawca:
Polskie Towarzystwo Matematyczne
Tematy:
spectral synthesis
strict topology
closed ideals
topological divisors of zero
Opis:
Let \((C_b (X) , \Beta)\) be the algebra of all continuous bounded real or complex valued functions defined on a completely regular Hausdorff space \(X\) with the usual algebraic operations and with the strict topology \(\Beta\). It is proved that \((C_b (X) , \Beta)\) has a spectral synthesis, i.e. every of its closed ideals is an intersection of closed maximal ideals of codimension 1. We give one necessary and two sufficient conditions over \(X\) in order that \((C_b (X) , \Beta)\) has no proper non-zero closed principal ideals. Moreover if \(X\) satisfy any of these two conditions and is also a k-space, then any non zero element of \(C_b(X)\) is invertible or a topological divisor of zero.
Źródło:
Commentationes Mathematicae; 2008, 48, 2
0373-8299
Pojawia się w:
Commentationes Mathematicae
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
About the ways of defining connected sets in the topological spaces
Autorzy:
Domańska, K.
Wróbel, M.
Powiązania:
https://bibliotekanauki.pl/articles/122078.pdf
Data publikacji:
2016
Wydawca:
Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
Tematy:
przestrzeń topologiczna
przestrzeń metryczna
topologia podprzestrzeni
topological space
metric space
subspace topology
Opis:
A topological space is called connected if it is not the union of two disjoint, nonempty and open sets in this space. The standard exercises show that here the concept of open sets can be replaced by closed sets or separated sets. In this context we will discuss the definition of connected sets in topological spaces, not being the whole space with particular regard to metric spaces, without the term of subspace topology.
Źródło:
Scientific Issues of Jan Długosz University in Częstochowa. Mathematics; 2016, 21; 11-16
2450-9302
Pojawia się w:
Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Analiza pracy rezonansowego układu LCL w warunkach nieciągłości prądu
The Analysis of the Resonant LCL Circuit Operation Under a Discontinuous Input Current Condition
Autorzy:
Dzieniakowski, A. M.
Powiązania:
https://bibliotekanauki.pl/articles/159692.pdf
Data publikacji:
2016
Wydawca:
Sieć Badawcza Łukasiewicz - Instytut Elektrotechniki
Tematy:
przekształtnik rezonansowy LCL
zmienność topologii
grzejnictwo indukcyjne
falownik napięcia
sterowanie przekształtnika
resonant circuit LCL
resonant converter
topology variability
induction heating
voltage inverter control
Opis:
Artykuł przedstawia analizę pracy rezonansowego układu LCL przy nieciągłym prądzie wejściowym, prowadzącym do zmienności topologii obwodu. Wyprowadzono analityczne zależności obrazujące działanie przekształtnika z obciążeniem LCL w takich warunkach. Pokazano wyniki badań teoretycznych i porównano je z rezultatami testów laboratoryjnych. Wskazano obszar występowania zjawiska zmienności topologii układu LCL i jego konsekwencje. Przedstawiono koncepcję rezonansowego przekształtnika FN-LCL o regulowanej częstotliwości wykorzystującą zjawisko zmienności topologii. Określono potencjalne aplikacje przekształtnika FN-LCL z nieciągłym prądem w grzejnictwie indukcyjnym i zilustrowano je badaniami symulacyjnymi.
The article is focused on the analysis of the LCL resonant circuit, which operates under a discontinuous input current condition. This condition leads to the LCL topology variability phenomenon that drastically changes Inverter-LCL system properties. The LCL topology variability phenomenon is precisely described. The analytical analysis presents formulae that express converter features. The theoretical results are compared with laboratory tests. The concept of Controlled Variable Frequency Resonant Converter is presented. The principle of CVFRC operation is based on the LCL topology variability phenomenon. The CVFRC description is illustrated by simulation tests and the converter potential application area in the induction heating is indicated.
Źródło:
Prace Instytutu Elektrotechniki; 2016, 272; 21-30
0032-6216
Pojawia się w:
Prace Instytutu Elektrotechniki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Analysis of Optimality Conditions for Some Topology Optimization Problems in Elasticity
Autorzy:
Trabucho, L.
Powiązania:
https://bibliotekanauki.pl/articles/907897.pdf
Data publikacji:
2002
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
optymalizacja
topology optimization
optimality conditions
elasticyty
Opis:
The subject of topology optimization has undergone an enormous practical development since the appearance of the paper by Bends\o e and Kikuchi (1988), where some ideas from homogenization theory were put into practice. Since then, several engineering applications as well as different approaches have been developed successfully. However, it is difficult to find in the literature some analytical examples that might be used as a test in order to assess the validity of the solutions obtained with different algorithms. As a matter of fact, one is often faced with numerical instabilities requiring a fine tuning of the algorithm for each specific case. In this work, we develop a family of analytical solutions for very simple topology optimization problems, in the framework of elasticity theory, including bending and extension of rods, torsion problems as well as plane stress and plane strain elasticity problems. All of these problems are formulated in a simplified theoretical framework. A key issue in this type of problems is to be able to evaluate the sensitivity of the homogenized elastic coefficients with respect to the microstructure parameter(s). Since we are looking for analytical solutions, we use laminates for which an explicit dependence of the homogenized coefficients on the microstructure is known.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2002, 12, 1; 127-137
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Application of 1H and 31P NMR to topological description of a model of biological membrane fusion Topological description of a model of biological membrane fusion
Autorzy:
Janiak-Osajca, Agnieszka
Timoszyk, Anna
Powiązania:
https://bibliotekanauki.pl/articles/1039735.pdf
Data publikacji:
2012
Wydawca:
Polskie Towarzystwo Biochemiczne
Tematy:
vesicle
topology
fusion
31P-NMR
1H-NMR
Opis:
The process of biological membrane fusion can be analysed by topological methods. Mathematical analysis of the fusion process of vesicles indicated two significant facts: the formation of an inner, transient structure (hexagonal phase - HII) and a translocation of some lipids within the membrane. This shift had a vector character and only occurred from the outer to the inner layer. Model membrane composed of phosphatidylcholine (PC), phosphatidylethanolamine (PE) and phosphatidylserine (PS) was studied. 31P- and 1H-NMR methods were used to describe the process of fusion. 31P-NMR spectra of multilamellar vesicles (MLV) were taken at various temperatures and concentrations of Ca2+ ions (natural fusiogenic agent). A 31P-NMR spectrum with the characteristic shape of the HII phase was obtained for the molar Ca2+/PS ratio of 2.0. During the study, 1H-NMR and 31P-NMR spectra for small unilamellar vesicle (SUV), which were dependent on time (concentration of Pr3+ ions was constant), were also recorded. The presence of the paramagnetic Pr3+ ions permits observation of separate signals from the hydrophilic part of the inner and outer lipid bilayers. The obtained results suggest that in the process of fusion translocation of phospholipid molecules takes place from the outer to the inner layer of the vesicle and size of the vesicles increase. The NMR study has showed that the intermediate state of the fusion process caused by Ca2+ ions is the HII phase. The experimental results obtained are in agreement with the topological model as well.
Źródło:
Acta Biochimica Polonica; 2012, 59, 2; 219-224
0001-527X
Pojawia się w:
Acta Biochimica Polonica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Application of finite variations to topology and shape optimization of 2D structures
Zastosowanie modyfikacji skończonych w optymalizacji topologii i kształtu konstrukcji dwuwymiarowych
Autorzy:
Bojczuk, D.
Sztebelak, W.
Powiązania:
https://bibliotekanauki.pl/articles/280313.pdf
Data publikacji:
2006
Wydawca:
Polskie Towarzystwo Mechaniki Teoretycznej i Stosowanej
Tematy:
2D structures
optimal topology and shape
topological derivative
finite modification
structure evolution
Opis:
The method of simultaneous topology and shape optimization of 2D structures by finite topology modification is presented in the paper. Both, structures in a plane state of stress and bending Kirchhoff's plates are analyzed here. Conditions for the introduction of finite topology modification based on the topological derivative are specified. When the respective condition is satisfied, finite holes and finite variations of existing boundaries are introduced into the structure. Next, standard shape optimization of new holes and variable boundaries is performed. Two basic types of modification are considered here, namely the introduction of holes of a prescribed size and shape and the introduction of holes of an unknown size and shape together with the introduction of finite changes of other boundaries. A heuristic algorithm for optimal design of topology and shape is proposed in the paper. Illustrative examples confirm applicability of the proposed approach.
W pracy rozpatrywana jest metoda jednoczesnej optymalizacji topologii i kształtu konstrukcji dwuwymiarowych przy użyciu skończonych modyfikacji topologii. Rozważania dotyczą zarówno konstrukcji tarczowych pracujących w płaskim stanie naprężenia, jak i płyt Kirchhoffa pracujących w stanie zgięciowym. Przy wykorzystaniu pochodnej topologicznej wyprowadzono warunki wprowadzania skończonych modyfikacji topologii. Gdy spełniony jest odpowiedni warunek modyfikacji, do konstrukcji wprowadzane są otwory o skończonych wymiarach oraz ewentualnie skończone modyfikacje pozostałych brzegów. Następnie wykonywana jest standardowa optymalizacja kształtu otworów i brzegów zewnętrznych. Analizowane są dwa podstawowe typy modyfikacji, a mianowicie wprowadzanie otworów o zadanej wielkości i kształcie oraz wprowadzanie otworów o nieznanej wielkości i kształcie wraz z ewentualną skończoną zmianą pozostałych brzegów. W pracy sformułowano odpowiedni algorytm heurystyczny optymalizacji topologii i kształtu rozpatrywanych konstrukcji. Przedstawione przykłady ilustracyjne potwierdzają przydatność zaproponowanego podejścia.
Źródło:
Journal of Theoretical and Applied Mechanics; 2006, 44, 2; 323-349
1429-2955
Pojawia się w:
Journal of Theoretical and Applied Mechanics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Automatyczna budowa wektorowych modeli 3d budynków na podstawie danych lotniczego skaningu laserowego
Automatic reconstruction of 3d building skeleton models based on airborne laser scanning data
Autorzy:
Jarząbek-Rychard, M.
Powiązania:
https://bibliotekanauki.pl/articles/129652.pdf
Data publikacji:
2012
Wydawca:
Stowarzyszenie Geodetów Polskich
Tematy:
modelowanie budynków 3D
LIDAR
ALS
chmura punktów
topologia dachów
3D buildings modeling
lidar
point cloud
roof topology
Opis:
W artykule opisana jest w pełni automatyczna metoda budowy trójwymiarowych modeli budynków przedstawionych za pomocą linii szkieletowych. Budynki rekonstruowane są na podstawie chmury punktów, bez potrzeby wsparcia w postaci dodatkowych informacji i zbiorów danych. Warunek ten dodatkowo komplikuje zadanie rekonstrukcji, lecz jednocześnie czyni przedstawiony algorytm dużo bardziej uniwersalnym. Topologiczny model budynku tworzony jest na podstawie punktów charakterystycznych, wyznaczających miejsca przecięć sąsiednich połaci dachowych, bądź linii rzutów ścian. Punkty charakterystyczne zlokalizowane na zewnętrznych krawędziach budynków wyznaczane są za pomocą autorskiego algorytmu wykrywającego kontury. W kolejnym etapie rekonstrukcji określone są relacje topologiczne między punktami, które pozwalają na wyznaczenie linii krawędziowych poszczególnych płaszczyzn budynku. Ostatecznie, przeprowadzone jest wyrównanie punktów wierzchołkowych i linii krawędziowych, co pozwala na otrzymanie zregularyzowanego modelu zabudowy. Algorytm przetestowany został z wykorzystaniem danych lotniczego skaningu laserowego przedstawiających fragment zabudowy małego miasta. W wyniku przeprowadzonych eksperymentów można stwierdzić, że opisana metoda pozwala na poprawne i wydajne generowanie szkieletowych modeli budynków o skomplikowanej strukturze.
This paper presents a fully automatic method for generation of 3D building skeleton models. Objects are reconstructed from point clouds, without the need for a support, like additional information and data sets. This condition makes the reconstruction task even more complicated, however at the same time, presented algorithm becomes much more versatile. Topological model of a building is created based on characteristic points, which determine intersections of adjacent planes of the roof or walls. The characteristic points located on the outer edges of a building are extracted using author’s contour detecting algorithm. In the next stage of reconstruction topological relations between the points are defined, which allow to detect contour lines of individual planes of a building. Finally, adjustment of vertex points and edge lines is performed that enables to obtain regularized building model. The algorithm was tested against airborne laser scanning data set that shows a part of the small town. As a result of experiments it can be concluded that the described method allows the correct generation of skeletal building models with a complex structure.
Źródło:
Archiwum Fotogrametrii, Kartografii i Teledetekcji; 2012, 24; 99-109
2083-2214
2391-9477
Pojawia się w:
Archiwum Fotogrametrii, Kartografii i Teledetekcji
Dostawca treści:
Biblioteka Nauki
Artykuł

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