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

International Conference on Parallel and Distributed systems (ICPADS)

作者： Haifeng Fang Yiqiang Zhao Hongyong Zang H. Howie Huang Ying Song Yuzhong Sun Zhiyong Liu University of the Chinese Academy of Sciences Beijing Beijing CN Key Laboratory of Computer System and Architecture Institute of Computing Technology Chinese Academy and Sciences China George Washington University Washington D.C. DC USA

A cloud computing provider can dynamically allocate virtual machines (VM) based on the needs of the customers, while maintaining the privileged access to the Management Virtual Machine that directly manages the hardware and supports the guest VMs. The customers must trust the cloud providers to protect the confidentiality and integrity of their applications and data. However, as the VMs from different customers are running on the same host, an attack to the management virtual machine will easily lead to the compromise of the guest VMs. Therefore, it is critical for a cloud computing system to ensure the trustworthiness of management VMs. To this end, we propose VMGuard, an integrity monitoring and detecting system for management virtual machines in a distributed environment. VMGuard utilizes a special VM, Guard Domain, which runs on each physical node to monitor the co-resident management VMs. The integrity measurements collected by the Guard Domains are sent to the VMGuard server for safe store and independent analysis. The experimental evaluation of a Xen-based prototype shows that VMGuard can quickly detect the root kit attacks while the performance overhead is low.

关键词： Driver circuits Kernel Servers Monitoring Engines Virtual machining Area measurement

来源：评论

学校读者我要写书评

暂无评论

Global Atmospheric Simulation on a Reconfigurable Platform

Global Atmospheric Simulation on a Reconfigurable Platform

引用

Annual IEEE Symposium on Field-Programmable Custom computing Machines (FCCM)

作者： Lin Gan Haohuan Fu Wayne Luk Chao Yang Wei Xue Guangwen Yang Department of Computer Science and Technology Ministry of Education Key Laboratory for Earth System Modeling Center for Earth System Science Tsinghua University Beijing China Ministry of Education Key Laboratory for Earth System Modeling Center for Earth System Science Tsinghua University Beijing China Department of Computing Imperial College London London UK Institute of Software Chinese Academy of Sciences Beijing China

Summary form only given. As the only method to study long-term climate trend and to predict potential climate risk, climate modeling is becoming a key research topic among governments and research organizations. One of the most essential and challenging components in climate modeling is the atmospheric model. To cover high resolution in climate simulation scenarios, developers have to face the challenges from billions of mesh points and extremely complex algorithms. Shallow Water Equations (SWEs) are a set of conservation laws that perform most of the essential characteristics of the atmosphere. The study of SWEs can serve as the starting point for understanding the dynamic behavior of the global atmosphere. We choose cubed-sphere mesh as the computational mesh for its better load balance in pole regions over other meshes such as the latitude-longitude mesh. The cubed-sphere mesh is obtained by mapping a cube to the surface of the sphere. The computational domain is then the six patches, each of which is covered with N × N mesh points to be calculated. When written in local coordinates, SWEs have an identical expression on the six patches, that is ∂Q/∂t + 1/Λ ∂(ΛF 1 )/∂x 1 + 1/Λ ∂(ΛF 1 )/∂z 2 + S=0, (1) where (x 1 , x 2 ) ∈ [-π/4, π/4] are the local coordinates, Q = (h, hu 1 , hu 2 ) T is the prognostic variable, F i = u i Q (i = 1, 2) are the convective fluxes, S is the source term. Spatially discretized with a cell-centered finite volume method and integrated with a second-order accurate TVD Runge-Kutta method, SWE solvers are transferred to the computation of a 13-point upwind stencil that exhibits a diamond shape. To get the prognostic components (h, hu 1 and hu 2 ) of the central point, its neighboring 12 points need to be accessed. The stencil kernel includes at least 434 ADD/SUB operations, 570 multiplications, 99 divisions. The high arithmetic density of the SWEs algorithm makes it difficult to implement one kernel into the resource-limited FPGA card. I

关键词： Atmospheric modeling Field programmable gate arrays Mathematical model Meteorology Kernel Educational institutions Equations

来源：评论

