Experimental study on the heat transfer and flow characteristics of nanorefrigerants inside a corrugated tube

The heat transfer and flow characteristics of MWCNT-R141b nanorefrigerant with different mass fractions have been studied through experiments. Experimental results were compared with existing correlations. A two-step method was used to prepare the nanorefrigerants. Span-80 was used as surfactant with an average particle diameter of 20 nm. Transmittance method was used to evaluate the stability of nanorefrigerants. Results showed that the stability of MWCNT-R141b nanorefrigerant, which is the added dispersant, was good during the experiments. The 0.3 wt% MWCNT-R141b nanorefrigerants had optimal heat transfer enhancement effects compared with pure refrigerants. The maximum Nusselt number increased by 40%. The specific pressure drop of nanorefrigerant increased as the Reynolds number (Re) increased, and the specific pressure drop of the pure refrigerant was minimum, which is similar to R141b.     

水泥窑余热发电系统用耐磨材料的研制与应用

本研究针对水泥窑余热发电系统的工作条件,根据耐磨材料的损毁机理,采用高铝矾土、煅烧氧化铝粉、黏土、硅微粉等为原料,以磷酸二氢铝为结合剂,以铝酸钙水泥为促硬剂,通过添加掩蔽剂和优化配料工艺,制备了水泥窑余热发电系统用耐磨材料,并对不同处理温度对耐磨材料的性能影响进行了分析。结果表明增强骨料与基质的结合能力有利于耐磨性的提高,磷酸及磷酸盐与氧化铝之间会随着温度的升高生成不同的磷酸铝相,都能够起到结合作用,比采用水泥结合更有利于提高材料在不同温度下的强度和耐磨性。使用结果表明,制备的耐磨材料施工性能优良,凝结硬化时间适当,强度高,抗冲刷性能好,在水泥窑余热发电系统中取得了良好的使用效果。     

An industrial case study on variability handling in large enterprise software systems

ContextEnterprise software systems (e.g., enterprise resource planning software) are often deployed in different contexts (e.g., different organizations or different business units or branches of one organization). However, even though organizations, business units or branches have the same or similar business goals, they may differ in how they achieve these goals. Thus, many enterprise software systems are subject to variability and adapted depending on the context in which they are used.ObjectiveOur goal is to provide a snapshot of variability in large scale enterprise software systems. We aim at understanding the types of variability that occur in large industrial enterprise software systems. Furthermore, we aim at identifying how variability is handled in such systems.MethodWe performed an exploratory case study in two large software organizations, involving two large enterprise software systems. Data were collected through interviews and document analysis. Data were analyzed following a grounded theory approach.ResultsWe identified seven types of variability (e.g., functionality, infrastructure) and eight mechanisms to handle variability (e.g., add-ons, code switches).ConclusionsWe provide generic types for classifying variability in enterprise software systems, and reusable mechanisms for handling such variability. Some variability types and handling mechanisms for enterprise software systems found in the real world extend existing concepts and theories. Others confirm findings from previous research literature on variability in software in general and are therefore not specific to enterprise software systems. Our findings also offer a theoretical foundation for describing variability handling in practice. Future work needs to provide more evaluations of the theoretical foundations, and refine variability handling mechanisms into more detailed practices.     

Cheese fortification using saturated monoglyceride self‐assembly structures as carrier of omega‐3 fatty acids

The purpose of this research was to study the capacity of emulsions containing saturated monoglyceride self‐assembly structures to deliver omega‐3 fatty acids in fresh soft cheese. To this aim, fortified emulsions containing different ratios of milk, saturated monoglycerides (MGs) and cod liver oil were added to milk before cheese‐making. These emulsions were characterised by distinct microstructural features observed by polarised light microscopy and apparent viscosity values. The omega‐3 delivery performance of MG emulsions highlighted that this strategy allowed a good retention of the omega‐3‐rich oil in the curd (up to 75%). The fortified cheeses showed yield value and fat content higher than those of control samples. The enriched cheese showed hardness and cohesiveness obtained by texture profile analysis similar to those of the unfortified product. Only a slight decrease in gumminess was detected in fortified cheese.     

Sinusoidal disturbance rejection in chaotic planar oscillators

The main goal of this paper is to design a compensator able to restore the nominal behavior of a planar system, which is rendered chaotic by an unmeasurable sinusoidal disturbance input. To reach such a goal, some instruments, taken from algebraic geometry, are used to estimate the unmeasurable disturbance from the time derivatives of the output of the system and of the control input. Copyright © 2015 John Wiley & Sons, Ltd.     

Leader-following consensus of fractional-order multi-agent systems via adaptive control

This article focuses on the consensus problem of leader-following fractional-order multi-agent systems (MASs) with general linear and Lipschitz nonlinear dynamics. First, the distributed adaptive protocols for linear and nonlinear fractional-order MASs are constructed, respectively. We allow the control coupling gains to be time varying for each agent. Moreover, the adaptive modification schemes for the control gain are designed, which renders smaller control gains and thus requires smaller amplitude on the control input without sacrificing consensus convergence. Second, based on fractional-order Lyapunov stability theorem and Barbalat's lemma, two novel sufficient conditions in terms of linear matrix inequalities are provided to ensure that the leader-following consensus can be obtained in the case for any undirected connected communication graph. Furthermore, we show that the proposed algorithm also works for consensus of agents with intrinsic Lipschitz nonlinear dynamics. As a result, the proposed framework requires no global information and thus can be implemented in a fully distributed manner. Finally, the numerical simulations are given to demonstrate the effectiveness of obtained the theoretical results.     

