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

arXiv 2017年

作者： Popli, Nipun Pequito, Sérgio Kar, Soummya Pedro Aguiar, A. Ilić, Marija Department of Electrical and Computer Engineering Carnegie Mellon University PittsburghPA15213 United States Department of Electrical and Systems Engineering School of Engineering and Applied Science University of Pennsylvania PhiladelphiaPA19104 United States Institute for System and Robotics Instituto Superior Técnico University of Lisbon Lisbon Portugal Porto Portugal

This paper addresses the problem of minimum cost resilient actuation-sensing-communication co-design for regular descriptor systems while ensuring selective strong structural system's properties. More specifically, the problem consists of determining the minimum cost deployment of actuation and sensing technology, as well as communication between the these, such that decentralized control approaches are viable for an arbitrary realization of regular descriptor systems satisfying a pre-specified selective structure, i.e., some entries can be zero, nonzero, or either zero/nonzero. Towards this goal, we rely on strong structural systems theory and extend it to cope with the selective structure that casts resiliency/robustness properties and uncertainty properties of system's model. Upon such framework, we introduce the notion of selective strong structural fixed modes as a characterization of the feasibility of decentralized control laws. Also, we provide necessary and sufficient conditions for this property to hold, and show how these conditions can be leveraged to determine the minimum cost resilient placement of actuation-sensing-communication technology ensuring feasible solutions. In particular, we study the minimum cost resilient actuation and sensing placement, upon which we construct the solution to our problem. Finally, we illustrate the applicability the main results of this paper on an electric power grid example. Copyright © 2017, The Authors. All rights reserved.

关键词： Describing functions

来源：评论

学校读者我要写书评

暂无评论

A report on the first international workshop on research methods in animal-computer interaction

A report on the first international workshop on research met...

引用

2017 ACM SIGCHI Conference on Human Factors in Computing systems, CHI EA 2017

作者： Zamansky, Anna Roshier, Amanda Mancini, Clara Collins, Emily C. Hall, Carol Grillaert, Katie Morrison, Ann North, Steve Wirman, Hanna Information Systems Department University of Haifa Israel School of Veterinary Medicine and Science University of Nottingham United Kingdom Animal-Computer Interaction Lab Open University Milton Keynes United Kingdom Sheffield Robotics University of Sheffield United Kingdom School of Animal Rural and Environmental Sciences Nottingham Trent University United Kingdom Messerli Research Institute University of Veterinary Medicine Medical University of Vienna University of Vienna Austria Department of Architecture Design and Media Technology Aalborg University Denmark Mixed Reality Laboratory University of Nottingham United Kingdom School of Design Hong Kong Polytechnic University Hong Kong

ISBN: (纸本)9781450346566

Animal-computer Interaction (ACI) is a new and quickly developing discipline, which is closely related to HCI and is making reference to some of its theoretical frameworks and research methodologies. The first edition of the Workshop on Research Methods in ACI (RM4ACI) was co-located with the Third International Conference on Animal-computer Interaction, which took place in Milton-Keynes, UK in November 2016. This paper presents an overview of the workshop, including insights from discussions on some of the challenges faced by the ACI community as it works to develop ACI as a discipline, and on important opportunities for cross-fertilization between HCI and ACI that the HCI community could consider. Copyright © 2017 by the Association for Computing Machinery, Inc. (ACM).

关键词： Animals

来源：评论

学校读者我要写书评

暂无评论

Static drone placement by elephant herding optimization algorithm

Static drone placement by elephant herding optimization algo...

引用

Telecommunications Forum (TELFOR)

作者： Ivana Strumberger Nebojsa Bacanin Slavisa Tomic Marko Beko Milan Tuba Graduate School of Computer Science Megatrend University Belgrade Serbia Institute for Systems and Robotics (ISR) Instituto Superior Tecnico (IST) Lisbon Portugal CTS/UNINOVA Universidade Lusofona de Humanidades e Tecnologias Lisboa Portugal Department of Technical Sciences State University of Novi Pazar Novi Pazar Serbia

Optimal placement of drones is a very challenging problem and it belongs to the group of hard optimization problems for which swarm intelligence algorithms were successfully applied. This paper presents an implementation of the recent elephant herding optimization algorithm for solving the static drone location problem. The objective of the model applied in this paper is to establish monitoring of all targets with the least possible number of drones. In empirical tests we used two problem instances: one with 30 uniformly distributed targets, and one with 30 clustered targets. The simulation results show that the elephant herding optimization algorithm performs well in covering targets for both instances of the problem, especially considering the number of drones that were deployed.

