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

11th IEEE International Conference "Nanomaterials: Applications and Properties", NAP 2021

作者： Blachowicz, Tomasz Steblinski, Pawel Grzybowski, Jacek Ehrmann, Andrea Institute of Physics Center for Science and Education Silesian University of Technology Gliwice Poland Faculty of Electronics and Informatics Koszalin University of Technology Koszalin Poland Faculty of Automatic Control Electronics and Computer Science Silesian University of Technology Gliwice Poland Faculty of Engineering and Mathematics Bielefeld University of Applied Sciences Bielefeld Germany

ISBN: (纸本)9781665439077

Magnetic nanofibers are of great interest for applications like data transport and storage as well as in basic research. Especially bent nanofibers, which can unambiguously be produced by electrospinning, show a broad spectrum of possible magnetization reversal processes, depending on bending radius, geometry, magnetic field orientation, etc. Besides these quasistatic processes, dynamic investigations are necessary for investigating data transport properties of magnetic nanofibers. We report on domain wall transport through coupled bent nanowires, forming networks with multiple data inputs and outputs. Our results show diverse phenomena which have to be taken into account during these dynamic processes, such as domain wall instabilities or interference between converging signals, and suggest possible architectures of nanowire-based logics. ©2021 IEEE

关键词： Nanofibers

来源：评论

学校读者我要写书评

暂无评论

A Machine Learning Based Risk Identification Method for Illegal Pig Slaughtering

A Machine Learning Based Risk Identification Method for Ille...

引用

2023 International Conference on Intelligent Communication and Networking, ICN 2023

作者： Miao, Jiajun Shen, Yujun Zhang, Yan Liu, Lingjie Tian, Ye Zhao, Yu Zhou, Chunyan Harbin Engineering University College of Computer Science and Technology Harbin China Hangzhou Hikvision Digital Technology Co. Ltd Hangzhou China China Industrial Control Systems Cyber Emergency Response Team Beijing China Environment and Food and Drug Crime Investigation Detachment of Hangzhou Public Security Bureau Hangzhou China Xidian University Hangzhou Institute of Technology Harbin China Key Laboratory of Peace-Building Big Data of Zhejiang Province Hangzhou China

ISBN: (纸本)9798350357677

With the impact of African swine fever, the survival rate of domestic pigs has sharply decreased, and pork prices continue to rise. Many unscrupulous elements obtain illegal profits by avoiding inspection and quarantine, processing sick and dead pigs, and injecting water, etc. Unquarantined meat products pose serious food safety risks. In this context, we propose a machine learning based risk identification method for illegal slaughter of live pigs. Firstly, we use the RetinaNet algorithm to detect live pig transport vehicles and use a dual residual network to Super-Resolution the vehicle area in the detected image to improve facial clarity. Subsequently, the ArcFace algorithm is used to match the facial information with the ex-convicts, and finally, the Location of vehicles passing through, time, frequency and facial analysis results are combined for calculation and scoring and provide the risk warning for illegal slaughter of live pigs. © 2023 IEEE.

关键词： Risk assessment

来源：评论

学校读者我要写书评

暂无评论

Distributed Prescribed-Time Observer for Nonlinear Systems in Block-Triangular Form

arXiv

引用

arXiv 2025年

作者： de Heij, Vincent Niazi, M.B. Umar Johansson, Karl H. Ahmed, Saeed Faculty of Science and Engineering University of Groningen Groningen9747 AG Netherlands Division of Decision and Control Systems Digital Futures KTH Royal Institute of Technology StockholmSE-100 44 Sweden Division of Decision and Control Systems Digital Futures KTH Royal Institute of Technology StockholmSE-100 44 Sweden Laboratory for Information and Decision Systems Department of Electrical Engineering and Computer Science Massachusetts Institute of Technology CambridgeMA02139 United States

