Wyniki wyszukiwania - BazTech

1

Opinie użytkowników Poznańskiej Kolei Metropolitalnej w świetle badań ankietowych

Grabarczyk Agata, Pasławski Jerzy

Inżynieria i Budownictwo

|

2023

|

R. 79, nr 11-12

684--693

PL

Głównym celem artykułu jest określenie wymagań pasażerów kolei aglomeracyjnej, w celu zmiany nawyków transportowych. Skoncentrowano się na wymaganiach dotyczących małych dworców kolejowych, które odgrywają istotną rolę w procesie wdrażania idei zrównoważonego transportu. Większość podróżnych w codziennych dojazdach korzysta przede wszystkim ze swoich prywatnych samochodów. Wynika to w znacznej mierze z zaniedbania transportu zbiorowego, który wymaga gruntownej zmiany polityki - ukierunkowania jej na rozwój transportu zrównoważonego, którego filarem jest transport szynowy wraz z opcjami transportu bezmotorowego (np. rower, spacery). Badania ankietowe wykazały, że najważniejszym punktem ankiety były problemy, z którymi na co dzień mierzą się podróżni na dworach/przystankach kolejowych. Do podstawowych zaliczamy: brak toalet, poczekalni, kawiarni/baru oraz punktów handlowo-usługowych. Przedstawiono także plany rozwoju Poznańskiej Kolei Metropolitalnej - projekt wykorzystania obwodnicy towarowej miasta w systemie PKM. Jego głównym założeniem jest przybliżenie metropolii do idei miasta 15-minutowego oraz stacji 15-minutowej, aby osiągnąć koncepcje zrównoważonego transportu w mieście i aglomeracji. Wobec krytycznej oceny Innowacyjnych Dworców Systemowych jako rozwiązania, które poprzez ponadstandardowe wyposażenie powoduje problemy znacznych kosztów wandalizmu, zaproponowano wprowadzenie Systemowych Dworców Modułowych opartych na elastyczności, umożliwiającej - dzięki wprowadzeniu idei modułowości w budowie małego dworca - dostosowanie wyposażenia dworca/przystanku do zmieniających się wymagań pasażerów. Podejście elastyczne opiera się na etapowym inwestowaniu, co znacznie ogranicza także poziom początkowych wydatków inwestycyjnych. Początkowe rozwiązanie polega na elementarnym wyposażeniu dworca, które odpowiada wynikom badań ankietowych. Naturalnie kluczem do sukcesu przy projektowaniu, wykonaniu i eksploatacji małych dworców jest współpraca między PKP a władzami regionalnymi i lokalną społecznością.

EN

The main aim of the article is to determine the requirements of agglomeration railway passengers in order to change transport habits. The focus was on the requirements for small railway stations, which play an important role in the process of implementing the idea of sustainable transport. Most travelers use their private cars for daily commuting. This is largely due to the neglect of public transport, which requires a fundamental change in policy - its focus on the development of sustainable transport, the pillar of which is rail transport along with non-motorized transport options (e.g. cycling, walking). The survey showed that the most important point of the survey were the problems that travelers face on a daily basis at railway stations/stops. The basic ones include: lack of toilets, waiting rooms, cates/bars and commercial and service points. Development plans for the Poznan Metropolitan Railway (PKM) were also presented - a project to use the city's freight bypass in the PKM system. Its main goal is to bring the metropolis closer to the idea of a 15-minute city and 15-minute stations in order to achieve the concept of sustainable transport in the city and agglomeration. Due to the critical assessment of Innovative System Stations as a solution that, due to non-standard equipment, causes problems with significant costs of vandalism, it was proposed to introduce System Modular Stations based on flexibility, enabling - thanks to the introduction of the idea of modularity in the construction of a small station - adapting the station/stop equipment to the changing requirements of passengers. The flexible approach is based on staged investing, which also significantly reduces the level of initial investment expenses. The initial solution is to equip the station with basic equipment that meets the survey results. Naturally, the key to success in the design, construction and operation of small stations is cooperation between PKP, regional authorities and the local community.

