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

A program logic for obstruction-freedom

Frontiers of computer science 2024年第6期18卷 85-100页

作者： Zhao-Hui LI Xin-Yu FENG School of Computer Science and Technology University of Science and Technology of ChinaHefei 230026China Department of Computer Science and Technology Nanjing UniversityNanjing 210023China State Key Laboratory for Novel Software Technology Nanjing UniversityNanjing 210023China

Though obstruction-free progress property is weaker than other non-blocking properties including lock-freedom and wait-freedom,it has advantages that have led to the use of obstruction-free implementations for software transactional memory(STM)and in anonymous and fault-tolerant distributed ***,existing work can only verify obstruction-freedom of specific data structures(e.g.,STM and list-based algorithms).In this paper,to fill this gap,we propose a program logic that can formally verify obstruction-freedom of practical implementations,as well as verify linearizability,a safety property,at the same *** also propose informal principles to extend a logic for verifying linearizability to verifying *** this approach,the existing proof for linearizability can be reused directly to construct the proof for both linearizability and ***,we have successfully applied our logic to verifying a practical obstruction-free double-ended queue implementation in the first classic paper that has proposed the definition of obstruction-freedom.

关键词： verification program logic progress properties obstruction-freedom concurrent objects

来源：评论

学校读者我要写书评

暂无评论

Learning cross-modal interaction for RGB-T tracking

引用

science China(Information sciences) 2023年第1期66卷 320-321页

作者： Chunyan XU Zhen CUI Chaoqun WANG Chuanwei ZHOU Jian YANG Key Laboratory of Intelligent Perception and Systems for High-Dimensional Information of Ministry of Education School of Computer Science and Engineering Nanjing University of Science and Technology

Dear editor,Visual object tracking, which has attracted increasing attention in the field of general visual understanding, aims to track each temporally changing object in a video sequence, with the target specified only in the first *** most tracking algorithms have facilitated significant advances in RGB video sequences, object tracking using only RGB information is unreliable under extreme lighting conditions(e.g., dark night, rain, and foggy).

关键词：

来源：评论

学校读者我要写书评

暂无评论

Bifunctional nanoprobe for simultaneous detection of intracellular reactive oxygen species and temperature in single cells

引用

Microsystems & Nanoengineering 2024年第6期10卷 161-172页

作者： Yanmei Ma Weikang Hu Jian Hu Muyang Ruan Jie Hu Ming Yang Yi Zhang Hanhan Xie Chengzhi Hu Shenzhen Key Laboratory of Biomimetic Robotics and Intelligent Systems Department of Mechanical and Energy EngineeringSouthern University of Science and TechnologyShenzhen 518000China Department of Electrical and Electronic Engineering Southern University of Science and TechnologyShenzhen 518000China

Living cells can rapidly adjust their metabolic activities in response to external stimuli,leading to fluctuations in intracellular temperature and reactive oxygen species(ROS)*** these parameters is essential for understanding cellular metabolism,particularly during dynamic biological *** this study,we present a bifunctional nanoprobe capable of simultaneous measurement of ROS levels and temperature within single *** nanoprobe features two individually addressable nanoelectrodes,with platinum(Pt)and nickel(Ni)coatings on both *** the tip,these two metal layers form a nano-thermocouple,enabling precise intracellular temperature measurements,while the Pt layer facilitates selective ROS *** dual functionality allows for real-time monitoring of cellular responses during synergistic chemo-photothermal therapy of cancer cells and zebrafish embryos subjected to mitochondrial toxic *** results demonstrate that the nanoprobe effectively measures increases in temperature and ROS levels in HeLa cells undergoing chemo-photothermal therapy,as well as in chemically stimulated zebrafish *** providing detailed analysis of submicrometer-scale temperature and ROS variations within living cells,this nanoprobe offers valuable insights into cellular processes and holds promise for early disease detection and drug development.

关键词： metabolism simultaneous holds

来源：评论

学校读者我要写书评

暂无评论

Beyond Performance of Learning Control Subject to Uncertainties and Noise: A Frequency-Domain Approach Applied to Wafer Stages

引用

IEEE/CAA Journal of Automatica Sinica 2025年第1期12卷 198-214页

