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

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

来源：评论

学校读者我要写书评

暂无评论

Tri-Co Robot: a Chinese robotic research initiative for enhanced robot interaction capabilities

引用

National Science Review 2018年第6期5卷 799-801页

作者： Han Ding Xuejun Yang Nanning Zheng Ming Li Yinan Lai Hao Wu State Key Laboratory of Digital Manufacturing Equipment and Technology Huazhong University of Science and Technology State Key Laboratory of High Performance Computing College of Computer National University of Defense Technology Institute of Artificial Intelligence and Robotics Xi’an Jiaotong University National Natural Science Foundation of China

Since the invention of the first industrial robot in 1959, the missions of robots have evolved from basic mechanical transfer or assistance to a diverse range of tasks through close interactions with environment, their human counterparts and robot peers. Through adaptation to uncertain and dynamic environments, legged robots can achieve coordinated locomotion in rough terrain, even

关键词： Co a Chinese robotic research initiative for enhanced robot interaction capabilities Tri-Co Robot

来源：评论

学校读者我要写书评

暂无评论

Optimizing high-dimensional Learner with Low-Dimension Action Features

Optimizing High-dimensional Learner with Low-Dimension Actio...

引用

International Symposium on Computational Intelligence and Design, ISCID

作者： Wenxia Wei Liyang Xu Minglong Li Xiaodong Yi Yuhua Tang State Key Laboratory of High Performance Computing College of Computer National University of Defense Technology Changsha China

ISBN: (数字)9781728146539

ISBN: (纸本)9781728146546

Model-free reinforcement learning is capable of learning high-dimensional robotic tasks, but the requirement of large-scale training data makes it hard to reach better performance in limited time. On the contrary, model-based methods are capable of learning low-dimensional tasks efficiently, but lack of extensibility for complex robotic tasks. It is an instinct that, combining the advantage of both, transferring knowledge to higher dimension may benefit in sample efficiency and model accuracy. In the thesis, we present a hybrid framework that transfer low-dimensional action features to high-dimensional deep reinforcement learning model through imitation learning, in order to decrease the training data needed to reach practical performance. In this work, the hybrid framework is experimented on the simulated locomotion tasks, showing that our framework can improve model-free learning process. Our hybrid algorithm outperforms the pure model-free method, utilizing the low-dimensional action features efficiently and being competent in model accuracy.

关键词： Task analysis Robots Training Neural networks Cloning Trajectory Optimization

来源：评论

学校读者我要写书评

暂无评论

Parallel Gym Gazebo: a Scalable Parallel Robot Deep Reinforcement Learning Platform

Parallel Gym Gazebo: a Scalable Parallel Robot Deep Reinforc...

引用

International Conference on Tools for Artificial Intelligence (ICTAI)

作者： Zhen Liang Zhongxuan Cai Minglong Li Wenjing Yang State Key Laboratory of High Performance Computing College of Computer National University of Defense Technology Changsha China

Deep reinforcement learning is making advances in robotics with the platforms of realistic environment simulation. However, as shown in this paper, the realistic simulation introduces vast time cost which is the bottleneck of the learning procedure. To solve this problem generally, we propose a parallel reinforcement learning platform which follows the master-slave principle and integrates learning programs with multiple distributedrobot simulators. The platform is intrinsically scalable and requires no modification to existing serially designed learning environments or algorithms. Experimental results demonstrate that our platform significantly accelerates the learning progress of robots, in direct proportion to the parallel scale. The parallelism also brings richer exploration and sampling, enhancing the performance of deep reinforcement learning algorithms compared with existing serial platforms.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Sulfurized Composite Interphase Enables a highly Reversible Zn Anode

引用

Angewandte Chemie 2024年第7期137卷

作者： Lu Wu Dr. Hao Yuan Yongkang An Dr. Jianguo Sun Yu Liu Dr. Han Tang Wei Yang Lianmeng Cui Jinghao Li Prof. Qinyou An Prof. Yong-Wei Zhang Prof. Lin Xu Prof. Liqiang Mai State Key Laboratory of Advanced Technology for Materials Synthesis and Processing School of Materials Science and Engineering Wuhan University of Technology Wuhan 430070 China Institute of High Performance Computing (IHPC) Agency for Science Technology and Research (A*STAR) 1 Fusionopolis Way #16-16 Connexis Singapore 138632 Singapore Department of Materials Science and Engineering National University of Singapore Singapore 117574 Singapore Hubei Provincial Key Laboratory of Green Materials for Light Industry School of Materials and Chemical Engineering Hubei University of Technology Wuhan 430068 China Hubei Longzhong Laboratory Wuhan University of Technology (Xiangyang Demonstration Zone) Xiangyang 441000 China Zhongyu Feima New Material Technology Innovation Center (Zhengzhou) Co. Ltd. Zhengzhou 450001 China