This paper proposes a distributed prescribed-time observer for nonlinear systems representable in a block-triangular observable canonical form. Using a weighted average of neighbor estimates exchanged over a strongly connected digraph, each observer estimates the system state despite the limited observability of local sensor measurements. The proposed design guarantees that distributed state estimation errors converge to zero at a user-specified convergence time, irrespective of observers’ initial conditions. To achieve this prescribed-time convergence, distributed observers implement time-varying local output injection gains that monotonically increase and approach infinity at the prescribed time. The theoretical convergence is rigorously proven and validated through numerical simulations, where some implementation issues due to increasing gains have also been clarified. Copyright © 2025, The Authors. All rights reserved.

关键词： Digital arithmetic

来源：评论

学校读者我要写书评

暂无评论

Fast-moving object counting with an event camera

arXiv

引用

arXiv 2022年

作者： Bialik, Kamil Kowalczyk, Marcin Blachut, Krzysztof Kryjak, Tomasz Embedded Vision Systems Group Computer Vision Laboratory Department of Automatic Control and Robotics AGH University of Science and Technology Al. Mickiewicza 30 Krakow30-059 Poland

This paper proposes the use of an event camera as a component of a vision system that enables counting of fast-moving objects – in this case, falling corn grains. These type of cameras transmit information about the change in brightness of individual pixels and are characterised by low latency, no motion blur, correct operation in different lighting conditions, as well as very low power consumption. The proposed counting algorithm processes events in real time. The operation of the solution was demonstrated on a stand consisting of a chute with a vibrating feeder, which allowed the number of grains falling to be adjusted. The objective of the control system with a PID controller was to maintain a constant average number of falling objects. The proposed solution was subjected to a series of tests to determine the correctness of the developed method operation. On their basis, the validity of using an event camera to count small, fast-moving objects and the associated wide range of potential industrial applications can be confirmed. © 2022, CC BY.

关键词： Cameras

来源：评论

学校读者我要写书评

暂无评论

An Improved Unsupervised White Blood Cell Classification via Contrastive Learning 1

引用

6th International Conference on Data Mining and Big Data, DMBD 2021

作者： Zhong, Yuning Huang, Maoye Fan, Haoyi Hu, Rong Li, Zuoyong College of Computer Science and Mathematics Fujian University of Technology Fuzhou350118 China Fujian Provincial Key Laboratory of Information Processing and Intelligent Control College of Computer and Control Engineering Minjiang University Fuzhou350121 China School of Information Engineering Zhengzhou University Zhengzhou450001 China

ISBN: (数字)9789811674761

ISBN: (纸本)9789811674754

The classification and counting of white blood cells (WBCs, leukocytes) in blood smears are of great significance for clinicopathological diagnosis. Therefore, the classification of WBCs in the images is a basic task. Most of the existing WBCs classification methods are based on supervised learning, which highly depends on a large number of image labels. To cope with the challenge of image annotation, in this paper, we propose an unsupervised WBCs classification method, which combines the advantages of contrastive learning and a deep clustering algorithm. Specifically, the proposed method firstly employs contrastive learning to pre-train the feature encoder, which is able to improve the similarity of feature coding among the same kind of cell categories. Then, the classical clustering algorithm is used based on the pre-trained image features for unsupervised classification of WBCs. Finally, the high confidence clustering results are fed back to the pre-trained feature encoder, which can be used as the pseudo labels to form a closed loop. Experimental results on a dataset containing 574 leukocyte images demonstrate the effectiveness of the proposed method. © 2021, Springer Nature Singapore Pte Ltd.

关键词： Clustering algorithms

来源：评论

学校读者我要写书评

暂无评论

Event-Triggered-Based Privacy-Preserving Finite-Time Flocking control for Networked Multi-Agent Systems

Event-Triggered-Based Privacy-Preserving Finite-Time Flockin...

引用

IEEE Conference on Decision and control

