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

2023 International Conference on Artificial Intelligence of Things and systems, AIoTSys 2023

作者： Xiong, Jiaxin Chen, Lingxiao Zhao, Liang Chang, Wei China Three Gorges University Hubei Key Laboratory of Intelligent Vision Based Monitoring for Hydroelectric Engineering College of Computer and Information Technology Yichang China Saint Joseph's University Computer Science Department United States

ISBN: (纸本)9798350312270

Mobile Edge Computing (MEC) and Digital Twin (DT) technologies are crucial to meet the quality of service (QoS) of emerging applications. MEC sinks the processing power of the cloud to the edge and responds to users' requests in real time. DT can collect and analyze a large amount of data to make the optimal decision. However, the combination of MEC and DT is always ignored. Furthermore, it is more challenging to offload dependency-aware tasks efficiently. Therefore, this paper aims to present a more comprehensive survey of DT edge networks (DTEN). We first discuss prior knowledge about DTEN, such as its basic concepts, advantages, and application scenarios. Then, we highlight the research challenges for dependency-aware task offloading in recent years, including computation offloading, resource allocation, service caching, and edge collaboration. Furthermore, we introduce Reinforcement Learning (RL) for networking systems in detail. Finally, we conduct a typical dependency-aware task offloading case study to understand DTEN more deeply. © 2023 IEEE.

关键词： Reinforcement learning

来源：评论

学校读者我要写书评

暂无评论

Data-Driven Human-Robot Interaction Without Velocity Measurement Using Off-Policy Reinforcement Learning

引用

IEEE/CAA Journal of Automatica Sinica 2022年第1期9卷 47-63页

作者： Yongliang Yang Zihao Ding Rui Wang Hamidreza Modares Donald C.Wunsch Key Laboratory of Knowledge Automation for Industrial Processes Ministry of Education School of Automation&Electrical EngineeringUniversity of Science and Technology BeijingBeijing 100083China School of Automation Beijng Institute TechnologyBeijing 100081China State Key Laboratory of Management and Control for Complex Systems Institute of AutomationChinese Academy of SciencesBeijing 100190China Mechanical Engineering Department Michigan State UniversityEast LansingMI 48824 USA Department of Electrical&Computer Engineering Missouri University of Science&TechnologyRollaMO 65401 USA

In this paper,we present a novel data-driven design method for the human-robot interaction(HRI)system,where a given task is achieved by cooperation between the human and the *** presented HRI controller design is a two-level control design approach consisting of a task-oriented performance optimization design and a plant-oriented impedance controller *** task-oriented design minimizes the human effort and guarantees the perfect task tracking in the outer-loop,while the plant-oriented achieves the desired impedance from the human to the robot manipulator end-effector in the ***-driven reinforcement learning techniques are used for performance optimization in the outer-loop to assign the optimal impedance *** the inner-loop,a velocity-free filter is designed to avoid the requirement of end-effector velocity *** this basis,an adaptive controller is designed to achieve the desired impedance of the robot manipulator in the task *** simulation and experiment of a robot manipulator are conducted to verify the efficacy of the presented HRI design framework.

关键词： Adaptive impedance control data-driven method human-robot interaction(HRI) reinforcement learning velocity-free

来源：评论

学校读者我要写书评

暂无评论

A novel liquid crystal planar display structure based on fringe field effect

A novel liquid crystal planar display structure based on fri...

引用

International Conference on Display technology, 2024

作者： Li, An-Ran Yu, Xin-Yi Komitov, Lachezar Srivastava, Abhishek K. State Key Laboratory of Advanced Displays and Optoelectronics Technologies and Centre for Display Research Department of Electronics and Computer Engineering The Hong Kong University of Science and Technology Hong Kong Department of Physics University of Gothenburg Gothenburg Sweden

