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

Methods for solving equations with errors based on the HHL algorithm

The Journal of China Universities of Posts and Telecommunications 2022年第4期29卷 9-20页

作者： LüLihui Wang Hong Ma Zhi Duan Qianheng Fei Yangyang Meng Xiangdong State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou 450001China Henan Key Laboratory of Network Cryptography Technology Zhengzhou 450001China

To solve polynomial systems,Harrow,Hassidim,and Lloyd(HHL)proposed a quantum algorithm called HHL *** on the HHL algorithm,Chen et *** an algorithm,the solving the Boolean solutions of polynomial systems(PoSSoB)***,Ding et *** the Boolean Macaulay matrix and analyzed the lower bound on the condition *** by Ding et al.’s research,several related algorithms are proposed in this ***,the improved PoSSoB algorithm using the Boolean Macaulay matrix is proved to have lower ***,for solving equations with errors,a quantum algorithm for the max-polynomial system solving(Max-PoSSo)problem is proposed based on the improved PoSSoB ***,the Max-PoSSo algorithm is extended to the learning with errors(LWE)problem and its special case,the learning parity with noise(LPN)problem,providing a quantitative criterion,the condition number,for the security of these basic problems.

关键词： Harrow Hassidim and Lloyd polynomial system solving max-polynomial system solving learning parity with noise learning with errors

来源：评论

学校读者我要写书评

暂无评论

A Survey of Security Analysis on Industrial Control Devices via Rehosting 3

A Survey of Security Analysis on Industrial Control Devices ...

引用

3rd IEEE International Conference on Information Technology, Big Data and Artificial Intelligence, ICIBA 2023

作者： Liu, Houzhi Ma, Rongkuan Wei, Qiang State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou450001 China

ISBN: (纸本)9781665490788

At present, the network security of embedded devices has received more and more attention. However, the existing dynamic analysis tools can't performance in embedded devices as common softwares. The main reason is that the internal state information of the embedded device can not be directly obtained, and the debugging interface usually shields the device after the manufacturer produces it. Thus, this paper introduces rehosting techniques for embedded systems and the differences between each way. Then we talk about the Deficiencies and future works in emulate execution. © 2023 IEEE.

关键词： Network security

来源：评论

学校读者我要写书评

暂无评论

Towards optimized tensor code generation for deep learning on sunway many-core processor

引用

Frontiers of Computer Science 2024年第2期18卷 1-15页

作者： Mingzhen LI Changxi LIU Jianjin LIAO Xuegui ZHENG Hailong YANG Rujun SUN Jun XU Lin GAN Guangwen YANG Zhongzhi LUAN Depei QIAN State Key Laboratory of Software Development Environment Beijing 100191China School of Computer Science and Engineering Beihang UniversityBeijing 100191China National University of Singapore Singapore 119077Singapore State Key Laboratory of Mathematical Engineering and Advanced Computing Wuxi 214000China Science and Technology on Special System Simulation Laboratory Beijing Simulation Center Beijing 100854China Department of Computer Science and Technology Tsinghua UniversityBeijing 100084China

The flourish of deep learning frameworks and hardware platforms has been demanding an efficient compiler that can shield the diversity in both software and hardware in order to provide application *** the existing deep learning compilers,TVM is well known for its efficiency in code generation and optimization across diverse hardware *** the meanwhile,the Sunway many-core processor renders itself as a competitive candidate for its attractive computational power in both scientific computing and deep learning *** paper combines the trends in these two ***,we propose swTVM that extends the original TVM to support ahead-of-time compilation for architecture requiring cross-compilation such as *** addition,we leverage the architecture features during the compilation such as core group for massive parallelism,DMA for high bandwidth memory transfer and local device memory for data locality,in order to generate efficient codes for deep learning workloads on *** experiment results show that the codes generated by swTVM achieve 1.79x improvement of inference latency on average compared to the state-of-the-art deep learning framework on Sunway,across eight representative *** work is the first attempt from the compiler perspective to bridge the gap of deep learning and Sunway processor particularly with productivity and efficiency in *** believe this work will encourage more people to embrace the power of deep learning and Sunwaymany-coreprocessor.

