Formal Modeling of Self-Adaptive Resource Scheduling in Cloud

A self-adaptive resource provisioning on demand is a critical factor in cloud computing.The selection of accurate amount of resources at run time is not easy due to dynamic nature of requests.Therefore,a self-adaptive strategy of resources is required to deal with dynamic nature of requests based on run time change in workload.In this paper we proposed a Cloud-based Adaptive Resource Scheduling Strategy(CARSS)Framework that formally addresses these issues and is more expressive than traditional approaches.The decision making in CARSS is based on more than one factors.TheMAPE-K based framework determines the state of the resources based on their current utilization.Timed-Arc Petri Net(TAPN)is used to model system formally and behaviour is expressed in TCTL,while TAPAAL model checker verifies the underline properties of the system.

A method of reconstructing 3D model from 2D geological cross-section based on self-adaptive spatial sampling:A case study of Cretaceous McMurray reservoirs in a block of Canada

An orthogonal 2D training image is constructed from the geological analysis results of well logs and sedimentary facies;the 2 D probabilities in three directions are obtained through linear pooling method and then aggregated by the logarithmic linear pooling to determine the 3 D multi-point pattern probabilities at the unknown points,to realize the reconstruction of a 3 D model from 2D cross-section.To solve the problems of reducing pattern variability in the 2 D training image and increasing sampling uncertainty,an adaptive spatial sampling method is introduced,and an iterative simulation strategy is adopted,in which sample points from the region with higher reliability of the previous simulation results are extracted to be additional condition points in the following simulation to improve the pattern probability sampling stability.The comparison of lateral accretion layer conceptual models shows that the reconstructing algorithm using self-adaptive spatial sampling can improve the accuracy of pattern sampling and rationality of spatial structure characteristics,and accurately reflect the morphology and distribution pattern of the lateral accretion layer.Application of the method in reconstructing the meandering river reservoir of the Cretaceous McMurray Formation in Canada shows that the new method can accurately reproduce the shape,spatial distribution pattern and development features of complex lateral accretion layers in the meandering river reservoir under tide effect.The test by sparse wells shows that the simulation accuracy is above 85%,and the coincidence rate of interpretation and prediction results of newly drilled horizontal wells is up to 80%.

Feature Model Configuration Reuse Scheme for Self-Adaptive Systems

Most large-scale systems including self-adaptive systems utilize feature models(FMs)to represent their complex architectures and benefit from the reuse of commonalities and variability information.Self-adaptive systems(SASs)are capable of reconfiguring themselves during the run time to satisfy the scenarios of the requisite contexts.However,reconfiguration of SASs corresponding to each adaptation of the system requires significant computational time and resources.The process of configuration reuse can be a better alternative to some contexts to reduce computational time,effort and error-prone.Nevertheless,systems’complexity can be reduced while the development process of systems by reusing elements or components.FMs are considered one of the new ways of reuse process that are able to introduce new opportunities for the reuse process beyond the conventional system components.While current FM-based modelling techniques represent,manage,and reuse elementary features to model SASs concepts,modeling and reusing configurations have not yet been considered.In this context,this study presents an extension to FMs by introducing and managing configuration features and their reuse process.Evaluation results demonstrate that reusing configuration features reduces the effort and time required by a reconfiguration process during the run time to meet the required scenario according to the current context.

Optimal Insurance with Background Risk under the Ambiguity and Belief Heterogeneity Structure

In this paper, we discuss the optimal insurance in the presence of background risk while the insured is ambiguity averse and there exists belief heterogeneity between the insured and the insurer. We give the optimal insurance contract when maxing the insured’s expected utility of his/her remaining wealth under the smooth ambiguity model and the heterogeneous belief form satisfying the MHR condition. We calculate the insurance premium by using generalized Wang’s premium and also introduce a series of stochastic orders proposed by [1] to describe the relationships among the insurable risk, background risk and ambiguity parameter. We obtain the deductible insurance is the optimal insurance while they meet specific dependence structures.

BIO-INSPIRED SELF-ADAPTIVE MANUFACTURING SYSTEM CONTROL ARCHITECTURE