关键词： Drones Optimization Clustering algorithms Monitoring Sociology Statistics Particle swarm optimization

来源：评论

学校读者我要写书评

暂无评论

Stator Winding Short-Circuit Fault Diagnosis in Induction Motors using Random Forest

Stator Winding Short-Circuit Fault Diagnosis in Induction Mo...

引用

IEEE International Electric Machines and Drives Conference

作者： Tiago dos Santos Fernando J. T. E. Ferreira Joao Moura Pires Carlos Damasio Department of Computer Science NOVA-LINCS Nova University of Lisbon (FCT/UNL) Lisbon Portugal Dep. of Electrical and Computer Engineering Institute of Systems and Robotics University of Coimbra Coimbra Portugal

ISBN: (纸本)9781509042821

In this paper, an approach to detect stator winding short-circuit faults in squirrel-cage induction motors based on Random Forest and Park's Vector is proposed. This is accomplished by scoring the unbalance in the current and voltage waveforms as well as in Park's Vector, both for current and voltage. To score the unbalance in the d-q space, a Principal Component Analysis is applied to Park's Vector and with the first two principal components the eccentricity is calculated, while the first principal component is used to determine the phase in short-circuit. The proposed strategy has been experimentally tested on a special 400-V, 50-Hz, 4-pole, 2.2-kW induction motor with reconfigurable stator windings in which it was possible to emulate different types of inter-turn short-circuits. The results are quite promising, even only using 1-kHz sampling frequency to acquire the current and voltage waveforms in the three phases, and the use of the Fast Fourier Transform is avoided. The developed solution may be used for tele-monitoring of the motor condition and to implement advanced predictive maintenance strategies.

关键词： Fault diagnosis Induction motor Inter-turn short-circuit Stator winding PCA Predictive maintenance Machine learning Classification Random forest

来源：评论

学校读者我要写书评

暂无评论

Studying bioluminescence flashes with the ANTARES deep Sea neutrino telescope

arXiv

引用

arXiv 2021年

