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

2nd International Conference on Material engineering and advanced Manufacturing Technology, MEAMT 2018

作者： Jin, Kaiwen Li, Qingbao Chen, Zhifeng State Key Laboratory of Mathematical Engineering and Advanced Computing Henan China

How to locate the target function faster and more accurately is a key problem of Automatic Reverse-engineering of Software Programs. In order to solve this problem, a target function location method based on code coverage analysis is proposed. Firstly, it obtains function call information of the program and calculate the suspicious rate of each function. And then a stability factor is proposed to reduce the noise functions. Finally, the target function is successfully located. The experimental results show the method proposed has linear time complexity. For software programs with million function calls, it can accurately locate the target function within several minutes, the performance and accuracy are greately improved compared to the contrast methods. © 2018 The Authors, published by EDP Sciences.

关键词： Reverse engineering

来源：评论

学校读者我要写书评

暂无评论

Vulnerability Model and Evaluation of the UEFI Platform Firmware Based on Improved Attack Graphs 9

Vulnerability Model and Evaluation of the UEFI Platform Firm...

引用

9th IEEE International Conference on Software engineering and Service Science, ICSESS 2018

作者： Cao, Fei Li, Qingbao Chen, Zhifeng State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou China

ISBN: (纸本)9781538665640

Targeted at the situation of rampant attack on UEFI Platform Firmware, this paper summarizes the UEFI platform firmware framework structure as well as its potential security problems. Then the vulnerability factors of UEFI platform firmware are described using the modeling language. This paper proposes an improved Attack Graphs model based on Finite state Machine (AGFSM), which can be used to evaluate the reliability of UEFI, as well as calculate the expected exploitation cost and expected attack loss. Finally, based on the AGFSM model, we realize the evaluation of a set of attack strategies for the UEFI platform firmware and verify the rationality of the model and the validity of the evaluation. The research is conducive to the rapid detection of the vulnerability of UEFI Platform Firmware, predict the attack paths and deploy the security strategy targeted to safeguard the firmware. © 2018 IEEE.

关键词： Firmware

来源：评论

学校读者我要写书评

暂无评论

A knowledge acquisition automatizing framework from literature exemplified by Na + activation energy prediction of NASICON solid-state electrolyte

引用

Energy Storage Materials 2025年 80卷

作者： Yue Liu Dahui Liu Zhengwei Yang Xianyuan Ge Wenxuan Yao Jie Wu Maxim Avdeev Siqi Shi State Key Laboratory of Materials for Advanced Nuclear Energy & School of Computer Engineering and Science Shanghai University Shanghai 200444 China Shanghai Engineering Research Center of Intelligent Computing System Shanghai 200444 China Australian Nuclear Science and Technology Organisation Sydney 2232 Australia School of Chemistry The University of Sydney Sydney 2006 Australia State Key Laboratory of Materials for Advanced Nuclear Energy & School of Materials Science and Engineering Shanghai University Shanghai 200444 China Materials Genome Institute Shanghai University Shanghai 200444 China

Materials science literature contains vast amount of structure-activity relationship knowledge crucial for materials discovery and design. However, automatic extraction of domain knowledge from literature remains challenging due to its unstructured and heterogeneous format. Herein, we propose a framework for automating knowledge acquisition, which involves a materials entity-aware relational extraction model (MatRE) to mine triples, an approach to construct a knowledge graph (KG) for the detection of associations among triples, as well as inference and representation of structure-activity relationships in a machine learning (ML)-compatible format. We demonstrate its application in predicting sodium ion activation energy for the NASICON solid-state electrolyte (SSE) system. MatRE trained on a NASICON SSE dataset, achieves an F1-score of 0.80, and is used to extract 260,475 entity–relation triples from 1,808 scientific publications. Furthermore, embedding 24 knowledge bullets from the KG into data pre-processing and feature engineering stages improves the performance and interpretability of six common ML models by up to 25.7%. This work offers key insights into automatic knowledge acquisition from literature and heralds a new paradigm for AI-assisted materials genome engineering driven by both data and knowledge.

关键词：

来源：评论

学校读者我要写书评

暂无评论

High-order finite element methods for interface problems: Theory and implementations 12th

High-order finite element methods for interface problems: Th...

引用

12th International Conference on Spectral and High-Order Methods, ICOSAHOM 2018

作者： Xiao, Yuanming Zhai, Fangman Zhang, Linbo Zheng, Weiying Department of Mathematics Nanjing University Nanjing China Department of Applied Mathematics Nanjing Forestry University Nanjing China State Key Laboratory of Scientific and Engineering Computing Academy of Mathematics and Systems Science Chinese Academy of Sciences Beijing China School of Mathematical Sciences University of Chinese Academy of Sciences Beijing China

