Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "verification system" wg kryterium: Temat


Tytuł:
Komputerowa weryfikacja układów cyfrowyh CMOS utworzonych z podukładów zasilanych ze źródeł o różnych wartościach napięcia
Computer verification of a cmos digital circuit created by subcircuits supplied by different voltages
Autorzy:
Szcześniak, W.
Kozieł, S.
Jendernalik, W.
Hasse, L.
Szcześniak, P.
Powiązania:
https://bibliotekanauki.pl/articles/267925.pdf
Data publikacji:
2007
Wydawca:
Politechnika Gdańska. Wydział Elektrotechniki i Automatyki
Tematy:
redukcja poboru mocy
weryfikacja układu
układy CMOS
reduction in power consumption
verification system
CMOS settings
Opis:
W pracy zaprezentowano wyniki komputerowej weryfikacji cyfrowego układu CMOS utworzonego z klastrów Cn-1, Cn-2, …, Ci, … C0, z których każdy jest zasilany odpowiednio malejącymi wartościami napięć Vddn-1 > Vddn-2 > … > Vddi > … > Vdd0 . Zbiór klastrów {Ci} został utworzony przy pomocy algorytmu ECA (Evolutionary Clustering Algorithm) dla potrzeb redukcji mocy pobieranej ze źródła zasilającego. Otrzymane rozwiązanie charakteryzujące się zmniejszeniem zapotrzebowania na moc zasilającą nie powoduje pogorszenia przepustowości zaprojektowanego systemu cyfrowego CMOS.
The paper presents results of a computer simulation of a CMOS digital circuit composed of Cn-1, Cn-2, …, Ci, … C0 clusters. The clusters are supplied with voltages Vddn-1 > Vddn-2 > … > Vddi > … > Vdd0, respectively. Set of clusters {Ci} was created with aid of ECA (Evolutionary Clustering Algorithm) for reduction of power dissipated. The obtained result enables for power reduction without deteriorating the throughput of the designed CMOS circuit, measured as system latency.
Źródło:
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej; 2007, 23; 105-108
1425-5766
2353-1290
Pojawia się w:
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Procedura weryfikacji metrologicznej potokowego, zautomatyzowanego systemu do kontroli przemysłowych wyrobów elektrycznych
The metrological verification procedure of automatic testing system for industrial electrical products
Autorzy:
Kern, J.
Machalica, P.
Powiązania:
https://bibliotekanauki.pl/articles/157432.pdf
Data publikacji:
2007
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
system pomiarowy
weryfikacja metrologiczna
measurement system
metrological verification
Opis:
Referat przedstawia rozwiązanie problemu weryfikacji funkcjonalnej i metrologicznej zautomatyzowanego systemu do testowania wyrobów elektrycznych, systemu o podwyższonych wymaganiach z zakresu wydajności i wiarygodności wyników oceny wyrobów. Procedura, opracowana w oparciu o analizę niezawodnościową i opracowany zbiór etalonów, modelujących parametry testowanych obiektów, integruje dwie techniki diagnostyczne - współbieżne, permanentne monitorowanie stanów połączeń przemieszczanych głowic pomiarowych; oraz -okresową diagnostykę, w postaci dwu różnych działań -weryfikacji funkcjonalnej oraz weryfikacji niepewności pomiarowych systemu.
The paper presents the solution of the functional and metrological verification of the automatic system, developed for testing electrical products. The system is characterized by high speed of testing and high level of classification quality. The procedure is developed on the basis of reliability analyses and a special set of etalons, designed for modelling the characteristic of the product under test. The verification procedure integrates two diagnostic methods – concurrent, permanent monitoring of the states of moving test head connectors, and periodic diagnostics – in a form of two different activities- functional verification and metrological verification.
Źródło:
Pomiary Automatyka Kontrola; 2007, R. 53, nr 9 bis, 9 bis; 368-371
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
System Design for Evenness Measurement of Raw Silk
Projekt systemu do pomiaru równomierności surowego jedwabiu
Autorzy:
Pan, Q.
Chen, M.
Hu, Y.
Zuo, B.
Powiązania:
https://bibliotekanauki.pl/articles/232659.pdf
Data publikacji:
2018
Wydawca:
Sieć Badawcza Łukasiewicz - Instytut Biopolimerów i Włókien Chemicznych
Tematy:
image vision
raw silk evenness
diameter extraction
variation coefficient
CV
system verification
analiza obrazu
jedwab surowy
równomierność jedwabiu
współczynnik zmienności
systemy kontroli
Opis:
The evenness of raw silk is one of its most valuable qualities. Seriplane inspection is a common test for raw silk evenness but is prone to human error and lacks accurate repeatability; the Uster evenness tester is another common approach but is costly and vulnerable to environmental factors. An image-based raw silk evenness detection system is proposed in this paper. The system is comprised of an image acquisition segment with a CCD image sensor, telecentric lens, light source, over feeding device, and raw silk winding device, plus an image processing segment tasked with threshold segmentation and morphology operations. Images of the raw silk are first captured with the image acquisition segment, then the images are processed by threshold segmentation and morphology processing; the diameters obtained in this segment are then used to calculate the variation coefficient (CV), which characterises the evenness of the raw silk. We conducted three experiments to test the stability, repeatability, and accuracy of the system. The results showed that the system proposed is stable, repeatable, and accurate.
Równomierność surowego jedwabiu jest jedną z jego najcenniejszych zalet. Dotychczas powszechnie stosowane systemy kontroli równomierności jedwabiu są podatne na błąd człowieka i nie mają dokładnej powtarzalności, są kosztowne i wrażliwe na czynniki środowiskowe. W artykule zaproponowano system oceny równomierności jedwabiu oparty na analizie obrazu. Zaproponowany system składa się z segmentu akwizycji obrazu z przetwornikiem obrazu CCD, soczewką telecentryczną, źródłem światła, urządzeniem nadawczym i urządzeniem do nawijania surowego jedwabiu oraz segmentu przetwarzania obrazu, którego zadaniem jest progowa segmentacja i operacje morfologiczne. Obrazy surowego jedwabiu są najpierw przechwytywane przez segment pozyskiwania obrazu, następnie obrazy są przetwarzane przez segmentację progową i przetwarzanie morfologiczne; średnice uzyskane w tym segmencie są następnie wykorzystywane do obliczenia współczynnika zmienności (CV), który charakteryzuje równomierność surowego jedwabiu. Analiza otrzymanych wyników pokazała, że zaproponowany system jest stabilny, powtarzalny i dokładny.
Źródło:
Fibres & Textiles in Eastern Europe; 2018, 1 (127); 21-24
1230-3666
2300-7354
Pojawia się w:
Fibres & Textiles in Eastern Europe
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
BPMN – a logical model and property analysis
Autorzy:
Ligęza, A.
Powiązania:
https://bibliotekanauki.pl/articles/375880.pdf
Data publikacji:
2011
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
Business Process Modeling Notation
BPMN
business rules
rule-based systems
eXtended Tabular Trees
XTT
XTT2
system verification
formal analysis
declarative model
Opis:
Business Process Modeling Notation has become a powerful and widely accepted visual language for modeling business processes. Despite its expressive power and high usability, a weak point of BPMN is the lack of formal semantics and difficulties with assuring correctness of the overall process. In this paper an attempt is made towards investigation and development of foundations for a logical, declarative model for BPMN. Such model should enable formal analysis of desired properties referring to correct operation of Business Processes modeled with use of BPMN.
Źródło:
Decision Making in Manufacturing and Services; 2011, 5, 1-2; 57-67
1896-8325
2300-7087
Pojawia się w:
Decision Making in Manufacturing and Services
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
An Integrated Approach towards Building a Simulation Model Supporting the Management of the Passenger Transportation System. Part 2 – Case Study.
Autorzy:
Gąbka, Joanna
Susz, Sławomir
Rosienkiewicz, Maria
Powiązania:
https://bibliotekanauki.pl/articles/503826.pdf
Data publikacji:
2016
Wydawca:
Międzynarodowa Wyższa Szkoła Logistyki i Transportu
Tematy:
decision supporting tool
transportation system
algorithm verification
simulation model
Opis:
This article presents a simulation model designated as an advising and forecasting tool for designing, redesigning and managing ground-based transportation systems. It considers both public and private transport means. It enables visualisation of the results of changes in the transportation network such as a new transportation mode, schedule adjustment, technology improvements on shuttle speed and other modifications that can influence the effectiveness of the transportation network. The simulation tool enables predictions of future passenger flow size for different means of transport. The simulation tool was developed after thorough analysis of interdependencies between variables in the transportation network model built upon an econometric model, artificial neural network and mathematical model. The simulation model was tested on the real data and determined to be very effective, useful and flexible in use. Successive phases of the model development proved that development of a reliable advising and forecasting tool requires a combination of different methods.
Źródło:
Logistics and Transport; 2016, 32, 4; 51-64
1734-2015
Pojawia się w:
Logistics and Transport
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Intelligent system for card game analysis and prediction
Autorzy:
Mazurkiewicz, J.
Powiązania:
https://bibliotekanauki.pl/articles/2068742.pdf
Data publikacji:
2018
Wydawca:
Uniwersytet Morski w Gdyni. Polskie Towarzystwo Bezpieczeństwa i Niezawodności
Tematy:
poker game
expert system
softcomputing
picture analysis
card game rules verification
Opis:
The paper presents a system which to make proper poker decision in situations provided by end user via image of the online poker table. The system provides feedback and reasoning behind decision made. The main goal is to minimize influences of errors and unwanted factors on each step so final decision could be accurate and useful in as many cases as possible. The idea is to use softcomputing technologies as neural networks for image recognition and expert system for decision making process. The system - able to parse poker table image - could be used by poker player for self-study on example on his/her own past in-game situations. Image is screenshot of the interface that is provided by online poker room to a player, so all information available to a player will also be available for further processing. The proposed solution can be an essential tool for the monitoring and verification of card game rules systems and to point the incorrect or illegal situations based on video data.
Źródło:
Journal of Polish Safety and Reliability Association; 2018, 9, 3; 47--54
2084-5316
Pojawia się w:
Journal of Polish Safety and Reliability Association
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Election Petitions in Poland: The Efficiency Analysis of the Institution
Autorzy:
Wojciechowska, Jagoda
Powiązania:
https://bibliotekanauki.pl/articles/594907.pdf
Data publikacji:
2018
Wydawca:
Wydawnictwo Adam Marszałek
Tematy:
election petition
election verification
elections
electoral system
voting
democracy
civil rights
Opis:
The article concerns the analysis of procedures connected with election petitions in Poland on the basis of the constituencies under the jurisdiction of the District Court in Toruń. It should be mentioned, however, that research is currently being conducted in other courts, which even at the preliminary stage appears to corroborate the results of the analysis presented in the article. The research focuses on the guarantees of the efficiency of the electoral petition in Poland. The election petition is the most important instrument which is available to verify the validity of elections. The Constitution does not regulate this matter, entrusting the legislator with this task. The possibility of submitting an election petition implements the principle of the external judicial review of the progress of an election or referendum, which can be initiated upon the request of a legal entity entitled to submit the petition. Considering the role of the petition proceedings as well as the values which remain protected within the procedure of settlement, the legislator should demonstrate the utmost care to increase their efficiency. However, the regulations concerning election petitions are scattered around the whole Electoral Code. Furthermore, for an election petition to be justified, there must be a cause-effect link between the law violation and the results of an election, with the burden of proof placed on the petitioner. The overall result is that in judicial practice only in few cases have grievances in election petitions been considered justified.
Źródło:
Polish Political Science Yearbook; 2018, 3 (47); 491-502
0208-7375
Pojawia się w:
Polish Political Science Yearbook
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
System akwizycji danych i model wzorca do weryfikacji dokładności rezystancyjnego systemu tomograficznego
Data Acquisition System and Reference Model Used for Investigation of Resistance Tomography System Verification Method
Autorzy:
Potyrański, P.
Dorozhovets, M.
Powiązania:
https://bibliotekanauki.pl/articles/155050.pdf
Data publikacji:
2006
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
system tomografii elektroimpedancyjnej
weryfikacja
wzorzec
źródła błędów
electroimpedance tomography system
verification
reference model
error sources
Opis:
W artykule przedstawiono praktyczne rozwiązanie i wyniki badań systemu akwizycji danych i metody metrologicznej weryfikacji dokładności rezystancyjnego systemu tomograficznego. Metoda weryfikacji oparta jest na zastosowaniu wzorca (symulującego rozkład rezystywności) złożonego z sieci elementów dyskretnych - rezystorów i kondensatorów. Proponowana metoda pozwala na weryfikację dokładności, selektywną lub sumaryczną, elementów systemu tomograficznego.
In this paper the accuracy verification technique and the data acquisition system are proposed and investigated. The verification method is based on the reference model of conductivity distribution. The reference model is constructed as a network of the discrete resistors and capacitors. Proposed technique permits to verify (jointly or separately) the data acquisition system, reconstruction algorithm and approximation effects. The reference network parameters and the stages of the verification are described.
Źródło:
Pomiary Automatyka Kontrola; 2006, R. 52, nr 12, 12; 26-29
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Model badawczy elektroimpedancyjnego tomografu komputerowego
Researching model of computer electroimpedance tomography system
Autorzy:
Potyrański, P.
Dorozhovets, M.
Powiązania:
https://bibliotekanauki.pl/articles/158009.pdf
Data publikacji:
2007
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
system tomografii elektroimpedancyjnej
pomiar
weryfikacja
szacowanie niepewności
method electroimpedance tomography system
measurement
verification
uncertainty estimation
Opis:
W artykule przedstawiono laboratoryjne rozwiązanie badawczego modelu elektroimpedancyjnego tomografu komputerowego. System opracowano dla badania właściwości nowej metody weryfikacji dokładności systemów tomografii elektroimpedancyjnej. Zaprezentowano założenia i budowę systemu oraz sposób szacowania jego dokładności.
In this paper the laboratory application of computer electroimpedance tomography systems researching model are presented. The system is elaborated for new accuracy verification method of electroimpedance tomography systems properties investigation. The system assumptions and construction and its accuracy estimating way are described.
Źródło:
Pomiary Automatyka Kontrola; 2007, R. 53, nr 12, 12; 55-57
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Nadzór nad sprzętem pomiarowo-kontrolnym - unormowania i przepisy prawne
Supervising of measuring-control equipment
Autorzy:
Jarysz-Kamińska, E.
Powiązania:
https://bibliotekanauki.pl/articles/327906.pdf
Data publikacji:
2006
Wydawca:
Polska Akademia Nauk. Polskie Towarzystwo Diagnostyki Technicznej PAN
Tematy:
system zarządzania jakością
legalizacja
wzorcowanie
niepewność pomiaru
quality management system
legalization
verification
ucertainity of measurement
Opis:
W artykule przedstawiono przepisy obligatoryjne i unormowania fakultatywne prawa polskiego oraz wymagania międzynarodowe dotyczące nadzoru nad sprzętem pomiarowo-kontrolnym, stosowane w celu zapewnienia prawidłowego przebiegu procesów produkcyjnych i możliwości zapewnienia wiarygodności pomiarów. Omówiono także korzyści dla przedsiębiorstw wynikające z uwzględnienia przepisów obligatoryjnych.
This paper presents obligatory regulations and uncompulsory adjustment of polish law and also international claims (demands) concerning supervising of measuring-control equipment, use to providing good course of productive process and ability to provide reliable measurements. It also shows benefits which firms may get by subjecting to uncompulsory regulations.
Źródło:
Diagnostyka; 2006, 2(38); 129-134
1641-6414
2449-5220
Pojawia się w:
Diagnostyka
Dostawca treści:
Biblioteka Nauki
Artykuł

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies