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

IEEE Conference on Decision and Control

作者： Hongsheng Qi Bo Li Rui-Juan Jing Alexandre Proutiere Guodong Shi Key Laboratory of Systems and Control Institute of Systems Science Academy of Mathematics and Systems Science Chinese Academy of Sciences Beijing China School of Mathematical Sciences University of Chinese Academy of Sciences Beijing China Key Laboratory of Mathematics Mechanization Academy of Mathematics and Systems Science Chinese Academy of Sciences Beijing China Faculty of Science Jiangsu University Zhenjiang China KTH Royal Institute of Technology Stockholm Sweden Australian Center for Field Robotics School of Aerospace Mechanical and Mechatronic Engineering The University of Sydney NSW Australia

ISBN: (数字)9781728174471

ISBN: (纸本)9781728174488

In this paper, we propose distributed algorithms that solve a system of Boolean equations over a network, where each node in the network possesses only one Boolean equation from the system. The Boolean equation assigned at any particular node is a private equation known to this node only, and the nodes aim to compute the exact set of solutions to the system without exchanging their local equations. We show that each private Boolean equation can be locally lifted to a linear algebraic equation under a basis of Boolean vectors, leading to a network linear equation that is distributedly solvable. A number of exact or approximate solutions to the induced linear equation are then computed at each node from different initial values. The solutions to the original Boolean equations are eventually computed locally via a Boolean vector search algorithm. We prove that given solvable Boolean equations, when the initial values of the nodes for the distributed linear equation solving step are i.i.d selected according to a uniform distribution in a high-dimensional cube, our algorithms return the exact solution set of the Boolean equations at each node with high probability.

关键词： Signal processing algorithms Heuristic algorithms Consensus algorithm Distributed algorithms Approximation algorithms Signal processing Convergence

来源：评论

学校读者我要写书评

暂无评论

Adaptive safe distance prediction using MPC for bridge cranes considering anti-swing in dynamic environment

TechRxiv

引用

TechRxiv 2020年

作者： Chen, Huili Liu, Guoliang Tian, Guohui Zhang, Jianhua Ji, Ze The School of Control Science and Engineering Shandong University Jinan250061 China School of Mechanical Engineering Hebei University of Technology Tianjin300131 China The Robotics and Autonomous Systems Laboratory School of Engineering Cardiff University CardiffCF10 3AT United Kingdom

In dynamic environment, the suddenly appeared human or other moving obstacles can affect the safety of the bridge crane. For such dangerous situation, the bridge crane must predict potential collisions between the payload and the obstacle, keep safe distance while the swing of the payload must be considered in the mean time. Therefore, the safe distance is not a constant value, which must be adaptive to the relative speed of the bridge crane. However, as far as we know, the mathematical model between the safe distance and the relative speed of the bridge crane has never been fully discussed. In this paper, we propose a safe distance prediction method using model prediction control (MPC), which can make sure that the crane can stop before the obstacle, and avoid possible collisions, while the relative speed and anti-swing are both considered. The experimental results prove the effectiveness of our idea. © 2020, CC BY.

关键词： Forecasting

来源：评论

学校读者我要写书评

暂无评论

A Sextuple Cross-Coupled SRAM Cell Protected against Double-Node Upsets

A Sextuple Cross-Coupled SRAM Cell Protected against Double-...

引用

Asian Test Symposium (ATS)

作者： Aibin Yan Yan Chen Jun Zhou Jie Cui Tianming Ni Xiaoqing Wen Patrick Girard School of Computer Science and Technology Anhui University Hefei China College of Electrical Engineering Anhui Polytechnic University Wuhu China Graduate School of Computer Science and Systems Engineering Kyushu Institute of Technology Fukuoka Japan Laboratory of Informatics Robotics and Microelectronics of Montpellier University of Montpellier / CNRS Montpellier France

ISBN: (数字)9781728174679

ISBN: (纸本)9781728174686

In this paper, we propose a sextuple cross-coupled SRAM cell, namely SCCS18T, protected against double-node upsets. Since the proposed SCCS18T cell forms a large feedback loop for value retention and error interception, the cell can provide self-recoverability from any single-node upsets (SNUs) and partial double-node upsets (DNUs). Moreover, the proposed cell has optimized operation speed due to the use of six access transistors. Simulation results show that the SCCS18T cell can save approximately 65% read access time at the cost of 49% power dissipation and 50% silicon area on average, compared with typical hardened SRAM cells.

关键词： Transistors SRAM cells Simulation Radiation hardening (electronics) Power dissipation Latches Integrated circuit reliability

来源：评论

学校读者我要写书评

暂无评论

REFUGE2 CHALLENGE: A TREASURE TROVE FOR MULTI-DIMENSION ANALYSIS AND EVALUATION IN GLAUCOMA SCREENING

