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.     

巧用华中系统复合循环G71指令车削零件

结合实例详解了华中数控系统复合循环指令G71在实际编程与加工中的应用。此指令的应用,解决了在加工轴类零件过程中运用传统的加工方法难以满足形状复杂、精度高等要求的问题,从而提高了工作效率。     

A miniature triaxial apparatus for investigating the micromechanics of granular soils with in situ X-ray micro-tomography scanning

The development of a miniature triaxial apparatus is presented. In conjunction with an X-ray micro-tomography (termed as X-ray μCT hereafter) facility and advanced image processing techniques, this apparatus can be used for in situ investigation of the micro-scale mechanical behavior of granular soils under shear. The apparatus allows for triaxial testing of a miniature dry sample with a size of \mathrm{8}\hspace{0.17em}\mathrm{mm}\times \mathrm{16}\hspace{0.17em}\mathrm{mm} (diameter \times height). In situ triaxial testing of a 0.4–0.8 mm Leighton Buzzard sand (LBS) under a constant confining pressure of 500 kPa is presented. The evolutions of local porosities (i.e., the porosities of regions associated with individual particles), particle kinematics (i.e., particle translation and particle rotation) of the sample during the shear are quantitatively studied using image processing and analysis techniques. Meanwhile, a novel method is presented to quantify the volumetric strain distribution of the sample based on the results of local porosities and particle tracking. It is found that the sample, with nearly homogenous initial local porosities, starts to exhibit obvious inhomogeneity of local porosities and localization of particle kinematics and volumetric strain around the peak of deviatoric stress. In the post-peak shear stage, large local porosities and volumetric dilation mainly occur in a localized band. The developed triaxial apparatus, in its combined use of X-ray μCT imaging techniques, is a powerful tool to investigate the micro-scale mechanical behavior of granular soils.     

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.     

Regulation of sensory nerve conduction velocity of human bodies responding to annual temperature variations in natural environments

The extensive research interests in environmental temperature can be linked to human productivity / performance as well as comfort and health; while the mechanisms of physiological indices responding to temperature variations remain incompletely understood. This study adopted a physiological sensory nerve conduction velocity (SCV) as a temperature‐sensitive biomarker to explore the thermoregulatory mechanisms of human responding to annual temperatures. The measurements of subjects’ SCV (over 600 samples) were conducted in a naturally ventilated environment over all four seasons. The results showed a positive correlation between SCV and annual temperatures and a Boltzmann model was adopted to depict the S‐shaped trend of SCV with operative temperatures from 5°C to 40°C. The SCV increased linearly with operative temperatures from 14.28°C to 20.5°C and responded sensitively for 10.19°C‐24.59°C, while tended to be stable beyond that. The subjects’ thermal sensations were linearly related to SCV, elaborating the relation between human physiological regulations and subjective thermal perception variations. The findings reveal the body SCV regulatory characteristics in different operative temperature intervals, thereby giving a deeper insight into human autonomic thermoregulation and benefiting for built environment designs, meantime minimizing the temperature‐invoked risks to human health and well‐being.     

Study of MW-scale biogas-fed SOFC-WGS-TSA-PEMFC hybrid power technology as distributed energy system: Thermodynamic,exergetic and thermo-economic evaluation

Advanced biogas power generation technology has been attracting attentions, which contributes to the waste disposal and the mitigation of greenhouse gas emissions. This work proposes and models a novel biogas-fed hybrid power generation system consisting of solid oxide fuel cell, water gas shift reaction, thermal swing adsorption and proton exchange membrane fuel cell (SOFC-WGS-TSA-PEMFC). The thermodynamic, exergetic, and thermo-economic analyses of this hybrid system for power generation were conducted to comprehensively evaluate its performance. It was found that the novel biogas-fed hybrid system has a gross energy conversion efficiency of 68.63% and exergy efficiency of 65.36%, indicating high efficiency for this kind of hybrid power technology. The market sensitivity analysis showed that the hybrid system also has a low sensitivity to market price fluctuation. Under the current subsidy level for the distributed biogas power plant, the levelized cost of energy can be lowered to 0.02942 $/kWh for a 1 MW scale system. Accordingly, the payback period and annual return on investment can reach 1.4 year and about 20%, respectively. These results reveal that the proposed hybrid system is promising and economically feasible as a distributed power plant, especially for the small power scale (no more than 2 MW).