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

1st IEEE International Conference on Industrial Cyber-Physical systems, ICPS 2018

作者： Ivaschenko, Anton Khorina, Anastasia Sitnikov, Pavel Information Systems and Technologies Department Samara National Research University Samara Russia Department of Applied Programming and Technological Innovations ITMO University Saint-Petersburg Russia

ISBN: (纸本)9781538665312

Effective application of Augmented Reality user interfaces is one of the challenging trends of industrial cyber-physical systems development and implementation. Despite reach functionality of modern AR devices (like goggles, head mounted displays or tablets) the problem of their comfortable and productive use is not completely solved yet. To cover this gap, it is proposed in this paper to implement a new paradigm of 'accented visualization' that allows adapting additional data presented by AR device according to the user's current interest, attention and focus. To provide such context driven functionality there was developed intelligent software based on eye tracking and capturing the user's focus in ontology as a knowledge base. Probation and testing of the proposed approach present 89 % of the solution efficiency. © 2018 IEEE.

关键词： Visualization

来源：评论

学校读者我要写书评

暂无评论

Search for new technical solutions when designing color measuring systems

Search for new technical solutions when designing color meas...

引用

International Conference on Information Science and Communications Technologies (ICISCT)

作者： Marysheva L.T Isxakova N.P Latipova N.X Azizbek Khaitov Department of System and Applied Programming Tashkent University of Information Technologies Uzbekistan Tashkent Department of Hardware and software provision of management systems in telecommunications Tashkent University of Information Technologies Uzbekistan Tashkent

ISBN: (数字)9781728125640

ISBN: (纸本)9781728125657

To search for new technical solutions when designing color measuring systems, we need a design object, i.e. to divide color measuring device into fragments, and solutions are sought for these fragments separately. At the first level of the partition, the color measuring device is divided into four main structural parts: the lighting, dispersing, electronic recording and computing devices.

关键词： Color Lighting Measurement uncertainty Image color analysis Standards Coordinate measuring machines Systematics

来源：评论

学校读者我要写书评

暂无评论

Thermodynamics of optical bloch equations

arXiv

引用

arXiv 2020年

作者： Elouard, Cyril Herrera-Martí, David Esposito, Massimiliano Auffèves, Alexia Department of Physics and Astronomy University of Rochester RochesterNY14627 United States Atos Centre for Excellence in Performance Programming 1 rue de Provence Echirolles38130 France Complex Systems and Statistical Mechanics Department of Physics and Materials Science University of Luxembourg LuxembourgL-1511 Luxembourg CNRS Université Grenoble Alpes Institut Néel GrenobleF-38042 France

Optical Bloch Equations (OBE) describe the coherent exchange of energy between a quantum bit (qubit) and a quasi-resonant driving field in the presence of a thermal bath. Despite it being an ubiquitous process in quantum technologies, a sound thermodynamic analysis is still missing. We hereby provide such an analysis, by deriving the relevant framework from first principles. We start from a complete microscopic description of the qubit-bath system where definitions of heat, work and entropy production are unambiguous. We trace out the bath and coarse-grain the resulting expressions in time, using a methodology similar to the derivation of the dynamical master equation, to derive closed expressions for the First and Second Law in terms of system properties. Long coarse graining times yield the Floquet Master Equation and its already known thermodynamic description. Short coarse-graining times yield instead to the OBE and a novel thermodynamic framework which explicitly depend on quantum coherences in the qubit’s energy basis which produce quantum signatures in the heat and entropy production flows. This allow us to characterize a genuinely quantum non-equilibrium situation, where the coherences created by the driving field are continuously erased by the bath. Our findings can be readily extended to larger open quantum systems. They carry the seeds for future thermodynamic analyses of quantum gates and the design of quantum engines in the strong coherent driving regime. Copyright © 2020, The Authors. All rights reserved.

关键词： Entropy

来源：评论

学校读者我要写书评

暂无评论

Property-Directed verification of recurrent neural networks

arXiv

引用

arXiv 2020年

作者： Khmelnitsky, Igor Neider, Daniel Roy, Rajarshi Barbot, Benoît Bollig, Benedikt Finkel, Alain Haddad, Serge Leucker, Martin Ye, Lina LSV CNRS ENS Paris-Saclay Université Paris-Saclay France Inria France Max Planck Institute for Software Systems Kaiserslautern Germany Université Paris-Est Créteil France Institute for Software Engineering and Programming Languages Universität zu Lübeck Germany CentraleSupélec Université Paris-Saclay France Institut Universitaire de France France