Future manufacturing systems need to cope with frequent changes and disturbances, therefore their control architectures require constant adaptability, agility, stability, self-organization, intelligence, and robustness. Bio-inspired manufacturing system can well satisfy these requirements. For this purpose, by referencing the biological organization structure and the mechanism, a bio-inspired manufacturing cell is presented from a novel view, and then a bio-inspired self-adaptive manufacturing model is established based on the ultra-short feedback mechanism of the neuro-endocrine system. A hio-inspired self-adaptive manufacturing system coordinated model is also established based on the neuro-endocrine-immunity system （NEIS）. Finally, an example based on pheromone communication mechanism indicates that the robustness of the whole manufacturing system is improved by bio-inspired technologies.

A numerical model study on multi-species harmful algal blooms coupled with background ecological fields

Based on systematized physical, chemical, and biological modules, a multi-species harmful algal bloom （HAB） model coupled with background ecological fields was established. This model schematically embod-ied that HAB causative algal species and the background ecological system, quantified as total biomass, were significantly different in terms of the chemical and biological processes during a HAB while the inter-action between the two was present. The model also included a competition and interaction mechanism between the HAB algal species or populations. The Droop equation was optimized by considering tempera-ture, salinity, and suspended material impact factors in the parameterization of algal growth rate with the nutrient threshold. Two HAB processes in the springs of 2004 and 2005 were simulated using this model. Both simulation results showed consistent trends with corresponding HAB processes observed in the East China Sea, which indicated the rationality of the model. This study made certain progress in modeling HABs, which has great application potential for HAB diagnosis, prediction, and prevention.

Bidirectional Background Modeling for Video Surveillance

Traditional background model methods often require complicated computations, and are sensitive to illumination and shadow. In this paper, we propose a block-based background modeling method, and use our proposed method to combine color and texture characteristics. Suppression and relaxation are the two key strategies to resist illumination changes and shadow disturbance. The proposed method is quite efficient and is capable of resisting illumination changes. Experimental results show that our method is suitable for real-word scenes and real-time applications.

Video Frame’s Background Modeling: Reviewing the Techniques

Background modeling is a technique for extracting moving objects in video frames. This technique can be used in ma-chine vision applications, such as video frame compression and monitoring. To model the background in video frames, initially, a model of scene background is constructed, then the current frame is subtracted from the background. Even-tually, the difference determines the moving objects. This paper evaluates a number of existing background modeling techniques in term of accuracy, speed and memory requirement.

Moving object detection method based on complementary multi resolution background models

A novel moving object detection method was proposed in order to adapt the difficulties caused by intermittent object motion,thermal and dynamic background sequences.Two groups of complementary Gaussian mixture models were used.The ghost and real static object could be classified by comparing the similarity of the edge images further.In each group,the multi resolution Gaussian mixture models were used and dual thresholds were applied in every resolution in order to get a complete object mask without much noise.The computational color model was also used to depress illustration variations and light shadows.The proposed method was verified by the public test sequences provided by the IEEE Change Detection Workshop and compared with three state-of-the-art methods.Experimental results demonstrate that the proposed method is better than others for all of the evaluation parameters in intermittent object motion sequences.Four and two in the seven evaluation parameters are better than the others in thermal and dynamic background sequences,respectively.The proposed method shows a relatively good performance,especially for the intermittent object motion sequences.

On Segmentation of Moving Objects by Integrating PCA Method with the Adaptive Background Model

Tracking and segmentation of moving objects are suffering from many problems including those caused by elimination changes, noise and shadows. A modified algorithm for the adaptive background model is proposed by linking Gaussian mixture model with the method of principal component analysis PCA. This approach utilizes the advantage of the PCA method in providing the projections that capture the most relevant pixels for segmentation within the background models. We report the update on both the parameters of the modified method and that of the Gaussian mixture model. The obtained results show the relatively outperform of the integrated method.

Modeling and Generating Realistic Background Traffic by Hybrid Approach