ISBN: (纸本)9783030396466

We propose arbitrary order extended finite element (XFE) methods for solving both two and three dimensional elliptic interface problems. The meshes in our methods do not need to fit the interface and discontinuous Galerkin (DG) schemes are used in the vicinity of the interface to incorporate the transmission conditions between subdomains. Optimal error estimates in the piecewise H1-norm and in the L2-norm are rigorously proved for the scheme. Two implementation aspects are addressed in this paper: (1) An optimal multigrid solver is introduced for the generated linear system, which converges uniformly with respect to the mesh size. (2) A high order algorithm is presented to compute the integral over elements intersecting the interface. Numerical experiments are reported to support the theoretical results. © 2020, The Author(s).

关键词： Linear systems

来源：评论

学校读者我要写书评

暂无评论

Multiple Brillouin Zone Winding of Topological Chiral Edge states for Slow Light Applications

引用

Physical Review Letters 2024年第15期132卷 156602-156602页

作者： Fujia Chen Haoran Xue Yuang Pan Maoren Wang Yuanhang Hu Li Zhang Qiaolu Chen Song Han Gui-geng Liu Zhen Gao Peiheng Zhou Wenyan Yin Hongsheng Chen Baile Zhang Yihao Yang State Key Laboratory of Extreme Photonics and Instrumentation ZJU-Hangzhou Global Scientific and Technological Innovation Center Zhejiang University Hangzhou 310027 China International Joint Innovation Center The Electromagnetics Academy at Zhejiang University Zhejiang University Haining 314400 China Key Lab. of Advanced Micro/Nano Electronic Devices & Smart Systems of Zhejiang Jinhua Institute of Zhejiang University Zhejiang University Jinhua 321099 China Shaoxing Institute of Zhejiang University Zhejiang University Shaoxing 312000 China Department of Physics The Chinese University of Hong Kong Shatin Hong Kong SAR China Key Laboratory of Multi-spectral Absorbing Materials and Structures of Ministry of Education University of Electronic Science and Technology of China Chengdu 611731 China Division of Physics and Applied Physics School of Physical and Mathematical Sciences Nanyang Technological University 21 Nanyang Link Singapore 637371 Singapore Centre for Disruptive Photonic Technologies The Photonics Institute Nanyang Technological University 50 Nanyang Avenue Singapore 639798 Singapore Department of Electrical and Electronic Engineering Southern University of Science and Technology Shenzhen 518055 China

Photonic Chern insulators are known for their topological chiral edge states (CESs), whose absolute existence is determined by the bulk band topology, but concrete dispersion can be engineered to exhibit various properties. For example, the previous theory suggested that the edge dispersion can wind many times around the Brillouin zone to slow down light, which can potentially overcome fundamental limitations in conventional slow-light devices: narrow bandwidth and keen sensitivity to fabrication imperfection. Here, we report the first experimental demonstration of this idea, achieved by coupling CESs with resonance-induced nearly flat bands. We show that the backscattering-immune hybridized CESs are significantly slowed down over a relatively broad bandwidth. Our work thus paves an avenue to broadband topological slow-light devices.

关键词： Light propagation, transmission & absorption Metamaterials Photonic crystals Polaritons Topological materials

来源：评论

学校读者我要写书评

暂无评论

On Minimization of Upper Bound for the Convergence Rate of the QHSS Iteration Method

引用

Communications on Applied Mathematics and Computation 2019年第2期1卷 263-282页

作者： Wen-Ting Wu State Key Laboratory of Scientific/Engineering Computing Institute of Computational Mathematics and Scientific/Engineering ComputingAcademy of Mathematics and Systems ScienceChinese Academy of Sciences. P.O. Box 2719. Beijing 100190China School of Mathematical Sciences University of Chinese Academy of SciencesBeijing 100049China

For an upper bound of the spectral radius of the QHSS (quasi Hermitian and skew-Hermitian splitting) iteration matrix which can also bound the contraction factor of the QHSS iteration method,we give its minimum point under the conditions which guarantee that the upper bound is strictly less than one. This provides a good choice of the involved iteration parameters,so that the convergence rate of the QHSS iteration method can be significantly improved.

关键词： System of linear equations Non-Hermitian matrix QHSS iteration method Convergence rate

来源：评论

学校读者我要写书评

暂无评论

Evidence for particle acceleration approaching PeV energies in the W51 complex