2

Active Damping in Series Connected Power Modules with Continuous Output Voltage

Ulmer Sabrina, Schullerus Gernot, Sönmez Ertugrul

Power Electronics and Drives

|

2021

|

Vol. 6 (41)

314--335

EN

This paper presents a modular and scalable power electronics concept for motor control with continuous output voltage. In contrast to multilevel concepts, modules with continuous output voltage are connected in series. The continuous output voltage of each module is obtained by using gallium nitride (GaN) high electron motility transistor (HEMT)s as switches inside the modules with a switching frequency in the range between 500 kHz and 1 MHz. Due to this high switching frequency a LC filter is integrated into the module resulting in a continuous output voltage. A main topic of the paper is the active damping of this LC output filter for each module and the analysis of the series connection of the damping behaviour. The results are illustrated with simulations and measurements.

3

Algorithmically aided management of structure modularity at the design and execution stage

Nazar Krzysztof, Słyk Jan

Archives of Civil Engineering

|

2021

|

Vol. 67, nr 4

643--657

EN

The interest in prefabricated building modules is constantly growing due to the increasing possibilities of analysing extensive data sets in computers and the popularity of BIM technology. The ability to manage the position, size and properties of many different elements make it easy to create and evaluate complete modular models at the design stage. Benefits of prefabrication include, among the others, decreased cost, minimisation of environmental impact, and reduced labour on-site. However, making structures and buildings suitable for prefabrication puts additional responsibility on the designer, who needs to choose the modular system, partition the structure and prepare detailed schedules. The article refers to digital control over modular design in the context of the increasing complexity of structures. It focuses on methods and tools that either reduce the designer’s labour or provide him with information that can be used to optimise the structure in terms of efficiency or cost. The article organises the existing trends and presents three experiments on algorithmic control of modular structures to outline the differences in computational methods suitable for particular technologies: masonry, steel, glass and timber construction. The research illustrated in the article was undertaken in response to the need to develop construction technologies in line with the sustainable development trend.

PL

Wykorzystanie modularnych struktur tektonicznych jest głęboko zakorzenione w historii realizacji budowlanej i w teorii architektury. Początkowo budowanie z powtarzalnych porcji materiału było wyłącznie skutkiem uwarunkowań praktycznych. Rozmiar bloków kamiennych, belek drewnianych i cegieł dostosowywano do możliwości transportowych, technik wznoszenia budowli siłą ludzkich mięśni i charakterystyki najprostszych maszyn. Dyskurs teoretyczny renesansu rozszerza rozważania o modularności o aspekty estetyczne. Alberti wspomina o konieczności prowadzenia wątków kamiennych i ceglanych „według wyznaczonych linii i (. . . ) kątów”. Budowle nowożytne, wyrastające z fascynacji perspektywą i szerzej, teorią postrzegania, wykorzystuja modularność dla uwypuklenia wrażeń przestrzennych. Architektura wieków późniejszych skupiona była raczej na wizualnym odbiorze elementów budowlanych niż na ich tektonicznym uporządkowaniu. Dekoracja podporządkowana względom estetycznym przesłaniała wewnetrzne modularne struktury. Zmiany w wartościowaniu przyniósł dopiero wiek dziewiętnasty. Eugène Viollet-le-Duc zwrócił uwagę na piękno średniowiecznych budowli, które eksponowały strukturalny sens pojedynczych elementów i ich agregacji. John Ruskin, otwierając drogę dla dyskursu architektury nowocześnej, zastosował dla oceny dorobku wcześniejszych epok wartościowania bliskie etycznemu. Tektoniczna struktura budowli jest przez niego nazwana prawdą w odróżnieniu od powierzchownej dekoracji. Na tle powyższych rozważan modernizm jawi się jako renesans zainteresowania modularnością. Widzimy to w powszechnym wykorzystaniu nietynkowanych murów, w ekspozycji wiązań, w tworzeniu nowatorskich prefabrykowanych elementów. Współczesne agregacje dodają do historycznych koncepcji komponent ery informacyjnej. Jest nim cyfrowe medium, które obecnie stanowi naturalny język reprezentacji projektów architektonicznych. W przeciwieństwie do medium analogowego składa się z części (bitów), co sprawia, ze lepiej służy do opisu struktur modularnych. Dzięki rosnącej mocy obliczeniowej komputerów wzrastają możliwości zarządzania rozległymi zbiorami danych, co pozwala zapisywać w projekcie dokładne informacje o rodzaju, położeniu, kształcie i innych właściwościach części składowych. Autorzy zestawiają eksperymenty dotyczące algorytmicznego wspomagania projektowania struktur modularnych o różnych naturach. Wykazują, że różne technologie wymagają zastosowania innych metod agregacji. Przedstawione są metody rozliczania prefabrykowanych bloczków w niedostosowanym planie architektonicznym, teselacje dwukrzywiznowych powierzchni za pomocą identycznych płaskich elementów oraz optymalizacja rozkładu desek elewacyjnych w kontekście określonych zasobów materiałowych.

