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

Accumulative Time Based Ranking Method to Reputation Evaluation in Information Networks

Journal of Computer Science & Technology 2022年第4期37卷 960-974页

作者： Hao Liao Qi-Xin Liu Ze-Cheng Huang Ke-Zhong Lu Chi Ho Yeung Yi-Cheng Zhang National Engineering Laboratory on Big Data System Computing Technology College of Computer Science and SoftwareEngineeringShenzhen UniversityShenzhen 518060China Guangdong Province Key Laboratory of Popular High Performance Computers Shenzhen UniversityShenzhen 518060China Guangdong Province Engineering Center of China-Made High Performance Data Computing System College of ComputerScience and Software EngineeringShenzhen UniversityShenzhen 518060China Institute of Big Data Intelligent Management and Decision Shenzhen UniversityShenzhen 518060China Department of Science and Environmental Studies The Education University of Hong KongHong Kong 999077China Department of Physics University of FribourgFribourg 1700Switzerland

Due to over-abundant information on the Web, information filtering becomes a key task for online users to obtain relevant suggestions and how to extract the most related item is always a key topic for researchers in various fields. In this paper, we adopt tools used to analyze complex networks to evaluate user reputation and item quality. In our proposed Accumulative Time Based Ranking (ATR) algorithm, we take into account the growth record of the network to identify the evolution of the reputation of users and the quality of items, by incorporating two behavior weighting factors which can capture the hidden facts on reputation and quality dynamics for each user and item respectively. Our proposed ATR algorithm mainly combines the iterative approach to rank user reputation and item quality with temporal dependence compared with other reputation evaluation methods. We show that our algorithm outperforms other benchmark ranking algorithms in terms of precision and robustness on empirical datasets from various online retailers and the citation datasets among research publications. Therefore, our proposed method has the capability to effectively evaluate user reputation and item quality.

关键词： temporal network behavior dynamics reputation evaluation ranking algorithm

来源：评论

学校读者我要写书评

暂无评论

Intelligent Global Error Estimation for Mesh Discretization in Method of Moments

引用

IEEE Antennas and Wireless Propagation Letters 2025年

作者： Mu, Xinyu Wu, Haoxiang Luo, Aiwen Xidian University Shaanxi Key Laboratory of Large Scale Electromagnetic Computing Shaanxi Innovation Center for High Performance CAE Software Xi'an710071 China

Traditional methods are insufficient for the effective assessment of mesh quality prior to performing electromagnetic field calculations using the method of moments (MoM). To address this problem, we propose an intelligent global error estimation algorithm for mesh discretization in MoM. The algorithm utilizes a neural network to effectively capture and model the complex nonlinear relationship between point cloud-based mesh data and global mesh discretization errors. To train the neural network, we developed a custom electromagnetic scattering error dataset and proposed a technique for encoding unstructured mesh as point cloud data to effectively capture mesh features. Experimental results demonstrate the proposed neural network framework's efficacy in accurately assessing global errors in electromagnetic scattering. © 2002-2011 IEEE.

关键词： Evanescent fields

来源：评论

学校读者我要写书评

暂无评论

A Novel ACA for Analyzing Electromagnetic Field Problems of Filter with Waveports

A Novel ACA for Analyzing Electromagnetic Field Problems of ...

引用

International Applied Computational Electromagnetics Society Symposium (ACES)

作者： Yutao Hou Ruipeng Jia Shilong Du Xunwang Zhao Xifeng Pu Shaanxi Key Laboratory of Large Scale Electromagnetic Computing Xidian University Xi’an China Shaanxi Innovation Center for High Performance CAE Software Xi’an China

ISBN: (数字)9798350355581

ISBN: (纸本)9798350355598

In this paper, a fast direct method based on adaptive cross approximation (ACA) is used to calculate the electromagnetic field of the waveport which is a difficulty when analyzing metal-dielectric filter models. Different from the traditional method of moments (MoM), the system matrix is divided into blocks and then compressed in this method which greatly improves the calculation efficiency while ensuring the calculation accuracy. Numerical results are presented to demonstrate that the proposed ACA can efficiently and accurately calculate the metal-dielectric filter models.

