Effect of different control strategies on rapid cold start-up of a 30-cell proton exchange membrane fuel cell stack

Many places experience extreme temperatures below −30 °C, which is a great challenge for the fuel cell vehicle (FCV). The aim of this study is to optimize the strategy to achieve rapid cold start-up of the 30-cell stack at different temperature conditions. The test shows that the stack rapidly starts within 30 s at an ambient temperature of −20 °C. Turning on the coolant at −25 °C show stability of the cell voltage at both ends due to the end-plate heating, however, voltage of intermediate cells fluctuates sharply, and successful start-up is completed after 60 s. The cold start strategy changes to load-voltage cooperative control mode when the ambient temperature reduced to −30 °C, the voltage of multiple cells in the middle of the stack fluctuate more drastic, and start-up takes 113 s. The performance and consistency of the stack did not decay after 20 cold start-up experiments, which indicates that our control strategies effectively avoided irreversible damage to the stack caused by freeze-thaw process.     

Flow conditioning system for tri-sonic high pressure aerothermal testing

Blowdown testing offers a cost-effective experimental tool to replicate the aerothermal conditions in numerous high speed systems. The wind tunnel must replicate the inlet operating conditions, while the spatial and time dependent inlet flow conditions should be assessed carefully. This paper provides a design methodology and rules that ensure adequate flow conditioning in high inlet pressure wind tunnels suitable for subsonic and supersonic operation with mass-flow limits ranging from 1 kg/s to 25 kg/s, Reynolds numbers from 10³ (1/m) to 4x10⁷ (1/m), and Mach numbers from 0.01 up to 6. The quality of the proposed flow conditioning system was evaluated using stereo PIV measurements combined with hotwire, Pitot probe, and total flow temperature traverses.     

Efficient model selection for real-time adaptive cold start strategy of a fuel cell system on vehicular applications

The PEMFC maximum power is greatly influenced by subfreezing temperature and degradation phenomena. Therefore, a dependable model is required to estimate the power with respect to the variation of the operating conditions and state of health. Semi-empirical models are potent tools in this regard. Nonetheless, there is not much information about their cold environment reliability. This paper comprehensively compares the performance of some models (already tested in normal ambient temperature) in subfreezing condition to introduce the most reliable one for PEMFC cold start-up application. Firstly, seven models are compared regarding voltage losses and precision. Subsequently, the three most dependable ones are selected and experimentally compared at sub-zero temperature in terms of polarization curve estimation for three PEMFCs with different degradation levels. The results of this study indicate that the model introduced by Amphlett et al. has a superior performance compared to other ones regarding the characteristic's estimation in below-zero temperature.     

Adaptive robust control of fully-constrained cable driven parallel robots

In this paper, adaptive robust control (ARC) of fully-constrained cable driven parallel robots is studied in detail. Since kinematic and dynamic models of the robot are partly structurally unknown in practice, in this paper an adaptive robust sliding mode controller is proposed based on the adaptation of the upper bound of the uncertainties. This approach does not require pre-knowledge of the uncertainties upper bounds and linear regression form of kinematic and dynamic models. Moreover, to ensure that all cables remain in tension, proposed control algorithm benefit the internal force concept in its structure. The proposed controller not only keeps all cables under tension for the whole workspace of the robot, it is chattering-free, computationally simple and it does not require measurement of the end-effector acceleration. The stability of the closed-loop system with proposed control algorithm is analyzed through Lyapunov second method and it is shown that the tracking error will remain uniformly ultimately bounded (UUB). Finally, the effectiveness of the proposed control algorithm is examined through some experiments on a planar cable driven parallel robot and it is shown that the proposed controller is able to provide suitable tracking performance in practice.     

The VALU3S ECSEL project: Verification and validation of automated systems safety and security

Manufacturers of automated systems and their components have been allocating an enormous amount of time and effort in R&D activities, which led to the availability of prototypes demonstrating new capabilities as well as the introduction of such systems to the market within different domains. Manufacturers need to make sure that the systems function in the intended way and according to specifications. This is not a trivial task as system complexity rises dramatically the more integrated and interconnected these systems become with the addition of automated functionality and features to them. This effort translates into an overhead on the V&V (verification and validation) process making it time-consuming and costly. In this paper, we present VALU3S, an ECSEL JU (joint undertaking) project that aims to evaluate the state-of-the-art V&V methods and tools, and design a multi-domain framework to create a clear structure around the components and elements needed to conduct the V&V process. The main expected benefit of the framework is to reduce time and cost needed to verify and validate automated systems with respect to safety, cyber-security, and privacy requirements. This is done through identification and classification of evaluation methods, tools, environments and concepts for V&V of automated systems with respect to the mentioned requirements. VALU3S will provide guidelines to the V&V community including engineers and researchers on how the V&V of automated systems could be improved considering the cost, time and effort of conducting V&V processes. To this end, VALU3S brings together a consortium with partners from 10 different countries, amounting to a mix of 25 industrial partners, 6 leading research institutes, and 10 universities to reach the project goal.     