作者： Reeb, Nico Hutschenreuter, S. Zehetner, P. Ensslin, T. Albert, A. Alves, S. André, M. Anghinolfi, M. Anton, G. Ardid, M. Aubert, J.-J. Aublin, J. Baret, B. Basa, S. Belhorma, B. Bendahman, M. Bertin, V. Biagi, S. Bissinger, M. Boumaaza, J. Bouta, M. Bouwhuis, M.C. Brânzaş, H. Bruijn, R. Brunner, J. Busto, J. Caiffi, B. Capone, A. Caramete, L. Carr, J. Carretero, V. Celli, S. Chabab, M. Chau, T.N. Chiarusi, T. Circella, M. Coleiro, A. Colomer-Molla, M. Coniglione, R. Coyle, P. Creusot, A. Díaz, A.F. de Wasseige, G. Deschamps, A. Distefano, C. Di Palma, I. Domi, A. Donzaud, C. Dornic, D. Drouhin, D. van Eeden, T. Enzenhöfer, A. Fermani, P. Ferrara, G. Filippini, F. Fusco, L. Gatelet, Y. Gay, P. Glotin, H. Gozzini, R. Ruiz, R. Gracia Graf, K. Guidi, C. Hallmann, S. van Haren, H. Heijboer, A.J. Hello, Y. Hernández-Rey, J.J. Hößl, J. Hofestädt, J. Huang, F. Illuminati, G. James, C.W. Jisse-Jung, B. de Jong, M. de Jong, P. Jongen, M. Kadler, M. Kalekin, O. Katz, U. Khan-Chowdhury, N.R. Kouchner, A. Kreykenbohm, I. Kulikovskiy, V. Lahmann, R. Le Breton, R. Lefèvre, D. Leonora, E. Levi, G. Lincetto, M. Lopez-Coto, D. Loucatos, S. Maderer, L. Manczak, J. Marcelin, M. Margiotta, A. Marinelli, A. Martínez-Mora, J.A. Melis, K. Migliozzi, P. Moussa, A. Muller, R. Nauta, L. Navas, S. Nezri, E. Fearraigh, B.Ó. Organokov, M. Pavalaş, G.E. Pellegrino, C. Perrin-Terrin, M. Piattelli, P. Pieterse, C. Poirè, C. Popa, V. Pradier, T. Randazzo, N. Reck, S. Riccobene, G. Romanov, A. Sánchez-Losa, A. Greus, F. Salesa Samtleben, D.F.E. Sanguineti, M. Sapienza, P. Schnabel, J. Schumann, J. Schüssler, F. Spurio, M. Stolarczyk, Th. Taiuti, M. Tingay, S.J. Vallage, B. van Elewyck, V. Versari, F. Viola, S. Vivolo, D. Wilms, J. Zavatarelli, S. Zegarelli, A. Zornoza, J.D. Zúñiga, J. Information Field Theory Group Max Planck Institute for Astrophysics Garching Germany Informatics 6 Chair of Robotics Artificial Intelligence and Real time Systems Technical University of Munich Garching Germany Department of Astrophysics IMAPP Radboud University Nijmegen Nijmegen Netherlands Department of Physics Ludwig-Maximilians University Munich Germany CERN Geneva Switzerland Université de Strasbourg CNRS IPHC UMR 7178 StrasbourgF-67000 France Université de Haute Alsace MulhouseF-68200 France IFIC - Instituto de Física Corpuscular CSIC Universitat de València c/ Catedrático José Beltrán 2 Paterna ValenciaE-46980 Spain Technical University of Catalonia Laboratory of Applied Bioacoustics Rambla Exposició Vilanova i la Geltrú Barcelona08800 Spain INFN - Sezione di Genova Via Dodecaneso 33 Genova16146 Italy Friedrich-Alexander-Universität Erlangen-Nürnberg Erlangen Centre for Astroparticle Physics Erwin-Rommel-Str. 1 Erlangen91058 Germany Universitat Politècnica de València C/ Paranimf 1 Gandia46730 Spain Aix Marseille Univ CNRS IN2P3 CPPM Marseille France Université de Paris CNRS Astroparticule et Cosmologie ParisF-75013 France Aix Marseille Univ CNRS CNES LAM Marseille France National Center for Energy Sciences and Nuclear Techniques B.P.1382 RabatR. P. 10001 Morocco University Mohammed V in Rabat Faculty of Sciences 4 av. Ibn Battouta B.P. 1014 R.P. Rabat10000 Morocco Via S. Sofia 62 Catania95123 Italy University Mohammed I Laboratory of Physics of Matter and Radiations B.P.717 Oujda6000 Morocco Nikhef Science Park Amsterdam Netherlands Institute of Space Science Bucharest MagureleRO-077125 Romania Universiteit van Amsterdam Instituut voor Hoge-Energie Fysica Science Park 105 Amsterdam1098 XG Netherlands INFN - Sezione di Roma P.le Aldo Moro 2 Roma00185 Italy Dipartimento di Fisica Università La Sapienza P.le Aldo Moro 2 Roma00185 Italy LPHEA Faculty of Science - Semlali Cadi Ayyad University P.O

We develop a novel technique to exploit the extensive data sets provided by underwater neutrino telescopes to gain information on bioluminescence in the deep sea. The passive nature of the telescopes gives us the unique opportunity to infer information on bioluminescent organisms without actively interfering with them. We propose a statistical method that allows us to reconstruct the light emission of individual organisms, as well as their location and movement. A mathematical model is built to describe the measurement process of underwater neutrino telescopes and the signal generation of the biological organisms. The Metric Gaussian Variational Inference algorithm is used to reconstruct the model parameters using photon counts recorded by the neutrino detectors. We apply this method to synthetic data sets and data collected by the ANTARES neutrino telescope. The telescope is located 40 km off the French coast and fixed to the sea floor at a depth of 2475 m. The runs with synthetic data reveal that we can reliably model the emitted bioluminescent flashes of the organisms. Furthermore, we find that the spatial resolution of the localization of light sources highly depends on the configuration of the telescope. Precise measurements of the efficiencies of the detectors and the attenuation length of the water are crucial to reconstruct the light emission. Finally, the application to ANTARES data reveals the first precise localizations of bioluminescent organisms using neutrino telescope data. © 2021, CC BY.

关键词： Bioluminescence

来源：评论

学校读者我要写书评

暂无评论

Social activity recognition based on probabilistic merging of skeleton features with proximity priors from RGB-D data

Social activity recognition based on probabilistic merging o...

