Filters
total: 2241
displaying 1000 best results Help
Search results for: zero-knowledge proof
-
A novel version of simulated annealing based on linguistic patterns for solving facility layout problems
Publication -
Towards a Universal Model of Engineering Change Management
PublicationThe paper deals with the issue of engineering change management (ECM). ECM has received much less attention in the literature than general change management. Moreover, due to their specifics (complexity and multifaceted nature), hitherto developed ECM models are difficult to implement in companies. The paper aims to develop a simplified, universal, and hence easily applicable model of ECM. We based our assumptions on a case study...
-
On Memory-Based Precise Calibration of Cost-Efficient NO2 Sensor Using Artificial Intelligence and Global Response Correction
PublicationNitrogen dioxide (NO2) is a prevalent air pollutant, particularly abundant in densely populated urban regions. Given its harmful impact on health and the environment, precise real-time monitoring of NO2 concentration is crucial, particularly for devising and executing risk mitigation strategies. However, achieving precise measurements of NO2 is challenging due to the need for expensive and cumbersome equipment. This has spurred...
-
Dimensionality-Reduced Antenna Modeling with Stochastically Established Constrained Domain
PublicationOver the recent years, surrogate modeling methods have become increasingly widespread in the design of contemporary antenna systems. On the one hand, it is associated with a growing awareness of numerical optimization, instrumental in achieving high-performance structures. On the other hand, considerable computational expenses incurred by massive full-wave electromagnetic (EM) analyses, routinely employed as a major design tool,...
-
How can systems thinking help us in the COVID‐19 crisis?
PublicationThe COVID-19 pandemic outbreak remains one of the most influential events in the global economy over the recent years. While being primarily public health related, it has a tremendous impact on many other aspects, including business management. Many businesses were forced to introduce rapid changes to their business models in order to survive. The aim of this paper is to show the complexity and interrelations of changes triggered...
-
A new multi-process collaborative architecture for time series classification
PublicationTime series classification (TSC) is the problem of categorizing time series data by using machine learning techniques. Its applications vary from cybersecurity and health care to remote sensing and human activity recognition. In this paper, we propose a novel multi-process collaborative architecture for TSC. The propositioned method amalgamates multi-head convolutional neural networks and capsule mechanism. In addition to the discovery...
-
Efficient Calibration of Cost-Efficient Particulate Matter Sensors Using Machine Learning and Time-Series Alignment
PublicationAtmospheric particulate matter (PM) poses a significant threat to human health, infiltrating the lungs and brain and leading to severe issues such as heart and lung diseases, cancer, and premature death. The main sources of PM pollution are vehicular and industrial emissions, construction and agricultural activities, and natural phenomena such as wildfires. Research underscores the absence of a safe threshold for particulate exposure,...
-
Standing Acoustic Waves and Relative Nonlinear Phenomena in a Vibrationally Relaxing Gas-Filled Resonator
PublicationStanding acoustic waves in one-dimensional resonator filled with vibrationally relaxing gas, are studied. Two regimes of excitation of molecular vibrational degrees of freedom are considered, equilibrium and nonequilibrium. The acoustic energy enlarges with time in the non-equilibrium regime and decreases otherwise before formation of discontinuity. After that, it decreases due to nonlinear absorption and tends to zero in equilibrium...
-
Experience Based Decisional DNA (DDNA) to Support Sustainable Product Design
PublicationThis paper presents the idea of providing engineering design knowledge to designers working on sustainable product design and development process. The new product development process often requires significant amount of design knowledge which can be saved and recalled by designers during the design process. This knowledge is very important for successful sustainable product development as it can include material selection, product...
-
Reconfiguring Minimum Dominating Sets in Trees
PublicationWe provide tight bounds on the diameter of γ-graphs, which are reconfiguration graphs of the minimum dominating sets of a graph G. In particular, we prove that for any tree T of order n ≥ 3, the diameter of its γ-graph is at most n/2 in the single vertex replacement adjacency model, whereas in the slide adjacency model, it is at most 2(n − 1)/3. Our proof is constructive, leading to a simple linear-time algorithm for determining...
-
CMOS realisation of analogue processor for early vision processing
PublicationThe architecture concept of a high-speed low-power analogue vision chip, which performs low-level real-time image algorithms ispresented. The proof-of-concept prototype vision chip containing 32 × 32 photosensor array and 32 analogue processors is fabricated usinga 0.35 μm CMOS technology. The prototype can be configured to register and process images with very high speed, reaching 2000 framesper second, or achieve very low power...
-
Method of lines for nonlinear first order partial functional differential equations.
PublicationClassical solutions of initial problems for nonlinear functional differential equations of Hamilton--Jacobi type are approximated by solutions of associated differential difference systems. A method of quasilinearization is adopted. Sufficient conditions for the convergence of the method of lines and error estimates for approximate solutions are given. Nonlinear estimates of the Perron type with respect to functional variables...
-
Method of lines for Hamilton-Jacobi functional differential equations.
PublicationInitial boundary value problems for nonlinear first order partial functional differential equations are transformed by discretization in space variables into systems of ordinary functional differential equations. A method of quasi linearization is adopted. Suffcient conditions for the convergence of the method of lines and error estimates for approximate solutions are presented. The proof of the stability of the diffrential difference...
-
NO-BROADCASTING OF NON-SIGNALLING BOXES VIA OPERATIONS WHICH TRANSFORM LOCAL BOXES INTO LOCAL ONES
PublicationWe deal with families of probability distributions satisfying non-signalling condition, called non-signalling boxes and consider a class of operations that transform local boxes into local ones (the one that admit LHV model). We prove that any operation from this class cannot broadcast a bipartite non-local box with 2 binary inputs and outputs. We consider a function called anti-Robustness which can not decrease under these operations....
-
ACM International Conference on Information and Knowledge Management
Conferences -
Australasian Workshop on Health Data and Knowledge Management
Conferences -
International Conference on Intelligent Systems and Knowledge Engineering
Conferences -
International Conference on Knowledge Science, Engineering and Management
Conferences -
International Conference on Software Engineering and Knowledge Engineering
Conferences -
International Conference on Knowledge Discovery and Data Mining
Conferences -
International Conference on Fuzzy Systems and Knowledge Discovery
Conferences -
International Conference on the Principles of Knowledge Representation and Reasoning
Conferences -
International Conference on Knowledge Engineering and Ontology Development
Conferences -
Quantumness in Diagnostics of Marine Internal Combustion Engines and Other Ship Power Plant Machines
PublicationThe article provides proof that the diagnostics of marine internal combustion engines and other ship power plant machines should take into account the randomness and unpredictability of certain events, such as wear, damage, the variations of mechanical and thermal loads, etc., which take place during machine operation. In the article, the energy E, like the other forms (methods) that it can be converted into (heat and work), is...
-
Activity of Patents in Fuel Cells and Hydrogen Production in the Context of Passenger Car Fleet in the V4 Countries
PublicationThe hydrogen market in the world today is capable ovule and em-pirical evidence on activity of patents in fuel cells and hydrogen production islimited so far. Patent applications in zero-emission mobility in the aspect of fuelcells include: DAFC/DMFC&DMFC, PEMFC, SOFC, AFC, PAFC. As for thepatents relating to the hydrogen production, they concern low carbon, electrol-ysis and inorganic. The purpose of the study was to investigate...
-
Izabela Mironowicz dr hab. inż. arch.
People -
KM Challenges in Small KIBS Companies: Multi-case Analysis in Two Countries
PublicationKnowledge Intensive Business Services (KIBS) – i.e. companies like e.g. computer services, consulting, engineering, business communication, and R&D support - are key players in the modern economies. They stimulate the innovativeness of businesses and societies. Their competitiveness is based on knowledge, which is their key production factor and also the kind of “goods” they sell. The large majority of KIBS companies have a small...
-
Collaborative Editing of Ontologies Using Fluent Editor and Ontorion
PublicationIn this paper we present two tools that we are developing at Cognitum for managing large knowledge bases: Fluent Editor and the Ontorion Server. We have been able to build a collaborative knowledge management system using these two tools. We show how this system can be used for the concurrent modification of knowledge and how we can manage multiple modifications to the same knowledge.
-
The Maslov index and the spectral flow—revisited
PublicationWe give an elementary proof of a celebrated theorem of Cappell, Lee and Miller which relates the Maslov index of a pair of paths of Lagrangian subspaces to the spectral flow of an associated path of self-adjoint first-order operators. We particularly pay attention to the continuity of the latter path of operators, where we consider the gap-metric on the set of all closed operators on a Hilbert space. Finally, we obtain from Cappell,...
-
Alternative Modeling of Volunteer Based Systems
PublicationThe canonical approach to model a flow of a voluntary based computing, as presented in Chapter 7 may tax the capacity of the simulator, especially when a more complex model of Voluntary Computing, proposed in [1], is used which would imply that, for typical heterogeneous groups of volunteers, several thousands of threads would have to be run inside the simulator, to mimic closely the behaviour of every volunteer. This chapter presents...
-
Critical Case Stochastic Phylogenetic Tree Model via the Laplace Transform
PublicationBirth–and–death models are now a common mathematical tool to describe branching patterns observed in real–world phylogenetic trees. Liggett and Schinazi (2009) is one such example. The authors propose a simple birth–and–death model that is compatible with phylogenetic trees of both influenza and HIV, depending on the birth rate parameter. An interesting special case of this model is the critical case where the birth rate equals the...
-
Onboard Energy Storage and Power Management Systems forAll-Electric Cargo Vessel Concept
PublicationThis paper presents an innovative approach to the design of a forthcoming, fully electric-powered cargo vessel. This work begins by defining problems that need to be solved when designingvessels of this kind. Using available literature and market research, a solution for the design of apower management system and a battery management system for a cargo vessel of up to 1504 TEUcapacity was developed. The proposed solution contains...
-
The Boltzmann sequence-structure channel
PublicationWe rigorously study a channel that maps binary sequences to self-avoiding walks in the two-dimensional grid, inspired by a model of protein statistics. This channel, which we also call the Boltzmann sequence-structure channel, is characterized by a Boltzmann/Gibbs distribution with a free parameter corresponding to temperature. In our previous work, we verified experimentally that the channel capacity has a phase transition for...
-
Hybrid inductance-thyristor short-circuit current limiting devices
PublicationDla wartości prądu w gałęzi w której zainstalowane jest urządzenie jest mniejsza od prądu w dławiku urządzenia, dławik jest zwarty gałęzią z tyrystorem. Impedancja bieguna urządzenia hybrydowego jest praktycznie równa zero. W chwili wzrostu prądu w gałęzi z urządzeniem ograniczającym ponad tę wartość, do obwodu głównego wtrącona zostaje impedancja kolejno dwóch dławików, ograniczając bezzwłocznie dynamikę i amplitudę prądu zwarciowego....
-
Building collective intelligence through experience: a survey on the use of the KREM model
PublicationThis article presents a survey on the use of KREM, a generic knowledge-based framework for building collective intelligence through experience. After a discussion on the disadvantages of the traditional architecture used to deploy intelligent systems, the KREM architecture (Knowledge, Rules, Experience, Meta-Knowledge) is presented. The novelty of the proposal comes from the inclusion of the capitalisation of experience and the...
-
Otopy Classification of Gradient Compact Perturbations of Identity in Hilbert Space
PublicationWe prove that the inclusion of the space of gradient local maps into the space of all local maps from Hilbert space to itself induces a bijection between the sets of the respective otopy classes of these maps, where by a local map we mean a compact perturbation of identity with a compact preimage of zero.
-
Manufacturing collective intelligence by the means of Decisional DNA and virtual engineering objects, process and factory
PublicationEngineering collective intelligence is paramount in current industrial times. This research proposes and presents case studies for collective knowledge structures required in the industry field. Knowledge structures such as Set of Experience and Decisional DNA are extended into more advanced knowledge structures for manufacturing processes. These structures are called Virtual Engineering Object, Virtual Engineering Process and...
-
Decisional DNA based framework for representing Virtual Engineering Objects
PublicationIn this paper, we propose a frame-work to represent the Virtual Engineering Objects (VEO) utilizing Set of Knowledge Experience Structure (SOEKS) and Decisional DNA. A VEO will enable the discovery of new knowledge in a manufacturing unit and the generation of new rules that drive reasoning. The proposed VEO framework will not only be knowledge based representation but it will also have its associated experience embedded within...
-
Analiza i badania systemu antyspoofingowego GPS
PublicationArtykuł dotyczy problemu spoofingu w systemie GPS, polegającego na niepowołanej transmisji sygnałów imitujących sygnały odbierane z satelitów GPS. Takie działanie prowadzi do wyznaczenia przez odbiornik nawigacyjny nieprawidłowego położenia, prędkości i czasu. Zostały opisane metody przeciwdziałania spoofingowi, w szczególności poprzez przestrzenne przetwarzanie sygnałów. Przedstawiono wyniki badań symulacyjnych efektywności tych...
-
Gravity-related research, T, EMSS, sem. 01 summer, 21/22, (PG_00054983)
e-Learning CoursesPresentation of knowledge and research in the field of gravity phenomenon.
-
Smart Innovation Engineering Using Set of Experience and Decisional DNA
PublicationKnowledge-based Engineering Systems are founded upon integration of knowledge into computer systems and are one of the core requirements for the future Industry 4.0. Since the fourth industrial revolution is passing through the developing phase, implementation of Cyber-Physical Production Systems require more realistic approach. Knowledge Management and Knowledge Engineering plays an important role in manufacturing industries facing...
-
Fast Low-fidelity Wing Aerodynamics Model for Surrogate-Based Shape Optimization
PublicationVariable-fidelity optimization (VFO) can be efficient in terms of the computational cost when compared with traditional approaches, such as gradient-based methods with adjoint sensitivity information. In variable-fidelity methods, the directoptimization of the expensive high-fidelity model is replaced by iterative re-optimization of a physics-based surrogate model, which is constructed from a corrected low-fidelity model. The success...
-
CONSUMERS’ APPROACH TO THE CREDIBILITY OF THE INFLATION FORECASTS PUBLISHED BY CENTRAL BANKS: A NEW METHODOLOGICAL SOLUTION
PublicationModern monetary policy focuses on credibility and shaping inflation expectations. In keeping with the concept of inflation forecast targeting, the inflation forecasts published by central banks play a crucial role in the instrument rate decision-making process and may be treated as a specific intermediate target. This study proposes an inflation forecast credibility index, the scope of which is narrowed to non-specialists’ approach...
-
Voice Multilateration System
PublicationThis paper presents an innovative method of locating airplanes, which uses only voice communication between an air traffic controller and the pilot of an aircraft. The proposed method is described in detail along with its practical implementation in the form of a technology demonstrator (proof of concept), included in the voice communication system (VCS). A complete analysis of the performance of the developed method is presented,...
-
Toward Smart Innovation Engineering: Decisional DNA-Based Conceptual Approach
PublicationABSTRACT Knowledge and experience are essential requirements for product innovation. The presented paper proposes a systematic approach for product innovation support using a Smart Knowledge Management System comprising a Set of Experience Knowledge Structure (SOEKS) and Decisional DNA (DDNA). This proposed system is dynamic in nature because it updates itself every time a new decision related to innovation is made. Through this...
-
Experience based decisional DNA to support smart product design
PublicationThis paper presents the idea of Smart Virtual Product Development (SVPD) system to support product design. The foundations of the system are based upon smart knowledge management techniques called Set of Experience Knowledge Structure (SOEKS) and Decisional DNA (DDNA). It enhances the industrial product development process by using the previous experiential knowledge gathered from the formal decisional activities. This experiential...
-
Experience oriented enhancement of smartness for Internet of Things
PublicationIn this paper, we propose a novel approach, the Experience-Oriented Smart Things that allows experiential knowledge discovery, storage, involving, and sharing for Internet of Things. The main features, architecture, and initial experiments of this approach are introduced. Rather than take all the data produced by Internet of Things, this approach focuses on acquiring only interesting data for its knowledge discovery process. By...
-
EXPERIENCE-ORIENTED SMART EMBEDDED SYSTEM
PublicationThe Experience-Oriented Smart Embedded System (EOSES) is proposed as a new technological platform providing a common knowledge management approach that allows mass embedded systems for experiential knowledge capturing, storage, involving, and sharing. Knowledge in the EOSES is represented as SOEKS, and organized as Decisional DNA. The platform is mainly based on conceptual principles from Embedded Systems and Knowledge Management....
-
Acoustic streaming caused by some types of aperiodic sound. Buildup of acoustic streaming
PublicationThe analysis of streaming caused by aperiodic sound of different types (switched on at transducer sound or sound determined by initial conditions) is undertaken. The analysis bases on analytical governing equation for streaming Eulerian velocity, which is a result of decomposition of the hydrodynamic equations into acoustic and non-acoustic parts. Its driving force (of acoustic nature) represents a sum of two terms; one is the...
-
About definition of modes and magnetosonic heating in a plasma’s flow: Especial cases of perpendicular and nearly perpendicular wave vector and magnetic field
PublicationDynamics of hydrodynamic perturbations in a plasma depend strongly on an angle between the wave vector and equilibrium straight magnetic field. The case of perpendicular propagation is especial. There are only two (fast) magnetosonic modes since two (slow) ones degenerate into the stationary one with zero speed of propagation. This demands individual definition of wave modes by the links of hydrodynamic relations. These links are...