关键词： Analytical models Adaptation models Accuracy Computational modeling Computational electromagnetics Numerical models Scattering parameters Computational efficiency Electromagnetic fields Method of moments

来源：评论

学校读者我要写书评

暂无评论

Research on shielding effectiveness of field-to-wire coupling model based on time-domain hybrid method

Research on shielding effectiveness of field-to-wire couplin...

引用

International Applied Computational Electromagnetics Society Symposium (ACES)

作者： Conghao Fan Wenjun Sun Haoxin Wan Xunwang Zhao Xifeng Pu Shaanxi Key Laboratory of Large-Scale Electromagnetic Computing Xidian University Xi’an China Shaanxi Innovation Center for High Performance CAE Software Xi’an China

ISBN: (数字)9798350355581

ISBN: (纸本)9798350355598

This paper adopts an efficient time-domain hybrid method to solve the complex field-to-wire coupling model. Under the irradiation of high frequency electromagnetic pulse, the transient response of different types and different lengths of cables arranged in parallel in a large engine room model is simulated. By analyzing the electromagnetic compatibility (EMC) inside and outside the model, the three-dimensional current distribution on the model surface and the shielding effectiveness of the model, the results show that the aircraft shell itself has good electromagnetic protection characteristics. In addition, the experimental results by numerical simulation show that improving the electromagnetic protection capability of the fuselage, adopting the shielded cable structure and changing the wiring mode can effectively improve the shielding effectiveness of the inner cable of the fuselage under the irradiation of high-energy electromagnetic pulse.

关键词： Couplings Solid modeling Analytical models Atmospheric modeling Numerical models Aircraft Protection Electromagnetics Time-domain analysis Cables

来源：评论

学校读者我要写书评

暂无评论

Large-Scale Thermo-Hydraulic Analysis of Fuel Rod Bundles Based on YH-ACT

Large-Scale Thermo-Hydraulic Analysis of Fuel Rod Bundles Ba...

引用

IEEE International Conference on Trust, Security and Privacy in computing and Communications (TrustCom)

作者： Min Song Chao Li Xiaowei Guo Jie Liu Huajian Zhang Rui Xia Laboratory of Digitizing Software for Frontier Equipment Changsha China Institution of Quantum Information & State Key Laboratory of High Performance Computing College of Computer Science and Technology National University of Defense Technology Changsha China

ISBN: (数字)9798331506209

ISBN: (纸本)9798331506216

In the design process of nuclear reactors, high-fidelity numerical simulations of thermo-hydraulic processes play a crucial role in evaluating the feasibility and safety of design schemes. These simulations involve complex physical processes such as coolant flow, thermal conduction, and heat transfer, necessitating the use of high-precision numerical algorithms and efficient parallel optimization methods. While mainstream commercial software is widely used in reactor design, it often falls short when it comes to meeting customized experimental scenarios and faces limitations in parallel scalability and physical model adaptability. Hence, the development of independent thermo-hydraulic parallel applications becomes essential. This paper focuses on conducting large-scale refined thermo-hydraulic analysis of core fuel rod bundles using the self-developed software YHACT. The paper elucidates the model algorithm design, parallel implementation, and analysis of test results. Two typical cases were selected for verification by comparing the obtained results with those from FLUENT. Emphasis was placed on the large-scale parallel simulation of fluid-solid coupled convection heat transfer phenomena between fuel rod bundles, utilizing a mesh scale exceeding 100 million cells. This breakthrough overcomes the scale limitations encountered with commercial software, and promises to foster further research and development in related fields.

关键词： Couplings Analytical models Adaptation models Scalability software algorithms software Thermal analysis Numerical models Fuels Security

来源：评论

学校读者我要写书评

暂无评论

Pronounced advance on typhoon track forecast with global convection-permitting model

引用

Science Bulletin 2025年第9期70卷 1424-1428页

