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

14th International Symposium on Parallel Architectures, Algorithms and Programming, PAAP 2023

作者： Liu, Anjun Liao, Yin Xu, Xihao Chen, YanYan Zhong, Hongjun Wu, Jianming Kong, Bo Raikov, Alexander Guo, Meng Jinan Institute of Supercomputing Technology Jinan Key Laboratory of High Performance Industrial Software Jinan China Zhejiang Yuansuan Technology Co. Ltd Jinan Supercomputing-Zhejiang Yuansuan Industrial Simulation System Joint Laboratory Hangzhou China Qilu University of Technology Shandong Academy of Sciences Ministry of Education Shandong Computer Science Center National Supercomputer Center in Jinan Key Laboratory of Computing Power Network and Information Security China Fundamental Research Center for Computer Science Shandong Provincial Key Laboratory of Computer Networks Shandong Jinan China

ISBN: (纸本)9798350371024

code_saturne is an open-source general large-scale computational fluid dynamics software independently developed by Electricite de France since 1997. Due to its high computing performance, code_saturne has been widely used in the nuclear industry, heavy fuel and biomass combustion, particle tracking and other computational fluid dynamics fields. In this work, we implemented code_saturne on the new generation Sunway supercomputer (SW26010pro) at the first time. By applying the data value-taking technology of double cache, combined with Sunway shared memory technology, we have adapted the data structure and Modular programming of code_saturne conducively to the new generation Sunway supercomputer (SW26010pro) and accelerated the software hotspots the software hotspots by 1-2 times. After optimizing and porting, this software has successfully served in the numerical simulation of the lateral flow of fuel assemblies in the nuclear industry. © 2023 IEEE.

关键词： Supercomputers

来源：评论

学校读者我要写书评

暂无评论

A Bayesian validation approach to practical boson sampling

引用

Science China(Physics,Mechanics & Astronomy) 2020年第5期63卷 39-46页

作者： Zhe Dai Yong Liu Ping Xu WeiXia Xu XueJun Yang JunJie Wu Institute for Quantum Information&State Key Laboratory of High Performance Computing College of Computer National University of Defense TechnologyChangsha 410073China

Boson sampling is a promising candidate for demonstrating quantum supremacy. The validation that involves judging whether a quantum setup outputs photons following the boson sampling model is an essential task in the experiments. However, the current validation methods may result in an incorrect conclusion being reached in realistic experiments, in which no ideally identical photons exist. Accordingly, this study proposes a slope-based approach, which is an extended Bayesian validation, to model the degree of photon indistinguishability. Through numerical simulations and performance evaluations, we demonstrate that the proposed approach can correctly validate boson sampling against the distribution of classical particles. In addition to offering a useful approach for validation, our research indicates that physicists should pay more attention to the quality of photon indistinguishability in boson sampling experiments.

关键词： boson sampling quantum supremacy Bayesian validation photon indistinguishability

来源：评论

学校读者我要写书评

暂无评论

Symbolic Verification of Fuzzy Logic Models 23

Symbolic Verification of Fuzzy Logic Models

引用

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering

作者： Siang Zhao Zhongyang Li Zhenbang Chen Ji Wang College of Computer National University of Defense Technology China AND Key Laboratory of Software Engineering for Complex Systems National University of Defense Technology China College of Computer National University of Defense Technology China AND State Key Laboratory of High Performance Computing National University of Defense Technology China

ISBN: (纸本)9798350329964

Fuzzy logic is widely applied in various applications. However, verifying the correctness of fuzzy logic models can be difficult. This extended abstract presents our ongoing work on verifying fuzzy logic models. We treat a fuzzy logic model as a program and propose a verification method based on symbolic execution for fuzzy logic models. We have developed and implemented the environment models for the common functions and the inference rules in fuzzy logic models. Our preliminary evaluation shows the potential of our verification method.

关键词： fuzzy logic model

来源：评论

学校读者我要写书评

暂无评论

A Thermochromic, Viscoelastic Nacre-like Nanocomposite for the Smart Thermal Management of Planar Electronics

引用

Nano-Micro Letters 2023年第10期15卷 182-196页

作者： Jiemin Wang Tairan Yang Zequn Wang Xuhui Sun Meng An Dan Liu Changsheng Zhao Gang Zhang Weiwei Lei College of Biomedical Engineering Sichuan UniversityChengdu 610064People’s Republic of China Institute for Frontier Materials Deakin UniversityWaurn Ponds CampusLocked Bag 20000GeelongVictoria 3220Australia College of Mechanical and Electrical Engineering Shaanxi University of Science and TechnologyXi’an 710021People’s Republic of China State Key Laboratory of Polymer Materials Engineering College of Polymer Science and EngineeringSichuan UniversityChengdu 610065People’s Republic of China Institute of High Performance Computing A*STAR Singapore 138632Singapore

