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

arXiv 2023年

作者： Ma, Chen-Te Zhang, Hui Department of Physics and Astronomy Iowa State University AmesIA50010 United States Asia Pacific Center for Theoretical Physics Pohang University of Science and Technology Gyeongsangbuk-do Pohang37673 Korea Republic of Guangdong Provincial Key Laboratory of Nuclear Science Institute of Quantum Matter South China Normal University Guangdong Guangzhou510006 China School of Physics and Telecommunication Engineering South China Normal University Guangdong Guangzhou510006 China Guangdong-Hong Kong Joint Laboratory of Quantum Matter Southern Nuclear Science Computing Center South China Normal University Guangdong Guangzhou510006 China The Laboratory for Quantum Gravity and Strings Department of Mathematics and Applied Mathematics University of Cape Town Private Bag Rondebosch7700 South Africa Key Laboratory of Atomic and Subatomic Structure and Quantum Control Institute of Quantum Matter South China Normal University Guangdong Guangzhou510006 China Physics Department Center for Exploration of Energy and Matter Indiana University BloomingtonIN47408 United States

We focus on the behavior of (2+1)d λ4 and (5+1)d λ3 or λ||3 theories in different regimes and compare the results obtained from the adaptive perturbation method with those obtained from lattice simulation. These theories are simple models that exhibit asymptotic freedom, which is a property that is also observed in more complex theories such as QCD, which describes the strong interaction between quarks and gluons. Asymptotic freedom is an important feature of these theories because it allows for a perturbative treatment of interactions at high energies. However, the standard perturbation scheme breaks down in the presence of strong interactions, and the adaptive perturbation method, which involves resuming the Feynman diagrams, is more suitable for studying these interactions. Our research involves comparing the perturbation result to lattice simulation. In the case of the 3 theory, there is no stable vacuum, so we explore evidence from the ||3 theory instead. Our results appear to show that resummation improves the strong coupling result for both the λ4 and λ||3 theories. Additionally, we improve the resummation method for the three-point coupling vertex and study the RG flow to analyze the resummation contribution and theoretical properties. Copyright © 2023, The Authors. All rights reserved.

关键词： Lattice theory

来源：评论

学校读者我要写书评

暂无评论

Integrate and Fire Neuron Implementation using CMOS Predictive Technology Model for 32nm

Integrate and Fire Neuron Implementation using CMOS Predicti...

引用

Microelectronics Technology and Devices (SBMicro)

作者： Gabriel Maranhão Janaina G. Guimarães Department of Electrical Engineering Universidade de Brasília Brasília Brazil Department of Control Automation and Computing Engineering Universidade Federal de Santa Catarina Blumenau Brazil

The propose of this work is to evolve the studies on neuromorphic circuits by simulating transistors models that look the most with the ones used in commercial process. Since most of data about company models contain a restricted access, some universities provide predictions models to reproduce the real ones. In this paper we present a silicon analog integrate and fire neuron (I&F), proposed by G. Indiveri as a part of a neuromorphic device. Using 32nm CMOS technology simulated in LTspice with BSIM4v4 and applying predictive parameters provides by Predictive Technology Model (PTM), we were able to reduce the source power, to 0.9V, and chip size of the latest design which was implemented using a 180nm CMOS process at 1.8 power supply.

关键词： Neurons Predictive models Logic gates Semiconductor device modeling Transistors Mathematical model Computational modeling

来源：评论

学校读者我要写书评

暂无评论

Binary stochastic filtering: A method for Neural network size minimization and supervised feature selection

arXiv

引用

arXiv 2019年

作者： Trelin, A. Procházka, A. Department of Solid State Engineering University of Chemistry and Technology Prague16628 Czech Republic Department of Computing and Control Engineering University of Chemistry and Technology Prague16628 Czech Republic

Binary Stochastic Filtering (BSF), the algorithm for feature selection and neuron pruning is proposed in this work. The method defines filtering layer which penalizes amount of the information involved in the training process. This information could be the input data or output of the previous layer, which directly lead to the feature selection or neuron pruning respectively, producing ad hoc subset of features or selecting optimal number of neurons in each layer. Filtering layer stochastically passes or drops features based on individual weights, which are tuned with standard backpropagation algorithm during the training process. Multifold decrease of neural network size has been achieved in the experiments. Besides, the method was able to select minimal number of features, surpassing literature references by the accuracy/dimensionality ratio. Ready-to-use implementation of the BSF layer is provided. Copyright © 2019, The Authors. All rights reserved.

关键词： Neural networks

