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

arXiv 2020年

作者： Stella, Leonardo Martínez, Alejandro Pinel Bauso, Dario Colaneri, Patrizio Department of Computing College of Science & Engineering University of Derby Kedleston Road DE22 1GB United Kingdom Jan C. Willems Center for Systems and Control ENTEG Faculty of Science and Engineering University of Groningen Netherlands Dipartimento di Ingegneria University of Palermo Italy Dipartimento di Elettronica e Informazione Politecnico di Milano Italy

Background Recent seroprevalence studies have tried to estimate the real number of asymptomatic cases affected by COVID-19. It is of paramount importance to understand the impact of these infections in order to prevent a second wave. This study aims to model the interactions in the population by means of a complex network and to shed some light on the effectiveness of localised control measures in Italy in relation to the school opening in mid-September. Methods The formulation of an epidemiological predictive model is given: the advantage of using this model lies in that it discriminates between asymptomatic and symptomatic cases of COVID-19 as the interactions with these two categories of infected individuals are captured separately, allowing for a study on the impact of asymptomatic cases. This model is then extended to a structured nonhomogeneous version by means of the Watts-Strogatz complex network, which is adopted widely to model societal interactions as it holds the small world property. Finally, a case study on the situation in Italy is given: first the homogeneous model is used to compare the official data with the data of the recent seroprevalence study from Istat;second, in view of the return to school in mid-September, a study at regional level is conducted. Findings The proposed model captures an aspect of COVID-19 which is crucial in controlling the further spread of the contagion and in preventing a second wave: the interactions with undetected cases who have therefore not been isolated, mostly asymptomatic or paucisymptomatic, namely 1-2 symptoms without anosmia or ageusia, and their impact on latent infections. The evolution of the pandemic is well captured by model fitting with official data from the Protezione Civile, both at a national level as well as regional level. The case study provides insight on the potential effects of localised restrictions, without the coordination at a national level. The results of this study highlight the importanc

关键词： Complex networks

来源：评论

学校读者我要写书评

暂无评论

Rely-Guarantee Reasoning about Messaging System for Autonomous Vehicles

Rely-Guarantee Reasoning about Messaging System for Autonomo...

引用

Theoretical Aspects of Software engineering (TASE)

作者： Wenjing Xu Yongwang Zhao Dianfu Ma YuXin Zhang Qian Xiao State Key Laboratory of Software Development Environment School of Computer Science and Engineering Beihang Univerisity Beijing China Beijing Advanced Innovation Center for Big Data and Brain Computing Beihang University Beijing China State Key Laboratory of Automotive Simulation and Control College of Automotive Engineering Jilin University Jilin China School of Computer Science and Technology Guizhou University Guiyang China

Messaging system as a communicating infrastructure is a safety-critical component of autonomous vehicles. For the purpose of safety certification of Level 4 autonomous driving systems, its necessary to provide a formally verified specification of messaging systems. This paper presents a realistic case study using the PiCore rely-guarantee framework to formally verify the DGPS (Differential Global Positioning System) of UISEE autonomous driving systems. We first create an axiom model of messaging systems by extending PiCore, which is reusable for concrete applications. The model supports dynamic configuration of message buffers as well as the automatic generation of the rely and guarantee conditions for compositional reasoning. It is instantiated when developing the formal specification of DGPS. Then, we use the rely-guarantee proof system of PiCore to verify the functional correctness and invariant of DGPS. The specification and its proof provide a strong evidence for the ongoing safety certification of DGPS.

关键词： Cognition Safety Formal specifications Vehicle dynamics Autonomous vehicles Certification Global Positioning System

来源：评论

学校读者我要写书评

暂无评论

Autonomous vehicle simulation model to assess potential collisions to reduce severity of impacts 4

Autonomous vehicle simulation model to assess potential coll...

引用

4th International Conference on Vehicle Technology and Intelligent Transport Systems, VEHITS 2018