关键词： sunway processor deep learning compiler code generation performance optimization

来源：评论

学校读者我要写书评

暂无评论

Numerical Simulation Study of Oil-Water Emulsion Separation in an Ultrasonic Field:Effect of Coupling between Acoustic and Flow Field Parameters

引用

China Petroleum Processing & Petrochemical Technology 2024年第1期26卷 116-125页

作者： Wang Heping Lin Yinchao Li Yanggui Zhang Xiaohang Wu Yi Key Laboratory of Engineering Mathematics and Advanced Computing of Nanchang Institute of Technology School of SciencesNanchang Institute of TechnologyNanchang 330099People’s Republic of China Dongguan Key Laboratory of Kunpeng Computing School of Computer ScienceGuangdong University of Science&TechnologyDongguan 523083China State Key Laboratory of Plateau Ecology and Agriculture Qinghai UniversityXining 810016China

In this study,the separation and coalescence of oil-in-water emulsions are explored in an ultrasonic field using the lattice Boltzmann *** simulating the propagation of ultrasonic waves,this study focuses on examining the effects of acoustic wave frequency,the ratio of oil to water components,and the aspect ratio of the boundary on the emulsification and separation processes of oil-water *** following conclusions are drawn.①Frequency affects the speed of oil droplet separation,leading to an increase in droplet size over *** droplets are found near the source,while smaller droplets are distributed throughout the wave web.②As the boundary aspect ratio increases,the emulsification efficiency of the droplets weakens,and the system takes longer to stabilize.③Emulsions with a higher component of oil can better resist acoustic waves.④At the same acoustic frequency,longer wavelength ultrasonic fields promote the formation of uniformly distributed,smaller oil droplets,which is beneficial to the storage of *** numerical simulation results offer insights for optimizing conditions for oil-in-water separation and serve as a numerical reference for the study of oil-in-water emulsion separation in ultrasonic environments.

关键词： lattice Boltzmann method phase separation ultrasound field

来源：评论

学校读者我要写书评

暂无评论

IPDF: Directed Fuzzer for Input Parsing Program

IPDF: Directed Fuzzer for Input Parsing Program

引用

2023 International Conference on Electronic Information engineering and Data Processing, EIEDP 2023

作者： He, Yubo Liu, Long State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou450000 China

ISBN: (纸本)9781510666160

Directed greybox fuzzing aims to test specific code and has made many advances in several areas. However, most vulnerabilities of input parsing programs are triggered in the particular state of the program, so existing directed greybox fuzzing works face path explosion problem when they fuzz the input parsing program and need more ability to explore the particular state of the program. To address the above problem, we propose a call-relationship-based fitness function. The main idea is to use the function call relationship to guide directed fuzzing before reaching the target. Call-relationship-based fitness function extracts the function calls and call relationship from the program, uses an intra-procedural reachability analysis to get all concerned edges, and constructs the fitness function based on the edges. Based on the above method, we implemented the directed greybox fuzzing IPDF and evaluated it with the mainstream directed greybox fuzzers Beacon and AFLGo on real-world programs. Evaluation of IPDF showed that IPDF found vulnerabilities faster than the state-of-the-art directed greybox fuzzers. The experimental results showed that the speed of MDGF is 3.01 times faster than that of AFLGo and 1.15 times faster than Beacon. © 2023 SPIE.

关键词： Prototyping engineering Equipment Visualization

来源：评论

学校读者我要写书评

暂无评论

PdPtBi networked nanowires derived from Pd nanosheets as efficient catalysts for ethanol oxidation

引用

Nano Research 2023年第7期16卷 9125-9131页

作者： Ningkang Qian Liang Ji Junjie Li Hui Zhang Deren Yang State Key Laboratory of Silicon Materials and School of Materials Science and Engineering Zhejiang UniversityHangzhou 310027China Zhejiang Provincial Key Laboratory of Power Semiconductor Materials and Devices ZJU-Hangzhou Global Scientific and Technological Innovation CenterHangzhou 311200China

