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

23rd IEEE International Conference on Software Quality, Reliability, and Security Companion, QRS-C 2023

作者： Huang, Peishan Hong, Weijiang Chen, Zhenbang Wang, Ji College of Computer National University of Defense Technology Changsha China National University of Defense Technology State Key Laboratory of High Performance Computing Changsha China

ISBN: (纸本)9798350359398

Behavior trees (BTs) as a control structure in robotics are increasingly being used in safety-critical domains, which makes it very important to verify the correctness of BTs. This fast abstract reports our in-progress work on a formal language designed explicitly for modeling BTs. Based on the language, we have developed a prototype for modeling and verifying BTs. The preliminary application and evaluation indicate the effectiveness of our method. © 2023 IEEE.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Enhanced Dcf Tracker Regularized by Reliable Sample Construction 48

Enhanced Dcf Tracker Regularized by Reliable Sample Construc...

引用

48th IEEE International Conference on Acoustics, Speech and Signal Processing, ICASSP 2023

作者： Hu, Kun Cao, Mingyu Wang, Mengzhu Lan, Long Yang, Wenjing Tan, Huibin Institute for Quantum Information State Key Laboratory of High Performance Computing China National University of Defense Technology College of Computer Science and Technology Changsha China

ISBN: (纸本)9781728163277

Discriminative correlation filter (DCF) is a highly efficient tracking technique using the circulant shifted samples of search images to update the template, so the reliability of input samples determines template quality. In this paper, we rethink the reliability problem of input samples in advance during template updating and propose an enhanced DCF tracking method regularized by a novel sparse representation based reliable sample construction term, called enhanced sparse correlation filter (ESCF). Specifically, the reconstructed reliable samples are the sparse representation of circulant shifted samples of unfiltered input samples, in which the target will approach the center to preserve target visual cues into the template when using the cosine window. Besides, we jointly perform template learning and reliable sample construction into a unified learning paradigm to benefit from each other, which further can be carried out in the frequency domain without incurring excessive time cost by skillful decomposition. Experiments on several popular visual tracking datasets verify the efficacy of ESCF and show that ESCF performs favorably against several well-established representative counterparts. © 2023 IEEE.

关键词： Correlation filter Reliable sample construction Sparse representation Unfiltered features

来源：评论

学校读者我要写书评

暂无评论

Thermally Evaporated ZnSe for Efficient and Stable Regular/Inverted Perovskite Solar Cells by Enhanced Electron Extraction

引用

Energy & Environmental Materials 2023年第5期6卷 440-448页

作者： Xin Li Guibin Shen Xin Ren Ng Zhiyong Liu Yun Meng Yongwei Zhang Cheng Mu Zhi Gen Yu Fen Lin Solar Energy Research Institute of Singapore(SERIS) National University of SingaporeSingapore 117574Singapore Key Laboratory of Advanced Light Conversion Materials and Biophotonics Department of ChemistryRenmin University of ChinaBeijing 100872China State Key Laboratory of Digital Manufacturing Equipment and Technology Huazhong University of Science and TechnologyWuhan 430074China School of Materials Science and Engineering Nanyang Technological UniversitySingapore 639798Singapore Shandong Provincial Engineering and Technical Center of Light Manipulation and Shandong Provincial Key Laboratory of Optics and Photonic Devices School of Physics and ElectronicsShandong Normal UniversityJinan 250014China Institute of High Performance Computing A^(*)STARSingapore 138632Singapore

Electron transport layers(ETLs)are crucial for achieving efficient and stable planar perovskite solar cells(PSCs).Reports on versatile inorganic ETLs using a simple film fabrication method and applicability for both low-cost planar regular and inverted PSCs with excellent efficiencies(>22%)and high stability are very ***,we employ a novel inorganic ZnSe as ETL for both regular and inverted PSCs to improve the efficiency and stability using a simple thermal evaporation *** TiO_(2)-ZnSe-FAPbl_(3)heterojunction could be formed,resulting in an improved charge collection and a decreased carrier recombination further proved through theoretical *** optimized regular PSCs based on TiO_(2)/ZnSe have achieved 23.25%efficiency with negligible *** addition,the ZnSe ETL can also effectively replace the unstable bathocuproine(BCP)in inverted ***,the ZnSe-based inverted device realizes a champion efficiency of 22.54%.Moreover,the regular device comprising the TiO_(2)/ZnSe layers retains 92%of its initial PCE after 10:00 h under 1 Sun continuous illumination and the inverted device comprising the C_(60)/ZnSe layers maintains over 85%of its initial PCE at 85℃for 10:00 *** highlights one of the best results among universal ETLs in both regular and inverted perovskite photovoltaics.

关键词： high efficiency long-term stability planar regular/inverted perovskite solar cells thermal evaporation ZnSe electron transport layer

来源：评论

学校读者我要写书评

暂无评论

Online Optimization in Power Systems With high Penetration of Renewable Generation:Advances and Prospects