引用

IEEE/RSJ International Conference on Intelligent Robots and systems

作者： Claudio Coppola Diego R. Faria Urbano Nunes Nicola Bellotto L-CAS School of Computer Science University of Lincoln (UK) Institute of Systems and Robotics Department of Electrical and Computer Engineering University of Coimbra Portugal

ISBN: (纸本)9781509037636

Social activity based on body motion is a key feature for non-verbal and physical behavior defined as function for communicative signal and social interaction between individuals. Social activity recognition is important to study human-human communication and also human-robot interaction. Based on that, this research has threefold goals: (1) recognition of social behavior (e.g. human-human interaction) using a probabilistic approach that merges spatio-temporal features from individual bodies and social features from the relationship between two individuals;(2) learn priors based on physical proximity between individuals during an interaction using proxemics theory to feed a probabilistic ensemble of activity classifiers;and (3) provide a public dataset with RGB-D data of social daily activities including risk situations useful to test approaches for assisted living, since this type of dataset is still missing. Results show that using the proposed approach designed to merge features with different semantics and proximity priors improves the classification performance in terms of precision, recall and accuracy when compared with other approaches that employ alternative strategies.

关键词： Feature extraction Skeleton Mixture models Robots Covariance matrices Probabilistic logic

来源：评论

学校读者我要写书评

暂无评论

Identifying the best machine learning algorithms for brain tumor segmentation, progression assessment, and overall survival prediction in the BRATS challenge

arXiv

引用

arXiv 2018年

作者： Bakas, Spyridon Reyes, Mauricio Jakab, Andras Bauer, Stefan Rempfler, Markus Crimi, Alessandro Shinohara, Russell Takeshi Berger, Christoph Ha, Sung Min Rozycki, Martin Prastawa, Marcel Alberts, Esther Lipkova, Jana Freymann, John Kirby, Justin Bilello, Michel Fathallah-Shaykh, Hassan M. Wiest, Roland Kirschke, Jan Wiestler, Benedikt Colen, Rivka Kotrotsou, Aikaterini Lamontagne, Pamela Marcus, Daniel Milchenko, Mikhail Nazeri, Arash Weber, Marc-Andr Mahajan, Abhishek Baid, Ujjwal Gerstner, Elizabeth Kwon, Dongjin Acharya, Gagan Agarwal, Manu Alam, Mahbubul Albiol, Alberto Albiol, Antonio Albiol, Francisco J. Alex, Varghese Allinson, Nigel Amorim, Pedro H.A. Amrutkar, Abhijit Anand, Ganesh Andermatt, Simon Arbel, Tal Arbelaez, Pablo Avery, Aaron Azmat, Muneeza Pranjal, B. Bai, Wenjia Banerjee, Subhashis Barth, Bill Batchelder, Thomas Batmanghelich, Kayhan Battistella, Enzo Beers, Andrew Belyaev, Mikhail Bendszus, Martin Benson, Eze Bernal, Jose Bharath, Halandur Nagaraja Biros, George Bisdas, Sotirios Brown, James Cabezas, Mariano Cao, Shilei Cardoso, Jorge M. Carver, Eric N. Casamitjana, Adri Castillo, Laura Silvana Cat, Marcel Cattin, Philippe Cérigues, Albert Chagas, Vinicius S. Chandra, Siddhartha Chang, Yi-Ju Chang, Shiyu Chang, Ken Chazalon, Joseph Chen, Shengcong Chen, Wei Chen, Jefferson W. Chen, Zhaolin Cheng, Kun Choudhury, Ahana Roy Chylla, Roger Clrigues, Albert Colleman, Steven Colmeiro, Ramiro German Rodriguez Combalia, Marc Costa, Anthony Cui, Xiaomeng Dai, Zhenzhen Dai, Lutao Daza, Laura Alexandra Deutsch, Eric Ding, Changxing Dong, Chao Dong, Shidu Dudzik, Wojciech Eaton-Rosen, Zach Egan, Gary Escudero, Guilherme Estienne, Tho Everson, Richard Fabrizio, Jonathan Fan, Yong Fang, Longwei Feng, Xue Ferrante, Enzo Fidon, Lucas Fischer, Martin French, Andrew P. Fridman, Naomi Fu, Huan Fuentes, David Gao, Yaozong Gates, Evan Gering, David Gholami, Amir Gierke, Willi Glocker, Ben Gong, Mingming Gonzlez-Vill, Sandra Grosges, T. Guan, Yuanfang Guo, Sheng Gupta, Sudeep Han, Woo-Sup Han, Il Song Harmuth, Ko Center for Biomedical Image Computing and Analytics University of Pennsylvania PhiladelphiaPA United States Department of Radiology Perelman School of Medicine University of Pennsylvania PhiladelphiaPA United States Department of Pathology and Laboratory Medicine Perelman School of Medicine University of Pennsylvania PhiladelphiaPA United States Institute for Surgical Technology and Biomechanics University of Bern Bern Switzerland Center for MR-Research University Children's Hospital Zurich Zurich Switzerland Support Centre for Advanced Neuroimaging Inselspital Institute for Diagnostic and Interventional Neuroradiology Bern University Hospital Bern Switzerland University Hospital of Zurich Zurich Switzerland Center for Clinical Epidemiology and Biostatistics University of Pennsylvania Philadelphia United States Image-Based Biomedical Modeling Group Technical University of Munich Munich Germany Icahn School of Medicine Mount Sinai Health System New YorkNY United States Leidos Biomedical Research Inc. Frederick National Laboratory for Cancer Research FrederickMD21701 United States Cancer Imaging Program National Cancer Institute National Institutes of Health BethesdaMD20814 United States Department of Neurology University of Alabama at Birmingham BirminghamAL United States Department of Diagnostic Radiology University of Texas MD Anderson Cancer Center HoustonTX United States Department of Psychology Washington University St. LouisMO United States Neuroimaging Informatics and Analysis Center Washington University St. LouisMO United States Department of Radiology Washington University St. LouisMO United States Institute of Diagnostic and Interventional Radiology Pediatric Radiology and Neuroradiology University Medical Center Rostock Ernst-Heydemann-Str. 6 Rostock18057 Germany Tata Memorial Centre Homi Bhabha National Institute Mumbai India Shri Guru Gobind Singhji Institute of Engineering and Technology Nanded India NVIDIA Santa Clara

