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

Vulnerability Digging for Software-Defined Network Controller Using Event Flow Graph Analysis

Security and Communication Networks 2022年第0期2022卷

作者： Wu, Zehui Zhang, Wenbin Wang, Yunchao Yan, Chenyu State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou China

Software-defined network (SDN) controllers, the core of SDN network architecture, need to deal with network events of the whole network, which has huge program state space and complex logic dependency, with security issues related. Vulnerabilities in the SDN controller can paralyze the whole network. Existing controller testing methods are difficult to dig into the hidden logic vulnerability for their ignorance of the complex events interactions among controllers, apps, and data plane inputs. Different from file processing software, network software is driven by events, and the event flow can more accurately and comprehensively reflect the execution process. In this work, we propose an SDN controller vulnerability digging method based on event flow graph analysis. The proposed method consists of three main steps: first, we execute the instrumented controller in a normal environment and generate event flow graphs and then extract their features as reference. Second, we generate and execute test cases using the fuzzing method and dig the newly built event flow graphs with potential vulnerabilities. Finally, we manually examine and validate the potential vulnerabilities. To accurately discover abnormal subgraphs, we utilize graph feature extraction and analysis technologies, such as graph mining and clustering, to distinguish the normal graph and abnormal graph. We implement our method on the Ryu controller and compare it with other SDN testing methods, such as BEADS and Delta. The evaluation indicates that our method uncovered three new vulnerabilities that other methods failed to find. © 2022 Zehui Wu et al.

关键词： Controllers

来源：评论

学校读者我要写书评

暂无评论

Overall design of capsule modular underwater viewing platform 32nd

Overall design of capsule modular underwater viewing platfor...

引用

32nd International Ocean and Polar engineering Conference, ISOPE 2022

作者： Chen, Weihua Guo, Tongtong Zhou, Jia Yi, Hong State Key Lab of Ocean Engineering Shanghai Jiao Tong University Shanghai China State Key Laboratory of Deep-sea Manned Submersible China Ship Scientific Research Center Jiangsu Wuxi China

ISBN: (纸本)9781880653814

In this paper, a capsule type modular underwater viewing platform with large underwater field of view is designed, which could be applied to underwater sightseeing tours, underwater scientific expeditions and environmental testing and etcetera. The overall scheme design index is mainly demonstrated through the platform demand analysis, capability requirements, working mode, use process and so on. Then refer to the overall design index to complete the overall design of the platform. Finally, focus on the transparent plexiglass pressure-resistant structure to carry out structural calculation analysis and check. © 2022 by the International Society of Offshore and Polar Engineers (ISOPE).

关键词： Environmental testing

来源：评论

学校读者我要写书评

暂无评论

Survey on the Improvement and Application of HHL Algorithm

Survey on the Improvement and Application of HHL Algorithm

引用

2022 International Conference on Computer Modelling and Big Data Analytics, CMBDA 2022

作者： Liu, Xiaonan Xie, Haoshan Liu, Zhengyu Zhao, Chenyan State Key Laboratory of Mathematical Engineering and Advanced Computing Information Engineering University ZhengZhou450000 China School of Computer and Artificial Intelligence ZhengZhou University ZhengZhou450000 China

Quantum computing is a new computing mode that follows the laws of quantum mechanics to control quantum information units for computation. In terms of computational efficiency, due to the existence of quantum mechanical superposition, some known quantum algorithms can process problems faster than traditional general-purpose computers. HHL algorithm is an algorithm for solving linear system problems. Compared with classical algorithms in solving linear equations, it has an exponential acceleration effect in certain cases and as a sub-module, it is widely used in some machine learning algorithms to form quantum machines learning algorithms. However, there are some limiting factors in the use of this algorithm, which affect the overall effect of the algorithm. How to improve it to make the algorithm perform better has become an important issue in the field of quantum computing. This paper summarizes the optimization and improvement of HHL algorithm since it was proposed, and the application of HHL algorithm in machine learning, and discusses some possible future improvements of some subroutines in HHL algorithm. © Published under licence by IOP Publishing Ltd.