4

Design and analysis of a soft pneumatic actuator to develop modular soft robotic systems

Tahir Ahmad Mahmood, Zoppi Matteo

Journal of Automation Mobile Robotics and Intelligent Systems

|

2019

|

Vol. 13, No. 1

30--36

EN

In this paper, we describe the design and analysis of a Soft Cubic Module (SCM) with a single internal pneumatically actuated chamber. The actuation chamber’s shape, size and, orientation have been evaluated to realize a soft robotic actuator which can be further employed for the development of modular soft robotic systems. SCM can be easily manufactured through the molding process and it is composed of single soft material, the silicone polymer. Its external shape allows utilization of this module as a single block actuator as well as makes it easy to combine multiple SCM modules to build multiunit soft robotic systems. We consider it as our first tool to investigate whether the SCM scheme is sufficient to build soft robots which would be able to perform certain given tasks in various configurations like a soft gripper, bio-mimetic crawling mechanism or multi-axis manipulator. So far, the results obtained are encouraging in order to further develop and employ the SCM design scheme, focusing on its further geometrical optimization for both standalone configuration and assembly of multiple modules to realize novel, economic and easy to fabricate soft robotic systems.

5

The Magda Language : Ten Years After

Bono Viviana

Fundamenta Informaticae

|

2019

|

Vol. 170, nr 1-3

15--38

EN

We discuss Magda ten years after its design. Magda is a mixin-oriented programming language and its goal is to improve code modularity and, as a consequence, code reuse. The aim of this paper is to survey Magda and position it in today’s programming language scenarios.

6

Translacja potrzeb człowieka na konstrukcję wózka inwalidzkiego

Sydor M., Zabłocki M., Torzyński D.

Zeszyty Naukowe Politechniki Poznańskiej. Organizacja i Zarządzanie

|

2017

|

Nr 72

213--228

PL

W pracy przedstawiono metodyczne podejście do rozwiązania problemu projektowania wózka inwalidzkiego spełniającego więcej potrzeb niż zazwyczaj. Zdekomponowano zadanie projektowe. Zbudowano hierarchię funkcji oraz podano wymagania podstawowe i dodatkowe dla wózka inwalidzkiego. Przedstawiono dwa koncepcyjne warianty rozwiązania zadania projektowego.

EN

The paper presents a methodical approach to solving the problem of designing a wheelchair that meets more than the usual needs of users. The design task was decomposed. A hierarchy of functions was built and the basic and additional requirements for a wheelchair were presented. In the paper, two conceptual variants of solutions to the design task are presented.

7

Altered modular organization in schizophrenia patients and analysis using supervised association rule mining

GeethaRamani R., Sivaselvi K.

Biocybernetics and Biomedical Engineering

