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

International Conference on Mathematical Methods in Electromagnetic Theory (MMET)

作者： Viktor Hoblyk Nadiia Hoblyk Department of Electronics and Information Technology Lviv Polytechnic National University Lviv Ukraine Department of Computational Mathematics and Programming Lviv Polytechnic National University Lviv Ukraine

This work presents results of computer simulation of a flat reflective array of rectangular waveguides and results of the investigation of the influence of phase errors on the formation of the radiation field.

关键词： Electromagnetic waveguides Reflector antennas Antenna arrays Antenna radiation patterns Mathematical model Apertures

来源：评论

学校读者我要写书评

暂无评论

A proposal of an example and experiments repository to foster industrial adoption of formal methods 8th

A proposal of an example and experiments repository to foste...

引用

8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018

作者： Schlick, Rupert Felderer, Michael Majzik, Istvan Nardone, Roberto Raschke, Alexander Snook, Colin Vittorini, Valeria Center for Digital Safety and Security AIT Austrian Institute of Technology GmbH Vienna Austria Department of Computer Science University of Innsbruck Innsbruck Austria Department of Software Engineering Blekinge Institute of Technology Karlskrona Sweden Department of Measurement and Information Systems Budapest University of Technology and Economics Budapest Hungary University of Naples Federico II Naples Italy Institute of Software Engineering and Programming Languages Ulm University Ulm Germany Electronics and Computer Science University of Southampton Southampton United Kingdom

ISBN: (纸本)9783030034269

Formal methods (in a broad sense) have been around almost since the beginning of computer science. Nonetheless, there is a perception in the formal methods community that take-up by industry is low considering the potential benefits. We take a look at possible reasons and give candidate explanations for this effect. To address the issue, we propose a repository of industry-relevant example problems with an accompanying open data storage for experiment results in order to document, disseminate and compare exemplary solutions from formal model based methods. This would allow potential users from industry to better understand the available solutions and to more easily select and adopt a formal method that fits their needs. At the same time, it would foster the adoption of open data and good scientific practice in this research field. © Springer Nature Switzerland AG 2018.

关键词： Formal methods

来源：评论

学校读者我要写书评

暂无评论

Modeling of Thermoviscoelasticity Time Harmonic Variational Problem for a Thin Wall Body

Modeling of Thermoviscoelasticity Time Harmonic Variational ...

引用

IEEE International Conference on Data Stream Mining & Processing (DSMP)

作者： Romanna Malets Heorgiy Shynkarenko Igor Malets Petro Vahin Department of programming Ivan Franko National University of Lviv Lviv Ukraine Department of Information System Opole University of Technology Opole Poland Lviv Ukraine Department of Project Management Information Technologies and Telecommunications Lviv State University of Life Safety Lviv Ukraine Department of Information System Ivan Franko National University of Lviv Lviv Ukraine

ISBN: (纸本)9781538628751

The paper presents the construction and analysis of vibration problem of thermoviscoelastic shells under the influence of non-stationary heat and under forced loads. The studied model was based on application of simplest finite element semidiscretization to mixed variational problem of dynamical thermoviscoelasticity. The problem in addition to the mutual influence of temperature field and stress field is also taken into account the viscoelastic properties of the material thin wall body. For assumptions quite suitable for applications we prove the well-posedness forthis model of time harmonic vibrations.

关键词： Heating systems Vibrations Harmonic analysis Mathematical model Tensile stress Load modeling Method of moments

来源：评论

学校读者我要写书评

暂无评论

Formation of gas hydroxide of sulfur dioxide at liquid sulfur dioxide injection in a porous medium saturated with methane and water

引用

AIP Conference Proceedings 2019年第1期2141卷

作者： M. K. Khasanov S. R. Kildibaeva 1Department of Applied Informatics and Programming Faculty of mathematics and information technology Sterlitamak branch of Bashkir state University Lenin avenue 49 Sterlitamak 453100 Republic of Bashkortostan Russia

