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

arXiv 2024年

作者： Cao, Zhen Aharonian, F. Axikegu Bai, Y.X. Bao, Y.W. Bastieri, D. Bi, X.J. Bi, Y.J. Bian, W. Bukevich, A.V. Cao, Q. Cao, W.Y. Cao, Zhe Chang, J. Chang, J.F. Chen, 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. Cheng, N. Cheng, Y.D. Chu, M.C. Cui, M.Y. Cui, S.W. Cui, X.H. Cui, Y.D. Dai, B.Z. Dai, H.L. Dai, Z.G. Danzengluobu Dong, X.Q. Duan, K.K. Fan, J.H. Fan, Y.Z. Fang, J. Fang, J.H. Fang, K. Feng, C.F. Feng, H. Feng, L. Feng, S.H. Feng, X.T. Feng, Y. Feng, Y.L. Gabici, S. Gao, B. Gao, C.D. Gao, Q. Gao, W. Gao, W.K. Ge, M.M. Ge, T.T. Geng, L.S. Giacinti, G. Gong, G.H. Gou, Q.B. Gu, M.H. Guo, F.L. Guo, J. Guo, X.L. Guo, Y.Q. Guo, Y.Y. Han, Y.A. Hannuksela, O.A. Hasan, M. He, H.H. He, H.N. He, J.Y. He, Y. Hor, Y.K. Hou, B.W. Hou, C. Hou, X. Hu, H.B. Hu, Q. Hu, S.C. Huang, C. Huang, D.H. Huang, T.Q. Huang, W.J. Huang, X.T. Huang, X.Y. Huang, Y. Huang, Y.Y. Ji, X.L. Jia, H.Y. Jia, K. Jiang, H.B. Jiang, K. Jiang, X.W. Jiang, Z.J. Jin, M. Kang, M.M. Karpikov, I. Khangulyan, D. Kuleshov, D. Kurinov, K. Li, 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 Liang, E.W. Liang, Y.F. Lin, S.J. Liu, 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. Luo, Q. Luo, Y. Lv, H.K. Ma, B.Q. Ma, L.L. Ma, X.H. Mao, J.R. Min, Z. Mitthumsiri, W. Mu, H.J. Nan, Y.C. Neronov, A. Ng, K.C.Y. Ou, L.J. Pattarakijwanich, P. Pei, Z.Y. Qi, J.C. Qi, M.Y. Qiao, B.Q. Qin, J.J. Raza, A. Ruffolo, D. Sáiz, A. Saeed, M. Semikoz, D. Shao, L. Shchegolev, O. Sheng, X.D. Key Laboratory of Particle Astrophysics Experimental Physics Division Computing Center Institute of High Energy Physics Chinese Academy of Sciences Beijing100049 China University of Chinese Academy of Sciences Beijing100049 China TIANFU Cosmic Ray Research Center Sichuan Chengdu China Dublin Institute for Advanced Studies 31 Fitzwilliam Place Dublin Ireland Max-Planck-Institut for Nuclear Physics P.O. Box 103980 Heidelberg69029 Germany School of Physical Science and Technology School of Information Science and Technology Southwest Jiaotong University Sichuan Chengdu610031 China School of Astronomy and Space Science Nanjing University Jiangsu Nanjing210023 China Center for Astrophysics Guangzhou University Guangdong Guangzhou510006 China Tsung-Dao Lee Institute School of Physics and Astronomy Shanghai Jiao Tong University Shanghai200240 China Institute for Nuclear Research Russian Academy of Sciences Moscow117312 Russia Hebei Normal University Hebei Shijiazhuang050024 China University of Science and Technology of China Anhui Hefei230026 China State Key Laboratory of Particle Detection and Electronics China Key Laboratory of Dark Matter and Space Astronomy Key Laboratory of Radio Astronomy Purple Mountain Observatory Chinese Academy of Sciences Jiangsu Nanjing210023 China Research Center for Astronomical Computing Zhejiang Laboratory Zhejiang Hangzhou311121 China Key Laboratory for Research in Galaxies and Cosmology Shanghai Astronomical Observatory Chinese Academy of Sciences Shanghai200030 China School of Physics and Astronomy Yunnan University Yunnan Kunming650091 China Key Laboratory of Cosmic Rays Tibet University Ministry of Education Tibet Lhasa850000 China Department of Physics The Chinese University of Hong Kong New Territories Shatin Hong Kong Key Laboratory of Radio Astronomy and Technology National Astronomical Observatories Chinese Academy of Sciences Beijing100101 China Sun Yat-sen University Guangdong Zhuha