Acceptance and willingness to pay for health-enhancing bakery products – Empirical evidence for young urban Russian consumers

Our study provides first empirical evidence on young Russian consumers’ attitudes towards novel functional bakery products. We employ two different bakery products, namely bread rolls and biscuits, in our experimental auctions. Both products are derived from purple wheat, an old wheat variety that is naturally rich in anthocyanins (ACNs). ACNs are assumed to possess anti-inflammatory, anti-cancer, anti-diabetic and ocular-health-enhancing properties. Participants are 207 students aged 18–30 years from Moscow and Irkutsk. Our results indicate a low level of knowledge about ACNs among participants. However, our results also show that in the presence of information about the health-enhancing characteristics most participants value these products over base products. Our findings also reinforce the idea that the base product matters. Purple wheat bread rolls were better accepted than purple wheat biscuits. Moreover, our results also highlight that the information strategy matters. Participants in our study exhibited a higher willingness to pay for purple wheat biscuits under an old variety information scenario in comparison to an anthocyanin information scenario. Moreover, while our results indicate no significant difference in the perception of the anthocyanin attribute between the two cities, the perception of old grain variety products was slightly different. The share of respondents considering old variety products as healthy was significantly higher in Irkutsk, whereas the share of respondents considering these products as exclusive was significantly higher in Moscow. Thus, while planning future marketing strategies such differences in underlying motives should be taken into account.     

Metacarpophalangeal joint patterns based personal identification system

This paper introduces a novel approach for identity authentication system based on metacarpophalangeal joint patterns (MJPs). A discriminative common vector (DCV) based method is utilized for feature selection. In the literature, there is no study using whole MJP for identity authentication, exceptionally a work (Ferrer et al., 2005) using the hand knuckle pattern which is some part of the MJP draws the attention as a similar study. The originality of this approach is that: whole MJP is firstly used as a biometric identifier and DCV method is firstly applied for extracting the feature set of MJP. The developed system performs some basic tasks like image acquisition, image pre-processing, feature extraction, matching, and performance evaluation. The feasibility and effectiveness of this approach is rigorously evaluated using the k-fold cross validation technique on two different databases: a publicly available database and a specially established database. The experimental results indicate that the MJPs are very distinctive biometric identifiers and can be securely used in biometric identification and verification systems, DCV method is successfully employed for obtaining the feature set of MJPs and proposed MJP based authentication approach is very successful according to state of the art techniques with a recognition rate of between 95.33% and 100.00%.     

The shear strength of nano-Ag sintered joints and the use of Ag interconnects in the design and manufacture of SiGe-based thermo-electric modules

Thermo-electric modules (TEMs) can be used to convert heat into electricity by utilizing the Seeback effect. It is now possible to buy BiTe thermo-electric modules that can operate up to temperatures of around 300 °C. However, many applications, such as the harvesting of excess gas turbine heat, may occur at higher temperatures. Therefore, new materials and manufacturing processes need to be developed to produce packaged TEMs that can operate at a maximum operating temperature of 650 °C. Two critical areas in the manufacture of a SiGe TEM are the choice and strength of materials used to both sintered joint the TE material to the rest of the module and the metal used for the interconnects. The interconnection material needs to be sufficiently strong to withstand large temperature fluctuations while maintaining a low contact resistance, as well as being compatible with the nano-Ag sintered joint. Shear force tests of the sintered thermo electrical leg material showed that the joints are brittle when sintered to W metallized AlN substrates are used and ductile fracture behavior when sintered to Cu metallized AlN substrates using the NanoTach K nano silver paste. Almost all of the joints were found to be brittle when using the NachTach X nano silver paste. Shear testing of the sintered joints showed that the X paste joints were variable in strength and stiffness, having a typical Young’s modulus between 10 and 100 MPa at room temperature. The K paste joints were stiffer, but had a similar strength as compared to the X paste joints.     

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.     

Experimental investigation and simulation analysis of the thermal performance of a balcony wall integrated solar water heating unit

A balcony wall type solar water heater system was designed and constructed in a high-rise building. The U-type evacuated glass tube solar collector is fixed vertically on the balcony wall. The water, heated in the solar collector, flows through the exchanger coil in the water tank and then flows back to the solar collector. With regard to the hot water supply system, the cold water, heated by the heat exchanger, is sent to the point of use. Considering storeys and water consumption pattern, four apartments are selected for testing. Meanwhile, the theoretical analysis with TRNSYS was presented. According to the experimental results, mean daily collector efficiency is about 40%. Solar fraction is high in summer and autumn for the relative high radiation and high ambient temperature. Under given conditions, the annual energy extracted from tank is 2805.3 MJ/m², and the annual solar fraction is 40.5%. When the tank volume-to-collector area ratio is decreased to 37.5 L/m², the solar fraction can be increased to 50%. The results show that the family to use water all day round gets higher solar fraction than the family using hot water mostly in the morning and night.