Ograniczanie wyników
Czasopisma help
Autorzy help
Lata help
Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 29

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

help Ogranicz wyniki do:
first rewind previous Strona / 2 next fast forward last
1
Content available System sterowania dwurękiego robota usługowego
PL
Praca prezentuje przykład systemu sterowania robota usługowego. Opisano zastosowane narzędzia i otwarte oprogramowanie. Przedstawiono system sterowania poczynając od struktury sprzętu przez specyfikację, aż do implementacji. Opis na poziomie ogólnym pozwala spojrzeć całościowo na problem tworzenia takich systemów, a jednocześnie podkreślono szczegółowe kwestie, które są istotne. Poruszono także kwestie związane z symulacją. Opisany system sterowania robota WUT Velma znalazł zastosowanie w licznych badaniach naukowych.
EN
This work presents an example control system of a service robot. All used concepts, tools and open source software are described. The control system is presented starting from configuration of hardware, specification, up to its implementation. Generality of the image allows the reader to look at the problem globally, while some important, detailed aspects are highlighted. Simulation-related problems are also described. The presented system of WUT Velma robot has been used in many research works.
EN
The COVID-19 pandemic has influenced virtually all aspects of our lives. Across the world, countries have applied various mitigation strategies, based on social, political, and technological instruments. We postulate that multi-agent systems can provide a common platform to study (and balance) their essential properties. We also show how to obtain a comprehensive list of the properties by “distilling” them from media snippets. Finally, we present a preliminary take on their formal specification, using ideas from multi-agent logics.
EN
This review addresses the intervehicular communication in Connected Vehicles (CV) by emphasizing V2V (vehicle-to-vehicle) and V2I (vehicle-to-infrastructure) communications in terms of evolution, current standards, state-of-the-art studies, embedded devices, simulation, trends, challenges, and relevant legislation. This review is based on studies conducted from 2009 to 2019, government reports about the sustainable deployment of these technologies and their adoption in the Brazilian automotive market. Moreover, WAVE (Wireless Access in Vehicular Environment) and DSRC (Dedicated Short-range Communication) standards, the performance analysis of communication parameters and intervehicular available at the market are also described. The current status of ITS (Intelligent Transportation System) development in Brazil was reviewed, as well as the research institutes and governmental actions focused on introducing the concept of connected vehicles into the society. The Brazilian outlook for technological adoption concerning CVs was also discussed. Moreover, challenges related to technical aspects, safety and environmental issues, and the standardization for vehicle communication are also described. Finally, this review highlights the challenges and proposals from available technologies devoted to the roads and vehicular infrastructure communication, their evolution and upcoming trends.
4
Content available remote Realizacja drogi betonowej DW 423 zgodnie z nowymi OST GDDKiA
PL
W artykule przedstawiono proces realizacji obwodnicy Malni i Choruli (woj. opolskie), w ciągu drogi wojewódzkiej DW 423, wykonanej w technologii betonowej. Drogi z nawierzchnią wykonaną z betonu cementowego charakteryzują się większą trwałością oraz niższymi kosztami eksploatacji w cyklu życia niż drogi asfaltowe, a także są bardziej bezpieczne. Warto podkreślić, że wymagania zawarte w szczegółowej specyfikacji technicznej drogi wojewódzkiej DW 423, dotyczące składników mieszanki betonowej i betonu, stanowią doskonały przykład praktycznego zastosowania nowych zapisów Ogólnej Specyfikacji Technicznej GDDKiA Nawierzchnia z betonu cementowego.
EN
In this article paper construction process of the Malnia and Chorula (opolskie voivodship) bypass road in concrete technology within the regional route DW 423 is persented. Roads with a surface made of cement concrete are characterized by high durability, greater safety and lower life cycle costs. It must be pointed out that the requirements contained in the detailed technical specification intended for the construction of the regional road DW 423 concerning the components, concrete mix and concrete are a perfect example of the practical application of the new provisions of the General Technical Specification of GDDKiA Surface of cement concrete in practice.
PL
W niniejszym artykule przedstawiono wymagania dotyczące cementu i betonu w świetle wymagań zaktualizowanej w ostatnim czasie przez Generalną Dyrekcję Dróg Krajowych i Autostrad (GDDKiA) Ogólnej Specyfikacji Technicznej (OST) Nawierzchnia z betonu cementowego [5]. Dokument ma status załącznika do Zarządzenia Generalnego Dyrektora Dróg Krajowych i Autostrad z dnia 7 czerwca 2018 r., co w praktyce otwiera nowy rozdział w projektowaniu i budowie dróg z nawierzchnią betonową. Zarówno inwestorzy, jak i wykonawcy dróg z nawierzchnią betonową mogą korzystać z rozwiązań, które w niczym nie odbiegają od światowych standardów i bazują na wieloletnich doświadczeniach wielu krajów, w których drogi betonowe funkcjonują i doskonale spełniają swoją funkcję już od wielu lat. W artykule przytoczono podstawowe wymagania w stosunku do cementu i betonu.
EN
The article presents the requirements for cement and concrete in view of the requirements of the General Technical Specification (OST) Surface made of cement concrete [5], recently updated by the General Directorate for National Roads and Motorways (GDDKiA). The document has the status of an annexe to the Regulation of the General Director of National Roads and Motorways from 7th June 2018, which in practice opens a new chapter in the design and construction of roads with concrete pavement. Both investors and constructors of roads with concrete surface can use solutions that are in no way different from global standards and are based on long-term experience in many countries where concrete roads have been operated and have been perfectly fulfilling their function for many years. The basic requirements for cement and concrete are given in the article.
6
Content available Prace nad specyfikacją jakościową paliwa E10+
PL
W artykule zawarto ogólne informacje o początkach koncepcji zrównoważonego rozwoju gospodarczego i społecznego na świecie oraz o realizacji tej koncepcji w odniesieniu do przemysłu paliwowego. Przedstawiono także informacje o roli normy jakościowej w innowacji gospodarki Unii Europejskiej. W kolejnych częściach zaprezentowano wyniki podjętych dotychczas w UE działań dotyczących paliwa E10+. Przedstawiono przegląd przeprowadzonych badań, których wyniki posłużą do podjęcia odpowiednich decyzji co do dalszych prac nad specyfikacją paliwa E10+, prowadzonych w ramach Programu Horyzont 2020. Podsumowano także prace dotyczące paliwa E10+ prowadzone dotychczas w INiG – PIB.
EN
This article provides general information about the origins of the concept of sustainable economic and social development in the world and the implementation of this concept in relation to the oil industry. Information on the role of quality standards in the innovation of the European Union economy is also presented. In the following parts, the article presents the results of actions taken so far in the European Union with regard to fuel E10+. It presents also an overview of research performed, the results of which will be used to take appropriate decisions regarding further work on the development of E10+ fuel specifications, under the Programme Horizon 2020. A summary of research work carried out so far in the Oil and Gas Institute – National Research Institute in the field of the E10+ fuel is also presented.
PL
Artykuł ma na celu ukazanie specyfikacji czynników ryzyka przy wyborze systemu realizacji budowy drogi. Opisujemy systemy „Zaprojektuj i wybuduj” oraz „Wybuduj”. Mimo iż oba dotyczą budowy dróg, to każdy z nich wiąże się z innymi czynnikami ryzyka. Istotnym aspektem, na który również zwrócono uwagę w artykule, jest ponoszenie odpowiedzialności przez wykonawcę, projektanta czy inwestora. Okazuje się, że niewielki czynnik ryzyka może wpływać na realizację przedsięwzięcia budowy drogi. Wyniki przeprowadzonych badań stanowią bazę do dalszych analiz.
EN
In this paper we show the specification of risk factors when choosing a system, the construction of the road. We describe the systems "Design and build" and "Build". Although both systems involve the construction of roads each of them brings with it other risk factors. An important aspect which is also highlighted in this article is accountability by the contractor, designer or investor. Article bases on a case study that shows how a relatively small risk factor can influence the implementation of the project of building the road. Results of this study provide the basis for further analysis.
PL
W referacie przedstawiono wymagania PN-EN 1090 oraz norm przez nią przywołanych, w zakresie zabezpieczenia antykorozyjnego stalowych konstrukcji spawanych. W szczególności wymagania odniesiono do specyfikacji i projektu konstrukcji, wyposażenia produkcyjnego i kontrolnego oraz kwalifikacji personelu. Zwrócono uwagę na konieczność właściwego opracowania specyfikacji wyrobu przez projektujących konstrukcję jak również przeglądu wymagań dokonywanego przez wytwórców. Stopień spełnienia wymagań zobrazowano na podstawie doświadczeń autora z audytowania systemów ZKP wg EN 1090-1. Referat, zwraca również uwagę na bezwzględną konieczność spełnienia wymagań w zakresie kwalifikacji i kompetencji personelu antykorozji.
EN
The paper presents the requirements of EN 1090 and referred standards in scope of corrosion protection of welding steel constructions . In particular, the requirements referred to the technical specification and design of the structure, production equipment, quality control equipment and personnel qualifications. Attention was drawn to the need for proper development of technical specifications of the product by designer as well as the review of the requirements made by the manufacturers. The degree of compliance is illustrated based on the author’s experience with auditing systems according to EN 1090-1 FPC. The paper, also draws attention to the absolute necessity to meet the requirements for the qualifications and competence of corrosion protection personnel.
9
Content available remote Towards a Formal Representation of Interactive Systems
EN
Powerful algebraic techniques have been developed for classical sequential computation. Many of them are based on regular expressions and the associated regular algebra. For parallel and interactive computation, extensions to handle 2-dimensional patterns are often required. Finite interactive systems, a 2-dimensional version of finite automata, may be used to recognize 2-dimensional languages. In this paper we present a blueprint for getting a formal representation of parallel, interactive programs and of their semantics. It is based on a recently introduced approach for getting regular expressions for 2-dimensional patterns, particularly using words of arbitrary shapes and powerful control mechanisms on composition. We extend the previously defined class of expressions n2RE with new control features, progressively increasing the expressive power of the formalism up to a level where a procedure for generating the words accepted by finite interactive systems may be obtained. Targeted applications come from the area of modelling, specification, analysis and verification of structured interactive programs via the associated scenario semantics.
EN
New EPB Directive and standards based on this directive in the area of energy performance of buildings generate many changes in the building industry. In the article, the difference will be shown between "classical" and new methodology of design and specification of buildings with required energy performance, where automation systems and technical management use synergy of all technical systems to increase the energy efficiency of buildings.
PL
Dyrektywa EPBD stawia nowe wzywania przed architektami i projektantami zarówno konstrukcji i przegród zewnętrznych budynku, jak i wszystkich instalacji technologicznych oraz systemów automatyki i sterowania budynków, a także systemów technicznego zarządzania budynkami. W artykule przedstawione zostanie porównanie między klasyczną metodyką projektowania, w której systemy sterowania instalacjami technologicznymi budynku są dostosowywane do tych instalacji i metodyką uwzględniającą osiągnięcie wysokiej efektywności energetycznej dzięki wykorzystaniu synergii pomiędzy wszystkimi technologicznymi instalacjami budynkowymi, w której instalacje technologiczne muszą być dostosowane do maksymalizacji wpływu systemów sterowania i automatyki na efektywność energetyczną budynku.
PL
W artykule przedstawiono ideę zastosowania diagramów aktywności UML do specyfikacji wymagań dotyczących zachowania sterownika logicznego. Lista wymagań podlegających weryfikacji zwykle definiowana jest bezpośrednio za pomocą formuł logiki temporalnej. Użycie przyjaznych dla użytkownika, powszechnie znanych i wykorzystywanych diagramów pozwala na prostsze i bardziej intuicyjne zapisanie wymagań. Diagramy są następnie formalnie przekształcane do formuł liniowej logiki temporalnej (LTL).
EN
The article introduces an idea to use UML activity diagrams [1-5] for specification of requirements regarding logic controller behavior. Requirements list to be verified [14] (using model checking technique [6, 7]) is usually directly defined using temporal logic formulas [12, 15]. Using user-friendly, commonly known and practiced diagrams allows to easier and more intuitively write down the requirements easier and more intuitively. Activity diagrams are then formally transformed into linear temporal logic (LTL) formulas. In this paper some sample UML activity diagrams which specify global properties are presented, together with their interpretation using LTL logic. To perform model checking process, model description (based i.e. on a control interpreted Petri net [8] or indirectly on an UML activity diagram [11]), and requirements list are needed. Afterwards it is checked, whether defined properties are satisfied in specified model description. If a requirement cannot be fulfilled, appropriate counterexample is generated allowing to localize error source. The article is structured as follows. Section 1 is an introduction. Background of a logic controller specification and its verification is presented in section 2. A novel approach to logic controller requirements definition using activity diagrams is shown in section 3. The paper ends with a short summary.
PL
W ostatnich latach znacząco wzrosły wymagania odnośnie do właściwości użytkowych i eksploatacyjnych stosowanych olejów przemysłowych. W artykule przedstawiono nowe wymagania dla olejów hydraulicznych i turbinowych wprowadzone nowymi normami produktowymi PN-ISO. Opisano nowe lub zmodyfikowane metody badań odporności na utlenianie: test Baadera DIN 51554, odporność na utlenianie według PN-ISO 7624, odporność na utlenianie w wysokiej temperaturze ASTM D 4636, a także odporność na utlenianie (po przedmuchu azotem) ASTM D 2272. Przedstawiono ocenę klasy czystości według ISO 4406, kompatybilności z elastomerami według ISO 6072 oraz filtrowalność z wodą ISO 13357-1 i filtrowalność bez wody ISO 13357-2.
EN
Requirements for properties of oils which are used in industry, increased over last years. This article shows new requirements for hydraulic and turbine oils which are described in new PN-ISO standards. It also describes new and modified research methods of oxidation stability: Baader’s test according to DIN 51554, stability oxidation according to PN-ISO 7624 and ASTM D 2272 Standards, stability oxidation at high temperature according to ASTM D 4406 Standard. In these article are also presents: method for coding the level of contamination by solid particles according to ISO 4406, compatibility with elastomers according to ISO 6072 and filterability according to ISO 13357.
PL
W wyniku intensywnego rozwoju infrastruktury komunikacyjnej wzrosło zapotrzebowanie na beton o podwyższonych wymaganiach, w tym do konstrukcji mostowych. Kluczowe znaczenie dla zapewnienia trwałości konstrukcji w przewidywanym długim okresie użytkowania obiektów mostowych ma specyfikacja betonu, będąca częścią dokumentacji projektowej.
PL
W artykule przedstawiono zagadnienia wspomaganej komputerowo specyfikacji urządzeń srk z wykorzystaniem języków opisu sprzętu. Przegląd stosowanych obecnie metod opisu urządzeń i systemów srk wskazuje, że nie istnieje metoda, która mogłaby zapewnić jednolitą platformę opisu wszelkiego rodzaju dyskretnych układów sterowania. Dodatkowo większość stosowanych metod opisu nie pozwala na wykorzystanie wspomagania komputerowego na etapie specyfikacji i weryfikacji algorytmów działania tego typu układów. Zostało pokazane, że zastosowanie do tego celu języków opisu sprzętu tworzy jednolitą platformę specyfikacji i weryfikacji urządzeń srk, pozwalając dodatkowo na statyczną i dynamiczną weryfikację poprawności opisu, z wykorzystaniem wspomagania komputerowego w postaci symulatorów logicznych. Na przykładzie specyfikacji algorytmu działania jednoodstępowej blokady liniowej w języku VHDL zaprezentowane zostały zarówno możliwości pakietu Active-HDL, jak i proces wspomaganej komputerowo specyfikacji i weryfikacji projektowanego specjalizowanego układu.
EN
The article presents several issues concerning computer aided specification of railway traffic control devices using hardware description languages. The review of currently used description methods of railway traffic control devices and systems indicates that the method which could ensure a uniform platform for description of all kinds of discrete control systems does not exist. In addition, the majority of description methods currently used do not allow the use of computer support at the stage of specification and verification of operation algorithms of this type of systems. It is shown that application of hardware description languages for this purpose comprises a uniform platform for specification and verification of railway traffic control devices, which additionally allows static and dynamic verification of correctness of this description with the use of computer support in the form of logic simulators. On the example of specification of one-section line block operation algorithm in VHDL, both the possibilities of Active–HDL package as well as the process of computer supported specification and verification of the designed specialized system are presented.
PL
Duża liczba inwestycji drogowo-mostowych, jakie pojawiają się ostatnio w Polsce, wymaga od producenta betonu, specyfikującego oraz wykonawcy robót coraz większej świadomości czy też szukania nowych rozwiązań.
EN
The article focuses on model checking and synthesis of rule-based specification of logic controller. It describes and illustrates proposed design system of logic controllers. Specification by means of Control Interpreted Petri Nets is formally written as rule-based logical model, which is suitable both for formal verification against behavioral requirements and for synthesis in form of reconfigurable logic controller. Verifiable model is thereby consistent with synthesizable model. Logical model is also used for behavioral verification and simulation. Translation process of rule-based specification into verifiable model description and synthesizable code has been automated.
PL
Wskazano na znaczenia i potrzeby wykorzystania w skali międzynarodowej jednoznacznego i spójnego języka komunikacji między konstruktorem, technologiem i metrologami, określającego maksymalne dopuszczalne zmiany kształtu, profilu, kierunku, położenia i bicia w stosunku do geometrii nominalnej wyspecyfikowanej na rysunku. Pokazano kierunki prac ISO nad rozwojem i doskonaleniem zasad specyfikacji geometrii wyrobów. Przedstawiono wybrane przykłady specyfikacji tolerancji geometrycznych wskazując, że opanowanie umiejętności prawidłowej interpretacji i stosowania tolerancji geometrycznych wymaga ciagłego doskonalenia programów i procesów nauczania na uczelniach technicznych oraz seminariów i szkoleń dla przemysłu.
EN
Attention is called to importance of international use of an univocal and coherent communication language between the designers, process engineers and metrology engineers for determination of the acceptable maximum deviations in the products form, profile, direction and run out against respective nominal parameters specified in drawings. Explained are works carried out by ISO with respect to development and improvements to the product geometry specification rules.
18
Content available remote HSVO: a functional XML specification for integrating simulation devices
EN
Although we live in a time where systems and sen/ices are combined and integrated in more and more useful ways, there are still many data silos. Simulation for healthcare education is a notable example where although there has been a proliferation of devices and services there Is little connectivity or integration between them. The MedBlquitous Virtual Patient specification affords a degree of sharing of content but not runtime data and there Is nothing that these other forms to this model. The Healthcare Services Virtual Organization (HSVO) project has developed an XML-based messaging specification as part of a network-enabled platform that can connect, run, control and exchange data between any services connected to its messaging bus. Middleware interfaces essentially 'wrap' each service translating Its native functions Into a set of common actions and parameters to be exchanged with other services on the bus. The HSVO NEP also involves the use of lightpaths and services that include the Open Labyrinth virtual patient platform, the Laerdal SimMan 3G, stereoscopic and tomographic datasets, physiological algorithms and camera arrays. This presentation will present the rationale for the specification, the XML model itself and examples of how it works in practice.
PL
W artykule przedstawiono przykład modelowania procesów logistycznych. Opisano rozwiązania na bazie algebry logiki oparte o zasadę charakteryzacji V.A. Gorbatov'a. Uzyskany model pozwoli na uzyskanie wyniku w postaci rozwiązania umożliwiającego kwantyfikację zmiany wartości dodanej procesów logistycznych przed i po implementacji zintegrowanego systemu zarządzania ryzykiem.
EN
In the paper the modeling of logistics processes’ was presented. Solutions were described on the basis of algebra of logic and the principle of V.A. Gorbatov specification. Obtained model shall allow receiving a result in a form of solutions enabling the quantification of value added change of logistics processes before and after the implementation of integrated system of risk management.
PL
Przedstawiono metodę szacowania niepewności wyników badań taśm przenośnikowych oraz ocenę zgodności wyników badań ze specyfikacją na przykładzie oznaczania wytrzymałości na rozciąganie gumy okładek taśm.
EN
It the method of estimating the uncertainty of results of investigations соnvеуоr belts was introduced as well as the opinion of agreement of results investigations with specification on ехamрlе marking the tensile strength the gum of covers of belts.
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ć.