arXiv

引用

arXiv 2022年

作者： Fang, Huihui Li, Fei Wu, Junde Fu, Huazhu Sun, Xu Son, Jaemin Yu, Shuang Zhang, Menglu Yuan, Chenglang Bian, Cheng Lei, Baiying Zhao, Benjian Xu, Xinxing Li, Shaohua Fumero, Francisco Sigut, José Almubarak, Haidar Bazi, Yakoub Guo, Yuanhao Zhou, Yating Baid, Ujjwal Innani, Shubham Guo, Tianjiao Yang, Jie Orlando, José Ignacio Bogunović, Hrvoje Zhang, Xiulan Xu, Yanwu The REFUGE2 Challenge Australia State Key Laboratory of Ophthalmology Zhongshan Ophthalmic Center Sun Yat-Sen University Guangdong Provincial Key Laboratory of Ophthalmology and Visual Science Guangzhou China Intelligent Healthcare Unit Baidu Inc. Beijing China The Institute of High Performance Computing Agency for Science Technology and Research Singapore Yatiris Group PLADEMA Institute CONICET UNICEN Tandil Argentina Christian Doppler Lab for Artificial Intelligence in Retina Department of Ophthalmology and Optometry Medical University of Vienna Vienna Austria VUNO Inc Seoul Korea Republic of Tencent HealthCare Tencent Shenzhen China Computer Vision Institute College of Computer Science and Software Engineering of Shenzhen University Shenzhen China School of Biomedical Engineering Health Science Center Shenzhen University China Xiaohe Healthcare ByteDance Guangdong Guangzhou510000 China School of Biomedical Engineering Shenzhen University China College of Computer Science & Software Engineering Shenzhen University China Department of Computer Science and Systems Engineering Universidad de La Laguna Spain Saudi Electronic University Saudi Arabia King Saud University Saudi Arabia Institute of Automation Chinese Academy of Sciences Beijing China University of Chinese Academy of Sciences Beijing China SGGS Institute of Engineering and Technology India Institute of Medical Robotics Shanghai Jiao Tong University China Institute of Image Processing and Pattern Recognition Shanghai Jiao Tong University China

With the rapid development of artificial intelligence (AI) in medical image processing, deep learning in color fundus photography (CFP) analysis is also evolving. Although there are some open-source, labeled datasets of CFPs in the ophthalmology community, large-scale datasets for screening only have labels of disease categories, and datasets with annotations of fundus structures are usually small in size. In addition, labeling standards are not uniform across datasets, and there is no clear information on the acquisition device. Here we release a multi-annotation, multi-quality, and multi-device color fundus image dataset for glaucoma analysis on an original challenge-Retinal Fundus Glaucoma Challenge 2nd Edition (REFUGE2). The REFUGE2 dataset contains 2000 color fundus images with annotations of glaucoma classification, optic disc/cup segmentation, as well as fovea localization. Meanwhile, the REFUGE2 challenge sets three sub-tasks of automatic glaucoma diagnosis and fundus structure analysis and provides an online evaluation framework. Based on the characteristics of multi-device and multi-quality data, some methods with strong generalizations are provided in the challenge to make the predictions more robust. This shows that REFUGE2 brings attention to the characteristics of real-world multi-domain data, bridging the gap between scientific research and clinical application. © 2022, CC BY-NC-ND.

关键词： Color

来源：评论

学校读者我要写书评

暂无评论

Hysteresis observer enhanced integral terminal sliding mode control of piezoelectric platform for precision tracking applications

引用

ISA Transactions 2025年

作者： Jie Chen Lei Ni Xuan Liao Geng Wang Lanqiang Zhang Na Yao Yijun Li Sumeet S. Aphale Key Laboratory of Testing Technology for Manufacturing Process of Ministry of Education Southwest University of Science and Technology Mianyang 621010 China Tianfu Institute of Research and Innovation Southwest University of Science and Technology Chengdu 610299 China Institute of Electronics and Information Industry Technology of Kash Kash Xinjiang 844000 China National Laboratory on Adaptive Optics Chinese Academy of Sciences Chengdu 610209 China School of Aeronautics & Astronautics University of Electronic Science and Technology of China Chengdu 610054 China State Key Laboratory of Polymer Materials Engineering Polymer Research Institute Sichuan University Chengdu 610041 China Artificial Intelligence Robotics and Mechatronic Systems Group (ARMS) School of Engineering University of Aberdeen Aberdeen AB243UE UK

