Multigradient field-active contour model for multilayer boundary detection of ultrasound rectal wall image

Extraction and reconstruction of rectal wall structures from an ultrasound image is helpful for surgeons in rectal clinical diagnosis and 3-D reconstruction of rectal structures from ultrasound images. The primary task is to extract the boundary of the muscular layers on the rectal wall. However, due to the low SNR from ultrasound imaging and the thin muscular layer structure of the rectum, this boundary detection task remains a challenge. An active contour model is an effective high-level model, which has been used successfully to aid the tasks of object representation and recognition in many image-processing applications. We present a novel multigradient field active contour algorithm with an extended ability for multiple-object detection, which overcomes some limitations of ordinary active contour models—"snakes." The core part in the algorithm is the proposal of multigradient vector fields, which are used to replace image forces in kinetic function for alternative constraints on the deformation of active contour, thereby partially solving the initialization limitation of active contour for rectal wall boundary detection. An adaptive expanding force is also added to the model to help the active contour go through the homogenous region in the image. The efficacy of the model is explained and tested on the boundary detection of a ring-shaped image, a synthetic image, and an ultrasound image. The experimental results show that the proposed multigradient field-active contour is feasible for multilayer boundary detection of rectal wall

Electromagnetic modeling of conformal wideband and multi-band patch antennas by bridging a solid-object modeler with MoM software

The advantages of antennas that can resemble the shape of the body to which they are attached are obvious. However, electromagnetic modeling of such unusually shaped antennas can be difficult. In this paper, the commercially available software SolidWorks(TM) is used for accurately drawing complex shapes in conjunction with the electromagnetic software FEKO(TM) to model the EM behavior of conformal antennas. The application of SolidWorks and custom-written software allows all the required information that forms the analyzed structure to be automatically inserted into FEKO, and gives the user complete control over the antenna being modeled. This approach is illustrated by a number of simulation examples of single, wideband, multi-band planar and curved patch antennas.

Immunohistological analysis of Tannerella forsythia-induced lesions in a murine model

Tannerella forsythia has been implicated as a defined periodontal pathogen. In the present study a mouse model was used to determine the phenotype of leukocytes in the lesions induced by subcutaneous injections of either live (group A) or nonviable (group B) T. forsythia. Control mice (group C) received the vehicle only. Lesions were excised at days 1, 2, 4, and 7. An avidin-biotin immunoperoxidase method was used to stain infiltrating CD4(+) and CD8(+) T cells, CD14(+) macrophages, CD19(+) B cells, and neutrophils. Hematoxylin and eosin sections demonstrated lesions with central necrotic cores surrounded by neutrophils, macrophages and lymphocytes in both group A and group B mice. Lesions from control mice exhibited no or only occasional solitary leukocytes. In both groups A and B, neutrophils were the dominant leukocyte in the lesion 1 day after injection, the numbers decreasing over the 7-day experimental period. There was a relatively low mean percent of CD4(+) and CD8(+) T cells in the lesions and, whereas the percent of CD8(+) T cells remained constant, there was a significant increase in the percent of CD4(+) T cells at day 7. This increase was more evident in group A mice. The mean percent of CD14(+) macrophages and CD19(+) B cells remained low over the experimental period, although there was a significantly higher mean percent of CD19(+) B cells at day 1. In conclusion, the results showed that immunization of mice with live T. forsythia induced a stronger immune response than nonviable organisms. The inflammatory response presented as a nonspecific immune response with evidence of an adaptive (T-cell) response by day 7. Unlike Porphyromonas gingivalis, there was no inhibition of neutrophil migration.

Tumour susceptibility to innate and adaptive immunotherapy changes during tumour maturation

Immunotherapy of tumours using T cells expanded in vitro has met with mixed clinical success suggesting that a greater understanding of tumour/T-cell interaction is required. We used a HPV16E7 oncoprotein-based mouse tumour model to study this further. In this study, we demonstrate that a HPV16E7 tumour passes through at least three stages of immune susceptibility over time. At the earliest time point, infusion of intravenous immune cells fails to control tumour growth although the same cells given subcutaneously at the tumour site are effective. In a second stage, the tumour becomes resistant to subcutaneous infusion of cells but is now susceptible to both adjuvant activated and HPV16E7-specific immune cells transferred intravenously. In the last phase, the tumour is susceptible to intravenous transfer of HPV16E7-specific cells, but not adjuvant-activated immune cells. The requirement for IFN-gamma and perforin also changes with each stage of tumour development. Our data suggest that effective adoptive T-cell therapy of tumour will need to be matched with the stage of tumour development.

Stability and cycles in a cobweb model with heterogeneous expectations

We investigate the dynamics of a cobweb model with heterogeneous beliefs, generalizing the example of Brock and Hommes (1997). We examine situations where the agents form expectations by using either rational expectations, or a type of adaptive expectations with limited memory defined from the last two prices. We specify conditions that generate cycles. These conditions depend on a set of factors that includes the intensity of switching between beliefs and the adaption parameter. We show that both Flip bifurcation and Neimark-Sacker bifurcation can occur as primary bifurcation when the steady state is unstable.