作者： Jiangfeng Yue Kaiyu Qin Jinliang Shao Mengji Shi Weihao Li Wei Xing Zheng School of Aeronautics and Astronautics University of Electronic Science and Technology of China Chengdu China Aircraft Swarm Intelligent Sensing and Cooperative Control Key Laboratory of Sichuan Province Chengdu China School of Automation Engineering University of Electronic Science and Technology of China Chengdu China Laboratory of Electromagnetic Space Cognition and Intelligent Control Beijing China School of Computer Data and Mathematical Sciences Western Sydney University Sydney NSW Australia

ISBN: (数字)9798350316339

ISBN: (纸本)9798350316346

Drawing inspiration from the dynamics of biological groups, flocking behavior has captivated interest due to its adaptive, self-organizing, and resilient characteristics. However, the presence of numerous agents in an open network environment raises concerns regarding the potential for information leakage during flocking movements. To address this issue, we present a decentralized output mapping function, executed independently by each individual agent, to ensure the maintenance of flocking behavior, including velocity alignment, cohesion and collision avoidance. Additionally, to enhance resource efficiency and convergence speed, an event-triggered mechanism is employed to mitigate the excessive consumption of bandwidth and computation resources in traditional flocking control algorithms. Moreover, the designed finite-time controller facilitates rapid convergence of flocking behavior. Finally, the efficacy of our proposed approach is corroborated through numerical simulation experiments.

关键词： Privacy Event detection System performance Bandwidth Numerical simulation Stability analysis Trajectory Optimization Numerical stability Convergence

来源：评论

学校读者我要写书评

暂无评论

Modular Verification of SPARCv8 Code

引用

Journal of computer science & technology 2020年第6期35卷 1382-1405页

作者： Jun-Peng Zha Xin-Yu Feng Lei Qiao Department of Computer Science and Technology Nanjing UniversityNanjing 210023China State Key Laboratory for Novel Software Technology Nanjing UniversityNanjing 210023China Beijing Institute of Control Engineering Beijing 100080China

Inline assembly code is common in system software to interact with the underlying hardware platforms. The safety and correctness of the assembly code is crucial to guarantee the safety of the whole system. In this paper, we propose a practical Hoare-style program logic for verifying SPARC (Scalable Processor Architecture) assembly code. The logic supports modular reasoning about the main features of SPARCv8 ISA (instruction set architecture), including delayed control transfers, delayed writes to special registers, and register windows. It also supports relational reasoning for refinement verification. We have applied it to verify that there is a contextual refinement between a context switch routine in SPARCv8 and a switch primitive. The program logic and its soundness proof have been mechanized in Coq.

关键词： Scalable Processor Architecture Version 8(SPARCv8) assembly code verification context switch Coq refinement verification

来源：评论

学校读者我要写书评

暂无评论

Structural Regularization Based Discriminative Multi-View Unsupervised Feature Selection

SSRN

引用

SSRN 2023年

作者： Zhou, Shixuan Song, Peng Yu, Yanwei Zheng, Wenming School of Computer and Control Engineering Yantai University Yantai264005 China College of Computer Science and Technology Ocean University of China Qingdao266400 China Key Laboratory of Child Development and Learning Science Ministry of Education Southeast University Nanjing210096 China

Multi-view unsupervised feature selection (MUFS) has recently aroused considerable attention, which can select the compact representative feature subset from original multi-view data. Despite the promising preliminary performance, most previous MUFS methods fail to explore the discriminative ability of multi-view data. In addition, they usually utilize spectral analysis to maintain the geometrical structure, which will inevitably increase the difficulty of parameter selection. To address these issues, we present a novel MUFS method, named structural regularization based discriminative multi-view unsupervised feature selection (SDFS). Specifically, we calculate the similarity matrix of sample space from different views and automatically weight each view-specific graph to learn a consensus similarity graph, in which these two types of graphs can promote each other. Further, we treat the learned latent representation as the cluster indicator, and employ a graph regularization without introducing additional parameters to maintain the geometrical structure of data. Besides, a simple yet efficient iterative updating algorithm with theoretical convergence property is developed. Extensive experiments on several benchmark datasets verify that the designed model is superior to several state-of-the-art MUFS models. © 2023, The Authors. All rights reserved.