引用

Science Bulletin 2024年第18期69卷 2833-2841页

作者： LHAASO Collaboration Zhen Cao F.Aharonian Axikegu Y.X.Bai Y.W.Bao D.Bastieri X.J.Bi Y.J.Bi W.Bian A.V.Bukevich Q.Cao W.Y.Cao Zhe Cao J.Chang J.F.Chang A.M.Chen E.S.Chen H.X.Chen Liang Chen Lin Chen Long Chen M.J.Chen M.L.Chen Q.H.Chen S.Chen S.H.Chen S.Z.Chen T.L.Chen Y.Chen N.Cheng Y.D.Cheng M.Y.Cui S.W.Cui X.H.Cui Y.D.Cui B.Z.Dai H.L.Dai Z.G.Dai Danzengluobu X.Q.Dong K.K.Duan J.H.Fan Y.Z.Fan J.Fang J.H.Fang K.Fang C.F.Feng H.Feng L.Feng S.H.Feng X.T.Feng Y.Feng Y.L.Feng S.Gabici B.Gao C.D.Gao Q.Gao W.Gao W.K.Gao M.M.Ge L.S.Geng G.Giacinti G.H.Gong Q.B.Gou M.H.Gu F.L.Guo X.L.Guo Y.Q.Guo Y.Y.Guo Y.A.Han M.Hasan H.H.He H.N.He J.Y.He Y.He Y.K.Hor B.W.Hou C.Hou X.Hou H.B.Hu Q.Hu S.C.Hu D.H.Huang T.Q.Huang W.J.Huang X.T.Huang X.Y.Huang Y.Huang X.L.Ji H.Y.Jia K.Jia K.Jiang X.W.Jiang Z.J.Jiang M.Jin M.M.Kang I.Karpikov D.Kuleshov K.Kurinov B.B.Li C.M.Li Cheng Li Cong Li D.Li F.Li H.B.Li H.C.Li Jian Li Jie Li K.Li S.D.Li W.L.Li W.L.Li X.R.Li Xin Li Y.Z.Li Zhe Li Zhuo Li E.W.Liang Y.F.Liang S.J.Lin B.Liu C.Liu D.Liu D.B.Liu H.Liu H.D.Liu J.Liu J.L.Liu M.Y.Liu R.Y.Liu S.M.Liu W.Liu Y.Liu Y.N.Liu Q.Luo Y.Luo H.K.Lv B.Q.Ma L.L.Ma X.H.Ma J.R.Mao Z.Min W.Mitthumsiri H.J.Mu Y.C.Nan A.Neronov L.J.Ou P.Pattarakijwanich Z.Y.Pei J.C.Qi M.Y.Qi B.Q.Qiao J.J.Qin A.Raza D.Ruffolo A.Sáiz M.Saeed D.Semikoz L.Shao O.Shchegolev X.D.Sheng F.W.Shu H.C.Song Yu.V.Stenkin V.Stepanov Y.Su D.X.Sun Q.N.Sun X.N.Sun Z.B.Sun J.Takata P.H.T.Tam Q.W.Tang R.Tang Z.B.Tang W.W.Tian C.Wang C.B.Wang G.W.Wang H.G.Wang H.H.Wang J.C.Wang Kai Wang Kai Wang L.P.Wang L.Y.Wang P.H.Wang R.Wang W.Wang X.G.Wang X.Y.Wang Y.Wang Y.D.Wang Y.J.Wang Z.H.Wang Z.X.Wang Zhen Wang Zheng Wang D.M.Wei J.J.Wei Y.J.Wei T.Wen C.Y.Wu H.R.Wu Q.W.Wu S.Wu X.F.Wu Y.S.Wu S.Q.Xi J.Xia G.M.Xiang D.X.Xiao G.Xiao Y.L.Xin Y.Xing D.R.Xiong Z.Xiong D.L.Xu R.F.Xu R.X.Xu W.L.Xu L.Xue D.H.Yan J.Z.Yan T.Yan C.W.Yang C.Y.Yang F.Yang F.F.Yang L.L.Yang M.J.Yang R.Z.Yang W.X.Yang Y.H.Yao Z.G.Yao L.Q.Yin N.Yin X.H.You Z.Y.You Y.H.Yu Q.Yuan H.Yue H.D.Zeng T.X.Zeng W.Zeng M.Zha B.B.Zhang F.Zhang H.Zhang 不详 Key Laboratory of Particle Astrophysics&Experimental Physics Division&Computing Center Institute of High Energy PhysicsChinese Academy of SciencesBeijing 100049China University of Chinese Academy of Sciences Beijing 100049China TIANFU Cosmic Ray Research Center ChengduChina Dublin Institute for Advanced Studies 31 Fitzwilliam Place2 DublinIreland Max-Planck-Institut for Nuclear Physics P.O.Box 103980Heidelberg 69029Germany School of Physical Science and Technology&School of Information Science and Technology Southwest Jiaotong UniversityChengdu 610031China School of Astronomy and Space Science Nanjing UniversityNanjing 210023China Center for Astrophysics Guangzhou UniversityGuangzhou 510006China Tsung-Dao Lee Institute&School of Physics and Astronomy Shanghai Jiao Tong UniversityShanghai 200240China Institute for Nuclear Research of Russian Academy of Sciences Moscow 117312Russia Hebei Normal University Shijiazhuang 050024China University of Science and Technology of China Hefei 230026China State Key Laboratory of Particle Detection and Electronics China Key Laboratory of Dark Matter and Space Astronomy&Key Laboratory of Radio Astronomy Purple Mountain ObservatoryChinese Academy of SciencesNanjing 210023China Research Center for Astronomical Computing Zhejiang LaboratoryHangzhou 311121China Key Laboratory for Research in Galaxies and Cosmology Shanghai Astronomical ObservatoryChinese Academy of SciencesShanghai 200030China School of Physics and Astronomy Yunnan UniversityKunming 650091China Key Laboratory of Cosmic Rays(Tibet University) Ministry of EducationLhasa 850000China National Astronomical Observatories Chinese Academy of SciencesBeijing 100101China School of Physics and Astronomy(Zhuhai)&School of Physics(Guangzhou)&Sino-French Institute of Nuclear Engineering and Technology(Zhuhai) Sun Yat-sen UniversityZhuhai 519000&Guangzhou 510275GuangdongChina Institute of Frontier and Interdisciplinary Science Shandong UniversityQingdao 266237China APC UniversitéParis Cité