An object-oriented designed finite-difference time-domain simulator for electromagnetic analysis and design in MRI - application to high field analyses

This paper presents a finite-difference time-domain (FDTD) simulator for electromagnetic analysis and design applications in MRI. It is intended to be a complete FDTD model of an MRI system including all RF and low-frequency field generating units and electrical models of the patient. The pro-ram has been constructed in an object-oriented framework. The design procedure is detailed and the numerical solver has been verified against analytical solutions for simple cases and also applied to various field calculation problems. In particular, the simulator is demonstrated for inverse RF coil design, optimized source profile generation, and parallel imaging in high-frequency situations. The examples show new developments enabled by the simulator and demonstrate that the proposed FDTD framework can be used to analyze large-scale computational electromagnetic problems in modern MRI engineering. (C) 2004 Elsevier Inc. All rights reserved.

Analysis of the error performance of adaptive array antennas for CDMA with noncoherent M-ary orthogonal modulation in Nakagami fading

This letter presents an analytical model for evaluating the Bit Error Rate (BER) of a Direct Sequence Code Division Multiple Access (DS-CDMA) system, with M-ary orthogonal modulation and noncoherent detection, employing an array antenna operating in a Nakagami fading environment. An expression of the Signal to Interference plus Noise Ratio (SINR) at the output of the receiver is derived, which allows the BER to be evaluated using a closed form expression. The analytical model is validated by comparing the obtained results with simulation results.

Adaptive phase measurements for narrowband squeezed beams

We have previously [Phys. Rev. A 65, 043803 (2002)] analyzed adaptive measurements for estimating the continuously varying phase of a coherent beam, and a broadband squeezed beam. A real squeezed beam must have finite photon flux N and hence can be significantly squeezed only over a limited frequency range. In this paper we analyze adaptive phase measurements of this type for a realistic model of a squeezed beam. We show that, provided it is possible to suitably choose the parameters of the beam, a mean-square phase uncertainty scaling as (N/kappa)(-5/8) is possible, where kappa is the linewidth of the beam resulting from the fluctuating phase. This is an improvement over the (N/kappa)(-1/2) scaling found previously for coherent beams. In the experimentally realistic case where there is a limit on the maximum squeezing possible, the variance will be reduced below that for coherent beams, though the scaling is unchanged.

Investigating the performance analysis of EASI algorithm and EKENS algorithm in nonlinear model

This paper investigates the performance of EASI algorithm and the proposed EKENS algorithm for linear and nonlinear mixtures. The proposed EKENS algorithm is based on the modified equivariant algorithm and kernel density estimation. Theory and characteristic of both the algorithms are discussed for blind source separation model. The separation structure of nonlinear mixtures is based on a nonlinear stage followed by a linear stage. Simulations with artificial and natural data demonstrate the feasibility and good performance of the proposed EKENS algorithm.

A formal object-oriented approach to defining consistency constraints for UML models

We discuss how integrity consistency constraints between different UML models can be precisely defined at a language level. In doing so, we introduce a formal object-oriented metamodeling approach. In the approach, integrity consistency constraints between UML models are defined in terms of invariants of the UML model elements used to define the models at the language-level. Adopting a formal approach, constraints are formally defined using Object-Z. We demonstrate how integrity consistency constraints for UML models can be precisely defined at the language-level and once completed, the formal description of the consistency constraints will be a precise reference of checking consistency of UML models as well as for tool development.

Using integrated metamodeling to define OO design patterns with object-z and UML

Three important goals in describing software design patterns are: generality, precision, and understandability. To address these goals, this paper presents an integrated approach to specifying patterns using Object-Z and UML. To achieve the generality goal, we adopt a role-based metamodeling approach to define patterns. With this approach, each pattern is defined as a pattern role model. To achieve precision, we formalize role concepts using Object-Z (a role metamodel) and use these concepts to define patterns (pattern role models). To achieve understandability, we represent the role metamodel and pattern role models visually using UML. Our pattern role models provide a precise basis for pattern-based model transformations or refactoring approaches.

Architectural design in object-z

We present a process for introducing an object-oriented architecture into an abstract functional specification written in Object-Z. Since the design is derived from the specification, correctness concerns are addressed as pan of the design process. We base our approach on refactoring rules that apply to class structure, and use the rules to implement design patterns. As a motivating example, we introduce a user-interface design that follows the model-view-controller paradigm into an existing specification.

An object-orient designed FDTD simulator: Applications to high field systems

An object-oriented finite-difference time-domain (FDTD) simulator has been developed for electromagnetic study and design applications in Magnetic Resonance Imaging. It is aimed to be a complete FDTD model of an MRI system including all high and low-frequency field generating units and electrical models of the patient. The design method is described and MRI-based numerical examples are presented to illustrate the function of the numerical solver, particular emphasis is placed on high field studies.