In this paper, we report the detection of the very-high-energy (VHE, 100 GeV 100 TeV) γ-ray emissions from the direction of the young star-forming region W43, observed by the Large high Altitude Air Shower Observation (LHAASO). The extended γ-ray source was detected with a significance of ∼16 σ by KM2A and ∼17 σ by WCDA, respectively. The angular extension of this γ-ray source is about 0.5 degrees, corresponding to a physical size of about 50 pc. We discuss the origin of the γ-ray emission and possible cosmic ray acceleration in the W43 region using multi-wavelength data. Our findings suggest that W43 is likely another young star cluster capable of accelerating cosmic rays (CRs) to at least several hundred TeV. Copyright © 2024, The Authors. All rights reserved.

关键词： Cosmic rays

来源：评论

学校读者我要写书评

暂无评论

Discovery of Very-high-energy Gamma-ray Emissions from the Low Luminosity AGN NGC 4278 by LHAASO

arXiv

引用

arXiv 2024年

作者： Cao, Zhen Aharonian, F. Axikegu Bai, Y.X. Bao, Y.W. Bastieri, D. Bi, X.J. Bi, Y.J. Bian, W. Bukevich, A.V. Cao, Q. Cao, W.Y. Cao, Zhe Chang, J. Chang, J.F. Chen, 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. Cheng, N. Cheng, Y.D. Cui, M.Y. Cui, S.W. Cui, X.H. Cui, Y.D. Dai, B.Z. Dai, H.L. Dai, Z.G. Danzengluobu Dong, X.Q. Duan, K.K. Fan, J.H. Fan, Y.Z. Fang, J. Fang, J.H. Fang, K. Feng, C.F. Feng, H. Feng, L. Feng, S.H. Feng, X.T. Feng, Y. Feng, Y.L. Gabici, S. Gao, B. Gao, C.D. Gao, Q. Gao, W. Gao, W.K. Ge, M.M. Geng, L.S. Giacinti, G. Gong, G.H. Gou, Q.B. Gu, M.H. Guo, F.L. Guo, X.L. Guo, Y.Q. Guo, Y.Y. Han, Y.A. Hasan, M. He, H.H. He, H.N. He, J.Y. He, Y. Hor, Y.K. Hou, B.W. Hou, C. Hou, X. Hu, H.B. Hu, Q. Hu, S.C. Huang, D.H. Huang, T.Q. Huang, W.J. Huang, X.T. Huang, X.Y. Huang, Y. Ji, X.L. Jia, H.Y. Jia, K. Jiang, K. Jiang, X.W. Jiang, Z.J. Jin, M. Kang, M.M. Karpikov, I. Kuleshov, D. Kurinov, K. Li, 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 Liang, E.W. Liang, Y.F. Lin, S.J. Liu, 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. Luo, Q. Luo, Y. Lv, H.K. Ma, B.Q. Ma, L.L. Ma, X.H. Mao, J.R. Min, Z. Mitthumsiri, W. Mu, H.J. Nan, Y.C. Neronov, A. Ou, L.J. Pattarakijwanich, P. Pei, Z.Y. Qi, J.C. Qi, M.Y. Qiao, B.Q. Qin, J.J. Raza, A. Ruffolo, D. Sáiz, A. Saeed, M. Semikoz, D. Shao, L. Shchegolev, O. Sheng, X.D. Shu, F.W. Song, H.C. Stenkin, Yu.V. Stepanov, V. Su, Y. Sun, D.X. Sun, Q.N. Sun, X.N. Sun, Z.B. Takata, J. Tam, P.H.T. Key Laboratory of Particle Astrophysics Experimental Physics Division Computing Center Institute of High Energy Physics Chinese Academy of Sciences Beijing100049 China University of Chinese Academy of Sciences Beijing100049 China Tianfu Cosmic Ray Research Center Sichuan Chengdu610000 China Dublin Institute for Advanced Studies 31 Fitzwilliam Place 2 Dublin Ireland Max-Planck-Institut for Nuclear Physics P.O. Box 103980 Heidelberg69029 Germany School of Physical Science and Technology School of Information Science and Technology Southwest Jiaotong University Sichuan Chengdu610031 China School of Astronomy and Space Science Nanjing University Jiangsu Nanjing210023 China Center for Astrophysics Guangzhou University Guangdong Guangzhou510006 China Tsung-Dao Lee Institute School of Physics and Astronomy Shanghai Jiao Tong University Shanghai200240 China Institute for Nuclear Research Russian Academy of Sciences Moscow117312 Russia Hebei Normal University Hebei Shijiazhuang050024 China University of Science and Technology of China Anhui Hefei230026 China State Key Laboratory of Particle Detection and Electronics China Key Laboratory of Dark Matter and Space Astronomy Key Laboratory of Radio Astronomy Purple Mountain Observatory Chinese Academy of Sciences Jiangsu Nanjing210023 China Research Center for Astronomical Computing Zhejiang Laboratory Zhejiang Hangzhou311121 China Key Laboratory for Research in Galaxies and Cosmology Shanghai Astronomical Observatory Chinese Academy of Sciences Shanghai200030 China School of Physics and Astronomy Yunnan University Yunnan Kunming650091 China Key Laboratory of Cosmic Rays Tibet University Ministry of Education Tibet Lhasa850000 China Key Laboratory of Radio Astronomy and Technology National Astronomical Observatories Chinese Academy of Sciences Beijing100101 China Sun Yat-sen University Guangdong Zhuhai519000 China Sun Yat-sen University Guangdong Guangzhou510275 China Sun Ya