|

2016

|

Vol. 36, no. 2

397--412

EN

Complex neuro-degenerative disorders affect the intrinsic topological architecture of brain connectivity. There are very few studies concentrating on the occurrence of modular changes in the structural and functional connectome of people diagnosed with Schizophrenia. In this study, group averaged analysis on modular organization of 15 healthy and 12 Schizophrenic subjects were performed to understand the topological alterations occurring in brain networks of diseased against normal. The major contributing regions for changes in optimal brain architecture were also identified. It also involves the investigation of individual subject's functional connectivity and the attempts were made to extract the modular specific roles of brain regions through supervised association rule mining. On comparison with group average measurements, it was found to produce similar results and it was understood that inter and intra-module connections evidently varied in Schizophrenia because of alterations in extremely organized modular architecture. This is believed to provide new insights in understanding the complex neuro-degenerative disorder through analysis on modular organization of functional brain networks. Highly influential regions were also determined. These regions were found to be potential biomarkers for Schizophrenia diagnosis.

8

Koncepcja wielofunkcyjnego urządzenia do montażu zaworów pneumatycznych

Babirecki W., Śliwa M.

Technologia i Automatyzacja Montażu

|

2015

|

nr 3

39--42

PL

W artykule przedstawiono spojrzenie autorów na modułowość w projektowaniu inżynierskim. Wyróżniono i scharakteryzowano modułowość konstrukcyjną i technologiczną w zastosowaniu do maszyn technologicznych. Zaprezentowano modułowe podejście do projektowania urządzenia służącego do montażu pneumatycznych zaworów kontrolnych. Urządzenie, zgodnie z założeniami, ma realizować automatyczny proces montażu zaworów, w krótkim czasie, przy sporadycznym udziale operatora. Ponadto, jego konstrukcja ma umożliwiać montaż kilku typów podobnych zaworów z tej samej rodziny, oraz – po wymianie i uzupełnieniu oprzyrządowania – również innych podobnych konstrukcyjnie elementów pneumatyki. Zastosowano więc modułową budowę urządzenia, umożliwiającą w krótkim czasie jego przezbrojenie na potrzeby realizacji procesu montażowego szerokiego zbioru podobnych zaworów. Zaprezentowano zastosowane modułowe rozwiązania konstrukcyjne i technologiczne, umożliwiające realizację procesu montażowego. Modułowość konstrukcyjna w projektowanym urządzeniu to przede wszystkim typowe podzespoły realizujące napęd, dozowanie części montowanego zaworu, przemieszczanie montowanych detali pomiędzy poszczególnymi gniazdami montażowymi oraz proces kontroli poprawności montażu. Modułowość technologiczna z kolei to możliwość wymiany poszczególnych gniazd montażowych, zmiany położenia i pozycji kolejnych modułów dozujących poszczególne części, czy wreszcie możliwość dowolnego przemieszczania czy wręcz wymiany poszczególnych modułów montażowych. Wykazano, że tak zaprojektowane urządzenie, po niewielkich zmianach i modyfikacjach oprzyrządowania, będzie mogło w przyszłości realizować proces montażu wielu podobnych elementów. Podejście takie jest ze wszech miar korzystne, gdyż umożliwia rozszerzenie asortymentu produkcji przedsiębiorstwa, bez dodatkowych znaczących nakładów inwestycyjnych na realizację procesu montażu.

EN