学校读者我要写书评

暂无评论

Modeling and analysis of three properties of mobile interactive systems based on variable Petri nets

arXiv

引用

arXiv 2021年

作者： Yang, Ru Ding, Zhijun Jiang, Changjun Zhou, MengChu The Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University The Department of Computer Science and Technology Tongji University Shanghai201804 China The Institute of Systems Engineering Macau University of Science and Technology 999078 China The Department of Electrical and Computer Engineering New Jersey Institute of Technology NewarkNJ07102 United States

Due to the mobility and frequent disconnections, the correctness of mobile interaction systems, such as mobile robot systems and mobile payment systems, are often difficult to analyze. This paper introduces three critical properties of systems, called system connectivity, interaction soundness and data validity, and presents a related modeling and analysis method, based on a kind of Petri nets called VPN. For a given system, a model including component nets and interaction structure nets is constructed by using VPNs. The component net describes the internal process of each component, while the interaction structure net reflects the dynamic interaction between components. Based on this model, three properties are defined and analyzed. The case study of a practical mobile payment system shows the effectiveness of the proposed method. Copyright © 2021, The Authors. All rights reserved.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

RCGA-Net: An Improved Multi-hybrid Attention Mechanism Network in Biomedical Image Segmentation

RCGA-Net: An Improved Multi-hybrid Attention Mechanism Netwo...

引用

2021 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2021

作者： Xiao, Feng Shen, Cong Chen, Yu Yang, Tian Chen, Shengyong Liao, Zhijun Tang, Jijun Tianjin University of Technology School of Computer Science and Engineering Tianjin China Engineering Research Center of Learning-Based Intelligent System Ministry of Education Tianjin China School of Basic Medical Sciences Fujian Medical University Fujian Fuzhou China College of Intelligence and Computing Tianjin University Tianjin China Key Laboratory of Systems Bioengineering Ministry of Education Tianjin China Shenzhen Institute of Advanced Technology Chinese Academy of Sciences Guangdong Shenzhen China Department of Computer Science and Engineering University of South Carolina ColumbiaSC United States

ISBN: (纸本)9781665401265

Drawing support from an effective Medical Image Segmentation (MIS) is conducive to a substantial diagnostic basis for the physicians to identify the focus lesion in the patient body and give the subsequent clinical assessment of the patient status. Although various works have tried the challenging quantitative analysis problem, it is still difficult to conduct precise automatic segmentation, especially the soft tissue organs. In this decade, with the increased amount of available datasets, deep learning-based networks have achieved remarkable performance in image processing. Inspired by the state-of-the-art deep learning works, in this paper, we propose an end-to-end multi-layer network named RCGA-Net. It consists of an encoder-decoder backbone that integrates a coordinate attention mechanism based on space and channel and a global context extraction module to highlight more valuable information. To evaluate the performance of RCGA-Net, we apply it to different kinds of clinical and experimental MIS tasks to testify its generalization ability. Extensive experiments represent that our schema has taken the outperform or compatible results among the comparison methods group. Specifically, the numeric result of RCGA-Net on the pulmonary dataset has achieved a 99.12% optimum F1-score. © 2021 IEEE.

关键词： Diagnosis

来源：评论

学校读者我要写书评

暂无评论

Asymptotic throughput for large-scale wireless networks with general node density

引用

Wireless Networks 2012年第5期19卷 559-575页

作者： Cheng Wang Changjun Jiang Xiang-Yang Li Yunhao Liu Department of Computer Science Tongji University Shanghai China Key Laboratory of Embedded System and Service Computing Ministry of Education Shanghai China The Tsinghua National Laboratory for Information Science and Technology (TNLIST) Department of Computer Science and Engineering Tongji University Shanghai China The Department of Computer Science Illinois Institute of Technology Chicago USA The TNLIST and School of Software Tsinghua University Beijing China CSE The Hong Kong University of Science and Technology Kowloon Hong Kong

