检索结果-南通市图书馆

VMckpt:lightweight and live virtual machine checkpointing

Science China(Information Sciences) 2012年第12期55卷 2865-2880页

作者： LIU HaiKun 1,JIN Hai 1,LIAO XiaoFei 1,MA Bo 1 & XU ChengZhong 2 1 Services Computing Technology and System Lab,Cluster and Grid Computing Lab,School of computer Science and Technology,Huazhong university of Science and Technology,Wuhan 430074,China 2 department of electrical and computer engineering,wayne state university,detroit,mi 48202,usa 1. Services Computing Technology and System Lab Cluster and Grid Computing Lab School of Computer Science and Technology Huazhong University of Science and Technology Wuhan 430074 China2. Department of Electrical and Computer Engineering Wayne State University Detroit MI [48202 USA

Recent advance of virtualization technology provides a new approach to check-point/restart at the virtual machine(VM) *** contrast to traditional process-level checkpointing,checkpointing at the virtualization layer brings up several advantages,such as compatibility,transparence,flexibility and ***,because the virtualization layer has little semantic knowledge about the operation system and the applications running atop,VM-layer checkpointing requires saving the entire operating system state rather than a single *** overhead may render the approach *** reduce the size of VM checkpoint,in this paper we propose a page eviction scheme and an incremental checkpointing mechanism to avoid saving unnecessary VM pages in the *** keep the system online transparently,we propose a live checkpointing mechanism by saving the memory image in a copy-on-write(COW) *** implement the performance optimization mechanisms in a prototype system,called *** results with a group of representative applications show that our page eviction scheme and incremental checkpointing can significantly reduce the checkpoint file size by up to 87% and shorten the total checkpointing/restart time by a factor of up to 71%,in comparison with the Xens default checkpointing *** observed application downtimes due to checkpointing can be reduced to as small as 300 ms.

关键词： checkpoint/restart copy-on-write page eviction virtual machine

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Polynomial Algorithms to Check Opacity in Discrete Event Systems

Polynomial Algorithms to Check Opacity in Discrete Event Sys...

引用

第24届中国控制与决策会议

作者： Bo Zhang 1,2 , Shaolong Shu 1 , and Feng Lin 1,2 1School of Electronics and Information engineering, Tongji university, Shanghai, China.2department of electrical and computer engineering, wayne state university, detroit, mi 48202, usa,

Because of its importance, opacity has been inves-tigated in the literature. Recently, we propose general definitions of strong opacity and weak opacity that capture other properties such as secrecy, anonymity, observability, diagnosability, and detectability as special cases of opacity. In this paper, we investigate the problem of checking opacity. By using a detector rather than an observer, we show that weak opacity can be determined in polynomial complexity by providing an algorithm of polynomial complexity to check weak opacity. The results and algorithm are illustrated by examples.

关键词： Discrete event systems opacity anonymity secrecy observability diagnosability detectability

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

INFORMATION AND COMPLEXITY IN CONTROL SYSTEMS: A TUTORIAL

引用

Journal of Systems Science & Complexity 2001年第1期14卷 1-16页

作者： WANG Leyi (department of electrical and computer engineering, wayne state university, detroit, michigan 48202, usa) wayne state university 美国 48202

This is a tutorial paper which presents schematically the concepts of information, uncertainty, and complexity, and their relationships in their applications to control systems. By focusing on exact or lower bounds on achievable performance in the presence of uncertainties, studies of complexity in a control system can potentially reveal fundamentally limiting factors of the system, suggest beneficial modifications to system structures and hardware configurations to remove these limitations, provide benchmark values for evaluating a design and for quantifying rooms for performance improvement, and demonstrate intrinsic tradeoffs. Compared to its counterparts in communications (Shannon’s information theory), computations (computational complexity and information-based complexity), and approxima- tions (n-widths and Kolmogorov entropy), studies of information and complexity in control systems encounter further challenges, such as characterization of feedback robustness, interaction between identification and control, and co-existence of deterministic and stochastic uncertainties. Some of these issues are outlined and discussed.

关键词： Information uncertainty complexity control identification.

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Eigenvalue approximation from below using non-conforming finite elements

引用

Science China Mathematics 2010年第1期53卷 137-150页

作者： YANG YiDu 1 ,ZHANG Zhimin 2 & LIN FuBiao 11 School of Mathematics and computer Science,Guizhou Normal university,Guiyang 550001,China 2 department of Mathematics,wayne state university,detroit,mi 48202,usa 1. School of Mathematics and computer Science Guizhou Normal University Guiyang 550001 China2. Department of Mathematics Wayne State University Detroit MI 48202 USA

This is a survey article about using non-conforming finite elements in solving eigenvalue problems of elliptic operators,with emphasis on obtaining lower bounds. In addition,this article also contains some new materials for eigenvalue approximations of the Laplace operator,which include:1) the proof of the fact that the non-conforming Crouzeix-Raviart element approximates eigenvalues associated with smooth eigenfunctions from below;2) the proof of the fact that the non-conforming EQ rot1 element approximates eigenvalues from below on polygonal domains that can be decomposed into rectangular elements;3) the explanation of the phenomena that numerical eigenvalues λ 1,h and λ 3,h of the non-conforming Q rot1 element approximate the true eigenvalues from below for the L-shaped domain. Finally,we list several unsolved problems.