A mathematical model of injection of liquid sulfur dioxide into a porous medium saturated with water and methane, accompanied by the formation of SO2 gas hydrate on the frontal surface is presented. The dependences of the temperature and the coordinates for the formation front of sulfur dioxide gas hydrate on the pressure of the injection and the initial pressure of the layer are explored. It is established that at sufficiently high injection pressure values and the initial temperature of the layer, as well as the low values of the layer’s initial pressure, the temperature of the porous medium on the boundary of gas hydrate formation of sulfur dioxide may rise above the decomposition’s equilibrium temperature of the gas hydrate of sulfur dioxide. This corresponds to the appearance of a zone in a porous medium saturated with a mixture of water, sulfur dioxide and its gas hydrate, being in a state of phase equilibrium.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Design and Development of a Mobile Robotic Complex

Design and Development of a Mobile Robotic Complex

引用

International Conference on Recent Innovations in Electrical, Electronics & Communication Engineering (ICRIEECE)

作者： Aigul Adamova Tamara Zhukabayeva Laula Zhumabayeva Zhanna Mukanova Khu Ven-Tsen Department of Computer engineering and software Saken Seifullin Kazakh Agrotechnical University Astana Kazakhstan Department of Computing Engineering L.N. Gumilyov Eurasian National University Astana Kazakhstan Department of Information Systems and Power Engineering S. Yessenov Caspian State University of Technology and Engineering Aktau Kazakhstan Department of Information and Computing Systems Karaganda Economic University of Kazpotrebsoyuz Karaganda Kazakhstan Department of Computer engineering and software programming M. Auezov South Kazakhstan State University Shymkent Kazakhstan

ISBN: (数字)9781538659953

ISBN: (纸本)9781538659960

Development of the mobile robot can be executed in two different ways. Firstly, this creation of the built-in system, secondly, the use of "ready to use" industrial components. With distribution of the industrial mobile robots in the market there are more and more components which can be used for creation of all control system and sensors of the robot mobile platform. Use of the ready components doesn't demand the hardware development that accelerates time of development and reduces cost. The chassis of the Belarus-132 mini-tractor is used as a platform of robotic system in the research, "creation" of the program for traffic control is required. Results of the practical research on design and model development of a mobile robotic complex are given.

关键词： Control systems Robot kinematics Mobile robots Navigation Robot sensing systems

来源：评论

学校读者我要写书评

暂无评论

Scientific Data Lake for High Luminosity LHC project and other data-intensive particle and astro-particle physics experiments

引用

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

作者： A Alekseev A Kiryanov A Klimentov T Korchuganova V Mitsyn D Oleynik A Smirnov S Smirnov A Zarochentsev Compiler Technology Department Ivannikov Institute for System Programming of the RAS Moscow 109004 Russia Cloud technologies and Big Data analytics laboratory Plekhanov Russian University of Economics Moscow 117997 Russia ATLAS group Universidad Andres Bello Santiago 7550196 Chile Department of computing resources and technologies NRC 'Kurchatov Institute' - PNPI 188300 Gatchina Russia Physics Department Brookhaven National Laboratory Upton NY 11973 USA Laboratory of Information Technologies Joint Institute for Nuclear Research Dubna 141980 Russia Institute of Nuclear Physics and Engineering National Research Nuclear University MEPhI Moscow 115409 Russia Laboratory of Ultra-High Energy Physics Saint Petersburg State University Saint Petersburg 198504 Russia

The next phase of LHC Operations – High Luminosity LHC (HL-LHC), which is aimed at ten-fold increase in the luminosity of proton-proton collisions at the energy of 14 TeV, is expected to start operation in 2027-2028 and will deliver an unprecedented scientific data volume of multi-exabyte scale. This amount of data has to be stored and the corresponding storage system should ensure fast and reliable data delivery for processing by scientific groups distributed all over the world. The present LHC computing and data processing model will not be able to provide the required infrastructure growth even taking into account the expected hardware technology evolution. To address this challenge the new state-of-the-art computing infrastructure technologies are now being developed and are presented here. The possibilities of application of the HL-LHC distributed data handling technique for other particle and astro-particle physics experiments dealing with large-scale data volumes like DUNE, LSST, Belle-II, JUNO, SKAO etc. are also discussed.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Modular Fault Diagnosis in Fixed-Block Railway Signaling Systems

引用

IFAC-PapersOnLine 2016年第3期49卷 459-464页

作者： Durmus, Mustafa S. Ustoglu, lker Tsarev, Roman Y. Schwarz, Michael Electrical and Electronics Engineering Department Pamukkale University Denizli Turkey Control and Automation Engineering Department Yildiz Technical University Istanbul Turkey Institute of Space and Information Technology Siberian Federal University Krasnoyarsk Russia Computer Architecture and System Programming Kassel University Kassel Germany

