Wśród kluczowych etapów realizacji inwestycji drogowych szczególnie istotnym, a zarazem wymagającym, jest proces wykonywania podłoża pod konstrukcję drogową. Proces ten jest jednak obarczony wieloma czynnikami niepewności, a dodatkowo tradycyjne metody weryfikacji jakości podłoża często charakteryzują się ograniczoną efektywnością. Dlatego opracowanie koncepcyjnego modelu integracji procesu weryfikacji jakości podłoża konstrukcji drogowej w środowisku BIM wydaje się metodą pozwalającą na ominięcie wielu problemów. Głównym celem niniejszego artykułu jest opracowanie koncepcyjnego modelu integracji procesu weryfikacji jakości podłoża konstrukcji drogowej w środowisku BIM. Przeprowadzone badania potwierdzają przydatność proponowanej metodyki, która pozwala na bieżącą kontrolę parametrów technicznych podłoża w czasie rzeczywistym, zwiększając efektywność procesu budowy.
EN
Among the key stages of road investment implementation, the process of making the ground for the road structure is particularly important and at the same time demanding. However, this process is subject to many uncertainties, and in addition, traditional methods of verifying the quality of the substrate are often characterized by limited effectiveness. Therefore, the development of a conceptual model for the integration of the process of verifying the quality of the road structure in the BIM environment seems to be a method that allows to avoid many problems. The main objective of this article is to develop a conceptual model for the integration of the process of verification of the quality of the road structure substrate in the BIM environment. The conducted research confirms the usefulness of the proposed methodology, which allows for ongoing control of the technical parameters of the ground in real time, increasing the efficiency of the construction process.
Background: Poor communication of requirements between clients and suppliers contributes to project overruns,in both software and infrastructure projects. Existing literature offers limited insights into the communication challenges at this interface. Aim: Our research aim to explore the processes and associated challenges with requirements activities that include client-supplier interaction and communication. Method: we study requirements validation, communication, and digital asset verification processes through two case studies in the road and railway sectors, involving interviews with ten experts across three companies. Results: We identify 13 challenges, along with their causes and consequences, and suggest solution areas from existing literature. Conclusion: Interestingly, the challenges in infrastructure projects mirror those found in software engineering, highlighting a need for further research to validate potential solutions.
W dobie coraz większych możliwości takiej manipulacji obrazami oraz materiałami wideo (głównie przy wykorzystaniu mechanizmów AI), aby nie było to możliwe do wychwycenia przez przeciętnego użytkownika portali internetowych i mediów społecznościowych, koniecznym jest opracowanie sposobów prostej analizy treści wizualnych w Internecie. W niniejszym artykule autor opisuje rodzaje zniekształceń informacji, podejście oparte na zasadach rozpoznania otwartoźródłowego do ich analizy, a także przedstawia wybrane techniki i narzędzia z tego zakresu, które są w stanie pomóc odbiorcom w prostym i szybkim wychwyceniu prawdopodobnych manipulacji w materiałach graficznych.
EN
In the era of increasing opportunities to manipulate image and video materials (mainly by using AI mechanisms) to such an extent that it becomes impossible for the average user of internet portals and social media to discern it, it is necessary to develop simple methods for analysis of the visual content on the internet. In this article, the author describes the types of information distortion, the approach to information analysis based on opensource intelligence principles, and presents selected techniques in this matter which offer simple and fast methods of detecting probable manipulations in the graphical content.
Postępowanie w sprawie wydania pozwolenia na budowę wymaga przeprowadzenia przez starostę czy prezydenta miasta szeregu czynności sprawdzających. Najważniejsze z nich odnoszą się do projektu budowlanego, ponieważ jego treść determinuje przyszłe rozstrzygnięcie. W przypadku stwierdzenia braków w tym zakresie organ dysponuje odrębną podstawą umożliwiającą ich sanowanie.
EN
The building permit procedure requires the district administrator or mayor to carry out a number of checks. The most important of these relate to the construction design, as its content determines the future decision. If any deficiencies are found in this regard, the authority has a separate basis for remedying them.
5
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
This research investigates the efficacy of the cloud-resolving Weather Research and Forecasting (WRF) model in reproducing convective cells associated with flash-flooding heavy rainfall near Peja, Northeast Kosovo, on June 24, 2023. Employing two distinct dynamical cores and a unique numerical setup for the Kosovo domain, numerical experiments were conducted. The study employed a triply nested WRF-ARW model with a high resolution of 3 km horizontal grid spacing, integrating conventional analysis data. Additionally, experiments using the WRF-NMM core with 3 km for a larger domain covering Southeast Europe and Kosovo domain were executed to simulate the specific event. The WRF model accurately simulated the initiation of isolated thunderstorms, convective band formation, cloud cluster, and squall line at the opportune time. While precipitation distribution was reasonably replicated, there was a slight underestimation in the amount. Hydrological analysis of precipitation, including river discharge rates provided from ECMWF ERA5 reanalysis, identified a unique storm category with intense precipitation production, registering an intensity of approximately 54.6 mm in 1 h, leading to sudden flash flooding.
Experience-based research in architecture aimed at perfecting design praxis typically begins with an informed identification of the problem and goal. It therefore becomes necessary to postulate a verification of assessment criteria by introducing a verification and revision mechanism into their formulation. Correct – relevant – solutions are those which meet assessment criteria, which means that the assessments of the modification problem solutions comply with the pattern produced by the solution. In unique cases, as they are cases with the most severe consequences, criteria need to be formulated on a case-specific basis. The author wishes to describe this property, namely to define the sense of relevance as an attribute of research.
PL
Badania w architekturze nacelowane na doskonalenie praktyki projektowej te oparte na doświadczeniu, zwykle rozpoczynają się od świadomej identyfikacji problemu i celu. Z tego też względu niezbędne staje się sformułowanie postulatu weryfikacji kryteriów oceny przez wprowadzenie do procesu ich formułowania mechanizmu weryfikacyjno-korygującego. Za rozwiązania poprawne – relewantne uważa się te rozwiązania, które odpowiadają kryteriom oceny, co znaczy, że oceny rozwiązania problemu modyfikacyjnego są zgodne z wzorcem danym przez rozwiązanie. W przypadkach niepowtarzalnych, jako że one właśnie są przypadkami o najpoważniejszych konsekwencjach, kryteria muszą być formułowane indywidualnie. To, co autor chce zrobić, to opisać tę właściwość, tzn. zdefiniować sens relewancji, jako atrybutu badań.
Procedury walidacji, obok procedur weryfikacji, zostały wpisane w szóstą zasadę wdrażania sytemu HACCP. Rolą producenta żywności jest walidacja środków kontroli, podczas gdy rolą właściwego organu administracji jest zapewnienie (poprzez narzędzia nadzoru), że producent posiada skuteczne systemy walidacji, i że środki kontroli są odpowiednio walidowane. pojęcia walidacji, monitorowania i weryfikacji są często mylone. Walidacja środków kontroli różni się od monitorowania i weryfikacji, które mają miejsce po wdrożeniu zwalidowanych środków kontroli. Monitorowanie i weryfikacja to narzędzia wykorzystywane do sprawdzenia, czy środki kontroli są przestrzegane, i wykazania, że działają zgodnie z przeznaczeniem. istnieją różne podejścia do walidacji, które mogą być stosowane indywidualnie lub w połączeniu, w zależności od potrzeb. obejmują one m.in.: 1/ odniesienie do literatury naukowej lub technicznej, wcześniejszych badań walidacyjnych lub wiedzy historycznej na temat skuteczności środka kontroli (obejmują one literaturę naukową, wytyczne rządowe, wytyczne dotyczące środków kontroli GHP i HACCP); 2/ walidacja środka kontroli za pomocą prób eksperymentalnych (np. ilościowe wykazanie i udokumentowanie wymaganego zakresu redukcji określonego patogenu w wyniku danego procesu); 3/ analiza danych historycznych zakładu zebranych w warunkach reprezentatywnych dla całego procesu produkcji, w tym w okresach, w których produkcja jest zwiększona, np. w okresie świątecznym, a zebrane dane powinny być wystarczające do przeprowadzenia wymaganych analiz statystycznych; 4/ modelowanie matematyczne, które pozwala, między innymi, na ocenę wpływu zmian pH i aktywności wody na kontrolę wzrostu patogenów; 5/ badania ankietowe, które również można uznać za podejście walidacyjne (np. ocena zrozumienia przez konsumentów informacji na etykiecie przed lub w trakcie projektowania etykiety). Obecnie wiele przedsiębiorstw dokonując przeglądu planu HACCP tworzy tak zwane listy kontrolne, które pozwalają na metodyczne sprawdzenie poprawności działania wszystkich siedmiu zasad systemu HACCP. Najważniejsze pytania zawarte w takiej liście kontrolnej odnoszące się do walidacji powinny brzmieć: Czy zatwierdzono limity krytyczne? W jaki sposób? Czy plan HACCP został ponownie oceniony i zmodyfikowany, gdy okazał się niewystarczający? Czy plan HACCP został poddany ponownej ocenie w przypadku zmiany surowców, technologii i/lub receptur produktu? Niniejsze opracowanie przedstawia informacje na temat koncepcji i charakteru walidacji, zadań poprzedzających walidację, procesu walidacji oraz potrzeby ponownej walidacji. Przedstawione zostały również różnice pomiędzy walidacją, monitorowaniem i weryfikacją.
EN
Validation and verification procedures are written into the sixth principle of implementing the HACCP system. The role of the food business operator (FBO) is to validate control measures, while the competent authority’s role is to ensure that the FBO has effective validation systems in place and that control measures are correctly validated. The terms validation, monitoring and verification are often confused. Validation of control measures differs from monitoring and verification, which occurs after implementing validated control measures. monitoring and verification are tools used to verify that control measures are being followed and to demonstrate that they are working as intended. Depending on FBO’s needs, various validation approaches can be used individually or in combination. These include, but are not limited to: 1/ reference to scientific or technical literature, previous validation studies or historical knowledge of the effectiveness of the control measure (these include scientific literature, government guidelines, GHP and HACCP control measure guidelines); 2/ validation of the control measure through experimental trials (e.g., quantitatively demonstrating and documenting the required level of a given pathogen reduction); 3/ analysis of historical plant data collected under conditions representative of the entire production process, including periods when production is increased, such as during the holiday season (the data collected should be sufficient to perform the required statistical analyses); 4/ mathematical modelling, which allows, among other, to assess the impact of changes in pH and water activity on the control of pathogen growth; 5/ survey research, which can also be considered a validation approach (e.g., assessing consumer understanding of label information before or during label design). Nowadays, when reviewing their HACCP plan, many companies create so-called checklists to methodically verify all seven principles of the HACCP system. The most important questions in such a checklist relating to validation should be: Have critical limits been validated? How? Has the HACCP plan been re evaluated and modified when found to be inadequate? Has the HACCP plan been re-evaluated when raw materials, technology and/or product formulations have changed? This study provides information on the concept and nature of validation, pre-validation tasks, the validation process, and the need for re-validation. The differences between validation, monitoring and verification are also presented.
8
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
A model of an information system describes its processes and how resources are involved in these processes to manipulate data objects. This paper presents an extension to the Petri nets formalism suitable for describing information systems in which states refer to object instances of predefined types and resources are identified as instances of special object types. Several correctness criteria for resource- and object-aware information systems models are proposed, supplemented with discussions on their decidability for interesting classes of systems. These new correctness criteria can be seen as generalizations of the classical soundness property of workflow models concerned with process control flow correctness.
This paper researches the detection method in halftone images using AdaBoost algorithm for training a object detector. Modified Haar-like features are used as features in weak classifiers. The method has been tested on The Yale B Face Database where images are obtained under 65 different illumination conditions. Experimental research on face detection method was carried out using the Matlab environment.
PL
W artykule zbadano metodę detekcji w obrazach półtonowych z wykorzystaniem algorytmu AdaBoost do szkolenia detektora obiektów. Zmodyfikowane cechy podobne do Haara są używane jako cechy w słabych klasyfikatorach. Metoda została przetestowana w bazie danych Yale B Face Database, gdzie obrazy są uzyskiwane w 65 różnych warunkach oświetleniowych. Badania eksperymentalne metody detekcji twarzy przeprowadzono z wykorzystaniem środowiska Matlab.
Radial gates are more common than vertical sluice gates for a number of reasons. They are simpler to use, cause less flow disturbance, require less lifting force, and deliver better discharge. Radial gates are commonly used in new barrages, such as the New Assuit Barrage. Prior researchers used physical investigations to study the efficiency of stilling basin downstream radial gates, but physical studies cost a lot of money and time, so numerical solutions should be investigated. The current study aimed to explore numerically the influence of stilling basin shape and baffle block arrangement on the stability of bed protection, near-bed velocity, energy dissipation, and hydraulic jump characteristics downstream of radial gates. Different 12 discharges were investigated, and their results were compared with previous physical results to verify the performance of the numerical results. The results obtained from the numerical model from all trials are almost identical to the physical model results. Five different alternative designs were carried out numerically to enhance the design of the New Assuit Barrage (NAB) spillway stilling basin. Results showed that alternatives 4 (changing the geometry of the basin by removing the end step and concrete slab) and 5 (as alternative 4 in addition to adding rounded baffle blocks presented in two rows arranged in a staggered way) gave good velocity distribution with low turbulence, low values of near-bed velocities, and stability of bed protection. Also, it is more economical because of the lower cost of concrete and excavation.
With the widespread of systems incorporating multiple deep learning models, ensuring interoperability between target models has become essential. However, due to the unreliable performance of existing model conversion solutions, it is still challenging to ensure interoperability between the models developed on different deep learning frameworks. In this paper, we propose a systematic method for verifying interoperability between pre- and post-conversion deep learning models based on the validation and verification approach. Our proposed method ensures interoperability by conducting a series of systematic verifications from multiple perspectives. The case study confirmed that our method successfully discovered the interoperability issues that have been reported in deep learning model conversions.
W artykule przedstawiono uwagi na temat zasad, podstaw naukowych i konsekwencji stosowania przyjętego w aktualnej wersji eurokodów akceptowalnego poziomu niezawodności w ramach metody częściowych współczynników. Na podstawie polskich statystyk katastrof budowalnych i statystyk dotyczących przyczyn śmiertelnych wypadków w Polsce oszacowano niezawodność konstrukcji obserwowaną w okresie ostatnich 26 lat. Przedstawiono również ocenę wpływu przyjętych w normach EN wartości współczynników oraz ich wartości skorygowanych w załącznikach krajowych 20 państw UE i EFTA na prawdopodobieństwo zniszczenia (przekroczenia SGN) wybranych elementów konstrukcji. Wyniki analiz i obliczeń potwierdzają opinię, że projektowanie konstrukcji metodą częściowych współczynników jest obarczone wieloma poważnymi wadami i wymaga rozważenia możliwości podjęcia daleko idących zmian, w tym wprowadzenia możliwości stosowania choćby uproszczonych metod probabilistycznych.
EN
The article presents comments on the principles, scientific basis and consequences of using the acceptable level of reliability in the framework of the partial coefficient method adopted in the current version of the Eurocodes. On the basis of Polish statistics of construction disasters and statistics on the causes of fatal accidents in Poland, the reliability of structures observed over the last 26 years was estimated. An assessment of the impact of the coefficient values adopted in the EN and their values corrected in the National Annexes of 20 EU and EFTA countries on the probability of failure (exceeding the ULS) of selected structural elements was also presented. The results of analyses and calculations confirm the opinion that designing of structures using the partial coefficient method is burdened with many serious disadvantages and requires considering the possibility of making far-reaching changes, including the possibility of using even simplified probabilistic methods.
In investigations constituting Part I of this paper, the effect of approximations in the flexural-torsional buckling analysis of beam-columns was studied. The starting point was the formulation of displacement field relationships built straightforward in the deflected configuration. It was shown that the second-order rotation matrix obtained with keeping the trigonometric functions of the mean twist rotation was sufficiently accurate for the flexural-torsional stability analysis. Furthermore, Part I was devoted to the formulation of a general energy equation for FTB being expressed in terms of prebuckling stress resultants and in-plane deflections through the factor k1. The energy equation developed there was presented in several variants dependent upon simplified assumptions one may adopt for the buckling analysis, i.e. the classical form of linear eigenproblem analysis (LEA), the form of quadratic eigenproblem analysis (QEA) and refined (non-classical) forms of nonlinear eigenproblem analysis (NEA), all of them used for solving the flexural-torsional buckling problems of elastic beam-columns. The accuracy of obtained analytical solutions based on different approximations in the elastic flexural-torsional stability analysis of thin-walled beam-columns is examined and discussed in reference to those of earlier studies. The comparison is made for closed form solutions obtained in a companion paper, with a scatter of results evaluated for k1 = 1 in the solutions of LEA and QEA, as well as for all the options corresponding to NEA. The most reliable analytical solution is recommended for further investigations. The solutions for selected asymmetric loading cases of the left support moment and the half-length uniformly distributed span load of a slender unrestrained beam-column are discussed in detail in Part II. Moreover, the paper constituting Part II investigates how the buckling criterion obtained for the beam-column laterally and torsionally unrestrained between the end sections might be applied for the member with discrete restraints. The recommended analytical solutions are verified with use of numerical finite element method results, considering beam-columns with a mid-section restraint. A variant of the analytical form of solutions recommended in these investigations may be used in practical application in the Eurocode’s General Method of modern design procedures for steelwork.
PL
W I części niniejszej pracy zastosowano różne rodzaje aproksymacji w analizie wyboczenia giętno-skrętnego elementów ściskanych i zginanych w płaszczyźnie większej bezwładności przekroju. Punktem wyjścia było sformułowanie zależności na pole przemieszczeń w konfiguracji odkształconej. Pokazano, że macierz rotacji, otrzymana przy zachowaniu funkcji trygonometrycznych średniego kąta skręcenia, jest wystarczająco dokładna do analizy stateczności giętno-skrętnej. Szczególną uwagę zwrócono w Części I na sformułowanie ogólnego równania energetycznego dla FTB, wyrażonego w funkcji sił przekrojowych na podstawowej ścieżce równowagi, przed utratą płaskiej postaci zginania II rzędu, a także wpływu efektu ugięć w płaszczyźnie większej bezwładności przekroju, wyrażonego za pomocą współczynnika k1. Otrzymane równanie energetyczne zostało przedstawione w kilku wariantach zależnych od założeń upraszczających, jakie można przyjąć do rozwiązywania problemów wyboczenia giętno-skrętnego, tj. w postaci klasycznej analizy liniowego problemu własnego (LEA), w postaci kwadratowego problemu własnego (QEA) oraz w postaci udoskonalonej (nieklasycznej) analizy nieliniowego problemu własnego (NEA). W części II, w pierwszej kolejności, została zbadana i dyskutowana dokładność otrzymanych rozwiązań analitycznych w odniesieniu do propozycji przedstawionych we wcześniejszych opracowaniach. Przeprowadzone są też porównania dla rozwiązań w postaci zamkniętej uzyskanych w Części I, z oceną rozrzutu wyników, po przyjęciu k1 = 1 w rozwiązaniach odpowiadających LEA i QEA, a także wszystkich opcji w rozwiązaniach odpowiadających NEA. Do dalszych badań rekomendowano najbardziej wiarygodne rozwiązanie analityczne. Szczegółowej weryfikacji poddano rozwiązania uzyskane dla wybranych asymetrycznych przypadków obciążenia: momentem na lewej podporze i równomiernie rozłożonym obciążeniem w połowie długości nieusztywnionego, smukłego elementu ściskanego i zginanego. Ponadto w Części II zbadano, w jaki sposób kryterium wyboczeniowe, uzyskane dla elementu ściskanego i zginanego bez usztywnień poprzecznych i przeciwskrętnych między przekrojami końcowymi, może być zastosowane dla elementu z dyskretnymi stężeniami poprzecznymi. Zalecane rozwiązania analityczne zweryfikowano z wykorzystaniem wyników numerycznych metody elementów skończonych dla elementów stężonych w przekroju środkowym. Wariant analitycznej postaci rozwiązania zalecanego w zaprezentowanych badaniach może być wykorzystany w praktyce w eurokodowej Metodzie Ogólnej (GM).
Artykuł opracowany na podstawie rozprawy doktorskiej dr. Katarzyny Nalazek-Rudnickiej pt.: Advanced techniques of mass spectrometry for verification of the quality and authenticity of the food products nagrodzonej przez Komitet Chemii Analitycznej PAN w 2023 roku w konkursie na najlepsze prace doktorskie. Nagroda ufundowana przez firmę Anchem.
16
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
The present study examines the ability of the forecast (WRF) model to reproduce a heavy rainfall flash-flood event that hit the urban area of Skopje City, on August 6, 2016. A series of numerical experiments were carried out to evaluate the model’s performance in the simulation of this catastrophic event, which caused great material damage and the loss of 23 human lives. The simulations with the triple-nested WRF-ARW runs as well as the experiment using WRF-NMM dynamic core with the initial data of FNL GDAS showed better skills in a more precise qualitative and quantitative assessment of the total 24-h accumulated precipitation, the location and the relative intensities of rainfall. Explicit treatment of convection without parameterization significantly improves forecast accuracy and reduces forecast errors. The verification results, using standard tests, showed the model’s ability to reproduce the occurred flood. The correlation coefficient is higher for runs with explicit cumulus convection and 4 km resolution with the Yonsei PBL scheme and Thomson microphysics with aerosol climatology. In addition to the influence of the thermodynamic characteristics of the atmosphere, orographic forcing on the development of a strong mesosystem is of great importance for the intensification of convective cells and the production of large amounts of precipitation.
W pracy podjęto kwestię wyznaczania krzywizny osi toru kolejowego w celu stworzenia możliwości określenia charakterystyk geometrycznych pomierzonej trasy. Wykorzystano przy tym nową koncepcję wyznaczania krzywizny metodą zmiany kątów nachylenia ruchomej (wirtualnej) cięciwy, na podstawie znajomości współrzędnych kartezjańskich danego rejonu trasy. Weryfikacja zaproponowanej metody, przeprowadzona na jednoznacznie zdefiniowanych modelowych układach geometrycznych torów, wykazała całkowitą zgodność uzyskanych wykresów krzywizny z wykresami stanowiącymi podstawę uzyskania odpowiadającego rozwiązania geometrycznego. Zastosowanie metody ruchomej cięciwy do wyznaczania krzywizny eksploatowanego toru kolejowego wykazało, że uzyskane wykresy krzywizny różnią się wyraźnie od wykresów dla układów modelowych; mają one mniej regularny, oscylacyjny charakter, co wynika z występujących deformacji toru oraz błędu pomiarowego. Nie przeszkadza to jednak, żeby na takiej podstawie można było oszacować podstawowe parametry geometryczne pomierzonego układu.
EN
The paper adresses the issue of determining the curvature of the axis of the railway track in order to enable the determination of the geometrical characteristics of the measured route. A new concept of determining the curvature was used by the method of changing the angles of inclination of a moving (virtual) chord based on the knowlege of the Cartesian coordinates of a given region of the route. The verification of the proposed method, carried out on unambiguosly defined model geometric track layouts, showed the complete agreement of the obtained curvature diagrams with the diagrams constituting the basis for obtaining the corresponding geometric solution. The use of the moving chord method to determine the curvature of the operated railway track showed that the obtained curvature plots clearly differ from those for model layouts; they have a less regular, oscillating character, which results from the track deformation and measurement error. However, this does not prevent the possibility of estimating the basic geometrical parameters of the measured layout on this basis.
Various methods are used to obtain a superior palmprint recognition system. After selecting a palmprint image filter, using Gabor orientation scale pairs is an option to support the refinement of the verification process. Many researchers use the [8×5] pair for the value of the Gabor orientation scale in the field of palmprint recognition. However, from the experiments conducted, other Gabor pairs have more impact on system improvement. The problem is to get the most suitable value pairs for palmprint applications, so in this study, a comparison of seven kinds of Gabor pairs is carried out. This Gabor pair being compared applies using original images, PCA dimension reduction, and the Euclidean method. From the research that has been done, the pair of Gabor orientation scale [8×7] or image expansion of 56 will have the most significant impact compared to other pairs. Suppose the result of this Gabor pair is [8×7] by using other improvement systems, namely the 3W filter instead of the original image, KPCA to replace the PCA, and the cosine method in the matching method. In that case, it will increase the verification value by 99.611%. The trial value obtained can be an alternative method of choice for improving palmprint recognition.
A testbench is built to verify a functionality of a shift register IC (Integrated Circuit) from stuck-at-faults, stuck-at-1 as well as stuck-at-0. The testbench is supported by components, i.e., generator, interface, driver, monitor, scoreboard, environment, test, and testbench top. The IC consists of sequential logic circuits of D-type flip-flops. The faults may occur at interconnects between the circuits inside the IC. In order to examine the functionality from the faults, both the testbench and the IC are designed using SystemVerilog and simulated using Questasim simulator. Simulation results show the faults may be detected by the testbench. Moreover, the detected faults may be indicated by error statements in transcript results of the simulator.
20
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
Wykorzystanie modeli numerycznych sieci wodociągowych stało się już powszechną praktyką nie tylko w Polsce. Wykorzystywane są różne typy tych modeli, począwszy od szkieletowych, poprzez podstawowe i szczegółowe. W procesie wspomagania decyzji eksploatacyjnych każdy z tych typów ma swoje zastosowanie. Przykładowo do obliczeń optymalizacyjnych pracy pompowni sieciowych wykorzystuje się głównie modele szkieletowe. W powszechnej praktyce modele te odzwierciedlają jedynie strukturę geometryczną i średnice przewodów magistralnych oraz niektórych rozdzielczych. Takie podejście powoduje duże problemy w procesie kalibracji. Uzyskiwane wyniki symulacji różnią się znacząco od wartości mierzonych na sieci. Biorąc to pod uwagę, w artykule zaproponowano inne podejście, a mianowicie wykorzystanie modelu zastępczego, uzyskanego po procesie szkieletyzacji skalibrowanego modelu podstawowego (odwzorowującego wszystkie przewody magistralne, rozdzielcze i niektóre przyłącza). Proces szkieletyzacji przedstawiono na bazie wybranej rzeczywistej sieci wodociągowej. Prawidłowość wyników obliczeń symulacyjnych uzyskanych za pomocą modelu uproszczonego poddano ocenie poprzez ich porównanie z wynikami uzyskanymi z monitoringu obejmującego 65 punktów pomiaru ciśnienia oraz 47 punktów pomiaru natężenia przepływu. Ocenę zgodności wyników symulacji z wynikami pomiarów przeprowadzono z wykorzystaniem wytycznych AWWA. Przeprowadzone porównania wykazały dużą zgodność wyników obliczeń i pomiarów.
EN
The application of numerical models of water supply networks has become a common practice not only in Poland. The models may be characterized by several types of geometrical structure: skeletonized, basic and detailed. Each of these types has an individual application in the process of supporting operational decisions. For example, to successfully optimize and schedule the operation of pump stations, skeletonized models are highly recommended. Typically, skeletonized models reflect the geometrical structure and diameters only of transmission mains and selected distribution pipes. Such representation of the geometrical structure of the network may cause problems during the calibration process - simulated results may differ significantly from the measured values of tested parameters. Taking that into account, the paper presents a different approach for the creation of a skeletonized model: the use of a replacement model created through the simplification of a basic model. The model, representing all mains and distribution pipes and additionally most important service connections, was skeletonized to the schematic form. The skeletonization process was presented on the basis of a selected actual water supply network. The correctness of the simulation results obtained with the use of the simplified model was compared with the measured values from the monitoring system (65 pressure monitoring points and 47 flow rate measurement points). The compliance of the simulation results with the measurement results was assessed with the use of AWWA guidelines. The conducted comparison showed a high agreement of the results of calculations and measurements.
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ć.