关键词： non-conforming element eigenvalue lower bound

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

SIGNAL ESTIMATION WITH BINARY-VALUED SENSORS

引用

Journal of Systems Science & Complexity 2010年第3期23卷 622-639页

作者： Leyi WANG Gang George YIN Chanying LI Weixing ZHENG department of electrical and computer engineering Wayne State University Detroit Michigan 48202 USA department of Mathematics Wayne State University Detroit Michigan 48202 USA department of Mechanical engineering The University of Hong Kong Pokfulam Road Hong Kong China School of Computing and Mathematics University of Western Sydney Australia

This paper introduces several algorithms for signal estimation using binary-valued *** main idea is derived from the empirical measure approach for quantized identification,which has been shown to be convergent and asymptotically efficient when the unknown parametersare *** estimation under binary-valued observations must take into consideration oftime varying *** empirical measure based algorithms are modified with exponentialweighting and threshold adaptation to accommodate time-varying natures of the *** anyinformation on signal generators,the authors establish estimation algorithms,interaction between noisereduction by averaging and signal tracking,convergence rates,and asymptotic efficiency.A thresholdadaptation algorithm is *** convergence and convergence rates are analyzed by using theODE method for stochastic approximation problems.

关键词： Identification signal estimation.

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Multi-wavelength nanowire micro-LEDs for future high speed optical communication

引用

Opto-Electronic Advances 2024年第3期7卷 1-3页

作者： Ayush Pandey Zetian mi department of electrical engineering and computer Science University of MichiganAnn ArborMI 48109USA

The future of optoelectronics is directed towards small-area light sources,foremost being ***,their use has been inhibited so far primarily due to fabrication and integration challenges,which impair efficiency and ***,bottom-up nanostructures grown using selective area epitaxy have garnered attention as a solution to the aforementioned *** Fu *** used this technique to demonstrate uniform p-i-n core-shell InGaAs/InP nanowire array light emitting *** devices are capable of voltage and geometry-controlled multi-wavelength and high-speed *** publication accentuates the wide capabilities of bottom-up nanostructures to resolve the difficulties of nanoscale optoelectronics.

关键词： communication high operations

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Asynchronous cooperative communication systems:A survey on signal designs

引用

Science China(Information Sciences) 2011年第8期54卷 1547-1561页

作者： WANG Huiming 1,2 & XIA XiangGen 3 1 School of Electronic and Information engineering, Xi’an Jiaotong university, Xi’an 710049,China 2 state Key Laboratory of Integrated Services Networks, Xidian university,Xi’an 710049, China 3 department of electrical and computer engineering,university of Delaware,Newark,DE 19716,usa 1. School of Electronic and Information engineering Xi’an Jiaotong University Xi’an 710049 China2. State Key Laboratory of Integrated Services Networks Xidian University Xi’an 710049 China3. Department of Electrical and Computer Engineering University of Delaware Newark DE 19716 USA