作者： Gilbert, Alex Petrovic, Dobrila Warwick, Kevin Serghi, Vasilis Coventry University Faculty of Engineering Environment and Computing United Kingdom Jaguar Land Rover Autonomous Vehicle Control United Kingdom

ISBN: (纸本)9789897582936

Autonomous vehicle safety has received much attention in recent years. Autonomous vehicles will improve road safety by eliminating human errors. However, not all automotive collisions can be avoided. A strategy needs to be developed in the event when an autonomous vehicle encounters an unavoidable collision. Furthermore, the vehicle will need to take responsibility for the safety of its occupants, as well as any other individuals, who may be affected by the vehicle’s behaviour. This paper proposes a control system to assist an autonomous vehicle to make a decision to reduce the risks to occupants potentially involved in highway motorway collisions. Before any decision can be made, the potential collisions need to be assessed for their effects. A quick and numerical method for evaluation of impact of potential collisions was developed. Assessing the Kinetic Energy of the vehicles before and after collisions is proposed as a method to assess the severity of collisions. A simulation model developed calculates the kinetic energy values and recommends an autonomous vehicle the motorway lane to drive into to cause the least severe collision impact. Different scenarios are defined and used to test the simulation model. The results obtained are promising and in line with the decision made by the subject expert. Copyright © 2018 by SCITEPRESS – Science and Technology Publications, Lda. All rights reserved

关键词： Autonomous vehicles

来源：评论

学校读者我要写书评

暂无评论

Prediction of Mastitis in Dairy Cows Based on Milk Yield, Rumination Time, and Milk Electrical Conductivity Using Machine Learning Algorithms

SSRN

引用

SSRN 2022年

作者： Zhou, XiaoJing Wang, Hao Xu, Chuang Zhao, Zixuan Xu, Wei Deng, Zhaoju Department of Information and Computing Science Heilongjiang Bayi Agricultural University No. 5 Xinyang Road Heilongjiang Province Daqing163319 China Heilongjiang Provincial Key Laboratory of Prevention and Control of Bovine Diseases College of Animal Science and Veterinary Medicine Heilongjiang Bayi Agricultural University No. 5 Xinyang Road Heilongjiang Province Daqing163319 China Animal Husbandry and Veterinary Branch of Heilongjiang Academy of Agricultural Science Heilongjiang Province Qiqihar161005 China Department of Biosystems Division of Animal and Human Health Engineering KU Leuven Oude Markt 13 3000 Belgium College of Veterinary Medicine China Agricultural University Haidian District Tsinghua East road No.17 Beijing10010 China

In commercial dairy farms, mastitis is associated with potentially increased use of antimicrobials and associated resistance, thereby, affecting the welfare of dairy cows and increasing the rate of culling and/or death. Therefore, accurate and efficient mastitis prediction is valuable for timely intervention. Machine learning algorithms have been successfully used to solve many biological problems such as predicting or detecting subclinical mastitis using high-dimensional and noisy data obtained from sensors used on the farm. Therefore, this study aimed to develop sensor-based prediction models for bovine mastitis using variables related to daily activity and rumination time generated from collars, coupled with daily composite milk yield, and milk electrical conductivity from rotary milking systems from five commercial farms in Northeast China. We employed nine machine learning algorithms to analyze original data of 447 diseased and 2146 healthy cows obtained over 2.5 years and the corresponding Z-standardized dataset of four specific stages of lactation to train and test the prediction models for recognizing and predicting naturally occurring mastitis in these dairy cows. The sensitivity, specificity, accuracy, precision, AUC, and Matthews’s correlation coefficient of these models were calculated to evaluate the model performance. For Z-standardized data of cows in the 0-28 DIM and 29-100 DIM subgroups, the multi-layer artificial neural net (MNET) algorithm showed the best performance, with the sensitivity, specificity and accuracy of 91.89%, 93.69%, 93.24% for data of cows in 0-28 DIM, and 91.84%, 96.73, 95.44% for that in 29-100 DIM, respectively. For data of the subgroups 101–200 DIM and 201–305 DIM, random forest performed best on both the non-standardized and the Z-standardized datasets. Results of the Z-standardized dataset for all four subgroups were better than those of the non-standardized data. We also calculated the peak milk yield (PMY) and days in milk