The first source catalog of Large high Altitude Air Shower Observatory reported the detection of a very-high-energy gamma ray source, 1LHAASO J1219+2915. In this paper a further detailed study of the spectral and temporal behavior of this point-like source have been carried. The best-fit position of the TeV source (RA = 185.05◦ ± 0.04◦, Dec = 29.25◦ ± 0.03◦) is compatible with NGC 4278 within ∼ 0.03 degree. Variation analysis shows an indication of the variability at a few months level in the TeV band, which is consistent with low frequency observations. Based on these observations, we report the detection of TeV γ-ray emissions from this low-luminosity AGN NGC 4278. The observations by LHAASO-WCDA during active period has a significance level of 8.8 σ with best-fit photon spectral index Γ = 2.56 ± 0.14 and a flux f1−10 TeV = (7.0 ± 1.1sta ± 0.35syst) × 10−13 photons cm−2 s−1, or approximately 5% of the Crab Nebula. The discovery of VHE from NGC 4278 indicates that the compact, weak radio jet can efficiently accelerate particles and emit TeV photons. © 2024, CC BY.

关键词： Photons

来源：评论

学校读者我要写书评

暂无评论

Design and Implementation of a Portable Laser Calibration System for LHAASO-WFCTA 38

Design and Implementation of a Portable Laser Calibration Sy...

引用

38th International Cosmic Ray Conference, ICRC 2023

