Wyniki wyszukiwania - BazTech

1

Testowanie Modeli BIM - Wspomagane Komputerowo Metody Weryfikacji

Pacyno Hanna

Wiadomości Projektanta Budownictwa

|

2022

|

nr 5-6

9--14

2

BIM w projektowaniu obiektów budowlanych

Przybyłowicz Paweł

Materiały Budowlane

|

2022

|

nr 9

35--36

3

Weryfikacja poprawności transferu danych BIM w celu obliczeń MES na przykładzie obiektu usługowo-biurowego

Pabian Katarzyna, Wosatko Adam

Przegląd Budowlany

|

2020

|

R. 91, nr 12

20--29

PL

Artykuł dotyczy porównania współpracy pomiędzy programami inżynierskimi na podstawie transferu danych modelu zgodnie z ideą BIM. W tym celu taki sam model BIM obiektu usługowo-biurowego utworzono w dwóch różnych programach źródłowych, a następnie wykonano jego eksport i poddano weryfikacji za pomocą analizy MES. Obiekt składa się z hali stalowej oraz dwóch niewielkich budynków biurowych o konstrukcji żelbetowej. Do modelowania użyto programów REVIT oraz TEKLA, a obliczenia wykonano za pomocą programu ROBOT. Weryfikacja MES zawiera głównie analizę statyczną, ale pokazane są także wyniki dla zagadnienia drgań własnych.

EN

The paper evaluates the interaction between software packages for engineers on the basis of data transfer according to the BIM idea. For this purpose the same model of an office-service building set is prepared in two different source packages and next it is exported and verified using the FEM analysis. The facility consists of a steel hall and two small office buildings with reinforced concrete structure. The REVIT and TEKLA programs are selected for modeling, while package ROBOT is used for computations. The FEM verification contains mainly a static analysis, but the results of an eigen-vibration problem are also shown.

4

Wewnątrzlaboratoryjna kontrola badań

Lato-Karjakin E.

Laboratorium - Przegląd Ogólnopolski

|

2017

|

nr 9-10

74--78

PL

Zrozumienie teorii dotyczącej kontroli wewnątrzlaboratoryjnej pozwala na podejmowanie właściwych działań, w tym działań korygujących lub zapobiegawczych, które zapewnią wiarygodne wyniki badań. W artykule przedstawiono kolejne etapy codziennej, wewnętrznej kontroli w medycznym laboratorium diagnostycznym. Każdy z nich, począwszy od ustalenia dopuszczalnych wartości błędów całkowitych, akceptowalnej nieprecyzyjności i obciążenia, poprzez przeprowadzenie okresu wstępnego, sporządzenie kart kontrolnych Levey-Jenningsa, wybranie reguły interpretacyjnej oraz prowadzenie bieżącej kontroli z zastosowaniem elementów Sigma-metrii, jest jednakowo ważny dla efektu końcowego. Rezultatem świadomego prowadzenia procesu kontrolnego w laboratorium jest wydanie wiarygodnego wyniku, który staje się podstawą skutecznej diagnozy i leczenia pacjentów.

EN

Understanding the theory concerning interlaboratory quality control allows to take right measures, including corrective or preventive actions, that will ensure reliable test results. The article presents subsequent stages of daily internal control in a medical diagnostic laboratory. Each of them, from establishing admissible values of total errors, allowable imprecision and bias, to carrying out an initial period, preparing Levey-Jennings control charts, selecting an interpretation rule and maintaining current control with use of the elements of Sigmametrics, is equally important for the final effect. The outcome of carrying out conscious control process in a laboratory is delivering credible test result, that become the basis for an effective diagnosis and patient treatment.

5

Ocena poprawności rozwiązań materiałowych nadproży okiennych w aspekcie cieplno-wilgotnościowym

Dybowska M., Pawłowski K., Lewandowski Ł.

Materiały Budowlane

|

2015

|