The liquid crystal display (LCD) continues to hold a prominent position in the display industry. These years' key research topic is the fringe field effect, which aims to improve the LCD's performance. A new LCD structure utilizing the fringe field effect has been identified as a promising solution. This structure allows for the control of the electromagnetic field of the liquid crystal cell by regulating the voltage of the Circular-Hole and Planar Electrode cell (CHPEC). This innovative structure is comprised of nematic liquid crystals (LCs) with negative dielectric anisotropy, a two-electrode system consisting of a Circular-Hole ITO structure on the top layer and a Planar structure on the bottom layer, and a SiO2 porous structure. Finite element simulation tests have verified the electric field strength, transmittance, and contrast of the cell and the matrix structure, meeting the design objectives. This breakthrough has significant potential for application in the display field. © 2024 John Wiley and Sons Inc. All rights reserved.

关键词： Electrodes

来源：评论

学校读者我要写书评

暂无评论

Fc-gcn: A formal concept-enhanced graph convolution network model

引用

Soft Computing 2025年第6期29卷 2715-2725页

作者： Wu, Kai Zhang, Chao Hao, Fei Li, Jinhai Wan, Qing Park, Kyuwon Qin, Xueyang Loia, Vincenzo School of Computer Science Shaanxi Normal University Xi’an710119 China Intelligent Policing Key Laboratory of Sichuan Province Sichuan Police College Luzhou646000 China Faculty of Science Kunming University of Science and Technology Kunming650500 China School of Science Xi’an Polytechnic University Xi’an710048 China AI·SW Education Institute Soonchunhyang University Asan31538 Korea Republic of School of Computer Science and Technology Dalian University of Technology Dalian116024 China Dipartimento di Scienze Aziendali - Management & Innovation Systems University of Salerno Fisciano84098 Italy

Graph convolution network (GCN) is a promising deep learning method, mainly used to process graph data, such as social network, knowledge graph, etc. The basic idea of GCN is to use local information to update the node feature vectors, so as to obtain global information and realize graph-level tasks. When dealing with large-scale graphs, the computational and storage overhead of GCN are expensive, which may lead to a decline in generalization performance. Fortunately, formal concept analysis (FCA) as a data mining method based on lattice theory, is mainly used to extract the conceptual relationship between data. By classifying and clustering the data, a complete concept hierarchy can be established to help people better understand the internal relationship between data and provide strong support for subsequent data analysis. To this end, this paper proposes a formal concept-enhanced graph convolution network (FC-GCN), which uses the FCA methodology to preprocess large-scale graphs, extract graph data information and deploy the graph-related services. Technically, the maximal cliques and concept stability are used for feature update to implement downstream tasks such as node classification, link prediction, and community detection thereby overcoming the problems of graph convolution methods on large-scale graphs. The FC-GCN model is trained with Cora dataset, and the performance of model accuracy with different parameters is analyzed using node classification. Compared with baselines on real-world datasets, FC-GCN has better performance on vertice classification, accuracy improvements range from 4.2 to 6.1%. © The Author(s), under exclusive licence to Springer-Verlag GmbH Germany, part of Springer Nature 2025.

关键词： Formal concept analysis

来源：评论

学校读者我要写书评

暂无评论

Verifying Contextual Refinement with Ownership Transfer

引用

Journal of computer science & technology 2021年第6期36卷 1342-1366页

作者： 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

Contextual refinement is a compositional approach to compositional verification of concurrent *** has been much work designing program logics to prove the contextual refinement between the object implementation and its abstract ***,these program logics for contextual refinement verification cannot support objects with resource ownership transfer,which is a common pattern in many concurrent objects,such as the memory management module in OS kernels,which transfers the allocated memory block between the object and *** this paper,we propose a new approach to give abstract and implementation independent specifications to concurrent objects with ownership *** also design a program logic to verify contextual refinement of concurrent objects *** abstract *** have successfully applied our logic to verifying an implementation of the memory management module,where the implementation is an appropriately simplified version of the original version from a real-world preemptive OS kernel.

关键词： contextual refinement program logic concurrent object ownership transfer verification

来源：评论

学校读者我要写书评

暂无评论

Research on Microkernel Integrity Semantics Model and Formal Verification

引用

Chinese Journal of Electronics 2025年第1期23卷 43-48页

作者： Zhenjiang Qian Wei Liu Hao Huang State Key Laboratory for Novel Software Technology Nanjing University Nanjing China Department of Computer Science and Technology Nanjing University Nanjing China

