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.     

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.     

Optimization of Pathogen Capture in Flowing Fluids with Magnetic Nanoparticles

Magnetic nanoparticles have been employed to capture pathogens for many biological applications; however, optimal particle sizes have been determined empirically in specific capturing protocols. Here, a theoretical model that simulates capture of bacteria is described and used to calculate bacterial collision frequencies and magnetophoretic properties for a range of particle sizes. The model predicts that particles with a diameter of 460 nm should produce optimal separation of bacteria in buffer flowing at 1 L h⁻¹. Validating the predictive power of the model, Staphylococcus aureus is separated from buffer and blood flowing through magnetic capture devices using six different sizes of magnetic particles. Experimental magnetic separation in buffer conditions confirms that particles with a diameter closest to the predicted optimal particle size provide the most effective capture. Modeling the capturing process in plasma and blood by introducing empirical constants (c_e), which integrate the interfering effects of biological components on the binding kinetics of magnetic beads to bacteria, smaller beads with 50 nm diameters are predicted that exhibit maximum magnetic separation of bacteria from blood and experimentally validated this trend. The predictive power of the model suggests its utility for the future design of magnetic separation for diagnostic and therapeutic applications.     

动态评价技术在塔河碳酸盐岩缝洞型油气藏中的应用

塔河油田奥陶系油气藏是大型碳酸盐岩溶洞型油气藏，其储渗空间主要为大小不同的溶洞、裂缝带、溶蚀孔隙等组成，该油气藏具有极强的非均质性，单纯用静态资料来认识这类油气藏是非常困难。文章提出利用生产动态资料和信息进行该类型油气藏研究的新思路，利用人工神经网络技术在处理非线性相关参数预测方面的优势，并以渗流理论为基础，结合试井成果，选用已知油井的产量、油嘴、油压、含水率、气油比、原油密度等6个开发动态参数作为样品输入数据，推导出影响油气藏开发的重要参数（地层系数）与生产信息的关系，建立了人工神经网络预测储层参数的结构模型。通过塔里木盆地塔河油气田实例研究，说明了利用动态信息评价油气藏技术在碳酸盐岩缝洞型油气藏储层预测和非均质性分析等方面具有较高的实用价值。     

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.     

A high-performance multichannel dual-gate poly-Si TFT fabricated by excimer laser irradiation on a floating a-Si thin film

A new excimer laser annealing (ELA) process that uses a floating amorphous-Silicon (a-Si) thin film with a multichannel structure is proposed for high-performance poly-Si thin-film transistors (TFTs). The proposed ELA method produces two-dimensional (2-D) grain growth, which can result in a high-quality grain structure. The dual-gate structure was employed to eliminate the grain boundaries perpendicular to the current flow in the channel. A multichannel structure was adapted in order to arrange the grain boundary to be parallel to the current flow. The proposed poly-Si TFT exhibits high-performance electrical characteristics, which are a high mobility of 504 cm/sup 2//Vsec and a low subthreshold slope of 0.337 V/dec.     

Joint scheduling and power control supporting multicasting in wireless ad hoc networks

This paper addresses the problem of power control in a multihop wireless network supporting multicast traffic. We face the problem of forwarding packet traffic to multicast group members while meeting constraints on the signal-to-interference-plus-noise ratio (SINR) at the intended receivers. First, we present a distributed algorithm which, given the set of multicast senders and their corresponding receivers, provides an optimal solution when it exists, which minimizes the total transmit power. When no optimal solution can be found for the given set of multicast senders and receivers, we introduce a distributed, joint scheduling and power control algorithm which eliminates the weak connections and tries to maximize the number of successful multicast transmissions. The algorithm allows the other senders to solve the power control problem and minimize the total transmit power. We show that our distributed algorithm converges to the optimal solution when it exists, and performs close to centralized, heuristic algorithms that have been proposed to address the joint scheduling and power control problem.