作者： Gu, Jun Zhao, Chun Li, Gudongze Feng, Jiawang Xu, Mingyue Du, Qiuyan Xia, Zihan Li, Yubin Chen, Guanghua Hao, Xiaoyu Chen, Junshi An, Hong Deep Space Exploration Laboratory/School of Earth and Space Sciences/CMA-USTC Laboratory of Fengyun Remote Sensing/State Key Laboratory of Fire Science/Institute of Advanced Interdisciplinary Research on High-Performance Computing Systems and Software University of Science and Technology of China Hefei230026 China Laoshan Laboratory Qingdao266237 China CAS Center for Excellence in Comparative Planetology University of Science and Technology of China Hefei230026 China School of Atmospheric Physics Nanjing University of Information Science and Technology Nanjing210044 China Key Laboratory of Cloud-Precipitation Physics and Severe Storms Institute of Atmospheric Physics Chinese Academy of Sciences Beijing100029 China School of Computer Science and Technology University of Science and Technology of China Hefei230026 China

来源：评论

学校读者我要写书评

暂无评论

An Automata-Theoretic Approach to Synthesizing Binarized Neural Networks 21st

An Automata-Theoretic Approach to Synthesizing Binarized Ne...

引用

21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023

作者： Tao, Ye Liu, Wanwei Song, Fu Liang, Zhen Wang, Ji Zhu, Hongxu College of Computer Science and Technology National University of Defense Technology Changsha China School of Information Science and Technology ShanghaiTech University Shanghai China Institute of Software Chinese Academy of Sciences and University of Chinese Academy of Sciences Beijing China Automotive Software Innovation Center Shanghai China Institute for Quantum Information and State Key Laboratory for High Performance Computing National University of Defense Technology Changsha China

ISBN: (纸本)9783031453281

Deep neural networks, (DNNs, a.k.a. NNs), have been widely used in various tasks and have been proven to be successful. However, the accompanied expensive computing and storage costs make the deployments in resource-constrained devices a significant concern. To solve this issue, quantization has emerged as an effective way to reduce the costs of DNNs with little accuracy degradation by quantizing floating-point numbers to low-width fixed-point representations. Quantized neural networks (QNNs) have been developed, with binarized neural networks (BNNs) restricted to binary values as a special case. Another concern about neural networks is their vulnerability and lack of interpretability. Despite the active research on trustworthy of DNNs, few approaches have been proposed to QNNs. To this end, this paper presents an automata-theoretic approach to synthesizing BNNs that meet designated properties. More specifically, we define a temporal logic, called BLTL, as the specification language. We show that each BLTL formula can be transformed into an automaton on finite words. To deal with the state-explosion problem, we provide a tableau-based approach in real implementation. For the synthesis procedure, we utilize SMT solvers to detect the existence of a model (i.e., a BNN) in the construction process. Notably, synthesis provides a way to determine the hyper-parameters of the network before training. Moreover, we experimentally evaluate our approach and demonstrate its effectiveness in improving the individual fairness and local robustness of BNNs while maintaining accuracy to a great extent. © 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Deep neural networks

来源：评论

学校读者我要写书评

暂无评论

Quantum Poisson solver without arithmetic

引用

Intelligent Marine Technology and Systems 2024年第1期2卷 1-15页

作者： Wang, Shengbin Wang, Zhimin Cui, Guolong Shi, Shangshang Shang, Ruimin Li, Jiaxin Li, Wendong Wei, Zhiqiang Gu, Yongjian Faculty of Information Science and Engineering Ocean University of China Qingdao China Origin Quantum Computing Company Limited Hefei China Beijing Zhongke Arclight Quantum Software Technology Co. Ltd. Beijing China High Performance Computing Center Pilot National Laboratory for Marine Science and Technology (Qingdao) Qingdao China

