检索结果-内蒙古大学图书馆

学校读者我要写书评

暂无评论

Preface

CEUR Workshop Proceedings 2017年 1989卷 5-7页

作者： Pozin, Boris A. Cavalli, Ana Rosa Petrenko, Alexander K. Department of Information and Analytical Systems EC-leasing Co. Russia Department of Network Software TELECOM and Management SudParis France Department of System Engineering Institute of System Programming of RAS Russia

Recurrent Neural Networks on Drifting Time-of-Flight Measurements

学校读者我要写书评

暂无评论

Recurrent Neural Networks on Drifting Time-of-Flight Measure...

International Conference on Indoor Positioning and Indoor Navigation (IPIN)

作者： Tobias Feigl Thorsten Nowak Michael Philippsen Thorsten Edelhäußer Christopher Mutschler Programming Systems Group (Informatics II) Friedrich-Alexander University Erlangen-Nürnberg Erlangen Germany Institute of Information Technology (Comm. Electronics) Friedrich-Alexander University Erlangen-Nürnberg Erlangen Germany Precise Positioning and Analytics Department Fraunhofer Institute for Integrated Circuits IIS Nürnberg Nürnberg Germany Machine Learning and Data Analytics Lab Friedrich-Alexander University Erlangen-Nürnberg Erlangen Germany

Kalman filters (KFs) are popular methods to estimate position information from a set of time-of-flight (ToF) values in radio frequency (RF)-based locating systems. Such filters are proven to be optimal under zero-mean Gaussian error distributions. In presence of multipath propagation ToF measurement errors drift due to small-scale motion. This results in changing phases of the multipath components (MPCs) which cause a drift on the ToF measurements. Thus, on a short-term scale the ToF measurements have a non-constant bias that changes while moving. KFs cannot distinguish between the drifting measurement errors and the true motion of the tracked object. Hence, very rigid motion models have to be used for the KF which commonly causes the filters to diverge. Therefore, the KF cannot resolve the short-term errors of consecutive measurements and the long-term motion of the tracked object. This paper presents a data-driven approach that uses training sequences to derive a near-optimal position estimator. A Long Short-Term Memory (LSTM) Recurrent Neural Network (RNN) learns to interpret drifting errors in ToF measurements of a tracked dynamic object directly from raw ToF data. Our evaluation shows that our approach outperforms state-of-the-art KFs on both synthetically generated and real-world dynamic motion trajectories that include drifting ToF measurement errors.

关键词： Trajectory Hidden Markov models Tracking Measurement uncertainty Neural networks Position measurement Dynamics

Automated Computation of Therapies Using Failure Mode and Effects Analysis in the Medical Domain

学校读者我要写书评

暂无评论

arXiv 2024年

作者： Luttermann, Malte Baake, Edgar Bouchagiar, Juljan Gebel, Benjamin Grüning, Philipp Manikwadura, Dilini Schollemann, Franziska Teifke, Elisa Rostalski, Philipp Möller, Ralf Institute of Information Systems University of Lübeck Germany Institute of Telematics University of Lübeck Germany Institute for Software Engineering and Programming Languages University of Lübeck Germany Department of Infectious Diseases and Microbiology University Hospital Schleswig-Holstein Campus Lübeck Germany Institute for Neuro- and Bioinformatics University of Lübeck Germany Institute for Molecular Medicine University of Lübeck Germany Institute for Electrical Engineering in Medicine University of Lübeck Germany franziska.schollemann Department of Anesthesiology and Intensive Care University Hospital Schleswig-Holstein Campus Lübeck Germany

Failure mode and effects analysis (FMEA) is a systematic approach to identify and analyse potential failures and their effects in a system or process. The FMEA approach, however, requires domain experts to manually analyse the FMEA model to derive risk-reducing actions that should be applied. In this paper, we provide a formal framework to allow for automatic planning and acting in FMEA models. More specifically, we cast the FMEA model into a Markov decision process which can then be solved by existing solvers. We show that the FMEA approach can not only be used to support medical experts during the modelling process but also to automatically derive optimal therapies for the treatment of patients. © 2024, CC BY.

关键词： Patient treatment

Some remarks on smooth mappings of Hilbert and Banach spaces and their local convexity property

学校读者我要写书评

暂无评论

arXiv 2021年

作者： Prykarpatskyy, Yarema A. Pukach, Petro Y. Vovk, Myroslava I. Greguš, Michal Department of Applied Mathematics University of Agriculture in Krakow Al. Mickiewicza 21 Krakow31-120 Poland Institute of Mathematics of NAS of Ukraine 3 Tereschenkivska st. Kyiv 401024 Ukraine Department of Computational Mathematics and Programming Institute of Applied Mathematics and Fundamental Sciences Lviv Polytechnic National University 12 Bandera Str. Lviv79013 Ukraine Department of Mathematics Institute of Applied Mathematics and Fundamental Sciences Lviv Polytechnic National University 12 Bandera Str. Lviv79013 Ukraine Department of Information Systems Faculty of Management Comenius University in Bratislava Odbojarov 10 Bratislava 2582005 Slovakia