作者： Yuan, Guotao Sun, Qinning Jin, Min Xia, Junji Liu, Jing Min, Zhen Zhu, Fengrong Chen, Long Wang, Yang Liu, Yu Zhang, Yong Cao, Zhen Aharonian, F. An, Q. Axikegu Bai, L.X. Bai, Y.X. Bai, L.X. Bai, Y.X. Bao, Y.W. Bastieri, D. Bi, X.J. Bi, Y.J. Cai, H. Cai, J.T. Cao, Zhe Chang, J. Chang, J.F. Chen, B.M. Chen, E.S. Chen, J. Chen, Liang Chen, Liang Chen, Long Chen, M.J. Chen, M.L. Chen, Q.H. Chen, S.H. Chen, S.Z. Chen, T.L. Chen, X.L. Chen, Y. Cheng, N. Cheng, Y.D. Cui, S.W. Cui, X.H. Cui, Y.D. D’Ettorre Piazzoli, B. Dai, B.Z. Dai, H.L. Dai, Z.G. Danzengluobu della Volpe, D. Dong, X.J. Duan, K.K. Fan, J.H. Fan, Y.Z. Fan, Z.X. Fang, J. Fang, K. Feng, C.F. Feng, L. Feng, S.H. Feng, Y.L. Gao, B. Gao, C.D. Gao, L.Q. Gao, Q. Gao, W. Ge, M.M. Geng, L.S. Gong, G.H. Gou, Q.B. Gu, M.H. Guo, F.L. Guo, J.G. Guo, X.L. Guo, Y.Q. Guo, Y.Y. Han, Y.A. He, H.H. He, H.N. He, J.C. He, S.L. He, X.B. He, Y. Heller, M. Hor, Y.K. Hou, C. Hu, H.B. Hu, S. Hu, S.C. Hu, X.J. Huang, D.H. Huang, Q.L. Huang, W.H. Huang, X.T. Huang, X.Y. Huang, Z.C. Ji, F. Ji, X.L. Jia, H.Y. Jiang, K. Jiang, Z.J. Jin, C. Ke, T. Kuleshov, D. Levochkin, K. Li, B.B. Li, Cheng Li, Cong Li, F. Li, H.B. Li, H.C. Li, H.Y. Li, J. Li, K. Li, W.L. Li, X.R. Li, Xin Li, Xin Li, Y. Li, Y.Z. Li, Zhe Li, Zhuo Liang, E.W. Liang, Y.F. Lin, S.J. Liu, B. Liu, C. Liu, D. Liu, H. Liu, H.D. Liu, J. Liu, J.L. Liu, J.S. Liu, J.Y. Liu, M.Y. Liu, R.Y. Liu, S.M. Liu, W. Liu, Y. Liu, Y.N. Liu, Z.X. Long, W.J. Lu, R. Lv, H.K. Ma, B.Q. Ma, L.L. Ma, X.H. Mao, J.R. Masood, A. Min, Z. Mitthumsiri, W. Montaruli, T. Nan, Y.C. Pang, B.Y. Pattarakijwanich, P. Pei, Z.Y. Qi, M.Y. Qi, Y.Q. Qiao, B.Q. Qin, J.J. Ruffolo, D. Rulev, V. Sáiz, A. Shao, L. Shchegolev, O. Sheng, X.D. Shi, J.Y. Song, H.C. Stenkin, Yu.V. School of Physical Science and Technology Southwest Jiaotong University Sichuan Province Chengdu611756 China Key Laboratory of Particle Astrophyics Experimental Physics Division Computing Center Institute of High Energy Physics Chinese Academy of Sciences Beijing100049 China TIANFU Cosmic Ray Research Center Institute of HighEnergy Physics Chinese Academy of Sciences Sichuan Province Chengdu610000 China University of Chinese Academy of Sciences Beijing100049 China TIANFU Cosmic Ray Research Center Sichuan Chengdu China Dublin Institute for Advanced Studies 31 Fitzwilliam Place Dublin 2 Ireland Max-Planck-Institut for Nuclear Physics P.O. Box 103980 Heidelberg69029 Germany State Key Laboratory of Particle Detection and Electronics China University of Science and Technology of China Anhui Hefei230026 China School of Physical Science and Technology School of Information Science and Technology Southwest Jiaotong University Sichuan Chengdu610031 China College of Physics Sichuan University Sichuan Chengdu610065 China School of Astronomy and Space Science Nanjing University Jiangsu Nanjing210023 China Center for Astrophysics Guangzhou University Guangdong Guangzhou510006 China School of Physics and Technology Wuhan University Hubei Wuhan430072 China Key Laboratory of Dark Matter and Space Astronomy Purple Mountain Observatory Chinese Academy of Sciences Jiangsu Nanjing210023 China Hebei Normal University Hebei Shijiazhuang050024 China Key Laboratory for Research in Galaxies and Cosmology Shanghai Astronomical Observatory Chinese Academy of Sciences Shanghai200030 China Ministry of Education Tibet Lhasa850000 China National Astronomical Observatories Chinese Academy of Sciences Beijing100101 China Sun Yat-sen University Guangdong Zhuhai519000 China Dipartimento di Fisica dell’Università di Napoli ‘Federico II" Complesso Universitario di Monte Sant’Angelo via Cinthia Napoli80126 Italy School of Physics and Astronomy Yunnan Uni