Cutting-edge heat spreaders for soft and planar electronics require not only high thermal conductivity and a certain degree of flexibility but also remarkable self-adhesion without thermal interface materials, elasticity, arbitrary elongation along with soft devices, and smart properties involving thermal self-healing, thermochromism and so on. Nacre-like composites with excellent in-plane heat dissipation are ideal as heat spreaders for thin and planar electronics. However, the intrinsically poor viscoelasticity, i.e., adhesion and elasticity, prevents them from simultaneous self-adhesion and arbitrary elongation along with current flexible devices as well as incurring high interfacial thermal impedance. In this paper, we propose a soft thermochromic composite(STC) membrane with a layered structure, considerable stretchability, high in-plane thermal conductivity(~30 Wm^(-1) K^(-1)), low thermal contact resistance(~12 mm^2 KW^(-1), 4–5 times lower than that of silver paste), strong yet sustainable adhesion forces(~4607 Jm^(-2), 2220 Jm^(-2) greater than that of epoxy paste) and self-healing efficiency. As a self-adhesive heat spreader, it implements efficient cooling of various soft electronics with a temperature drop of 20℃ than the polyimide case. In addition to its self-healing function, the chameleon-like behavior of STC facilitates temperature monitoring by the naked eye, hence enabling smart thermal management.

关键词： Boron nitride nanosheets Nacre-inspired composites Viscoelastic Thermochromic Smart thermal management

来源：评论

学校读者我要写书评

暂无评论

A high Order Bound Preserving Finite Difference Linear Scheme for Incompressible Flows

引用

Communications in Computational Physics 2022年第6期32卷 126-155页

作者： Guoliang Zhang Tao Xiong School of Mathematical Sciences Xiamen UniversityXiamenFujian 361005P.R.China School of Mathematical Sciences and Fujian Provincial Key Laboratory of Mathematical Modeling and High-Performance Scientific Computing Xiamen UniversityXiamenFujian 361005P.R.China

We propose a high order finite difference linear scheme combined with ahigh order bound preserving maximum-principle-preserving (MPP) flux limiter tosolve the incompressible flow system. For such problem with highly oscillatory structure but not strong shocks, our approach seems to be less dissipative and much lesscostly than a WENO type scheme, and has high resolution due to a Hermite reconstruction. Spurious numerical oscillations can be controlled by the weak MPP fluxlimiter. Numerical tests are performed for the Vlasov-Poisson system, the 2D guidingcenter model and the incompressible Euler system. The comparison between the linearand WENO type schemes, with and without the MPP flux limiter, will demonstrate thegood performance of our proposed approach.

关键词： Finite difference scheme high order Hermite reconstruction MPP flux limiter incompressible flow Vlasov-Poisson

来源：评论

学校读者我要写书评

暂无评论

high Order Conservative Finite Difference/Fourier Spectral Methods for Inviscid Surface Quasi-Geostrophic Flows

引用

Communications in Computational Physics 2022年第10期32卷 1474-1509页

作者： Nan Zhang Zhiping Mao Tao Xiong School of Mathematical Sciences Xiamen UniversityXiamenFujian361005P.R.China School of Mathematical Sciences Fujian Provincial Key Laboratory of Mathematical Modeling and High-Performance Scientific ComputingXiamen UniversityXiamenFujian361005P.R.China

In this paper,we develop an effective conservative high order finite difference scheme with a Fourier spectral method for solving the inviscid surface quasigeostrophic equations,which include a spectral fractional Laplacian determining the vorticity for the transport velocity of the potential *** fractional Laplacian is approximated by a Fourier-Galerkin spectral method,while the time evolution of the potential temperature is discretized by a high order conservative finite difference *** essentially non-oscillatory(WENO)reconstructions are also considered for *** to a low regularity of problems involving such a fractional Laplacian,especially in the critical or supercritical regime,directly applying the Fourier spectral method leads to a very oscillatory transport velocity associated with the gradient of the vorticity,*** smooth *** of using an artificial filter,we propose to reconstruct the velocity from the vorticity with central difference *** results are performed to demonstrate the good performance of our proposed approach.

关键词： Finite difference WENO Fourier spectral fractional Laplacian surface quasigeostrophic flow

来源：评论

学校读者我要写书评

暂无评论

Local Dynamics Analysis of a Four-Dimensional Hyperchaotic Lorenz System

引用

Journal of Applied Mathematics and Physics 2023年第10期11卷 2789-2802页

作者： Yu Ren Liangqiang Zhou School of Mathematics Nanjing University of Aeronautics and Astronautics Nanjing China Key Laboratory of Mathematical Modelling and High Performance Computing of Air Vehicles (NUAA) Nanjing China