引用

IEEE/CAA Journal of Automatica Sinica 2023年第4期10卷 839-858页

作者： Zhaojian Wang Wei Wei John Zhen Fu Pang Feng Liu Bo Yang Xinping Guan Shengwei Mei Key Laboratory of System Control and Information Processing Ministry of Education of ChinaDepartment of AutomationShanghai Jiao Tong UniversityShanghai 200240China State Key Laboratory of Power System and the Department of Electrical Engineering Tsinghua UniversityBeijing 100084China Institute of High Performance Computing(IHPC) Agency for Science Technology and Research(A*STAR)Singapore 138632Singapore

Traditionally,offline optimization of power systems is acceptable due to the largely predictable loads and reliable *** increasing penetration of fluctuating renewable generation and internet-of-things devices allowing for fine-grained controllability of loads have led to the diminishing applicability of offline optimization in the power systems domain,and have redirected attention to online optimization ***,online optimization is a broad topic that can be applied in and motivated by different settings,operated on different time scales,and built on different theoretical *** paper reviews the various types of online optimization techniques used in the power systems domain and aims to make clear the distinction between the most common techniques *** particular,we introduce and compare four distinct techniques used covering the breadth of online optimization techniques used in the power systems domain,i.e.,optimization-guided dynamic control,feedback optimization for single-period problems,Lyapunov-based optimization,and online convex optimization techniques for multi-period ***,we recommend some potential future directions for online optimization in the power systems domain.

关键词： optimization Lyapunov optimization online convex optimization online optimization optimization-guided control

来源：评论

学校读者我要写书评

暂无评论

Skyrmion transport driven by pure voltage generated strain gradient

引用

Chinese Physics B 2022年第11期31卷 566-570页

作者： Shan Qiu Jia-Hao Liu Ya-Bo Chen Yun-Ping Zhao Bo Wei Liang Fang Institute for Quantum Information&State Key Laboratory of High Performance Computing College of ComputerNational University of Defense TechnologyChangsha 410073China Hunan University of Humanities Science and Technology Loudi 417000China

The magnetic skyrmion transport driven by pure voltage-induced strain gradient is proposed and studied via micromagnetic *** combining the skyrmion with multiferroic heterojunction,a voltage-induced uniaxial strain gradient is adjusted to move *** the system,a pair of short-circuited trapezoidal top electrodes can generate the symmetric *** to the symmetry of strain,the magnetic skyrmion can be driven with a linear motion in the middle of the nanostrip without *** calculate the strain distribution generated by the trapezoidal top electrodes pair,and further investigate the influence of the strain intensity as well as the strain gradient on the skyrmion *** findings provide a stable and low-energy regulation method for skyrmion transport.

关键词： skyrmion strain gradient multiferroic heterojunction spintronics

来源：评论

学校读者我要写书评

暂无评论

Analysis of axial windage loss in air gap of high-speed motors under high Taylor number 8

Analysis of axial windage loss in air gap of high-speed moto...

引用

8th International Symposium on Hydrogen Energy, Renewable Energy and Materials, HEREM 2022

作者： Song, Yuchen Cao, Jiwei Zhong, Chengbao Chen, Jialiang Li, Liyi Department of Electrical Engineering Harbin Institute of Technology Harbin150001 China Guangdong Provincial Key Laboratory of High-Performance Servo System Zhuhai519070 China

In the field of ultra-high-speed motors, windage loss rises rapidly with the increase of rotational speed, and even becomes the main part of motor loss. However, most researches of windage loss are based on empirical formulas, which has a narrow scope of application. These formulas could not guarantee the accuracy when calculating large Taylor number flow in high-speed motor air gap, especially under axial ventilation condition. This paper focuses on the interaction between Taylor vortices and axial flow, analyses the influence of Taylor number on the behaviour of Taylor vortices and windage loss under non-axial and axial ventilation. First, another form of friction coefficient related to rotation speed is proposed using dimension analysis. Second, the scale of Taylor vortices is estimated and how it affects windage loss is discussed. Finally, a deceleration experiment taking a 250krpm induction motor is used to verify the accuracy of the proposed windage loss model. © 2023 Institute of Physics Publishing. All rights reserved.

关键词： Friction

来源：评论

学校读者我要写书评

暂无评论

An Optimized Hole Cutting Approach for Overset Grid Method with Rigid Body Motion in OpenFOAM 3

An Optimized Hole Cutting Approach for Overset Grid Method w...

引用

3rd International Conference on Applied Mathematics, Modeling and Computer Simulation, AMMCS 2023

作者： Zhao, Ran Li, Chao Guo, Xiaowei Institution of Quantum Information State Key Laboratory of High Performance Computing College of Computer Science and Technology National University of Defense Technology Hunan Changsha410073 China

ISBN: (纸本)9781643684581