We analyze smooth nonlinear mappings for Hilbert and Banach spaces that carry small balls to convex sets, provided that the radius of the balls is small enough. Being focused on the study of new and mild sufficient conditions for a nonlinear mapping of Hilbert and Banach spaces to be locally convex, we address a suitably reformulated local convexity problem analyzed within the Leray-Schauder homotopy method approach for Hilbert speces, and within the Lipscitz smoothness condition both for Hilbert and Banach spaces. Some of the results presented in the work prove to be interesting and novel even for finite-dimensional problems. Open problems related to the local convexity property for nonlinear mapping of Banach spaces are also *** Codes 46B20, 49J50, 52A41, 58C20 © 2021, CC BY.

关键词： Banach spaces

Generalized group designs: overcoming the 4-design-barrier and constructing novel unitary 2-designs in arbitrary dimensions

学校读者我要写书评

暂无评论

arXiv 2024年

作者： Kaposi, Ágoston Kolarovszki, Zoltán Solymos, Adrián Zimborás, Zoltán Quantum Computing and Quantum Information Research Group HUN-REN Wigner Research Centre for Physics Konkoly–Thege Miklós út 29-33 BudapestH-1525 Hungary Department of Programming Languages and Compilers Eötvös Loránd University Pázmány Péter sétány 1/C BudapestH-1117 Hungary Department of Physics of Complex Systems Eötvös Loránd University Pázmány Péter sétány 1/A BudapestH-1117 Hungary Algorithmiq Ltd Kanavakatu 3C Helsinki00160 Finland

Unitary designs are essential tools in several quantum information protocols. Similarly to other design concepts, unitary designs are mainly used to facilitate averaging over a relevant space, in this case, the unitary group U(d). While it is known that exact unitary t-designs exist for any degree t and dimension d, the most appealing type of designs, group designs (in which the elements of the design form a group), can provide at most 3-designs. Moreover, even group 2-designs can only exist in limited dimensions. In this paper, we present novel construction methods for creating exact generalized group designs based on the representation theory of the unitary group and its finite subgroups that overcome the 4-design-barrier of unitary group designs. Furthermore, a construction is presented for creating generalized group 2-designs in arbitrary dimensions. Copyright © 2024, The Authors. All rights reserved.

关键词： Group theory

The smart clothing as a basis for safe flight for pilots

学校读者我要写书评

暂无评论

AIP Conference Proceedings 2023年第1期2910卷

作者： M. Stepanov I. Barkov I. Bikmullina V. Shkurko Department of Automated Information Processing and Management Systems Kazan National Research Technical University named after A.N. Tupolev-KAI Kazan Republic of Tatarstan Russian Federation Karl Marx Str. 10 420111 Programming sector lead programmer FILTRKTV Kazan Russia

The article is devoted to the development of a compact, mobile software and hardware complex for monitoring the health of a pilot using an electronics module and a smartphone using mathematical algorithms for data analysis in the form of “Smart Clothes”. Nowadays experts do not have the necessary compact medical devices with the necessary qualities. The analysis of the subject area revealed that this is due to the fact that: Firstly, human health is a variable. Secondly, the existing features of the analysis of various biological signals and their intelligent processing lead to the complexity of creating compact electronics embedded in clothing. In this work, the researchers decided to use four main parameters for assessing the health status of pilots – pulse, saturation, temperature and electrocardiogram. The scientific novelty in the work is the developed method of solving the problems of taking readings from muscles with further obtaining results on a smartphone using a Bluetooth module, thanks to which the system can monitor the state of health in the process of vital activity at any time of the day with minimal dimensions while maintaining the required accuracy.

关键词：

ROLE OF SIMULATION IN RAPID PROTOTYPING FOR CONCEPT DEVELOPMENT

学校读者我要写书评

暂无评论

NAVAL ENGINEERS JOURNAL 1991年第3期103卷 204-211页

作者： KING, JF BARTON, DE J. Fred King:is the manager of the Advanced Technology Department for Unisys in Reston Virginia. He earned his Ph.D. in mathematics from the University of Houston in 1977. He has been principal investigator of research projects in knowledge engineering pattern recognition and heuristic problem-solving. Efforts include the development of a multi-temporal multispectral classifier for identifying graincrops using LANDSAT satellite imagery data for NASA. Also as a member of the research team for a NCI study with Baylor College of Medicine and NASA he helped develop techniques for detection of carcinoma using multispectral microphotometer scans of lung tissue. He established and became technical director of the AI Laboratory for Ford Aerospace where he developed expert scheduling modeling and knowledge acquisition systems for NASA. Since joining Unisys in 1985 he has led the development of object-oriented programming environments blackboard architectures data fusion techniques using neural networks and intelligent data base systems. Douglas E. Barton:is manager of Logistics Information Systems for Unisys in Reston Virginia. He earned his B.A. degree in computer science from the College of William and Mary in 1978 and did postgraduate work in London as a Drapers Company scholar. Since joining Unisys in 1981 his work has concentrated on program management and software engineering of large scale data base management systems and design and implementation of knowledge-based systems in planning and logistics. As chairman of the Logistics Data Subcommittee of the National Security Industrial Association (NSIA) he led an industry initiative which examined concepts in knowledge-based systems in military logistics. His responsibilities also include evaluation development and tailoring of software engineering standards and procedures for data base and knowledge-based systems. He is currently program manager of the Navigation Information Management System which provides support to the Fleet Ballistic Missile Progr