关键词： Forecasting

来源：评论

学校读者我要写书评

暂无评论

Pareto frontier visualization in multi-objective water resources control rules development problem for the Baikal Lake and the Angara River cascade

引用

IFAC-PapersOnLine 2019年第23期52卷 9-16页

作者： A.L. Buber A.V. Lotov A.I. Ryabikov Kostyakov All-Russia Research Institute of Hydraulic Engineering and Land Reclamation Moscow Russia Dorodnicyn Computing Center Federal Research Center Computer Science and Control Russian Academy of Sciences Moscow Russia

Water resource control rules design problem for a cascade of reservoirs is considered. An approach to supporting the control rules design is proposed. The approach reduces the problem to a public non-formalized multi-objective decision making on the tradeoff among various requirements to the rules. The decision process is supported by on-line visualization of Pareto frontier in the form of multiple tradeoff curves among pairs of decision criteria. On-line display of Pareto frontier is based on approximation of Edgeworth-Pareto Hull of the feasible objective set. The approach is used in the framework of the many-objective design of operating rules for the Lake Baikal and the cascade of reservoirs located at the Angara River.

关键词： control design large scale complex systems reservoir management

来源：评论

学校读者我要写书评

暂无评论

End to End Multitask Joint Learning Model for Osteoporosis Classification in CT Images

引用

Computational intelligence and neuroscience 2023年第1期2023卷 3018320页

作者： Kun Zhang Pengcheng Lin Jing Pan Peixia Xu Xuechen Qiu Danny Crookes Liang Hua Lin Wang School of Electrical Engineering Nantong University Nantong Jiangsu 226001 China. Nantong Key Laboratory of Intelligent Control and Intelligent Computing Nantong Jiangsu 226001 China. Nantong Key Laboratory of Intelligent Medicine Innovation and Transformation Nantong Jiangsu 226001 China. Department of Radiology Affiliated Hospital 2 of Nantong University Nantong Jiangsu 226001 China. College of Mechanical Engineering Donghua University Shanghai 201620 China. School of Electronics Electrical Engineering and Computer Science Queen's University Belfast Belfast BT7 1NN UK.

Osteoporosis is a significant global health concern that can be difficult to detect early due to a lack of symptoms. At present, the examination of osteoporosis depends mainly on methods containing dual-energyX-ray, quantitative CT, etc., which are high costs in terms of equipment and human time. Therefore, a more efficient and economical method is urgently needed for diagnosing osteoporosis. With the development of deep learning, automatic diagnosis models for various diseases have been proposed. However, the establishment of these models generally requires images with only lesion areas, and annotating the lesion areas is time-consuming. To address this challenge, we propose a joint learning framework for osteoporosis diagnosis that combines localization, segmentation, and classification to enhance diagnostic accuracy. Our method includes a boundary heat map regression branch for thinning segmentation and a gated convolution module for adjusting context features in the classification module. We also integrate segmentation and classification features and propose a feature fusion module to adjust the weight of different levels of vertebrae. We trained our model on a self-built dataset and achieved an overall accuracy rate of 93.3% for the three label categories (normal, osteopenia, and osteoporosis) in the testing datasets. The area under the curve for the normal category is 0.973; for the osteopenia category, it is 0.965; and for the osteoporosis category, it is 0.985. Our method provides a promising alternative for the diagnosis of osteoporosis at present.

关键词：

来源：评论

学校读者我要写书评

暂无评论

An Early Stage Researcher's Primer on Systems Medicine Terminology

Network and Systems Medicine

引用

Network and Systems Medicine 2021年第1期4卷 2-50页

