A Polynomial Time Solution to Minimum Forwarding Set Problem in Wireless Networks under Unit Disk Coverage Model

Network-wide broadcast (simply broadcast) is a frequently used operation in wireless ad hoc networks (WANETs). One promising practical approach for energy-efficient broadcast is to use localized algorithms to minimize the number of nodes involved in the propagation of the broadcast messages. In this context, the minimum forwarding set problem (MFSP) (also known as multipoint relay (MPR) problem) has received a considerable attention in the research community. Even though the general form of the problem is shown to be NP-complete, the complexity of the problem has not been known under the practical application context of ad hoc networks. In this paper, we present a polynomial time algorithm to solve the MFSP for wireless network under unit disk coverage model. We prove the existence of some geometrical properties for the problem and then propose a polynomial time algorithm to build an optimal solution based on these properties. To the best of our knowledge, our algorithm is the first polynomial time solution to the MFSP under the unit disk coverage model. We believe that the work presented in this paper will have an impact on the design and development of new algorithms for several wireless network applications including energy-efficient multicast, broadcast, and topology control protocols for WANETs and sensor networks.     

Medical image segmentation with transform and moment based features and incremental supervised neural network

In this study, a novel incremental supervised neural network (ISNN) is proposed for the segmentation of medical images. Performance of the ISNN is investigated for tissue segmentation in medical images obtained from various imaging modalities. Two feature extraction methods based on transform and moments are comparatively investigated to segment the tissues in medical images. Two-dimensional (2D) continuous wavelet transform (CWT) and the moments of the gray-level histogram (MGH) are computed in order to form the feature vectors of ultrasound (US) bladder and phantom images, X-ray computerized tomography (CT) and magnetic resonance (MR) head images. In the 2D-CWT method, feature vectors are formed by the intensity of one pixel of each wavelet-plane of different energy bands. The MGH represents the tissues within the sub-windows by using the spatial variation of image intensities. In this study, the ISNN and Grow and Learn (GAL) network are employed for the segmentation task. It is observed that the ISNN has significantly eliminated the disadvantages of the GAL network in the segmentation of the medical images.     

Interpretation of MR images using self-organizing maps and knowledge-based expert systems

A new image segmentation system is presented to automatically segment and label brain magnetic resonance (MR) images to show normal and abnormal brain tissues using self-organizing maps (SOM) and knowledge-based expert systems. Elements of a feature vector are formed by image intensities, first-order features, texture features extracted from gray-level co-occurrence matrix and multiscale features. This feature vector is used as an input to the SOM. SOM is used to over segment images and a knowledge-based expert system is used to join and label the segments. Spatial distributions of segments extracted from the SOM are also considered as well as gray level properties. Segments are labeled as background, skull, white matter, gray matter, cerebrospinal fluid (CSF) and suspicious regions.     

ADALINE based robust control in robotics: a Riemann-Liouville fractional differintegration based learning scheme

This paper presents an approach to improve the performance of intelligent sliding model control achieved by the use of a fundamental constituent of soft computing, named Adaptive Linear Element (ADALINE). The proposed scheme is based on the fractional calculus. A previously considered tuning scheme is revised according to the rules of fractional order differintegration. After a comparison with the integer order counterpart, it is seen that the control system with the proposed adaptation scheme provides (1) better tracking performance, (2) suppression of undesired drifts in parameter evolution and (3) a very high degree of robustness and insensitivity to disturbances. The claims are justified through some simulations utilizing the dynamic model of a two degrees of freedom (DOF) direct drive robot arm and overall, the contribution of the paper is to introduce the fractional order calculus into a robust and nonlinear control problem with some outperforming features that are absent when the integer order differintegration operators are adopted.     

Metamodeling live sequence charts for code generation

This article presents a metamodeling study for Live Sequence Charts (LSCs) and Message Sequence Charts (MSCs) with an emphasis on code generation. The article discusses specifically the following points: the approach to building a metamodel for MSCs and LSCs, a metamodel extension from MSC to LSC, support for model-based code generation, and finally action model and domain-specific data model integration. The metamodel is formulated in metaGME, the metamodel language for the Generic Modeling Environment.

Photosensitized free radical polymerization using pyridinium salts

Summary The polymerization of methyl methacrylate (MMA), ethyl acrylate (EA), styrene (St) and 2-vinyl pyridine (VP) is initiated upon irradiation at >350 nm of dichloromethane solutions containing N-ethoxy-2-methylpyridinium hexafluorophosphate (EMP⁺PF₆ ^-) and anthracene or thioxanthone. Initiation mechanisms involving the formation of ethoxyl radicals during the decomposition of EMP⁺ ions via electron transfer are proposed.     

Semi-Supervised Deep Learning for Multi-Tissue Segmentation from Multi-Contrast MRI

Journal of Signal Processing Systems - Segmentation of thigh tissues (muscle, fat, inter-muscular adipose tissue (IMAT), bone, and bone marrow) from magnetic resonance imaging (MRI) scans is useful...     

Model‐based code generation for HLA federates

This paper addresses the problem of automated code generation for a High Level Architecture compliant federate application given its behavior model. The behavior model is a part of the architectural model of a federation that the federate can participate in. The federate behavior model is based on Live Sequence Charts, adopted as the behavioral specification formalism in the Federation Architecture Metamodel (FAMM). FAMM serves as a formal language for describing federation architectures. An objective is to help the testing of federation architecture by means of its prototype implementation early in the development lifecycle. A further objective is to help developers construct complete federate applications that are well modularized. The approach to achieve these objectives is aspect‐oriented in that the generated code, which handles the federate's interactions with a federation execution, serves as the base code, where the computation logic is to be weaved as an aspect. Copyright © 2009 John Wiley & Sons, Ltd.     

Recovery of sensor embedded washing machines using a multi-kanban controlled disassembly line

Product recovery involves the recovery of materials and components from returned or end-of-life products. Disassembly, an element of product recovery, is the systematic separation of an assembly into its components, subassemblies or other groupings. Stricter environmental regulations together with dramatic decrease in natural resources and landfills have increased the importance of disassembly as all product recovery options require some level of disassembly. Due to changes made during the lifetime of a product by customers or service personnel, the number and the version of components prior to disassembly is unknown. Customers may also discriminate between and demand different versions of components. The existence of non-functional components further adds to the uncertainty associated with disassembly yield. Sensors implanted into products during their production can address this uncertainty by providing information on the number, condition and version of components prior to disassembly. In this study, we evaluate the impact of sensor embedded products (SEPs) on the various performance measures of a washing machine (WM) disassembly line controlled by a multi-kanban system, which takes into consideration the highly stochastic behavior of the line while managing material and kanban flows. First, separate design of experiments studies based on orthogonal arrays are performed for conventional products and SEPs. In order to observe the response of each experiment, detailed discrete event simulation (DES) models for both types of products are developed considering the precedence relationships among the components of a WM. Then, pair-wise t-tests are conducted to compare the two cases based on different performance measures. According to the results, SEPs provide significant reductions in all costs (viz., backorder, holding, disassembly, disposal, testing and transportation) while increasing revenue and profit.