Hierarchical multi-reservoir optimization modeling for real-world complexity with application to the Three Gorges system

High dimensionality in real-world multi-reservoir systems greatly hinders the application and popularity of evolutionary algorithms, especially for systems with heterogeneous units. An efficient hierarchical optimization framework is presented for search space reduction, determining the best water distributions, not only between cascade reservoirs, but also among different types of hydropower units. The framework is applied to the Three Gorges Project (TGP) system and the results demonstrate that the difficulties of multi-reservoir optimization caused by high dimensionality can be effectively solved by the proposed hierarchical method. For the day studied, power output could be increased by 6.79 GWh using an optimal decision with the same amount of water actually used; while the same amount of power could be generated with 2.59 × 10⁷ m³ less water compared to the historical policy. The methodology proposed is general in that it can be used for other reservoir systems and other types of heterogeneous unit generators.     

Effects of SO2 on selective catalytic reduction of NO with NH3 over a TiO2 photocatalyst

The effect of SO₂ gas was investigated on the activity of the photo-assisted selective catalytic reduction of nitrogen monoxide (NO) with ammonia (NH₃) over a TiO₂ photocatalyst in the presence of excess oxygen (photo-SCR). The introduction of SO₂ (300 ppm) greatly decreased the activity of the photo-SCR at 373 K. The increment of the reaction temperature enhanced the resistance to SO₂ gas, and at 553 K the conversion of NO was stable for at least 300 min of the reaction. X-ray diffraction, FTIR spectroscopy, thermogravimetry and differential thermal analysis, x-ray photoelectron spectroscopy (XPS), elemental analysis and N₂ adsorption measurement revealed that the ammonium sulfate species were generated after the reaction. There was a strong negative correlation between the deposition amount of the ammonium sulfate species and the specific surface area. Based on the above relationship, we concluded that the deposition of the ammonium sulfate species decreased the specific surface area by plugging the pore structure of the catalyst, and the decrease of the specific surface area resulted in the deactivation of the catalyst.     

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.     

The Interplay of Modulus,Strength, and Ductility in Adhesive Design Using Biomimetic Polymer Chemistry

High‐performance adhesives require mechanical properties tuned to demands of the surroundings. A mismatch in stiffness between substrate and adhesive leads to stress concentrations and fracture when the bonding is subjected to mechanical load. Balancing material strength versus ductility, as well as considering the relationship between adhesive modulus and substrate modulus, creates stronger joints. However, a detailed understanding of how these properties interplay is lacking. Here, a biomimetic terpolymer is altered systematically to identify regions of optimal bonding. Mechanical properties of these terpolymers are tailored by controlling the amount of a methyl methacrylate stiff monomer versus a similar monomer containing flexible poly(ethylene glycol) chains. Dopamine methacrylamide, the cross‐linking monomer, is a catechol moiety analogous to 3,4‐dihydroxyphenylalanine, a key component in the adhesive proteins of marine mussels. Bulk adhesion of this family of terpolymers is tested on metal and plastic substrates. Incorporating higher amounts of poly(ethylene glycol) into the terpolymer introduces flexibility and ductility. By taking a systematic approach to polymer design, the region in which material strength and ductility are balanced in relation to the substrate modulus is found, thereby yielding the most robust joints.     

The control of sea lice in Atlantic salmon by selective breeding

Sea lice threaten the welfare of farmed Atlantic salmon and the sustainability of fish farming across the world. Chemical treatments are the major method of control but drug resistance means that alternatives are urgently needed. Selective breeding can be a cheap and effective alternative. Here, we combine experimental trials and diagnostics to provide a practical protocol for quantifying resistance to sea lice. We then combined quantitative genetics with epidemiological modelling to make the first prediction of the response to selection, quantified in terms of reduced need for chemical treatments. We infected over 1400 young fish with Lepeophtheirus salmonis, the most important species in the Northern Hemisphere. Mechanisms of resistance were expressed early in infection. Consequently, the number of lice per fish and the ranking of families were very similar at 7 and 17 days post infection, providing a stable window for assessing susceptibility to infection. The heritability of lice numbers within this time window was moderately high at 0.3, confirming that selective breeding is viable. We combined an epidemiological model of sea lice infection and control on a salmon farm with genetic variation in susceptibility among individuals. We simulated 10 generations of selective breeding and examined the frequency of treatments needed to control infection. Our model predicted that substantially fewer chemical treatments are needed to control lice outbreaks in selected populations and chemical treatment could be unnecessary after 10 generations of selection. Selective breeding for sea lice resistance should reduce the impact of sea lice on fish health and thus substantially improve the sustainability of Atlantic salmon production.     

Alloying behavior and novel properties of CoCrFeNiMn high-entropy alloy fabricated by mechanical alloying and spark plasma sintering

An equiatomic CoCrFeNiMn high-entropy alloy was synthesized by mechanical alloying (MA) and spark plasma sintering (SPS). During MA, a solid solution with refined microstructure of 10 nm which consists of a FCC phase and a BCC phase was formed. After SPS consolidation, only one FCC phase can be detected in the HEA bulks. The as-sintered bulks exhibit high compressive strength of 1987 MPa. An interesting magnetic transition associated with the structure coarsening and phase transformation was observed during SPS process.     

Structure and phase-composition of Ti-doped gas atomized Raney-type Ni catalyst precursor alloys

Raney-type Ni precursor alloys containing 75 at.% Al and doped with 0, 0.75, 1.5 and 3.0 at.% Ti have been produced by a gas atomization process. The resulting powders have been classified by size fraction with subsequent investigation by powder XRD, SEM and EDX analysis. The undoped powders contain, as expected, the phases Ni₂Al₃, NiAl₃ and an Al-eutectic. The Ti-doped powders contain an additional phase with the TiAl₃ DO₂₂ crystal structure. However, quantitative analysis of the XRD results indicate a far greater fraction of the TiAl₃ phase is present than could be accounted for by a simple mass balance on Ti. This appears to be a (Ti_xNi_1−x)Al₃ phase in which higher cooling rates favour small x (low Ti-site occupancy by Ti atoms). SEM and EDX analysis reveal that virtually all the available Ti is contained within the TiAl₃ phase, with negligible Ti dissolved in either the Ni₂Al₃ or NiAl₃ phases.