作者： Zanin, Massimiliano Aitya, Nadim A.A. Basilio, José Baumbach, Jan Benis, Arriel Behera, Chandan K. Bucholc, Magda Castiglione, Filippo Chouvarda, Ioanna Comte, Blandine Dao, Tien-Tuan Ding, Xuemei Pujos-Guillot, Estelle Filipovic, Nenad Finn, David P. Glass, David H. Harel, Nissim Iesmantas, Tomas Ivanoska, Ilinka Joshi, Alok Boudjeltia, Karim Zouaoui Kaoui, Badr Kaur, Daman Maguire, Liam P. McClean, Paula L. McCombe, Niamh De Miranda, João Luís Moisescu, Mihnea Alexandru Pappalardo, Francesco Polster, Annikka Prasad, Girijesh Rozman, Damjana Sacala, Ioan Sanchez-Bornot, Jose M. Schmid, Johannes A. Sharp, Trevor Solé-Casals, Jordi Spiwok, Vojtěch Spyrou, George M. Stalidzans, Egils Stres, Blaa Sustersic, Tijana Symeonidis, Ioannis Tieri, Paolo Todd, Stephen Van Steen, Kristel Veneva, Milena Wang, Da-Hui Wang, Haiying Wang, Hui Watterson, Steven Wong-Lin, Kongfatt Yang, Su Zou, Xin Schmidt, Harald H.H.W. Centro de Tecnología Biomédica Universidad Politécnica de Madrid Madrid Spain Intelligent Systems Research Centre School of Computing Engineering and Intelligent Systems Ulster University Ulster United Kingdom Center for Physiology and Pharmacology Institute of Vascular Biology and Thrombosis Research Medical University of Vienna Vienna Austria TUM School of Life Sciences Weihenstephan Technical University of Munich Freising Germany Holon Israel CNR National Research Council IAC Institute for Applied Computing Rome Italy Lab of Computing Medical Informatics and Biomedical Imaging Technologies School of Medicine Aristotle University of Thessaloniki Thessaloniki Greece Université Clermont Auvergne INRAE UNH Plateforme d'Exploration du Métabolisme MetaboHUB Clermont Clermont-Ferrand France Université de Technologie de Compiègne Compiègne France Labex MS2T Control of Technological Systems-of-Systems CNRS and Université de Technologie de Compiègne Compiègne France Faculty of Engineering University of Kragujevac Kragujevac Serbia Kragujevac Serbia Steinbeis Advanced Risk Technologies Institute Doo Kragujevac Kragujevac Serbia Pharmacology and Therapeutics School of Medicine Galway Neuroscience Centre National University of Ireland Galway Ireland School of Computing Ulster University Ulster United Kingdom Holon Israel Department of Mathematics and Natural Sciences Kaunas University of Technology Kaunas Lithuania Faculty of Computer Science and Engineering Ss. Cyril and Methodius University Skopje Macedonia Medicine Faculty Université Libre de Bruxelles CHU de Charleroi Charleroi Belgium Northern Ireland Centre for Stratified Medicine Biomedical Sciences Research Institute Ulster University Ulster United Kingdom Escola Superior de Tecnologia e Gestão Instituto Politécnico de Portalegre Portalegre Portugal Instituto Superior Técnico Universidade de Lisboa Lisboa Portugal Faculty of Automatic Control and Computers University Politehnica of B

Background: Systems Medicine is a novel approach to medicine, that is, an interdisciplinary field that considers the human body as a system, composed of multiple parts and of complex relationships at multiple levels, and further integrated into an environment. Exploring Systems Medicine implies understanding and combining concepts coming from diametral different fields, including medicine, biology, statistics, modeling and simulation, and data science. Such heterogeneity leads to semantic issues, which may slow down implementation and fruitful interaction between these highly diverse fields. Methods: In this review, we collect and explain more than100 terms related to Systems Medicine. These include both modeling and data science terms and basic systems medicine terms, along with some synthetic definitions, examples of applications, and lists of relevant references. Results: This glossary aims at being a first aid kit for the Systems Medicine researcher facing an unfamiliar term, where he/she can get a first understanding of them, and, more importantly, examples and references for digging into the topic. © Massimiliano Zanin et al., 2021;Published by Mary Ann Liebert, Inc. 2021.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

