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

Evaluation of shelter dog activity levels before and during COVID-19 using automated analysis

APPLIED ANIMAL BEHAVIOUR SCIENCE 2022年 250卷 105614页

作者： Byosiere, Sarah-Elizabeth Feighelstein, Marcelo Wilson, Kristiina Abrams, Jennifer Elad, Guy Farhat, Nareed van der Linden, Dirk Kaplun, Dmitrii Sinitca, Aleksandr Zamansky, Anna [a]Thinking Dog Center Department of Psychology Hunter College City University of New York USA [b]Primrose Tel Aviv Israel [c]Information Systems Department University of Haifa Israel [d]Department of Computer and Information Sciences Northumbria University Newcastle-upon-Tyne UK [e]Department of Automation and Control Processes Saint Petersburg Electrotechnical University "LETI" St. Petersburg Russia

Animal shelters have been found to represent stressful environments for pet dogs, both affecting behavior and influencing welfare. The current COVID-19 pandemic has brought to light new uncertainties in animal sheltering practices which may affect shelter dog behavior in unexpected ways. To evaluate this, we analyzed changes in dog activity levels before COVID-19 and during COVID-19 using an automated video analysis within a large, open-admission animal shelter in New York City, USA. Shelter dog activity was analyzed during two two-week long time periods: (i) just before COVID-19 safety measures were put in place (Feb 26-Mar 17, 2020) and (ii) during the COVID-19 quarantine (July 10-23, 2020). During these two periods, video clips of 15.3 second, on average, were taken of participating kennels every hour from approximately 8 am to 8 pm. Using a two-step filtering approach, a matched sample (based on the number of days of observation) of 34 dogs was defined, consisting of 17 dogs in each group (N1/N2 = 17). An automated video analysis of active/non-active behaviors was conducted and compared to manual coding of activity. The automated analysis validated by comparison to manual coding reaching above 79% accuracy. Significant differences in the patterns of shelter dog activity were observed: less activity was observed in the afternoons before COVID-19 restrictions, while during COVID-19, activity remained at a constant average. Together, these findings suggest that 1) COVID-19 lockdown altered shelter dog in-kennel activity, likely due to changes in the shelter environment and 2) automated analysis can be used as a hands-off tool to monitor activity. While this method of analysis presents immense opportunity for future research, we discuss the limitations of automated analysis and guidelines in the context of shelter dogs that can increase accuracy of detection, as well as reflect on policy changes that might be helpful in mediating canine stress in changing shelter en

关键词： COVID-19 Dog behavior Shelter research Applied behavior computer vision Machine learning

来源：评论

学校读者我要写书评

暂无评论

EDOLAB: An Open-Source Platform for Education and Experimentation with Evolutionary Dynamic Optimization Algorithms

arXiv

引用

arXiv 2023年

作者： Peng, Mai Yazdani, Delaram She, Zeneng Yazdani, Danial Luo, Wenjian Li, Changhe Branke, Juergen Nguyen, Trung Thanh Gandomi, Amir H. Yang, Shengxiang Jin, Yaochu Yao, Xin School of Automation China University of Geosciences Hubei Key Laboratory of Advanced Control and Intelligent Automation for Complex Systems Engineering Research Center of Intelligent Technology for Geo-Exploration Ministry of Education Wuhan China Research Institute Faculty of Engineering and Technology Liverpool John Moores University United Kingdom School of Computer Science and Technology Harbin Institute of Technology China Guangdong Provincial Key Laboratory of Novel Security Intelligence Technologies School of Computer Science and Technology Harbin Institute of Technology Peng Cheng Laboratory China School of Artificial Intelligence Anhui University of Sciences & Technology China Information Systems Management and Analytics in Warwick Business School University of Warwick United Kingdom Faculty of Engineering & Information Technology University of Technology Sydney Australia Obuda University Hungary School of Computer Science and Informatics De Montfort University United Kingdom Department of Artificial Intelligence School of Engineering Westlake University China School of Computer Science University of Birmingham United Kingdom