The overset grid is an effective method to handle the moving boundary problem with complex geometries or massed movement in Computational Fluid Dynamics (CFD) simulations. As a critical part of the method, the Overset Grid Assembly (OGA) determines the point types. Hole cutting is one of the key processes of OGA to find out the hole points, which will not participate in the subsequent calculation of the simulation. However, repeated hole cutting is required when the boundary moves, restricting the assembly efficiency. In this paper, we propose a Block Corresponding Cutting (BCC) method to accelerate the process by reducing the redundancy of hole cutting with Rigid-body motion. Based on the open-source platform OpenFOAM, the experiments demonstrate that, compared with the classic SAM hole cutting method, the efficiency of BCC-based hole cutting is improved by 28.1% on average. © 2023 The Authors.

关键词： Computational fluid dynamics

来源：评论

学校读者我要写书评

暂无评论

DDIRNet: Robust Radar Emitter Recognition via Single Domain Generalization

引用

Journal of Systems Engineering and Electronics 2025年第2期36卷 397-404页

作者： Wu Honglin Li Xueqiong Huang Junjie Jin Ruochun Tang Yuhua Institute for Quantum Information & State Key Laboratory of High Performance Computing National University of Defense Technology Changsha China

Automatically recognizing radar emitters from complex electromagnetic environments is important but non-trivial. Moreover, the changing electromagnetic environment results in inconsistent signal distribution in the real world, which makes the existing approaches perform poorly for recognition tasks in different scenes. In this paper, we propose a domain generalization framework is proposed to improve the adaptability of radar emitter signal recognition in changing environments. Specifically, we propose an end-to-end denoising based domain-invariant radar emitter recognition network (DDIRNet) consisting of a denoising model and a domain invariant representation learning model (IRLM), which mutually benefit from each other. For the signal denoising model, a loss function is proposed to match the feature of the radar signals and guarantee the effectiveness of the model. For the domain invariant representation learning model, contrastive learning is introduced to learn the cross-domain feature by aligning the source and unseen domain distribution. Moreover, we design a data augmentation method that improves the diversity of signal data for training. Extensive experiments on classification have shown that DDIRNet achieves up to 6.4% improvement compared with the state-of-the-art radar emitter recognition methods. The proposed method provides a promising direction to solve the radar emitter signal recognition problem.

关键词： Training Representation learning Adaptation models Noise reduction Radar Contrastive learning Data augmentation Signal denoising Modeling Electromagnetics

来源：评论

学校读者我要写书评

暂无评论

Change Point Detection of Multi-functional Radar Work Mode Based on Window-sliding Algorithm 4

Change Point Detection of Multi-functional Radar Work Mode B...

引用

4th International Seminar on Artificial Intelligence, Networking and Information technology, AINIT 2023

作者： Tang, Zhi Li, Xueqiong Chen, Xucan School of Computing National University of Defense Technology State Key Laboratory of High Performance Computing Changsha China Chinese People's Liberation Army 32806 Unit Beijing China

ISBN: (纸本)9798350314526

Accurately detecting the change points of work mode is crucial for identifying the behavioral intentions of multi-functional radar (MFR). However, the intercepted MFR pulse sequence is filled with various noise, generating a large amount of measurement error, spurious pulses and lost pulses, making it difficult to locate change point positions. A window-sliding change point detection (Win-CPD) algorithm is applied in this paper, which detects change points by computing the discrepancy between two adjacent windows sliding along the MFR sequence, and discovering the peak in the discrepancy curve when the two windows cover different segments. Experiment results have verified the effectiveness and superiority of this algorithm. © 2023 IEEE.

关键词： Change detection

来源：评论

学校读者我要写书评

暂无评论

Formal Verification Based Synthesis for Behavior Trees 9th

Formal Verification Based Synthesis for Behavior Trees

引用

9th International Symposium on Dependable Software Engineering: Theories, Tools and Applications, SETTA 2023

作者： Hong, Weijiang Chen, Zhenbang Li, Minglong Li, Yuhan Huang, Peishan Wang, Ji College of Computer National University of Defense Technology Changsha China Key Laboratory of Software Engineering for Complex Systems National University of Defense Technology Changsha China Institute for Quantum Information & State Key Laboratory of High Performance Computing National University of Defense Technology Changsha China

ISBN: (纸本)9789819986637

Behavior trees (BTs) have been extensively applied in the area of both computer games and robotics, as the control architectures. However, the construction of BTs is labor-expensive, time-consuming, and even impossible as the complexity of task increases. In this work, we propose a formal verification based synthesis method to automatically construct BTs whose behaviors satisfy the given Linear Temporal Logic (LTL) specifications. Our method first explores candidate BTs by a grammar-based Monte Carlo Tree Search (MCTS), then the explored BTs are transformed into Communicating Sequential Processes (CSP) models. After that, we invoke the verifier to check the models’ correctness w.r.t. specifications, and provide feedback based on the verification result for guiding the search process. The application of our method on several representative robotic missions indicates its promising. © 2024, The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.

关键词： Behavior Trees CSP MCTS Synthesis

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：