A valuable technique during concept development is rapid prototyping of software for key design components. This approach is particularly useful when the optimum design approach is not readily apparent or several known alternatives need to be rapidly evaluated. A problem inherent in rapid prototyping is the lack of a "target system" with which to interface. Some alternatives are to develop test driver libraries, integrate the prototype with an existing working simulator, or build one for the specific problem. This paper presents a unique approach to concept development using rapid prototyping for concept development and scenario-based simulation for concept verification. The rapid prototyping environment, derived from artificial intelligence technology, is based on a blackboard architecture. The rapid prototype simulation capability is provided through an object-oriented modeling environment. It is shown how both simulation and blackboard technologies are used collectively to rapidly gain insight into a tenacious problem. A specific example will be discussed where this approach was used to evolve the logic of a mission controller for an autonomous underwater vehicle.

关键词： Military Engineering

Extendibility of Brauer states

学校读者我要写书评

暂无评论

arXiv 2024年

作者： Solymos, Adrian Jakab, Dávid Zimborás, Zoltán Quantum Computing and Quantum Information Research Group HUN-REN Wigner Research Centre for Physics Konkoly–Thege Miklós út 29-33 Budapest1525 Hungary Department of Physics of Complex Systems Eötvös Loránd University Pázmány Péter sétány 1/A Budapest1117 Hungary Pratt School of Engineering Duke University 305 Teer Engineering Building Box 90271 DurhamNC27708 United States Department of Programming Languages and Compilers Eötvös Loránd University Pázmány Péter sétány 1/C Budapest1117 Hungary Algorithmiq Ltd Kanavakatu 3C Helsinki00160 Finland

We investigate the extendibility problem for Brauer states, focusing on the symmetric two-sided extendibility and the de Finetti extendibility. By employing the representation theory of the unitary and orthogonal groups, we provide a general recipe for finding the (n, m)-extendible and n-de Finetti-extendible Brauer states. In the two-sided case we describe the special symmetry that only appears for (n, n)-extendible symmetric states. From the concrete form of the commutant to the diagonal action of the orthogonal group, we explicitly determine the set of parameters for which the Brauer states are (1, 2)-, (1, 3)- and (2, 2)-extendible in any dimension d. Using the branching rules from SU(d) to SO(d), we obtain the set of n-de Finetti-extendible Brauer states in low dimensions, and analytically describe the n → ∞ limiting shape for d = 3. Finally, we derive some general properties pertaining to the extendibility of Werner, isotropic and Brauer states. Copyright © 2024, The Authors. All rights reserved.

关键词： Quantum entanglement

Piquasso: A Photonic Quantum Computer Simulation Software Platform

学校读者我要写书评

暂无评论

arXiv 2024年

作者： Kolarovszki, Zoltán Rybotycki, Tomasz Rakyta, Péter Kaposi, Ágoston Poór, Boldizsár Jóczik, Szabolcs Nagy, Dániel T.R. Varga, Henrik El-Safty, Kareem H. Morse, Gregory Oszmaniec, Michal Kozsik, Tamás Zimborás, Zoltán Quantum Computing and Quantum Information Research Group HUN-REN Wigner Research Centre for Physics Konkoly-Thege Miklós út 29-33 BudapestH-1525 Hungary Department of Programming Languages and Compilers Eötvös Loránd University Pázmány Péter sétány 1/a BudapestH-1117 Hungary Center for Theoretical Physics Polish Academy of Sciences Al. Lotników 32/46 Warszawa02-668 Poland Department of Physics of Complex Systems Eötvös Loránd University Pázmány Péter sétány 1/a BudapestH-1117 Hungary Quantinuum 17 Beaumont Street OxfordOX1 2NA United Kingdom Robert Bosch Kft. Gyömrői út 104. BudapestH-1103 Hungary Department of Computer Engineering Technical University of Munich Arcisstraße 21 München80333 Germany Algorithmiq Ltd. Kanavakatu 3C Helsinki00160 Finland

We introduce the Piquasso quantum programming framework, a full-stack open-source software platform for the simulation and programming of photonic quantum computers. Piquasso can be programmed via a high-level Python programming interface enabling users to perform efficient quantum computing with discrete and continuous variables. Via optional high-performance C++ backends, Piquasso provides state-of-the-art performance in the simulation of photonic quantum computers. The Piquasso framework is supported by an intuitive web-based graphical user interface where the users can design quantum circuits, run computations, and visualize the results. Copyright © 2024, The Authors. All rights reserved.

关键词： Quantum computers