Filters
total: 2273
filtered: 1949
-
Catalog
Chosen catalog filters
displaying 1000 best results Help
Search results for: zero-knowledge proof
-
On weak solutions of the boundary value problem within linear dilatational strain gradient elasticity for polyhedral Lipschitz domains
PublicationWe provide the proof of an existence and uniqueness theorem for weak solutions of the equilibrium problem in linear dilatational strain gradient elasticity for bodies occupying, in the reference configuration, Lipschitz domains with edges. The considered elastic model belongs to the class of so-called incomplete strain gradient continua whose potential energy density depends quadratically on linear strains and on the gradient of...
-
The role of investments in economic development
PublicationIn the modern world, one may observe diversification of economies of given countries. Many of them, considered to be less developed,are aspiring to diminish the gap between them and well developed countries, one of such countries is Poland, which is trying hard to boots its competitive position in the worldwide market and achieve the constant and well-balanced development. It can be attained by building knowledge economy. Therefore,...
-
Generowanie modeli symulacyjnych na potrzeby systemu ekspertowego wspomagającego projektowanie układów automatyki statku
PublicationOmówiono automatyczne generowanie modeli symulacyjnych na potrzeby systemu ekspertowego wspomagającego projektowanie układów automatyki statków. Na podstawie przyjętych założeń projektowych system ekspertowy zleca badania wybranych struktur podsystemów elektroenergetycznych statków. Aplikacja symulacyjna pobiera z biblioteki modele matematyczne elementów składowych struktur, a następnie zestawia modele symulacyjne, wykonuje badania...
-
BADANIA SYMULACYJNE PROWADZONE W ŚRODOWISKU SYSTEMU EKSPERTOWEGO STOSOWANE DO WSPOMAGANIA PROJEKTOWANIA UKŁADÓW AUTOMATYKI STATKU
PublicationW referacie przedstawiono wykorzystanie badań symulacyjnych jako źródła wiedzy dla systemu ekspertowego. Omawiany system służy wspomaganiu doboru elementów steru strumieniowego. Elementami tego systemu są: biblioteka struktur, biblioteka modeli, baza elementów oraz baza wiedzy. Jako przykład przedstawiono badania symulacyjne struktury steru strumieniowego zawierającej silnik indukcyjny, wał śrubowy, śrubę o skoku nastawnym oraz...
-
Experience-Based Cognition for Driving Behavioral Fingerprint Extraction
PublicationABSTRACT With the rapid progress of information technologies, cars have been made increasingly intelligent. This allows cars to act as cognitive agents, i.e., to acquire knowledge and understanding of the driving habits and behavioral characteristics of drivers (i.e., driving behavioral fingerprint) through experience. Such knowledge can be then reused to facilitate the interaction between a car and its driver, and to develop better and...
-
Usability Testing of Mobile Applications: A Methodological Framework
PublicationLess than five percent of all mobile applications have become successful throughout 2023. The success of a new mobile application depends on a variety of factors ranging from business understanding, customer value, and perceived quality of use. In this sense, the topic of usability testing of mobile applications is relevant from the point of view of user satisfaction and acceptance. However, the current knowledge seems to be fragmented,...
-
Catch an innovation
PublicationEnforcement of innovation is often seen as something imperceptible, something that one can't learn. This article is trying to approve that organizations can learn how to deploy innovations.The knowledge can be saved in such matter that it will be possible to reuse it later.
-
Requirements, modifications and methods of mechanical testing of bone cement – literature review
PublicationThe Aim of the paper is to show the basic requirements for the bone cement, its modifications in terms of physical, mechanical and biological properties and testing methods. This publication is intended to be a source of systematized basic knowledge regarding the modified bone cement.
-
Ontology-Aided Software Engineering
PublicationThis thesis is located between the fields of research on Artificial Intelligence (AI), Knowledge Representation and Reasoning (KRR), Computer-Aided Software Engineering (CASE) and Model Driven Engineering (MDE). The modern offspring of KRR - Description Logic (DL) [Baad03] is considered here as a formalization of the software engineering Methods & Tools. The bridge between the world of formal specification (governed by the mathematics)...
-
Atlas ryzyka na drogach krajowych w Polsce
PublicationEuropejski ''Program oceny ryzyka na drogach'' jest jedną z inicjatyw wspierających realizację ''wizji zero''. Program ma na celu przeprowadzenie badań ryzyka panującego na drogach krajów Unii Europejskiej, korzystając z jednolitej metodyki. Wyniki tych badań mają posłużyć do metodycznej oceny poziomu zagrożenia zdrowia i życia w ruchu drogowym. W chwili obecnej program ten realizuje ponad 30 krajów Europy, a kilka nastepnych zamierza...
-
Charakterystyka wyładowań niezupełnych w izolacji polietylenowej przy nakładaniu udarów łączeniowych na napięcie przemienne
PublicationPrzedstawione w referacie badania wyładowań niezupełnych (wnz) dotyczą dynamiki zmian prądu wnz w układzie ostrze - płyta uziemiona w polietylenie sieciowanym poddawanego oddziaływaniu przepięć łączeniowych biegunowości dodatniej lub ujemnej nakładanych w momencie przejścia napięcia przemiennego przez zero oraz przy kącie fazowym 90o. Analizę zmian wybranych parametrów wnz w funkcji czasu wzrostu drzewka elektrycznego przeprowadzono...
-
Corrosion degradation monitoring of ship stiffened plates using guided wave phase velocity and constrained convex optimization method
PublicationThe study presents an experimental investigation on the corrosion degradation level assessment using nondestructive wave-based methods. The degradation level of ship structural elements has been assessed in two different ways. The first one is based on the spectral decomposition and zero-crossing incorporated reconstruction of the dispersion curve approach of the antisymmetric Lamb wave mode and the best matching of the theoretical...
-
Displacement Sensors Based on the Phase of the Reflection Coefficient of a Split Ring Resonator Loaded Transmission Line
Publication— In this paper, novel displacement sensors using a microstrip loaded with a pair of split ring resonators (SRRs) are proposed. It is shown that the phase of the reflection coefficient from the loading SRRs can be used for displacement sensing. The paper also proposes a differential version of the sensor that benefits from a higher sensitivity and reference zero, which is useful for alignment purposes. It is further shown that...
-
EMI attenuation in a DC-DC buck converter using GaN HEMT
PublicationA dc-dc buck converter using gallium nitride (GaN) high electron mobility transistors (HEMT) is experimentally investigated at the discontinuous current mode (DCM) and at the triangular current mode (TCM) operation. The paper objective is to specify the power conversion efficiency and attenuation of common mode (CM) and differential mode (DM) noise voltage, measured at the line impedance stabilization network (LISN) for compared...
-
Dynamic Analysis of the Turnout Diverging Track for HSR with Variable Curvature Sections
PublicationThe paper presents an analytical method of identifying the curvature of the turnout diverging track consisting of sections of varying curvature. Both linear and nonlinear (polynomial) curvatures of the turnout diverging track are identified and evaluated in the paper. The presented method is a universal one, it enables to assume curvature values at the beginning and end point of the geometrical layout of the turnout. The results...
-
Modelowanie zmiennej krzywizny na długości toru zwrotnego rozjazdu
PublicationW pracy została przedstawiona analityczna metoda wyznaczania krzywizny toru zwrotnego rozjazdu kolejowego posiadającego na swojej długości odcinki zmiennej krzywizny. Taki rozjazd jest dedykowany w głównym stopniu kolejom dużych prędkości. Rozpatrzono dwa odrębne przypadki obejmujące liniowy przebieg krzywizny oraz przebieg nieliniowy, w postaci wielomianowej. Uzyskane rozwiązania problemu pozwalają na przyjmowanie dowolnych wartości...
-
A socially responsible university - an attempt to approach the system
PublicationIt is the author's thesis that social responsibility of university is an integrated system of both knowledge management (KM), quality management (QM) and organizational development (OD) processes. The author determined that the university "bond" is an institutional culture (IC). An integrated system is the way to create university an open system co-operated and co-opetited with stakeholders. The stakes are high in game - both students...
-
Dynamic Semantic Visual Information Management
PublicationDominant Internet search engines use keywords and therefore are not suited for exploration of new domains of knowledge, when the user does not know specific vocabulary. Browsing through articles in a large encyclopedia, each presenting a small fragment of knowledge, it is hard to map the whole domain, see relevant concepts and their relations. In Wikipedia for example some highly relevant articles are not linked with each other....
-
System of innovation: a sectoral approach
Publicationthe article presents a systems approach to innovation as an alternative method of assessing the sector innovativeness. in the article the building blocks of each sectoral system of innovations (ssi) such as a knowledge base, institutions and actors are discussed. moreover, the five models of ssi are presented.
-
Organisational culture and change management in courts, based on the examples of the Gdańsk area courts
PublicationABSTRAKT Background. Courts are by definition bureaucratic, hierarchical organisations, epitomised by low levels of networking potential, which basically lack mechanisms of information exchange, or those of sharing information both at the level of the organisation of the justice system (the macro scale) and within a given court (the micro scale). Research aims. The aims of this article was implementing modern management methods...
-
Developing Methods for Building Intelligent Systems of Information Resources Processing Using an Ontological Approach
PublicationThe problem of developing methods of information resource processing is investigated. A formal procedure description of processing text content is developed. A new ontological approach to the implementation of business processes is proposed. Consider that the aim of our work is to develop methods and tools for building intelligent systems of information resource processing, the core of knowledge bases of which are ontology’s, and...
-
A method of Functional Test interval selection with regards to Machinery and Economical aspects
PublicationThis paper discusses the problem of choosing the optimal frequency of functional test, including the reliability calculations and production efficiency, but also the effect of company risk management. The proof test as a part of the functional test interval is well described for the process industry. Unfortunately, this situation is not the case for the machinery safety functions with low demand mode. Afterwards, it is presented...
-
Preparation and Characterization of Microsphere ZnO ALD Coating Dedicated for the Fiber-Optic Refractive Index Sensor
PublicationWe report the fabrication of a novel fiber-optic sensor device, based on the use of a microsphere conformally coated with a thin layer of zinc oxide (ZnO) by atomic layer deposition (ALD), and its use as a refractive index sensor. The microsphere was prepared on the tip of a single-mode optical fiber, on which a conformal ZnO thin film of 200 nm was deposited using an ALD process based on diethyl zinc (DEZ) and water at 100 °C....
-
MOST Wiedzy jako narzędzie promocji potencjału naukowo-badawczego uczelni wyższej
PublicationRozwój Internetu wpłynął na wiele aspektów naszego życia. Pośród wielu z nich zrewolucjonizował sposób komunikacji. Pochodną tego jest zmiana sposobu przekazywania wszelkiego rodzaju wiedzy. Ogromne znaczenie mają przeszukiwane źródła wiedzy, ich jakość i dostępność. W związku z tym, w obecnych czasach, o potencjale naukowym uczelni wyższej stanowią, obok pracowników w nich zatrudnionych, przede wszystkim zgromadzone bazy wiedzy...
-
A simple test for quantum channel capacity
PublicationBased on state and channel isomorphism we point out that semidefiniteprogramming can be used as a quick test for nonzero one-way quantum channelcapacity. This can be achieved by searching for symmetric extensions of statesisomorphic to a given quantum channel. With this method we provide examplesof quantum channels that can lead to high entanglement transmission but stillhave zero one-way capacity, in particular, regions of symmetric...
-
Product Graph Invariants with Applications in the Theory of Information
PublicationThere are a large number of graph invariants. In the paper, we consider some of them, e.g. the independence and chromatic numbers. It is well know that we cannot efficiently calculate these numbers for arbitrary graphs. In the paper we present relations between these invariants and concepts from the theory of information. Concepts such as source coding and transmission over a noisy channel with zero probability of error are modeled...
-
Bandwidth-Controllable Third-Order Band Pass Filter Using Substrate Integrated Full- and Semi-Circular Cavities
PublicationThe article presents a novel circular substrate integrated waveguide (SIW) bandpass filter (BPF) with controllable bandwidth. The proposed BPF is configured using two microstrip feedlines, semi- circular SIW cavities, capacitive slots, and inductive vias. The circular cavity is bisected into two halves, with the two copies thereof being cascaded. Two bisected and cascaded structures obtained this way are subsequently connected...
-
Porównanie szybkości wnikania tlenu w reaktorze airlift z odwrotną warstwą fluidalną i pokrewnych kolumnowych reaktorach barbotażowych
PublicationBadano wpływ parametrów procesowych na szybkość wnikania tlenu w reaktorze airlift z cyrkulacją zewnętrzną i odwrotną warstwą fluidalną w strefie opadania. Stwierdzono, że sygnał wnikania tlenu w strefie opadania w początkowym okresie napowietrzania jest równy zero w określonym okresie czasu ściśle związanym z hydrodynamiką układu. Omówiono zależności między współczynnikami wnikania tlenu dla w/w reaktora airlift oraz zawiesinowego...
-
Low energy electron attachment to platinum(II) bromide (PtBr2)
PublicationtDissociative electron attachment to PtBr2in the gas phase was studied in the low electron energy rangefrom zero up to 10 eV with an energy resolution of 150 meV. The experiments were carried out using ahemispherical electron monochromator coupled with a quadrupole mass spectrometer and pulse count-ing acquisition system. The only anion observed was Br−. This ion is formed at three resonance electronenergies: 0.4 eV, 1.2 eV and...
-
Accurate design of pseudoelliptic inline SIW filters with frequency-dependent couplings
PublicationThis paper presents an accurate synthesis method for inline SIW (Substrate Integrated Waveguide) generalized Chebyshev bandpass filters with frequency-dependent couplings. The technique is based on the synthesis of a coupling matrix that takes into account the impedance of the frequency-dependent stub. Thus, a loading effect compensation in adjacent resonators (via resonant frequency adjustment) and coupling elements (via coupling-value...
-
Residual MobileNets
PublicationAs modern convolutional neural networks become increasingly deeper, they also become slower and require high computational resources beyond the capabilities of many mobile and embedded platforms. To address this challenge, much of the recent research has focused on reducing the model size and computational complexity. In this paper, we propose a novel residual depth-separable convolution block, which is an improvement of the basic...
-
On analytical solution of stationary two dimensional boundary problem of natural convection
PublicationApproximate analytical solution of two dimensional problem for sta- tionary Navier-Stokes, continuity and Fourier-Kirchho equations describ- ing free convective heat transfer from isothermal surface of half innite vertical plate is presented. The problem formulation is based on the typ- ical for natural convection assumptions: the uid noncompressibility and Boussinesq approximation. We also assume that orthogonal to the plate component...
-
Optimum shape of turnout diverging track with segments of variable curvature
PublicationIn the paper an attempt has been made to focus on shaping the variable curvature in the diverging track of the railway turnout. Basing on some earlier studies, solutions provided with a circular arc in the mid-zone, and in the extreme regions with segments of non-linear curvature of equal length and zero curvature at the start and end of the turnout, have been assumed as models. The most advantageous type of curvature has been...
-
Propagation of acoustic pulses in some fluids with yield stress
PublicationThis study is devoted to the derivation of approximate equations governing acoustic pulses in flows with yieldstress, including some time-dependent flows with a slow dependence on time of yield stress and apparent viscosity. Themodeling of yield stress and apparent viscosity in the vicinity of a zero deformation rate allows us to consider a thixotropicfluid as a Bingham plastic with coefficients that are dependent on time. The...
-
A convergence result for mountain pass periodic solutions of perturbed Hamiltonian systems
PublicationIn this work, we study second-order Hamiltonian systems under small perturbations. We assume that the main term of the system has a mountain pass structure, but do not suppose any condition on the perturbation. We prove the existence of a periodic solution. Moreover, we show that periodic solutions of perturbed systems converge to periodic solutions of the unperturbed systems if the perturbation tends to zero. The assumption on...
-
Superconductivity in the superhard boride WB4.2
PublicationWe show that the superhard boride WB4.2 is a superconductor with a Tc of 2.05(5) K. Temperature-dependent magnetic susceptibility, electrical resistivity, and specific heat measurements were used to characterize the superconducting transition. The Sommerfeld constant γ for WB4.2 is 2.07(3) mJ mol−1 K−2 and the ΔC/γTc=1.56, which is somewhat higher than what is expected for weakly coupled Bardeen–Cooper–Schrieffer type superconductors....
-
The performance of ETFs on developed and emerging markets with consideration of regional diversity
PublicationThis study evaluates the performance of Exchange-Traded Funds (ETFs) by using various tracking error calculation approaches. The aim of the paper is, on the one hand, an evaluation of the performance of ETFs relative to their benchmarking indexes and, on the other, an endeavour to specify any relationship between this performance and both geographical location and the degree of market development. The research was conducted on...
-
Magnetoacoustic Heating of Plasma Caused by Periodic MagnetosoundPerturbations with Discontinuities in a Quasi-Isentropic Magnetic Gas
PublicationThe magnetoacoustic heating of plasma by harmonic or periodic saw-tooth perturbations at a trans-ducer is theoretically studied. The planar fast and slow magnetosound waves are considered. The wavevector may form an arbitrary angleθwith the equilibrium straight magnetic field. In view of variableθand plasma-β, the description of magnetosound perturbations and appropriate magnetosound heatingis fairly difficult. The scenario of...
-
Optimisation of the Energy Consumption of a Small Passenger Ferry with Hybrid Propulsion
PublicationThe main goal in the design phase is to create a safe ship with a very efficient (and preferably zero-emission) propulsion system. To obtain such ships, new concepts are being developed for both propulsion systems and individual components. The choice of a propulsion system is not straightforward. To optimise the selection of the propulsion system, it is valuable to optimise the energy demand of this unit, which can be done by...
-
Simple stable discrete-time generalised predictive control with anticipated filtration of control error
PublicationPraca dotyczy uogólnionego sterowania predykcyjnego w czasie dyskretnym z antypacyjną filtracją błędu sterowania. Pokazano, iż przy spełnieniu pewnych warunków rozwiązanie problemu syntezy optymlanego regulatora predykcyjnego zawsze istnieje oraz prowadzi do stabilnego zamkniętego układu sterowania o określonych własnościach dynamicznych. W pracy rozważano także problem syntezy regulatora predykcyjnego dla modeli sterowania obiektów...
-
Smart Virtual Product Development (SVPD): Experience Based Product Development System for Industry 4.0
PublicationThis chapter presents the concept of smart virtual product development (SVPD) system capable of supporting industrial product development. It enhances the decision making process during various activities involved in product development i.e. product design, manufacturing, and inspection planning. This is achieved by using the explicit knowledge of past formal decision events, which are captured, stored, and recalled in the form...
-
Towards Experience-Based Smart Product Design for Industry 4.0
PublicationThis paper presents the concept of smart virtual product development (SVPD) system capable of supporting industrial product development process. It enhances the decision making process during different stages and activities involved in product development i.e. product design, manufacturing, and its inspection planning. The enhancement is achieved by using the explicit knowledge of formal past decision events, which are captured,...
-
Applying Decisional DNA to Internet of Things: The Concept and Initial Case Study
PublicationIn this article, we present a novel approach utilizing Decisional DNA to help the Internet of Things capture decisional events and reuse them for decision making in future operations. The Decisional DNA is a domain-independent, standard and flexible knowledge representation structure that allows its domains to acquire, store, and share experiential knowledge and formal decision events in an explicit way. We apply this approach...
-
Klaster, inicjatywa klastrowa, powiązanie kooperacyjne - rozróżnienie pojęć
PublicationCelem niniejszego artykułu jest przedstawienie i omówienie podstawowych terminów używa-nych w praktyce gospodarczej, związanych z koncepcją klastrów: "inicjatywy klastrowej" i "po-wiązania kooperacyjnego". Terminy powyższe wymagają - zdaniem autorów - ciągłych refleksji ze względu na nierzadkie, niewłaściwe ich stosowanie. Autorzy artykułu odwołują się do powyż-szych pojęć, przedstawiają ich definicje i starają się w precyzyjny,...
-
Delivering Usability in IT Products: Empirical Lessons from the Field
Publication -
The Use of an Ontotrigger for Designing the Ontology of a Model Maturity Capsule
PublicationThe aim of this work is to give the definition and present the possibility of applying (introduced and defined here) ontotriggers to design the ontology of a maturity capsule used in the assessment of IT projects. The complexity of designing ontology processes raises the question of whether there is a need for designing ontologies in a situation where it is possible to map them. The work is divided into four main parts. The first...
-
Hybrid Fuzzy-Ontological Project Framework of a Team Work Simulation System
PublicationThe aim of this article is to present the project framework for constructing a Software Process Simulation Modeling (SPSM) system. SPSM systems can be used as a virtual environment for the selection of methods and tools of project management in IT support organizations. The constructed system simulates the Scrum methodology, including the management processes and the project roles. For the implementation of Scrum processes, the...
-
Crowdsourcing-Based Evaluation of Automatic References Between WordNet and Wikipedia
PublicationThe paper presents an approach to build references (also called mappings) between WordNet and Wikipedia. We propose four algorithms used for automatic construction of the references. Then, based on an aggregation algorithm, we produce an initial set of mappings that has been evaluated in a cooperative way. For that purpose, we implement a system for the distribution of evaluation tasks, that have been solved by the user community....
-
Extendable Safety and Security Ontology
PublicationSecurity plays an increasingly important role in our everyday life, and research and users of computer systems point out that the need arises for a common, formalised model capable of integrating different solutions. In this paper we show that an ontology can be designed and created in a way that will make it suitable for interoperability and integration. A security and safety ontology and the methodology for creating a common...
-
Analytical and bioanalytical problems associated with the toxicity of elemental sulfur in the environment
PublicationWe summarize the state of knowledge on the toxicity and the bioavailability of elemental sulfur. We also present: analytical methods used to determine the elemental sulfur content of samples with complex matrices; and, problems and difficulties encountered while using biotests for samples containing elemental sulfur.