Many real-world optimization problems exhibit dynamic characteristics, posing significant challenges for traditional optimization techniques. Evolutionary Dynamic Optimization Algorithms (EDOAs) are designed to address these challenges effectively. However, in existing literature, the reported results for a given EDOA can vary significantly. This inconsistency often arises because the source codes for many EDOAs, which are typically complex, have not been made publicly available, leading to error-prone re-implementations. To support researchers in conducting experiments and comparing their algorithms with various EDOAs, we have developed an open-source MATLAB platform called the Evolutionary Dynamic Optimization LABoratory (EDOLAB). This platform not only facilitates research but also includes an educational module designed for instructional purposes. The education module allows users to observe: a) a 2-dimensional problem space and its morphological changes following each environmental change, b) the behaviors of individuals over time, and c) how the EDOA responds to environmental changes and tracks the moving optimum. The current version of EDOLAB features 25 EDOAs and four fully parametric benchmark generators. © 2023, CC BY-NC-SA.

关键词： Optimization algorithms

来源：评论

学校读者我要写书评

暂无评论

Verification of Strong K-Step Opacity for Discrete-Event systems

Verification of Strong K-Step Opacity for Discrete-Event Sys...

引用

IEEE Conference on Decision and Control

作者： Xiaoguang Han Kuize Zhang Zhiwu Li College of Electronic Information and Automation Tianjin University of Science and Technology Tianjin China Department of Computer Science University of Surrey Guildford UK Institute of Systems Engineering Macau University of Science and Technology Taipa China School of Electro-Mechanical Engineering Xidian University Xi’an China

ISBN: (数字)9781665467612

ISBN: (纸本)9781665467629

In this paper, we revisit the verification of strong K-step opacity (K-SSO) for partially-observed discrete-event systems modeled as nondeterministic finite-state automata. As a stronger version of the standard K-step opacity, K-SSO requires that an intruder cannot make sure whether or not a secret state has been visited within the last K observable steps. To efficiently verify K-SSO, we propose a new concurrent-composition structure, which is a variant of our previously-proposed one. Based on this new structure, we design an algorithm for deciding K-SSO and prove that the proposed algorithm not only reduces the time complexity of the existing algorithms, but also does not depend on the value of K. Furthermore, a new upper bound on the value of K in K-SSO is derived, which also reduces the existing upper bound on K in the literature. Finally, we illustrate the proposed algorithm by a simple example.

关键词： Upper bound Automata Discrete-event systems Time complexity Standards

来源：评论

学校读者我要写书评

暂无评论

Detection of Detonators in Baggage Using Deep CNN Architecture: A Comparative Study of Contrast Enhancement and Feature Extraction Methods

Detection of Detonators in Baggage Using Deep CNN Architectu...

引用

International Conference on Image and Signal Processing and their Applications (ISPA)

作者： Oulhissane Lynda Merah Mostefa Simona Moldovanu Luminita Moraru Laboratory of Signals and Systems LSS Faculty of Science and Technology Abdelhamid Ibn Badis University Mostaganem Algeria MSlab Department of Computer Science and Information Technology Modelling & Simulation Laboratory Faculty of Automation Computers Electrical Engineering and Electronics Dunarea de Jos University of Galati Galati Romania MSlab Department of Chemistry Physics & Environment Modelling & Simulation Laboratory Faculty of Sciences and Environment Dunarea de Jos University of Galati Galati Romania

ISBN: (数字)9798350309249

ISBN: (纸本)9798350309256

Visual inspection of dual-energy X-ray radiographic images of cabin baggage requires high performance, but is hindered by various challenges such as low target prevalence, variability in target visibility, possible presence of multiple targets, and security personnel fatigue and inattention. Artificial intelligence (AI) techniques, particularly deep convolutional neural networks (CNNs), have shown promise in improving the automatic detection of explosives, even with low-resolution radiographic images, especially in high baggage throughput scenarios. In this paper, we focus on the detection of detonators as components of improvised explosive devices. The proposed approach involves comparing two experiments implemented in a deep CNN architecture using TensorFlow and Keras libraries. In the first experiment, raw dual-energy radiographic images without any enhancement were used. The second experiment includes three methods for contrast enhancement and feature extraction: the Contrast Limited Adaptive Histogram Equalization (CLAHE) method, the wavelet transform-based method, and the mixed CLAHE RGB-Wavelet method. In the latter two methods, Haar, Db2, Coif2, and Sym2 mother wavelet functions at two levels (HH and HL) were employed. The analysis of results focuses on a comparative study of performance measures such as accuracy, precision, recall, and F1 score. It was found that the preprocessing methods used in experiment 2, for the two evaluated classes (detonator and no detonator), achieved higher accuracy compared to the raw radiographic images used in experiment 1 (98.08%). The highest accuracies in experiment 2, with a value of 100%, were obtained with the CLAHE method (green channel in grayscale, blue channel in grayscale, and RGB channels) and the wavelet transform method with Haar mother wavelet at two levels HL