Gliomas are the most common primary brain malignancies, with different degrees of aggressiveness, variable prognosis and various heterogeneous histologic sub-regions, i.e., peritumoral edematous/invaded tissue, necrotic core, active and non-enhancing core. This intrinsic heterogeneity is also portrayed in their radio-phenotype, as their sub-regions are depicted by varying intensity profiles disseminated across multi-parametric magnetic resonance imaging (mpMRI) scans, reflecting varying biological properties. Their heterogeneous shape, extent, and location are some of the factors that make these tumors difficult to resect, and in some cases inoperable. The amount of resected tumor is a factor also considered in longitudinal scans, when evaluating the apparent tumor for potential diagnosis of progression. Furthermore, there is mounting evidence that accurate segmentation of the various tumor sub-regions can offer the basis for quantitative image analysis towards prediction of patient overall survival. This study assesses the state-of-the-art machine learning (ML) methods used for brain tumor image analysis in mpMRI scans, during the last seven instances of the International Brain Tumor Segmentation (BraTS) challenge, i.e., 2012-2018. Specifically, we focus on i) evaluating segmentations of the various glioma sub-regions in pre-operative mpMRI scans, ii) assessing potential tumor progression by virtue of longitudinal growth of tumor sub-regions, beyond use of the RECIST/RANO criteria, and iii) predicting the overall survival from pre-operative mpMRI scans of patients that underwent gross total resection. Finally, we investigate the challenge of identifying the best ML algorithms for each of these tasks, considering that apart from being diverse on each instance of the challenge, the multi-institutional mpMRI BraTS dataset has also been a continuously evolving/growing dataset. Copyright © 2018, The Authors. All rights reserved.

关键词： Tumors

来源：评论

学校读者我要写书评

暂无评论

Common spatial pattern with feature scaling (FSc-CSP) for motor imagery classification 17th

引用

17th International Conference on Asia Simulation, AsiaSim 2017