来源：评论

学校读者我要写书评

暂无评论

Lagrangian generic second order traffic flow models for node

引用

Journal of Traffic and Transportation engineering(English Edition) 2018年第1期5卷 14-27页

作者： Asma Khelifi Habib Haj-Salem Jean-Patrick Lebacque Lotfi Nabli Engineering of Surface Transportation Networks and Advanced Computing Laboratory IFSTTAR/GRETTIA Department of Electrical Engineering Research Laboratory of Control Signal Processing and Imaging National Engineering School of Monastir

This study sheds light on higher order macroscopic traffic flow modeling on road networks, thanks to the generic second order models （GSOM family） which embeds a myriad of traffic models. It has been demonstrated that such higher order models are easily solved in Lagrangian coordinates which are compatible with both microscopic and macroscopic descriptions. The generalized GSOM model is reformulated in the Lagrangian coordinate system to develop a more efficient numerical method. The difficulty in applying this approach on networks basically resides in dealing with node dynamics. Traffic flow characteristics at node are different from that on homogeneous links. Different geometry features can lead to different critical research issues. For instance, discontinuity in traffic stream can be an important issue for traffic signal operations, while capacity drop may be crucial for lane-merges. The current paper aims to establish and analyze a new adapted node model for macroscopic traffic flow models by applying upstream and downstream boundary conditions on the Lagrangian coordinates in order to perform simulations on networks of roads, and accompanying numerical method. The internal node dynamics between upstream and downstream links are taken into account of the node model. Therefore, a numerical example is provided to underscore the efficiency of this approach. Simulations show that the discretized node model yields accurate results. Additional kinematic waves and contact discontinuities are induced by the variation of the driver attribute.

关键词： Macroscopic Traffic flow modeling GSOM family Lagrangian Node

来源：评论

学校读者我要写书评

暂无评论

A Non-Stop Double Buffering Mechanism for Dataflow Architecture

引用

Journal of Computer Science & Technology 2018年第1期33卷 145-157页

作者： Xu Tan Xiao-Wei Shen Xiao-Chun Ye Da Wang Dong-Rui Fan Lunkai Zhang Wen-Ming Li Zhi-Min Zhang Zhi-Min Tang State Key Laboratory of Computer Architecture Institute of Computing Technology Chinese Academy of Sciences Beijing 100190 China School of Computer and Control Engineering University of Chinese Academy of Sciences Beijing 100049 China State Key Laboratory of Mathematical Engineering and Advanced Computing Wuxi 214125 China Department of Computer Science The University of Chicago Chicago IL 60637 U.S.A.

Double buffering is an effective mechanism to hide the latency of data transfers between on-chip and off-chip memory. However, in dataflow architecture, the swapping of two buffers during the execution of many tiles decreases the performance because of repetitive filling and draining of the dataflow accelerator. In this work, we propose a non-stop double buffering mechanism for dataflow architecture. The proposed non-stop mechanism assigns tiles to the processing element array without stopping the execution of processing elements through optimizing control logic in dataflow architecture. Moreover, we propose a work-flow program to cooperate with the non-stop double buffering mechanism. After optimizations both on control logic and on work-flow program, the filling and draining of the array needs to be done only once across the execution of all tiles belonging to the same dataflow graph. Experimental results show that the proposed double buffering mechanism for dataftow architecture achieves a 16.2% average efficiency improvement over that without the optimization.

关键词： non-stop double buffering dataflow architecture high-performance computing

来源：评论

学校读者我要写书评

暂无评论

Environmental, health and economic impact assessment of clean heating renovation: Evidence from 88 cities in northern China

引用

Environmental Impact Assessment Review 2025年 115卷

作者： Huang, Jingting Wang, Huili Liu, Zhaoyin Zhang, Li Gao, Hanyu Wang, Zhe Zheng, Yixuan Chen, Xiaojun Zhao, Lin Guo, Shangmin Cai, Bofeng Li, Linyan Department of Data Science College of Computing City University of Hong Kong SAR Hong Kong China Center for Carbon Neutrality Chinese Academy of Environmental Planning Beijing100043 China School of the Environment and Safety Engineering Jiangsu University Zhenjiang212013 China Department of Chemical and Biological Engineering Hong Kong University of Science and Technology Clear Water Bay Hong Kong Department of Civil and Environmental Engineering Hong Kong University of Science and Technology Clear Water Bay Hong Kong State Environmental Protection Key Laboratory of Environmental Pollution and Greenhouse Gases Co-control Chinese Academy of Environmental Planning Beijing100043 China State Grid Liaoning Electric Power Company Limited Economic Research Institute Shenyang110000 China Department of Infectious Diseases and Public Health Jockey Club College of Veterinary Medicine and Life Sciences City University of Hong Kong SAR Hong Kong China