关键词： Linear systems

来源：评论

学校读者我要写书评

暂无评论

Spectral Galerkin Approximation of Fractional Optimal Control Problems with Fractional Laplacian

引用

Advances in Applied Mathematics and Mechanics 2023年第6期15卷 1631-1654页

作者： Jiaqi Zhang Yin Yang Zhaojie Zhou School of Mathematics and Computational Science Xiangtan UniversityHunan Key Laboratory for Computation and Simulation in Science and EngineeringKey Laboratory of Intelligent Computing and Information Processing of Ministry of EducationXiangtan 411105HunanChina School of Mathematics and Computational Science Xiangtan UniversityNational Center for Applied Mathematics in HunanHunan International Scientific and Technological Innovation Cooperation Base of Computational ScienceXiangtan 411105HunanChina School of Mathematics and Statistics Shandong Normal UniversityJinan 250014ShandongChina

In this paper spectral Galerkin approximation of optimal control problem governed by fractional elliptic equation is *** deal with the nonlocality of fractional Laplacian operator the Caffarelli-Silvestre extension is *** first order optimality condition of the extended optimal control problem is derived.A spectral Galerkin discrete scheme for the extended problem based on weighted Laguerre polynomials is developed.A priori error estimates for the spectral Galerkin discrete scheme is *** experiments are presented to show the effectiveness of our methods and to verify the theoretical findings.

关键词： Fractional Laplacian optimal control problem Caffarelli-Silvestre extension weighted Laguerre polynomials

来源：评论

学校读者我要写书评

暂无评论

Titanium alloy argon welding workshop overall design and principle verification 32nd

Titanium alloy argon welding workshop overall design and pri...

引用

32nd International Ocean and Polar engineering Conference, ISOPE 2022

作者： Chen, Weihua Zou, Wentian Ge, Keke Xu, Meng Zhou, Jia Zhang, Aifeng Yi, Hong State Key Lab of Ocean Engineering Shanghai Jiao Tong University Shanghai China State Key Laboratory of Deep-sea Manned Submersible China Ship Scientific Research Center Jiangsu Wuxi China

ISBN: (纸本)9781880653814

Titanium alloy is the main material of pressure-resistant shell of underwater submarine. Although the design and manufacturing technology of spherical pressure-resistant structure of manned submersibles has matured, the domestic large-scale ring rib shell processing and construction technology is not mature enough, especially the titanium alloy welding technology. The high concentration argon welding workshop designed in this paper is mainly aimed at the overall welding of the typical titanium alloy large ring ribbed column shell, and the key technology is verified by the principle prototype. Finally, the mechanical properties of welding samples are evaluated. © 2022 by the International Society of Offshore and Polar Engineers (ISOPE).

关键词： Argon

来源：评论

学校读者我要写书评

暂无评论

A Selection Strategy for Network Security Defense Based on a Time Game Model

A Selection Strategy for Network Security Defense Based on a...

引用

2021 International Conference on Digital Society and Intelligent Systems, DSInS 2021

作者： Sun, Pengyu Zhang, Hengwei Ma, Junqiang Li, Chenwei Mi, Yan Wang, Jindong Key Laboratory of Information Security of Henan Provincial State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou China

ISBN: (纸本)9781665406307

Current network assessment models often ignore the impact of attack-defense timing on network security, making it difficult to characterize the dynamic game of attack-defense effectively. To effectively manage the network security risks and reduce potential losses, in this article, we propose a selection strategy for network defense based on a time game model. By analyzing the attack-defense status by analogy with the SIR infectious disease model, construction of an optimal defense strategy model based on time game, and calculation of the Nash equilibrium of the the attacker and the defender under different strategies, we can determine an optimal defense strategy. With the Matlab simulation, this strategy is verified to be effective. © 2021 IEEE.

关键词： Network security

来源：评论

学校读者我要写书评

暂无评论

SecMVX:Analysis on the Vulnerability of Multi-Variant Execution

引用

China Communications 2021年第8期18卷 85-95页

