A formal framework for service mashups with dynamic service selection

The service mashup programming paradigm is a blooming faction of service oriented Architecture for developing web applications. A mashup application constructs its functionality by combining data, presentation and functionalities obtained from online services published by service providers such as Google and Amazon. This paradigm significantly facilitates the implementation of application and reduces the workload. But it also makes the application rely on the availability and qualities of the online services which beyond its control in which case the robustness of the system requires more concern. This paper proposes a formal model to specify and analyze the behavior and robustness of service mashups under a certain environment where some services may become unavailable. The specification contains both system specification and environment situation. Refinement theory are employed to specify the correctness of dynamic service selection. The framework realizes the service selection by allowing virtual service requests to be handled by any online service having consistent interface and refined functionality. The framework provides a clear definition of the robustness of mashup systems and proposes several rules as well as approaches to preserve the robustness during the development and maintenance of the system.     

Improving collaborative optimization for MDO problems with multi-objective subsystems

Structural and Multidisciplinary Optimization - This paper investigates collaborative optimization (CO) for multidisciplinary design optimization problems with multi-objective subsystems. A...     

Multidisciplinary design modeling and optimizationfor satellite with maneuver capability

According to the mission of a satellite with maneuver capability, the collaborative optimization (CO) method was introduced for the satellite system design, and the related multidisciplinary design optimization (MDO) model was established. The possessing and needed velocity increments Δv and Δv _{n e e d} were taken as the measurement of maneuvering capability of the studied satellite, which were then combined with total mass of the satellite to form the optimization objective in the systematic level of the MDO problem. The design variables and constraints of the MDO problem dealt with disciplines or subsystems as guidance, navigation and control (GNC), power, and structure, and corresponding engineering analysis models were also built. A program system to solve the MDO problem wasdeveloped by integrating a non-nested CO method, the commercial and user-supplied codes on framework software iSIGHT. The result showed that the satellite performance could be obviously improved, which also indicates MDO technique is feasible and effective for the spacecraft design problem. The modeling and optimization procedure of the work can be referred for further research and engineering design.     

Structural optimization of the cross-beam of a gantry machine tool based on grey relational analysis

Crossbeam structural design of gantry machine tool is a multi-level, multi-index and multi-scheme decision-making problem. In order to solve the above problem, the optimum seeking model of crossbeam structure was built through using the grey relational analysis and Analytic Hierarchy Process. The finite element analysis of the static and dynamic performance parameters for four kinds of crossbeam structural schemes designed had been done, and the optimal design scheme was selected by using the optimum seeking model. After conducting sensitivity analysis for the optimal crossbeam selected, the reasonable design variables were obtained, and the dynamic optimization design model of crossbeam was established. Six groups of non-inferior solutions were obtained after solving the optimization design model. The optimal solution was selected from the non-inferior solution set through using the crossbeam structural optimization method based on grey relational analysis again, which makes the crossbeam’s dynamic performance improving greatly. The dynamic experiments on the crossbeams before and after optimization design were conducted, then the experimental results show that the first four order natural frequencies of the crossbeam increase 17.56 %, 19.36 %, 17.04 % and 19.58 % respectively, which proves that the structural optimization design method based on grey relational analysis proposed in this paper is reasonable and practicable.     

A reanalysis method for local modification and the application in large-scale problems

A novel reanalysis method, named independent coefficients (IC) method is suggested in this study. This method is proposed to reanalyze structures with local modification which leads to a low-rank change in the stiffness matrix. IC method requires only initial solution as input, and can determine the independent coefficients for each degree of freedoms (DOFs) influenced by structural modifications. Since any extra operations such as decomposition of the initial stiffness matrix is not involved in computation procedure, the IC is a “cheap” algorithm and can be an alternative choice for reanalysis. In order to verify the performance of IC method, several large scale numerical examples are tested. The results demonstrate that the IC method has high accuracy as well as efficiency when the modification is local. The cases involving beyond 1,500,000 DOFs and 3,000,000 DOFs show that IC method has low demands on computer storage, and large scale problems can be easily reanalyzed by this method.     

Robust optimization of foam-filled thin-walled structure based on sequential Kriging metamodel

Deterministic optimization has been successfully applied to a range of design problems involving foam-filled thin-walled structures, and to some extent gained significant confidence for the applications of such structures in automotive, aerospace, transportation and defense industries. However, the conventional deterministic design could become less meaningful or even unacceptable when considering the perturbations of design variables and noises of system parameters. To overcome this drawback, a robust design methodology is presented in this paper to address the effects of parametric uncertainties of foam-filled thin-walled structure on design optimization, in which different sigma criteria are adopted to measure the variations. The Kriging modeling technique is used to construct the corresponding surrogate models of mean and standard deviation for different crashworthiness criteria. A sequential sampling approach is introduced to improve the fitness accuracy of these surrogate models. Finally, a gradient-based sequential quadratic program (SQP) method is employed from 20 different initial points to obtain a quasi-global robust optimum solution. The optimal solutions were verified by using the Monte Carlo simulation. The results show that the presented robust optimization method is fairly effective and efficient, the crashworthiness and robustness of the foam-filled thin-walled structure can be improved significantly.     

移动环境下一种缓存管理策略

移动计算环境中带宽具有非对称性,并且移动设备资源有限,传统的缓存管理策略需要占用大量的设备计算资源和网络带宽,有效的缓存管理技术能够极大提高移动计算的性能。对此提出一系列的针对移动计算的缓存管理策略。首先根据用户访问频率建立对应的具有生命周期的数据项缓存,然后使用自适应一致性维护策略维护缓存的一致性。通过实验分析,提出的管理策略能够很好地降低带宽占用,并且有效地减少对移动客户端的资源需求。     

扎赉诺尔褐煤制取高炉喷吹料和中热值煤气研究 (Ⅰ)煤气、焦油产率及性质

本文是在10kg／h固体热载体干馏实验装置上用扎赉诺尔褐煤制取高炉喷吹料和中热值煤气的研究结果。在干馏温度450℃～650℃范围制得煤气110Nm3/t～400Nm3/t，煤气热值为14．7MJ／Nm3～17．5MJ／Nm3，属中热值煤气。可供民用，也可用于补充钢铁企业燃气不足，平衡能源。得低温焦油2％～9％，可加工成化工产品和燃料油。半焦可用于高炉喷吹。     

Supported Vanadia Catalysts for Dehydrogenation of Ethylbenzene with CO2

Alumina supported vanadia catalysts (V/Al) for selective oxidehydrogenation of ethylbenzene with CO₂ were prepared by impregnation method. During preparation the effect of promoters and calcined temperature was investigated, it was found these two items had a strong influence on the activity of V/Al catalysts. Dehydrogenation reaction with CO₂ was happened in the fixed-bed reactor at 450 °C. Results showed that 15.2% ethylbenzene conversion and 99.2% styrene selectivity were acquired when V₂K/Al catalyst was used.     

文本分类中训练集相关数量指标的影响研究

针对训练集对分类性能的影响,从训练集的文本数、类别数以及特征项数这三项数量指标出发进行研究。使用多因素方差分析方法及多种语料库定量探讨该三项数量指标对分类性能的影响规律。结果发现特征项数对分类性能的影响在不同的文本数和类别数时是不同的,分类性能受训练集的这三项指标的交互影响,通过对训练集的这三项指标进行优化,提出了从分类算法、特征项选择法以外提高分类性能的途径。在真实数据上的实验结果表明,该方法可有效提高分类性能。