nr 5

95--97

PL

W artykule przeprowadzono szczegółową analizę porównawczą parametrów fizykalnych połączenia ściany zewnętrznej z oknem w przekroju przez nadproże. Przedstawiono wyniki obliczeń numerycznych wybranych rozwiązań proponowanych przez producentów materiałów i systemów budowlanych.

XX

The article was carried out for a detailed comparison of physical connection parameters outer wall with a window in a section through the lintel. Presents the results of numerical calculations of selected solutions proposed by the manufacturers of building materials and systems.

6

A Note on Analysis of BPMN Diagrams

Ligęza A.

Pomiary Automatyka Robotyka

|

2011

|

R. 15, nr 12

210-212

EN

BPMN has recently become a de facto standard for modeling and design of complex software intensive processes. It is widely used not only in the Business Process domain. Numerous tools supporting visual edition have been developed. Despite its unquestionable advantages the semantic analysis of logical properties seems to be one of the weaknesses of this formalism. In order to assure reliable process execution the overall structure of the graph and its logical operation should be verified.

PL

BPMN staje się powoli standardem de facto w modelowaniu i projektowaniu procesów zawierających istotne komponenty programowe. Jest powszechnie stosowany nie tylko dla modelowania procesów biznesowych. Zaimplementowano wiele narzędzi wspomagających wizualne projektowanie diagramów BPMN. Niestety, pomimo niezaprzeczalnych sukcesów semantyka BPMN i analiza własności logicznych stanowią ciągle słabe strony. Aby zapewnić niezawodną pracę systemów, należy przeprowadzić formalną analizę systemu.

7

O wbudowanych testerach biernych

Brzeziński K.

Pomiary Automatyka Kontrola

|

2011

|

R. 57, nr 1

61-63

PL

Rozważa się modele architektury rozproszonego, reaktywnego systemu zdarzeń dyskretnych, do którego zostaje dołączony bądź którego częścią staje się tester bierny. Modele adekwatne dla testowania aktywnego okazują się niespójne w kontekście testowania biernego. Identyfikuje się tu naturę tej niespójności i proponuje się nowy, bardzo prosty model, dzięki któremu tester bierny może zostać potraktowany jak każdy inny komponent systemu, co pozwala na naturalne modelowanie także systemów, w które tester bierny został wbudowany (zagnieżdżony).

EN

In this paper a controversial concept of passive testing [2] is discussed, focusing on representation of a passive tester within the architecture of a distributed, reactive Discrete Event System. It is argued that well known architectural models used for paradigmatic active testing (Fig. 1) become deficient when applied to structures with a passive tester (Fig. 2), which undermines the basis for the formal treatment of passive testing. It is shown that such direct re-use either leads to intrinsically inconsistent and unimplementable interpretations (Fig. 2b and e), or requires additional mechanisms (co-location of a tester, Fig. 2c; instrumentation of a tested entity, Fig. 2d) that are restrictive and inconsistent with the specific use patterns of passive testing. A very simple, minimal architectural model is proposed (Fig. 3), in which each system entity is equipped with a pair of input and output ports, and communication channels are members of the Cartesian product of port sets. This model does not allow the inconsistent elements of previous models to be directly expressed, while making explicit their metaphorical interpretation (Fig. 4). It can deal with both external and embedded passive testers (Fig. 5), as they are treated exactly as any other system entity.

8

Specification of real-time systems using UML sequence diagrams

Huzar Z., Walkowiak A.

Przegląd Elektrotechniczny

|

2010

|

R. 86, nr 9

226-229

EN

The paper proposes an approach to a definition of a semantic of UML sequence diagram extended to real-time system specification set using a transformation of the sequence diagrams into a graph of possible scenarios of system-environment interactions. The described transformation allows the analysis of specification properties: consistency, definiteness and completeness, and can be used to check if the system’s behavior satisfies liveness and safety properties

PL