Cooperative communications is a promising technique for future high speed wireless *** systems may be formulated as virtual multi-input multi-output (miMO) systems where spatial/cooperetive diversity is a key advantage. However,different from miMO systems,one of the major chal- lenges for cooperative communications systems is that the cooperative transmissions in cooperative systems may be neither time nor frequency synchronized,since the transmissions are from multiple cooperative nodes at different *** existing signal designs for co-located miMO systems may not be able to collect the cooperative diversity in cooperative communications *** paper gives an overview of recent research efforts on combating the time and frequency asynchronism of the cooperative communication *** focus on the signal designs (or space-time codings/modulations) to achieve full cooperative diversity,and summarize some of the resent distributed space-timing coding and space-frequency coding techniques to combat timing errors and frequency offsets,and in the meantime to achieve full cooperative diversity,in both one-way and two-way cooperative networks.

关键词： cooperative communications time and frequency offsets space-time coding space-frequency codes full cooperative diversity linear receiver

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Topological Dirac-vortex microcavity laser for robust on-chip optoelectronics

引用

Light(Science & Applications) 2024年第4期13卷 591-592页

作者： Yuanpeng Wu Zetian mi department of electrical engineering and computer Science University of Michigan1301 Beal AvenueAnn ArborMI 48109USA

Dirac-vortex microcavity laser based on InAs/InGaAs quantum dots have been experimentally realized on silicon *** topological laser features a large spectral range and high robustness against variations such as cavity... 详细信息

关键词： laser optoelectronics cavity

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Gene association study with SVM,MLP and cross-validation for the diagnosis of diseases

引用

Progress in Natural Science:Materials International 2008年第6期18卷 741-750页

作者： Junying Zhanga,*,Shenling Liu a,Yue Wang b aSchool of computer Science and engineering,Xidian university,161 Postbox,Xi’an 710071,China bdepartment of electrical and computer engineering,Virginia Polytechnic Institute and state university,Alexandria,VA 22314,usa School of computer Science and engineering Xidian University 161 Postbox Xi’an 710071 China department of electrical and computer engineering Virginia Polytechnic Institute and State University Alexandria VA 22314 USA

Gene association study is one of the major challenges of biochip technology both for gene diagnosis where only a gene subset is responsible for some diseases,and for the treatment of the curse of dimensionality which occurs especially in DNA microarray datasets where there are more than thousands of genes and only a few number of experiments(samples).This paper presents a gene selection method by training linear support vector machine(SVM)/nonlinear MLP(multilayer perceptron)classifiers and testing them with cross-validation for finding a gene subset which is optimal/suboptimal for the diagnosis of binary/multiple disease *** are selected with linear SVM classifier for the diagnosis of each binary disease types pair and tested by leave-one-out cross-validation;then,genes in the gene subset initialized by the union of them are deleted one by one by removing the gene which brings the greatest decrease of the generalization power,for samples,on the gene subset after removal,where generalization is measured by training MLPs with leave-one-out and leave-four-out *** proposed method was tested with experiments on real DNA microarray miT data and NCI *** result shows that it outperforms conventional SNR method in the separability of the data with expression levels on selected *** real DNA microarray miT/NCI data,which is composed of 7129/2308 eective genes with only 72/64 labeled sam-ples belonging to 2/4 disease classes,only 11/6 genes are selected to be diagnostic *** selected genes are tested by the classification of samples on these genes with SVM/MLP with leave-one-out/both leave-one-out and leave-four-out *** result of no misclassification indicates that the selected genes can be really considered as diagnostic genes for the diagnosis of the corresponding diseases.

关键词： DNA microarray data Curse of dimensionality Gene selection Diagnostic genes SVM MLP Cross-validation

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Information and Complexity in Control Systems

Information and Complexity in Control Systems

引用

第十九届中国控制会议

作者： Le Yi Wang department of electrical and computer engineering, wayne state university, detroit, michigan 48202, U.S.A.

1 Introduction Physical systems differ greatly in their sizes, structures, compositions and operations. Consequently, quantification and comparison of system complexities at physical levels are far beyond the domain o...

关键词：

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：