作者： Fazhi Song Ning Cui Shuaiqi Chen Kai Zhang Yang Liu Xinkai Chen Jiubin Tan IEEE the Center of Ultra-precision Optoelectronic Instrument Engineering Harbin Institute of Technology the Key Laboratory of Ultra-Precision Intelligent Instrumentation Ministry of Industry and Information Technology the State Key Laboratory of Precision Electronic Manufacturing Technology and Equipment Guangdong University of Technology the Center of Ultraprecision Optoelectronic Instrument Engineering Harbin Institute of Technology the Key Laboratory of UltraPrecision Intelligent Instrumentation Ministry of Industry and Information Technology the Department of Electronic and Information Systems Shibaura Institute of Technology

The increasingly stringent performance requirement in integrated circuit manufacturing, characterized by smaller feature sizes and higher productivity, necessitates the wafer stage executing a extreme motion with the accuracy in terms of nanometers. This demanding requirement witnesses a widespread application of iterative learning control(ILC), given the repetitive nature of wafer scanning. ILC enables substantial performance improvement by using past measurement data in combination with the system model knowledge. However, challenges arise in cases where the data is contaminated by the stochastic noise, or when the system model exhibits significant uncertainties, constraining the achievable performance. In response to this issue, an extended state observer(ESO) based adaptive ILC approach is proposed in the frequency *** being model-based, it utilizes only a rough system model and then compensates for the resulting model uncertainties using an ESO, thereby achieving high robustness against uncertainties with minimal modeling effort. Additionally, an adaptive learning law is developed to mitigate the limited performance in the presence of stochastic noise, yielding high convergence accuracy yet without compromising convergence speed. Simulation and experimental comparisons with existing model-based and data-driven inversion-based ILC validate the effectiveness as well as the superiority of the proposed method.

关键词： Extended state observer learning control model uncertainties motion control stochastic noise

来源：评论

学校读者我要写书评

暂无评论

Understanding and Detecting Inefficient Image Displaying Issues in Android Apps

引用

Journal of computer science & technology 2024年第2期39卷 434-459页

作者：李文杰马骏蒋炎岩许畅马晓星 State Key Laboratory of Novel Software Technology Nanjing UniversityNanjing 210023China Department of Computer Science and Technology Nanjing UniversityNanjing 210023China

Mobile applications(apps for short)often need to display ***,inefficient image displaying(IID)issues are pervasive in mobile apps,and can severely impact app performance and user *** paper first establishes a descriptive framework for the image displaying procedures of IID *** on the descriptive framework,we conduct an empirical study of 216 real-world IID issues collected from 243 popular open-source Android apps to validate the presence and severity of IID issues,and then shed light on these issues’characteristics to support research on effective issue *** the findings of this study,we propose a static IID issue detection tool TAPIR and evaluate it with 243 real-world Android ***,49 and 64 previously-unknown IID issues in two different versions of 16 apps reported by TAPIR are manually confirmed as true positives,respectively,and 16 previously-unknown IID issues reported by TAPIR have been confirmed by developers and 13 have been ***,we further evaluate the performance impact of these detected IID issues and the performance improvement if they are *** results demonstrate that the IID issues detected by TAPIR indeed cause significant performance degradation,which further show the effectiveness and efficiency of TAPIR.

关键词： Android application(app) inefficient image displaying(IID) performance empirical study static analysis

来源：评论

学校读者我要写书评

暂无评论

Multi-Scale Time Series Segmentation Network Based on Eddy Current Testing for Detecting Surface Metal Defects

引用

IEEE/CAA Journal of Automatica Sinica 2025年第3期12卷 528-538页

作者： Xiaorui Li Xiaojuan Ban Haoran Qiao Zhaolin Yuan Hong-Ning Dai Chao Yao Yu Guo Mohammad S.Obaidat George Q.Huang the School of Intelligence Science and Technology University of Science and Technology Beijing the Beijing Advanced Innovation Center for Materials Genome Engineering the Key Laboratory of Intelligent Bionic Unmanned Systems and the Institute of Materials Intelligent Technology Liaoning Academy of Materials IEEE the Department of Computer Science Hong Kong Baptist University the School of Computer and Communication Engineering Key Laboratory of Advanced Materials and Devices for Post-Moore Chips Ministry of Education University of Science and Technology Beijing the Beijing Advanced Innovation Center for Materials Genome Engineering University of Science and Technology Beijing the School of Computer and Communication Engineering University of Science and Technology Beijing the King Abdullah Ⅱ School of Information Technology The University of Jordan the Department of Computational Intelligence the School of Computing SRM University the School of Engineering The Amity University The Hong Kong Polytechnic University