This paper presents a property-directed approach to verifying recurrent neural networks (RNNs). To this end, we learn a deterministic finite automaton as a surrogate model from a given RNN using active automata learning. This model may then be analyzed using model checking as verification technique. The term property-directed reflects the idea that our procedure is guided and controlled by the given property rather than performing the two steps separately. We show that this not only allows us to discover small counterexamples fast, but also to generalize them by pumping towards faulty flows hinting at the underlying error in the *** Codes 68Q60, 68T07 Copyright © 2020, The Authors. All rights reserved.

关键词： Recurrent neural networks

来源：评论

学校读者我要写书评

暂无评论

Using the Model of a Functional Rationalizer of Consumer Behavior in Recommendation systems for Managing the Transport Activity of the Urban Population

Using the Model of a Functional Rationalizer of Consumer Beh...

引用

International Conference on Soft Computing and Measurements (SCM)

作者： Yaroslav A. Seliverstov Svytoslav A. Seliverstov Nikolay V. Podoprigora Alexey L. Starichenkov Roman S. Naryshkin Laboratory of Intelligent Transport Systems Solomenko Institute of Transport Problems of the Russian Academy of Sciences Institute of Computer Science and Technology Peter the Great St.Petersburg Polytechnic University St. Petersburg Russian Federation Department of Ground Transportation Technological Machines Saint Petersburg State University of Architecture and Civil Engineering St. Petersburg Russian Federation Department of Ship Control Systems Saint Petersburg Electrotechnical University “LETI” St. Petersburg Russian Federation Department of Programming Technology Saint Petersburg State University St. Petersburg Russian Federation

ISBN: (数字)9781728196923

ISBN: (纸本)9781728196930

An overview of existing urban software mobile applications of the transport and economic direction is given. A model of a functional rationalizer of consumer behavior is being built. The software model of the functional rationalizer of consumer behavior (SM FRCB) was developed for the first time. PMFRCB allows the user to expand the number of his preferred needs (occupations, activities) during the daily cycle through intelligent recommendations. Also, SM FRCB allows you to optimize needs (activities, activities) at the cost and rate of their use. The SM FRCB is made in Python_3 using the libraries matplotlib, collections, numpy, pyplot, mplot3d. The analysis of consumer behavior before and after using the functional rationalizer model is carried out. The graphical results of a structural analysis of the costs of old and new consumer behavior, analysis of consumer behavior within the boundaries of the theory of possibilities and the model of transport behavior of a resident before and after applying the functional rationalizer model are presented. The prospects of further improving the SM FRCB are considered.

关键词： Consumer behavior Mobile applications Sociology Statistics Logistics Analytical models Software

来源：评论

学校读者我要写书评

暂无评论

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

arXiv

引用

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

来源：评论

学校读者我要写书评

暂无评论

Structure and Functioning of Information systems of Background Monitoring of Landscape Elements of Gorgany Nature Reserve

Structure and Functioning of Information Systems of Backgrou...

引用

International Conference on Advanced Computer Information Technologies (ACIT)

作者： Yaroslav Nykolaychuk Yaroslav Petrashchuk Olena Slobodian Ihor Pitukh Taras Grynchyshyn Lyubov Nykolaychuk Volodymyr Hryha Department of Specialized Computer Systems Ternopil National Economic University Ternopil Ukraine Gorgany nature reserve Nadvirna Ukraine Department of Programming and Information Technologies Nadvirna College by National Transport University Nadvirna Ukraine Department of Social Communication and Law Ivano-Frankivsk National Technical University of Oil and Gas Ivano-Frankivsk Ukraine Department of Computer Engineering and Electronics Vasyl Stefanyk Precarpathian National University Ivano-Frankivsk Ukraine

ISBN: (数字)9781728167602

ISBN: (纸本)9781728167619

This paper discusses the structural organization of the background monitoring system (BMS) of the transboundary UNESCO World Heritage Site “Beech forests of the Carpathians and ancient beech forests of Germany” using actual data and information from Gorgany Nature Reserve in Ivano-Frankivsk, Ukraine. The features of the structure and functions of background monitoring of the protected natural resources, forests and wildlife of Gorgany Nature Reserve is based on modern methods of collecting and processing of digital data, implementation of the principles of Internet of Things and cloud technologies, combined with GPS-systems, sensor networks with the use of optical and fiber-optic telecommunication channels. The information technology of the background monitoring system is based on figurative cluster models of monitoring objects according to theoretical principles of statistical, correlatory, spectral, cluster, logic-statistical and entropy analysis.

