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

Znaleziono wyników: 12

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

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available remote On Boolean Automata Networks (de)Composition
Perrot Kévin, Perrotin Pacôme, Sené Sylvain
Fundamenta Informaticae
|
2021
|
Vol. 181, nr 2-3
163--188
EN
Boolean automata networks (BANs) are a generalisation of Boolean cellular automata. In such, any theorem describing the way BANs compute information is a strong tool that can be applied to a wide range of models of computation. In this paper we explore a way of working with BANs which involves adding external inputs to the base model (via modules), and more importantly, a way to link networks together using the above mentioned inputs (via wirings). Our aim is to develop a powerful formalism for BAN (de)composition. We formulate three results: the first one shows that our modules/wirings definition is complete; the second one uses modules/wirings to prove simulation results amongst BANs; the final one expresses the complexity of the relation between modularity and the dynamics of modules.
2
Content available remote SMT-Based Reachability Checking for Bounded Time Petri Nets
Półrola A., Cybula P., Męski A.
Fundamenta Informaticae
|
2014
|
Vol. 135, nr 4
467--482
EN
Time Petri nets by Merlin and Farber are a powerful modelling formalism. However, symbolic model checking methods for them consider in most cases the nets which are 1-safe, i.e., allow the places to contain at most one token. In our paper we present an approach which applies symbolic verification to testing reachability for time Petri nets without this restriction. We deal with the class of bounded nets restricted to disallow multiple enabledness of transitions, and present the method of reachability testing based on a translation into a satisfiability modulo theory (SMT).
3
Content available remote Combinatorial Algorithms for Computing Degenerations of Modules of Finite Dimension
Mróz A., Zwara G.
Fundamenta Informaticae
|
2014
|
Vol. 132, nr 4
519--532
EN
We present combinatorial algorithms for solving three problems that appear in the study of the degeneration order ≤degfor the variety of finite-dimensional modules over a k-algebra Δ, where M ≤deg N means that a module N belongs to an orbit closure O(M) of a module M in the variety of Δ-modules. In particular, we introduce algorithmic techniques for deciding whether or not the relation M ≤deg N holds and for determining all predecessors (resp. succesors) of a given module M with respect to ≤deg. The order ≤deg plays an important role in modern algebraic geometry and module theory. Applications of our technique and experimental tests for particular classes of algebras are presented. The results show that a computer algebra technique and algorithmic computer calculations provide important tools in solving theoretical mathematics problems of high computational complexity. The algorithms are implemented and published as a part of an open source GAP package called QPA.
4
Content available Modular fem framework “ModFEM” for generic scientific parallel simulations
Michalik K., Banaś K., Płaszewski P., Cybułka P.
Computer Science
|
2013
|
Vol. 14 (3)
513--528
EN
We present the design for, and implementation of, aflexible and robust parallel modular finite element (FEM) framework called ModFEM. The designis based on reusable modules which use narrow and well-defined interfaces to cooperate. At the top of the architecture, there are problem - dependent modules. Problem - - dependent modules can be additionally grouped together by“super-modules”. The structure allows for reusing the sequential code for parallel environments, and also supports solving multi-physics and multi-scale problems.
5
Content available remote ModFem : a computational framework for parallel adaptive finite element simulations
Michalik K., Banaś K., Płaszewski P., Cybułka P.
Computer Methods in Materials Science
|
2013
|
Vol. 13, No. 1
3--8
EN
We present the design and its' implementation for a flexible and robust modular finite element framework, called ModFem. The design is based on reusable modules which use narrow and well-defined interfaces to cooperate. At the top of the architecture there are problem dependent modules, with the main module being an incompressible flow solver. Problem dependent modules can be additionally grouped together by "super-modules", e.g. for the purpose of applying created codes for multi-physics and multi-scale problems. Additionally, the framework tries to provide suitable infrastructure for parallel computations, at the level of shared memory, as well as distributed memory systems.
PL
Autorzy prezentują koncepcję i implementację szkieletu obliczeniowego do równoległych adaptacyjnych symulacji, metodą elementów skończonych (MES), o nazwie ModFem. Głównym założeniem projektowym był podział całego szkieletu na moduły, połączone poprzez precyzyjnie zdefiniowane wąskie interfejsy. Na szczycie architektury modularnej znajduję się moduły odpowiedzialne za modelowanie konkretnych zjawisk fizycznych, w szeczególności przepływów nieściśliwych. Ponadto moduły być łączone z innymi modułami problemowymi w super-moduły, min.: w celu użycia istniejących rozwiązań podczas modelowania problemów ze sprzężeniem wielu różnych zjawisk fizycznych oraz modelowania wieloskalowego. Dodatkowo, szkielet wspiera wykorzystywanie równoległości zarówno na poziomie pamięci współdzielonej jak i rozproszonej.
6
Content available remote Kosmos architektury
Mielnik A.
Czasopismo Techniczne. Architektura
|
2009
|
R. 106, z. 1-A
401-405
PL
Wyobrażony świat Oswalda Mathiasa Ungersa, podporządkowany ścisłym zasadom geometrii i zamknięty w czystym białym pudełku domu własnego w Kolonii stał się dowodem na istnienie współczesnej architektury poszukującej porządku i opartej na rygorystycznych zasady kompozycjach. Można to uznać za kontynuację myśli Witruwiusza, który według "obliczalnych" zasad jak proporcje, geometria, moduły chciał mierzyć piękno budynku.
EN
Imagined word of Oswald Mathias Ungers, subordinated to precise rules of geometry and closed in pure, white box of his own house in Cologne becomes a proof for contemporary architecture looking for order and based on rigorous compositional rules. It can be considered as a continuation of Vitruvius' thought, who according to "countable" rules as proportions, geometry, modules measured beauty of the building.
7
Content available remote Non-linear elasticity of spiral springs
Goncharenko V. V., Goncharenko M. V., Malkin A. Y.
International Journal of Applied Mechanics and Engineering
|
2008
|
Vol. 13, no 2
373-381
EN
Drawing of a cylindrical spiral spring with indexes in the range 50-100 at the high extension domain results in the non-linear behavior of a spring, the Young modulus of the material being constant. The equation describing the non-linear relationship between the drawing force and draw ratio was obtained and compared with experimental data. The origin of non-linearity is explained as the continuous transition from uncoiling of a spring to extension of its material.
8
Content available remote Wykorzystanie systemu SAP for Utilities (na podstawie Elektrociepłowni "Kraków" S.A.)
Żarowska A., Waszkielewicz W.
Zagadnienia Techniczno-Ekonomiczne
|
2005
|
T. 50, z. 1
193-200
PL
SAP dla przedsiębiorstw użyteczności publicznej wykorzystywany jest w spółkach sprzedających energię, wodę, telewizję kablową itp. Optymalizuje procesy zarządcze, działania biznesowe, sprzedaż i marketing. SAP for Utilities zapewnia możliwość gwałtownych zmian zasad działania, skalowalność, integrację z innymi systemami. Przypadek ECK S.A. pokazuje kroki wyboru i implementacji systemu SAP.
EN
SAP for Utilities is used in companies selling energy, water, cable TV etc. It optimizes management processes, business activities, sale and marketing. SAP for Utilities gives the possibility of rapid change the rules of the activity, scaling, integration with other systems. The ECK S.A. case shows the steps of the choice and implementation SAP system.
9
Elementy i moduły optoelektroniczne do zastosowań w medycynie, przemyśle, ochronie środowiska i technice wojskowej : tematyka Projektu Badawczego Zamawianego
Jankiewicz Z., Woliński W., Jeleński A., Rogalski A.
Elektronika : konstrukcje, technologie, zastosowania
|
2003
|
Vol. 44, nr 8-9
5-9
PL
W pracy przedstawiono genezę, założenia, cele do osiągnięcia oraz tematykę zgłoszonego przez KEiT PAN do ustanowienia przez KBN Projektu Badawczego Zamawianego
EN
In this article selected topics of the Commanded R/D Project aiming the development of basie components for the industry of optoelectronic Instruments designed for medical, industrial, environmental and military applications. The areas of development of optoelectronics in Poland were selected on the basis of market considerations, existing R/D results in polish laboratories and the possibilities of their utilization by the industry, in particular by smali and medium enterprises.
10
Content available remote Gene Expression by Software Mechanisms
Ciobanu G., Tanasa B.
Fundamenta Informaticae
|
2002
|
Vol. 49, nr 1-3
67-80
EN
This paper describes the molecular interactions and coordination of cell processes using computer operating system concepts related to synchronization and communication. We argue that in molecular biology, the genes and their chromatin context provide communication and interaction with various cell processes in a similar way to that in which computer processes synchronize and communicate with each other.
11
Content available remote Model diagnostyczny procesu zgrzeblenia surowca włókienniczego i jego aplikacja
Ruta R., Wojtysiak J.
Problemy Eksploatacji
|
2001
|
nr 2
203-213
PL
W artykule przedstawiono rozważania nad systemowym ujęciem diagnostyki włókienniczych procesów wytwórczych. Zastosowano do systemowego opisu procesu wytwórczego model teoriomnogościowy, który posłużył także do sformalizowania kryteriów zdatności procesu po jego dekompozycji na procesy cząstkowe. Uzasadniono, że poprzez badania parametrów wejścia i wyjścia dla poszczególnych operacji cząstkowych można zbudować system diagnostyczny "on line" realizujący kontrolę międzyoperacyjną procesu wytwórczego tekstyliów. Egzemplifikację metody przeprowadzono na zespole włókninowym stanowiącym linię wytwórczą runka zgrzebnego do konsolidacji włóknin.
EN
The paper presents considerations concerning system approach to diagnostics of textile productive processes. A set-theoretic model was used for system description of the productive process and for formalisation of process suitability criteria after its decomposition into partial processes. It was proved that thanks to studies into input and output parameters for particular partial operations a diagnostic system ,,on line" could be built. The system would execute interoperation control of fabrics' productive process. Exemplification of the method was executed on a needled cloth set constituting a productive line of coarse fleece for needled cloth consolidation.
12
Content available remote On Frobenius groups associated with modules
Artemovych O.
Demonstratio Mathematica
|
1998
|
Vol. 31, nr 4
875-878
EN
We find criteria for a group associated with a pair (I,T) , where I is a nontrivial submodule of a left R-module M , T a nontrivial subgroup of the adjoint group Ro of a ring R, to be a Frobenius group.
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ć.