Experience with Applying Formal Methods to Protocol Specification and System Architecture

In the last three years or so we at Enterprise Platforms Group at Intel Corporation have been applying formal methods to various problems that arose during the process of defining platform architectures for Intel's processor families. In this paper we give an overview of some of the problems we have worked on, the results we have obtained, and the lessons we have learned. The last topic is addressed mainly from the perspective of platform architects.     

A new social and momentum component adaptive PSO algorithm for image segmentation

In this paper, we present a new variant of Particle Swarm Optimization (PSO) for image segmentation using optimal multi-level thresholding. Some objective functions which are very efficient for bi-level thresholding purpose are not suitable for multi-level thresholding due to the exponential growth of computational complexity. The present paper also proposes an iterative scheme that is practically more suitable for obtaining initial values of candidate multilevel thresholds. This self iterative scheme is proposed to find the suitable number of thresholds that should be used to segment an image. This iterative scheme is based on the well known Otsu’s method, which shows a linear growth of computational complexity. The thresholds resulting from the iterative scheme are taken as initial thresholds and the particles are created randomly around these thresholds, for the proposed PSO variant. The proposed PSO algorithm makes a new contribution in adapting ‘social’ and ‘momentum’ components of the velocity equation for particle move updates. The proposed segmentation method is employed for four benchmark images and the performances obtained outperform results obtained with well known methods, like Gaussian-smoothing method (Lim, Y. K., & Lee, S. U. (1990). On the color image segmentation algorithm based on the thresholding and the fuzzy c-means techniques. Pattern Recognition, 23, 935–952; Tsai, D. M. (1995). A fast thresholding selection procedure for multimodal and unimodal histograms. Pattern Recognition Letters, 16, 653–666), Symmetry-duality method (Yin, P. Y., & Chen, L. H. (1993). New method for multilevel thresholding using the symmetry and duality of the histogram. Journal of Electronics and Imaging, 2, 337–344), GA-based algorithm (Yin, P. -Y. (1999). A fast scheme for optimal thresholding using genetic algorithms. Signal Processing, 72, 85–95) and the basic PSO variant employing linearly decreasing inertia weight factor.     

A meta-heuristic cuckoo search and eigen permutation approach for model order reduction

In this paper, a new model order reduction technique is presented by combining the benefits of the meta-heuristic cuckoo search optimization and Eigen permutation methods for order reduction of higher order continuous-time systems. In the proposed approach, the numerator and the denominator polynomials of reduced order model are determined by Cuckoo search and Eigen permutation approaches, respectively. The proposed approach preserves the stability of the original system into the lower order model as the Eigen permutation retains the dominant pole with simultaneous cluster formation of the remaining real and complex poles. The effectiveness of the proposed method is validated by single-input single-output and multiple-inputs multiple-outputs numerical examples.     

Distributed adaptive state estimation and tracking by using active-passive sensor networks

Heterogeneous sensor networks (HSN) find a wide range of applications in the field of military and civilian environments, where sensor nodes are utilized to estimate the position of a target with both dynamics and control input being unknown for the purposes of tracking. In the HSN, nodes are considered active depending upon their ability to sense the target output while the others are taken passive. Accurate estimation requires local information exchange among the spatially located sensor nodes, so that the active nodes as well as the passive nodes converge simultaneously to the same value. The local information exchange among the nodes is dictated by a connected graph. By using the criterion of collective observability, a novel distributed adaptive estimation scheme is introduced via adaptive observer where the nodes are allowed to have different sensor modalities. Using the estimated information, a subset of active and passive nodes, referred to as mobile nodes, can track the moving target. By using a constant state feedback controller at each mobile node, the state and parameter estimation as well as the tracking errors are shown to be uniformly ultimately bounded. Simulation results verify theoretical claims.     

Quality,functionality, and shelf life of fermented meat and meat products: A review

Fermentation of meat is a traditional preservation method used widely for improving quality and shelf life of fermented meat products. Fermentation of meat causes a number of physical, biochemical, and microbial changes, which eventually impart functional properties, sensory characteristics, and nutritional aspects to these products and inhibit the growth of various pathogenic and spoilage microorganisms. These changes include acidification (carbohydrate catabolism), solubilization and gelation of myofibrillar and sarcoplasmic proteins of muscle, degradation of proteins and lipids, reduction of nitrate into nitrite, formation of nitrosomyoglobin, and dehydration. Dry-fermented sausages are increasingly being used as carrier of probiotics. The production of biogenic amines during fermentation can be controlled by selecting proper starter cultures and other preventive measures such as quality of raw materials, hygienic measures, temperature, etc.     

Numerical analysis of adiabatic flow of refrigerant through a spiral capillary tube

In the present work, a homogenous model including the metastable liquid region has been developed for the adiabatic flow of refrigerant through the spiral capillary tube. In order to develop the model, both liquid region and two phase region have been discretized into infinitesimal segments to take into account the effect of varying radius of curvature of spiral tube on the friction factor. The effect of the pitch of spiral on the mass flow rate of refrigerant and capillary tube length has been investigated. A comparison of flow characteristics of refrigerant R22 and its alternatives, i.e., R407C and R410A has been made at different operating conditions at the inlet of the capillary tube and it has been found that the flow characteristics of R22 and R407C are almost similar for a given condenser pressure and degree of subcooling at the inlet of capillary tube.     

Two‐Dimensional Nanomaterials for Biomedical Applications: Emerging Trends and Future Prospects

Two‐dimensional (2D) nanomaterials are ultrathin nanomaterials with a high degree of anisotropy and chemical functionality. Research on 2D nanomaterials is still in its infancy, with the majority of research focusing on elucidating unique material characteristics and few reports focusing on biomedical applications of 2D nanomaterials. Nevertheless, recent rapid advances in 2D nanomaterials have raised important and exciting questions about their interactions with biological moieties. 2D nanoparticles such as carbon‐based 2D materials, silicate clays, transition metal dichalcogenides (TMDs), and transition metal oxides (TMOs) provide enhanced physical, chemical, and biological functionality owing to their uniform shapes, high surface‐to‐volume ratios, and surface charge. Here, we focus on state‐of‐the‐art biomedical applications of 2D nanomaterials as well as recent developments that are shaping this emerging field. Specifically, we describe the unique characteristics that make 2D nanoparticles so valuable, as well as the biocompatibility framework that has been investigated so far. Finally, to both capture the growing trend of 2D nanomaterials for biomedical applications and to identify promising new research directions, we provide a critical evaluation of potential applications of recently developed 2D nanomaterials.