To address environmental issues related to heating, the Chinese government launched the "Clean Heating Plan in the Northern Region" as a national energy transition strategy, renovating heating systems for over 30 million households in 88 cities. With the completion of five implementation phases by March 2024, this study presents an evaluation framework to comprehensively assess the environmental, health, and economic impacts of the policy. On-site surveys were conducted annually, monitoring the advancements of clean heating renovations in over 100,000 households across these cities. Combined with air pollution metrics, meteorological data, and city statistical records, a Difference-in-Differences (DID) model with continuous treatment was used to evaluate the environmental benefits associated with the incremental adoption of clean heating in each city. Subsequently, a health impact assessment and cost-benefit analysis were conducted to analyze changes in all-cause mortality and their associated economic benefits. Results indicated an average PM2.5 reduction of 10.31 μg/m3 (95 % CI: [9.25, 11.37]) per heating season and an annual reduction of 1573 in all-cause mortality (95 % CI: [630, 2518]). The economic benefits of these improvements were estimated at 717.1 billion CNY, contributing to an average benefit-cost ratio of 1.48. The proposed evaluation framework serves as a structured method for evaluating the environmental, health, and economic impacts of the energy policy and provides robust evidence to support implementing similar initiatives. © 2025 Elsevier Inc.

关键词： Cost benefit analysis

来源：评论

学校读者我要写书评

暂无评论

Mathematical modeling of the synthesis process of vinyl acetate 5

Mathematical modeling of the synthesis process of vinyl acet...

引用

5th International Scientific and Practical Conference on Virtual Simulation, Prototyping and Industrial Design 2018, VSPID 2018

作者： Arapov, D. Tikhomirov, S. Podvalny, S. Denisenko, V. Avcinov, I. Higher Mathematics and Information Technology Voronezh State University of Engineering Technologies 19 Revolution Avenue Voronezh394036 Russia Information and Control Systems Voronezh State University of Engineering Technologies 19 Revolution Avenue Voronezh394036 Russia Head of the Department of Automated and Computing Systems Voronezh State Technical University 14 Moskovsky Avenue Voronezh394026 Russia

A complete mathematical modeling of the technological process of manufacturing vinyl acetate monomer by vapor-phase method has been implemented. The model is partial differential equations of the material and energy balance and catalyst aging. An algorithm for an integrated equation based on the second-order Gregg-Bulirsh-Shter rectangle symbol has been developed. The error in modeling the process is equal (CH3COOCH=CH2) ± 5.4% rel. for the target matter, and (CO2) ± 6.4% rel. for the secondary substance The kinetic coefficients of differential equations, namely the pre-exponential factors and the activation energy have been refined. The obtained data of the modeling of the vapor-phase manufacturing process of vinyl acetate are shown in the form of tables and graphic three-dimensional dependencies of quality indicators on technological parameters. © 2019 IOP Publishing Ltd. All rights reserved.

关键词： Activation energy

来源：评论

学校读者我要写书评

暂无评论

Front Cover: Micrometer-Sized Liposome-Based Systems: A Hierarchical Breakdown (ChemSystemsChem 3/2025)

ChemSystemsChem

引用

ChemSystemsChem 2025年第3期7卷

作者： Prof. Dr. Shogo Hamada Dr. Hironori Sugiyama Prof. Dr. Yiting Zhang Prof. Dr. Shoji Iwabuchi Soichiro Hiroi Toshiki Maruyama Yuktesh Balaji Sota Kumagai Prof. Dr. Satoshi Murata Prof. Dr. Taro Toyota Department of Computer Science School of Computing & Department of Systems and Control Engineering School of Engineering Institute of Science Tokyo 4259 Nagatsuta-cho Midori-ku Yokohama-city Kanagawa 226-8501 Japan These authors contributed equally. Department of Applied Chemistry Graduate School of Engineering The University of Tokyo 7-3-1 Hongo Bunkyo-ku Tokyo 113-8656 Japan Department of Chemistry College of Science Rikkyo University 3-34-1 Nishi-Ikebukuro Toshima-ku Tokyo 171-8501 Japan Department of Biotechnology and Life Science Tokyo University of Agriculture and Technology 2-24-16 Naka-cho Koganei-shi Tokyo 185-8588 Japan Department of Basic Science Graduate School of Arts and Sciences The University of Tokyo 3-8-1 Komaba Meguro-ku Tokyo 153-8902 Japan Department of Robotics Graduate School of Engineering Tohoku University 6-6-01 Aramaki-Aza Aoba Aoba-ku Sendai Miyagi 980-8579 Japan Universal Biology Institute The University of Tokyo 7-3-1 Hongo Bunkyo-ku Tokyo 113-0033 Japan