Direct ethanol fuel cells(DEFCs)have received increasing attention as one of the most promising energy conversion ***,developing catalysts with high activity,long durability and strong anti-poisoning ability for ethanol oxidation is still ***,using Pd nanosheets as sacrificial templates,we have successfully synthesized PdPtBi networked nanowires(NWs)to improve the activity and stability for ethanol oxidation reaction(EOR)due to the addition of *** functional theory(DFT)calculations demonstrated the downshift of d-band center of Pd,which is beneficial to suppress CO poisoning and boost reaction kinetics for ***,the PdPtBi networked NWs exhibited the highest activity(11.08 A·mg_(Pd+Pt)^(-1)and 92.52 mA·cm^(-2))with an enhancement of 4.4 and 17.5 times relative to those of Pd/C,respectively and best stability with a 47.2%left versus only a 5.8%left for Pd/C of mass activity after 3,600 s towards *** work deepens the understanding of controllable preparation of networked NWs and provides an effective strategy to design advanced catalysts with high activity and stability.

关键词： trimetallic palladium platinum network nanowire ethanol oxidation

来源：评论

学校读者我要写书评

暂无评论

A DECOUPLED,LINEARLY IMPLICIT AND UNCONDITIONALLY ENERGY STABLE SCHEME FOR THE COUPLED CAHN-HILLIARD SYSTEMS

引用

Journal of Computational Mathematics 2025年第3期43卷 708-730页

作者： Dan Zhao Dongfang Li Yanbin Tang Jinming Wen School of Mathematics and Statistics Huazhong University of Science and TechnologyWuhan 430074China Hubei Key Laboratory of Engineering Modeling and Scientific Computing Huazhong University of Science and TechnologyWuhan 430074China College of Information Science and Technology Jinan UniversityGuangzhou 510632China

We present a decoupled,linearly implicit numerical scheme with energy stability and mass conservation for solving the coupled Cahn-Hilliard *** time-discretization is done by leap-frog method with the scalar auxiliary variable(SAV)*** only needs to solve three linear equations at each time step,where each unknown variable can be solved *** is shown that the semi-discrete scheme has second-order accuracy in the temporal *** convergence results are proved by a rigorous analysis of the boundedness of the numerical solution and the error estimates at different *** examples are presented to further confirm the validity of the methods.

关键词： Coupled Cahn-Hilliard system Leap-frog method Scalar auxiliary variable Error estimate

来源：评论

学校读者我要写书评

暂无评论

Carbon dots-based dopamine sensors:Recent advances and challenges

引用

Chinese Chemical Letters 2024年第12期35卷 95-103页

作者： Chenghao Liu Xiaofeng Lin Jing Liao Min Yang Min Jiang Yue Huang Zhizhi Du Lina Chen Sanjun Fan Qitong Huang Key Laboratory of Prevention and Treatment of Cardiovascular and Cerebrovascular Diseases of Ministry of Education Key Laboratory of Biomaterials and Biofabrication in Tissue Engineering of Jiangxi ProvinceKey Laboratory of Biomedical Sensors of GanzhouSchool of Medical and Information EngineeringSchool of PharmacyScientific Research CenterGannan Medical UniversityGanzhou 341000China Department of Chemistry and Biochemistry The Ohio State UniversityColumbusOH 43210United States

Dopamine,a pivotal excitatory neurotransmitter,plays a crucial role in metabolic,cardiovascular,renal,central nervous,and endocrine *** dopamine within the human body can cause various ***,the precise quantification of dopamine levels,both in vivo and in vitro,holds paramount significance for clinical applications and physiological *** dots(CDs)exhibit a plethora of remarkable properties,including a substantial specific surface area,robust electrical conductivity,commendable biocompatibility,minimal toxicity,and high *** these unique characteristics,CDs demonstrate substantial potential for fluorescent sensors,colorimetric sensors,and electrochemical sensors for dopamine *** review systematically examined the challenges and prospects for the utilization of CDs-based fluorescent sensors,electrochemical biosensors,and colorimetric sensors for monitoring dopamine levels in recent *** findings unveil promising avenues for further advancements in the field of dopamine detection.