The stability and reversibility of Zn anode can be greatly improved by in situ construction of solid electrolyte interphase (SEI) on Zn surface via a low-cost design strategy of ZnSO 4 electrolyte. However, the role of hydrogen bond acceptor -SO 3 accompanying ZnS formation during SEI reconstruction is overlooked. In this work, we have explored and revealed the new role of -SO 3 and ZnS in the in situ formed sulfide composite SEI (SCSEI) on Zn anode electrochemistry in ZnSO 4 aqueous electrolytes. Structure characterization and DFT demonstrate that the introduction of -SO 3 can not only reduce the dehydration energy of [Zn(H 2 O) 6 ] 2+ , but also enhance the stability of the ZnS/Zn interface and homogenize the ZnS/Zn interface electric field, thereby significantly improving the dynamic kinetics and uniform deposition of Zn 2+ . Owing to the synergistic effect of ZnS and -SO 3 , a high cycling stability of 1500 h with a cumulative-plated capacity of 7.5 Ah cm −2 at 10 mA cm −2 has been achieved within the symmetrical cell. Furthermore, the full cell with NH 4 V 4 O 10 cathode exhibits outstanding cyclic stability, exceeding 2000 cycles at 5 A g −1 and maintaining a Coulombic efficiency of 100 %. These new insights into anionic synergistic strategy could significantly enhance the practical application of zinc-ion batteries.

关键词： electrolyte in situ sulfurized SEI anionic synergistic zinc ion batteries

来源：评论

学校读者我要写书评

暂无评论

A holistic stream partitioning algorithm for distributed stream processing systems 20

A holistic stream partitioning algorithm for distributed str...

引用

20th International Conference on Parallel and Distributed computing, Applications and Technologies, PDCAT 2019

作者： Li, Kejian Liu, Gang Lu, Minhua Guangdong Province Key Laboratory of Popular High Performance Computers Guangdong Province Engineering Center of China-made High Performance Data Computing System College of Computer Science and Software Engineering Shenzhen University Shenzhen518060 China School of Biomedical Engineering Shenzhen University Shenzhen518060 China

ISBN: (纸本)9781728126166

The performances of modern distributed stream processing systems are critically affected by the distribution of the load across workers. Skewed data streams in real world are very common and pose a great challenge to these systems, especially for stateful applications. key splitting, which allows a single key to be routed to multiple workers, is a great idea to achieve good balance of load in the cluster. However, it comes with the cost of increased memory consumption and computation overhead as well as network communication. In this paper, we present a new definition of metric to model the cost of key splitting for intra-operator parallelism in stream processing systems and provide a novel perspective to reduce replication factor while keeping both overall load imbalance and processing latency low. Similar to previous work, our approach treats the head and the tail of the distribution differently in order to reduce memory requirements. For the head, it uses our proposed notion of regional load imbalance to decide dynamically whether to make one more worker responsible for the heavy hitter or not. For the tail, it simply uses hash partitioning to keep the size of the routing table for the head as small as possible. Extensive experimental evaluation demonstrates that our approach provides superior performance compared to the state-of-the-art partitioning algorithms in terms of load imbalance, replication factor and latency over different levels of skewed stream distributions. © 2019 IEEE.

关键词： Distributed parameter control systems

来源：评论

学校读者我要写书评

暂无评论

Reconstruction of Cherenkov image bymultiple telescopes of LHAASO-WFCTA

引用

Radiation Detection technology and Methods 2022年第4期6卷 544-557页

