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

BEDiff: denoising diffusion probabilistic models for building extraction

Optoelectronics Letters 2025年第5期21卷 298-305页

作者： LEI Yanjing WANG Yuan CHAN Sixian HU Jie ZHOU Xiaolong ZHANG Hongkai College of Computer Science and Technology Zhejiang University of Technology Hubei Key Laboratory of Intelligent Vision Based Monitoring for Hydroelectric Engineering College of Computer and Information China Three Gorges University Key Laboratory of Intelligent Informatics for Safety & Emergency of Zhejiang Province Wenzhou University College of Electrical and Information Engineering Quzhou University School of Electronic and Information Engineering Anhui Jianzhu University

Accurately identifying building distribution from remote sensing images with complex background information is challenging. The emergence of diffusion models has prompted the innovative idea of employing the reverse denoising process to distill building distribution from these complex backgrounds. Building on this concept, we propose a novel framework, building extraction diffusion model(BEDiff), which meticulously refines the extraction of building footprints from remote sensing images in a stepwise fashion. Our approach begins with the design of booster guidance, a mechanism that extracts structural and semantic features from remote sensing images to serve as priors, thereby providing targeted guidance for the diffusion process. Additionally, we introduce a cross-feature fusion module(CFM) that bridges the semantic gap between different types of features, facilitating the integration of the attributes extracted by booster guidance into the diffusion process more effectively. Our proposed BEDiff marks the first application of diffusion models to the task of building extraction. Empirical evidence from extensive experiments on the Beijing building dataset demonstrates the superior performance of BEDiff, affirming its effectiveness and potential for enhancing the accuracy of building extraction in complex urban landscapes.

关键词： A

来源：评论

学校读者我要写书评

暂无评论

Silicon dioxide-protection boosting the peroxidase-like activity of Fe single-atom catalyst for combining chemo-photothermal therapy

引用

Nano Research 2024年第6期17卷 4924-4933页

作者： Yu Fan Yu Yi Hongpan Rong Jiatao Zhang Beijing Key Laboratory of Construction-Tailorable Advanced Functional Materials and Green Applications School of Materials Science&EngineeringBeijing Institute of TechnologyBeijing 100081China CAS Center for Excellence in Nanoscience CAS KeyLaboratory for Biomedical Effects of Nanomaterials and NanosafetyNational Center for Nanoscience and Technology(NCNST)Beijing 100190China Key Laboratory of Medical Molecule Science and Pharmaceutics Engineering Ministry of Industry and Information TechnologySchool of Chemistry&Chemical EngineeringBeijing Key Laboratory of Construction-Tailorable Advanced Functional Materials and Green ApplicationsSchool of Materials Science and EngineeringBeijing Institute of TechnologyBeijing 100081China

Carbon-based single-atom catalysts(SACs)have been widely studied in the field of biomedicine due to their excellent catalytic ***,carbon-based SACs usually aggregate during pyrolysis,which leads to the reduction of catalytic ***,we describe a method to improve the monodispersion of SACs using silicon dioxide as a protective *** decoration of silicon dioxide serves as a buffer layer for individual nanoparticles,which is not destroyed during the pyrolysis process,ensuring the single-particle dispersion of the nanoparticles after *** approach increased the hydroxyl groups on the surface of Fe-SAC(Fe-SAC-SE)and improved its water solubility,resulting in a four times enhancement of the peroxidase(POD)-like activity of Fe-SAC-SE(58.4 U/mg)than that of non-protected SACs(13.9 U/mg).The SiO_(2)-protection approach could also improve the catalytic activities of SACs with other metals such as Mn,Co,Ni,and Cu,indicating its generality for SACs *** advantage of the high POD-like activity,photothermal properties,and large specific surface area of Fe-SAC-SE,we constructed a synergistic therapeutic system(Fe-SAC-SE@DOX@PEG)for combining the photothermal therapy,catalytic therapy,and *** was verified that the photothermal properties of Fe-SAC-SE@DOX@PEG could effectively improve its POD-like activity,exhibiting excellent tumor-killing performance at the cellular *** work may provide a general approach to improve the performances of SACs for disease therapy and diagnosis.

