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.     

Strength of pure alumina ceramics above 1 GPa

Up to now, commercially available alumina ceramics were claimed to have strength between 400 and 550 MPa. However, our study shows strength ~ 2 times higher for commercially available alumina than commonly believed. The average and characteristic strength, measured on 31 pure alumina ceramic discs by ball on three balls (B3B) test, were 1205 ± 93 MPa and 1257 MPa, respectively, with a Weibull modulus of m = 11.8. Tested specimens were in form of discs with a diameter of 5 mm and thickness 0.5 mm. The grain size distribution of the alumina is bimodal with an average grain size of ~ 850 nm measured at the surface. The fracture reveals a mixed transgranular / intergranular failure mode. To avoid incorporation of additional flaws, the discs were tested as sintered. The characteristic flexural strength measured in B3B was recalculated according to Weibull theory for standard 4-point bending bars of size 3 × 4 × 45 mm as bend 856 MPa. The measured strength of nearly 900 MPa shows the potential of strength for high purity alumina ceramics.     

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.     

Towards Diastereomeric Pure Salts with Antisolvent Methods

Chiral molecules, especially enantiomers and diastereomers of purity > 99 %, present a significant market share within the chemical, pharmaceutical, and flavor industries. Antisolvent precipitations, both batch and semicontinuous operations to serve the current trends in flow chemistry were demonstrated to be environmentally benign and efficient tools in achieving high optical purities. Although salts are known to be insoluble in supercritical CO₂, instabilities of the nascent salts were detected and applied for increasing efficiency. Diastereomeric excess values of the crystalline products exceeded 99 % in maximum of three consecutive steps both by repeated resolution with half molar equivalent of the amine to the acid and by direct recrystallization of the salts.     

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.     

A simple model for the semicontinuous heterophase polymerization: Ethyl methacrylate as a case example

A simple but comprehensive model considering homogeneous and micellar nucleation, coagulation, entry of radicals to particles and to micelles and radicals' exit from particles, is presented. The model is validated, in a starved semicontinuous heterophase polymerization of ethyl methacrylate, at three monomer addition rates. The model accurately describes the overall and instantaneous conversion, the average particle density and diameter, and the number and weight average molar masses evolutions over time. It is found that even though the average number of radicals is much smaller than 0.5, the system is not 0-1. An empirical function was used to describe the gel effect. The homogeneous nucleation was the prevailing mechanism for particle formation and large exit rates of radicals were observed. POLYM. ENG. SCI., 60: 223–232, 2019. © 2019 Society of Plastics Engineers     

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.