作者： F.Aharonian Q.An Axikegu L.X.Bai Y.X.Bai Y.W.Bao D.Bastieri X.J.Bi Y.J.Bi J.T.Cai Zhe Cao Zhen Cao J.Chang J.F.Chang E.S.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 Y.Chen H.L.Cheng N.Cheng Y.D.Cheng S.W.Cui X.H.Cui Y.D.Cui B.D’Ettorre Piazzoli B.Z.Dai H.L.Dai Z.G.Dai Danzengluobu Ddella Volpe K.K.Duan J.H.Fan Y.Z.Fan Z.X.Fan J.Fang K.Fang C.F.Feng L.Feng S.H.Feng X.T.Feng Y.L.Feng B.Gao C.D.Gao L.Q.Gao Q.Gao W.Gao W.K.Gao M.M.Ge L.S.Geng G.H.Gong Q.B.Gou M.H.Gu F.L.Guo J.G.Guo X.L.Guo Y.Q.Guo Y.Y.Guo Y.A.Han H.H.He H.N.He S.L.He X.B.He Y.He M.Heller Y.K.Hor C.Hou X.Hou H.B.Hu Q.Hu S.Hu S.C.Hu X.J.Hu D.H.Huang W.H.Huang X.T.Huang X.Y.Huang Y.Huang Z.C.Huang X.L.Ji H.Y.Jia K.Jia K.Jiang Z.J.Jiang M.Jin M.M.Kang T.Ke D.Kuleshov K.Levochkin B.B.Li Cheng Li Cong Li F.Li H.B.Li H.C.Li H.Y.Li J.Li Jian Li Jie Li K.Li WLLi XRLi Xin Li Xin Li YZLi Zhe Li Zhuo Li E.W.Liang Y.F.Liang S.J.Lin 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 W.J.Long R.Lu Q.Luo H.K.Lv B.Q.Ma L.L.Ma X.H.Ma J.R.Mao A.Masood Z.Min W.Mitthumsiri Y.C.Nan Z.W.Ou B.Y.Pang P.Pattarakijwanich Z.Y.Pei M.Y.Qi Y.Q.Qi B.Q.Qiao J.J.Qin D.Ruffolo A.Sáiz C.Y.Shao L.Shao O.Shchegolev X.D.Sheng J.Y.Shi H.C.Song Yu.V.Stenkin V.Stepanov Y.Su Q.N.Sun X.N.Sun Z.B.Sun P.H.T.Tam Z.B.Tang W.W.Tian B.D.Wang C.Wang H.Wang H.G.Wang J.C.Wang J.S.Wang L.P.Wang L.Y.Wang R.Wang R.N.Wang W.Wang X.G.Wang X.Y.Wang Y.Wang Y.D.Wang Y.J.Wang Y.P.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 S.Wu X.F.Wu Y.S.Wu S.Q.Xi J.Xia J.J.Xia G.M.Xiang D.X.Xiao G.Xiao G.G.Xin Y.L.Xin Y.Xing Z.Xiong D.L.Xu R.X.Xu L.Xue D.H.Yan J.Z.Yan C.W.Yang F.F.Yang H.W.Yang J.Y.Yang L.L.Yang M.J.Yang R.Z.Yang S.B.Yang Y.H.Yao Z.G.Yao Y.M.Ye 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 Z.K.Zeng M.Zha X.X.Zhai B.B.Zhang F.Zhang H.M.Zhang H.Y.Zhang J.L.Zhang L.X.Zhang Li Zhang Lu Zhang P.F.Zhang P.P.Zhang R.Zhang S.B.Zhang S.R.Zhang S. Key Laboratory of Particle Astrophyics&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 ChengduSichuanChina Dublin Institute for Advanced Studies 31 Fitzwilliam Place2DublinIreland Max-Planck-Institut for Nuclear Physics P.O.Box 10398069029 HeidelbergGermany State Key Laboratory of Particle Detection and Electronics BeijingChina University of Science and Technology of China Hefei 230026AnhuiChina School of Physical Science and Technology&School of Information Science and Technology Southwest Jiaotong UniversityChengdu 610031SichuanChina College of Physics Sichuan UniversityChengdu 610065SichuanChina School of Astronomy and Space Science Nanjing UniversityNanjing 210023JiangsuChina Center for Astrophysics Guangzhou UniversityGuangzhou 510006GuangdongChina Key Laboratory of Dark Matter and Space Astronomy&Key Laboratory of Radio Astronomy Purple Mountain ObservatoryChinese Academy of SciencesNanjing 210023JiangsuChina Key Laboratory for Research in Galaxies and Cosmology Shanghai Astronomical ObservatoryChinese Academy of SciencesShanghai 200030China Key Laboratory of Cosmic Rays(Tibet University) Ministry of EducationLhasa 850000TibetChina National Astronomical Observatories Chinese Academy of SciencesBeijing 100101China Hebei Normal University Shijiazhuang 050024HebeiChina School of Physics and Astronomy(Zhuhai)&Sino-French Institute of Nuclear Engineering and Technology(Zhuhai) Sun Yat-sen UniversityZhuhai 519000China School of Physics(Guangzhou) Sun Yat-sen UniversityGuangzhou 510275GuangdongChina Dipartimento di Fisica dell’Universitàdi Napoli“Federico II” Complesso Universitario di Monte Sant’Angelovia Cinthia80126 NapoliItaly School of Physics and Astronomy Yunnan UniversityKunming 650091YunnanChina Département de Physique Nucléaire et Corpusculaire Facultéde SciencesUniversitéde Genève