The article presents a authors look, at the modularity in the engineering design. Distinguished and characterized modularity in design and technology in using to technology machines. The paper presented a modular approach to the design of assembly machine of pneumatic control valves. The device, according to assumptions, is supposed to carry out the automatic process of the assembly of valves, in the short time, with occasional participation of the operator. Additionally, this construction enables the assembly of a few similar types of valves from the same family, and – after the exchange and supplementing the instrumentation – also other similar elements of the pneumatic market. Machine uses a modular design, enabling in the short time to retool for purposes of implementing the assembly process a wide set of similar valves. In the article presented modular construction and technological solutions, enabling the realization of the assembly process. Modularity design of the proposed device, is primarily implementing typical drive components, the dosage of the part of assembled valve, transferring assembled details between the individual assembly seats and process of checking the correct assembly. The modular technology, on the other hand, is the possibility of exchanging the assembly seats, the change positions of modules dispensing individual parts and finally, the possibility of any movement or even replacement of individual assembly modules. As demonstrated, that machine designed by this way, after slight modifications and alterations of the instrumentation, will be able to in the future to realize the assembly process of many similar elements. This approach is supremely beneficial because allows to extend the range of the enterprise's production without extra meaning investments on the accomplishment of the assembly process.

9

Modułowość w projektowaniu robota gąsienicowego

Giergiel J., Kurc K., Szybicki D.

Modelowanie Inżynierskie

|

2015

|

T. 23, nr 54

26--32

PL

W artykule opisano projekt gąsienicowego robota inspekcyjnego do rurociągów z systemem wymiany gąsienic. Opisany robot przeznaczony jest do pracy w rurociągach o przekroju prostokątnym i kołowym o średnicy ponad 200 mm. W artykule przedstawiono modułowy proces projektowania, mający na celu utworzenie modelu trójwymiarowego w środowisku CAD/CAE. Sporządzono dokumentację rysunkową oraz przygotowano modele CAD i określono technologie obróbki wszystkich elementów, co pozwoliło na zastosowanie CAM do obróbki za pomocą obrabiarek sterowanych numerycznie, jak również metod szybkiego wytwarzania FDM. Wykonano konstrukcję prototypowego robota zgodnie z założeniami projektowymi i przygotowaną dokumentacją. Przeprowadzone testy potwierdzają poprawność projektu. Prototyp robota spełnia wymogi przedstawione w dokumentacji, a wysoka jakość wykonania elementów konstrukcji pozwoli na długotrwałe testy i eksploatację w środowisku pracy.

EN

In this paper, the design of a tracked in-pipe inspection mobile robot with a drive exchange system is presented. The robot would be able to operate in circular and rectangular pipes and ducts, oriented horizontally and vertically with cross section greater than 250 mm. The paper presents a complete design process of a virtual prototype, with usage of CAD/CAE software. Done documentation prepared drawing and CAD models and specified processing technologies of all elements, which allowed the use of CAM to machining using numerically controlled machine tools, as well as methods for the rapid prototyping of FDM. Taken design of a prototype robot in line with the project and prepared the documentation. Performed tests proved conformity of the design with stated requirements. The prototype robot meets the requirements set out in the documentation, and high quality design elements allow for long-term testing and exploitation in the workplace.

10

Generalizing the Compositions of Petri Nets Modules

Marechal A., Buchs D.

Fundamenta Informaticae

|

2015

|

Vol. 137, nr 1

87--116

EN

Modularity is a mandatory principle to apply Petri nets to real world-sized systems. Modular extensions of Petri nets allow to create complex models by combining smaller entities. They facilitate the modeling and verification of large systems by applying a divide and conquer approach and promoting reuse. Modularity includes a wide range of notions such as encapsulation, hierarchy and instantiation. Over the years, Petri nets have been extended to include these mechanisms in many different ways. The heterogeneity of such extensions and their definitions makes it difficult to reason about their common features at a general level. We propose in this article an approach to standardize the semantics of modular Petri nets formalisms, with the objective of gathering even the most complex modular features from the literature. This is achieved with a new Petri nets formalism, called the LLAMAS Language for Advanced Modular Algebraic Nets (LLAMAS). We focus principally on the composition mechanism of LLAMAS, while introducing the rest of the language with an example. The composition mechanism is introduced both informally and with formal definitions. Our approach has two positive outcomes. First, the definition of new formalisms is facilitated, by providing common ground for the definition of their semantics. Second, it is possible to reason at a general level on the most advanced verification techniques, such as the recent advances in the domain of decision diagrams.