Theγ-ray emission from the W51 complex is widely acknowledged to be attributed to the interaction between the cosmic rays(CRs)accelerated by the shock of supernova remnant(SNR)W51C and the dense molecular clouds in the adjacent star-forming region,***,the maximum acceleration capability of W51C for CRs remains *** on observations conducted with the Large High Altitude Air Shower Observatory(LHAASO),we report a significant detection ofγrays emanating from the W51 complex,with energies from 2 to 200 *** LHAASO measurements,for the first time,extend theγ-ray emission from the W51 complex beyond 100 TeV and reveal a significant spectrum bending at tens of *** combining the"π^(0)-decay bump"featured data from Fermi-LAT,the broadbandγ-ray spectrum of the W51 region can be well-characterized by a simple pp-collision *** observed spectral bending feature suggests an exponential cutoff at~400 TeV or a power-law break at~200 TeV in the CR proton spectrum,most likely providing the first evidence of SNRs serving as CR accelerators approaching the PeV ***,two young star clusters within W51B could also be theoretically viable to produce the most energeticγrays observed by *** findings strongly support the presence of extreme CR accelerators within the W51 complex and provide new insights into the origin of Galactic CRs.

关键词： UHE c-ray Cosmic rays SNR W51C Star clusters

来源：评论

学校读者我要写书评

暂无评论

Brillouin Klein space and half-turn space in three-dimensional acoustic crystals

arXiv

引用

arXiv 2023年

作者： Zhu, Zhenxiao Yang, Linyun Wu, Jien Meng, Yan Xi, Xiang Yan, Bei Chen, Jingming Lu, Jiuyang Huang, Xueqin Deng, Weiyin Shang, Ce Shum, Perry Ping Yang, Yihao Chen, Hongsheng Liu, Gui-Geng Liu, Zhengyou Gao, Zhen Department of Electronic and Electrical Engineering Southern University of Science and Technology Shenzhen518055 China School of Physics and Optoelectronics South China University of Technology Guangzhou510640 China Key Laboratory of Artificial Micro- and Nanostructures of Ministry of Education School of Physics and Technology Wuhan University Wuhan430072 China Thuwal23955-6900 Saudi Arabia Interdisciplinary Center for Quantum Information State Key Laboratory of Modern Optical Instrumentation ZJU-Hangzhou Global Science and Technology Innovation Center College of Information Science and Electronic Engineering ZJU-UIUC Institute Zhejiang University Hangzhou310027 China Division of Physics and Applied Physics School of Physical and Mathematical Sciences Nanyang Technological University Singapore637371 Singapore Institute for Advanced Studies Wuhan University Wuhan430072 China

