PL
 |
EN
Ograniczanie wyników
Czasopisma help
  1. 8 Fundamenta Informaticae
  2. 2 Mechanik
  3. 2 Przestrzeń i Forma
  4. 2 Space & Form
  5. 1 Archives of Control Sciences
Więcej...
Autorzy help
  1. 2 Marciniec J.
  2. 1 Bosowski Adam
  3. 1 Brzezicki M.
  4. 1 Błaszczak-Bąk W.
  5. 1 Chrzan M.
Więcej...
Lata help
  1. 3 2020
  2. 1 2017
  3. 1 2016
  4. 2 2015
  5. 3 2012
Więcej...
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 25

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

help Ogranicz wyniki do:
first rewind previous Strona / 2 next fast forward last
1
Content available Selected problems of housing complexes from the turn of the 20th and 21st century, including functional and spatial uniformity
Ostrowski Marek, Świtalska Alicja
Przestrzeń i Forma
|
2020
|
nr 42
193--212
EN
Unlike previous years, the changes that took place in housing complexes at the beginning of the 21st century include functional and spatial unification and an excessive increase in road traffic. Another problem is the lack of publicly available recreational areas and access to services in the immediate vicinity. After analyzing many housing complexes, those on the outskirts and suburban area were selected for research.
PL
Zmiany jakie zachodzą w zespołach mieszkaniowych na początku XXI wieku w odróżnieniu od lat wcześniejszych, to w szczególności unifikacja funkcjonalno-przestrzenna oraz nadmierny wzrost ruchu kołowego. Problemem jest również brak ogólnodostępnych terenów rekreacyjnych i dostępu do usług w znajdujących się w najbliższym otoczeniu. Po analizie wielu zespołów zabudowy mieszkaniowej, do badań wybrano te, które znajdują się na obrzeżach i strefie podmiejskiej.
2
Content available Unification of Equipment for Transporting People, Coal and Materials Produced by Jastrzębskie Zakłady Remontowe Sp. z o. o. and Used in the Mines of the JSW Capital Group
Dyczko Artur, Rychter Rafał, Bosowski Adam, Konsek Jarosław
New Trends in Production Engineering
|
2020
|
Vol. 3, Iss. 1
303--314
EN
The publication presents the assumptions of the unification process of machines and equipment produced by Jastrzębskie Zakłady Remontowe Sp. z o. o. and operating at the coal mines of the JSW Capital Group. It outlines a solution adopted by JZR Sp. z o. o. addressing this issue. The authors identify the potential benefits of the process to the entire Jastrzębska Spółka Węglowa Capital Group, but they also mention the risks that may arise during its implementation. The publication also presents the first results of the unification, observed on the basis of the unified equipment and machinery of the coal clearance system for transporting people, coal and materials, which has already been put into operation in underground mining excavations. It also includes a chapter devoted to the influence of the unification on the development of “technical thought,” i.e. on the innovativeness of the equipment for transporting people, coal and materials newly produced by Jastrzębskie Zakłady Remontowe Sp. z o. o. which are to be implemented in the near future. New, innovative solutions are presented, which were introduced both in the unified transport devices such as chain and belt conveyors and in devices cooperating with them, i.e. lump breakers, pushing devices and other accessory equipment for the conveyors.
3
Content available remote Selective Unification in (Constraint) Logic Programming
Mesnard Fred, Payet Étienne, Vidal Germán
Fundamenta Informaticae
|
2020
|
Vol. 177, nr 3/4
359--383
EN
Concolic testing is a well-known validation technique for imperative and object oriented programs. In a previous paper, we have introduced an adaptation of this technique to logic programming. At the heart of our framework lies a specific procedure that we call “selective unification”. It is used to generate appropriate run-time goals by considering all possible ways an atom can unify with the heads of some program clauses. In this paper, we show that the existing algorithm for selective unification is not complete in the presence of non-linear atoms. We then prove soundness and completeness for a restricted version of the problem where some atoms are required to be linear. We also consider concolic testing in the context of constraint logic programming and extend the notion of selective unification accordingly.
4
Content available Architektura i przemysł. Cz.3 Tendencje estetyczne
Brzezicki M.
Builder
|
2017
|
R.21, nr 1
20--24
EN
Contemporary production plants are not designed to service the technology only, acting as a mere cladding (more on this in the previous parts of the series), but can also play an important representative role, acting as a manufacturer's visit card, or - generally speaking – being an image of the whole brand. Usually architect has a limited range of formal solutions at his disposal, because of the budget issues. Despite that, cost-efficient and visually powerful solutions are found, usually based on the designers' ability to use creatively the limited number of possible spatial means to provide a aesthetically pleasing result.
5
Content available remote Zastosowanie algorytmu genetycznego do poprawy unifikacji typoszeregu wielostopniowych przekładni zębatych
Praszkiewicz M.
Mechanik
|
2016
|
R. 89, nr 7
802--803
PL
Artykuł przedstawia nową metodę tworzenia typoszeregu wielostopniowych przekładni zębatych. Nie jest ona oparta na zasadach podobieństwa. Celem było uzyskanie maksymalnej unifikacji elementów zębatych przy równoczesnym zachowaniu lub zwiększeniu przenoszonej mocy. Do rozwiązania problemu wykorzystano algorytm genetyczny.
EN
In the paper, new creation method of series of types of multi-stage gears was presented. The method is not based on the rules of similarity. The aim was to achieve the maximal unification of geared pairs, simultaneously preserving or increasing the transmitted power. The dedicated genetic algorithm was used for solution of the discussed task.
6
Content available Point cloud unification with optimization algorithm
Błaszczak-Bąk W., Sobieraj A.
Technical Sciences / University of Warmia and Mazury in Olsztyn
|
2015
|
nr 18(4)
271--282
EN
Terrestrial laser scanning is a technology that enables to obtain three-dimensional data - an accurate representation of reality. During scanning not only desired objects are measured, but also a lot of additional elements. Therefore, unnecessary data is being removed, what has an impact on efficiency of point cloud processing. It can happen while single point clouds are displayed - user decides what he wants to deleted and does it manually, or by using tools provided in dedicated for point cloud processing softwares. In Leica Geosystems Cyclone - software used here in tests, user can apply tools e.g. for merging or unification of point clouds. Both of them change the separate points clouds into one points cloud, however unification can be executed with reduction - low, medium, high, highest or no reduction at all. It should be noted, that the modeled objects may have complex structure and unification with selected type of reduction can have a very big impact on the result of modeling. In such situation it is desirable to apply different types of reduction. In this article authors propose to apply an optimization algorithm on unified point clouds. Unification conducted by means of Cyclone Leica Geosystems (v.7.3.3) enables to merge point clouds and reduced the number of points. The point elimination is determined mainly by spacing between points. It may leads to loose of important points - representing some essential elements of scanned objects or area. Applying optimization algorithm, especially for complex objects, may help to reduce the number of points without losing the information necessary for proper modeling.
7
Content available Implementing semantic frames as typed feature structures with XMG
Lichte T., Petitjean S.
Journal of Language Modelling
|
2015
|
Vol. 3, No. 1
185--228
EN
This work1 presents results on the integration of frame-based representations into the framework of eXtensible MetaGrammar (XMG). Originally XMG allowed for the description of tree-based syntactic structures and underspecified representations of predicate-logical formulae, but the representation of frames as a sort of typed feature structure, particularly type unification, was not supported. Therefore, we introduce an extension that is capable of handling frame representations directly by means of a novel novel -dimension. The aim is not only to make possible a straightforward specification of frame descriptions, but also to offer various ways to specify constraints on types, be it as a connected type hierarchy or a loose set of feature structure constraints. The presented extensions to XMG are fully operational in a new prototype.
8
Content available Pojedynczość w architekturze
Owczarek E.
Przestrzeń i Forma
|
2012
|
nr 18
81--90
PL
Artykuł przedstawia zjawiska zachodzące w architekturze wynikające z idei globalnych. Zjawiska na płaszczyznach kulturowych, ekonomicznych i związanych z technologią oraz ich wpływ na unifikację architektury. W opozycji do teorii jednorodności stawiana jest pojedynczość. Próba definicji architektury pojedynczej ukazuje złożoność jej odniesień. Swoboda interpretacji i szeroka kompleksowość zagadnienia pozwalają na rozpatrywanie wielu przypadków pojedynczości. Od oczywistych, odpowiednich dla funkcjonalizmu po ideowe, czy wyrażane wolną myślą twórczą.
EN
This article presents phenomena taking place in architecture that are a cause of global ideas which are shown on cultural, economic and technology related grounds as well as their impact on unification of architecture. The concept of singleness is opposed to the theory of homogeneity. The attempt at defining single architecture shows the complexity of its references. The freedom of interpretation and vast complexity of this notion enable us to consider many aspects of singleness from obvious ones suitable for functionalism to ideological, expressed by means of free thought.
9
Zaangażowanie Polski we wdrażanie systemu ERTMS na tle wybranych krajów europejskich
Kornaszewski M., Chrzan M.
Logistyka
|
2012
|
nr 3
PL
Bardzo ważną kwestią dla zarządów kolejowych państw europejskich jest ujednolicenie systemów transportu kolejowego, a w szczególności unifikacja systemów sygnalizacyjnych i sterowania ruchem kolejowym. Dobrym rozwiązaniem wydaje się jak najszybsze wdrożenie Europejskiego Systemu Zarządzania Ruchem Kolejowym (ERTMS), który łączy w sobie system bezpiecznego prowadzenia pociągów ETCS i system cyfrowej łączności komórkowej GSM-R przeznaczonej dla kolejnictwa. Analiza porównawcza stanu wdrażania ERTMS w krajach Europy środkowowschodniej jest szczególnie istotna z punktu widzenia interoperacyjności transportu kolejowego, w tym również Polski. W większości krajów tego regionu wprowadzanie wspólnego standardu (system ERTMS) jest na różnym etapie zaawansowania.
EN
One of the most important things for the boards of railway European countries is unification the systems of rail transport, in particular unification the signaling systems and control of the rail traffic. A good solution seems to be as fast as possible implementation the European Rail Traffic Management System (ERTMS), which connect the system of safe operation of trains ETCS and the digital Global System for Mobile Communications - Railways GSM-R. Comparative analysis of the state of implementation ERTMS in Central and Eastern Europe countries is particularly important from the prospect of interoperability rail transport, also in Poland. In most countries of this region, introduction a common standard system (ERTMS) is on various stage advancement.
10
Content available remote Koncepcja doboru uniwersalnego zespołu prądotwórczego wraz z agregatem chłodnicznym do ciężkich lokomotyw spalinowych
Szachniewicz B.
Czasopismo Techniczne. Mechanika
|
2012
|
R. 109, z. 9-M
311--320
PL
W artykule przedstawiono propozycję uniwersalnego zespołu prądotwórczego – wraz z agregatem chłodniczym – przeznaczonego do zabudowy na ciężkich lokomotywach spalinowych. W trakcie opracowywania studium budowy przedmiotowego zespołu autor skupił się na lokomotywach serii SM31, SM48, S200 raz SU45. Należy zaznaczyć, że zaproponowane rozwiązanie będzie mogło być wykorzystane podczas modernizacji lokomotyw innych serii oraz w trakcie budowy nowych pojazdów trakcyjnych. Na wstępie artykułu zawarto ogólną charakterystykę ww. lokomotyw manewrowych/ pociągowych. Na podstawie przeprowadzonego bilansu mocy wskazano wartości mocy, jakimi dysponować powinny urządzenia wchodzące w skład przedmiotowego zespołu prądotwórczego. Następnie dokonano wyboru silnika spalinowego oraz zespołu prądnic. W ostatnim etapie podano wymagania dotyczące zespołu chłodniczego, określono jego podstawowe parametry oraz wymiary gabarytowe.
EN
This paper presents an idea of a universal generating set with a refrigerating unit for heavy, modernized diesel – electric locomotives. During analysis the author focused on locomotives class SM31, TEM2, S200 and SU45. However, the proposed solution will be able to be used in modernization of locomotives other classes or construction of new vehicles. First of all, the paper presents general characteristics of locomotives class SM31, TEM2, S200 and SU45. In the next steps author shows results of the energy balance, indicates the diesel engine, main generator and auxiliary generator. In the end the author specifies the requirements for refrigeration unit, sets the parameters and dimensions.
11
Content available Militaryzacja szczególną formą realizacji zadań obronnych : wybrane problemy przygotowań do militaryzacji
Kuliczkowski Marian
Wiedza Obronna
|
2011
|
nr 2
67--98
12
Architektura regionalna Wielkopolski Zachodniej a powszechna globalizacja i unifikacja form architektonicznych
Szwiec P.
Zeszyty Naukowe Politechniki Poznańskiej. Architektura i Urbanistyka
|
2009
|
Z. 20
109-117
PL
Architektura regionalna ma określone cechy wspólne, które występują na konkretnym obszarze wyznaczonym przez geograficzne i historyczne czynniki. Autor koncentruje się na specyfice zabudowy olęderskiej w Wielkopolsce Zachodniej. Na całej równinie nowotomy-skiej można odnaleźć cenne elementy regionalne w krajobrazie, założeniach przestrzennych i istniejącej architekturze. W wyniku globalizacji w całej Wielkopolsce dochodzi do unifikacji krajobrazu i architektury. Proces ten można zatrzymać jedynie poprzez ukazanie działającym w regionie inwestorom i projektantom wartości istniejącego krajobrazu kulturowego i zachowanej tradycyjnej architektury.
EN
Regional architecture has defined common features, which appear in a specific area mapped out by geographical and historical factors. In the entire Nowy Tomyśl Plain one can find valuable regional elements in the landscape, spatial complexes and the existing architecture. As a result of globalisation the landscape and architecture in the entire Wielkopolska has been subjected to unification. This process can only be stopped by showing the investors and designers operating in the region the values of the existing cultural landscape and the surviving traditional architecture.
13
Infrastruktura transportu w procesie zjednoczenia Niemiec po 1990. Cz. 1
Kaszubowski D.
Infrastruktura Transportu
|
2009
|
nr 2
31-35
PL
Artykuł przedstawia założenia rozwoju infrastruktury transportu we wschodnich Niemczech jako istotny bodziec procesu socjoekonomicznej integracji rozpoczętej w 1990 r. W pracy scharakteryzowano różnorodne wskaźniki rozwoju infrastruktury transportu we wschodniej i zachodniej części Niemiec, a także przedstawiono analizę programów rozwoju transportu wprowadzonych w życie po 1990 r. oraz ocenę 20-letniego procesu modernizacji infrastruktury transportu w Niemczech wschodnich. Końcowe wnioski mają charakter ogólny i mogą być wykorzystane w innych krajach podejmujących wysiłek modernizacji infrastruktury transportu.
EN
The article presents the principles of transport infrastructure development in east Germany as a vital stimulus behind the process of socioeconomic integration that was initiated in 1990. The paper characterizes various parameters of transport infrastructure in eastern and western Germany and further attempts to analyze infrastructure development programmes introduced after 1990. The article is concluded with the assessment of the twenty-year-old process of transport infrastructure modernization and development in eastern Germany. The final conclusions are of general nature and can be applied to all countries amidst the modernization process of transport infrastructure.
14
Content available remote From Unification Compactness to Learnability
Marciniec J.
Fundamenta Informaticae
|
2007
|
Vol. 81, nr 4
473-484
EN
In this paper we explain how to derive learnability of some classes of categorial languages as a consequence of the a property that have unifiable infinite sets of types, namely unification compactness. At first we present an alternate (with respect to [6]) proof of learnability of rigid languages, that introduces our method. Then we prove learnability of the class of semi-rigid languages, which lies in between (learnable) class of rigid languages and (not learnable) class of optimal (as defined by Kanazawa in [6]) languages.
15
Content available remote A formalism for the computational morphology of multi-word units
Savary A.
Archives of Control Sciences
|
2005
|
Vol. 15, no. 3
437-449
EN
Multi-word units (MWUs) are linguistic objects placed on the frontier between morphology and syntax. A reliable computational treatment of their inflectional morphology requires a fine-grained grammar-based approach allowing a description of general large-coverage phenomena as well as of lexicalized counter-rules. We propose a formalism that answers these requirements. Due to a graph-based description and a simple unification algorithm it allows to compactly and exhaustively describe the inflection paradigm of a MWU in terms of its component words? morphology as well as of some regular-language patterns.
16
Content available remote Optimal Unification of Infinite Sets of Types
Marciniec J.
Fundamenta Informaticae
|
2004
|
Vol. 62, nr 3,4
395--407
EN
In this paper we focus on the properties of infinite sets of types that have finite substitutional images. Since the number of such images may be infinite, we provide the way of its reduction. Having this done, we apply the new methods in the field of learnability of classical categorial grammars.
17
Content available remote Normalizacja i unifikacja.
Zychla A.
Mechanik
|
2003
|
R. 76, nr 10
632-632
18
Content available remote Unification of technological plants and processes of the basis of statistical analysis methods
Heyfec M., Kusakin N., Totschylo V., Palvynskyi S.
Zeszyty Naukowe Politechniki Rzeszowskiej. Mechanika
|
2002
|
z. 58 [193]
99-108
EN
In the paper the problems of a complex using of advanced technologies both in safe-life techniques area, and in the field of information techniques, are presented.
19
Content available remote Uniwersalna i technologiczna terminologia szkła (7). Podział, genza, znaczenie, zasięg, zakres i kryteria w przekrojach: interdyscyplinarnym i specjalistycznym. Cz. II.
Sipowicz A.
Szkło i Ceramika
|
2002
|
R. 53, nr 6
32-36
PL
W części I opublikowanej w nr 3/02 omówiono problematykę terminologiczną w ujęciu interdyscyplinarnym i specjalistycznym. Wprowadzono pojęcia: uniwersalnej i technologicznej terminologii szkła. Stwierdzono istnienie zasadniczych różnic w sformułowaniach terminów uzależnione od poziomów wiedzy (rzemieślniczego, inżynierskiego i naukowego).
20
Content available remote Optimal Unification and Learning Algorithms for Categorial Grammars
Dziemidowicz B.
Fundamenta Informaticae
|
2002
|
Vol. 49, nr 4
313-324
EN
In this paper continuing [1], we present a more general approach to restricted optimal unification, introduced and applied to learning algorithms for categorial grammars in [2] and further developed in [7,8,4,5]. We introduce a procedure of finding minimal unifiers with respect to some preordering relation between substitutions and solve a general problem of finding all minimal (in several senses) categorial grammars compatible with a given language sample.
first rewind previous Strona / 2 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ć.