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

3rd International Conference on Algorithms, Network, and Communication technology, ICANCT 2024

作者： Chen, Li Jia, Zhangtao An, Heng Li, Haoyu Beijing Computer Technology and Application Research Institute Beijing China

ISBN: (数字)9781510688902

ISBN: (纸本)9781510688896

The Tyche Embedded Operating System is a highly customized real-time embedded operating system, widely applied in fields such as aerospace, medical devices, and industrial automation. Renowned for its robust support for real-time tasks and efficient resource management, this system has become a core technology in embedded system development. The Architecture Analysis and Design Language (AADL), as a stringent standardized modeling language, possesses powerful expressiveness and scalability. This paper proposes a method for generating platform-specific code for the Tyche Embedded Operating System based on AADL models, which involves describing complex systems through AADL modeling and generating safety-critical software suitable for the Tyche Embedded Operating System. Firstly, the paper elaborates on the key aspects of the AADL standard and adheres to these aspects for modeling safety-critical systems. Secondly, an intermediate layer is introduced, outlining the mapping rules from the AADL common subset to the intermediate code, generating intermediate code for each component within the system architecture, and ultimately compiling it into C code applicable to the Tyche platform. Finally, a prototype tool for code generation is provided, and the effectiveness of the proposed method is validated through a case study of a temperature control system. © 2025 SPIE.

关键词： Program compilers

来源：评论

学校读者我要写书评

暂无评论

LucIE: Language-guided local image editing for fashion images

引用

Computational Visual Media 2025年第1期11卷 179-194页

作者： Huanglu Wen Shaodi You Ying Fu School of Computer Science and Technology Beijing Institute of TechnologyBeijingChina Computer Vision Research Group in the Institute of Informatics University of AmsterdamAmsterdamthe Netherlands

Language-guided fashion image editing is challenging,as fashion image editing is local and requires high precision,while natural language cannot provide precise visual information for *** this paper,we propose LucIE,a novel unsupervised language-guided local image editing method for fashion *** adopts and modifies recent text-to-image synthesis network,DF-GAN,as its ***,the synthesis backbone often changes the global structure of the input image,making local image editing *** increase structural consistency between input and edited images,we propose Content-Preserving Fusion Module(CPFM).Different from existing fusion modules,CPFM prevents iterative refinement on visual feature maps and accumulates additive modifications on RGB *** achieves local image editing explicitly with language-guided image segmentation and maskguided image blending while only using image and text *** on the DeepFashion dataset shows that LucIE achieves state-of-the-art *** with previous methods,images generated by LucIE also exhibit fewer *** provide visualizations and perform ablation studies to validate LucIE and the *** also demonstrate and analyze limitations of LucIE,to provide a better understanding of LucIE.

关键词： deep learning language-guided image editing local image editing content preservation fashion images

来源：评论

学校读者我要写书评

暂无评论

Heap Memory Vulnerability Detection and Protection in Embedded Real-Time Operating Systems 24

Heap Memory Vulnerability Detection and Protection in Embedd...

引用

8th International Conference on Electronic Information technology and computer Engineering, EITCE 2024

作者： Zhang, Jinyuan Yao, Rui Zhang, Yang Beijing Institute of Computer Technology and Application Beijing China

ISBN: (纸本)9798400710094

In application software development, memory defects are difficult to detect. Traditional memory defect detection tools generally face issues of high performance overhead and excessive memory consumption, which limits their applicability in embedded operating systems. To address this, a method called EHD (Embedded Heap Detect) is proposed. This method combines memory defect detection technology with the memory management mechanisms of embedded operating systems to effectively and quickly detect heap memory vulnerabilities, selecting appropriate times for detection to reduce the number of detections and lower performance overhead. © 2024 Copyright held by the owner/author(s).

关键词： Dynamic Detection

来源：评论

学校读者我要写书评

暂无评论

UniTrans:Unified Parameter-Efficient Transfer Learning and Multimodal Alignment for Large Multimodal Foundation Model

引用

computers, Materials & Continua 2025年第4期83卷 219-238页

作者： Jiakang Sun Ke Chen Xinyang He Xu Liu Ke Li Cheng Peng Chengdu Institute of Computer Application Chinese Academy of SciencesChengdu610213China School of Computer Science and Technology University of Chinese Academy of SciencesBeijing101499China

With the advancements in parameter-efficient transfer learning techniques,it has become feasible to leverage large pre-trained language models for downstream tasks under low-cost and low-resource ***,applying this technique to multimodal knowledge transfer introduces a significant challenge:ensuring alignment across modalities while minimizing the number of additional parameters required for downstream task *** paper introduces UniTrans,a framework aimed at facilitating efficient knowledge transfer across multiple *** leverages Vector-based Cross-modal Random Matrix Adaptation to enable fine-tuning with minimal parameter *** further enhance modality alignment,we introduce two key components:the Multimodal Consistency Alignment Module and the Query-Augmentation Side Network,specifically optimized for scenarios with extremely limited trainable *** evaluations on various cross-modal downstream tasks demonstrate that our approach surpasses state-of-the-art methods while using just 5%of their trainable ***,it achieves superior performance compared to fully fine-tuned models on certain benchmarks.