关键词： Spectrum analysis

来源：评论

学校读者我要写书评

暂无评论

Sinusoidal-Assisted Synchrosqueezing Transform: Algorithms and Biomedical Applications

SSRN

引用

SSRN 2023年

作者： Chen, Tao Zheng, Qian Xie, Lei Su, Hongye State Key Laboratory of Industrial Control Technology Zhejiang University Hangzhou310027 China College of Computer Science and Control Engineering Shenzhen Institutes of Advanced Technology Chinese Academy of Sciences Shenzhen518055 China Hangzhou Flexolink Technology Co. Ltd. Hangzhou China

Intermittent oscillation signals (IOSs) exist widely in biomedical systems. They are always contaminated by various randomness like noise and artifacts. Compared with traditional time-frequency analysis (TFA) methods, adaptive TFA methods show the significant advantages in separating IOSs. However, these methods are implemented by assuming that the signal is in a weakly noisy environment and have narrow-band limitation. Besides, it is difficult for these methods to alleviate the noise in the gap among time where IOSs happen. Therefore, in this paper, a new method called the sinusoidal-assisted synchrosqueezing transform (SASST) is proposed for separating IOSs in strongly noisy environment. The SASST method locates the IOSs with the aid of a sinusoidal signal. Such a sinusoidal signal fills the energy blank in the gap between time where IOSs happen. This enables that the ridge detection approach, which is the necessary tool for mode retrieval of SST-based methods, focuses on the assisted sinusoidal signal, rather than noise. Thus, the background noise in the gap is suppressed. Moreover, this sinusoidal-assisted framework can be introduced into any SST-based TFA methods. Depending on the characteristics of different biomedical signals, different SST-based methods are chosen to achieve better separation. As a result, SASST is capable of extracting both narrow- and wide-band IOSs in a strongly noisy environment. The effectiveness and advantages of the proposed algorithm are verified by both numerical simulations and real-world cases. Even in a strong noise environment of -10dB, SASST achieve output SNR of 12.66dB and 10.53dB in narrow- and wide-band simulation, respectively. © 2023, The Authors. All rights reserved.

关键词： Medical applications

来源：评论

学校读者我要写书评

暂无评论

High Performance Distributed control Law for Large-Scale Linear Systems: A Partitioned Distributed Observer Approach

arXiv

引用

arXiv 2024年

作者： Xu, Haotian Liu, Shuai Shi, Ling Department of Automation Shanghai Jiao Tong University Key Laboratory of System Control and Information Processing Ministry of Education of China Shanghai200240 China Department of Electronic and Computer Engineering The Hong Kong University of Science and Technology Hong Kong

In recent years, the distributed-observer-based distributed control law has shown powerful ability to arbitrarily approximate the centralized control performance. However, the traditional distributed observer requires each local observer to reconstruct the state information of the whole system, which is unrealistic for large-scale scenarios. To fill this gap, this paper develops a greedy-idea-based large-scale system partition algorithm, which can significantly reduce the dimension of local observers. Then, the partitioned distributed observer for large-scale systems is proposed to overcome the problem that the system dynamics are difficult to estimate due to the coupling between partitions. Furthermore, the two-layer Lyapunov analysis method is adopted and the dynamic transformation lemma of compact errors is proved, which solves the problem of analyzing stability of the error dynamic of the partitioned distributed observer. Finally, it is proved that the distributed control law based on the partitioned distributed observer can also arbitrarily approximate the control performance of the centralized control law, and the dimension of the local observer is greatly reduced compared with the traditional method. The simulation results show that when the similarity between the physical network and the communication network is about 80%, the local observer dimension is greatly reduced by 90% and the relative error between the performance of the distributed control law and that of the centralized control law is less than 1%. © 2024, CC BY.

关键词： Continuous time systems

来源：评论

学校读者我要写书评

暂无评论

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

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：