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.     

基于状态空间法的电动机故障诊断和识别

电动机的初期故障信号一般较弱,不易辨别,而状态空间法在小信号的处理中灵敏度很高。为达到对电动机故障的诊断和识别,试图把状态空间法应用到对电动机的故障诊断中,先通过推导,从数学理论层面分析了状态空间法对于电动机故障信号的可辨别性,再使用Matlab软件搭建状态空间的辨别模型,把实验台测试的三组数据导入到模型中进行测试。测试的结果有力地证明了此方法的可行性,并能克服快速傅里叶变换(FFT)中数据采集量较大、分辨率不高的缺点。     

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.     

Synthesis and characterization of biocompatible hydroxyapatite coated ferrite

Ferrite particles coated with biocompatible phases can be used for hyperthermia treatment of cancer. We have synthesized substituted calcium hexaferrite, which is not stable on its own but is stabilized with small substitution of La. Hexaferrite of chemical composition (CaO)_0.75(La₂0₃)_0.20(Fe₂O₃)₆ was prepared using citrate gel method. Hydroxyapatite was prepared by precipitating it from aqueous solution of Ca(NO₃)₂ and (NH₄)₂HPO₄ maintaining pH above 11. Four different methods were used for coating of hydroxyapatite on ferrite particles. SEM with EDX and X-ray diffraction analysis shows clear evidence of coating of hydroxyapatite on ferrite particles. These coated ferrite particles exhibited coercive field up to 2 kOe, which could be made useful for hysteresis heating in hyperthermia. Studies by culturing BHK-21 cells and WBC over the samples show evidence of biocompatibility. SEM micrographs and cell counts give clear indication of cell growth on the surface of the sample. Finally coated ferrite particle was implanted in Kasaulli mouse to test its biocompatibility. The magnetic properties and biocompatibility studies show that these hydroxyapatite coated ferrites could be useful for hyperthermia.     

Electrochemical synthesis and characterization of chloride doped polyaniline

Chloride doped polyaniline conducting polymer films have been prepared in a protic acid medium (HCl) by potentiodynamic method in an electrochemical cell and studied by cyclic voltammetry and FTIR techniques. The FTIR spectra confirmed Cl^- ion doping in the polymers. The polymerization rate was found to increase with increasing concentration of aniline monomer. But the films obtained at high monomer concentration were rough having a nonuniform flaky polyaniline distribution. Results showed that the polymerization rate did not increase beyond a critical HCl concentration. Cyclic voltammetry suggested that, the oxidation-reduction current increased with an increase in scan rate and that the undoped polyaniline films were not hygroscopic whereas chloride doped polyaniline films were found to be highly hygroscopic.     

锂离子电池用聚合物电解质的最新进展II.含液聚合物电解质

由于干态聚合物电解质目前还不能满足聚合物锂离子电池的应用要求,人们致力于开发含液体增塑剂的聚合物电解质,包括凝胶型和微孔型两类体系。本文综述了含液聚合物电解质的最新进展,重点论述了各种新体系和新方法。     

具有阻力特性材料的σ_f－σ关系及一种新的阻力曲线测定方法

通过对相变增韧陶瓷及一种可切削玻璃－陶瓷动态疲劳（恒应力速率）试验中高应力速率区断裂应力下降现象的理论分析，发现这种现象与材料的阻力特性（Ｒ－ｃｕｒｖｅ）密切相关。确立的σ_ｆ－σ理论关系能够很好地描述整个应力速率区间内的动态疲劳试验结果。高应力速率区σ_ｆ－σ在双对数坐标下为负斜率直线，直线斜率为（ｍ为阻力曲线ＫＲ＝ｋ（△ａ）~ｍ的指数），断裂主要由材料阻力行为控制；低应力速率区，σ_ｆ－σ在双对数坐标下为正斜率直线，直线斜率为　（ｎ为应力腐蚀指数），断裂主要由材料应力腐蚀行为控制。建立了测定材料阻力特性的一种新方法，分别用这种方法及压痕／弯曲方法对一种可切削玻璃－陶瓷的阻力特性进行了实验测定，两种方法所得结果有很好的一致性。