W artykule przedstawiono propozycję definicji semantyki zbioru diagramów sekwencji języka UML rozszerzonych dla specyfikacji systemów czasu rzeczywistego. Zapisem przyjętej interpretacji zbioru diagramów jest graf możliwych scenariuszy interakcji systemu z otoczeniem, do którego zbiór jest transformowany. Zdefiniowana transformacja umożliwia weryfikację poprawności (niesprzeczności, określoności, kompletności) oraz badanie własności (bezpieczeństwa, żywotności) opracowywanych specyfikacji.

9

Testowanie w cyklu życia systemu: nieregularności metastandaryzacji

Brzeziński K.

Przegląd Telekomunikacyjny + Wiadomości Telekomunikacyjne

|

2009

|

nr 8-9

805-810

PL

Rozważa się proces konstruowania (projektowania i produkowania) systemów teleinformatycznych, w którym dochodzi do konwergencji podejść i modeli charakterystycznych dla telekomunikacji i informatyki. Na podstawie wspólnego modelu takiego procesu identyfikuje się niespójności koncepcyjne i ukryte założenia obu tych podejść, zwłaszcza w odniesieniu do weryfikacji i walidacji powstającego produktu metodami testowymi. Jako szczególny typ produktu rozważa się standardy, których jakość i zagadnienia projektowe są przedmiotem metastandardów.

EN

The construction (design and production) process of information systems is investigated, in which the approaches and models characteristic of telecommunications and software engineering tend to converge. Basing on a common model of such process, the conceptual inconsistencies and hidden assumptions of both these approaches are discussed, in particular those pertaining to verification and validation by means of testing. Standards are identified as a specific kind of product, the quality and design problems of which are the object of meta-standards.

10

Sposoby ujęcia danych a poprawność map opracowanych metodą kartogramu

Tomaszewska M.

Polski Przegląd Kartograficzny

|

2009

|

T. 41, nr 3

209-220

PL

W artykule krytycznie podsumowano dorobek kartografii w zakresie stosowanych podziałów sposobów ujęcia danych, przedstawiono propozycję typologii danych uwzględniającą najczęściej stosowane przez kartografów kryteria i na jej tle oceniono poglądy kartografów na poprawność kartogramów w zależności od sposobu ujęcia danych wykorzystanych do ich opracowania.

EN

