CloudRank-D: benchmarking and ranking cloud computing systems for data processing applications

With the explosive growth of information, more and more organizations are deploying private cloud systems or renting public cloud systems to process big data. However, there is no existing benchmark suite for evaluating cloud performance on the whole system level. To the best of our knowledge, this paper proposes the first benchmark suite CloudRank-D to benchmark and rank cloud computing systems that are shared for running big data applications. We analyze the limitations of previous metrics, e.g., floating point operations, for evaluating a cloud computing system, and propose two simple metrics: data processed per second and data processed per Joule as two complementary metrics for evaluating cloud computing systems. We detail the design of CloudRank-D that considers representative applications, diversity of data characteristics, and dynamic behaviors of both applications and system software platforms. Through experiments, we demonstrate the advantages of our proposed metrics. In several case studies, we evaluate two small-scale deployments of cloud computing systems using CloudRank-D.     

形式化方法在电信服务系统中的应用与研究

为提高电信服务系统的稳定性．把形式化方法引入到电信服务系统的研究中,并用典型的形式化规格语言Z开发电信系统中基本功能的形式化规格,该套形式化规格对拔打电话、建立连接、释放连接、修改密码等操作的进行详细、精确的描述。基于Z语言的形式化规格可以应用于电信服务系统开发过程的各个阶段．以期减少电信服务系统内部错误的产生、提高稳定性。     

水库周边违建问题清查整治中的依法行政与权利救济

针对临近水库的别墅等建筑物的清查整治,在实体层面,尤其对于五证齐全的建筑物,如何定性为违建需要慎重把握,对水库管理范围的界定是一个重点问题;在程序层面,应避免执法中因急于求成而催生的程序违法.强拆行为会产生重大损失,涉及多方主体和多重法律关系,应理清其中各方的法律责任,妥善解决纠纷.     

基于时序特征的黄河三角洲土地覆盖动态及驱动力分析

综合不同土地利用类型的Landsat影像时序特征和面向对象分割方法,分析1985-2018年现代黄河三角洲土地覆盖时空特征,探讨土地覆盖变化的驱动机制。结果表明:1985-2018年间研究区天然湿地面积大幅减少,共减少9.9847×104 hm²,其中沼泽和草甸湿地面积减少尤为明显,而人工湿地面积则逐年增加,年平均增加率达54.66%,主要是盐田养殖场和水稻种植面积的增大;社会经济因素对研究区土地覆盖的影响程度高于水文因素;输沙量是影响研究区土地覆盖变化的主要水文因素,实测径流量的减少进一步导致天然湿地向旱地类型转化;人口和GDP变化对人工湿地面积增加的正相关作用比较显著,而天然湿地面积的减少则与该两个指标的负相关关系比较明显。     

Unsupervised Scale-Consistent Depth Learning from Video

International Journal of Computer Vision - We propose a monocular depth estimation method SC-Depth, which requires only unlabelled videos for training and enables the scale-consistent...     

Identifying epidemic spreading dynamics of COVID-19 by pseudocoevolutionary simulated annealing optimizers

Neural Computing and Applications - At the end of 2019, a new coronavirus (COVID-19) epidemic has triggered global public health concern. Here, a model integrating the daily intercity migration...     

基于改进扩展关联模型的飞机组件测试性研究

多信号流图模型是一种简单而有效的系统建模方法,已广泛地应用于测试性分析和故障诊断领域;为了减少飞机维修过程中组件的不必要更换,提高维修效率,对多信号流图模型的建模方法进行研究,以飞机音频管理组件(AMU)为例,建立多信号流图模型,构建故障一测试关联矩阵和故障一故障关联矩阵;为与实际出现的组件故障信息相匹配,对故障一故障矩阵进行改进,构建了实际故障信息一故障关联矩阵,对组件模型进行测试性分析;由实际维修经验可知,该信号模型可快速地定位故障,给出相应的维修措施,减少通常维修中采取的不必要措施,降低了人为因素的影响,大大地缩短了维修时间.     

基于自由摆的平板精确控制与激光追踪系统

以TI公司的MSP430F5438单片机为控制核心,结合步进电机和精密电位器WDD35D-4,实现了基于自由摆的平板控制与激光追踪系统。当摆杆摆角为45°～60°时,平板可以承载8枚一元硬币,并在5个摆动周期内维持稳定;当摆杆摆角为30°～60°时,固定在摆杆平板上的激光笔可以在15s内找到并跟踪1.5m远处的靶心。     

Optimal tracking performance of MIMO discrete‐time systems with communication constraints

The optimal tracking problem for multiple‐input multiple‐output linear‐time‐invariant discrete‐time systems with communication constraints in the feedback path is studied in this paper. The tracking performance is measured by the energy of the error signal between the output of the plant and the reference signal. The objective is to obtain an optimal tracking performance, attainable by all possible stabilizing compensators. It is shown that the optimal tracking performance consists of two parts, one depends on the nonminimum phase zeros and zero direction of the given plant, as well as the reference input signal direction, and the other depends on the nonminimum phase zeros, unstable poles, and pole direction of the given plant, as well as the bandwidth and additive white Gaussian noise of the communication channel. It is also shown that, if the constraint of the communication channel does not exist, the optimal tracking performance reduces to the existing tracking performance of the control system without communication constraints. A typical example is given to illustrate the theoretical results. Copyright © 2011 John Wiley & Sons, Ltd.