The nonlinearity of piezo-actuated positioning platforms significantly impacts their performance in high-precision applications. In this work a dynamic model of piezoelectric platform was developed firstly with the asymmetric Bouc-Wen model. Next, a terminal sliding mode observer with the super-twisting mechanism was designed to accurately estimate the state of the system. Then, a novel control strategy named Hysteresis Observer Enhanced Integral Terminal Sliding Mode Controller (HO-ITSMC) was proposed to achieve precise displacement tracking. Its stability is theoretically proved by the Lyapunov theorem. A key feature of this controller lies in its ability to drive the state of the system into zero in finite time, regardless of the initial state. Extensive experiments have thoroughly validated the effectiveness of the proposed control method, demonstrating its superior precision-tracking performance compared to traditional controllers.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Fluorine ions assist titanium-based perylene diimide to achieve over 500 h photocatalytic stability

引用

Chemical engineering Journal 2025年 519卷

作者： Junqiang Li Jiongchong Fang Huiqiang Liang Zhenghao Wei Jun Fang Longbin Qiu Xinxin Lu Fuyuan Yang Guosong Zeng Shenzhen Key Laboratory of Intelligent Robotics and Flexible Manufacturing Systems Southern University of Science and Technology Shenzhen 518055 PR China Department of Mechanical and Energy Engineering Southern University of Science and Technology Shenzhen 518055 PR China PetroChina Shenzhen New Energy Research Institute Co. Ltd. Shenzhen 518055 PR China School of Vehicle and Mobility Tsinghua University Beijing 100084 PR China SUSTech Energy Institute for Carbon Neutrality Southern University of Science and Technology Shenzhen 518055 PR China

Green hydrogen production via photocatalytic water splitting using semiconductor catalysts is a critical step toward global carbon neutrality. However, the practical application of organic semiconductors is limited by a rapid decline in catalytic activity, mainly due to unstable molecular structure and photo-corrosion. In this study, two titanium-coordinated perylene diimide catalysts (TiF-PDI and TiC-PDI) were synthesized via a wet chemical approach. Under near-atmospheric conditions with 1 wt% Pt as a co-catalyst, these catalysts demonstrated hydrogen evolution reaction (HER) activities of 584 and 510 μmol·g −1 ·h −1 , respectively, achieving a 7- to 8-fold improvement over carboxyl perylene diimide (H 2 PDI). Particularly, TiF-PDI retained approximately 80 % of its initial catalytic activity after 500 h of continuous illumination at room temperature and near atmospheric pressure, demonstrating the best long-term HER stability reported to date for perylene-based semiconductors. The introduction of Ti 4+ ions facilitated charge-carrier separation and transfer, while F − ions played a vital role in enhancing system polarization, stabilizing photogenerated excitons, and mitigating Ti 4+ ions leaching by intercalating into the molecular lattice. This synergistic regulatory activity of these two ions improved both the photocatalytic performance and durability of TiF-PDI. This study provides valuable insights into structural modification and charge stabilization strategies to design high-performance and long-lived photocatalysts for sustainable energy applications.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Implementation of IoT Concept for Early Diagnostic of Subacute Rumen Acidosis in Cows

Implementation of IoT Concept for Early Diagnostic of Subacu...

引用

Mediterranean Conference on Embedded Computing (MECO)

作者： Anatolijs Zabasta Nadezda Kunicina Uldis Grunde Janis Judvaitis Ilga Sematovica Institute of Industrial Electronics and Electrical Engineering Riga Technical University Riga Latvia Robotics and Machine Perception laboratory Institute of Electronics and Computer Science Riga Latvia Cyber-Physical Systems laboratory Institute of Electronics and Computer Science Riga Latvia Faculty of Veterinary Medicine of Latvia University of Life Sciences and Technologies Jelgava Latvia

ISBN: (数字)9781728169491

ISBN: (纸本)9781728169507

Highly productive dairy cow' ration under intensive production conditions causes the development of subacute rumen acidosis (SARA). In this paper we discuss a reticulo-ruminal long-acting cyber-physical diagnostic system' prototype, which applies Internet of Things (IoT) for monitoring rumen parameters of cows. The new diagnostic system architecture includes, reticulo-ruminal bolus with pH and temperature sensors, a microcontroller, a radio transmitter and a power supply module. The system includes gateways for data collection from boluses, an MQTT (Message Queuing Telemetry Transport) broker, a web server and a database. The diagnostic system' prototype provides timely data on cow health status to the users, so they can evaluate the cow' health status and implement further actions. Therefore, the use of diagnostic system provides opportunity to increase cow productivity, longevity and to save maintenance cost of milk farms. The results of the first stage of the research are discussed in this paper.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Passive Quadrupedal Gait Synchronization for Extra Robotic Legs Using a Dynamically Coupled Double Rimless Wheel Model

arXiv

引用

arXiv 2020年

作者： Gonzalez, Daniel J. Harry Asada, H. Robotics Research Center Department of Electrical Engineering and Computer Science United States Military Academy West PointNY10996 United States d’Arbeloff Laboratory for Information Systems and Technology Department of Mechanical Engineering Massachusetts Institute of Technology CambridgeMA02139 United States

