Effect laws and mechanisms of different temperatures on isothermal tensile fracture morphologies of high-strength boron steel

The fracture behaviour and morphologies of high-strength boron steel were investigated at different temperatures at a constant strain rate of 0.1 s-1 based on isothermal tensile tests. Fracture mechanisms were also analyzed based on the relationship between microstructure transformation and continuous cooling transformation(CCT) curves. It is found that 1) fractures of the investigated steel at high temperatures are dimple fractures; 2) the deformation of high-strength boron steel at high temperatures accelerates diffusion transformations; thus, to obtain full martensite, a higher cooling rate is needed; and 3) the investigated steel has the best plasticity when the deformation temperature is 750 °C.     

A Student's t-based density peaks clustering with superpixel segmentation (tDPCSS) method for image color clustering

Image color clustering is a basic technique in image processing and computer vision, which is often applied in image segmentation, color transfer, contrast enhancement, object detection, skin color capture, and so forth. Various clustering algorithms have been employed for image color clustering in recent years. However, most of the algorithms require a large amount of memory or a predetermined number of clusters. In addition, some of the existing algorithms are sensitive to the parameter configurations. In order to tackle the above problems, we propose an image color clustering method named Student's t-based density peaks clustering with superpixel segmentation (tDPCSS), which can automatically obtain clustering results, without requiring a large amount of memory, and is not dependent on the parameters of the algorithm or the number of clusters. In tDPCSS, superpixels are obtained based on automatic and constrained simple non-iterative clustering, to automatically decrease the image data volume. A Student's t kernel function and a cluster center selection method are adopted to eliminate the dependence of the density peak clustering on parameters and the number of clusters, respectively. The experiments undertaken in this study confirmed that the proposed approach outperforms k-means, fuzzy c-means, mean-shift clustering, and density peak clustering with superpixel segmentation in the accuracy of the cluster centers and the validity of the clustering results.     

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.     

Stress-deformable state of isotropic double curved shell with internal cracks and a circular hole

This work is devoted to the stress–strain state of isotropic double curved shell with defect system. The construction is weakened by two non-through thickness (internal) cracks of different length and by a circular hole located between cracks. In this study we use the line-spring model. Within the framework of this model cracks are modeled as mathematical cuts of shell’s middle surface. This leads to a two-dimensional problem. The problem is reduced to a system of eight boundary integral equations. To ensure the uniqueness of solution an additional equation is added. In the numerical solution of the problem special quadrature formulas for singular integrals of Cauchy type and the finite difference method are applied. The influence of defects on each other for double curved shell has been investigated. The given theoretical results can be used for the calculation of structural elements with holes, cracks on the strength and fracture toughness in various branches of engineering.     

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.     

Investigation on phase shifting for a 4 K Stirling pulse tube cryocooler with He-3 as working fluid

He-3 is generally recognized for its ability to provide more excellent thermophysical performance than He-4, especially in the 4 K temperature range. However, this was not always the case in our preliminary experiments on a three-stage Stirling-type pulse tube cryocooler (SPTC). Our ongoing studies, as reported in this paper, demonstrate that the different working fluids also affect the performance through their phase shifting capability. This feature has been passed over in large part by researchers considering refrigerant substitution. Unlike previous theoretical analyses that focus primarily on regenerator losses, this report investigates the effects of the working fluid on the phase angle at the cold end in order to quantitatively reveal the relationship between the lowest attainable temperature and the cooling capacity. The analysis agrees well with our experimental results on a three-stage SPTC. While running with the operating parameters optimized for He-3, the lowest temperature of the SPTC decreased from 5.4 K down to 4.03 K. This is the lowest refrigeration temperature ever achieved with a three-stage SPTC.     

Validation of performance of real-time kinematic PPP. A possible tool for deformation monitoring

Structural failures (bridge or building collapses) and geohazards (landslides, ground subsidence or earthquakes) are worldwide problems that often lead to significant economic and loss of life. Monitoring the deformation of both natural phenomena and man-made structures is a major key to assessing structural dynamic responses. Actually, this monitoring process is under real-time demand for developing warning and alert systems.One of the most used techniques for real-time deformation monitoring is the Global Navigation Satellite System (GNSS) real-time procedure, where the relative positioning approach, using a well-known reference station, has been applied.This study was conducted to evaluate the actual quality of the real-time kinematic Precise Point Positioning (PPP) GNSS solution for deformation monitoring, where it can be concluded that a promise tool is under development and should be taken into account on actual and near future real-time deformation monitoring studies and applications.     

The formation of fibrous structure of polyamide 6 induced by the three-step forming process and its prominent reinforcement in nitrile rubber

Nitrile rubber (NBR) blends with excellent performance have always been a hot research topic in petroleum field. Due to the excellent performance and compatibility of polyamide 6 (PA6), it provides an opportunity for the preparation of high-performance NBR/PA6 blends. In this article, NBR/PA6 blends were prepared by the three-step molding process. Experimentally, it was found that PA6 has a prominent reinforcement effect in NBR matrix. The variation of this mechanical property was investigated from different aspects of the crystal structure, crystallinities, phase morphology, and so on. It can be cleared that the formation of fibrous structure of PA6 phase is the main factor for reinforcement of the polymer blends. Meanwhile, the formation mechanism of the special phase structure induced by the three-step process is deeply expounded and its structural evolution schematic is established. © 2019 Wiley Periodicals, Inc. J. Appl. Polym. Sci. 2019 , 136, 47472.     

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.