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.     

Kaolinite-mullite reaction series: a TEM study

The kaolinite-mullite reaction series in single crystal kaolinite has been characterized by transmission electron microscopy. The exotherm observed at 980° C is attributed to the formation of a spinel phase. Mullite crystallites have also been observed with the spinel phase and both phases have a composition near that of 32 mullite. Subsequent heat treatment leads to the growth of mullite crystallites on the original kaolinite plates with the c-axis perpendicular to the plate.     

Algorithms for processing the group K nearest-neighbor query on distributed frameworks

Distributed and Parallel Databases - Given two datasets of points (called Query and Training), the Group (K) Nearest-Neighbor (GKNN) query retrieves (K) points of the Training with the smallest sum...     

New plane-sweep algorithms for distance-based join queries in spatial databases

Efficient and effective processing of the distance-based join query (DJQ) is of great importance in spatial databases due to the wide area of applications that may address such queries (mapping, urban planning, transportation planning, resource management, etc.). The most representative and studied DJQs are the K Closest Pairs Query (KCPQ) and εDistance Join Query (εDJQ). These spatial queries involve two spatial data sets and a distance function to measure the degree of closeness, along with a given number of pairs in the final result (K) or a distance threshold (ε). In this paper, we propose four new plane-sweep-based algorithms for KCPQs and their extensions for εDJQs in the context of spatial databases, without the use of an index for any of the two disk-resident data sets (since, building and using indexes is not always in favor of processing performance). They employ a combination of plane-sweep algorithms and space partitioning techniques to join the data sets. Finally, we present results of an extensive experimental study, that compares the efficiency and effectiveness of the proposed algorithms for KCPQs and εDJQs. This performance study, conducted on medium and big spatial data sets (real and synthetic) validates that the proposed plane-sweep-based algorithms are very promising in terms of both efficient and effective measures, when neither inputs are indexed. Moreover, the best of the new algorithms is experimentally compared to the best algorithm that is based on the R-tree (a widely accepted access method), for KCPQs and εDJQs, using the same data sets. This comparison shows that the new algorithms outperform R-tree based algorithms, in most cases.     

Enhanced mortar approach to characterize the effect of reclaimed asphalt pavement on virgin binder true grade

The asphalt community seeks a solvent-free method to determine the properties of RAP binder and those of its blends with virgin binders. A promising approach is to test mortars composed of fine fractions of RAP and a virgin binder, and to calculate grade change rate (GCR) to predict blended binder true grade at any binder replacement rate (BRR). However, the existing mortar approach underestimates the effect of RAP on binder grade, particularly at high temperatures. This study identified the use of a shift factor in the existing method as the source of underestimations. An alternative data analysis method was developed, which eliminates the shift factor by using the relationship between binder and mortar properties. Dynamic shear rheometer tests were conducted on a total of 12 mortar combinations, including 4 virgin binders and 3 RAP sources at a BRR of 15%, and then, RAP GCR values were determined by following both the existing and the alternative methods. Satisfactory comparisons were only observed between grades predicted with the alternative method and measured values of manual RAP binder blends: the average difference was lower than 1 °C for BRR of 15 and 30%, and < 4 °C for BRR of 100%. This not only validated the alternative method but also substantiated that RAP GCR is constant, i.e., the grade of RAP blends linearly increased with BRR. Further evaluation of the enhanced mortar approach is recommended at intermediate and low temperatures as well as with blends including recycled asphalt shingles.     

Natural frequencies of functionally graded plates by a meshless method

We use the global collocation method, the first and the third-order shear deformation plate theories, the Mori–Tanaka technique to homogenize material properties, and approximate the trial solution with multiquadric radial basis functions to analyze free vibrations of functionally graded plates. Frequencies computed by the present method are found to agree well with those from the analytical solution of Vel and Batra, and the numerical solution of Qian et al. based on the meshless local Petrov–Galerkin formulation.     

Medical knowledge management for specific hospital departments

Medical knowledge representation and management is concerned with how to organise the often vague clinical experience of medical staff required for computable models. However, few knowledge management and acquisition tools have entered routine use, since such tools are not perceived by physicians as part of the clinical information process. An attempt to partially solve this problem, we identify two key aspects of knowledge representation and management tasks. The first is to adopt a medical knowledge standardisation to provide a consistent terminology control and to simplify the integration between knowledge management tools and the health information system. The second is to establish an effective knowledge acquisition process in specific medical fields by adapting knowledge acquisition tools. Therefore, the main goal of this work is to define computational models and to design mechanisms for the effective acquisition and management of medical knowledge in real-life hospital departments. To this end, we analyse the representation of medical knowledge (based on deep-causal models) and the development of knowledge management tools (based on ontologies), integrated within the information processing activities of the clinical user. Finally, we illustrate its applicability in the Intensive Care Unit and Pediatry scenarios.