Microkernel integrity is an important aspect of security for the whole microkernel system. Many of the research works on microkernel integrity focus on analysis and safeguards against the existing kernel attacks, and security enhancements for the vulnerabilities of system design and implementation aspects. The formal methods for operating system design and verification ensure the system's high level of security. The existing formalization work and research for operating system mainly focus on the code-level verification of program correctness. In this paper, we propose a formal abstraction model of microkernel in order to accurately describe the semantics of every kernel behavior, and achieve the description of the whole kernel. Based on the model we illustrate the microkernel integrity criterions and elaborate on the integrity mechanism. Meanwhile, we formally verify the completeness and consistency between the mechanism and the definition of the microkernel integrity. We use the self-implemented operating system VTOS (Verified trusted operating system) as an example to illustrate the design method for the microkernel integrity.

关键词： Design methodology Semantics Security Personnel Logic Kernel Protection System analysis and design Research and development Formal verification

来源：评论

学校读者我要写书评

暂无评论

A Fault Detection Method Based on Bearing Dynamics with Multi-frequency Sinusoidal Signal 41

A Fault Detection Method Based on Bearing Dynamics with Mult...

引用

第41届中国控制会议

作者： Xiaohong Li Zhicheng Li Zaiyue Yang Shenzhen Key Laboratory of Biomimetic Robotics and Intelligent Systems Department of Mechanical and Energy Engineeringand the Guangdong Provincial Key Laboratory of Human-Augmentation and Rehabilitation Robotics in UniversitiesSouthern University of Science and Technology Academy for Advanced Interdisciplinary Studies Southern University of Science and Technology

ISBN: (数字)9789887581536

ISBN: (纸本)9781665482561

Bearing is a common and important component in the industry,and it is crucial to detect and diagnose its working *** to the characteristic the motion process of the bearing that is a periodic nonlinear system with sinusoidal input,a bearing fault detection method based on the nonlinear system with multi-frequency sinusoidal input is *** the dynamics modeling of the motion for the bearing,it is found that its input and output have the characteristics of almost periodic *** the periodogram-based asymptotic local fault detection method,the fault detection problem is transformed into a hypothesis test problem,and a threshold is obtained by the given confidence and the degree of freedom of a specific frequency *** method can effectively and quickly monitor the early minor faults in strong noise *** realization and performance of this bearing detection method are illustrated by the simulated vibration signal of the bearing.

关键词： Bearing dynamics model fault detection sinusoidal signal statistical methods

来源：评论

学校读者我要写书评

暂无评论

Pt thin-film resistance thermo detectors with stable interfaces for potential integration in SiC hightemperature pressure sensors

引用

Microsystems & Nanoengineering 2024年第5期10卷 231-242页

作者： Ziyan Fang Xiaoyu Wu Hu Zhao Xudong Fang Chen Wu Dong Zhang Zhongkai Zhang Bian Tian Libo Zhao Tiefu Li Prateek Verma Ryutaro Maeda Zhuangde Jiang State Key Laboratory for Manufacturing Systems Engineering International Joint Laboratory for Micro/Nano Manufacturing and Measurement TechnologiesXi'an Jiaotong UniversityXi'an 710049China School of Mechanical Engineering Xi'an Jiaotong UniversityXi'an 710049China Shandong Laboratory of Yantai Advanced Materials and Green Manufacturing at Yantai Yantai 264000China Xi'an Jiaotong University(Yantai)Research Institute for Intelligent Sensing Technology and System Xi'anChina School of Instrument Science and Technology Xi'an Jiaotong UniversityXi'an 710049China School of Integrated Circuits Tsinghua UniversityBeijing 100084China Department of Chemical Engineering University of ArkansasFayettevilleAR72701USA