11

Współczesne tendencje minimalistyczne w architekturze domów jednorodzinnych. Cz. 3

Mielnik A.

Przestrzeń i Forma

|

2012

|

nr 17

247--272

PL

Artykuł stanowiący kontynuację badań dotyczących nurtu tendencji minimalistycznych w architekturze domów jednorodzinnych, prezentuje kolejny po prostocie i pustce rozdział zatytułowany porządek, odzwierciedlający wyodrębnione idee i cechy. Domy przyporządkowane do tej grupy systemowej łączy poddanie się nadrzędnej zasadzie porządkującej – symetrii, powtórzeniom, modularności dotyczącej brył, elewacji, jak i planów. W obiektach kompozycją rządzą geometryczne formy i liczbowe relacje a uniwersalny porządek stanowi przeciwieństwo chaosu i nadmiaru.

EN

The text, a continuation of studies regarding to minimalistic tendencies in architecture of one-family house, presents next to simplicity and emptiness the chapter entitled order -that reflects isolated ideas and features. Houses are subordinated to primary ordering principle – symmetry or repetition, modularity regarding to volumes, elevations and plans. In these objects composition is ruled by geometric forms and numerical relations. Universal order stands in contrast with chaos and excess.

12

Od Drzew Tablicowych do Sieciowych Tablic Decyzyjnych: ewolucja zmodularyzowanych reprezentacji wiedzy

Wojnicki I.

Pomiary Automatyka Robotyka

|

2011

|

R. 15, nr 12

173-177

PL

Stosując systemy regułowe, można wyróżnić dwie klasy problemów: efektywność procesu projektowania oraz wydajność procesu uruchamiania. Niniejszy artykuł przeglądowo opisuje metody projektowania reguł opracowane w Katedrze Automatyki AGH pod kątem rozwiązywania ww. problemów. Proponowane podejścia opierają się w dużej mierze na modularyzacji bazy wiedzy i odpowiedniej jej wizualizacji. Przedstawiono ich ewolucję, jak również wyniki najnowszych badań dotyczących wnioskowania kontekstowego.

EN

There are two common issues while dealing with rules and rule-based systems. These are efficiency of the design process and performance of rule interpretation. This paper discusses briefly several design approaches developed at the Department of Automatics, AGH which tackle these issues. The proposed solutions are mainly based on modularization and appropriate visualization of the knowledge base being designed. Evolution of selected approaches and results of recent research regarding application of context-based reasoning are presented as well.

13

Algebra konglomeratów jako narzędzie opisu problemów przetwarzania ontologii

Goczyła K., Waloszek A., Waloszek W.

Studia Informatica

|

2009

|

Vol. 30, nr 2A

141-156

PL

W niniejszym artykule zaprezentowano nowe narzędzie przetwarzania modularnych baz wiedzy - algebrę konglomeratów. Przedstawioną propozycję wyróżnia fakt, że traktujemy moduły bazy wiedzy semantycznie. W artykule zaprezentowano doświadczenia związane z wykorzystaniem algebry (m.in. do dekompozycji bazy wiedzy oraz jako wsparcie procesu wnioskowania) oraz naszkicowano kierunki jej przyszłego rozwoju.

EN

In the paper we present a novel conglomeration algebra which is a basic tool in our approach to knowledge base modularization. In the algebra modules are treated semantically. The paper presents our experiences with using conglomeration algebra and sketch the directions of its further development.

14

Analysis of semantic modularity for genetic programming

Krawiec K., Wieloch B.

Foundations of Computing and Decision Sciences

|

2009

|

Vol. 34, No. 4

265-285

EN

