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

Beyond Green: Evolution to Adaptability and Recyclability

Beyond Green: Evolution to Adaptability and Recyclability

IEEE/ACM Int'l Conference on & Int'l Conference on Cyber, Physical and Social computing (CPSCom) Green computing and Communications (GreenCom)

作者： Yuzhong Sun Ying Song Key Laboratory of Computer System and Architecture Chinese Academy of Sciences (CAS) Beijing China Institute of Computing Technology Chinese Academy of Sciences (CAS) Beijing China Key Lab. of Comput. Syst. & Archit. Beijing China

In current social computing system, not only hardware but also software experiences a directly discarded mode. Such directly discarded mode may result in huge waste. The major challenge in green computing is the recyclability of the computing system. In order to address this challenge in the software field, this paper proposes a design idea of green software embodying the adaptability and recyclability. The adaptable and recyclable strategy may consist of two phases. The first one is compressing the increasingly deeper software stack, another one is keeping the functionality recycling and code reuse. The adaptability and recyclability mean automatically decomposing the complex software into several parts which are ease to be reused and automatically selecting the feasible parts for the on-writing software. And we also explore the system software design path to adaptability and recyclability in our previous work as well as in the future.

关键词： Hardware Green products Recycling Software design computers Complexity theory

来源：评论

学校读者我要写书评

暂无评论

Social incentive policies to engage commercial building occupants in demand response

Social incentive policies to engage commercial building occu...

引用

IEEE International Conference on Automation Science and Engineering (CASE)

作者： Sisi Li Kun Deng MengChu Zhou Department of Electrical and Computer Engineering New Jersey Institute of Technology Newark NJ USA Coordinated Science Laboratory University of Illinois at Urbana-Champaign Urbana IL USA Key Laboratory of Embedded System and Service Computing Tongji University Shanghai China

Occupants' comfort is the primary target in a building operation. However their efforts are often neglected and ruled out from traditional control strategies of energy-efficient building management systems. Occupant-engaged control strategies have recently attracted many research attentions and demonstrated great potentials for energy saving. With them, occupants' behavior is incorporated into the closed-loop control methods in which their initiatives actively contribute to building services and energy utility by explicitly expressing their preferences. This work proposes an occupant-engaged demand response (DR) strategy for building automation in which occupants are actively engaged to adapt their energy consumption in response to incentive opportunities designed by facility managers. A model-based study and a Nash-Equilibrium-based solution are provided to assist facility managers with the design of social incentive policies to promote occupant participation, along with the guarantee of lucrativeness for a DR event.

关键词： Games Electricity Load management Building automation Companies

来源：评论

学校读者我要写书评

暂无评论

VMGuard: An Integrity Monitoring system for Management Virtual Machines

VMGuard: An Integrity Monitoring System for Management Virtu...

引用

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：