The Bloch band theory and Brillouin zone (BZ) that characterize wave behaviors in periodic mediums are two cornerstones of contemporary physics ranging from condensed matter to topological physics. Recent theoretical breakthrough revealed that, under the projective symmetry algebra enforced by artificial gauge fields, the usual two-dimensional (2D) BZ (orientable Brillouin two-torus) can be fundamentally modified to a non-orientable Brillouin Klein bottle with radically distinct topology and novel topological phases. However, the physical consequence of artificial gauge fields on the more general three-dimensional (3D) BZ (orientable Brillouin three-torus) was so far missing. Here, we report the first theoretical discovery and experimental observation of non-orientable Brillouin Klein space and orientable Brillouin half-turn space in a 3D acoustic crystal with artificial gauge fields. We experimentally identify peculiar 3D momentum-space non-symmorphic screw rotation and glide reflection symmetries in the measured band structures. Moreover, we demonstrate a novel 3D Klein bottle insulator featuring a nonzero 2topological invariant and self-collimated topological surface states at two opposite surfaces related by a nonlocal twist, radically distinct from all previous topological insulators. Our discovery not only fundamentally modifies the 3D Bloch band theory and 3D BZ, but also opens the door towards a wealth of previously overlooked momentum-space topologies and unexplored topological physics with gauge symmetry beyond the existing paradigms. © 2023, CC BY.

关键词： Topology

来源：评论

学校读者我要写书评

暂无评论

A Formal Verification Method for Security Protocol Implementations Based on Model Learning and Tamarin

引用

Journal of Physics: Conference Series 2021年第1期1871卷

作者： Xieli Zhang Yuefei Zhu Chunxiang Gu Xuyang Miao State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou Henan 450001 China Henan Key Laboratory of Network Cryptography Technology Zhengzhou Henan 450002 China

The verification of security protocol implementations is notoriously difficult and important. In this paper, combining with the model learning using Tamarin, a formal verification tool of protocol specification, a formal verification method for security protocol implementations is proposed. We extract state machine information from protocol implementations by model learning, and determine suspicious paths in the finite-state machines by cross-validation between different implementations of the same protocol; and then verify whether the suspicious paths violate the security properties of the protocol using Tamarin. It can be used to detect logical errors in protocol implementations and avoid relying on expert experience to make compliance rules from protocol documents when using model checking tools. The effectiveness of this method is demonstrated by the vulnerability detection of the typical ChangeCipherSpec in the TLS protocol implementation. The method proposed can help developers to develop more robust implementations of security protocols.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Skyrmions in nanorings: a versatile platform for Skyrmionics

arXiv

引用

arXiv 2023年

作者： Kechrakos, Dimitris Puliafito, Vito Riveros, Alejandro Liu, Jiahao Jiang, Wanjun Carpentieri, Mario Tomasello, Riccardo Finocchio, Giovanni Athens Greece Department of Electrical and Information Engineering Technical University of Bari Bari70125 Italy Escuela de Ingeniería Universidad Central de Chile Santiago8330601 Chile Department of Mathematical and Computer Sciences Physical Sciences and Earth Sciences University of Messina MessinaI-98166 Italy State Key Laboratory of Low-Dimensional Quantum Physics Department of Physics Tsinghua University Beijing100084 China Frontier Science Center for Quantum Information Tsinghua University Beijing100084 China College of Advanced Interdisciplinary Studies & Hunan Provincial Key Laboratory of Novel Nano-Optoelectronic Information Materials and Devices National University of Defense Technology Hunan Changsha410073 China

The dynamical properties of skyrmions can be exploited to build devices with new functionalities. Here, we first investigate a skyrmion-based ring-shaped device by means of micromagnetic simulations and Thiele’s equation. We subsequently show three applications scenarios: (1) a clock with tunable frequency that is biased with an electrical current having a radial spatial distribution, (2) an alternator, where the skyrmion circular motion driven by an engineered anisotropy gradient is converted into an electrical signal, and (3) an energy harvester, where the skyrmion motion driven by a thermal gradient is converted into an electrical signal, thus providing a heat recovery operation. We also show how to precisely tune the frequency and amplitude of the output electrical signals by varying material parameters, geometrical parameters, number and velocity of skyrmions, and we further prove the correct device functionality under realistic conditions given by room temperature and internal material defects. Our results open a new route for the realization of energy efficient nanoscale clocks, generators, and energy harvesters. © 2023, CC BY.

关键词： Clocks

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：