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

IEEE International Conference on Data science in Cyberspace (DSC)

作者： Jingjing Zhang Qiang Wang Lin Yang Tao Feng Army Engineering University of PLA Nanjing China National Key Laboratory of Science and Technology on Information System Security Beijing China

In mobile communication networks, the security of users' data depends on the guarantees provided by the authentication protocols. For the next generation of mobile network (i.e., 5G network), the 5G-EAP-TLS protocol has been proposed for this purpose. However, it is still unknown whether this protocol provides the claimed security guarantees or not. To fill this gap, we provide in this work the first formal model of 5G-EAP-TLS protocol and conduct a thorough analysis based on Scyther model checker. Secondly, we identify several design flaws in the protocol, which may jeopardize the security goals and result in severe security vulnerabilities when implemented in real systems. To our knowledge, this is the first study on the formal verification of 5G-EAP-TLS protocol.

关键词： Protocols Authentication Home automation Analytical models Cryptography 5G mobile communication

来源：评论

学校读者我要写书评

暂无评论

A computer code for thermal-hydraulic analysis of steam generator with axial preheater/economizer

A computer code for thermal-hydraulic analysis of steam gene...

引用

AISTech 2018 Iron and Steel technology Conference and Exposition

作者： Wu, Ge He, Gening Wang, Haisong Nuclear Power Institute of China Science and Technology on Reactor System Design Technology Laboratory NO.328 First Sec. of Changshun Ave. Shuangliu District Chengdu China

来源：评论

学校读者我要写书评

暂无评论

design of Multi-Beam Antenna Based on Rotman Lens

Design of Multi-Beam Antenna Based on Rotman Lens

引用

International Applied Computational Electromagnetics Society Symposium (ACES)

作者： Wei-Jun Wu Zhi-Ya Zhang Ya-Rui Zhao Qi-Feng Liu Chun Wang Yu Zuo Science and Technology on Electromagnetic Compatibility Laboratory China Ship Development and Design Center Wuhan China National Key Laboratory of Antennas and Microwave Technology Xidian University Xi'an Shaanxi China

ISBN: (数字)9780996007894

ISBN: (纸本)9781728146331

A multi-beam antenna fed by Rotman lens is presented in this paper. The antenna system is composed of a Rotman lens and a 8×8 printed dipole antenna array. By properly comparing optical aberrations, expressing as the normalized path length errors, the suitable ratio of on-axis to off-axis focal length (g=G/F) is acquired so as to minimize phase errors for the array elements. Ten dummy ports are used to reduce the deterioration of performance due to energy reflection. A sample antenna was simulated, covering a wide scanning angle of±40°. The simulated beam patterns show that the eleven beam gains are distributed from 17.8 to 19.9 dBi under operating of 3.15 GHz, and similar results are obtained over 20% of the relative bandwidth. The great simulated results are used to verify the design approach.

关键词： Lenses Dipole antennas Microstrip antenna arrays Radar antennas Phased arrays

来源：评论

学校读者我要写书评

暂无评论

Photogenerated carrier dynamics at the anatase/rutile TiO2 interface

引用

Physical Review B 2019年第16期99卷 165309-165309页

作者： Yanan Wang Yongliang Shi Chuanyu Zhao Qijing Zheng Jin Zhao Department of Physics Hefei National Laboratory for Physical Sciences at Microscale University of Science and Technology of China Hefei Anhui 230026 China International Center for Quantum Design of Functional Materials CAS Key Laboratory of Strongly-Coupled Quantum Matter Physics University of Science and Technology of China Hefei Anhui 230026 China

TiO2 is an intensively studied photocatalytic material owing to its low cost and high activity. The anatase/rutile (A/R) mixed-phase TiO2 is recognized as an effective strategy to achieve high photocatalytic efficiency by the type-II band alignment favorable to spatial charge separation. However, the atomic structure, as well as the exact band alignment of the A/R mixed-phase TiO2, is very difficult to identify either in experimental measurements or theoretical simulations. Moreover, the time-dependent photogenerated carrier dynamics, which can determine the photocatalytic efficiency, has not been studied at the atomic scale. In this paper, we use an adaptive genetic algorithm to search the stable interface structures. We find that the band alignment is determined by the interfacial atomic structures. Especially, with oxygen vacancy (OV) at the interface, band alignment can be reversed as compared to that of the stoichiometric interface. Then, we select one stoichiometric and one defective structure to study the photogenerated carrier dynamics using the time-dependent ab initio nonadiabatic molecule dynamics. We find that in the stoichiometric system, for both the electron and the hole, the charge transfer happens within 400 fs, which is much shorter than the electron-hole recombination timescale at nanosecond-to-microsecond magnitude, which suggests that the charge transfer can occur efficiently at the interface before they recombine. For the defective A/R system with OV, we find that the electron will be trapped by the defect state within 1 ps, while the hole dynamics is not affected. Our study provides atomic insights into the understanding of the band alignment and photogenerated carrier dynamics at the mixed A/R TiO2 interface, which provides valuable guidance for functional material design for solar energy conversion.