In high-risk industrial environments like nuclear power plants, precise defect identification and localization are essential for maintaining production stability and safety. However, the complexity of such a harsh environment leads to significant variations in the shape and size of the defects. To address this challenge, we propose the multivariate time series segmentation network(MSSN), which adopts a multiscale convolutional network with multi-stage and depth-separable convolutions for efficient feature extraction through variable-length templates. To tackle the classification difficulty caused by structural signal variance, MSSN employs logarithmic normalization to adjust instance distributions. Furthermore, it integrates classification with smoothing loss functions to accurately identify defect segments amid similar structural and defect signal subsequences. Our algorithm evaluated on both the Mackey-Glass dataset and industrial dataset achieves over 95% localization and demonstrates the capture capability on the synthetic dataset. In a nuclear plant's heat transfer tube dataset, it captures 90% of defect instances with75% middle localization F1 score.

关键词： Eddy current testing nondestructive testing semantic segmentation time series analysis

来源：评论

学校读者我要写书评

暂无评论

Adaptive dynamic surface control for quadrotor-slung load transportation system with uncertainties

引用

science China(Technological sciences) 2023年第10期66卷 2917-2929页

作者： DING Feng HUANG Jian SUN Chong AI Yong XU WenXia YANG ChenGuang School of Computer Science South-Central Minzu UniversityWuhan 430074China Key Laboratory of Ministryof EducationforImage Processing and Intelligent ControlHubei Key Laboratoryof Brain-inspired Intelligent Systems School of Artificial Intelligence and Automation Huazhong University of Science and TechnologyWuhan 430074China School of Computer Science and Engineering Wuhan Institute of TechnologyWuhan 430205China Key Laboratory of Ministry of Education for Autonomous Systems and Networked Control Guangdong Engineering Technology Research Center of Control of Intelligent SystemsCollege of Automation Science and EngineeringSouth China University of TechnologyGuangzhou 510640China

Quadrotors play a significant role in our lives and are transforming our *** cable-suspended loads is an unavoidable quadrotor application trend and a hot research topic in the control ***,the load swing and unpredictability pose significant challenges to the quadrotor's *** this paper,an anti-swing controller with an inner-outer control strategy for the quadrotor-slung load transportation system is *** facilitate the controller design,the outer position dynamics are restructured in the form of ***,a virtual controller is created to force the underactuated states to the dynamic surface to ensure the position subsystem's *** improve robustness,an adaptive law is used to eliminate the effects of uncertain cable ***,a dynamic surface controller for the inner attitude subsystem is presented to drive the actual force to the virtual *** is demonstrated that the control strategy can stabilize the quadrotor despite mass and cable length *** results are provided to demonstrate the efficacy and durability of the proposed method.

关键词： quadrotor-slung load transportation system dynamic surface control adaptive law cascade system model uncertainties

来源：评论

学校读者我要写书评

暂无评论

Nonlinear Filtering With Sample-Based Approximation Under Constrained Communication:Progress, Insights and Trends

引用

IEEE/CAA Journal of Automatica Sinica 2024年第7期11卷 1539-1556页

作者： Weihao Song Zidong Wang Zhongkui Li Jianan Wang Qing-Long Han IEEE the State Key Laboratory for Turbulence and Complex Systems Department of Mechanics and Engineering ScienceCollege of Engineering Peking University the Department of Computer Science Brunel University London the School of Aerospace Engineering Beijing Institute of Technology the School of Science Computing and Engineering Technologies Swinburne University of Technology

