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.     

Stability and cytotoxicity study of NiFe2O4 nanocomposites synthesized by co-precipitation and subsequent thermal annealing

In this article, NiFe₂O₄ nanoparticles (NPs) were prepared by co-precipitation method with subsequent thermal annealing leading to obtainment NPs with average sizes of 78 nm. Structure and magnetic analysis were performed by X-ray diffraction, transmission electron microscopy, Mössbauer spectroscopy and vibrating sample magnetometry techniques. Stability of NiFe₂O₄ NPs was evaluated in PBS solution during 20 days. The toxicity of prepared NPs was evaluated in vitro using different cancer cell lines: HeLa (cervical cancer cell), PC-3 (prostate cancer cell). Fibroblasts like cells of L929 obtained from subcutaneous adipose tissue of mouse were used as normal cells. Results indicate successful synthesis of NiFe₂O₄ NPs that exhibit low cytotoxicity in concentration range from 1 to 100 μg/ml. Presented physical and biological results indicate the possibility of application investigated magnetic nanoparticles in hyperthermia, targeted drug delivery, magnetic resonance imaging or cell separation.     

Enhanced transduction coefficient in piezoelectric PZT ceramics by mixing powders calcined at different temperatures

Large transduction coefficient ($d_{33}\times g_{33}$) is difficult to obtain in piezoelectric ceramics because these two parameters show opposite trends with compositional modifications. Herein, the Pb(Zr_0.53Ti_0.47)O₃ ceramic powders were calcinated under different temperatures (A:830 °C, B:860 °C, and C:890 °C), and then mixed together according to different weight ratios (1A:1B:1C, 1A:2B:1C, 1A:2B:3C and 3A:2B:1C) for ceramics preparation. Both d₃₃ and g₃₃ are improved successfully, and the transduction coefficient with the weight ratio of 1A:2B:3C reaches up to 17,500 × 10⁻¹⁵ m²/N, which is 60 % higher than that with the powders calcinated under 830 °C, and at least twice those of commercial PZT-4, PZT-5A and PZT-8 ceramics. The improved transduction coefficient is owing to the enhanced piezoelectric constant and spontaneous polarization resulted from the increased grain size, relative density and the fraction of tetragonal phase. These results indicate that this is a simple but effective way to tailor the transduction coefficient in piezoelectric ceramics.     

Negative selection based immune optimization

An immune optimization algorithm is proposed in this paper based on the immune negative selection. The algorithm NSIOA is motivated by the negative selection mechanism in biological immune recognition. Different from the existing immune optimization methods, NSIOA constantly removes the worst solutions to get the optimal solution. Considering that removal of poor members of a population might lead to the loss of design information that may actually help identify better solutions in the search space, the proposed NSIOA is designed to keep the diversity of antibodies while removing poor members, therefore the algorithm will converge to global optimal solution with high probability. The convergence property and the complexity of the algorithm have also been analyzed. To illustrate the efficiency of the algorithm is used in solving the travel salesman problem. The theoretical analysis and experimental results show that the algorithm is of a strong potential in solving practical problems.     

Supply chain trust diagnosis (SCTD) using inductive case-based reasoning ensemble (ICBRE): The case of general competence trust diagnosis

General competence trust among supply chain partners, referring to the trust that a partner holds the general ability of fulfilling contracts, is a critical factor to ensure effective cooperation in a supply chain, especially in the current financial crisis. The method of supply chain trust diagnosis (SCTD) is to evaluate whether or not a partner holds such competence. This research devotes to an early investigation on diagnosing competence trust of supply chain with the method of inductive case-based reasoning ensemble (ICBRE). The so-called supply chain trust diagnosis with inductive case-based reasoning ensemble consists of five levels, that is, information level, the level of ratios of general competence states, the level of inductive case-based reasoning, ensemble level, and diagnosis result level. Knowledge for diagnosing competence trust, which composes of a case base, is hidden in data represented by ratios of general competence states. Inductive approach is combined with randomness to construct diverse and good member methods of inductive case-based reasoning. Finally, simple voting is used to integrate outputs of member inductive case-based reasoning methods in order to produce the final diagnosis on whether or not a partner holds the general ability of fulfilling contracts. We statistically validated results of the method of supply chain trust diagnosis with inductive case-based reasoning ensemble by comparing them with those of multivariate discriminant analysis, logistic regression, single Euclidean case-based reasoning, and single inductive case-based reasoning. The results indicate that the method of supply chain trust diagnosis with inductive case-based reasoning ensemble significantly improves predictive capability of case-based reasoning in this problem and outperforms all the comparative models by group decision of several decision-making agents and non-strict assumptions like statistical methods.     