关键词： Monitoring Forestry Correlation Optical fiber sensors Optical fibers Biological system modeling

来源：评论

学校读者我要写书评

暂无评论

Information system model for implementation and maintenance of stochastic control over a nonlinear object on manifolds

引用

Journal of Physics: Conference Series 2020年第1期1661卷

作者： S I Kolesnikova Institute of Computational Systems and Programming St. Petersburg State University of Aerospace Instrumentation 67 Bolshaya Morskaia str. St. Petersburg 190000 Russia

The paper presents a problem statement for a robust stochastic regulator synthesis based on the principles of control on manifolds, a solution algorithm of a new information system and its structure maintaining the synthesis algorithm for a stochastic discrete object. The object under study is presented as a system of stochastic, difference nonlinear equations. The mathematical tools of the classical method of analytical design of aggregated regulators are used, which were developed earlier for a deterministic nonlinear object with a complete description. The robust stochastic nonlinear regulator ensures the following characteristics of the control system: a) minimum deviation of the output variable; b) minimum dispersion of the target invariant; c) minimum average value of the control quality functional.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Novel symmetric numerical methods for solving symmetric mathematical problems

引用

International Journal of Circuits, systems and Signal Processing 2021年 15卷 1545-1557页

作者： Ibrahimov, V.R. Mehdiyeva, G.Y.U. Yue, Xiao-Guang Kaabar, Mohammed K.A. Noeiaghdam, Samad Juraev, Davron Aslonqulovich Institute of Control Systems named after Academician A.Huseynov BakuAZ1141 Azerbaijan Computational mathematics Baku State University BakuAZ1148 Azerbaijan Department of Computer Science and Engineering School of Sciences European University Cyprus Nicosia1516 Cyprus Institute of Mathematical Sciences Faculty of Science University of Malaya Kuala Lumpur50603 Malaysia Department of Mathematics and Statistics Washington State University PullmanWA99163 United States Industrial Mathematics Laboratory Baikal School of BRICS Irkutsk National Research Technical University Irkutsk664074 Russia Department of Applied Mathematics and Programming South Ural State University Lenin Prospect 76 Chelyabinsk454080 Russia Department of Natural Science Disciplines Higher Military Aviation School of the Republic of Uzbekistan Karshi City180100 Uzbekistan

—The mathematical model for many problems is arising in different industries of natural science, basically formulated using differential, integral and integro-differential equations. The investigation of these equations is conducted with the help of numerical integration theory. It is commonly known that a class of problems can be solved by applying numerical integration. The construction of the quadrature formula has a direct relation with the computation of definite integrals. The theory of definite integrals is used in geometry, physics, mechanics and in other related subjects of science. In this work, the existence and uniqueness of the solution of above-mentioned equations are investigated. By this way, the domain has been defined in which the solution of these problems is equivalent. All proposed four problems can be solved using one and the same methods. We define some domains in which the solution of one of these problems is also the solution of the other problems. Some stable methods with the degree p © 2021, North Atlantic University Union NAUN. All rights reserved.

关键词： Integrodifferential equations

来源：评论

学校读者我要写书评

暂无评论

Impact of fluctuation interferences to the responders performance of secondary surveillance radar system

Impact of fluctuation interferences to the responders perfor...

引用

2018 International Conference on Information and Telecommunication Technologies and Radio Electronics, UkrMiCo 2018

作者： Svyd, I.V. Goriushkina, A.E. Zavolodko, G.E. Maltsev, O.S. Kharkiv National University of Radio Electronics KNURE Dept. Radiotechnologies Information and Communication Systems Kharkiv Ukraine National Technical University KhPI NTU KhPI Department of Computer Science and Programming Kharkiv Ukraine National Technical University KhPI NTU KhPI Department of Information Systems Kharkiv Ukraine

ISBN: (纸本)9781538652640

The principle of network construction and the principle of request signals service of Secondary surveillance radar systems predetermined the work of the respondents of the considered systems in conditions of intra-system and intentional correlated and uncorrelated interferences. The article estimates the impact of masking fluctuation interferences on the quality of the request signals detection. It is shown that the choice of time-interval codes as the request signals predetermined the low noise immunity of the considered systems when a channel is exposed by the fluctuation interference. © 2018 IEEE.

关键词： Signal detection

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：