We study the asymptotic throughput for a large-scale wireless ad hoc network consisting of n nodes under the generalized physical model. We directly compute the throughput of multicast sessions to unify the unicast and broadcast throughputs. We design two multicast schemes based on the so-called ordinary arterial road system and parallel arterial road system, respectively. Correspondingly, we derive the achievable multicast throughput by taking account of all possible cases of n s = ω(1) and 1 ≤ n d ≤ n − 1, rather than only the cases of $$n_s=\Uptheta(n)$$ as in most related works, where n s and n d denote the number of sessions and the number of destinations of each session, respectively. Furthermore, we consider the network with a general node density $$\lambda \in [1,n]$$ , while the models in most related works are either random dense network (RDN) or random extended network (REN) where the density is λ = n and λ = 1, respectively, which further enhances the generality of this work. Particularly, for the special case of our results by letting λ = 1 and $$n_s=\Uptheta(n)$$ , we show that for some regimes of n d , the multicast throughputs achieved by our schemes are better than those derived by the well-known percolation-based schemes.

关键词：

来源：评论

学校读者我要写书评

暂无评论

SelectCast: Scalable data aggregation scheme in wireless sensor networks

SelectCast: Scalable data aggregation scheme in wireless sen...

引用

IEEE Annual Joint Conference: INFOCOM, IEEE computer and Communications Societies

作者： Cheng Wang Shaojie Tang Xiang-Yang Li Changjun Jiang Key Laboratory of Embedded System and Service Computing Ministry of Education Shanghai China Department of Computer Science University of Tongji Shanghai China Department of Computer Science Illinois Institute of Technology Chicago IL USA TNLIST School of Software Tsinghua University China

In this work, for a wireless sensor network (WSN) of n randomly placed sensors with node density λ ∈ [1, n], we study the tradeoffs between the aggregation throughput and gathering efficiency. The gathering efficiency refers to the ratio of the number of the sensors whose data have been gathered to the total number of sensors. Specifically, we design two efficient aggregation schemes, called single-hop-length (SLH) scheme and multiple-hop-length (MLH) scheme. By novelly integrating these two schemes, we theoretically prove that our protocol achieves the optimal tradeoffs, and derive the optimal aggregation throughput depending on a given threshold value (lower bound) on gathering efficiency. Particularly, we show that under the MLH scheme, for a practically important set of symmetric functions called perfectly compressible functions, including the mean, max, or various kinds of indicator functions, etc., the data from Θ(n) sensors can be aggregated to the sink at the throughput of a constant order Θ(1), implying that our MLH scheme is indeed scalable.

关键词： TV Wireless sensor networks Power capacitors Blogs Lattices

来源：评论

学校读者我要写书评

暂无评论

Loop fusion conscious inline model

引用

Jisuanji Yanjiu yu Fazhan/computer Research and Development 2007年第7期44卷 1265-1271页

作者： Zhou, Qian Feng, Xiaobing Zhang, Zhaoqing Key Laboratory of Computer System and Architecture Institute of Computing Technology Chinese Acad. of Sci. Beijing 100080 China

Optimization directed inlining is a good direction for inlining, but it does not consider the factor of the execution frequency and size of the function. Although a traditional inlining model considers the factor of execution frequency and size of the function, it does not consider the optimization after inlining. In this paper, a new inline model, loop fusion conscious inline model, is proposed to avoid these drawbacks of the inline model of the past. It considers both execution frequency and size and optimization. The inlining method which only considers loop fusion is implemented and is added into the ORC's original inline model. Then the new inline model is built and the model is tuned for high performance. In the experiment, some fact is found that temperature (execution frequency) isn't effective in some cases, and the reason is analyzed. Experiment result shows that the new model can greatly improve the performance of the compiler, and some SPEC CPU 2000 benchmark's peak performance can increase as high as 6%, and 1% on average.

关键词： Program compilers

来源：评论

学校读者我要写书评

暂无评论

Noncontact Doppler Radar-based Heart Rate Detection on the SVD and ANC

Noncontact Doppler Radar-based Heart Rate Detection on the S...

引用

2022 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2022