关键词： single-atom catalysts peroxidase-like activity SiO2-protection photothermal therapy catalytic therapy chemotherapy

来源：评论

学校读者我要写书评

暂无评论

Finite-step-integration:An original method for the forward kinematics analysis of parallel manipulators

引用

Frontiers of Mechanical engineering 2025年第1期20卷 129-146页

作者： Yuan JIANG Bo HAN Xiaohan LIU Meng HAN Jiantao YAO Yongsheng ZHAO School of Mechanical Engineering Yanshan UniversityQinhuangdao 066004China Hebei Provincial Key Laboratory of Parallel Robot and Mechatronic System Yanshan UniversityQinhuangdao 066004China College of Information Science and Engineering Northeastern UniversityShenyang 110819China

In today’s society,parallel manipulators(PMs)are widely used in industrial production,aerospace,and other fields,where their forward kinematic analyses often serve as the foundation for various tasks,such as design,calibration,and *** the past few decades,this issue has seemingly been repeatedly addressed using various numerical methods,intelligent algorithms,and algebraic *** it is undeniable that solving the equations is easier with current technology,the problem of“how to formulate solvable equations”is often *** analysis issue typically involves establishing non-linear,multi-parameter,high-dimensional,and strong-coupled mathematical equations,which,from a geometric perspective,is also considered a process of solving a spatial *** considering the temporal dimension of motion between two isomorphic polytopes,based on calculus theory,it has been found that this non-linear problem can be transformed into the superposition of multiple iteratively linear ***,we propose an original method for the forward kinematic analysis of PMs,namely the finite-step-integration(FSI)*** this study,the mathematical principles and modeling methods of the FSI method are elucidated,and the modeling and programming processes of the FSI method are demonstrated using general 6-UPS and 3-UPS/S manipulators as *** the analysis of its unique algebraic structure,the methods for singularity determination and motion tracking characteristic analysis are *** method addresses the long-standing challenges in the forward kinematic modeling of PMs,which is applicable for design,calibration,and control,while also offering novel insights for modeling and solving certain non-linear engineering problems.

关键词： finite-step-integration forward kinematic analysis parallel manipulator singularity determination motion tracking

来源：评论

学校读者我要写书评

暂无评论

A Review on Binary Code Analysis Datasets 18th

A Review on Binary Code Analysis Datasets

引用

18th International Conference on Wireless Artificial Intelligent Computing systems and Applications, WASA 2024

作者： Huang, Zhijian Song, Shuguang Liu, Han Kuang, Hongyu Zhang, Jingjing Hu, Pengfei National Key Laboratory of Science and Technology on Information System Security Systems Engineering Institute Academy of Military Sciences Beijing China School of Computer Science and Technology Shandong University Qingdao China

ISBN: (纸本)9783031714696

Binary code analysis serves as the foundation for research in vulnerability discovery, software protection, and malicious code analysis. However, analyzing binary files is challenging due to the lack of high-level semantic information, leading to heavy dependence on analysts’ expertise and significantly impacting the efficiency of binary code analysis. Recent years has witnessed the blossom of machine learning models for binary analysis, but few researches address the problem of binary code datasets. In this paper, we review all the existing and available datasets, and make classification according to their application. We set up experiments to illustrate how dataset quality could affect the performance of machine learning models in binary function recognition. Based on the experimental evaluation, we present a discussion on the ground truth as well as quality evaluation problems for binary code datasets. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Adversarial machine learning

来源：评论

学校读者我要写书评

暂无评论

Unveiling impacts of PMD on spectral modulations in PM-fiber-based ultrafast amplifiers

引用

Chinese Optics Letters 2024年第12期22卷 57-62页