Solving differential equations is one of the most promising applications of quantum computing. The Poisson equation has applications in various domains of physics and engineering, including the simulation of ocean current dynamics. Here, we propose an efficient quantum algorithm for solving the one-dimensional Poisson equation based on the controlled Ry rotations. Our quantum Poisson solver (QPS) removes the need for expensive routines such as phase estimation, quantum arithmetic or Hamiltonian simulation. The computational cost of our QPS is 3n in qubits and 5/3n 3 in one- and two-qubit gates, where n is the logarithmic of the number of discrete points. An overwhelming reduction of the constant factors of the big-O complexity is achieved, which is critical to evaluate the practicality of implementing the algorithm on a quantum computer. In terms of the error ε, the complexity is log(1/ε) in qubits and poly(log(1/ε)) in operations. The algorithms are demonstrated using a quantum virtual computing system, and the circuits are executed successfully on the IBM real quantum computers. The present QPS could exhibit a potential real-world application for solving differential equations on noisy intermediate-scale quantum (NISQ) devices.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A FRAMEWORK FOR SAFE PROBABILISTIC INVARIANCE VERIFICATION OF STOCHASTIC DYNAMICAL SYSTEMS

arXiv

引用

arXiv 2024年

作者： Wu, Taoran Yu, Yiqing Xia, Bican Wang, Ji Xue, Bai Key Laboratory of System Software Chinese Academy of Sciences State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing China Department of Information Science School of Mathematical Sciences Peking University China State Key Laboratory of High Performance Computing College of Computer Science and Technology National University of Defense Technology China

Ensuring safety through set invariance has proven to be a valuable method in various robotics and control applications. This paper introduces a comprehensive framework for the safe probabilistic invariance verification of both discrete- and continuous-time stochastic dynamical systems over an infinite time horizon. The objective is to ascertain the lower and upper bounds of liveness probabilities for a given safe set and set of initial states. The liveness probability signifies the likelihood of the system remaining within the safe set indefinitely, starting from a state in the initial set. To address this problem, we propose optimizations for verifying safe probabilistic invariance in discrete-time and continuous-time stochastic dynamical systems. These optimizations are constructed via either using the Doob’s nonnegative supermartingale inequality-based method or relaxing the equations described in [30,32], which can precisely characterize the probability of reaching a target set while avoiding unsafe states. Finally, we demonstrate the effectiveness of these optimizations through several examples using semi-definite programming tools. Copyright © 2024, The Authors. All rights reserved.

关键词： Continuous time systems

来源：评论

学校读者我要写书评

暂无评论

Towards robust neural networks via a global and monotonically decreasing robustness training strategy

引用

Frontiers of Information Technology & Electronic Engineering 2023年第10期24卷 1375-1389页

作者： Zhen LIANG Taoran WU Wanwei LIU Bai XUE Wenjing YANG Ji WANG Zhengbin PANG Institute for Quantum Information&State Key Laboratory of High Performance Computing National University of Defense TechnologyChangsha 410073China State Key Laboratory of Computer Science Institute of Software Chinese Academy of SciencesBeijing 100190China School of Computer Science and Technology University of Chinese Academy of SciencesBeijing 100190China College of Computer Science and Technology National University of Defense TechnologyChangsha 410073China Key Laboratory of Software Engineering for Complex Systems National University of Defense TechnologyChangsha 410073China

Robustness of deep neural networks(DNNs)has caused great concerns in the academic and industrial communities,especially in safety-critical *** of verifying whether the robustness property holds or not in certain neural networks,this paper focuses on training robust neural networks with respect to given ***-of-the-art training methods,interval bound propagation(IBP)and CROWN-IBP,perform well with respect to small perturbations,but their performance declines significantly in large perturbation cases,which is termed“drawdown risk”in this ***,drawdown risk refers to the phenomenon that IBPfamily training methods cannot provide expected robust neural networks in larger perturbation cases,as in smaller perturbation *** alleviate the unexpected drawdown risk,we propose a global and monotonically decreasing robustness training strategy that takes multiple perturbations into account during each training epoch(global robustness training),and the corresponding robustness losses are combined with monotonically decreasing weights(monotonically decreasing robustness training).With experimental demonstrations,our presented strategy maintains performance on small perturbations and the drawdown risk on large perturbations is alleviated to a great *** is also noteworthy that our training method achieves higher model accuracy than the original training methods,which means that our presented training strategy gives more balanced consideration to robustness and accuracy.

关键词： Robust neural networks Training method Drawdown risk Global robustness training Monotonically decreasing robustness

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：