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.     

Effect of strain rate on the dynamic compressive mechanical behaviors of rock material subjected to high temperatures

Strain rate is not only an important measure to characterize the deformation property, but also an important parameter to analyze the dynamic mechanical properties of rock materials. In this paper, by using the SHPB test system improved with high temperature device, the dynamic compressive tests of sandstone at seven temperatures in the range of room temperature to 1000 °C and five impact velocities in the range of 11.0–15.0 m/s were conducted. Investigations were carried out on the influences of strain rate on dynamic compressive mechanical behaviors of sandstone. The results of the study indicate that the enhancement effects of strain rates on dynamic compressive strength, peak strain, energy absorption ratio of sandstone under high temperatures still exist. However, the increase ratios of dynamic compressive strength, peak strain, and energy absorption ratio of rock under high temperature compared to room temperature have no obvious strain rate effects. The temperatures at which the strain rates affect dynamic compressive strength and peak strain most, are 800, and 1000 °C, respectively. The temperatures at which the strain rates affect dynamic compressive strength and peak strain weakest, are 1000 °C, and room temperature, respectively. At 200 and 800 °C, the strain rate effect on energy absorption ratio are most significant, while at 1000 °C, it is weakest. There are no obvious strain rate effects on elastic modulus and increase ratio of elastic modulus under high temperatures. According to test results, the relationship formula of strain rate with high temperature and impact load was derived by internalizing fitting parameters. Compared with the strain rate effect at room temperature condition, essential differences have occurred in the strain rate effect of rock material under the influence of high temperature.     

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.     

Systematic packaging design tools integrating functional and environmental consequences on product life cycle: Case studies on laundry detergent and milk

This study presents systematic packaging design tools integrating functional and environmental consequences on product life cycle. To design packaging for sustainability, the trade-offs between functional and environmental aspects of packaging throughout the product life cycle should be considered. However, it is difficult for packaging designers to understand the overall trade-offs because the extent of the design consequences on the entire life cycle of packaging and its contents is unclear. We developed two tools for packaging design: the Life Cycle Association Matrix (LCAM) and the Function Network Diagram (FND). The following three steps, based on literature reviews and interviews with industrial experts, were applied. Firstly, we listed the product functions and design variables related to the functions as the attributes allocated to the product life cycle. Secondly, the attributes were connected appropriately based on causal relationships. Lastly, we identified the factors to support decision making in the packaging design procedure. As a result, the LCAM depicts the design consequences on the life cycle, and the FND determines the stakeholders affected by the design consequences. Two case studies were demonstrated to analyze the trade-offs by using our tools. In the case studies, a liquid laundry detergent bottle and a milk carton were redesigned. The tools identified the design consequences and stakeholders affected by the redesign of the usability and protective function for the detergent and milk cases, respectively. The results showed the significance of understanding the design consequences on the product life cycle by integrating the functional and environmental aspects.     

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.     

Synergistic effect of co-alloying elements on site preferences and elastic properties of Ni3Al: A first-principles study

The site preferences of co-alloying elements (Mo–Ta, Mo–Re, Mo–Cr) in Ni₃Al are studied using first-principles calculations, and the effects of these alloying elements on the elastic properties of Ni₃Al are evaluated by elastic property calculations. The results show that the Mo–Ta, Mo–Re and Mo–Cr atom pairs all prefer Al–Al sites and the spatial neighbor relation of substitution sites almost has no influence on the site preference results. Furthermore, the Young's modulus of Ni₃Al increases much higher by substituting Al–Al sites with co-alloying atoms, among which Mo–Re has the best strengthening effect. The enhanced chemical bondings between alloying atoms and their neighbor host atoms are considered to be the main strengthening mechanism of the alloying elements in Ni₃Al.     

Electroactive polymers containing 3-arylcarbazolyl units as hole transporting materials for OLEDs

Monomers and their polymers containing 3-arylcarbazolyl electrophores have been synthesized by the multi-step synthetic route. The materials were characterized by thermo-gravimetric analysis, differential scanning calorimetry and electron photoemission technique. The polymers represent materials of high thermal stability having initial thermal degradation temperatures in the range of 331–411 °C. The glass transition temperatures of the amorphous polymeric materials were in the rage of 148–175 °C. The electron photoemission spectra of thin layers of monomers showed ionization potentials in the range of 5.6–5.65 eV. Hole-transporting properties of the polymers were tested in the structures of organic light emitting diodes with Alq₃ as the green emitter. The device containing hole-transporting layers of polyether with 3-naphthylcarbazolyl groups exhibited the best overall performance with a maximum current efficiency of 3.3 cd/A and maximum brightness of about 1000 cd/m².     

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.     

An optimization model for evaluating the economic impact of availability and maintenance notions during the synthesis and design of a power plant

In this paper, we introduce an optimization strategy in order to comprehensively quantify the impact of availability and maintenance notions during the early stages of synthesis and design of a new natural gas combined cycle power plant. A detailed state-space approach is thoroughly discussed, where influence of maintenance funds on each component's repair rate is directly assessed.In this context, analysis of the reliability characteristics of the system is centered at two designer-adopted parameters, which largely influence the obtained results: the number of components which may fail independently at the same time, and the number of simultaneous failure/repair events.Then, optimal solutions are evaluated as the availability-related parameters and the amount of resources assigned for maintenance actions are varied across a wide range of feasible values, which enable obtaining more accurate and detailed estimations of the expected economic performance for the project when compared with traditional economic evaluation approaches.     

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.