The local dynamical behaviors of a four-dimensional hyperchaotic Lorenz system, including stability and bifurcations, are investigated in this paper by analytical and numerical methods. The equilibriums and their stability under different parameter conditions are analyzed by applying Routh-Hurwitz criterion. The results indicate that the system may exist one, three and five equilibrium points for different system parameters. Based on the central manifold theorem and normal form theorem, the pitchfork bifurcation and Hopf bifurcation are studied respectively. By using the Hopf bifurcation theorem and calculating the first Lyapunov coefficient, the Hopf bifurcation of this system is obtained as supercritical for certain parameters. Finally, the results of theoretical parts are verified by some numerical simulations.

关键词： Hyperchaotic Lorenz System Stability Pitchfork Bifurcation Hopf Bifurcation Central Manifold

来源：评论

学校读者我要写书评

暂无评论

Change Point Detection Of Multi-functional Radar Work Mode Based On Window-sliding Algorithm

Change Point Detection Of Multi-functional Radar Work Mode B...

引用

Artificial Intelligence, Networking and Information technology (AINIT), International Seminar on

作者： Zhi Tang Xueqiong Li Xucan Chen State Key Laboratory of High Performance Computing School of Computing National University of Defense Technology Changsha China Chinese People's Liberation Army 32806 Unit Beijing China

Accurately detecting the change points of work mode is crucial for identifying the behavioral intentions of multi-functional radar (MFR). However, the intercepted MFR pulse sequence is filled with various noise, generating a large amount of measurement error, spurious pulses and lost pulses, making it difficult to locate change point positions. A window-sliding change point detection (Win-CPD) algorithm is applied in this paper, which detects change points by computing the discrepancy between two adjacent windows sliding along the MFR sequence, and discovering the peak in the discrepancy curve when the two windows cover different segments. Experiment results have verified the effectiveness and superiority of this algorithm.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Automatic detection device for the absorption length of water measured by reflection cavity 38

Automatic detection device for the absorption length of wate...

引用

38th International Cosmic Ray Conference, ICRC 2023

作者： Chen, Xinxin Tang, Yiyue Zhang, Juntao Chen, Long Li, Xiurong Zhu, Fengrong School of Physical Science and Technology Southwest Jiaotong University Sichuan Province Chengdu610031 China Key Laboratory of Particle Astrophysics Experimental Physics Division Computing Center Institute of High Energy Physics Chinese Academy of Sciences Beijing100049 China

Water serves as a key medium for the water Cherenkov detector, and the water absorption length significantly affects the efficiency of the detectors. The water absorption length represents the distance traveled by 1/e of light intensity attenuation due to the absorption of photons in water, representing the cleanliness of the water. It is a great challenge to measure or monitor the water attenuation length accurately at home and abroad. A method, like the integrating cavity ring-down spectroscopy is described in this paper, which could reveal the water absorption length and the reflectivity of the material at the same time. Based on it, an automatic detection device was designed and installed. A cylindrical cavity covered with highly reflective materials on the inner wall was employed to load the water. A cover is designed which can be controlled by a stepper motor to change the depth of water in the reflective chamber by moving the position of the cover, and at the same time sealing the reflective chamber by using the variable air pressure of the tires. The light provided by a pulse-twinkled LED was injected into the cavity, and the data was recorded by a fast photomultiplier tube(PMT). Finally, the collected waveforms of PMT at different water depths of the cavity were analyzed to get the absorption length of water and the reflectivity of the inner wall. © Copyright owned by the author(s) under the terms of the Creative Commons.

关键词： Stepping motors

来源：评论

学校读者我要写书评

暂无评论

SLMP: A Scientific Literature Management Platform Based on Large Language Models 15

SLMP: A Scientific Literature Management Platform Based on L...

引用

15th IEEE International Conference on Knowledge Graph, ICKG 2024

作者： Guo, Menghao Jiang, Jinling Wu, Fan Sun, Shanxin Zhang, Chen Li, Wenhui Sun, Zeyi Chen, Guangyong Wu, Xindong Research Center for Life Sciences Computing Zhejiang Lab Hangzhou China Research Center for Data Hub and Security Zhejiang Lab Hangzhou China Research Center for High Efficiency Computing System Zhejiang Lab Hangzhou China Hefei University of Technology Key Laboratory of Knowledge Engineering With Big Data Hefei China

ISBN: (纸本)9798331508821

This paper presents a Scientific Literature Management Platform (SLMP, demo link1 ) based on large language models (LLMs). The platform consists of four modules: literature management, literature extraction, literature retrieval, and question answering. The core techniques used to support the four modules across the platform include a fine-tuned model PaperExtractGPT and a continual pre-training model ChatPaperGPT based on ChatGLM2 using the data from scientific research literature, responsible for information extraction and communication, respectively. Due to their powerful capabilities in natural language understanding and generation, LLMs can understand complex scientific concepts based on the provided contexts, and thus generate high-quality texts and conduct in-depth information retrieval and question answering. Our platform can help researchers manage and utilize literature more effectively and efficiently for finding relevant literature, obtaining required information, and generating new knowledge. © 2024 IEEE.

关键词： Question answering

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：