The Wide Field of View Cherenkov Telescope Array (WFCTA), situated in the harsh environment of Daocheng, is established to investigate ultrahigh energy cosmic rays. To enhance the calibration of WFCTA, a portable laser calibration system has been developed, which provides specified energy and direction of the YAG laser. Special designs, including power system, north calibration, and rotating system, have been implemented to ensure the proper functioning of the portable laser calibration system. The aluminum alloy of the entire frame and the vibration damper provide robust anti-impact ability and safety during transportation to different observation locations. A temperature control facility has been employed to meet the operational temperature requirement of electronic equipment. Various sensors have been utilized to monitor environmental parameters, the energy of YAG laser pulses, azimuth and pitch angles, and other parameters in real-time. The auto-control program is communicated wirelessly to avoid any manual interference with the system. The field experiment results have confirmed the reliability of the system and its ability to meet the calibration requirements of WFCTA. © Copyright owned by the author(s) under the terms of the Creative Commons.

关键词： Laser safety

来源：评论

学校读者我要写书评

暂无评论

Temperature dependence of commensurate magnetic resonance in cuprate superconductors 5th

Temperature dependence of commensurate magnetic resonance in...

引用

5th Conference on New Advances in Condensed Matter Physics, NACMP 2018

作者： Lan, Yu Kuang, Lülin Hunan Provincial Key Laboratory of Intelligent Information Processing and Application College of Physics and Electronic Engineering Hengyang Normal University Hengyang421002 China National Research Center for High-Performance Computing Engineering Technology Sugon Beijing100193 China

ISBN: (纸本)9783035713275

Within the kinetic energy driven superconducting mechanism, we have studied the temperature dependence of commensurate magnetic resonance in cuprate superconductors. It is shown that the commensurate magnetic resonance peak at the antiferromagnetic wave vector point persists in the superconducting state until the temperature rises to the superconducting transition temperature Tc. The intensity of the resonance peak decreases with increasing temperature which is just like the temperature dependence of the superconducting gap parameter. Our results are in qualitative agreement with the inelastic neutron scattering experimental data and reflect that the commensurate magnetic resonance is closely related to the creation of the charge carrier pairs and thus the superconducting mechanism of cuprate superconductors. © 2018 Trans Tech Publications, Switzerland

关键词： Temperature distribution

来源：评论

学校读者我要写书评

暂无评论

IndexIt: Enhancing data locating services for parallel file systems 21

IndexIt: Enhancing data locating services for parallel file ...

引用

21st IEEE International Conference on high performance computing and Communications, 17th IEEE International Conference on Smart City and 5th IEEE International Conference on Data Science and Systems, HPCC/SmartCity/DSS 2019

作者： Cheng, Peng Wang, Yong Lu, Yutong Du, Yunfei Chen, Zhiguang College of Computer National University of Defense Technology Changsha China State Key Laboratory of High Performance Computing Changsha China National Supercomputer Center in Guangzhou School of Data and Computer Science Sun Yat-Sen University Guangzhou China

ISBN: (纸本)9781728120584

While the ability to access a small fraction of data records from a large volume of scientific datasets is vital to accelerate scientific discovery, existing parallel file systems face serious challenges in managing scientific big data since data services have traditionally been decoupled from file systems. In this paper, we present IndexIt, an in-situ index and query middleware that aims to enhance record locating services for parallel file systems. When applications are writing data to parallel file systems, IndexIt allows users to index data while they are still in memory and bypass the performance bottleneck between memory and disks. By applying lightweight Bitmap-Range index and organizing the index as key-value pairs, IndexIt accelerates index building efficiently. Moreover, we propose a two-level query processing framework to process query requests. We build a prototype and evaluate its performance with real scientific datasets. Compared with existing data management tools, the index building time can be reduced dramatically. The proposed two-level query processing achieves up to 3 orders of magnitude speed-up than scanning the entire dataset and shows up to 1.35x speed-up than an existing tool. © 2019 IEEE.