One of the key challenges in largescale network simulation is the huge computation demand in fine-grained traffic simulation.Apart from using high-performance computing facilities and parallelism techniques,an alternative is to replace the background traffic by simplified abstract models such as fluid flows.This paper suggests a hybrid modeling approach for background traffic,which combines ON/OFF model with TCP activities.The ON/OFF model is to characterize the application activities,and the ordinary differential equations(ODEs) based on fluid flows is to describe the TCP congestion avoidance functionality.The apparent merits of this approach are(1) to accurately capture the traffic self-similarity at source level,(2) properly reflect the network dynamics,and(3) efficiently decrease the computational complexity.The experimental results show that the approach perfectly makes a proper trade-off between accuracy and complexity in background traffic simulation.

Background modeling methods in video analysis： A review and comparative evaluation

Foreground detection methods can be applied to efficiently distinguish foreground objects including moving or static objects from back- ground which is very important in the application of video analysis, especially video surveillance. An excellent background model can obtain a good foreground detection results. A lot of background modeling methods had been proposed, but few comprehensive evaluations of them are available. These methods suffer from various challenges such as illumination changes and dynamic background. This paper first analyzed advantages and disadvantages of various background modeling methods in video analysis applications and then compared their performance in terms of quality and the computational cost. The Change detection.Net （CDnet2014） dataset and another video dataset with different envi- ronmental conditions （indoor, outdoor, snow） were used to test each method. The experimental results sufficiently demonstrated the strengths and drawbacks of traditional and recently proposed state-of-the-art background modeling methods. This work is helpful for both researchers and engineering practitioners. Codes of background modeling methods evaluated in this paper are available atwww.yongxu.org/lunwen.html.

Diversity Sampling Based Kernel Density Estimation for Background Modeling

A novel diversity-sampling based nonparametric multi-modal background model is proposed. Using the samples having more popular and various intensity values in the training sequence, a nonparametric model is built for background subtraction. According to the related intensifies, different weights are given to the distinct samples in kernel density estimation. This avoids repeated computation using all samples, and makes computation more efficient in the evaluation phase. Experimental results show the validity of the diversity- sampling scheme and robustness of the proposed model in moving objects segmentation. The proposed algorithm can be used in outdoor surveillance systems.

The Dynamic Location Model to Consider Background Traffic

This study concerns to the determination of location of freight distribution warehouses. It is part of a series of research projects on a distribution system we developed to deal with cases in a public service obligation state-owned company (PSO-SOC). This current research is characterized by the consideration of background traffic of the entire time period of planning rather than one certain time target on location model. It is aimed that the location decision to be more applicable and accommodative to the dynamic of the traffic condition. Once the decision is implemented, it will give the best outcome for the entire time period, not only for the initial time, end time or certain time of time period. A heuristic approach is proposed to simplify complexity of the model and network representation technique is applied to solve the model. A hyphotetical example is discussed to illustrate the mechanism of finding the optimal solution in term of both its objective function and applicability.

Research on Korf Ball Athletes Selecting Model under the Background of High Level Athletes Data Guidance

In this paper, we conduct research on the Korf ball athlete basic selecting model under the background of high level athlete data guidance. Athletes selecting closely related to the ultimate goal of training for many years. So, naturally, great athletes become references, the structure model of the excellent athlete competitive ability become athletes selecting targeting. Based on abundant literature, discusses the selection of the targeting of athletes, in an effort to at the same time, the rich athletes selecting theory provides a new perspective for the material practice. Our paper integrates the basic information of the high level athlete data to construct the novel paradigm for further promotion.

地形影响的水平相关模型在CMA-MESO中的应用

在背景误差水平相关模型中引入地形作用,研究复杂地形下近地面观测资料同化对分析和预报的影响。CMAMESO三维变分系统中背景误差水平相关关系采用高斯相关模型描述,观测信息在高度追随坐标的模式面上各向同性传播。然而在地形复杂的近地面层,观测信息传播受到山脉阻挡,因而其背景误差协方差非均匀且各向异性,观测信息传播应随地形高度变化。为此,采用美国国家气象中心NMC方法统计复杂地形下背景误差水平相关结构,构建包含地形高度和地形梯度影响的高斯相关模型,并将改进的水平相关模型应用于CMA-MESO三维变分分析。理想试验表明:考虑地形项的水平相关模型方案使观测信息以随地形高度变化的各向异性形式传播,越过大地形观测信息影响明显减弱,分析增量更加合理。我国北方一次强降水过程分析预报试验表明:随地形高度变化的水平相关模型方案使地面观测信息各向异性传播,削弱了大地形处近地面的分析增量,对降水预报略有正贡献。针对华东地区降水过程进行5 d逐小时快速更新分析预报循环试验结果表明,随地形变化的水平相关模型方案对10 m风场和24 h时效内降水预报有正贡献。

