Structural Aspects of P2-Type Na0.67Mn0.6Ni0.2Li0.2O2 (MNL) Stabilization by Lithium Defects as a Cathode Material for Sodium-Ion Batteries

A known strategy for improving the properties of layered oxide electrodes in sodium-ion batteries is the partial substitution of transition metals by Li. Herein, the role of Li as a defect and its impact on sodium storage in P2-Na_0.67Mn_0.6Ni_0.2Li_0.2O₂ is discussed. In tandem with electrochemical studies, the electronic and atomic structure are studied using solid-state NMR, operando XRD, and density functional theory (DFT). For the as-synthesized material, Li is located in comparable amounts within the sodium and the transition metal oxide (TMO) layers. Desodiation leads to a redistribution of Li ions within the crystal lattice. During charging, Li ions from the Na layer first migrate to the TMO layer before reversing their course at low Na contents. There is little change in the lattice parameters during charging/discharging, indicating stabilization of the P2 structure. This leads to a solid-solution type storage mechanism (sloping voltage profile) and hence excellent cycle life with a capacity of 110 mAh g^-1 after 100 cycles. In contrast, the Li-free compositions Na_0.67Mn_0.6Ni_0.4O₂ and Na_0.67Mn_0.8Ni_0.2O₂ show phase transitions and a stair-case voltage profile. The capacity is found to originate from mainly Ni³⁺/Ni⁴⁺ and O^2-/O^2-δ redox processes by DFT, although a small contribution from Mn⁴⁺/Mn⁵⁺ to the capacity cannot be excluded.     

Workers’ rest allowance and smoothing of the workload in assembly lines

Ergonomic aspects have a crucial role in manual assembly systems. They impact on the workers’ health, final product quality and productivity. For these reasons, there is the necessity to integrate them into the assembly line balancing phase as, whereas, only time and cost variables are considered. In this study, human energy expenditures are considered as ergonomic aspects and we integrate them, for the first time, into the assembly line balancing problem type 2 through the rest allowance evaluation. We consider as an objective function the minimization of the smoothness index. Firstly, a new optimal method based on mixed integer linear programming and a new linearization methodology are proposed. Then, a heuristic approach is introduced. To complete the study, a computational experimentation is presented to validate the mathematical model and to compare the methodologies proposed in terms of computational time, complexity and solution. Additionally, we provide a detailed analysis of the impact that rest allowance evaluation can have on productivity comparing the results obtained, taking into account the rest allowance integration before, during and after the assembly balancing process.     

On one boundary problem for nonlinear stationary controlled system

The object of study is nonlinear stationary controlled system of ordinary differential equations with constant disturbance in the right part. The problem of constructing the synthesising control function providing the transfer of this system from the initial state to the origin is considered. The sufficiently simple for numerical implementation algorithm of solution of the above-mentioned problem is obtained. It is shown that for local null controllability of the considered system, it is sufficient that the conditions of the Kalman's type were satisfied. In addition, the estimates restricting the choice of initial conditions and external disturbances under which the transfer is guaranteed are obtained. The main idea of the method of construction of the desired control function consists in reducing the original problem to stabilisation of a special kind linear non-stationary system and solving the Cauchy problem for an auxiliary system of ordinary differential equations closed by stabilising control. The simplicity of the realisation of this algorithm is determined by the construction of the auxiliary system and its stabilisation that could be obtained by analytical methods. The effectiveness of the method is illustrated by solving the problem of crane control and its numerical simulation.     

Software assurance practices for mobile applications

Mobile software applications have to cope with a particular environment that involves small size, limited resources, high autonomy requirements, competitive business models and many other challenges. To provide development guidelines that respond to these needs, several practices have been introduced; however, it is not clear how these guidelines may contribute to solve the issues present in the mobile domain. Furthermore, the rapid evolution of the mobile ecosystem challenges many of the premises upon which the proposed practices were designed. In this paper, we present a survey of the literature on software assurance practices for mobile applications, with the objective of describing them and assessing their contribution and success. We identified, organized and reviewed a body of research that spans in three levels: software development processes, software product assurance practices, and software implementation practices. By carrying out this literature survey, we reviewed the different approaches that researchers on Software Engineering have provided to address the needs that raise in the mobile software development arena. Moreover, we review the evolution of these practices, identifying how the constant changes and modernization of the mobile execution environment has impacted the methods proposed in the literature. Finally, we introduced discussion on the application of these practices in a real productive setting, opening an area for further research that may determine if practitioners have followed the proposed assurance paradigms.     

Intrinsic CFRP-metal-hybrids with rubber interface for the improvement of the damping behaviour

This paper presents an integrated passive damping approach in hybrid metal-CFRP parts for structural applications. In this concept a viscoelastic material is embedded in the joint zone of the hybrid component. To examine the connection strength single-lap-joint specimens were produced and tested and the influence of the used material combinations, different surface structures, and different process parameters i.e. the moment of cross-linking were evaluated. Afterwards, the metal-CFRP hybrids were tested in quasi-static tests to assess their connection strength and failure behaviour. Dynamic cyclic tensile tests with step-wise increased loading conditions were performed to determine the specimens damping behaviour and to estimate their fatigue performance. Finally, these results are compared to a state of the art metal-CFRP hybrid with rivets connecting both materials.     

On stochastic comparisons of finite mixtures for some semiparametric families of distributions

In this paper, we consider the classical finite mixture model, which is an effective tool for modeling lifetime distributions for random samples from heterogeneous populations. We discuss new results on stochastic comparison for two finite mixtures when each of them is drawn from one of the following semiparametric families, i.e., proportional hazards, accelerated lifetime and proportional reversed hazards.     

Is the List of Incomplete Open Cubes Complete?

Variations of Incomplete Open Cubes is the major project by the twentieth-century conceptual artist Sol LeWitt. In this paper we interpret the enumerative component of the project as embeddings of graphs. This formulation permits use of an algorithm to check the completeness of the list of the structures produced by the artist. Our conclusion is that the artist found the correct number of structures (that is, 122), but that his list contains a mistake in the presentation of a pair of incomplete cubes, a discovery that appears not to have been noted before.