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.     

液压支架快速撤除技术研究应用

新汶矿业集团经过探索和实践,研究运用了差异互补式全掩护支护技术、掩护支架自牵引联动装置工艺、矿车运输、滑移运输多用轨道、自动找正装车平台、液控调整装置等新技术、新工艺,做到了液压支架综合流程快速回撤,实现了高效化、连贯化安全回撤,取得了良好的经济效益。     

A Dual Inhibitor of DYRK1A and GSK3β for β-Cell Proliferation: Aminopyrazine Derivative GNF4877

Loss of β-cell mass and function can lead to insufficient insulin levels and ultimately to hyperglycemia and diabetes mellitus. The mainstream treatment approach involves regulation of insulin levels; however, approaches intended to increase β-cell mass are less developed. Promoting β-cell proliferation with low-molecular-weight inhibitors of dual-specificity tyrosine-regulated kinase 1A (DYRK1A) offers the potential to treat diabetes with oral therapies by restoring β-cell mass, insulin content and glycemic control. GNF4877, a potent dual inhibitor of DYRK1A and glycogen synthase kinase 3β (GSK3β) was previously reported to induce primary human β-cell proliferation in vitro and in vivo. Herein, we describe the lead optimization that lead to the identification of GNF4877 from an aminopyrazine hit identified in a phenotypic high-throughput screening campaign measuring β-cell proliferation.     

豫西雷门沟钼矿水文地质条件分析及涌水量预测

豫西熊耳山雷门沟钼矿床位于东秦岭多金属成矿带东段,是已探明的超大型斑岩型钼矿,前人研究程度高、地质成果丰硕,但对矿床开采技术条件方面研究较少。本次通过地质调查工程、水文地质试验等方法,从水文地质角度,对雷门沟钼矿床水文地质条件进行研究,填补了该方面的空白,丰富了研究成果；采用水文地质比拟法预测未来矿坑最大排水量2613 m³/d,经实践检验结果较为可靠；总结的采坑排水量预测方法、含水层特点、矿床充水因素以及防治水措施,以期对该区域水文地质工作具有参考价值。     

水泥厂堆取料机轨道梁设计优化及安装

正0前言近年来苏州中材建设有限公司承建了多条海外5 000 t/d水泥熟料生产线EPC总承包项目。原燃料堆场多采用圆型堆场或长型堆场,例如400 m长型辅助原料堆场有约1 600 m轨道梁、4 200多支螺栓,直径Φ90 m圆型堆场有约282 m轨道梁、1150支螺栓,合计共有约5 350多支螺栓需要安装,燃料为煤的生产线,工作量更是庞大。堆取料机轨道行程较长,对固定轨道螺栓的安     

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.