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

Use of convolutional neural networks for segmenting images of roads from satellite

IOP Conference Series: Materials Science and Engineering 2020年第5期971卷

作者： Ya A Seliverstov S A Seliverstov R S Naryshkin M N Kripak Laboratory of Intelligent Transport Systems Solomenko Institute of Transport Problems of the Russian Academy of Sciences 13 12-th Line VO 199178 Saint Petersburg Russia Department of Programming Technologies Saint-Petersburg State University Universitetsky ave. 35 Peterhof St. Petersburg 198504 Russia Automobile Transport Department Sevastopol State University 33 Universitetskaya Street Sevastopol 299053 Russia

The article developed a technique for using convolutional neural networks for automatic segmentation of roads in images obtained from satellites with a synthesized aperture. The analysis of the subject area and the relevance of this study. The development of a neural network based on U-net was carried out in Python 3x using the libraries TensorFlow, TensorBoard, Pandas, Numpy, Scipy, Matplotlib, Sklearn. The neural network was trained on a training sample of 1200 images prepared by hand marking. The accuracy of the developed model when testing on prepared samples was 68%. According to the results of the study, conclusions were drawn and prospects for further functional development of the developed tools were determined.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Chronix: long term storage and retrieval technology for anomaly detection in operational data 17

Chronix: long term storage and retrieval technology for anom...

引用

Proceedings of the 15th Usenix Conference on File and Storage Technologies

作者： Florian Lautenschlager Michael Philippsen Andreas Kumlehn Josef Adersberger QAware GmbH Munich Germany University Erlangen-Nürnberg Programming Systems Group Germany

ISBN: (纸本)9781931971362

Anomalies in the runtime behavior of software systems, especially in distributed systems, are inevitable, expensive, and hard to locate. To detect and correct such anomalies (like instability due to a growing memory consumption, failure due to load spikes, etc.) one has to automatically collect, store, and analyze the operational data of the runtime behavior, often represented as time series. There are efficient means both to collect and analyze the runtime behavior. But traditional time series databases do not yet focus on the specific needs of anomaly detection (generic data model, specific built-in functions, storage efficiency, and fast query execution).The paper presents Chronix, a domain specific time series database targeted at anomaly detection in operational data. Chronix uses an ideal compression and chunking of the time series data, a methodology for commissioning Chronix' parameters to a sweet spot, a way of enhancing the data with attributes, an expandable set of analysis functions, and other techniques to achieve both faster query times and a significantly smaller memory footprint. On benchmarks Chronix saves 20%-68% of the space that other time series databases need to store the data and saves 80%-92% of the data retrieval time and 73%-97% of the runtime of analyzing functions.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Comparative analysis of signal processing methods secondary surveillance radar

Comparative analysis of signal processing methods secondary ...

引用

International Conference on Radio Electronics & Info Communications (UkrMiCo)

作者： A.E. Goriushkina I.V. Svyd G.E. Zavolodko G.V. Maistrenko Department of Computer science and Programming National Technical University «KhPI» NTU «KhPI» Kharkiv Ukraine Dept. Radiotechnologies Information and Communication Systems Kharkiv National University of Radio Electronics Kharkiv Ukraine Department of Information Systems National Technical University «KhPI» NTU «KhPI» Kharkiv Ukraine Department of Electronic Computers Kharkiv National University of Radio Electronics Kharkiv Ukraine

ISBN: (数字)9781538652640

ISBN: (纸本)9781538652657

In the paper, based on a comparative analysis of the methods of processing time-interval codes used as secondary surveillance radar information signals consisting of a different sequence of performing joint decoding operations, selecting signals by duration and time position, it is shown that the most effective is the signal processing method in which first the signals are decoded, then the signals are selected in accordance with the duration and in the future with the selection according to the time position, which provides the lowest probability of a false alarm of the first kind.

关键词： Radar Interference Decoding Security Radar signal processing Surveillance

来源：评论

学校读者我要写书评

暂无评论

Monte-Carlo Tree Search with Tree Shape Control

Monte-Carlo Tree Search with Tree Shape Control

引用

IEEE Ukraine Conference on Electrical and Computer Engineering

作者： Oleksandr I. Marchenko Oleksii O. Marchenko Department of System Programming and Specialized Computer Systems National Technical University of Ukraine "Igor Sikorsky Kyiv polytechnic institute"

ISBN: (纸本)9781509030071

The paper, basing on analysis of the Monte-Carlo Tree Search (MCTS) method and specific features of its behavior for various cases of usage, proposes a new variant of the method, which was called as Monte-Carlo Tree Search with Tree Shape Control (MCTS-TSC) and which uses original Depth-Width Criteria (DWCs) for both tree shape estimation and control during search and for estimation and selection of potentially better options for search continuation. Proposed Tree Shape Control (TSC) technique can be used with some other tuning, pruning, and learning techniques. Besides, it can provide better scheduling of MCTS parallelization.