作者： Bingzheng Li Zheng Zhang Xiaomei Wang Sheng Qu Jiangxing Wu State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou 450001China China National Digital Switching System Engineering and Technological R&D Center Zhengzhou 450002China

As an active defenses technique,multivariant execution(MVX)can detect attacks by monitoring the consistency of heterogeneous variants with parallel *** with patch-style passive defense,MVX can defend against known and even unknown vulnerability-based attacks without relying on attack feature ***,variants generated with software diversity technologies will introduce new vulnerabilities when they execute in ***,we analyze the security of MVX theory from the perspective of formal *** we summarize the general forms and techniques for attacks against MVX,and analyze the new vulnerabilities arising from the combination of variant generation *** propose SecMVX,a secure MVX architecture and variant generation *** evaluations based on CVEs and SPEC 2006 benchmark show that SecMVX introduces 11.29%of the average time overhead,and avoids vulnerabilities caused by the improper combination of variant generation technologies while keeping the defensive ability of MVX.

关键词： multi-variant execution software diversity cyberspace security

来源：评论

学校读者我要写书评

暂无评论

10-Million Atoms Simulation of First-Principle Package LS3DF

引用

Journal of Computer Science & Technology 2024年第1期39卷 45-62页

作者：严昱瑾李海波赵曈汪林望石林刘涛谭光明贾伟乐孙凝晖 State Key Laboratory of Processors Institute of Computing TechnologyChinese Academy of SciencesBeijing 100190 China University of Chinese Academy of Sciences Beijing 101408China Computing System Optimization Laboratory Huawei TechnologiesBeijing 100094China Institute of Semiconductors Chinese Academy of SciencesBeijing 100083China School of Materials Science and Engineering Yancheng Institute of TechnologyYancheng 224051China

The growing demand for semiconductor devices simulation poses a big challenge for large-scale electronic structure *** various methods,the linearly scaling three-dimensional fragment(LS3DF)method exhibits excellent scalability in large-scale *** on algorithmic and system-level optimizations,we propose a highly scalable and highly efficient implementation of LS3DF on a domestic heterogeneous supercomputer equipped with *** terms of algorithmic optimizations,the original all-band conjugate gradient algorithm is refined to achieve faster convergence,and mixed precision computing is adopted to increase overall *** terms of system-level optimiza-tions,the original two-layer parallel structure is replaced by a coarse-grained parallel *** strategies such as multi-stream,kernel fusion,and redundant computation removal are proposed to increase further utilization of the com-putational power provided by the heterogeneous *** a result,our optimized LS3DF can scale to a 10-million sili-con atoms system,attaining a peak performance of 34.8 PFLOPS(21.2% of the peak).All the improvements can be adapt-ed to the next-generation supercomputers for larger simulations.

关键词： single instruction multiple thread accelerator electronic structure high-performance computing linearly scaling three-dimensional fragment(LS3DF)

来源：评论

学校读者我要写书评

暂无评论

Quantized Constant-Envelope Waveform Design for Massive MIMO DFRC Systems

arXiv

引用

arXiv 2024年

作者： Wu, Zheyu Liu, Ya-Feng Chen, Wei-Kun Masouros, Christos The State Key Laboratory of Scientific and Engineering Computing Institute of Computational Mathematics and Scientific/Engineering Computing Academy of Mathematics and Systems Science Chinese Academy of Sciences Beijing100190 China The School of Mathematics and Statistics Beijing Key Laboratory on MCAACI Beijing Institute of Technology Beijing100081 China The Department of Electronic and Electrical Engineering University College London Torrington Place LondonWC1E 7JE United Kingdom