Choropleth is currently one of the most commonly used methods of cartographic presentation. However, the rules of application of this method have not been clearly established yet. One of the controversial issues is the character of data. Using the criterion of presentation data can be divided into 'raw' data, not related to any other data (i.e. absolute) and data in the form of a fraction, related to other data (i.e. relative). The method of presentation also determines further divisions of relative data used in cartographic literature. Division into the two categories (absolute and relative data) is widely accepted by cartographers, but the way they interpret relative data varies. It is visible in various terminology used for relative data by particular authors and various elements that it refers to (B.D. Dent 1996; K. Kocimowski, J. Kwiatek 1976; M. Kraak, F.-J. Ormeling 1998; J. Pastawski (ed.) 2006; L. Ratajski 1973, 1989; A.H. Robinson 1953; A.H. Robinson 1995; K.A. Saliszczew 1976; Slocum et al. 2009; W. Witt 1967, E. Wonka 1979, J.K. Wright 1995).The criteria used for classification of the character of data are not sufficient for establishing a specific definitive and exclusive logical division of the character of data (W. Marciszewski 1988). The author suggests a typological approach. When determining types the author proposes to keep the division into absolute and relative data (obtained by referring one set of data to another). On the other hand one has to recognize the aspect of data processing by mathematical-statistical operations and classify them as processed and unprocessed. Using the two criteria presented above the author proposes to determine four main data types: absolute unprocessed (e.g. the number of births), absolute processed (e.g. average number of births in the years 2000-2005), relative unprocessed (e.g. relation of births to deaths), relative processed (variation of the relation of births to deaths). The above considerations concerning the typological approach to the character of data can be presented as a scheme (fig. 1). Since some data types can not be classified as either purely relative or absolute, the sets overlap (gray area). This approach creates two intermediate types: data which can be considered either absolute processed or relative unprocessed (e.g. the number of cars per family in Warsaw treated as the total number of cars related to the number of families, or as an average number of cars per family) and data which can be classified either as absolute processed or relative processed (e.g. increase of the average number of cars per family in Warsaw in the last decade). Therefore six categories can be established. Cartographers agree, that the most proper method of map elaboration using the choropleth method is the one which uses relative data applied to the entire area of enumeration units, shown on a map of e.g. population density (B.D. Dent 1996; G.F. Jenks 1976; G.F. Jenks, F.C. Caspall 1971; F.J. Monkhouse 1970; F.J. Monkhouse, H.R. Wilkinson 1971; J.-C. Muller 1983,1985; M.-J. Kraak, F. Ormeling 1998; J. Pasławski 1991, 2003; J. Pravda 1983, 2004, T.A. Slocum et al. 2009). This group of the character of data - presented on the scheme as a dense dot pattern (fig. 2) - constitutes only a part of two basie types representing relative data. Method of elaboration of a choropleth basing on such data and its correct interpretation (linked to the size of basie fields) is presented in fig. 3. For choropleth map design cartographers also accept the use of other relative data: amounts related to a part of the area of enumeration units (e.g. share of wheat sown area in the total sown area), amounts related to the total population of a unit (e.g. share of population aged 1595 in total population), amounts related to a part of the population of a unit (e.g. percentage of working individuals) and amounts referred to other elements (e.g. number of inhabitants per pharmacy), (among others: D.J. Cuff, K.R. Bieri 1979; G.F. Jenks 1976; M.-J. Kraak, F. Ormeling 1998; L. Ratajski 1989; A.H. Robinson et al. 1988, 1995; K.A. Saliszczew 2001). The group of data which the article describes as relative (related to elements other than the total area of the enumeration unit) refers to two, previously discussed basie types (blue color) and two intermediate types (gray color). Its range is shown in sparse dot pattern (fig. 2). The reader interpreting the choropleth prepared basing on the data referring to elements other than the total area of the enumeration unit should be aware that the values of the presented indicator can be unconnected to the area of those units, and that the indicator's value is also affected by the data in its denominator, though such information is often not provided (fig. 4). Most cartographers are convinced that absolute data should be presented in the form of proportional symbols. Specialist who deny the possibility of applying absolute data for preparation of choropleth maps point out interpretative difficulties resulting from different size of reference units (D.J. Cuff, K. R. Bieri 1979; B.D. Dent 1996; G.F. Jenks 1976; A.H. Robinson, R. Sale, J. Mor-rison 1988; T.A. Slocum et al. 2009). When reading a choropleth map prepared using absolute data one should overlook the size of enumeration units (fig. 5), as in the case of choropleth presentations basing on relative data (referring to other elements than the enumeration unit). It should be pointed out that in the case of such presentation the values are not affected by any other data, which makes interpretation easier. It should be reminded that some data classified as relative data can be at the same time classified as absolute data. Therefore it is difficult to accept a notion that absolute data can not be used for choropleth maps. Considering the arguments presented by cartographers and the rangę of ambiguity concerning the classification of the character of data, one should recommend the use of relative data (referring to the whole enumeration unit) for preparation of choropleth maps. However, bearing in mind how common choropleth maps are, such recommendation is unlikely to change cartographic practice. What is more, application of other than relative data (refering to the whole area) for choropleth maps may have certain advantages e.g. basing on a choropleth it is easy, on the general level of map reading, to separate regions characterized by a certain value. Further theoretical considerations concerning the correetness of choropleth maps should also account for the results of empirical research on the preferences and skills of such maps' users.

11

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).