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

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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 Network Deception Defense Mechanism Based on Virtual Topology Generation

A Network Deception Defense Mechanism Based on Virtual Topol...

引用

2023 International Conference on Intelligent Systems, Communications, and Computer Networks, ISCCN 2023

作者： Wang, Binghui Lu, Bin State Key Laboratory of Mathematical Engineering and Advanced Computing Information Engineering University Zhengzhou China

ISBN: (纸本)9781510666238

To address the problem that traditional network defense techniques are difficult to cope with scanning attacks launched by internal attackers, this paper proposes a Virtual Network Topology Deception Defense mechanism(VNTDD)based on the idea of deception defense. In order to solve the problem of lack of randomness and security of virtual network topology, we divide the virtual network topology into three categories: forwarding nodes, real nodes and virtual nodes, and analyze their deployment locations and numbers respectively to generate a random virtual network topology, and enables the deployment of virtual network topology on the underlying real network through traffic control mechanisms. Finally, through experimental analysis, the VNTDD deception defense mechanism proposed in this paper can effectively prolong the scanning process of the intranet by internal attackers. © 2023 SPIE. All rights reserved.

关键词： Topology

来源：评论

学校读者我要写书评

暂无评论

RKDG Methods with Multi-resolution WENO Limiters for Solving Steady-state Problems on Triangular Meshes

引用

Communications on Applied Mathematics and Computation 2024年第3期6卷 1575-1599页

作者： Jun Zhu Chi-Wang Shu Jianxian Qiu State Key Laboratory of Mechanics and Control of Mechanical Structures and Key Laboratory of Mathematical Modelling and High Performance Computing of Air Vehicles(NUAA) MIITNanjing University of Aeronautics and AstronauticsNanjing 210016JiangsuChina Division of Applied Mathematics Brown UniversityProvidenceRI 02912USA School of Mathematical Sciences and Fujian Provincial Key Laboratory of Mathematical Modeling and High-Performance Scientific ComputingXiamen UniversityXiamen 361005FujianChina

In this paper, we design high-order Runge-Kutta discontinuous Galerkin (RKDG) methods with multi-resolution weighted essentially non-oscillatory (multi-resolution WENO) limiters to compute compressible steady-state problems on triangular meshes. A troubled cell indicator extended from structured meshes to unstructured meshes is constructed to identify triangular cells in which the application of the limiting procedures is required. In such troubled cells, the multi-resolution WENO limiting methods are used to the hierarchical L^(2) projection polynomial sequence of the DG solution. Through using the RKDG methods with multi-resolution WENO limiters, the optimal high-order accuracy can be gradually reduced to first-order in the triangular troubled cells, so that the shock wave oscillations can be well suppressed. In steady-state simulations on triangular meshes, the numerical residual converges to near machine zero. The proposed spatial reconstruction methods enhance the robustness of classical DG methods on triangular meshes. The good results of these RKDG methods with multi-resolution WENO limiters are verified by a series of two-dimensional steady-state problems.

关键词： RKDG method Steady-state problem Multi-resolution WENO limiter Triangular mesh Machine zero

来源：评论

学校读者我要写书评

暂无评论

Research on performance optimization of virtual data space across WAN

引用

Frontiers of Computer Science 2024年第6期18卷 167-187页

作者： Jiantong HUO Zhisheng HUO Limin XIAO Zhenxue HE State Key Laboratory of Software Development Environment Beihang UniversityBeijing 100191China School of Computer Science and Engineering Beihang UniversityBeijing 100191China High Performance Computing Center Beihang UniversityBeijing 100191China Hebei Key Laboratory of Agricultural Big Data Hebei Agricultural UniversityBaoding 071001China

For the high-performance computing in a WAN environment,the geographical locations of national supercomputing centers are scattered and the network topology is complex,so it is difficult to form a unified view of *** aggregate the widely dispersed storage resources of national supercomputing centers in China,we have previously proposed a global virtual data space named GVDS in the project of“High Performance computing Virtual Data Space”,a part of the National key Research and Development Program of *** GVDS enables large-scale applications of the high-performance computing to run efficiently across ***,the applications running on the GVDS are often data-intensive,requiring large amounts of data from multiple supercomputing centers across *** this regard,the GVDS suffers from performance bottlenecks in data migration and access across *** solve the above-mentioned problem,this paper proposes a performance optimization framework of GVDS including the multitask-oriented data migration method and the request access-aware IO proxy resource allocation *** a WAN environment,the framework proposed in this paper can make an efficient migration decision based on the amount of migrated data and the number of multiple data sources,guaranteeing lower average migration latency when multiple data migration tasks are running in *** addition,it can ensure that the thread resource of the IO proxy node is fairly allocated among different types of requests(the IO proxy is a module of GVDS),so as to improve the application’s performance across *** experimental results show that the framework can effectively reduce the average data access delay of GVDS while improving the performance of the application greatly.

关键词： storage aggregation across WANs large-scale applications GVDS data migration allocation of IO proxy resource

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：