Costs Impact of a Transition to Hydrogen-fueled Vehicles on the Spanish Power Sector

It is expected that demand response might provide soon ancillary services to the power system. This could be done, for example, by managing the use of Electric Vehicles (EV) batteries, or the production of flexible energy commodities such as hydrogen (H₂), that can be used for fuel cell vehicles (H2EV) or in industrial processes. This paper analyses the impact of a transition to H2EV as an alternative to EV for passengers’ cars on a Spanish-like power sector. A simple H₂ demand estimation is developed and provided to CEVESA, an operation and expansion model for the Iberian Power System Electricity Market (MIBEL). For this study, CEVESA was extended to include the investments and operation decisions of H₂ production. Simulations were performed to determine the optimal evolution of the H₂ production capacity and of the electricity generation mix, considering scenarios with different shares of EV and H2EV. The impact of H2EV vs EV mobility is assessed based on the recent Spanish National Plan for Energy and Climate (NECP) as the base case scenario. Results show that, even if H2EV mobility alternative is still more costly than EV, H₂ production could provide a significant flexibility to the system that should also be appraised. Indeed, H2EV mobility could become a feasible and complementary alternative to decarbonize mobility by powering H₂ production with the renewable generation surplus. This, together with the on-going learning process of this technology that will decrease its production costs and increase its efficiency in the coming years, could boost, even more, the development of the H₂ economy.     

Model checking temporal knowledge and commitments in multi-agent systems using reduction

Though modeling and verifying Multi-Agent Systems (MASs) have long been under study, there are still challenges when many different aspects need to be considered simultaneously. In fact, various frameworks have been carried out for modeling and verifying MASs with respect to knowledge and social commitments independently. However, considering them under the same framework still needs further investigation, particularly from the verification perspective. In this article, we present a new technique for model checking the logic of knowledge and commitments (CTLKC⁺). The proposed technique is fully-automatic and reduction-based in which we transform the problem of model checking CTLKC⁺ into the problem of model checking an existing logic of action called ARCTL. Concretely, we construct a set of transformation rules to formally reduce the CTLKC⁺ model into an ARCTL model and CTLKC⁺ formulae into ARCTL formulae to get benefit from the extended version of NuSMV symbolic model checker of ARCTL. Compared to a recent approach that reduces the problem of model checking CTLKC⁺ to another logic of action called GCTL¹, our technique has better scalability and efficiency. We also analyze the complexity of the proposed model checking technique. The results of this analysis reveal that the complexity of our reduction-based procedure is PSPACE-complete for local concurrent programs with respect to the size of these programs and the length of the formula being checked. From the time perspective, we prove that the complexity of the proposed approach is P-complete with regard to the size of the model and length of the formula, which makes it efficient. Finally, we implement our model checking approach on top of extended NuSMV and report verification results for the verification of the NetBill protocol, taken from business domain, against some desirable properties. The obtained results show the effectiveness of our model checking approach when the system scales up.     

Adaptive actuator failure compensation design for unknown chaotic multi‐input systems

In this paper, an adaptive control approach is designed for compensating the faults in the actuators of chaotic systems and maintaining the acceptable system stability. We propose a state‐feedback model reference adaptive control scheme for unknown chaotic multi‐input systems. Only the dimensions of the chaotic systems are required to be known. Based on Lyapunov stability theory, new adaptive control laws are synthesized to accommodate actuator failures and system nonlinearities. An illustrative example is studied. The simulation results show the effectiveness of the design method. Copyright © 2014 John Wiley & Sons, Ltd.     

Elitist clonal selection algorithm for optimal choice of free knots in B-spline data fitting

Data fitting with B-splines is a challenging problem in reverse engineering for CAD/CAM, virtual reality, data visualization, and many other fields. It is well-known that the fitting improves greatly if knots are considered as free variables. This leads, however, to a very difficult multimodal and multivariate continuous nonlinear optimization problem, the so-called knot adjustment problem. In this context, the present paper introduces an adapted elitist clonal selection algorithm for automatic knot adjustment of B-spline curves. Given a set of noisy data points, our method determines the number and location of knots automatically in order to obtain an extremely accurate fitting of data. In addition, our method minimizes the number of parameters required for this task. Our approach performs very well and in a fully automatic way even for the cases of underlying functions requiring identical multiple knots, such as functions with discontinuities and cusps. To evaluate its performance, it has been applied to three challenging test functions, and results have been compared with those from other alternative methods based on AIS and genetic algorithms. Our experimental results show that our proposal outperforms previous approaches in terms of accuracy and flexibility. Some other issues such as the parameter tuning, the complexity of the algorithm, and the CPU runtime are also discussed.