Influence of CO2 inleakage on the slight-alkalization of generator internal cooling water

The slight-alkalization of generator internal cooling water (GICW) is widely used to inhibit the corrosion of hollow copper conductor and thereby ensure the safe operation of the generator. CO₂ inleakage is increasingly identified as a potential security risk for GICW system. In this paper, the influence of CO₂ inleakage on the slight-alkalization of GICW was theoretically discussed. Based on the equilibriums of the CO₂-NaOH-H₂O system, CO₂ inleakage saturation was derived to quantify the amount of the dissolved CO₂ in GICW. This parameter can be directly calculated with the measured conductivity and the [Na⁺] of GICW. The influence of CO₂ inleakage on the slight-alkalization conditioning of GICW and the measurement of its water quality parameters were then analyzed. The more severe the inleakage, the narrower the water quality operation ranges of GICW, resulting in the more difficult the slight-alkalization conditioning of GICW. The temperature calibrations of the conductivity and the pH value of GICW show non-linear correlations with the amount of CO₂ inleakage and the NaOH dosage. This study provides insights into the influence of CO₂ inleakage on the slight-alkalization of GICW, which can serve as the theoretical basis for the actual slight-alkalization when CO₂ inleakage occurs.     

Sol–gel synthesis of Nd-doped BiFeO3 multiferroic and its characterization

Neodymium doped bismuth ferrite (BiFeO₃, BFO) nanoparticles were successfully synthesized by a facile sol–gel route. The influence of annealing temperature, time, Bi content and solvent on the crystal structure of BFO was studied. Results indicated that the optimum processing condition of BFO products was 550–600 °C/1.5 h with excess 3–6% Bi and ethylene glycol as solvent. On the other hand, Nd³⁺ ion was introduced into the BFO system and the effect of Nd³⁺ concentration on the structure, magnetic and dielectric properties of BFO were investigated. It was found that the magnetization of BFO was enhanced significantly with Nd³⁺ substitution, being attributed to the suppression of the spiral cycloidal magnetic structure led by the crystal structure transition. Furthermore, with increasing Nd³⁺ content, the dielectric constant was found to decrease while the dielectric loss was enhanced, which was mainly due to the hoping conduction mechanism with the reduction of oxygen vacancies.     

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.     

Dual Inhibition of Pyruvate Dehydrogenase Complex and Respiratory Chain Complex Induces Apoptosis by a Mitochondria-Targeted Fluorescent Organic Arsenical in vitro and in vivo

Based on the potential therapeutic value in targeting mitochondria and the fluorophore tracing ability, a fluorescent mitochondria-targeted organic arsenical PDT-PAO-F16 was fabricated, which not only visualized the cellular distribution, but also exerted anti-cancer activity in vitro and in vivo via targeting pyruvate dehydrogenase complex (PDHC) and respiratory chain complexes in mitochondria. In details, PDT-PAO-F16 mainly accumulated into mitochondria within hours and suppressed the activity of PDHC resulting in the inhibition of ATP synthesis and thermogenesis disorder. Moreover, the suppression of respiratory chain complex I and IV accelerated the mitochondrial dysfunction leading to caspase family-dependent apoptosis. In vivo, the acute promyelocytic leukemia was greatly alleviated in the PDT-PAO-F16 treated group in APL mice model. Our results demonstrated the organic arsenical precursor with fluorescence imaging and target-anticancer efficacy is a promising anticancer drug.     

An effectiveness analysis of altmetrics indices for different levels of artificial intelligence publications

Scientometrics - Altmetrics indices are increasingly applied to measure scholarly influence in recent years because they can reflect the influence of research outputs more timely comparing with...     

Improving the multi-objective evolutionary optimization algorithm for hydropower reservoir operations in the California Oroville–Thermalito complex

This study demonstrates the application of an improved Evolutionary optimization Algorithm (EA), titled Multi-Objective Complex Evolution Global Optimization Method with Principal Component Analysis and Crowding Distance Operator (MOSPD), for the hydropower reservoir operation of the Oroville–Thermalito Complex (OTC) – a crucial head-water resource for the California State Water Project (SWP). In the OTC's water-hydropower joint management study, the nonlinearity of hydropower generation and the reservoir's water elevation–storage relationship are explicitly formulated by polynomial function in order to closely match realistic situations and reduce linearization approximation errors. Comparison among different curve-fitting methods is conducted to understand the impact of the simplification of reservoir topography. In the optimization algorithm development, techniques of crowding distance and principal component analysis are implemented to improve the diversity and convergence of the optimal solutions towards and along the Pareto optimal set in the objective space. A comparative evaluation among the new algorithm MOSPD, the original Multi-Objective Complex Evolution Global Optimization Method (MOCOM), the Multi-Objective Differential Evolution method (MODE), the Multi-Objective Genetic Algorithm (MOGA), the Multi-Objective Simulated Annealing approach (MOSA), and the Multi-Objective Particle Swarm Optimization scheme (MOPSO) is conducted using the benchmark functions. The results show that best the MOSPD algorithm demonstrated the best and most consistent performance when compared with other algorithms on the test problems. The newly developed algorithm (MOSPD) is further applied to the OTC reservoir releasing problem during the snow melting season in 1998 (wet year), 2000 (normal year) and 2001 (dry year), in which the more spreading and converged non-dominated solutions of MOSPD provide decision makers with better operational alternatives for effectively and efficiently managing the OTC reservoirs in response to the different climates, especially drought, which has become more and more severe and frequent in California.     

Research on the identification performance of UHF RFID system considering the correlation of cascaded channel

The identification rate of UHF RFID system was restricted by multipath propagation effects.The system identification performance was studied considering the correlation coefficient between forward and reverse channels.Based on the generalized Rician fading channel model,the analytical expression of identification rate was derived under independent,full correlation and correlation cases.Compared with the existing analysis,the proposed uniform calculation formula of identification rate was for any correlation coefficient and kinds of channel conditions.The numerical computation and Monte-carlo simulations show that the influences of different correlation coefficients,channel conditions,sensitivity and distance on the identification rate.     

Stereo matching cost computation based on nonsubsampled contourlet transform

A new matching cost computation method based on nonsubsampled contourlet transform (NSCT) for stereo image matching is proposed in this paper. Firstly, stereo image is decomposed into high frequency sub-band images at different scales and along different directions by NSCT. Secondly, by utilizing coefficients in high frequency domain and grayscales in RGB color space, the computation model of weighted matching cost between two pixels is designed based on the gestalt laws. Lastly, two types of experiments are carried out with standard stereopairs in the Middlebury benchmark. One of the experiments is to confirm optimum values of NSCT scale and direction parameters, and the other is to compare proposed matching cost with nine known matching costs. Experimental results show that the optimum values of scale and direction parameters are respectively 2 and 3, and the matching accuracy of the proposed matching cost is twice higher than that of traditional NCC cost.