Due to the excellent mechanical,chemical,and electrical properties of third-generation semiconductor silicon carbide(SiC),pressure sensors utilizing this material might be able to operate in extreme environments with temperatures exceeding 300℃.However,the significant output drift at elevated temperatures challenges the precision and stability of ***-time in situ temperature monitoring of the pressure sensor chip is highly important for the accurate compensation of the pressure *** this study,we fabricate platinum(Pt)thin-film resistance temperature detectors(RTDs)on a SiC substrate by incorporating aluminum oxide(Al_(2)O_(3))as the transition layer and utilizing aluminum nitride(AIN)grooves for alignment through microfabrication *** composite layers strongly adhere to the substrate at temperatures reaching 950℃,and the interface of the Al2O3/Pt bilayer remains stable at elevated temperatures of approximately 950 *** stability contributes to the excellent high-temperature electrical performance of the Pt RTD,enabling it to endure temperatures exceeding 850℃ with good *** characteristics establish a basis for the future integration of Pt RTD in SiC pressure ***,tests and analyses are conducted on the interfacial diffusion,surface morphological,microstructural,and electrical properties of the Pt flms at various annealing *** can be inferred that the tensile stress and self-diffusion of Pt films lead to the formation of hillocks,ultimately reducing the electrical performance of the Pt thin-flm *** increase the upper temperature threshold,steps should be taken to prevent the agglomeration of Pt films.

关键词： resistance carbide film

来源：评论

学校读者我要写书评

暂无评论

Cross-Modal Remote Sensing Image–Text Retrieval via Context and Uncertainty-Aware Prompt

引用

IEEE Transactions on Neural Networks and Learning systems 2024年第6期36卷 11384-11398页

作者： Yijing Wang Xu Tang Jingjing Ma Xiangrong Zhang Fang Liu Licheng Jiao Key Laboratory of Intelligent Perception and Image Understanding of Ministry of Education School of Artificial Intelligence Xidian University Xi’an China 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 Nanjing China

The cross-modal remote sensing image-text retrieval (CMRSITR) is a lively research topic in the remote sensing (RS) community. Benefiting from the large pretrained image-text models, many successful CMRSITR methods have been proposed in recent years. Although their performance is attractive, there are still some challenges. First, fine-tuning large pretrained models requires a significant amount of computational resources. Second, most large models are pretrained by natural images, which reduces their effectiveness in processing RS images. To tackle these challenges, we propose a new CMRSITR network named context and uncertainty-aware prompt (CUP). First, prompt tuning theory is introduced into CUP to eliminate the burden of optimization resources. By training the prompt tokens rather than all parameters, the large model’s knowledge can be transferred to CMRSITR tasks with small trainable parameters. Second, considering the differences between natural-image-based prior clues and RS images, apart from adopting the free-prompt tokens, we develop a prompt generation module (PGM) to produce the RS-oriented prompt tokens. The specific prompt tokens are rich in object-level messages of RS images, which help CUP narrow the gaps between natural large models and RS images. Third, we further design an uncertainty estimation module (UEM) to whittle down the uncertainties caused by the model and data. This way, can not only the semantic misalignment and intraclass diversity imbalance problems be mitigated but also the RS clues can be deeply explored. Competitive experimental results counted on three public benchmark datasets demonstrate that our CUP can achieve competitive performance in the CMRSITR task compared with many existing methods. Our source codes are available at: https://***/TangXu-Group/Cross-modal-remote-sensing-image-and-text-retrieval-models/tree/main/CUP .

关键词： Tuning Semantics Visualization Transformers Computational modeling Remote sensing Data models

来源：评论

学校读者我要写书评

暂无评论

Satisfiability threshold of the random regular(s,c,k)-SAT problem

引用

Frontiers of computer science 2022年第3期16卷 227-229页

作者： Xiaoling MO Daoyun XU Kai YAN Zaijun ZHANG College of Computer Science and Technology Guizhou UniversityGuiyang 550025China Agricultural Development Bank of China Beijing 100045China Key Laboratory of Complex Systems and Intelligent Computing and School of Mathematics and Statistics Qiannan Normal University for NationalitiesDuyun 558000China

1Introduction The satisfiability(SAT)problem is always a core problem in the field of computer *** theoretical and applied research have long been the common attention of many scholars in the field of artificial intelligence and mathematical *** the real world,all issues related to combinatorial optimization and coordination verification are closely related to SAT problem.

关键词： problem. problem combinatorial

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：