The Extra Robotic Legs (XRL) system is a robotic augmentation worn by a human operator consisting of two articulated robot legs that walk with the operator and help bear a heavy backpack payload. It is desirable for the Human-XRL quadruped system to walk with the rear legs lead the front by 25% of the gait period, minimizing the energy lost from foot impacts while maximizing balance stability. Unlike quadrupedal robots, the XRL cannot command the human’s limbs to coordinate quadrupedal locomotion. Using a pair of Rimless Wheel models, it is shown that the systems coupled with a spring and damper converge to the desired 25% phase difference. A Poincaré return map was generated using numerical simulation to examine the convergence properties to different coupler design parameters, and initial conditions. The Dynamically Coupled Double Rimless Wheel system was physically realized with a spring and dashpot chosen from the theoretical results, and initial experiments indicate that the desired synchronization properties may be achieved within several steps using this set of passive components alone. Copyright © 2020, The Authors. All rights reserved.

关键词： Exoskeleton (robotics)

来源：评论

学校读者我要写书评

暂无评论

A toolkit to generate social navigation datasets

arXiv

引用

arXiv 2020年

作者： Baghel, Rishabh Kapoor, Aditya Bachiller, Pilar Jorvekar, Ronit R. Rodriguez-Criado, Daniel Manso, Luis J. Dept. of Computer Science and Engineering Indian Institute of Information Technology Guwahati India Dept. of Computer Science and Information Systems Birla Institute of Technology and Science Goa India Robotics and Artificial Vision Laboratory University of Extremadura Spain Dept. of Computer Engineering Pune Institute of Computer Technology India Dept. of Computer Science College of Engineering and Physical Sciences Aston University United Kingdom

Social navigation datasets are necessary to assess social navigation algorithms and train machine learning algorithms. Most of the currently available datasets target pedestrians’ movements as a pattern to be replicated by robots. It can be argued that one of the main reasons for this to happen is that compiling datasets where real robots are manually controlled, as they would be expected to behave when moving, is a very resource-intensive task. Another aspect that is often missing in datasets is symbolic information that could be relevant, such as human activities, relationships or interactions. Unfortunately, the available datasets targeting robots and supporting symbolic information are restricted to static scenes. This paper argues that simulation can be used to gather social navigation data in an effective and cost-efficient way and presents a toolkit for this purpose. A use case studying the application of graph neural networks to create learned control policies using supervised learning is presented as an example of how it can be used. Copyright © 2020, The Authors. All rights reserved.

关键词： Navigation

来源：评论

学校读者我要写书评

暂无评论

Programmable cell aggregation by a synthetic biosilicification approach

引用

iscience 2025年第6期28卷

作者： Wang, Qing Sun, Jing Zang, Lei Yao, Huaxiong Wang, Lin Zhu, Runtao Li, Jie Zeng, Simin Tang, Hongting Wang, Teng Liu, Ji Wang, Bo Li, Bo Liu, Zhiyuan Dai, Zhuojun State Key Laboratory of Quantitative Synthetic Biology Shenzhen Institute of Synthetic Biology Shenzhen Institutes of Advanced Technology Chinese Academy of Sciences Shenzhen 518055 China School of Chemistry and Chemical Engineering Harbin Institute of Technology Harbin 150001 China Center of Neural Engineering CAS Key Laboratory of Human-Machine Intelligence-Synergy Systems Shenzhen Institute of Artificial Intelligence and Robotics for Society Shenzhen Institutes of Advanced Technology Chinese Academy of Sciences Shenzhen 518055 China Department of Mechanical and Energy Engineering Southern University of Science and Technology Shenzhen 518055 China Department of Civil Engineering University of Nottingham Ningbo China 199 Taikang East Road Ningbo 315100 China

Programmable cell aggregation offers valuable insights into the natural development of synthetic multicellular systems and enables precise control over spatial organization and material structuring. Previous efforts have focused on modifying cells with designed organic-based adhesive modules and assembling cells into defined patterns. Here, we present a different approach to guide cell assembly by tuning the organic-inorganic interactions. Our method involves engineering cells to express a silicifying peptide on their surfaces, which promotes silica deposition on the cell walls. This peptide simultaneously binds to the silica synthesized on adjacent cells, triggering cell clustering. The engineered cells exhibit rapid aggregation, with approximately 95% of cells assembling within 15 min. We further show that this capability can facilitate materials assembly and chemical production. Our biosilicification-based approach offers novel insights into natural multicellularity mechanisms and holds potential for applications in biomanufacturing and materials engineering. © 2025 The Author(s)

关键词： Bioengineering Biomaterials Synthetic biology

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：