关键词： Wavelet transforms Radiography Visualization Gray-scale Inspection Feature extraction Libraries

来源：评论

学校读者我要写书评

暂无评论

Generative AI-empowered Simulation for Autonomous Driving in Vehicular Mixed Reality Metaverses

arXiv

引用

arXiv 2023年

作者： Xu, Minrui Niyato, Dusit Chen, Junlong Zhang, Hongliang Kang, Jiawen Xiong, Zehui Mao, Shiwen Han, Zhu The School of Computer Science and Engineering Nanyang Technological University Singapore308232 Singapore The School of Electronics Peking University Beijing100871 China The School of Automation Guangdong University of Technology China The Pillar of Information Systems Technology and Design Singapore University of Technology and Design Singapore487372 Singapore The Department of Electrical and Computer Engineering Auburn University AuburnAL36849-5201 United States The Department of Electrical and Computer Engineering University of Houston HoustonTX77004 United States The Department of Computer Science and Engineering Kyung Hee University Seoul446-701 Korea Republic of

In the vehicular mixed reality (MR) Metaverse, the distance between physical and virtual entities can be overcome by fusing the physical and virtual environments with multidimensional communications in autonomous driving systems. Assisted by digital twin (DT) technologies, connected autonomous vehicles (AVs), roadside units (RSU), and virtual simulators can maintain the vehicular MR Metaverse via digital simulations for sharing data and making driving decisions collaboratively. However, large-scale traffic and driving simulation via realistic data collection and fusion from the physical world for online prediction and offline training in autonomous driving systems are difficult and costly. In this paper, we propose an autonomous driving architecture, where generative AI is leveraged to synthesize unlimited conditioned traffic and driving data in simulations for improving driving safety and traffic efficiency. First, we propose a multi-task DT offloading model for the reliable execution of heterogeneous DT tasks with different requirements at RSUs. Then, based on the preferences of AV’s DTs and collected realistic data, virtual simulators can synthesize unlimited conditioned driving and traffic datasets to further improve robustness. Finally, we propose a multi-task enhanced auction-based mechanism to provide fine-grained incentives for RSUs in providing resources for autonomous driving. The property analysis and experimental results demonstrate that the proposed mechanism and architecture are strategy-proof and effective, respectively. © 2023, CC BY.

关键词： Autonomous vehicles

来源：评论

学校读者我要写书评

暂无评论

Sparks of GPTs in Edge Intelligence for Metaverse: Caching and Inference for Mobile AIGC Services

arXiv

引用

arXiv 2023年

作者： Xu, Minrui Niyato, Dusit Zhang, Hongliang Kang, Jiawen Xiong, Zehui Mao, Shiwen Han, Zhu School of Computer Science and Engineering Nanyang Technological University Singapore639798 Singapore School of Electronics Peking University Beijing100871 China School of Automation Guangdong University of Technology China Pillar of Information Systems Technology and Design Singapore University of Technology and Design Singapore487372 Singapore Department of Electrical and Computer Engineering Auburn University AuburnAL36849-5201 United States Department of Electrical and Computer Engineering University of Houston HoustonTX77004 United States Department of Computer Science and Engineering Kyung Hee University Seoul446-701 Korea Republic of