作者： Shang Wang Guanguang Gao Zhenhua Cong Zhaojun Liu Zhigang Zhao Key Laboratory of Laser&Infrared System Ministry of EducationShandong UniversityQingdao 266237China School of Information Science and Engineering Shandong UniversityQingdao 266237China Shanghai Institute of Optics and Fine Mechanics Chinese Academy of SciencesShanghai 201800China Shandong Provincial Key Laboratory of Laser Technology and Application Shandong UniversityQingdao 266237China

In this work,polarization mode dispersion(PMD)in polarization-maintaining(PM)fibers,to the best of our knowledge,is first proposed and experimentally proved to be responsible for severe spectral modulations in ultrafast PM fiber amplifiers,the introduction of which can give reasonable explanation for the dense spectral ripples imposed on the spectra of amplified lasers from the commonly used all-PM-fiber or hybrid“PM-fiber+bulk crystal”amplifiers,including both high-power amplifiers with remarkable nonlinear effects(self-phase modulation,SPM)and even low-power amplifiers with negligible nonlinear effects.

关键词： spectral modulation polarization mode dispersion self-phase modulation polarization-maintaining fibers

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Verifiable delay functions and delay encryptions from hyperelliptic curves

引用

Cybersecurity 2024年第4期7卷 110-121页

作者： Chao Chen Fangguo Zhang School of Computer Science and Engineering Sun Yat-sen UniversityGuangzhou 510006China Guangdong Province Key Laboratory of Information Security Technology Guangzhou 510006China

Verifiable delay functions(VDFs)and delay encryptions(DEs)are two important primitives in decentralized systems,while existing constructions are mainly based on time-lock puzzles.A disparate framework has been established by applying isogenies and pairings on elliptic *** this line,we first employ Richelot isogenies and non-degenerate pairings from hyperelliptic curves for a new verifiable delay function,such that no auxiliary proof and interaction are needed for the ***,we demonstrate that our scheme satisfies all security requirements,in particular,our VDF can resist several attacks,including the latest attacks for ***,resorting to the same techniques,a secure delay encryption from hyperelliptic curves is constructed by modifying Boneh and Frankiln's IBE scheme,which shares the identical setup with our VDF *** far as we know,these schemes are the first cryptographic applications from high-genus isogenies apart from basic protocols,i.e.,hash functions and key exchange protocols.

关键词： Verifiable delay functions Delay encryptions Hyperelliptic curves Richelot isogenies Pairings

来源：评论

学校读者我要写书评

暂无评论

Secondary electron emission and photoemission from a negative electron affinity semiconductor with large mean escape depth of excited electrons

引用

Chinese Physics B 2023年第4期32卷 677-690页

作者：谢爱根董红杰刘亦凡 School of Physics and Optoelectronic Engineering Nanjing University of Information Science and TechnologyNanjing 210044China Jiangsu Key Laboratory for Optoelectronic Detection of Atmosphere and Ocean Nanjing University of Information Science&TechnologyNanjing 210044China Jiangsu international Joint Laboratory on Meteorological Photonics and Optoelectronic Detection Nanjing University of Information Science&TechnologyNanjing 210044China

The formulae for parameters of a negative electron affinity semiconductor(NEAS)with large mean escape depth of secondary electrons A(NEASLD)are *** methods for obtaining parameters such asλ,B,E_(pom)and the maximumδandδat 100.0 keV≥E_(po)≥1.0 keV of a NEASLD with the deduced formulae are presented(B is the probability that an internal secondary electron escapes into the vacuum upon reaching the emission surface of the emitter,δis the secondary electron yield,E_(po)is the incident energy of primary electrons and E_(pom)is the E_(po)corresponding to the maximumδ).The parameters obtained here are analyzed,and it can be concluded that several parameters of NEASLDs obtained by the methods presented here agree with those obtained by other *** relation between the secondary electron emission and photoemission from a NEAS with large mean escape depth of excited electrons is investigated,and it is concluded that the presented method of obtaining A is more accurate than that of obtaining the corresponding parameter for a NEAS with largeλ_(ph)(λ_(ph)being the mean escape depth of photoelectrons),and that the presented method of calculating B at E_(po)>10.0 keV is more widely applicable for obtaining the corresponding parameters for a NEAS with largeλ_(ph).