关键词： Dopamine Carbon dots Fluorescent sensors Colorimetric sensors Electrochemical sensors

来源：评论

学校读者我要写书评

暂无评论

CRISPR-Mediated rDNA Integration and Fluorescence Screening for Pathway Optimization in Pichia pastoris

Chem and Bio Engineering

引用

Chem and Bio engineering 2024年第11期1卷 940-951页

作者： Jiang, Xiaojing Li, Mengxin Wang, Zhijiao Ye, Cuifang Gao, Jucan Ai, Xiaowei Bao, Jingfei Cheng, Jintao Lian, Jiazhang Key Laboratory of Biomass Chemical Engineering of Ministry of Education State Key Laboratory of Biobased Transportation Fuel Technology College of Chemical and Biological Engineering Zhejiang University Hangzhou310027 China ZJU-Hangzhou Global Scientific and Technological Innovation Center Zhejiang University Hangzhou310000 China

Gene dosage amplification is an effective strategy to improve the performance of heterologous genes and pathways. Pichia pastoris is an excellent recombinant protein expression host with high efficiency in protein folding and glycosylation. However, the traditional iterative multicopy integration method typically faces challenges such as being time-consuming and having high cost and potential gene mutations. Accordingly, we established CRISPR-mediated rDNA integration and fluorescence screening for pathway optimization (CRISPO) for multicopy pathway integration in a single-step and antibiotic-free manner. With geraniol biosynthesis as a case study, we designed CRISPO based on the use of glycerol-induced and glucose-repressed promoters (CRISPOi) or strong constitutive promoters (CRISPOc) to drive the expression of the red fluorescent protein mCherry as the screening marker. We employed CRISPOi for stable strain construction by multicopy integration of the geraniol synthase encoding gene, achieving a 19.5-fold increase in geraniol production. We demonstrated CRISPOc for visualizing and determining the rate-limiting steps of the mevalonate pathway, with HMG1 and ERG12 identified as the major rate-limiting enzymes through two rounds of exploration. Ultimately, CRISPO enabled us to construct an engineered P. pastoris strain producing 1.66 g/L geraniol (with a total of 2.12 g/L monoterpenoids) and 6.27 g/L geraniol (with a total of 6.48 g/L monoterpenoids) in 24-well plates and 5 L fermenters, respectively, representing the highest titer and productivity of geraniol ever reported. CRISPO is an important addition to the synthetic biology toolbox for the construction and optimization of P. pastoris cell factories. © 2024 The Authors. Co-published by Zhejiang University and American Chemical Society.

关键词： Protein folding

来源：评论

学校读者我要写书评

暂无评论

A Domain Decomposition Method for Nonconforming Finite Element Approximations of Eigenvalue Problems

引用

Communications on Applied Mathematics and Computation 2025年第2期7卷 606-636页

作者： Qigang Liang Wei Wang Xuejun Xu School of Mathematical Science Tongji UniversityShanghai200092China Key Laboratory of Intelligent Computing and Applications(Tongji University) Ministry of EducationShanghai200092China LSEC Institute of Computational Mathematics and Scientific/Engineering ComputingAcademy of Mathematics and Systems ScienceChinese Academy of SciencesBeijing100190China

Since the nonconforming finite elements(NFEs)play a significant role in approximating PDE eigenvalues from below,this paper develops a new and parallel two-level preconditioned Jacobi-Davidson(PJD)method for solving the large scale discrete eigenvalue problems resulting from NFE discretization of 2mth(m=1.2)order elliptic eigenvalue *** a spectral projection on the coarse space and an overlapping domain decomposition(DD),a parallel preconditioned system can be solved in each iteration.A rigorous analysis reveals that the convergence rate of our two-level PJD method is optimal and *** results supporting our theory are given.

关键词： PDE eigenvalue problems Nonconforming finite elements(NFEs) Preconditioned Jacobi-Davidson(PJD)method Overlapping domain decomposition(DD)

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：