Towards a Better Prediction of Cell Settling on Nanostructure Arrays—Simple Means to Complicated Ends

Vertical arrays of nanostructures (NSs) are emerging as promising platforms for probing and manipulating live mammalian cells. The broad range of applications requires different types of interfaces, but cell settling on NS arrays is not yet fully controlled and understood. Cells are both seen to deform completely into NS arrays and to stay suspended like tiny fakirs, which have hitherto been explained with differences in NS spacing or density. Here, a better understanding of this phenomenon is provided by using a model that takes into account the extreme membrane deformation needed for a cell to settle into a NS array. It is shown that, in addition to the NS density, cell settling depends strongly on the dimensions of the single NS, and that the settling can be predicted for a given NS array geometry. The predictive power of the model is confirmed by experiments and good agreement with cases from the literature. Furthermore, the influence of cell‐related parameters is evaluated theoretically and a generic method of tuning cell settling through surface coating is demonstrated experimentally. These findings allow a more rational design of NS arrays for the numerous exciting biological applications where the mode of cell settling is crucial.     

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.     

Model repair — aligning process models to reality

Process mining techniques relate observed behavior (i.e., event logs) to modeled behavior (e.g., a BPMN model or a Petri net). Process models can be discovered from event logs and conformance checking techniques can be used to detect and diagnose differences between observed and modeled behavior. Existing process mining techniques can only uncover these differences, but the actual repair of the model is left to the user and is not supported. In this paper we investigate the problem of repairing a process model w.r.t. a log such that the resulting model can replay the log (i.e., conforms to it) and is as similar as possible to the original model. To solve the problem, we use an existing conformance checker that aligns the runs of the given process model to the traces in the log. Based on this information, we decompose the log into several sublogs of non-fitting subtraces. For each sublog, either a loop is discovered that can replay the sublog or a subprocess is derived that is then added to the original model at the appropriate location. The approach is implemented in the process mining toolkit ProM and has been validated on logs and models from several Dutch municipalities.     

Nonlinear response in glass fibre non-crimp fabric reinforced vinylester composites

This paper addresses the nonlinear stress-strain response in glass fibre non-crimp fabric reinforced vinylester composite laminates subjected to in-plane tensile loading. The nonlinearity is shown to be a combination of brittle and plastic failure. It is argued that the shift from plastic to brittle behaviour in the vinylester is caused by the state of stress triaxiality caused by the interaction between fibre and vinylester. A model combining damage and plasticity is calibrated and evaluated using data from extensive experimental testing. The onset of damage is predicted using the Puck failure criterion, and the evolution of damage is calibrated from the observed softening in plies loaded in transverse tension. Shear loading beyond linear elastic response is observed to result in irreversible strains. A yield criterion is implemented for shear deformation. A strain hardening law is fitted to the stress-strain response observed in shear loaded plies. Experimental results from a selection of laminates with different layups are used to verify the numerical models. A complete set of model parameters for predicting elastic behaviour, strength and post failure softening is presented for glass fibre non-crimped fabric reinforced vinylester. The predicted behaviour from using these model parameters are shown to be in good agreement with experimental results.     

Ab initio calculations of the NO2 fission for CL-20 conformers

NO₂ fission is regarded to be the most important initial decomposition process of 2,4,6,8,10,12-hexanitro-2,4,6,8,10,12-hexaazaisowurtzitane (CL-20). In this study, four CL-20 conformers based on the ε-CL-20 were obtained after the optimization at m062x/cc-pvtz level, and the bond length, bond order and bond dissociation energy of the N-N bonds were examined to investigate the stability of these bonds. In addition, the rate constants and activation energy of the NO₂ fission were evaluated using the microcanonical variational transition state theory (μVT). The calculation results have shown that N-N bonds in the case of pseudo-equatorial and axial of nitro groups are the most stable and the least stable, respectively, by evaluating the bond length, bond order and minimum energy path (MEP). The NO₂ fission rate constants are affected by not only the stability of N-N bonds but also the repulsion forces from the other nitro groups, and the fission process for pseudo-equatorial positioning of nitro groups is easier to be accelerated due to the increase of the repulsion forces. The decomposition of CL-20 conformer may mainly originate from the fission of the pseudo-equatorial positioning of nitro groups, especially for CL-20 III conformer because of the significant low activation energy.     

Role of Co in formation of Ni-Ti clusters in maraging stainless steel

The effect of Co addition on the formation of Ni-Ti clusters in maraging stainless steel was studied by three dimensional atom probe (3DAP) and first-principles calculation. The cluster analysis based on the maximum separation approach showed an increase in size but a decrease in density of Ni-Ti clusters with increasing the Co content. The first-principles calculation indicated weaker Co-Ni (Co-Ti) interactions than Co-Ti (Fe-Ti) interactions, which should be the essential reason for the change of distribution characteristics of Ni-Ti clusters in bcc Fe caused by Co addition.     

Effect of grinding-induced cyclic heating on the hardened layer generation in the plunge grinding of a cylindrical component

This paper discusses the effects of the grinding-induced cyclic heating on the properties of the hardened layer in a plunge cylindrical grinding process on the high strength steel EN26. It was found that a multi-pass grinding brings about a uniform and continuous hardened layer along the circumference of the cylindrical workpiece. An increase of the number of grinding passes, leads to a thicker layer of hardening, a larger compressive residual stress and a deeper plastic deformation zone. Within the plastic deformation zone, the martensitic grains are refined by the thermo-mechanical loading, giving rise to a hardness of 12.5% higher than that from a conventional martensitic transformation. The coupled effects of heat accumulation and wheel wear in the multi-pass grinding are the main causes for the thickening of the hardened layer. A too small infeed per workpiece revolution would result in insufficient grinding heat, and in turn, bring about an undesirable tempered hardened layer and a reduction of its hardness.     

A first-principles investigation on mechanical and metallic properties of titanium carbides under pressure

The titanium carbides are potential candidates to achieve both high hardness and refractory property. We carried out a structural search for titanium carbides at three pressures of 0 GPa, 30 GPa and 50 GPa. A phase diagram of the Ti-C system at 0 K was obtained by elucidating formation enthalpies as a function of compositions, and their mechanical and metallic properties of titanium carbides were investigated systematically. We also discussed the relation of titanium concentration to the both mechanical and metallic properties of titanium carbides. It has been found that the average valence electron density and tractility improved at higher concentrations of titanium, while the degree of covalent bonding directionality decreased. To this effect, the hardness of titanium carbide decreases as the content of titanium increases. Our results indicated that the titanium content significantly affected the metallic properties of the Ti-C system.     

离心泵并联运行工况点的数值求解

建立了求解多台不同型号离心泵并联运行工况点的数学模型,给出了用数值计算中的“二分法”求解该模型的方法,并附有用Exce l计算的实例。