A moving horizon approach to input design for closed loop identification

The identification of high fidelity models is a critical element in the implementation of high performance model predictive control (MPC) applications in the industry. These controllers can vary in size with input–ouput dimensions ranging from 5 × 10 to 50 × 100. Identifying models of this scale accurately is a time consuming and demanding exercise. We present a novel approach wherein an information rich test signal is generated in closed loop by maximizing the MPC objective, as opposed to minimization that is done in the standard controller. We show that the proposed input design approach is similar to T-optimal (trace optimal) experiment design method. Our approach automatically accounts for the input and output constraints and is implemented in a moving horizon manner. It is demonstrated through simulation examples on both well and ill-conditioned processes.     

Transformation of hardening to softening behaviors induced by Sb substitution in CuO-doped KNN-based piezoceramics

Pb-free piezoceramics of K_0.5Na_0.5Nb_1-xSb_xO₃ + 1 mol% CuO are synthesized via a solid-state reaction. Furthermore, the transformation of hardening to softening behaviors induced by Sb substitution is exhibited and the corresponding microscopic mechanism is proposed. The CuO-doped K_0.5Na_0.5NbO₃ ceramic without adding Sb exhibits extremely hardening characteristics (i.e., ultrahigh Q_m of ∼2426, low tanδ of 0.32%, and pinched ferroelectric hysteresis loop) due to the formation of defect combinations (${({\text{Cu}}_{\text{Nb}}^{\text{'''}}-{\text{V}}_{\text{o}}^{••})}^{\text{'}}$ and ${({\text{V}}_{\text{o}}^{••}-{\text{Cu}}_{\text{Nb}}^{\text{'''}}-{\text{V}}_{\text{o}}^{••})}^{•}$). Whereas, the addition of Sb dramatically reduces the levels of defect combinations, leading to obviously softening properties (d₃₃ > 210 pC N⁻¹, k_p > 40%, low Q_m, and normal single P-E hysteresis loop). Our results indicate that the decrease of defect combinations with Sb addition should be responsible for the hardening-softening transformation of piezoelectricity and ferroelectricity in CuO-doped K_0.5Na_0.5Nb_1-xSb_xO₃ piezoceramics.     

Multiple households energy consumption forecasting using consistent modeling with privacy preservation

Traditional data-driven energy consumption forecasting models, including machine learning and deep learning methods, showed outstanding performance in terms of forecasting accuracy and efficiency. The superior performances are based on enough training data samples. Moreover, the derived forecasting model is only applicable to the training dataset and usually is applied to specific household. In real-world smart city development, a centralized forecasting model is required to model and forecasting energy consumption patterns for multiple households, whereas the traditional data-driven forecasting approaches may become invalid. A consistent model is demanded in this scenario modeling multiple households’ energy consumption patterns. Additionally, privacy issues are also highly concerned in such scenarios. Accurate energy consumption forecasting with privacy preservations becomes a key point for the state-of-art research. In this study, we adopt an innovative privacy-preserving structure that combines deep learning and federated learning. Under the premise of guaranteeing forecasting accuracy and privacy preservation, this structure can achieve the forecasting of various household energy consumption with a consistent model that simultaneously forecast multiple household energy consumption data by transmission control protocol.     

Low-valence ion addition induced more compact passive films on nickel-copper nano-coatings

Ni-Cu nano-coatings were prepared by pulsed electroplating technique in the baths containing various amount of boric acid. Their microstructure, morphologies and corrosion resistance were characterized in detail. The addition of boric acid strongly influences on the microstructure of the Ni-Cu coatings. The coating with a grain size of 130 nm, obtained from the bath containing 35 g L⁻¹ boric acid, shows the highest corrosion resistance. This is attributed to the low-valence Cu ion (Cu⁺) additions in nickel oxide, which could significantly decrease the oxygen ion vacancy density in the passive film to form a more compact passive film. The higher Cu⁺ additions and the lower diffusivity of point defects (D₀) are responsible for the formation of more compact passive film on the coating obtained from the bath with 35 g L⁻¹ boric acid.