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

5th International Conference on Industrial Artificial Intelligence, IAI 2023

作者： Yao, Jingwang Wang, Xing'An Lv, Hui Li, Yang Zhang, Wujie Dalian University Key Laboratory of Advanced Design and Intelligent Computing Ministry of Education School of Software Engineering Dalian116622 China Dalian University College of Environmental and Chemical Engineering Dalian116622 China Dalian Chivy Biotechnology Co. Ltd Dalian116023 China Northeastern University State Key Laboratory of Synthetical Automation for Process Industries Shenyang110004 China

ISBN: (纸本)9798350325294

An important goal in synthetic biology is in the design and implementation of control strategies embedded in biochemical reaction systems to enable control of the process at the molecular level. The problem of set-point tracking and perturbation disturbances in the biochemical reaction process can be solved by a state feedback control strategy and a more stable and better dynamic performance of synthetic controllers. First, it is shown how a set of CRNs can provide state feedback to the biomolecular implementation of the H∞ controller. Then, to facilitate the modularity of biochemical process design, CRNs of trigonometric functions and repetitive sequence step signals are defined for the first time as input signals to the controller. Finally, numerical simulation experiments are designed to verify the effectiveness of the whole scheme from several perspectives, such as setpoint tracking and external perturbations. The results show that the state feedback H∞ molecular controller outperforms the conventional linear controller because it has a faster tracking response and better perturbation rejection performance. © 2023 IEEE.

关键词： Controllers

来源：评论

学校读者我要写书评

暂无评论

Vulnerability Sample Analysis Based on Dynamic Binary Platform

Vulnerability Sample Analysis Based on Dynamic Binary Platfo...

引用

2021 International Conference on Aviation Safety and Information Technology, ICASIT 2021

作者： Bu, Wenjuan Kang, Fei Zhao, Yuntian Xu, Jianbo State Key Laboratory of Mathematical Engineering and Advanced Computing Information Engineering University Henan Zhengzhou450000 China

ISBN: (纸本)9781450390422

Based on the existing vulnerability exploitation detection technology, this paper analyzes the buffer overflow vulnerability exploitation process, and detects vulnerability triggering, protection mechanism bypassing and shellcode execution by dynamic binary instrumentation (DBI) monitoring program execution process;According to the analysis of vulnerability sample shellcode behavior, the method of recording instruction information and key API function information is designed based on instrumentation API function;A prototype platform of vulnerability sample transplantation and utilization based on dynamic binary is designed and implemented, and test analysis of 40 typical vulnerability samples is carried out to verify the effectiveness and feasibility of the system. © 2021 ACM.

关键词： Software testing

来源：评论

学校读者我要写书评

暂无评论

On Underdamped Nesterov’s Acceleration

arXiv

引用

arXiv 2023年

作者： Chen, Shuo Shi, Bin Yuan, Ya-Xiang State Key Laboratory of Scientific and Engineering Computing Academy of Mathematics and Systems Science Chinese Academy of Sciences Beijing100190 China University of Chinese Academy of Sciences Beijing100049 China