作者： Prathama, Yohanes de Britto Hertyasta Shapiai, Mohd Ibrahim Aris, Siti Armiza Mohd Ibrahim, Zuwairie Jaafar, Jafreezal Fauzi, Hilman Department of Electronic Systems Engineering Malaysia-Japan International Institute of Technology Universiti Teknologi Malaysia Jalan Sultan Yahya Petra Kuala LumpurWP Kuala Lumpur54100 Malaysia Centre for Artificial Intelligence and Robotics Universiti Teknologi Malaysia Jalan Sultan Yahya Petra Kuala LumpurWP Kuala Lumpur54100 Malaysia Razak School of Engineering and Advanced Technology Universiti Teknologi Malaysia Jalan Sultan Yahya Petra Kuala LumpurWP Kuala Lumpur54100 Malaysia Faculty of Electrical and Electronic Engineering Universiti Malaysia Pahang PekanPahang26600 Malaysia Department of Computer and Information Sciences Faculty of Science and Information Technology Universiti Teknologi Petronas Seri Iskandar Malaysia Faculty of Electrical Engineering Telkom University Bandung Indonesia

ISBN: (纸本)9789811064623

Brain-computer Interface (BCI) is a way to translate human thoughts into computer commands. One of the most popular BCI type is Electroencephalography (EEG)-based BCI, where motor imagery is considered one of the most effective ways. Previously, to extract useful information, various filters are introduced, such as spatial, temporal, and spectral filtering. A spatial filtering algorithm called Common Spatial Pattern (CSP) was developed and known to have excellent performance, especially in motor imagery for BCI application. In general, there are several approaches in improving CSP such as regularization approach, analytic approach, and frequency band selection. In general, the existing techniques for band selection is either to select or reject the band by ignoring the importance of the band. For example, Binary Particle Search Optimization Common Spatial Pattern (BPSO-CSP) was proposed to choose multiple possible best bands to be used in processing the data. In this paper, we propose an algorithm called Feature Scaling Common Spatial Pattern (FSc-CSP) to overcome the problem of feature selection. Instead of selecting features, the proposed algorithm employs a feature scaling system to scale the importance of each band by using Genetic Algorithm (GA) altogether with Extreme Learning Machine (ELM) as classifier, with 1 signifying the most important bands, declining until 0 for the unused bands, as opposed to the 1 and 0 selection system used in BPSO-CSP. Conducted experiments show that by employing feature scaling, better results can be achieved especially compared to vanilla CSP and feature selection with 100 hidden nodes in three from five BCI Competition III datasets IVa, namely aa, aw and ay, with around 5–8% better results compared to vanilla CSP and feature selection. © Springer Nature Singapore Pte Ltd. 2017.

关键词： Brain computer interface

来源：评论

学校读者我要写书评

暂无评论

Fingerprints selection for topological localization

引用

AIP Conference Proceedings 2017年第1期1863卷

作者： Vladimir Popov Ural Federal University Department of Intelligent Systems and Robotics Mathematics and Computer Science Institute Lenin st. 51 620083 Ekaterinburg Russian Federation

Problems of visual navigation are extensively studied in contemporary robotics. In particular, we can mention different problems of visual landmarks selection, the problem of selection of a minimal set of visual landmarks, selection of partially distinguishable guards, the problem of placement of visual landmarks. In this paper, we consider one-dimensional color panoramas. Such panoramas can be used for creating fingerprints. Fingerprints give us unique identifiers for visually distinct locations by recovering statistically significant features. Fingerprints can be used as visual landmarks for the solution of various problems of mobile robot navigation. In this paper, we consider a method for automatic generation of fingerprints. In particular, we consider the bounded Post correspondence problem and applications of the problem to consensus fingerprints and topological localization. We propose an efficient approach to solve the bounded Post correspondence problem. In particular, we use an explicit reduction from the decision version of the problem to the satisfiability problem. We present the results of computational experiments for different satisfiability algorithms. In robotic experiments, we consider the average accuracy of reaching of the target point for different lengths of routes and types of fingerprints.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Task sequencing for autonomous robotic vacuum cleaners

引用

AIP Conference Proceedings 2017年第1期1863卷

作者： Anna Gorbenko Vladimir Popov Ural Federal University Department of Intelligent Systems and Robotics Mathematics and Computer Science Institute Lenin st. 51 620083 Ekaterinburg Russian Federation

Various planning problems for robotic systems are of considerable interest. One of such problems is the problem of task sequencing. In this paper, we consider the problem of task sequencing for autonomous vacuum floor cleaning robots. We consider a graph model for the problem. We propose an efficient approach to solve the problem. In particular, we use an explicit reduction from the decision version of the problem to the satisfiability problem. We present the results of computational experiments for different satisfiability algorithms.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：