关键词： First-principles calculations Lifetimes & widths Wide band gap systems Molecular dynamics

来源：评论

学校读者我要写书评

暂无评论

Uncertainty analysis for input parameters of electrical cabinet fire simulation by coupling Latin hypercube sampling and CFAST 14

Uncertainty analysis for input parameters of electrical cabi...

引用

14th Probabilistic Safety Assessment and Management, PSAM 2018

作者： Wang, Wanhong Zhu, Dahuan Bao, Hui Guo, Yun Peng, Changhong School of Nuclear Science and Technology University of Science and Technology of China Hefei Anhui China Science and Technology on Reactor System Design Technology Laboratory Nuclear Power Institute of China Chengdu Sichuan China Institute of Plasma Physics Chinese Academy of Sciences Hefei Auhui China

It has been proved that fire accident frequency in nuclear power plants is higher than we thought it was and fire accidents have a huge significant impact on the safety of nuclear power, so it is extremely necessary to analyze fire risks. Electrical cabinets are one of the most important fire ignition sources in nuclear power plants, since there are normally many combustible cable bundles inside them. When fire modeling has been performed in nuclear power plants, past studies have only considered a single fire scenario, which means that the uncertainties associated with fire combustion and propagation are ignored. The paper is based on electrical cabinet fire scenario simulations in nuclear power plants and analyze the uncertainty of input parameters related to fire combustion and fire detection by coupling Latin Hypercube Sampling and software-CFAST. Statistic results can be used for quantitative analysis in Fire Probabilistic Safety Assessment. © 2018 International Association for Probablistic Safety Assessment and Management (IAPSAM). All rights reserved.

关键词： Uncertainty analysis

来源：评论

学校读者我要写书评

暂无评论

design of Multi-Beam Antenna Based on Rotman Lens

Design of Multi-Beam Antenna Based on Rotman Lens

引用

International Conference on Microwave and Millimeter Wave technology Proceedings

作者： Junwen Zhang Weijun Wu Yang Feng Zhi-Ya Zhang National Key Laboratory of Antennas and Microwave Technology Xidian University Xi'an Shaanxi China Science and Technology on Electromagnetic Compatibility Laboratory China Ship Development and Design Center Wuhan China

A multi-beam antenna fed by Rotman lens is presented in this paper. A Rotman lens and a ten-element printed Yagi antenna array make up the antenna system. By properly comparing optical aberrations, expressing as the normalized path length errors, the suitable ratio of on-axis to off-axis focal length (g = G/F) is acquired so as to minimize phase errors for the array elements. Ten dummy ports are used to reduce the deterioration of performance due to energy reflection. A sample antenna was fabricated and measured, covering a wide scanning angle of ±30°. The measured beam patterns show that the seven beam gains are distributed from 11.9 to 13.6 dBi under operating of 8.15 GHz. Both the simulated and measured results are used to verify the design approach.

关键词：

来源：评论

学校读者我要写书评

暂无评论

MRPB 1.0: A unified benchmark for the evaluation of mobile robot local planning approaches

arXiv

引用

arXiv 2020年

作者： Wen, Jian Zhang, Xuebo Bi, Qingchen Pan, Zhangchao Feng, Yanghe Yuan, Jing Fang, Yongchun The Institute of Robotics and Automatic Information System College of Artificial Intelligence Nankai University Tianjin300350 China The Tianjin Key Laboratory of Intelligent Robotics Nankai University Tianjin300350 China The School of Marine Science and Technology Northwestern Polytechnical University Xi'an710072 China The Faculty of Robot Science and Engineering Northeastern University Shenyang110000 China The College of Systems Engineering National University of Defense Technology Changsha410073 China