Both dual-functional radar-communication (DFRC) and massive multiple-input multiple-output (MIMO) have been recognized as enabling technologies for 6G wireless networks. This paper considers the advanced waveform design for hardware-efficient massive MIMO DFRC systems. Specifically, the transmit waveform is imposed with the quantized constant-envelope (QCE) constraint, which facilitates the employment of low-resolution digital-to-analog converters (DACs) and power-efficient amplifiers. The waveform design problem is formulated as the minimization of the mean square error (MSE) between the designed and desired beampatterns subject to the constructive interference (CI)-based communication quality of service (QoS) constraints and the QCE constraint. To solve the formulated problem, we first utilize the penalty technique to transform the discrete problem into an equivalent continuous penalty model. Then, we propose an inexact augmented Lagrangian method (ALM) algorithm for solving the penalty model. In particular, the ALM subproblem at each iteration is solved by a custom-built block successive upper-bound minimization (BSUM) algorithm, which admits closed-form updates, making the proposed inexact ALM algorithm computationally efficient. Simulation results demonstrate the superiority of the proposed approach over existing state-of-the-art ones. In addition, extensive simulations are conducted to examine the impact of various system parameters on the trade-off between communication and radar performances. Copyright © 2024, The Authors. All rights reserved.

关键词： Mean square error

来源：评论

学校读者我要写书评

暂无评论

Innovation leading development:a glimpse into three-dimensional bioprinting in Israel

引用

Bio-Design and Manufacturing 2024年第3期7卷 358-382页

作者： Lujing Gao Zixuan Liu Daniel Dikovsky Jiqian Wang Deqing Mei Lihi Adler-Abramovich Ehud Gazit Kai Tao State Key Laboratory of Heavy Oil Processing and Centre for Bioengineering and Biotechnology College of Chemistry and Chemical EngineeringChina University of Petroleum(East China)Qingdao 266580China Future Science Research Institute Hangzhou Global Scientific and Technological Innovation CentreHangzhou 311200China Zhejiang-Israel Joint Laboratory of Self-Assembling Functional Materials Hangzhou 311200China Redefine Meat Ltd. Rehovot 7670110Israel State Key Laboratory of Fluid Power and Mechatronic Systems School of Mechanical EngineeringZhejiang UniversityHangzhou 310058China Key Laboratory of Advanced Manufacturing Technology of Zhejiang Province School of Mechanical EngineeringZhejiang UniversityHangzhou 310058China Department of Oral Biology The Maurice and Gabriela Goldschleger School of Dental MedicineFaculty of Medical&Health SciencesTel Aviv UniversityTel Aviv 6997801Israel The Center for Nanoscience and Nanotechnology Tel Aviv UniversityTel Aviv 6997801Israel Department of Materials Science and Engineering Iby and Aladar FleischmanTel Aviv UniversityTel Aviv 6997801Israel The Shmunis School of Biomedicine and Cancer Research George S.Wise Faculty of Life SciencesTel Aviv UniversityTel Aviv 6997801Israel

Three-dimensional(3D)printing has attracted increasing research interest as an emerging manufacturing technology for devel-oping sophisticated and exquisite architecture through hierarchical *** has also been employed in various advanced industrial *** development of intelligent biomedical engineering has raised the requirements for 3D printing,such as flexible manufacturing processes and technologies,biocompatible constituents,and alternative ***,state-of-the-art 3D printing mainly involves inorganics or polymers and generally focuses on traditional industrial fields,thus severely limiting applications demanding biocompatibility and *** this regard,peptide architectonics,which are self-assembled by programmed amino acid sequences that can be flexibly functionalized,have shown promising potential as bioinspired inks for 3D ***,the combination of 3D printing and peptide self-assembly poten-tially opens up an alternative avenue of 3D bioprinting for diverse advanced ***,a small but innovative nation,has significantly contributed to 3D bioprinting in terms of scientific studies,marketization,and peptide architectonics,including modulations and applications,and ranks as a leading area in the 3D bioprinting *** review summarizes the recent progress in 3D bioprinting in Israel,focusing on scientific studies on printable components,soft devices,and tissue *** paper further delves into the manufacture of industrial products,such as artificial meats and bioinspired supramolecular architectures,and the mechanisms,physicochemical properties,and applications of peptide ***,Israel contributes significantly to the field of 3D bioprinting and should thus be appropriately recognized.

关键词： Israel 3D bioprinting Biomanufacturing Peptide self-assembly Integration of industry,education and research

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：