关键词： Information management

来源：评论

学校读者我要写书评

暂无评论

Approximate Single-Peakedness in Large Elections

Approximate Single-Peakedness in Large Elections

引用

IEEE International Conference on Big Knowledge (ICBK)

作者： Zhihuai Chen Qian Li Xiaoming Sun Lirong Xia Jialin Zhang Institute of Computing Technology Chinese Academy of Sciences Beijing China Shenzhen Institute of Computing Sciences Shenzhen University Guangdong Province Key Laboratory of Popular High Performance Computers Shenzhen University Shenzhen China Computer Science Department Rensselaer Polytechnic Institute (RPI) New York USA

ISBN: (数字)9781728181561

ISBN: (纸本)9781728181578

Single-peaked preferences are a natural way to avoid paradoxes and impossibility theorems in social choice and have recently been involved in the study of various computational aspects of social choice. Since strict single-peakedness is hard to achieve in practice, approximate single-peakedness appears more appropriate and is gaining popularity. In this paper, we study approximate single-peakedness of large, randomly-generated profiles. We focused on characterizing the asymptotically optimal social axis, which is asymptotically consistent with most agents' preferences generated from a statistical model. We characterize all asymptotically optimal social axes under the Mallows model for two case: the case where the dispersion parameter $\varphi$ is close to 0, and the case where $\varphi$ is close to 1. We also design an algorithm to help characterize all asymptotically optimal social axes for all $\varphi$ when the number of alternative is no more than 10. These results help us understand the structure of approximate single-peakedness in large elections.

关键词： Dispersion Voting Computers Periodic structures Complexity theory Approximation algorithms Conferences

来源：评论

学校读者我要写书评

暂无评论

Dependence of switching process on the perpendicular magnetic anisotropy constant in P-MTJ

引用

Chinese Physics B 2018年第9期27卷 635-638页

作者： Mao-Sen Yang Liang Fang Ya-Qing Chi State Key Laboratory of High-Performance Computing College of ComputerNational University of Defense TechnologyChangsha 410073China institute of Microelectronics College of ComputerNational University of Defense TechnologyChangsha 410073China

We investigate the dependence of the switching process on the perpendicular magnetic anisotropy （PMA） constant in perpendicular spin transfer torque magnetic tunnel junctions （P-MTJs） using micromagnetic simulations. It is found that the final stable states of the magnetization distribution of the free layer after switching can be divided into three different states based on different PMA constants： vortex, uniform, and steady. Different magnetic states can be attributed to a trade-off among demagnetization, exchange, and PMA energies. The generation of the vortex state is also related to the non-uniform stray field from the polarizer, and the final stable magnetization is sensitive to the PMA constant. The vortex and uniform states have different switching processes, and the switching time of the vortex state is longer than that of the uniform state due to hindrance by the vortex.

关键词： magnetic tunnel junction perpendicular magnetic anisotropy vortex state micromagnetic simula-tion

来源：评论

学校读者我要写书评

暂无评论

SEBF: A single-chain based extension model of blockchain for fintech 29

SEBF: A single-chain based extension model of blockchain for...

引用

29th International Joint Conference on Artificial Intelligence, IJCAI 2020

作者： Ji, Yimu Gu, Weiheng Chen, Fei Xiao, Xiaoying Sun, Jing Liu, Shangdong He, Jing Li, Yunyao Zhang, Kaixiang Mei, Fen Wu, Fei School of Computer Science Nanjing University of Posts and Telecommunications Nanjing China Jiangsu High Technology Research Key Laboratory for Wireless Sensor Networks Nanjing China Institue of High Performance Computing and Bigdata Nanjing University of Posts and Telecommunications Nanjing China Nanjing Center of HPC China Nanjing China Jiangsu HPC and Intelligent Processing Engineer Research Center Nanjing China Institute of Information Technology Nanjing University of Finance and Economics Nanjing China School of Software and Electrical Engineering Swinburne University of Technology Hawthorn Australia WeBank Co. Ltd. Shenzhen China College of Automation Nanjing University of Posts and Telecommunications Nanjing China