来源：评论

学校读者我要写书评

暂无评论

A Pipelining Loop Optimization Method for Dataflow Architecture

引用

Journal of Computer Science & Technology 2018年第1期33卷 116-130页

作者： Xu Tan Xiao-Chun Ye Xiao-Wei Shen Yuan-Chao Xu Da Wang Lunkai Zhang Wen-Ming Li Dong-Rui Fan Zhi-Min Tang State Key Laboratory of Computer Architecture Institute of Computing Technology Chinese Academy of Sciences Beijing 100190 China School of Computer and Control Engineering University of Chinese Academy of Sciences Beijing 1000J9 China State Key Laboratory of Mathematical Engineering and Advanced Computing Wuxi 214125 China College of Information Engineering Capital Normal University Beijing 100048 China Department of Computer Science The University of Chicago Chicago IL 60637 U.S.A.

With the coming of exascale supercomputing era, power efficiency has become the most important obstacle to build an exascale system. Dataflow architecture has native advantage in achieving high power efficiency for scientific applications. However, the state-of-the-art dataflow architectures fail to exploit high parallelism for loop processing. To address this issue, we propose a pipelining loop optimization method （PLO）, which makes iterations in loops flow in the processing element （PE） array of dataflow accelerator. This method consists of two techniques, architecture-assisted hardware iteration and instruction-assisted software iteration. In hardware iteration execution model, an on-chip loop controller is designed to generate loop indexes, reducing the complexity of computing kernel and laying a good f（mndation for pipelining execution. In software iteration execution model, additional loop instructions are presented to solve the iteration dependency problem. Via these two techniques, the average number of instructions ready to execute per cycle is increased to keep floating-point unit busy. Simulation results show that our proposed method outperforms static and dynamic loop execution model in floating-point efficiency by 2.45x and 1.1x on average, respectively, while the hardware cost of these two techniques is acceptable.

关键词： dataflow model control-flow model loop optimization exascale computing scientific application

来源：评论

学校读者我要写书评

暂无评论

The role of asymptomatic individuals in the COVID-19 pandemic via complex networks

arXiv

引用

arXiv 2020年

作者： Stella, Leonardo Martínez, Alejandro Pinel Bauso, Dario Colaneri, Patrizio Department of Computing College of Science & Engineering University of Derby Kedleston Road DE22 1GB United Kingdom Jan C. Willems Center for Systems and Control ENTEG Faculty of Science and Engineering University of Groningen Netherlands Dipartimento di Ingegneria University of Palermo Italy Dipartimento di Elettronica e Informazione Politecnico di Milano Italy

Background Recent seroprevalence studies have tried to estimate the real number of asymptomatic cases affected by COVID-19. It is of paramount importance to understand the impact of these infections in order to prevent a second wave. This study aims to model the interactions in the population by means of a complex network and to shed some light on the effectiveness of localised control measures in Italy in relation to the school opening in mid-September. Methods The formulation of an epidemiological predictive model is given: the advantage of using this model lies in that it discriminates between asymptomatic and symptomatic cases of COVID-19 as the interactions with these two categories of infected individuals are captured separately, allowing for a study on the impact of asymptomatic cases. This model is then extended to a structured nonhomogeneous version by means of the Watts-Strogatz complex network, which is adopted widely to model societal interactions as it holds the small world property. Finally, a case study on the situation in Italy is given: first the homogeneous model is used to compare the official data with the data of the recent seroprevalence study from Istat;second, in view of the return to school in mid-September, a study at regional level is conducted. Findings The proposed model captures an aspect of COVID-19 which is crucial in controlling the further spread of the contagion and in preventing a second wave: the interactions with undetected cases who have therefore not been isolated, mostly asymptomatic or paucisymptomatic, namely 1-2 symptoms without anosmia or ageusia, and their impact on latent infections. The evolution of the pandemic is well captured by model fitting with official data from the Protezione Civile, both at a national level as well as regional level. The case study provides insight on the potential effects of localised restrictions, without the coordination at a national level. The results of this study highlight the importanc

关键词： Complex networks

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：