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.     

Wear mechanism of a novel AlSiMgAl2O4Al2O3 composite used in the low vessel of an RH secondary refining furnace

A novel AlSiMgAl₂O₄Al₂O₃ composite brick was prepared and evaluated in the low vessel of an RH (the initials of Ruhrstahl and Hereaeus) secondary refining furnace; it was characterized by X-ray diffraction, scanning electron microscopy, and energy-dispersive spectroscopy. The results show that after use, the AlSiMgAl₂O₄Al₂O₃ composite has a functional gradient with an erosion zone–reinforced zone–original zone phase distribution, in which the phases in the erosion zone (0–1.8?cm) are a Mg-hercynite spinel solid solution, α-Al₂O₃, and minor amount of Al₃Fe₅O₁₂. Furthermore, the phases in the reinforced zone (1.8–5.0?cm) are γ-AlON, 21RSiAlON, SiC, Mg_0.388Al_2.408O₄, and α-Al₂O₃; i.e., the Al and Si in the composite are completely converted into non-oxide reinforced phases. Finally, the phases in the original zone (>5.0?cm) show no change. The reaction mechanism is as follows. During operation, a Mg-hercynite spinel solid solution is formed in the erosion zone due to a reaction between MgAl₂O₄ and FeO from a refinery operation. Therefore, the slag erosion of the material is improved. The Al and Si metals undergo active oxidation, and 21RSiAlON flakes are subsequently formed from the products of the metastable Al₂O(g), SiO(g), and N₂(g) in the ambient. The γ-AlON is formed by a carbothermal reduction nitridation of the α-Al₂O₃ and residual active carbon from the resin binder. The 21RSiAlON and γ-AlON reinforce the composite brick and improve its high temperature performance accordingly. Its service life is 110% that of the magnesia-chrome bricks used in the same period. The reaction model was also established.     

Chest X-ray images super-resolution reconstruction via recursive neural network

Multimedia Tools and Applications - To address the problems of insufficient detail extraction and long training time in the super-resolution reconstruction of chest X-ray images, a method of chest...     

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.     

Fabrication of dense nano-laminated tungsten carbide materials doped with Cr3C2/VC through two-step sintering

This work investigates the critical roles of two-step sintering (TSS) and laminated structure on the sintering behavior and mechanical properties of functionally graded WC-TiC-Al₂O₃ nanostructured composite materials doped with Cr₃C₂/VC. Results show that excellent mechanical properties are achieved for tailored TSS conditions with a hardness of 27.91?±?2.3?GPa and a flexural strength of 1423.3?±?23.5?MPa. The desirable mechanical properties are attributed to the suppressed grain growth without densification deterioration. TSS is more effective in facilitating the favorable dispersion of secondary phase toughening nano-particulates in a WC matrix than conventional sintering (CS). Cr₃C₂/VC dopant plays an important role in maximizing and shifting the temperature range of the kinetic window for WC-Al₂O₃ composites. Al₂O₃ crack deflection, transgranular Al₂O₃, microcracking, WC crack bridging and plate-like WC crack deflection are the major toughening mechanisms. Residual surface compressive stress induced by the graded structure is also an appreciated contribution to the improvement of mechanical properties.     

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.     

Correlation between instrumental texture and colour quality attributes with sensory analysis of selected cheeses as affected by fat contents

This study evaluated several physical and sensory parameters of different types of cheese available in the Polish market. The measurements of textural properties were conducted in an Instron universal testing machine, while the colour properties of cheeses were measured using a Minolta chromameter. The chemical composition was determined by means of the near‐infrared spectroscopy (NIRs). Moreover, a trained sensory panel was invited to assess the cheese texture‐related properties. Generally, cheeses with reduced fat content were characterised by higher hardness, adhesiveness, cohesiveness and elasticity. Texture‐related parameters of cheese with canola oil were comparable to that of most of full‐fat cheeses. The correlation analysis between physical and sensory attributes related to cheese textural properties indicated the potential applications of TPA, shear and penetration tests (r = 0.766, r = 0.75 and r = 0.765, respectively) for the evaluation of sensory properties related to the hardness. Meanwhile, the elasticity of cheese obtained from sensory evaluation was strongly correlated with the elasticity determined from the shear test (r = 0.722) and moderately correlated with the elasticity from penetration test (r = 0.588), indicating a need to refine the method of penetration test. In addition, cheeses exhibited higher meltability during convection heating at 230 °C than microwave heating. The values of meltability for cheese with reduced fat content were lower than those of full‐fat cheese.     

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.