作者： Shi, Qiuxia Hu, Bin Tian, Fuze Zhao, Qinglin Gansu Provincial Key Laboratory of Wearable Computing School of Information Science and Engineering Lanzhou University China School of Computer and Communication Lanzhou University of Technology China Key Laboratory of Special Functional Materials and Structural Design Lanzhou University Ministry of Education Lanzhou China CAS Center for Excellence in Brain Science and Intelligence Technology Shanghai Institutes for Biological Sciences Chinese Academy of Sciences China Joint Research Center for Cognitive Neurosensor Technology of Lanzhou University Institute of Semiconductors Chinese Academy of Sciences China Engineering Research Center of Open Source Software and Real-Time System Lanzhou University Ministry of Education China

ISBN: (纸本)9781665468190

In the Doppler biological radar-based applications of noncontact measurement of vital signs, effectively extracting heartbeat information from weak thoracic mechanical motion is an important problem to be solved. This study is aimed at extracting heartbeat signal via the technology combined with Short Time Fourier Transform (STFT), Singular Value Decomposition (SVD) and Adaptive Noise Canceller (ANC) from radar recording. The simulated data and the data collected by Doppler radar biosensor realized in laboratory are employed to validate the proposed method. The results show that the proposed method has the ability of detection for the heart rate and heart rate variability indexes in rest state, it has certain advantages in time-consuming and detection accuracy. Therefore, the current method provides another way to process vital sign signals recorded by Doppler radar. © 2022 IEEE.

关键词： Singular value decomposition

来源：评论

学校读者我要写书评

暂无评论

Enhanced LCCG: A novel test clock generation scheme for faster-than-at-speed delay testing

Enhanced LCCG: A novel test clock generation scheme for fast...

引用

Asia and South Pacific Design Automation Conference

作者： Songwei Pei Ye Geng Huawei Li Jun Liu Song Jin Beijing University of Chemical Technology Beijing 100029 China Key Laboratory of Computer System and Architecture Institute of Computing Technology Chinese Academy of Sciences Beijing CN School of Computer and Information University of Technology Hefei China School of Electrical and Electronic Engineering North China Electric Power University Baoding China

ISBN: (纸本)9781479977932

On-chip faster-than-at-speed delay testing provides a promising way for small delay defect detection. However, the frequency of on-chip generated test clock would be impacted by process variations. Hence, it requires determining the actual frequency of generated test clock to ensure the effectiveness of faster-than-at-speed delay testing. In this paper, we present a novel test clock generation scheme, namely Enhanced LCCG, for faster-than-at-speed delay testing. In the proposed scheme, faster-than-at-speed test clock is firstly generated by configuring the corresponding control information specified in the test pattern into Enhanced LCCG. Then, by constructing oscillation paths and counting the corresponding oscillation iteration numbers, the actual frequency of test clock can be measured and calculated with high resolution. Experimental results are presented to validate the proposed method.

关键词： Delays Clocks Oscillators Testing Frequency measurement Logic gates

来源：评论

学校读者我要写书评

暂无评论

A survey on edge computing systems and tools

arXiv

引用

arXiv 2019年

作者： Liu, Fang Tang, Guoming Li, Youhuizi Cai, Zhiping Zhang, Xingzhou Zhou, Tongqing School of Data and Computer Science Sun Yat-sen University GuangzhouGuangdong China Key Laboratory of Science and Technology on Information System Engineering National University of Defense Technology ChangshaHunan China School of Compute Science and Technology Hangzhou Dianzi University China College of Computer National University of Defense Technology ChangshaHunan China State Key Laboratory of Computer Architecture Institute of Computing Technology Chinese Academy of Sciences China

—Driven by the visions of Internet of Things and 5G communications, the edge computing systems integrate computing, storage and network resources at the edge of the network to provide computing infrastructure, enabling developers to quickly develop and deploy edge applications. Nowadays the edge computing systems have received widespread attention in both industry and academia. To explore new research opportunities and assist users in selecting suitable edge computing systems for specific applications, this survey paper provides a comprehensive overview of the existing edge computing systems and introduces representative projects. A comparison of open source tools is presented according to their applicability. Finally, we highlight energy efficiency and deep learning optimization of edge computing systems. Open issues for analyzing and designing an edge computing system are also studied in this survey. Copyright © 2019, The Authors. All rights reserved.

关键词： Energy efficiency

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：