In this paper we analyze the properties of functional modularity, a concept introduced in [14] for detecting and measuring modularity in problems of automatic program synthesis, in particular by means of genetic programming. The basic components of functional modularity approach are subgoals - entities that embody module's semantic - and monotonicity, a measure for assessing subgoals' potential utility for searching for good modules. For a given subgoal and a sample of solutions decomposed into parts and contexts according to module definition, monotonicity measures the correlation of distance between semantics of solution's part and the fitness of the solution. The central tenet of this approach is that highly monotonous subgoals can be used to decompose the task and improve search convergence. In the experimental part we investigate the properties of functional modularity using eight instances of problems of Boolean function synthesis. The results show that monotonicity varies depending on problem's structure of modularity and correctly identifies good subgoals, potentially enabling automatic program decomposition.

15

Multicommodity Auction Model for Indivisible Network Resource Allocation

Kołtyś K., Pałka P., Toczyłowski E., Żołtowska I.

Journal of Telecommunications and Information Technology

|

2008

|

nr 4

60-66

EN

In this paper we present the multicommodity auction model BCBT-I that allocates indivisible network resources among bidders. The approach can be considered as a generalization of the basic multicommodity model for balancing communication bandwidth trade (BCBT). The BCBT model assumes that offers concerning inter-node links and point-to-point bandwidth demands can be realized partially. However, in the real-world trade there might be a need to include capacity modularity in the market balancing process. Thus we state the model for balancing communication bandwidth trade that takes into account the indivisibility of traded bandwidth modules. This requires to solve a mixed integer problem and increases computational complexity. Furthermore, the pricing issue appears nontrivial, as the dual prices cannot be longer used to set fair, competitive market prices. For clearing the market, we examine the multicommodity pricing mechanizm based on differentiation of buy and sell market prices.

16

The concepts of modular combat vehicles

Walentynowicz J.

Journal of KONES

|

2007

|

Vol. 14, No. 2

536-544

EN

The growth of modularity and unifications of designed and introduced fighting vehicles is possible as a result of technical and technological achievements and changing conditions of present war operation. This factors require quick repair of damaged vehicles and interoperability of operations. The review of present conceptions of internal and external modularity of modern tactical fighting vehicles was introduced in the publication. External modularity was used for generating new families of tracked and wheeled vehicles and their exchangeable of internal modular sets: suspension and propulsion system, crew cabin and module with equipments. Internal modularity consist in application various length of vehicle bodies and simultaneously their different volumes and application of many unified units designed for existing vehicles. Implementation of hybrid propulsion systems for military vehicles and application many sources of energy on the board are connected with electric lines enlarges the possibilities of composition of the vehicles interiors by application many modular components which can be mounted in the most convenient places. Ideas of the modular construction of combat vehicles assure the maximum enlargement of repair and modernization compliance, and consequently the maintenance in line of maximum number modern and fully efficient vehicles.

17

Exploiting Labels in Structural Operational Semantics

Mosses P.D.

Fundamenta Informaticae

|

2004

|

Vol. 60, nr 1-4

17--31

EN

Structural Operational Semantics (SOS) allows transitions to be labelled. This is fully exploited in SOS descriptions of concurrent systems, but usually not at all in conventional descriptions of sequential programming languages. This paper shows how the use of labels can provide significantly simpler and more modular descriptions of programming languages. However, the full power of labels is obtained only when the set of labels is made into a category, as in the recently-proposed MSOS variant of SOS.

18

Koncepcja jednostronnych modułowych magazynów regałowych FI-FO

Grabowski E., Konieczny A.

Systems : journal of transdisciplinary systems science

|

2003

|

Vol. 8, No. 1

121-128

EN