Local planning is one of the key technologies for mobile robots to achieve full autonomy and has been widely investigated. To evaluate mobile robot local planning approaches in a unified and comprehensive way, a mobile robot local planning benchmark called MRPB 1.0 is newly proposed in this paper. The benchmark facilitates both motion planning researchers who want to compare the performance of a new local planner relative to many other state-of-the-art approaches as well as end users in the mobile robotics industry who want to select a local planner that performs best on some problems of interest. We elaborately design various simulation scenarios to challenge the applicability of local planners, including large-scale, partially unknown, and dynamic complex environments. Furthermore, three types of principled evaluation metrics are carefully designed to quantitatively evaluate the performance of local planners, wherein the safety, efficiency, and smoothness of motions are comprehensively considered. We present the application of the proposed benchmark in two popular open-source local planners to show the practicality of the benchmark. In addition, some insights and guidelines about the design and selection of local planners are also provided. The benchmark website [1] contains all data of the designed simulation scenarios, detailed descriptions of these scenarios, and example code. Copyright © 2020, The Authors. All rights reserved.

关键词： Mobile robots

来源：评论

学校读者我要写书评

暂无评论

A computer code for thermal-hydraulic analysis of steam generator with axial preheater/economizer

A computer code for thermal-hydraulic analysis of steam gene...

引用

2018 Transactions of the American Nuclear Society, ANS 2018 and Embedded Topical Meeting Nuclear Fuels and Structural Materials

来源：评论

学校读者我要写书评

暂无评论

Highly enhanced visible-light photocatalytic NOx purification and conversion pathway on self-structurally modified g-C-3N4 nanosheets

引用

science Bulletin 2018年第10期63卷 609-620页

作者： Yuhan Li Yanjuan Sun Wingkei Ho Yuxin Zhang Hongwei Huang Qiang Cai Fan Dong Chongqing Key Laboratory of Catalysis and New Environmental Materials Engineering Research Center for Waste Oil Recovery Technology and Equipment Ministry of Education College of Environment and Resources Chongqing Technology and Business University Chongqing 400067. China Department of Science and Environmental Studies. The Center for Education in Environmental Sustainability The Education University of Hong Kong. Hong Kong China College of Materials Science and Engineering National Key Laboratory of Fundamental Science of Micro/Nano-Devices and System Technology. Chongqing University.Chongqing 400044. China School of Materials Science and Technology National Laboratory of Mineral Materials China University of Geosciences Beijing 100083 China

The unmodified graphitic carbon nitride(g-C_3N_4) suffers from low photocatalytic activity because of the unfavourable *** the present work,we reported a simple self-structural modification strategy to optimize the microstructure of g-C_3N_4 and obtained graphene-like g-C_3N_4 nanosheets with porous *** contrast to traditional thermal pyrolysis preparation of g-C_3N_4,the present thermal condensation was improved via pyrolysis of thiourea in an alumina crucible without a cover,followed by secondary heat *** popcorn-like formation and layer-by-layer thermal exfoliation of graphene-like porous g-C_3N_4 was proposed to explain the formation *** photocatalytic removal performance of both NO and NO_2 with the graphene-like porous g-C_3N_4 for was significantly enhanced by selfstructural *** experiments and in-situ diffuse reflectance infrared fourier transform spectroscopy(DRIFTS) measurement were conducted to detect the active species during photocatalysis and the conversion pathway of g-C_3N_4 photocatalysis for NO_x purification was *** photocatalytic activity of graphene-like porous g-C_3N_4 was highly enhanced due to the improved charge separation and increased oxidation capacity of the ·O_2^- radicals and *** work could not only provide a novel self-structural modification for design of highly efficient photocatalysts,but also offer new insights into the mechanistic understanding of g-C_3N_4 photocatalysis.

关键词： Self-structural modification g-C3N4 Visible light photocatalysis In-situ DRIFTS Conversion pathway

来源：评论

学校读者我要写书评

暂无评论

Lattice Boltzmann method for simulation of time-dependent neutral particle transport

引用

Nuclear science and Techniques 2017年第3期28卷 74-84页

作者： Ya-Hui Wang Li-Ming Yan Bang-Yang Xia Yu Ma School of Energy Science and Engineering Harbin Institute of Technology Science and Technology on Reactor System Design Technology Laboratory Nuclear Power Institute of China

In this paper, a novel model is proposed to investigate the neutron transport in scattering and absorbing medium. This solution to the linear Boltzmann equation is expanded from the idea of lattice Boltzmann method(LBM) with the collision and streaming process. The theoretical derivation of lattice Boltzmann model for transient neutron transport problem is proposed for the first *** fully implicit backward difference scheme is used to ensure the numerical stability, and relaxation time and equilibrium particle distribution function are obtained. To validate the new lattice Boltzmann model, the LBM formulation is tested for a homogenous media with different sources, and both transient and steady-state LBM results get a good agreement with the benchmark solutions.

关键词： Transient neutron transport Lattice Boltzmann method Linear Boltzmann equation

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：