关键词： Parameter-efficient transfer learning multimodal alignment image captioning image-text retrieval visual question answering

来源：评论

学校读者我要写书评

暂无评论

Vibration-induced bias error reduction using loop gain compensation for high-precision fiber optic gyroscopes

引用

Journal of Systems Engineering and Electronics 2025年第1期36卷 224-232页

作者： CHEN Heyu QIN Xuexin XIE Huan KONG Linghai ZHENG Yue School of Instrumentation Science and Opto-Electronics Engineering Beihang UniversityBeijing 100191China Beijing Institute of Computer Technology and Application Beijing 100854China Hunan Shuaiwei Control Technology Co. LTDChangsha 421000China Beijing Institute of Control and Electronic Technology Beijing 100038China

Vibration-induced bias deviation,which is generated by intensity fluctuations and additional phase differences,is one of the vital errors for fiber optic gyroscopes(FOGs)operating in vibration environment and has severely restricted the applications of high-precision *** conventional methods for suppressing vibration-induced errors mostly concentrate on reinforcing the mechanical structure and optical path as well as the compensation under some specific operation parameters,which have very limited effects for high-precision FOGs maintaining performances under *** this work,a technique of suppressing the vibration-induced bias deviation through removing the part related to the varying gain from the rotation-rate output is put ***,the loop gain is extracted out by adding a gain-monitoring *** demodulating the loop gain and the rotation rate simultaneously under distinct frequencies and investigating their quantitative relationship,the vibrationinduced bias error is compensated without limiting the operating parameters or environments,like the applied modulation *** experimental results show that the proposed method has achieved the reduction of bias error from about 0.149°/h to0.014°/h during the random vibration with frequencies from20 Hz to 2000 *** technique provides a feasible route for enhancing the performances of high-precision FOGs heading towards high environmental adaptability.

关键词： vibration-induced error fiber optic gyroscope(FOG) loop gain

来源：评论

学校读者我要写书评

暂无评论

HDD-Net: Haar Dual Domain Network for Ring Artifacts Correction

IEEE Transactions on Computational Imaging

引用

IEEE Transactions on Computational Imaging 2025年 11卷 399-409页

作者： Wu, Xuelong Wang, Junsheng Zhao, Qingjie Beijing Institute of Technology School of Mechanical Engineering Beijing100081 China Beijing Institute of Technology Advanced Research Institute for Multidisciplinary Science School of Materials Science and Engineering Beijing100081 China Beijing Institute of Technology School of Computer Science Beijing100081 China

Ring artifacts are common artifacts in X-ray Computed Tomography (XCT) scans and have a significant impact on subsequent feature/phase extractions due to the small grayscale gradients in XCT volume data of bulk materials. This paper proposes the Haar Dual Domain Network for correcting ring artifacts. By utilizing the Haar wavelet decomposition on images containing ring artifacts in both the image and projection domains, the ring artifacts are preliminarily separated, facilitating their removal by neural networks while preserving microstructure features such as low-contrast phase boundaries. By constructing a feature fusion network, the information from both 2D slices and 3D projection volume data has been fully integrated to eliminate ring artifacts while preserving the edges of every feature. The effectiveness of the Haar wavelet transform and fusion network has been validated by ablation experiments, proving the application of HDD-Net to large volume of XCT data. © 2015 IEEE.

关键词： Wavelet decomposition

来源：评论

学校读者我要写书评

暂无评论

Modulated waveforms for harmonic minimization of far-field signals in amplitude-modulated heating of the ionosphere

引用

Earth and Planetary Physics 2025年第2期9卷 387-399页

作者： ZhiJian Lu Yong Li Hui Li Jian Wu JingFeng Yao XingBao Lyu ChengXun Yuan ZhongXiang Zhou Ying Wang School of Physics Harbin Institute of TechnologyHarbin 150001China China Research Institute of Radio Waves Propagation Beijing 102206China Heilongjiang Provincial Key Laboratory of Plasma Physics and Application Technology Harbin 150001China Heilongjiang Provincial Innovation Research Center for Plasma Physics and Application Technology(International Cooperation) Harbin 150001China

This paper establishes an amplitude modulation heating model, simulating the far-field radiation of ELF/VLF signals generated by modulation heating, as well as the specific location and longitudinal extent of the radiation source. We consider various modulation waveforms and find that square-wave modulation has the highest excitation efficiency for ELF/VLF signals, and that square-wave modulation with a smaller duty cycle(<50%) exhibits higher excitation efficiency for ELF/VLF signals, while the sin^(2)t waveform modulation yields the lowest proportion of harmonic energy in the generated signals. The amplitude of the second harmonic generated by the sin^(2)t waveform is less than one-tenth that of the fundamental frequency, and the energy of higher-frequency harmonics can be negligibly small compared with those of the fundamental wave. It is a challenging task to achieve a balance between enhancing the excitation efficiency of ELF/VLF signals and also suppressing harmonics generated by the modulated heating process. This is because the harmonics are correspondingly enhanced as the excitation efficiency of the signals is increased. However, we find that under conditions of varying effective radiant power and modulation frequency, as long as the modulation waveform is unchanged, the energy ratio between the fundamental frequency signal generated by modulated heating and each harmonic is relatively fixed, with changes only in signal intensity and the location of the radiation source zone. This implies that one can first select modulation waveforms that make the signal less prone to distortion, then increase the effective radiated power to enhance the signal strength, without concern for harmonic interference of the fundamental signal.