Aiming at achieving artificial general intelligence (AGI) for Metaverse, pretrained foundation models (PFMs), e.g., generative pretrained transformers (GPTs), can effectively provide various AI services, such as autonomous driving, digital twins, and AI-generated content (AIGC) for extended reality. With the advantages of low latency and privacy-preserving, serving PFMs of mobile AI services in edge intelligence is a viable solution for caching and executing PFMs on edge servers with limited computing resources and GPU memory. However, PFMs typically consist of billions of parameters that are computation and memory-intensive for edge servers during loading and execution. In this article, we investigate edge PFM serving problems for mobile AIGC services of Metaverse. First, we introduce the fundamentals of PFMs and discuss their characteristic fine-tuning and inference methods in edge intelligence. Then, we propose a novel framework of joint model caching and inference for managing models and allocating resources to satisfy users’ requests efficiently. Furthermore, considering the in-context learning ability of PFMs, we propose a new metric to evaluate the freshness and relevance between examples in demonstrations and executing tasks, namely the Age of Context (AoC). Finally, we propose a least context algorithm for managing cached models at edge servers by balancing the tradeoff among latency, energy consumption, and accuracy. © 2023, CC BY.

关键词： Energy utilization

来源：评论

学校读者我要写书评

暂无评论

Generative AI-empowered Effective Physical-Virtual Synchronization in the Vehicular Metaverse

arXiv

引用

arXiv 2023年

作者： Xu, Minrui Niyato, Dusit Zhang, Hongliang Kang, Jiawen Xiong, Zehui Mao, Shiwen Han, Zhu The School of Computer Science and Engineering Nanyang Technological University Singapore308232 Singapore The School of Electronics Peking University Beijing100871 China The School of Automation Guangdong University of Technology China The Pillar of Information Systems Technology and Design Singapore University of Technology and Design Singapore487372 Singapore The Department of Electrical and Computer Engineering Auburn University AuburnAL36849-5201 United States The Department of Electrical and Computer Engineering University of Houston HoustonTX77004 United States The Department of Computer Science and Engineering Kyung Hee University Seoul446-701 Korea Republic of

Metaverse seamlessly blends the physical world and virtual space via ubiquitous communication and computing infrastructure. In transportation systems, the vehicular Metaverse can provide a fully-immersive and hyperreal traveling experience (e.g., via augmented reality head-up displays, AR-HUDs) to drivers and users in autonomous vehicles (AVs) via roadside units (RSUs). However, provisioning real-time and immersive services necessitates effective physical-virtual synchronization between physical and virtual entities, i.e., AVs and Metaverse AR recommenders (MARs). In this paper, we propose a generative AI-empowered physical-virtual synchronization framework for the vehicular Metaverse. In physical-to-virtual synchronization, digital twin (DT) tasks generated by AVs are offloaded for execution in RSU with future route generation. In virtual-to-physical synchronization, MARs customize diverse and personal AR recommendations via generative AI models based on user preferences. Furthermore, we propose a multi-task enhanced auction-based mechanism to match and price AVs and MARs for RSUs to provision real-time and effective services. Finally, property analysis and experimental results demonstrate that the proposed mechanism is strategy-proof and adverse-selection free while increasing social surplus by 50%. © 2023, CC BY.

关键词： Augmented reality

来源：评论

学校读者我要写书评

暂无评论

Secure State Estimation against Sparse Attacks on a Time-varying Set of Sensors

arXiv

引用

arXiv 2022年

作者： Li, Zishuo Niazi, Muhammad Umar B. Liu, Changxin Mo, Yilin Johansson, Karl H. Department of Automation Tsinghua University Beijing100084 China Division of Decision and Control Systems Digital Futures School of Electrical Engineering and Computer Science KTH Royal Institute of Technology StockholmSE-100 44 Sweden Laboratory for Information and Decision Systems Massachusetts Institute of Technology 77 Massachusetts Avenue CambridgeMA02139 United States