The diagnosis of possible faults in railway signaling systems is an important issue to provide safe travel and transportation in railways. Signaling system designers have to consider the possible faults which may occur in railway field components both on the requirements preparation phase and on the development phase of the signaling system software or namely, the interlocking system. Although the diagnosis of different unobservable faults is relatively hard, especially for large scale railway fields, this complexity can be overcome by using the Discrete Event System (DES) based modular diagnosis approach which is explained in this paper. The main advantage of using such modular approach for fault diagnosis in fixed-block signaling systems is the inspection of the diagnosability of the whole system with respect to its subsystems (railway field components). In this study, the diagnosability of the railway field equipment and the whole system is also explained with a case study. © 2016

关键词： Fault detection Discrete event simulation Failure analysis Railroad signal systems Railroads Signaling Development phase Field components Field equipment Fixed block signaling Interlocking systems Modular approach Railway signaling systems Signaling systems

来源：评论

学校读者我要写书评

暂无评论

The Approximate Solution of one Task on Thermal Processes by Means of the Finite Element Method

引用

IOP Conference Series: Materials Science and Engineering 2017年第1期225卷

作者： A A Aliyev C K Kazimov R B Samadov Department of Information technology and programming Baku State University Baku city AZ-1073/1 Republic of Azerbaijan

An elliptic second-order equation is solved by support of the finite element method that describes one thermal process. The solution is sought in the space . The finite-element approximation of the problem is provided...

关键词：

来源：评论

学校读者我要写书评

暂无评论

Preface

引用

CEUR Workshop Proceedings 2019年 2514卷 1-2页

作者： Avetisyan, Arutyun Ivar, Jacobson Pozin, Boris A. Petrenko, Alexander K. Pozin, Boris A. Petrenko, Alexander K. Cavalli, Ana Rosa Petrenko, Alexander K. Avetisyan, Arutyun Arlazarov, Vladimir Avdoshin, Sergey Batovrin, Victor K. Bershadsky, Alexander M. Boichenko, Alexander Juris, Borzovs Vasenin, Valery A. Schlingloff, Holger Kalyanov, Georgy Kantorovich, Georgy G. Korolev, Anton Kosolapov, Mikhail S. Kostogryzov, Andrey I. Koznov, Dmitry V. Kuznetsov, Sergey Prokhorov, Sergei Soyfer, Victor A. Starykh, Vladimir A. Stolyarov, Gennady K. Stupnikov, Sergey A. Telnov, Yury Ph. Shmid, Alexander Mira, Kajko-Mattssen Miroslawa Wentzl, Wilfried Mayer, Walter H. Yevtushenko, Nina Zakharov, Victor Zmeev, Oleg Cavalli, Ana Rosa Petrenko, Alexander K. Pozin, Boris A. RAS ISP Russia Ivar Jacobson International Switzerland NRU HSE «-leasing» Co Russia NRU HSE ISP RAS Russia Information and Analytical Systems «-leasing» Co Russia Department of Network Software TELECOM and Management SudParis France NRU HSE Russia Software Engineering of Ivannikov Institute for System Programming RAS Russia RAS System Analysis Institute of Federal Research Centre Informatics and Management Russia Russia Penza State University Russia Federal State Educational Centre of Higher Learning «Plekhanov Russian University of Economics» Russia CISA Academy of Sciences of Latvia State University of Latvia Latvia MSU Institut für Offene Kommunikationssysteme FOKUS Germany Verifikation und Testtheorie an der Humboldt-Universität zu Berlin Germany Institute of Control Sciences RAS Russia Institute of Sociology RAS NRU HSE Russia ISO IEEC Institute of Informatics Problems Federal Research Centre IM RAS Russia St. Petersburg State University Russia Institute for System Programming RAS Moscow State University Russia SRI Korolev Samara State Aerospace University Russia Belarus FRC IM RAS Russia FSEC «Plekhanov Russian University of Economics» Russia KTH School of Information and Communication Technology Sweden Governmental Agricultural Analyst Austria Austria Ivannikov Institute for System Programming RAS Russia Institute of Informatics Problems Federal Research Centre IM RAS Russia Tomsk State University Russia

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：