A review of smartphones based indoor positioning: challenges and applications

arXiv

引用

arXiv 2020年

作者： Nguyen, Khuong An Luo, Zhiyuan Li, Guang Watkins, Chris School of Computing Engineering and Maths University of Brighton BrightonBN2 4AT United Kingdom Computer Science Department Royal Holloway University of London SurreyTW20 0EX United Kingdom Institute of Cyber-Systems and Control Zhejiang University Hangzhou310027 China

The continual proliferation of mobile devices has encouraged much effort in using the smartphones for indoor positioning. This article is dedicated to review the most recent and interesting smartphones based indoor navigation systems, ranging from electromagnetic to inertia to visible light ones, with an emphasis on their unique challenges and potential real-world applications. A taxonomy of smartphones sensors will be introduced, which serves as the basis to categorise different positioning systems for reviewing. A set of criteria to be used for the evaluation purpose will be devised. For each sensor category, the most recent, interesting and practical systems will be examined, with detailed discussion on the open research questions for the academics, and the practicality for the potential clients. Copyright © 2020, The Authors. All rights reserved.

关键词： Smartphones

来源：评论

学校读者我要写书评

暂无评论

Sensor attack correction for linear systems with known inputs

引用

IFAC-PapersOnLine 2018年第23期51卷 206-211页

作者： Tang, Zhanghan Kuijper, Margreta Chong, Michelle Mareels, Iven Leckie, Christopher School of Electrical and Electronic Engineering University of Melbourne Australia Department of Automatic Control KTH Royal Institute of Technology Sweden IBM Research Australia Australia School of Computing and Information Systems University of Melbourne Australia

We address the problem of attack detection and attack correction for multi-input multi-output discrete-time linear time-invariant systems under sensor attacks. More specifically, we consider the situation that a system with known input is corrupted by additive adversarial attack signals on some of the system's outputs. In this paper, we use system representation in a behavioural approach, which allows for natural and compact statements regarding linear system security. We extend our earlier results for systems with zero inputs to systems with non-zero inputs. We assume that these non-zero inputs are known. © 2018

关键词： Linear systems Error correction Invariance MIMO systems Time varying control systems Attack detection Behavioural approach Discrete time linear time invariant systems Multi input multi output System representation System security

来源：评论

学校读者我要写书评

暂无评论

Ordinal Optimization for Optimal Orientation Problems in 3D Printing

引用

IFAC-PapersOnLine 2020年第5期53卷 97-102页

作者： Can Luo Gang Xiong Zhishuai Li Zhen Shen Li Wan MengChu Zhou Fei-Yue Wang State Key Laboratory for Management and Control of Complex Systems Institute of Automation Chinese Academy of Sciences Beijing China Guangdong Engineering Research Center of 3D Printing and Intelligent Manufacturing Cloud Computing Center Chinese Academy of Sciences Donggguan China Ten Dimensions (Guangdong) Technology Co. Ltd. Foshan China Macau University of Science and Technology Taipa Macau

Compared with a traditional manufacturing process, 3D printing has advantages of performance and cost in personalized customization and has been applied in many fields. The problem of 3D model orientation optimization is a crucial one in practice. In this paper, based on the mathematical relationship between model orientation and printing time, surface quality, and supporting area, the model orientation problem is transformed into a multi-objective optimization problem with goal of minimizing printing time, surface quality, and supporting area. Ordinal Optimization (OO) is not only applicable to problems with random factors, but also to solve complex deterministic problems. The model orientation is a complex deterministic problem. We solve it with OO in this paper and use linear weighting to convert the multi-objective optimization problem into single-objective one. Finally, we compare the experimental results of solving 3D model orientation problems solved by OO and Genetic Algorithm (GA). The results show that OO requires less calculation time than GA while achieving comparable performance.

关键词： Digital Manufacturing Genetic Algorithm Intelligent Optimization Machine Learning Ordinal Optimization Orientation Optimization 3D Printing

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：