关键词： ELF/VLF harmonic amplitude-modulated heating modulated waveforms

来源：评论

学校读者我要写书评

暂无评论

Functional Connectivity Encodes Sound Locations by Lateralization Angles

引用

Neuroscience Bulletin 2025年第2期41卷 261-271页

作者： Renjie Tong Shaoyi Su Ying Liang Chunlin Li Liwei Sun Xu Zhang School of Biomedical Engineering Capital Medical UniversityBeijing100069China Beijing Key Laboratory of Fundamental Research on Biomechanics in Clinical Application Beijing100069China Institute of Medical Technology Peking University Health Science CenterBeijing100191China

The ability to localize sound sources rapidly allows human beings to efficiently understand the surrounding *** studies have suggested that there is an auditory“where”pathway in the cortex for processing sound *** neural activation in regions along this pathway encodes sound locations by opponent hemifield coding,in which each unilateral region is activated by sounds coming from the contralateral ***,it is still unclear how these regions interact with each other to form a unified representation of the auditory *** the present study,we investigated whether functional connectivity in the auditory“where”pathway encoded sound locations during passive *** underwent functional magnetic resonance imaging while passively listening to sounds from five distinct horizontal locations(−90°,−45°,0°,45°,90°).We were able to decode sound locations from the functional connectivity patterns of the“where”***,we found that such neural representation of sound locations was primarily based on the coding of sound lateralization angles to the frontal *** addition,whole-brain analysis indicated that functional connectivity between occipital regions and the primary auditory cortex also encoded sound locations by lateralization ***,our results reveal a lateralization-angle-based representation of sound locations encoded by functional connectivity patterns,which could add on the activation-based opponent hemifield coding to provide a more precise representation of the auditory space.

关键词： Sound localization Functional connectivity Multivariate pattern analysis Lateralization angle

来源：评论

学校读者我要写书评

暂无评论

Communication Countermeasure Strategy Decision-Making Based on Incomplete Information Game 27

Communication Countermeasure Strategy Decision-Making Based ...

引用

27th International Conference on Advanced Communications technology, ICACT 2025

作者： Liu, Jinyue Gao, Xiang Yang, Haowei Zhang, Jihao Liu, Yuhan Gong, Peng National Key Laboratory of Mechatronic Engineering and Control School of Mechatronical Engineering Beijing Institute of Technology Beijing China Institute of Computer Application Technology Norinco Group Beijing China

ISBN: (纸本)9791188428137

In modern battlefields, the stability of wireless communications is crucial for intelligence transmission, command coordination, and maintaining strategic advantage. However, with the rapid advancement of communication technologies, the electromagnetic environment has become increasingly complex, making intelligent decision-making in communication countermeasures a prominent research focus. However, most existing studies adopt deep learning and reinforcement learning methods, which require extensive data samples and computational resources. To address these limitations, this paper proposes a game-theoretic model for intelligent radio communication countermeasures under incomplete information. It quantitatively evaluates common attack and defense tactcis used in communication countermeasures and explores the mixed-strategy equilibrium of the game when both the attackers and defenders consist of multiple types. Furthermore, simulation-based comparative analyses are conducted to assess the factors influencing the utility of both the attacker and defender. The findings offer theoretical insights and decision-making support for the deployment of communication countermeasure strategies in practical military operations, contributing to significant strategic value. © 2025 institute of Electrical and Electronics Engineers Inc.. All rights reserved.

关键词： Deep reinforcement learning

来源：评论

学校读者我要写书评

暂无评论

Security Analysis of Unmanned Aerial Vehicle Avionics System based on STPA: Considering Software Working Characteristics

Security Analysis of Unmanned Aerial Vehicle Avionics System...

引用

2024 International Conference Optoelectronic Information and Optical Engineering, OIOE 2024

作者： Zhou, Shule Bao, Dongchen Wang, Kui China Norinco UAV Research Institute Co. Ltd. China Beijing Institute of Computer and Electronics Application China

ISBN: (数字)9781510688209

ISBN: (纸本)9781510688193

With the continuous progress of drone technology, the safety issues of unmanned aerial vehicle (UAV) avionics systems are increasingly becoming a focus. As a nonlinear coupled system, the avionics system has a high degree of integration and mutual influence between its components. Traditional fault analysis methods often analyze accident processes from the perspective of linear causal relationships, but this method is clearly not applicable in avionics systems. Therefore, this article proposes to use the System Theoretic Process Analysis (STPA) method for safety analysis of avionics systems. By analyzing the working characteristics of embedded software, this article proposes the spatiotemporal control action between functions and extends the STPA method to the field of embedded software. Taking the cooling system as an example for safety analysis, software defects in the control process were discovered, proving the effectiveness of this method. © 2025 SPIE.

关键词： Aircraft accidents

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：