The high-resolution differential equation framework has been proven to be tailor-made for Nesterov’s accelerated gradient descent method (NAG) and its proximal correspondence — the class of faster iterative shrinkage thresholding algorithms (FISTA). However, the systems of theories is not still complete, since the underdamped case (r γ or the iteration kγ in the mixed term. When the momentum parameter r is 2, the new Lyapunov functions are identical to the previous ones. These new proofs do not only include the convergence rate of the objective value previously obtained according to the low-resolution differential equation framework but also characterize the convergence rate of the minimal gradient norm square. All the convergence rates obtained for the underdamped case are continuously dependent on the parameter r. In addition, it is observed that the high-resolution differential equation approximately simulates the convergence behavior of NAG for the critical case r = −1, while the low-resolution differential equation degenerates to the conservative Newton’s equation. The high-resolution differential equation framework also theoretically characterizes the convergence rates, which are consistent with that obtained for the underdamped case with r = −1. © 2023, CC BY-SA.

关键词： Differential equations

来源：评论

学校读者我要写书评

暂无评论

Shaping free-electron radiation via van der Waals heterostructures

引用

Light(Science & Applications) 2023年第8期12卷 1457-1458页

作者： Xiao Lin Hongsheng Chen Interdisciplinary Center for Quantum Information State Key Laboratory of Extreme Photonics and InstrumentationZJU-Hangzhou Global Scientific and Technological Innovation CenterCollege of Information Science&Electronic EngineeringZhejiang UniversityHangzhou 310027China international Joint Innovation Center the Electromagnetics Academy at Zhejiang UniversityZhejiang UniversityHaining 314400China Key Laboratory of Advanced Micro/Nano Electronic Devices&Smart Systems of Zhejiang Jinhua Institute of Zhejiang UniversityZhejiang UniversityJinhua 321099China Shaoxing Institute of Zhejiang University Zhejiang UniversityShaoxing 312000China

The van der Waals heterostructures with aperiodic stackings have been exploited to shape the spatiotemporal wavefront of free-electron X-ray radiation.

关键词： free stacking exploit

来源：评论

学校读者我要写书评

暂无评论

Projected gradient descent algorithm for ab initio crystal structure relaxation under a fixed unit cell volume

引用

Physical Review B 2024年第22期109卷 224108-224108页

作者： Yukuan Hu Junlei Yin Xingyu Gao Xin Liu Haifeng Song Institute of Computational Mathematics and Scientific/Engineering Computing Academy of Mathematics and Systems Science Chinese Academy of Sciences Beijing 100190 China School of Mathematical Sciences Innovation Center NPU Chongqing Chongqing 401135 China National Key Laboratory of Computational Physics

This paper is concerned with ab initio crystal structure relaxation under a fixed unit cell volume, which is a step in calculating the static equations of state and forms the basis of thermodynamic property calculations for materials. The task can be formulated as an energy minimization with a determinant constraint. Widely used line minimization-based methods (e.g., conjugate gradient method) lack both efficiency and convergence guarantees due to the nonconvex nature of the determinant constraint as well as the significant differences in the curvatures of the potential energy surface with respect to atomic and lattice components. To this end, we propose a projected gradient descent algorithm named PANBB. It is equipped with (i) search direction projections for lattice vectors, (ii) distinct curvature-aware initial trial step sizes for atomic and lattice updates, and (iii) a nonrestrictive line minimization criterion as the stopping rule for the inner loop. It can be proved that PANBB favors theoretical convergence to equilibrium states. Across a benchmark set containing 223 structures from various categories, PANBB achieves average speedup factors of approximately 1.41 and 1.45 over the conjugate gradient method and direct inversion in the iterative subspace implemented in off-the-shelf simulation software, respectively. Moreover, it normally converges on all the systems, manifesting its robustness. As an application, we calculate the static equations of state for the high-entropy alloy AlCoCrFeNi, which remains elusive owing to 160 atoms representing both chemical and magnetic disorder and the strong local lattice distortion. The results are consistent with the previous calculations and are further validated by experimental thermodynamic data.

关键词： Crystal structure Structural properties Density functional theory

来源：评论

学校读者我要写书评

暂无评论

On the deterioration of convergence rate of spectral differentiations for functions with singularities

arXiv

引用

arXiv 2025年

作者： Wang, Haiyong School of Mathematics and Statistics Huazhong University of Science and Technology Wuhan430074 China Hubei Key Laboratory of Engineering Modeling and Scientific Computing Huazhong University of Science and Technology Wuhan430074 China

Spectral differentiations are basic ingredients of spectral methods. In this work, we analyze the pointwise rate of convergence of spectral differentiations for functions containing singularities and show that the deteriorations of the convergence rate at the endpoints, singularities and other points in the smooth region exhibit different patterns. As the order of differentiation increases by one, we show for functions with an algebraic singularity that the convergence rate of spectral differentiation by Jacobi projection deteriorates two orders at both endpoints and only one order at each point in the smooth region. The situation at the singularity is more complicated and the convergence rate either deteriorates two orders or does not deteriorate, depending on the parity of the order of differentiation, when the singularity locates in the interior of the interval and deteriorates two orders when the singularity locates at the endpoint. Extensions to some related problems, such as the spectral differentiation using Chebyshev interpolation, are also discussed. Our findings justify the error localization property of Jacobi approximation and differentiation and provide some new insight into the convergence behavior of Jacobi spectral *** Codes 65D25, 41A10, 41A25 Copyright © 2025, The Authors. All rights reserved.

关键词： Chebyshev approximation

来源：评论

学校读者我要写书评

暂无评论

RDGFuzz: A directed greybox fuzzing optimization method based on Rich-Branch nodes 6

RDGFuzz: A directed greybox fuzzing optimization method base...

引用

6th International Conference on Electronic Information Technology and Computer engineering, EITCE 2022

作者： Wu, Zejun Lu, Li Jia, Qiong Chen, Zhihao State Key Laboratory of Mathematical Engineering and advanced Computing Zheng zhou China National Local Joint Engineering Laboratory of Network Space Security Technology Zheng zhou China Beijing Institute of Computer Technology and Application BeiJing China

ISBN: (纸本)9781450397148

Directed fuzzing technology is one of the key technologies to quickly reach a specific location of software, and to conduct targeted testing or bug recurrence. However, directed fuzzing technology has some problems, such as unreasonable seed energy allocation, low code coverage and incomplete testing. To solve the above problems, this paper proposes an optimization method of directed fuzzing based on Rich-Branch nodes. In this method, the concept of Rich-Branch nodes is defined and the algorithm of extracting Rich-Branch nodes is given. The optimization method collects the coverage information of the target program in the running process, calculates the weights of covered functions and nodes in real time by combining CG and CFG of the target program, and generates a list of Rich-Branch nodes. According to the weights of Rich-Branch nodes, the seed energy allocation algorithm of AFLGo is optimized and improved. Compared with AFLGo, this optimization method improves the average code coverage of each targeted point by 56.79%, and has the same target reaching ability as AFLGo. © 2022 Association for computing Machinery.

关键词： Software testing

来源：评论

学校读者我要写书评

暂无评论

Optimal scheme for dynamic adjustment of active mirror in FAST system 2021

Optimal scheme for dynamic adjustment of active mirror in FA...

引用

2021 5th International Conference on Computer Science and Artificial Intelligence

作者： Hongchuan Zhou Jiaqi Liu Junyan Song Benchao Yang State Key Laboratory of Mathematical Engineering and advanced computing China

ISBN: (纸本)9781450384155

This paper mainly studies the optimal scheme of dynamic adjustment of active mirror in FAST system by establishing mathematical model. According to the constraints such as distance variation range, a mathematical model describing the dynamic trajectory of the position and angle of the active mirror is established, and the correctness of the solution of the model is verified by simulation. The optimal surface model is selected from all the results. When the measured object is directly above the fast system, it is modeled based on the ideal parabola to ensure that the expansion constraints and threshold conditions of the actuator are met. Because the distribution of actuator and cable in the whole fast system is not a uniform sphere, the change of radial distance of cable can be considered as the expansion of actuator; In addition, the model is optimized from two aspects: adjusting the position of focus on the horizontal plane and changing the size of zoom alignment. From these two aspects, the parabolic focusing range satisfying the expansion range is obtained. Finally, the optimization strategy of dynamic adjustment of active mirror in fast system is given.

关键词： Dimension reduction to simplify Mathematical modeling Optimization model

来源：评论

学校读者我要写书评

暂无评论

A Survey on Knowledge Graph Representation Learning with Text Information 21

A Survey on Knowledge Graph Representation Learning with Tex...

引用

Proceedings of the 3rd World Symposium on Software engineering

作者： Ling Wang Jicang Lu Gang Zhou State Key Laboratory of Mathematical Engineering and Advanced Computing China

ISBN: (纸本)9781450384094

Knowledge graph representation learning provides a lot of help for subsequent tasks such as knowledge graph completion, information retrieval, and intelligent question answering. By representing the knowledge graph as low-dimensional dense vectors, these tasks can improve efficiency significantly. However, limited by the sparseness and huge scale of the actual structure, representation learning only from a structural perspective can no longer meet the research *** improve the performance, researchers introduced auxiliary information into representation learning. This paper focuses on models using text as auxiliary information, dividing all text-combined models into two categories: Closed-world assumption models and Open-world assumption models. The former is limited by the model's demand for the structural representation of the graph itself, and can only predict the entities and relationships that already exist in the knowledge graph. The latter can handle entities that have not previously been seen during model training, and connect brand-new entities to the knowledge graph, which is more in line with the dynamic trend of the knowledge graph in real world. Open-world assumption models can be further subdivided into multiple types according different joint functions, such as alignment function, fusion function, score function and transformation function. This paper summarizes existing methods in detail and looks forward to future possible research directions.

关键词： Open-world assumption Representation learning Knowledge graph Text information

来源：评论

学校读者我要写书评

暂无评论

Unexpected high-temperature brittleness of a Mg-Gd-Y-Ag alloy

引用

Journal of Magnesium and Alloys 2022年第9期10卷 2510-2515页

作者： Lirong Xiao Xuefei Chen Huiyan Ning Ping Jiang Yi Liu Bin Chen Dongdi Yin Hao Zhou Yuntian Zhu Nano and Heterogeneous Materials Center School of Materials Science and EngineeringNanjing University of Science and TechnologyNanjing 210094China State Key Laboratory of Nonlinear Mechanics Institute of MechanicsChinese Academy of SciencesBeijing 100190China School of Mechanical and Electrical Engineering Heilongjiang Institute of TechnologyHarbin 150050China ThermoFisher Scientific Shanghai 201210China Key Laboratory of Advanced Technologies of Materials Ministry of EducationSchool of Materials Science and EngineeringSouthwest Jiaotong UniversityChengduSichuan 610031China Department of Materials Science and Engineering City University of Hong KongHong Kong 999077China

Rare earth(RE)can produce excellent precipitation hardening in Mg ***,when forming a solid solution,it also deteriorates formability,a problem that can usually be overcome by raising deformation *** we report an unexpected observation of high temperature brittleness in a Mg-Gd-Y-Ag *** the temperature reached 500℃,the formability decreased drastically,leading to severe intergranular fracture under only 0.5% *** was caused by failure of grain boundaries,which are weakened by segregated interfacial compounds.

关键词： Interfacial compounds Formability High temperature brittleness Grain boundary sliding

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：