一种基于目标与背景特征分离模型的高光谱目标检测修正算法

高光谱图像立方体数据可以提供成像场景中地物在可见光和近红外波长范围内的空间信息和地物属性诊断的光谱特征信息,在目标检测与识别方面拥有得天独厚的天然优势。然而,基于高光谱图像数据的目标检测也存在一定缺陷,如经典的高光谱目标检测算法仅利用光谱维度信息检测目标,检测模型要么对背景高维特征矩阵构建的准确度不足,要么对背景先验光谱特征的完备性要求较高,导致算法对不同复杂度的检测场景适应性不强。因此,基于计算复杂度较低、参数需求量较少且检测性能较为优异的经典多目标检测算法—多目标约束能量最小化(MCEM),提出了一种基于目标与背景环境特征分离模型的高光谱目标检测修正算法(R-MCEM)。首先,设计了一个与目标形状、尺寸相近的逐像元移动运算窗口,依次计算窗口中的每个像元与窗口内其他像元的光谱距离之和D1,像元与各类目标的光谱距离之和D2。其次,采用获得D1/D2最小值的像元替换窗口内的所有像元值。然后,自左向右、自上而下逐像元移动窗口,重复窗口内每一个像元与目标、背景像元的光谱距离运算,并确定窗口内与背景相似度最高、与目标相似度最低的像元。直到移动运算窗口遍历整个高光谱图像,大幅提升了基于目标与背景环境特征分离的背景高维特征矩阵准确度。分别设计了基于实测高光谱图像数据和模拟图像数据的修正检测算法性能验证试验,并采用三维操作特征曲线(3D ROC)结合目标与背景分离度(SDBT)开展修正算法的检测精度评估。试验结果表明,提出的修正算法有效减少了虚警率,提高了检测精度。基于实测数据的检测精度、目标与背景分离度由MCEM算法的0.937 7、 0.57提升到R-MCEM的0.993 5、 0.67,基于模拟数据的亚像元检测能力由MCEM的20%丰度提升到R-MCEM的15%丰度。

新时代背景下地质学(基地班)人才培养新模式探索

地质学(基地班)作为地球科学领域的“王牌”专业,受到中国地质大学(北京)(以下简称“我校”)的高度重视,我校为地质学(基地班)配备了最雄厚的师资力量和最优越的学习条件。然而,随着时代的发展和社会的进步,传统的培养模式已经无法完全满足新时代的地质教育需求。虽然我校已经对地质学(基地班)的培养方案进行多次修订,但是,在现有培养方案的基础上,不断探索新的培养模式,对培养方案进一步优化和完善,势在必行。该文基于作者担任我校2020级地质学(基地班)班主任期间开展的一系列探索性培养工作,进行相关总结和讨论,以期为后续相关工作的开展提供新的思路。

磁场背景下具有手征化学势的PNJL模型下的手征相变

采用具有两个味道的PNJL模型研究了均匀磁场背景下的手征相变,特别是磁场对手征相变的临界手征化学势的影响.结果表明,磁场对手征对称性自发破缺具有催化作用,即临界手征化学势随着磁场增大而增大.夸克的组分质量随磁场增大,但它随手征化学势的变化不一定是单调的,在接近临界手征化学势时,夸克的组分质量会单调减小,直至发生手征相变.同时也讨论了体积对临界手征化学势的影响,发现在简化处理方式下,系统尺度的减小会导致临界手征化学势的明显增大.

基于灰色系统理论的我国卫生总费用之预测

利用我国2008—2020年卫生总费用及相关统计数据分别建立了GM(1,1)、FHGM(1,1)、DGM(1,1)和OFHGM(1,1)4种灰色预测模型。利用平均绝对百分比误差研究了这些模型的性能,结果表明:与GM(1,1)、FHGM(1,1)和DGM(1,1)模型相比,OFHGM(1,1)模型的预测精度最高。