Filtry
wszystkich: 1606
-
Katalog
- Publikacje 1393 wyników po odfiltrowaniu
- Czasopisma 8 wyników po odfiltrowaniu
- Konferencje 12 wyników po odfiltrowaniu
- Wydawnictwa 1 wyników po odfiltrowaniu
- Osoby 25 wyników po odfiltrowaniu
- Projekty 3 wyników po odfiltrowaniu
- Kursy Online 22 wyników po odfiltrowaniu
- Wydarzenia 2 wyników po odfiltrowaniu
- Dane Badawcze 140 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: certification schemes
-
Identity verification based on mouse movements
PublikacjaW pracy przedstawiono ideę systemu zabezpieczeń biometrycznych opartego na sposobie poruszania myszą. Pomiary odczytywane z myszy są przykładem cech behawioralnych, które w przeciwieństwie do fizjologicznych są bardzo niestabilne. Opisano zbiór cech, które można wydobyć z danych pochodzących z myszy. Przeprowadzono eksperymenty dla danych zebranych od trzynastu użytkowników. Zaprezentowano wyniki uwierzytelniania za pomocą metody...
-
Experimental certification of an informationally complete quantum measurement in a device-independent protocol
PublikacjaMinimal informationally complete positive operator-valued measures (MIC-POVMs) are special kinds of measurement in quantum theory in which the statistics of their d2-outcomes are enough to reconstruct any d-dimensional quantum state. For this reason, MIC-POVMs are referred to as standard measurements for quantum information.Here, we report an experiment with entangled photon pairs that certifies, for what we believe is the first...
-
Certification of vehicles used for tire/road noise evaluation by CPX method
PublikacjaJednym ze sposobów oceny hałasu opon i nawierzchni drogowych jest metda CPX polegająca na pomiarze hałasu w polu bliskim miejsca współpracy opony z nawierzchnią. Aby uzyskać wysoką dokładność pomiarów niezbędne jest ustanowienie procedur ustanowienie procedur certyfikacyjnych sprzętu pomiarowego a więc głównie pojazdu badawczego. Praca dotyczy procedur certyfikacyjnych wypracowanych przez Grupę Roboczą WG33 ISO/TC43/SC1 oraz w...
-
Certification requirements for tram noise measurements in terms of today’s expectations in cities
Publikacja -
CERTIFICATION SYSTEM AS A TOOL FOR IMPROVING THE SAFETY AND SUSTAINABILITY OF SCHOOL-RELATED TRAVELS
PublikacjaDespite the well-established physical, social, emotional, cognitive, and spatial benefits of active and autonomous school commuting of children and adolescents', many are driven by car. Pilot surveys and field research held in 2019 in 10 Gdansk primary schools confirmed this trend. The article presents a certification system for schools, commissioned by the City of Gdańsk, which is an element of a systemic solution shaping patterns...
-
Implicit versus explicit finite volume schemes for extreme, free surface water flow modelling.
PublikacjaPrzedstawiono jeden jawny i trzy niejawne schematy metody objętości skończonych. Porównano własności tych schematów oraz oceniono możliwości ich stosowania do modelowania gwałtownych przepływów w kanałach otwartych. Zaproponowano modyfikację schematu niejawnego. Poprawiony schemat może być stosowany do obliczeń przepływu szybkozmiennego w kanałach otwartych i w sieciach kanalizacyjnych.
-
Evolutionary sets of safe ship trajectories with speed reduction manoeuvres within traffic separation schemes
PublikacjaIn the previous paper the author presented the evolutionary ship trajectory planning method designed to support Traffic Separation Schemes (TSS). This time the extensions of this method are described which allow to combine evolutionary trajectory planning with speed reduction manoeuvres. On TSS regions with higher than usual density of traffic and smaller distances between ships, the course alterations alone are not always sufficient...
-
Wage determination, Global Value Chains and role played by wage bargaining schemes: The case of Poland
PublikacjaThis study examines the linkages between GVC involvement and wages in Poland given different wage bargaining schemes. The analysis is based on microdata from the European Structure of Earnings Survey for Poland combined with sectoral data from the World Input-Output Database. In particular, two measures of GVC involvement were used: the share of foreign value added (FVA) to export and the measure of traditional offshoring. The...
-
Modeling and MANOVA studies on toxicity and endocrine potential of packaging materials exposed to different extraction schemes
PublikacjaThe stability of the linings of packaging that is in contact with the goods stored has been of major concern during decades of the development of packaging materials. In this work, an attempt was undertaken to assess the applicability of using two bioassays (Microtox® and XenoScreen YES/YAS) in estimating the stability of packaging (cans, caps, multilayer material) and the impact of their degradation on the toxicity of some simulated media....
-
Design. Metodology outline and practice
PublikacjaNa tle - uznawanego za typowy - schematu prac składających się na proces projektowania, pokazano przykładowe tworzenie inicjatywy sprawczej oraz rozwój koncepcji dotyczących sformułowania konkretnego zadania projektowego w dziedzinie budowy maszyn.Temat dotyczył obszaru projektowania turbin wodnych.The origin of project initiative, as well as concept development related to formulating a specific design goal, are presented in the...
-
The optimized Rayleigh–Ritz scheme for determining the quantum-mechanical spectrum
Publikacja -
Comments on ''an SVD-based watermarking scheme for protecting rightful ownership''
PublikacjaW pracy wykazano, że algorytm zaproponowany w komentowanym artykule nie ma wartości praktycznej, gdyż charakteryzuje się bardzo dużym prawdopodobieństwem fałszywej akceptacji.
-
On convergence and stability of a numerical scheme of Coupled Nonlinear Schrödinger Equations
PublikacjaRozważamy rozwiązania numeryczne układu sprężynowych równań nieliniowych Schrödingera. Udowodniliśmy stabilność i zbieżność. Testujemy za pomocą rozwiązań solitonowych.
-
An improved frequency estimator for an adaptive active noise control scheme
PublikacjaAn improved frequency tracker is proposed for the recently introduced self optimizing narrowband interference canceller (SONIC). The scheme is designed for disturbances with quasi-linear frequency modulation and, under second-order Gaussian random-walk assumption, can be shown to be statistically efficient. One real-world experiment and several simulations show that a considerable improvement in disturbance rejection may be achieved...
-
Digital fingerprinting for color images based on the quaternion encryption scheme
PublikacjaIn this paper we present a new quaternion-based encryption technique for color images. In the proposed encryption method, images are written as quaternions and are rotated in a three-dimensional space around another quaternion, which is an encryption key. The encryption process uses the cipher block chaining (CBC) mode. Further, this paper shows that our encryption algorithm enables digital fingerprinting as an additional feature....
-
A distributed scheme for optimization of interdomain routing between collaborating domains
Publikacja -
Verification of baffle factor for straight pipe flow
PublikacjaDuring the water disinfection devices designing, it is often assumed that the baffle factor for a straight pipe reactors is equal to one. It would be possible only for the plug flow, which is a simplified model of the flow and does not appear in real situations. The paper contains an equation which enables calculation of the real value of the baffle factor for the pipe flow.
-
Acoustic verification on onomatopoeic sets in contrastive approach
Publikacja -
Acoustic verification on onomatopoeic sets in contrastive approach
Publikacja -
Spectroscopic verification of ionic matrices for MALDI analysis
Publikacja -
Verification of the fit to user profiles for UML tools
PublikacjaDopasowanie do profilu użytkownika ma wpływ na efektywność pracy użytkownika. W referacie postawiono pytanie, czy narzędzia UML rzeczywiście wspomagają pracę konkretnych ról w procesie wytwarzania oprogramowania. W ramach prac wykonano następujace zadania: opisano profile użytkowników narzędzi UML; wyodrębniono cechy narzędzi UML, które mają wpływ na dopasowanie do profili użytkowników; zaprojektowano model pokazujący związek pomiędzy...
-
program verification strategy and edge ranking of graphs
PublikacjaW artykule rozważamy model, w którym zakładamy, że dany jest zbiór asercji/testów dla pewnych bloków programu. Celem jest znalezienie optymalnej, tzn. wymagającej wykonania minimalnej liczby testów strategii wyszukiwania błędu w kodzie programu. Pomimo założenia w modelu, iż program posiada dokładnie jeden błąd, rozważania można uogólnić na testowanie kodu z dowolną liczbą błędów. Analizujemy teoretyczne własności tego modelu oraz...
-
Accoustic verification of onomatopoeic sets in contrastive approach
PublikacjaPraca relacjonuje efekty prób wykorzystania technik cyfrowego przetwarzania sygnału mowy dla zaspokojenia specyficznych potrzeb nauk humanistycznych, które, ograniczając się wyłącznie do tra-dycyjnie stosowanego warsztatu badawczego, napotykają współcześnie na bariery znacznie blokują-ce oczekiwany postęp. Omówiono proces badawczy, który służyć ma językoznawcom dokonującym porównań wyrażeń dźwiękonaśladowczych odnajdywanych w odmiennych...
-
Verification of agent system for it project management support
PublikacjaThis article is a continuation of article series telling about research about possibility of using agent system to information technology evaluation. Following article presents full conception of exploiting agent system and shows how it can support some managers works, especially in taking correct management method and information tool for project management. In this article the agent system that based on knowledge and can process...
-
A method of verification diagnostics for functional safety analysis
PublikacjaProblemy analizy bezpieczeństwa zostały zapoczątkowane w lotnictwie i energetyce jądrowej, a obecnie wprowadzane są szeroko do różnych gałęzi przemysłu, jak przemysł chemiczny, mechaniczny, etrochemiczny, spożywczy, itp. W analizie bezpieczeństwa funkcjonalnego względem przyjętego poziomu SIL wyznacza się prawdopodobieństwa nie wypełnienia określonej funkcji na żądanie (PDF). Do tego celu stosuje się różne metody analityczne, wykorzystuje...
-
Development and Verification of the Diagnostic Model of the Sieving Screen
Publikacja -
Testbed for development and verification of hybrid localization systems
PublikacjaIn this paper a testbed for development and verification of hybrid localization systems is presented. It allows for systematic analysis of hybrid localization methods and speed up the development of new schemes. The proposed testbed platform is composed of subsystem for sequential data collection and testing infrastructure that can be used for investigating the localization mechanisms in controllable environment.
-
Integrity level verification for safety-related functions
PublikacjaThis article describes methods for safety integrity level (SIL) verification of safety-related functions with regard to probabilistic criteria given international standards IEC 61508 and IEC 61511. These functions are to be realized using the electrical, electronic and programmable electronic (E/E/PE) systems or safety instrumented systems (SIS). Some methods are proposed for quantitative probabilistic modelling taking into account...
-
A handwritten signature verification method employing a tablet
PublikacjaA signature verification system based on static features and time-domain functions of signals obtained using a tablet has been presented in the paper. The signature verification method, based mainly on dynamic time warping coupled with some signature image features, has been described. The FRR measures reflecting the method's efficiency have been evaluated for verification attempts performed directly after obtaining model signatures...
-
Verification and Benchmarking in MPA Coprocessor Design Process
PublikacjaThis paper presents verification and benchmarking required for the development of a coprocessor digital circuit for integer multiple-precision arithmetic (MPA). Its code is developed, with the use of very high speed integrated circuit hardware description language (VHDL), as an intellectual property core. Therefore, it can be used by a final user within their own computing system based on field-programmable gate arrays (FPGAs)....
-
Elgold intermediate: verified by verification team
Dane BadawczeThe dataset contains the texts from Elgold intermediate: annotated raw additionaly verified by the five-person verification team. arly 25% of the mentions were corrected in some aspect.
-
Influence of traffic schemes on the level of vessels safety / WPŁYW TYPU SKRZYŻOWANIA NA POZIOM BEZPIECZEŃSTWA STATKÓW
Publikacja -
Explicit difference schemes for nonlinear differential functional parabolic equations with time dependent coefficients - convergence analysis
PublikacjaW pracy wykazano zbieżność metody różnicowej dla zagadnienia początkowego dla równania parabolicznego bez pochodnych mieszanych, ze współczynnikami zależnymi od czasu, z nieliniową i nielokalną prawą stroną równania.
-
Impact Assessment of Electric Vehicles Integration and Optimal Charging Schemes Under Uncertainty: A Case Study of Qatar
PublikacjaThe integration of electric vehicles (EVs) is rapidly growing compared to conventional vehicles in Qatar. To assess how these electric vehicles will impact Qatar’s distribution network, it is necessary to accurately model EV loads. However, EV loads exhibit uncertainties due to driving behaviour in charging time, state of charge (SOC), number of trips, and distance travelled. This necessitates the development of a probabilistic...
-
Lax-Wendroff and McCormack Schemes for Numerical Simulation of Unsteady Gradually and Rapidly Varied Open Channel Flow
PublikacjaTwo explicit schemes of the finite difference method are presented and analyzed in the paper. The applicability of the Lax-Wendroff and McCormack schemes for modeling unsteady rapidly and gradually varied open channel flow is investigated. For simulation of the transcritical flow the original and improved McCormack scheme is used. The schemes are used for numerical solution of one dimensional Saint-Venant equations describing free...
-
Elimination of impulsive disturbances from archive audio files – comparison of three noise pulse detection schemes
PublikacjaThe problem of elimination of impulsive disturbances (such as clicks, pops, ticks, crackles, and record scratches) from archive audio recordings is considered and solved using autoregressive modeling. Three classical noise pulse detection schemes are examined and compared: the approach based on open-loop multi-step-ahead signal prediction, the approach based on decision-feedback signal prediction, and the double threshold approach,...
-
Schemes of transmission of classical information via quantum channels with many senders: Discrete- and continuous-variable cases
PublikacjaSuperadditivity effects in the classical capacity of discrete multiaccess channels and continuous variable (CV) Gaussian MACs are analyzed. Several examples of the manifestation of superadditivity in the discrete case are provided, including, in particular, a channel which is fully symmetric with respect to all senders. Furthermore, we consider a class of channels for which input entanglement across more than two copies of the...
-
Schema mining in XML documents.
PublikacjaW artykule przedstawiono algorytm COBWEB S+T służący do wywodzenia schematów z kolekcji dokumentów XML. Algorytm wykorzystuje model danych semistrukturalnych oraz alorytm COBWEB służący do grupowania koncepcyjnego. W artykule zaprezentowano również wyniki testów działania algorytmu.
-
Performance of Coherent Modulation Scheme Used in Acoustic Underwater Communication System
PublikacjaThe development of an acoustic underwater communication system for shallow waters is still a big scientificand construction challenge. Currently, non-coherent modulations in combination with strong channel coding are used to achieve reliable communication with low rate in such a channel. To obtain transmission with a higher transmission rate, it is required to use coherent modulation. This paper presents the assumptions of such...
-
General scheme for construction of scalar separability criteria from positive maps
PublikacjaStandardowe nierówności entropijne są znanym narzędziem do detekcji splątania dwupodukładowych stanów kwantowych. W pracy podano metodę wyprowadzania nierówności przypominających standardowe nierówności entropijne z dowolnych odwzorowań dodatnich. Ponadto, przebadano nierówności w przypadku kilku znanych z literatury odwzorowań dodatnich.
-
Towards modelling of the environmental fate of pharmaceuticals using the QSPR-MM scheme
Publikacja -
Phase compensation scheme for feedforward linearised CMOS operational transconductance amplifier.
PublikacjaW pracy opisano technikę kompensacji charakterystyk fazowych linearyzowanego metodą feedforward operacyjnego wzmacniacza transkonduktancyjnego CMOS. Wykazano, że proponowana koncepcja układowa prowadzi do znacznej poprawy liniowości charakterystyki przejściowej wzmacniacza oraz do rozszerzenia zakresu liniowości prądu wyjściowego. Ponadto w pracy przeprowadzono analizę charakterystyk częstotliwościowych, w wyniku której otrzymano...
-
A Simplified SPWM Scheme for a Compact 3-Level Dual-Output Inverter
PublikacjaSinusoidal Pulse-width modulation, SPWM, is inverter-leg-based, logical-operation-based, and lesscomputational-intensive. In this brief, these simplifying features of SPWM are extended to the control of the 10-switch, 3-level inverter. The control strategy is based on the single triangular carrier SPWM perspective. Procedures and details of the sharing of four-common power switches by the 3 inverter legs are given. Classically,...
-
Simultaneous handover scheme for IEEE 802.11 WLANs with IEEE 802.21 tiggers
PublikacjaHandover performance in wireless networks is important, especially nowadays, when multimedia services are becoming increasingly available over the wireless devices. However, users expect uncompromised mobility when using the service. Thus, the support of multimedia services is not possible if handover is inefficient. At the same time it is clear that a strict separation between IP Layer and the Link Layer results in built-in sources...
-
An approximative scheme of finding almost homoclinic solutions for a class of Newtonian systems
PublikacjaW niniejszej pracy badamy istnienie rozwiązań prawie homoklinicznych (ang. almost homoclinic solutions) dla pewnej klasy układów Newtona. Rozwiązanie prawie homokliniczne otrzymujemy jako granicę ciągu rozwiązań okresowych dla pewnego ciągu równań różniczkowych.
-
A note on an approximative scheme of finding almost homoclinic solutions for Newtonian systems
PublikacjaIn this work we will be concerned with the existence of an almost homoclinic solution for a perturbed Newtonian system in a finite dimensional space. It is assumed that a potential is C^1 smooth and its gradient is bounded with respect to a time variable. Moreover, a forcing term is continuous, bounded and squere integrable. We will show that the appproximative scheme due to J. Janczewska for a time periodic potential extends to...
-
Reliable routing and resource allocation scheme for hybrid RF/FSO networks
PublikacjaSignificant success of wireless networks in the last decade has changed the paradigms of communication networks design. In particular, the growing interest in wireless mesh networks (WMNs) is observed. WMNs offer an attractive alternative to conventional cable infrastructures, especially in urban areas, where the cost of new installations is almost prohibitive. Unfortunately, the performance of WMNs is often limited by the cluttered...
-
Digital Fingerprinting Based on Quaternion Encryption Scheme for Gray-Tone Images
PublikacjaIn this paper a new idea of digital images fingerprinting is proposed. The method is based on quaternion encryption in the Cipher Block Chaining (CBC) mode. Quaternion sare hyper-complex numbers of rank 4 and thus often applied to mechanics in three-dimensional space. The encryption algorithm described in the paper is designed for gray-tone images but can easily be adopted for color ones. For the encryption purpose, the algorithm...
-
A Multi-Antenna Scheme for Early Detection and Mitigation of Intermediate GNSS Spoofing
PublikacjaThis article presents a method for detecting and mitigating intermediate GNSS spoofing. In this type of attack, at its early stage, a spoofer transmits counterfeit signals which have slight time offsets compared to true signals arriving from satellites. The anti-spoofing method proposed in this article fuses antenna array processing techniques with a multipath detection algorithm. The latter is necessary to separate highly correlated...
-
Biodegradable polymers for food packaging - factors influencing their degradation and certification types - a comprehensive review
PublikacjaIn the paper an overview of novel biodegradable polymers for food packaging can be found. The aim was to present factors influencing polymer degradation and biodegradation in various environments. It was noted that biodegradable polymers are imperfect alternative for classical polymers and its decomposition strongly depends on degradation environment.