关键词： negative electron affinity semiconductor secondary electron emission photoemission the probability secondary electron yield large mean escape depth of excited electrons

来源：评论

学校读者我要写书评

暂无评论

Meter-Scale Thin-Walled Structure with Lattice Infill for Fuel Tank Supporting Component of Satellite:Multiscale Design and Experimental Verification

引用

Computer Modeling in engineering & sciences 2024年第1期138卷 201-220页

作者： Xiaoyu Zhang Huizhong Zeng Shaohui Zhang Yan Zhang Mi Xiao Liping Liu Hao Zhou Hongyou Chai Liang Gao Beijing Key Laboratory of Lightweight Multi-Functional Composite Materials and Structures Beijing Institute of TechnologyBeijing100081China Beijing Key Laboratory of Intelligent Space Robotic Systems Technology and Applications Beijing Institute of Spacecraft System EngineeringChina Academy of Space TechnologyBeijing100094China Key Laboratory of Metallurgical Equipment and Control Technology Ministry of EducationWuhan University of Science and TechnologyWuhan430081China State Key Laboratory of Digital Manufacturing Equipment and Technology Huazhong University of Science and TechnologyWuhan430074China

Lightweight thin-walled structures with lattice infill are widely desired in satellite for their high stiffness-to-weight ratio and superior buckling strength resulting fromthe sandwich *** structures can be fabricated bymetallic additive manufacturing technique,such as selective laser melting(SLM).However,the maximum dimensions of actual structures are usually in a sub-meter scale,which results in restrictions on their appliance in aerospace and other *** this work,a meter-scale thin-walled structure with lattice infill is designed for the fuel tank supporting component of the satellite by integrating a self-supporting lattice into the thickness optimization of the *** designed structure is fabricated by SLM of AlSi10Mg and cold metal transfer welding ***-static mechanical tests and vibration tests are both conducted to verify the mechanical strength of the designed large-scale lattice thin-walled *** experimental results indicate that themeter-scale thin-walled structure with lattice infill could meet the dimension and lightweight requirements of most spacecrafts.

关键词： Thin-walled structure lattice infill supporting component selective laser melting satellite

来源：评论

学校读者我要写书评

暂无评论

PBCounter:weighted model counting on pseudo-boolean formulas

引用

Frontiers of Computer science 2025年第3期19卷 55-63页

作者： Yong LAI Zhenghang XU Minghao YIN College of Computer Science and Technology Jilin UniversityChangchun 130012China Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin UniversityChangchun 130012China School of Computer Science and Information Technology Northeast Normal UniversityChangchun 130017China

In Weighted Model Counting(WMC),we assign weights to literals and compute the sum of the weights of the models of a given propositional formula where the weight of an assignment is the product of the weights of its *** current WMC solvers work on Conjunctive Normal Form(CNF)***,CNF is not a natural representation for human-being in many *** by the stronger expressive power of Pseudo-Boolean(PB)formulas than CNF,we propose to perform WMC on PB *** on a recent dynamic programming algorithm framework called ADDMC for WMC,we implement a weighted PB counting tool *** compare PBCounter with the state-of-the-art weighted model counters SharpSAT-TD,ExactMC,D4,and ADDMC,where the latter tools work on CNF with encoding methods that convert PB constraints into a CNF *** experiments on three domains of benchmarks show that PBCounter is superior to the model counters on CNF formulas.

关键词： weighted model counting pseudo-boolean constraint algebraic decision diagrams preprocessing techniques

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：