Introduction One of main scientiﬁc goals of the Large high Altitude Air Shower Observatory(LHAASO)is to accurately measure the energy spectra of different cosmic ray compositions around the‘knee’*** Wide Field-of-View(FoV)Cherenkov Telescope Array(WFCTA),which is one of the main detectors of LHAASO and has 18 telescopes,is built to achieve this *** telescopes are put together and point to connected directions for a larger *** Telescopes are deployed spatially as close as possible,but due to their own size,the distance between two adjacent telescopes is about 10 ***,the Cherenkov lateral distribution and the parallax between the two telescopes should be considered in the event building process for images crossing over the boundaries of FoVs of the *** event building method for Cherenkov images measured by multiple telescopes of WFCTA is *** performance of the shower measurements using the combined images is evaluated by comparing with showers that are fully contained by a virtual telescope in *** and conclusion It is proved that the developed event building process can help to increase the FoV of WFCTA by 30%while maintaining the same reconstruction quality,compared to the separate telescope reconstruction method.

关键词： method directions conclusion

来源：评论

学校读者我要写书评

暂无评论

Topological phase transition in Sb-doped Mg3Bi2 monocrystalline thin films

引用

Physical Review B 2021年第12期103卷 125405-125405页

作者： Tong Zhou Mingyu Tong Yun Zhang Xiangnan Xie Zhen-Yu Wang Tian Jiang Xie-Gang Zhu Xin-Chun Lai Science and Technology on Surface Physics and Chemistry Laboratory Jiangyou 621908 Sichuan People's Republic of China State Key Laboratory of High Performance Computing College of Computer National University of Defense Technology Changsha 410073 People's Republic of China Beijing Institute for Advanced Study National University of Defense Technology Beijing 100020 People's Republic of China Institute of Materials China Academy of Engineering Physics Mianyang 621700 Sichuan People's Republic of China College of Advanced Interdisciplinary Studies National University of Defense Technology Changsha 410073 People's Republic of China National Innovation Institute of Defense Technology Academy of Military Sciences PLA China Beijing 100010 People's Republic of China Beijing Academy of Quantum Information Sciences Beijing 100193 People's Republic of China

Mg3Bi2 has been proved to be a semimetal with topological surface states (referred to as a topological semimetal, TSM) in the presence of spin-orbit coupling (SOC), and predicted to be a type-II nodal line semimetal (NSM) in the absence of SOC. It is possible to tune the effective SOC in Mg3Bi2 by substituting the heavy Bi atom with lighter atoms, such as Sb or As, which results in topological phase transitions. Here in our work we investigate the evolution of the transport properties and band structures of Mg3Bi2 by doping different concentrations of Sb through molecular beam epitaxy. Our results demonstrate the existence of phase transitions of TSM to trivial semimetal (SM) and SM to trivial insulator, with Sb concentration x at x1≈0.44–0.64 and x2≈1.39, respectively. Further theoretical calculations give values of x1≈0.523 and x2≈1.10, which agrees well with our experimental results. And all these results are concluded into a Mg3Bi2−xSbx phase diagram. Our work will stimulate more explorations to the possibilities of the realization of type-II NSM in Mg3Bi2 by various elements substitution.

关键词： Surface states Topological materials Topological phase transition Weak antilocalization Angle-resolved photoemission spectroscopy

来源：评论

学校读者我要写书评

暂无评论

A Distributed Control Method Based on Neighbor Reward for Robot Swarm

A Distributed Control Method Based on Neighbor Reward for Ro...

引用

作者： Linlin Du Yuhong Huang YUHUA TANG Da Huang The State Key Laboratory of High Performance Computing National University of Defense Technology College of Computer National University of Defense Technology

Real-time control strategy development remains challenging in the field of controlling multi-robot *** to frequent and massive interactions among robots,it is hard to implement a realtime control strategy in the multi-robot *** phenomenon further limits the development of multi-robot application which adopts the real-time control *** deal with above challenges,this paper proposes a decentralized control policy for multi-robot to avoid collision in an unknown *** policy adopts reward value to measure robots' motion and *** reward value,robots can determine which neighbor robot to communicate with and to learn from,which decreases the interaction cost incurred in the multi-robot *** the reward,the control strategy of each robot can be optimized through learning from its *** experiments are conducted in a simulator to evaluate the effectiveness of our policy.

关键词： Multi-robot systems Swarm robotics Self-organization

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：