ISBN: (纸本)9780999241165

The traditional blockchain has the shortcoming that a single-chain can only deal with one or a few specific data types. The research question of how to make blockchain be able to deal with various data types has not been well studied. In this paper, we propose a single-chain based extension model of blockchain for fintech (SEBF). In the financial environment, we design a four-layer architecture for this model. By employing the external trusted oracle group and a financial regulator agency, a variety types of data can be effectively stored in the blockchain, such that the data type extension based on a single-chain is realized. The experimental results indicate that the proposed model can improve the efficiency of simplified payment verification. © 2020 Inst. Sci. inf., Univ. Defence in Belgrade. All rights reserved.

关键词： Blockchain

来源：评论

学校读者我要写书评

暂无评论

Symbolic Verification of Message Passing Interface Programs

Symbolic Verification of Message Passing Interface Programs

引用

International Conference on Software Engineering (ICSE)

作者： Hengbiao Yu Zhenbang Chen Xianjin Fu Ji Wang Zhendong Su Jun Sun Chun Huang Wei Dong National University of Defense Technology Changsha China College of Computer National University of Defense Technology Changsha China State Key Laboratory of High Performance Computing National University of Defense Technology Changsha China ETH Zurich Switzerland School of Information Systems Singapore Management University Singapore

ISBN: (数字)9781450371216

ISBN: (纸本)9781728165196

Message passing is the standard paradigm of programming in high-performance computing. However, verifying Message Passing Interface (MPI) programs is challenging, due to the complex program features (such as non-determinism and non-blocking operations). In this work, we present MPI symbolic verifier (MPI-SV), the first symbolic execution based tool for automatically verifying MPI programs with non-blocking operations. MPI-SV combines symbolic execution and model checking in a synergistic way to tackle the challenges in MPI program verification. The synergy improves the scalability and enlarges the scope of verifiable properties. We have implemented MPI-SV and evaluated it with 111 real-world MPI verification tasks. The pure symbolic execution-based technique successfully verifies 61 out of the 111 tasks (55%) within one hour, while in comparison, MPI-SV verifies 100 tasks (90%). On average, compared with pure symbolic execution, MPI-SV achieves 19x speedups on verifying the satisfaction of the critical property and 5x speedups on finding violations.

关键词： Message passing Model checking Tools Task analysis Tuning Standards Software engineering

来源：评论

学校读者我要写书评

暂无评论

Composition-Dependent Effects of Oxygen on Atomic Structure and Mechanical Property of Metallic Glasses

SSRN

引用

SSRN 2020年

作者： Guo, K.F. Zhang, J.C. Sha, Z.D. Pei, Q.X. International Center for Applied Mechanics State Key Laboratory for Strength and Vibration of Mechanical Structures Xi'an Jiaotong University Xi'an710049 China Institute of High Performance Computing A*STAR Singapore138632 Singapore

Although minor alloying in metallic glasses (MGs) has been extensively investigated, the effect of O doping is still a debatable topic. In the present study, the atomic-level structures and mechanical properties of Cu-Zr MGs doped with different O contents have been analyzed using ab initio molecular dynamics simulations. It is found that O atoms prefer to bond with Zr atoms due to their low mixture enthalpy. The key finding is that we reveal the compositional dependence of O doping. For O-doped Cu64Zr36 MGs, the fraction of full icosahedra, size of the medium-range-order clusters, Young’s modulus, and shear modulus decrease sharply with O content, accompanied by a sharp increase of the non-Frank-Kasper polyhedral, ratio of bulk modulus to shear modulus, and Poisson's ratio, indicating decreased strength and improved plasticity. For O-doped Cu47Zr53 MGs, however, the above-mentioned structural and mechanical features experience little change or only change slowly after O doping, showing low oxygen sensitivity. It is reasoned that the high Zr content in Cu47Zr53 MGs weakens the effect of Zr-O bonding to some extent. The present study not only sheds light on the atomic-level structures of O-doped MGs that may provide guidelines for designing MGs with low-grade materials and low processing cost, but also help to explain the previous conflicting results based on the composition-dependence effect. © 2020, The Authors. All rights reserved.

关键词： Metallic glass

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：