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

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

来源：评论

学校读者我要写书评

暂无评论

A review of smartphones based indoor positioning: challenges and applications

arXiv

引用

arXiv 2020年

作者： Nguyen, Khuong An Luo, Zhiyuan Li, Guang Watkins, Chris School of Computing Engineering and Maths University of Brighton BrightonBN2 4AT United Kingdom Computer Science Department Royal Holloway University of London SurreyTW20 0EX United Kingdom Institute of Cyber-Systems and Control Zhejiang University Hangzhou310027 China

The continual proliferation of mobile devices has encouraged much effort in using the smartphones for indoor positioning. This article is dedicated to review the most recent and interesting smartphones based indoor navigation systems, ranging from electromagnetic to inertia to visible light ones, with an emphasis on their unique challenges and potential real-world applications. A taxonomy of smartphones sensors will be introduced, which serves as the basis to categorise different positioning systems for reviewing. A set of criteria to be used for the evaluation purpose will be devised. For each sensor category, the most recent, interesting and practical systems will be examined, with detailed discussion on the open research questions for the academics, and the practicality for the potential clients. Copyright © 2020, The Authors. All rights reserved.

关键词： Smartphones

来源：评论

学校读者我要写书评

暂无评论

Sensor attack correction for linear systems with known inputs

引用

IFAC-PapersOnLine 2018年第23期51卷 206-211页

作者： Tang, Zhanghan Kuijper, Margreta Chong, Michelle Mareels, Iven Leckie, Christopher School of Electrical and Electronic Engineering University of Melbourne Australia Department of Automatic Control KTH Royal Institute of Technology Sweden IBM Research Australia Australia School of Computing and Information Systems University of Melbourne Australia

We address the problem of attack detection and attack correction for multi-input multi-output discrete-time linear time-invariant systems under sensor attacks. More specifically, we consider the situation that a system with known input is corrupted by additive adversarial attack signals on some of the system's outputs. In this paper, we use system representation in a behavioural approach, which allows for natural and compact statements regarding linear system security. We extend our earlier results for systems with zero inputs to systems with non-zero inputs. We assume that these non-zero inputs are known. © 2018

关键词： Linear systems Error correction Invariance MIMO systems Time varying control systems Attack detection Behavioural approach Discrete time linear time invariant systems Multi input multi output System representation System security

来源：评论

学校读者我要写书评

暂无评论

Satellites of the Broucke-Hadjidemetriou-Hénon family of periodic unequal-mass three-body orbits

arXiv

引用

arXiv 2020年

作者： Li, Xiaoming Liao, Shijun MOE Key Laboratory of Disaster Forecast and Control in Engineering School of Mechanics and Construction Engineering Jinan University Guangzhou510632 China Department of Earth Atmospheric and Planetary Sciences Massachusetts Institute of Technology CambridgeMA02139 United States School of Physics and Astronomy Shanghai Jiaotong University Shanghai200240 China Center of Advanced Computing School of Naval Architecture Ocean and Civil Engineering Shanghai Jiaotong University Shanghai200240 China

The Broucke-Hadjidemetriou-Hénon’s (BHH) orbits are a family of periodic orbits of the three-body system with the simplest topological free group word a, while the BHH satellites have free group words ak (k > 1), where k is the topological exponent. Janković and Dmitrašinović [Phy. Rev. Lett. 116, 064301 (2016)] reported 57 new BHH satellites with equal mass and found that at a fixed energy the relationship between the angular momentum (L) and the topologically rescaled period (T/k) is the same for both of the BHH orbits (k = 1) and the BHH satellites (k > 1). In this letter, we report 419,743 new BHH orbits (k = 1) and 179,253 new BHH satellites (k > 1) of the three-body system with unequal mass, which have never been reported, to the best of our knowledge. Among these newly-found 598,996 BBH orbits and satellites, about 33.5% (i.e., 200,686) are linearly stable and thus many among them might be observed in practice. Besides, we discover that, for the three-body system with unequal mass at a fixed energy, relationship between the angular momentum (L) and topologically rescaled period (T/k) of the BHH satellites (k > 1) is different from that of the BHH orbits (k = 1). Copyright © 2020, The Authors. All rights reserved.

关键词： Satellites

来源：评论

学校读者我要写书评

暂无评论

Periodic satellite orbits of the Broucke-Hadjidemetriou-Hénon family of three-body system with unequal masses

Research Square

引用

Research Square 2020年

作者： Li, Xiaoming Liao, Shijun Department of Earth Atmospheric and Planetary Sciences Massachusetts Institute of Technology CambridgeMA02139 United States MOE Key Laboratory of Disaster Forecast and Control in Engineering School of Mechanics and Construction Engineering Jinan University Guangzhou510632 China School of Physics and Astronomy Shanghai Jiaotong University Shanghai200240 China Center of Advanced Computing School of Naval Architecture Ocean and Civil Engineering Shanghai Jiaotong University Shanghai200240 China

Triple systems are common and key objects in astronomy. The three-body problem has received much more attention in recent years1–3. All observed periodic triple stars systems4–6 belong to the Broucke-Hadjidemetriou-Hénon’s (BHH) family7–9. The BHH orbits are a family of periodic orbits of the three-body system with the simplest topological free group word10 a, while Janković and Dmitrašinović 1 gained 58 equal-mass BHH satellite orbits which have free group words ak (k > 1), where k is the topological exponent. However, the BHH satellite orbits with equal mass is lack of realistic meaning because they do not exist in practice. Here we present 419743 new BHH orbits and 179253 new BHH satellites (k > 1) for three-body system with unequal mass. Especially, 48761 among the 179253 new BHH satellites are stable and have unequal masses. It suggests that these 48761 stable BHH satellites could be found by the observation. Besides, for the three-body system with equal mass at a fixed energy, it was demonstrated that the relationship between the angular momentum (L) and topological scaled period (T/k) of the BHH satellites is the same as that of the BHH orbits1. However, we found that this does not hold for the three-body system with unequal mass. Our findings have broad impact for the astrophysical scenario: they could inspire the theoretical and observational study of the triple system, the formation of triple stars11, the gravitational waves pattern12 and the gravitational waves observation13 of the triple system. © 2020, CC BY.

关键词： Satellites

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：