The concept for modular rack stores with one-sided access, which allow therealisation of the „fi-fo" principle of package flow in partly or fully automated storage systems is presented. In accordance with the modular assumption, the storage system consists of repeatitive segments possessing independent load-carrying structures, mechanisms for horizontal and vertical transport of packages, drives, sensor and control systems, which ensure independent functioning of these segements as one-sided „fi-fo" rack store, or group functioning as the appropriately larger „fi-fo" rack store. The individual parts of these segments (the load carrying structure, mechanisms, etc) also have, to a certain degree, a modular structure, which allows them to be made larger by assem-blying additional segements. The smallest basic segment contains a 2-level rack (an upper level for entry and a lower one for exit of packages) as well as a lift for lowering the packages to the exit level. Such a segment can contain 4 packages maximum, including 2 packages in the lift and 2 inside the entry and exit racks. An extension of the segment in legth and in depth, i.e., an increase in the number of levels and lengths of rack channels, means an increase in the volume of the store segment due to the newly created spaces in increased rack and in lift shaft, which is equipped with transposeable supporting elements and can accommodate packages followly lowered by the lift table located under them. For a given strength of the foundation, the maximum height and depth (length of the channels) of an individual store segment is limited by the size of the total mass (brutto with packages) of the part that is transported in order to gain access to the interior of the rack store. All mechanisms that transport packages in the modules of the store are electricaly powered and are equipped with pneumatically driven blocades of packages, as well as strain gauges put on the main structure for controlling the presence of packages in each module independently of the induction sensors. Presented examples of possible solutions for rack stores designed according to the described concept, reveal numerous advantages, and theseare listed below. The solutions allow for exploitation of repetitve elements (loadcarying structures, mechanisms and drives with the appropriate control systems), in the construction of the rack stores with varying size and application. The rack stores can be built as one-sided (no through) as well as two-sided (through) stores, with varying numbers of entry and exit levels. In case of failure (and also during maintenance), the structural solution of the one-sided rack store and its control system ensures access to the interior parts of this store and to the packages there present, and also allows to switch off the defective segment without disturbing the work of the remaining segments. Control systems , which are especially configured, enable the functioning of the rack stores in both partly and fully automated systems of flow of packages and materials.

19

Nonmodularity results for lambda calculus

Salibra A.

Fundamenta Informaticae

|

2001

|

Vol. 45, nr 4

379-392

EN

The variety (equational class) of lambda abstraction algebras was introduced to algebraize the untyped lambda calculus in the same way cylindric and polyadic algebras algebraize the first-order predicate logic. In this paper we prove that the lattice of lambda theories is not modular and that the variety generated by the term algebra of a semi-sensible lambda theory is not congruence modular. Another result of the paper is that the Mal'cev condition for congruence modularity is inconsistent with the lambda theory generated by equating all the unsolvable [lambda]-terms.

20

A modular approach to technical data modelling

Million O., Lombard M., Ris G.

Prace Naukowe Instytutu Technologii Maszyn i Automatyzacji Politechniki Wrocławskiej. Konferencje

|

1999

|

Vol. 72, nr 33

158-165

EN

Our problem lies in the complexity of the production engineering organization. The complexity is the results of the necessary relationship between several actors who are specialist in one of the tasks in the product definition and realization. In this context we are confronted with the necessary to have relatively well integrated environments supporting this communicating engineering. The management of the consultation, the bringing up to date, the evolution of incomplete or complete information, ... are all problems that have to be taken into account in this new organization of the work. In this context this paper will propose a method which allows to construct the model supporting the exchange of information between several actors. We will show how to include four different points of views in the design of the model of the information management of the machining center's cutting tools.

PL

Problem tkwi w złożoności organizacji technologii produkcji. Złożoność ta wynika z koniecznych relacji pomiędzy różnymi uczestnikami będącymi specjalistami w którymś z zadań definiowania i realizacji wyboru. W tej sytuacji musimy posiadać stosunkowo dobrze zintegrowane środowiska wspomagające komunikację w tym procesie. Zarządzenie konstrukcjami, uaktualnienie, generowanie informacji niepełnych i pełnych, etc. to problemy, które muszą być uwzględnione w tej organizacji pracy. W tym kontekście proponujemy metodę pozwalającą skonstruować model wspomagający wymianę informacji między wieloma uczestnikami. Pokazujemy, jak uwzględnić cztery różne punkty widzenia w projektowaniu modelu zarządzania informacji dotyczącymi noży centrum obróbkowego.