The nonlinear filtering problem has enduringly been an active research topic in both academia and industry due to its ever-growing theoretical importance and practical *** main objective of nonlinear filtering is to infer the states of a nonlinear dynamical system of interest based on the available noisy measurements. In recent years, the advance of network communication technology has not only popularized the networked systems with apparent advantages in terms of installation,cost and maintenance, but also brought about a series of challenges to the design of nonlinear filtering algorithms, among which the communication constraint has been recognized as a dominating concern. In this context, a great number of investigations have been launched towards the networked nonlinear filtering problem with communication constraints, and many samplebased nonlinear filters have been developed to deal with the highly nonlinear and/or non-Gaussian scenarios. The aim of this paper is to provide a timely survey about the recent advances on the sample-based networked nonlinear filtering problem from the perspective of communication constraints. More specifically, we first review three important families of sample-based filtering methods known as the unscented Kalman filter, particle filter,and maximum correntropy filter. Then, the latest developments are surveyed with stress on the topics regarding incomplete/imperfect information, limited resources and cyber ***, several challenges and open problems are highlighted to shed some lights on the possible trends of future research in this realm.

关键词： Communication constraints maximum correntropy filter networked nonlinear filtering particle filter sample-based approximation unscented Kalman filter

来源：评论

学校读者我要写书评

暂无评论

D-scheduler:A scheduler in time-triggered distributed system through decoupling dependencies between tasks and messages

引用

science China(Technological sciences) 2024年第1期67卷 183-196页

作者： YANG TingTing ZHANG YuQi YUE FengLai WUNIRI QiQiGe TONG Chao School of Computer Science&Engineering Beihang UniversityBeijing 100191China State Key Laboratory of Virtual Reality Technology and Systems Beihang UniversityBeijing 100191China National Innovation Center of Intelligent and Connected Vehicles Beijing 100176China

Time-triggered architecture,as a mainstream design of the distributed real-time system,has been successfully applied in the aerospace,automotive and mechanical ***,time-triggered scheduling is a challenging NP-hard *** are few studies that could quickly solve the scheduling problem of large distributed time-triggered *** solve this problem,a communication affinity parameter is defined in this paper to describe the degree of bias of the shaper task towards sending or receiving *** on this,an innovative task-message decoupling model named D-scheduler is built to reduce the computation complexity of the scheduling problem in large-scale ***,we provide mathematical proof that our model is a convex optimization that is easy to solve with existing computational *** experiments substantiate the efficacy of the *** dramatically reduces the scheduling complexity of large-scale real-time systems with a small loss of solving space compared to the federal scheduler.

关键词： time-triggered architecture time-triggered scheduling communication affinity parameter task-message decoupling model

来源：评论

学校读者我要写书评

暂无评论

Mixed-decomposed convolutional network:A lightweight yet efficient convolutional neural network for ocular disease recognition

引用

CAAI Transactions on Intelligence technology 2024年第2期9卷 319-332页

作者： Xiaoqing Zhang Xiao Wu Zunjie Xiao Lingxi Hu Zhongxi Qiu Qingyang Sun Risa Higashita Jiang Liu Research Institute of Trustworthy Autonomous Systems and Department of Computer Science and Engineering Southern University of Science and TechnologyShenzhenChina Tomey Corporation NagoyaJapan Guangdong Provincial Key Laboratory of Brain‐inspired Intelligent Computation Department of Computer Science and EngineeringSouthern University of Science and TechnologyShenzhenChina Singapore Eye Research Institute SingaporeSingapore

Eye health has become a global health concern and attracted broad *** the years,researchers have proposed many state-of-the-art convolutional neural networks(CNNs)to assist ophthalmologists in diagnosing ocular diseases efficiently and ***,most existing methods were dedicated to constructing sophisticated CNNs,inevitably ignoring the trade-off between performance and model *** alleviate this paradox,this paper proposes a lightweight yet efficient network architecture,mixeddecomposed convolutional network(MDNet),to recognise ocular *** MDNet,we introduce a novel mixed-decomposed depthwise convolution method,which takes advantage of depthwise convolution and depthwise dilated convolution operations to capture low-resolution and high-resolution patterns by using fewer computations and fewer *** conduct extensive experiments on the clinical anterior segment optical coherence tomography(AS-OCT),LAG,University of California San Diego,and CIFAR-100 *** results show our MDNet achieves a better trade-off between the performance and model complexity than efficient CNNs including MobileNets and ***,our MDNet outperforms MobileNets by 2.5%of accuracy by using 22%fewer parameters and 30%fewer computations on the AS-OCT dataset.

关键词： artificial intelligence deep learning deep neural networks image analysis image classification medical applications medical image processing

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：