关键词： Monte-Carlo Tree Search (MCTS) Game tree MCTS improvement techniques Exploitation-exploration dilemma Tree shape control MCTS parallelization

来源：评论

学校读者我要写书评

暂无评论

Multi-Agent Approach for Dynamic Elasticity of Virtual Machines Provisioning in Heterogeneous Distributed Computing Environment

Multi-Agent Approach for Dynamic Elasticity of Virtual Machi...

引用

International Conference on High Performance Computing & Simulation (HPCS)

作者： Alexander Feoktistov Ivan Sidorov Andrei Tchernykh Alexei Edelev Valery Zorkalzev Roman Kostromin Sergey Gorsky Igor Bychkov Arutyun Avetisyan Matrosov Institute for System Dynamics and Control Theory of the Siberian Branch of the Russian Academy of Sciences Irkutsk Russia Matrosov Inst. for Syst. Dynamics & Control Theor. Irkutsk Russia Ivannikov Institute for System Programming of the Russian Academy of Sciences Moscow Russia Melentiev Energy Systems Institute of the Siberian Branch of the Russian Academy of Sciences Irkutsk Russia

ISBN: (纸本)9781538678800

We address dynamic elasticity issues of VM provisioning in a heterogeneous distributed computing environment that integrates resources of a data center. We consider the scenario when the center includes dedicated resources (private cloud) for providing virtualized service and non-dedicated resources for Grid-computing. Existing platforms for the resource virtualization does not support management of such an infrastructure. We propose an approach to a job management based on the dynamic elasticity of virtual machines provisioning using resources of both types. We develop the multi¬agent job scheduler for dedicated resources and hypervisor shell to launch virtual machines through queues of resource management systems in non-dedicated resources. The scheduler provides a dynamic elasticity of virtual machine provisioning. Advantages of the offered approach to the resource virtualization are demonstrated by an example of a job flow management for a scalable application to solve the complicated practical problem. It is related to the energy security of Vietnam. Provided experiments show that using the developed tools together with the platform for the resource virtualization enables agents to significantly speed up the problem-solving process.

关键词： Cloud computing Resource management Dynamic scheduling Virtual machine monitors Elasticity Virtual machining

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Conceptual model of the VR module for “Virtual plaza for interactive presentation of Bulgarian cultural heritage”

引用

AIP Conference Proceedings 2019年第1期2172卷

作者： Angel Bachvarov Dimo Chotrov Yordan Yordanov Zlatka Uzunova 1Technical University Sofia Faculty of Mechanical Engineering Department Automation of Discrete Production Engineering Bulgaria 2Technical University Sofia Faculty of Computer Systems and Technologies Department Programming and Computer Technologies Bulgaria 3Technical University Sofia Faculty of German Engineering Education and Industrial Management Bulgaria 4Research and Development and Innovation Consortium Virtual and Augmented Reality Laboratory Bulgaria

In the last years, Virtual Reality (VR) has been established itself as a highly promising media technology for reconstruction and presentation of cultural heritage sites to a wide audience. Virtual Reality enables not only an exploration of a single artefact but of many virtual objects spatially and temporally arranged into a single scene. The users enter an artificially created space and get a feeling of being a part of it. They can perceive and interact with the objects in the virtual environment in natural way. In this paper we propose a conceptual model of the VR module for the “Virtual Plaza for Immersive Representation of Bulgarian Cultural Heritage Sites”. It contains an analysis of the possible input data and the developed workflows to help experts from the cultural heritage domain to implement various scenarios for presentation of single artefacts and complete scene par of cultural heritage site using the benefits of Virtual Reality as visualization medium.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Synchrony versus causality in distributed systems

Synchrony versus causality in distributed systems

引用

作者： Peters, Kirstin Schicke-Uffmann, Jens-Wolfhard Goltz, Ursula Nestmann, Uwe School of Electrical Engineering and Computer Science TU Berlin Germany Institute for Programming and Reactive Systems TU Braunschweig Germany

Given a synchronous system, we study the question whether - or, under which conditions - the behaviour of that system can be realized by a (non-trivially) distributed and hence asynchronous implementation. In this paper, we partially answer this question by examining the role of causality for the implementation of synchrony in two fundamental different formalisms of concurrency, Petri nets and the π-calculus. For both formalisms it turns out that each 'good' encoding of synchronous interactions using just asynchronous interactions introduces causal dependencies in the translation. © Cambridge University Press 2014.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：