This paper studies the problem of secure state estimation of a linear time-invariant (LTI) system with bounded noise in the presence of sparse attacks on an unknown, time-varying set of sensors. In other words, at each time, the attacker has the freedom to choose an arbitrary set of no more that p sensors and manipulate their measurements without restraint. To this end, we propose a secure state estimation scheme and guarantee a bounded estimation error subject to 2p-sparse observability and a mild, technical assumption that the system matrix has no degenerate eigenvalues. The proposed scheme comprises a design of decentralized observer for each sensor based on the local observable subspace decomposition. At each time step, the local estimates of sensors are fused by a median operator to obtain a secure estimation, which is then followed by a local detection-and-resetting process of the decentralized observers. The estimation error is shown to be upper-bounded by a constant which is determined only by the system parameters and noise magnitudes. Moreover, we design the detector threshold to ensure that the benign sensors never trigger the detector. The efficacy of the proposed algorithm is demonstrated by its application on a benchmark example of IEEE 14-bus system. © 2022, CC BY-NC-ND.

关键词： Fault detection

来源：评论

学校读者我要写书评

暂无评论

Quantum-Secured Space-Air-Ground Integrated Networks: Concept, Framework, and Case Study

arXiv

引用

arXiv 2022年

作者： Xu, Minrui Niyato, Dusit Xiong, Zehui Kang, Jiawen Cao, Xianbin Shen, Xuemin Sherman Miao, Chunyan The School of Computer Science and Engineering Nanyang Technological University Singapore The Pillar of Information Systems Technology and Design Singapore University of Technology and Design Singapore487372 Singapore The School of Automation Guangdong University of Technology China The School of Electronic and Information Engineering Beihang University Beijing100191 China The Department of Electrical and Computer Engineering University of Waterloo WaterlooONN2L 3G1 Canada

In the upcoming 6G era, existing terrestrial networks have evolved toward space-air-ground integrated networks (SAGIN), providing ultra-high data rates, seamless network coverage, and ubiquitous intelligence for communications of applications and services. However, conventional communications in SAGIN still face data confidentiality issues. Fortunately, the concept of Quantum Key Distribution (QKD) over SAGIN is able to provide information-theoretic security for secure communications in SAGIN with quantum cryptography. Therefore, in this paper, we propose the quantum-secured SAGIN which is feasible to achieve proven secure communications using quantum mechanics to protect data channels between space, air, and ground nodes. Moreover, we propose a universal QKD service provisioning framework to minimize the cost of QKD services under the uncertainty and dynamics of communications in quantum-secured SAGIN. In this framework, fiber-based QKD services are deployed in passive optical networks with the advantages of low loss and high stability. Moreover, the widely covered and flexible satellite- and UAV-based QKD services are provisioned as a supplement during the real-time data transmission phase. Finally, to examine the effectiveness of the proposed concept and framework, a case study of quantum-secured SAGIN in the Metaverse is conducted where uncertain and dynamic factors of the secure communications in Metaverse applications are effectively resolved in the proposed framework. © 2022, CC BY.

关键词： Quantum cryptography

来源：评论

学校读者我要写书评

暂无评论

Pulling Figure of Dielectric Resonator for 3D Filament Defectoscopy

Pulling Figure of Dielectric Resonator for 3D Filament Defec...

引用

International Scientific Symposium on Metrology and Metrology Assurance (MMA)

作者： Maryna Miroshnyk Olga Zaichenko Anatolii Miroshnyk Nataliia Hapon Yurii Pakhomov Liubov Klymenko dept. of Theoretical and Applied System Engineering V. N. Karazin Kharkiv National University Kharkov Ukraine dept. of Design and Operation of Electronic Devices Kharkiv National University of Radioelectronics Kharkiv Ukraine dept. of Design Automation Kharkiv National University of Radioelectronics) Kharkiv Ukraine dept. of Computer Science and Information Technologies O.M. Beketov National University of Urban Economy in Kharkiv Kharkiv Ukraine dept. of Specialized Computer Systems Ukrainian State University of Railway Transport Kharkiv Ukraine

ISBN: (数字)9798350352832

ISBN: (纸本)9798350352849

The research aim is to derive connection between the parameters of dielectric resonators frequency shift and the warp defect of 3D printing filament. Object of investigation are the processes of interaction of electromagnetic wave of a dielectric resonator with filament for 3D printing. The proposed model describes the connection between the frequency shift and defect warp of filament frequency pulling depending on the load.

关键词： Electromagnetic scattering Resonant frequency Estimation Metrology Three-dimensional printing Resonance Dielectrics Frequency measurement Resonators Load modeling

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：