Automated design of self-stabilization

Self-stabilization is a property of a distributed system such that, regardless of the legitimacy of its current state, the system behavior shall eventually reach a legitimate state and shall remain legitimate thereafter. The elegance of self-stabilization stems from the fact that it distinguishes distributed systems by a strong fault tolerance property against arbitrary state perturbations. The difficulty of designing and reasoning about self-stabilization has been witnessed by many researchers; most of the existing techniques for the verification and design of self-stabilization are either brute-force, or adopt manual approaches non-amenable to automation. In this dissertation, we first investigate the possibility of automatically designing self-stabilization through global state space exploration. In particular, we develop a set of heuristics for automating the addition of recovery actions to distributed protocols on various network topologies. Our heuristics equally exploit the computational power of a single workstation and the available parallelism on computer clusters. We obtain existing and new stabilizing solutions for classical protocols like maximal matching, ring coloring, mutual exclusion, leader election and agreement. Second, we consider a foundation for local reasoning about self-stabilization; i.e., study the global behavior of the distributed system by exploring the state space of just one of its components. It turns out that local reasoning about deadlocks and livelocks is possible for an interesting class of protocols whose proof of stabilization is otherwise complex. In particular, we provide necessary and sufficient conditions – verifiable in the local state space of every process – for global deadlock- and livelock-freedom of protocols on ring topologies. Local reasoning potentially circumvents two fundamental problems that complicate the automated design and verification of distributed protocols: (1) state explosion and (2) partial state information. Moreover, local proofs of convergence are independent of the number of processes in the network, thereby enabling our assertions about deadlocks and livelocks to apply on rings of arbitrary sizes without worrying about state explosion.

Outcome after radical cystectomy with limited or extended pelvic lymph node dissection

PURPOSE: We compared recurrence patterns and survival of patients with urothelial bladder cancer undergoing radical cystectomy who either had limited or extended pelvic lymph node dissection at 2 institutions between 1987 and 2000. MATERIALS AND METHODS: Two consecutive series of patients treated with radical cystectomy and limited pelvic lymph node dissection (336; Cleveland Clinic) and extended pelvic lymph node dissection (322; University of Bern) were analyzed. All cases were staged N0M0 prior to radical cystectomy, and none were treated with neoadjuvant radiotherapy or chemotherapy. Patients with PTis/pT1 and pT4 disease were excluded from analysis. Pathological characteristics based on the 1997 TNM system and recurrence patterns were determined. RESULTS: The overall lymph node positive rate was 13% for patients with limited and 26% for those who had extended pelvic lymph node dissection. The 5-year recurrence-free survival of patients with lymph node positive disease was 7% for limited and 35% for extended pelvic lymph node dissection. The 5-year recurrence-free survival for pT2pN0 cases was 67% for limited and 77% for extended pelvic lymph node dissection, and the respective percentages for pT3pN0 cases were 23% and 57% (p <0.0001). The 5-year recurrence-free survival for pT2pN0-2 cases was 63% for limited and 71% for extended pelvic lymph node dissection, and for pT3pN0-2 cases the respective figures were 19% and 49% (p <0.0001). Incidence of local and systemic failure correlated closely with pathological stage for both series. CONCLUSIONS: Our data suggest that limited pelvic lymph node dissection is associated with suboptimal staging, poorer outcome for patients with node positive and node negative disease, and a higher rate of local progression. Extended pelvic lymph node dissection allows for more accurate staging and improved survival of patients with nonorgan confined and lymph node positive disease.

[A-mode ultrasonic pointer for navigated pelvic surgery]

Surgical navigation has proven to be a minimally invasive procedure that enables precise surgical interventions with reduced exposure to irradiation for patient and personnel. Fluoroscopy-based modules have prevailed on the market. For certain operations of the pelvis computed tomography is necessary with its high imaging quality and considerably larger scan volume. To enable navigation in these cases, matching of the CT data set and the patient's real pelvic bone is essential. The common pair point-matching algorithm is complemented by the surface-matching algorithm to achieve an even higher overall precision of the system. For conventional surface matching with a solid pointer, the bone has to be exposed from soft tissue quite extensively, using a solid pointer. This conflicts with the claim of computer-assisted surgery to be minimally invasive. We integrated an A-mode ultrasonic pointer with the intention to perform extended surface matching on the pelvic bone noninvasively. Related to the conventional method, comparable and to some extent even improved precision conditions could be established.

Epothilones as lead structures for the synthesis-based discovery of new chemotypes for microtubule stabilization

Epothilones are macrocyclic bacterial natural products with potent microtubule-stabilizing and antiproliferative activity. They have served as successful lead structures for the development of several clinical candidates for anticancer therapy. However, the structural diversity of this group of clinical compounds is rather limited, as their structures show little divergence from the original natural product leads. Our own research has explored the question of whether epothilones can serve as a basis for the development of new structural scaffolds, or chemotypes, for microtubule stabilization that might serve as a basis for the discovery of new generations of anticancer drugs. We have elaborated a series of epothilone-derived macrolactones whose overall structural features significantly deviate from those of the natural epothilone scaffold and thus define new structural families of microtubule-stabilizing agents. Key elements of our hypermodification strategy are the change of the natural epoxide geometry from cis to trans, the incorporation of a conformationally constrained side chain, the removal of the C3-hydroxyl group, and the replacement of C12 with nitrogen. So far, this approach has yielded analogs 30 and 40 that are the most advanced, the most rigorously modified, structures, both of which are potent antiproliferative agents with low nanomolar activity against several human cancer cell lines in vitro. The synthesis was achieved through a macrolactone-based strategy or a high-yielding RCM reaction. The 12-aza-epothilone ("azathilone" 40) may be considered a "non-natural" natural product that still retains most of the overall structural characteristics of a true natural product but is structurally unique, because it lies outside of the general scope of Nature's biosynthetic machinery for polyketide synthesis. Like natural epothilones, both 30 and 40 promote tubulin polymerization in vitro and at the cellular level induce cell cycle arrest in mitosis. These facts indicate that cancer cell growth inhibition by these compounds is based on the same mechanistic underpinnings as those for natural epothilones. Interestingly, the 9,10-dehydro analog of 40 is significantly less active than the saturated parent compound, which is contrary to observations for natural epothilones B or D. This may point to differences in the bioactive conformations of N-acyl-12-aza-epothilones like 40 and natural epothilones. In light of their distinct structural features, combined with an epothilone-like (and taxol-like) in vitro biological profile, 30 and 40 can be considered as representative examples of new chemotypes for microtubule stabilization. As such, they may offer the same potential for pharmacological differentiation from the original epothilone leads as various newly discovered microtubule-stabilizing natural products with macrolactone structures, such as laulimalide, peloruside, or dictyostatin.

DC MICROGRID STABILIZATION THROUGH FUZZY CONTROL OF INTERLEAVED, HETEROGENEOUS STORAGE ELEMENTS

As microgrid power systems gain prevalence and renewable energy comprises greater and greater portions of distributed generation, energy storage becomes important to offset the higher variance of renewable energy sources and maximize their usefulness. One of the emerging techniques is to utilize a combination of lead-acid batteries and ultracapacitors to provide both short and long-term stabilization to microgrid systems. The different energy and power characteristics of batteries and ultracapacitors imply that they ought to be utilized in different ways. Traditional linear controls can use these energy storage systems to stabilize a power grid, but cannot effect more complex interactions. This research explores a fuzzy logic approach to microgrid stabilization. The ability of a fuzzy logic controller to regulate a dc bus in the presence of source and load fluctuations, in a manner comparable to traditional linear control systems, is explored and demonstrated. Furthermore, the expanded capabilities (such as storage balancing, self-protection, and battery optimization) of a fuzzy logic system over a traditional linear control system are shown. System simulation results are presented and validated through hardware-based experiments. These experiments confirm the capabilities of the fuzzy logic control system to regulate bus voltage, balance storage elements, optimize battery usage, and effect self-protection.

Combined ultrasmall superparamagnetic particles of iron oxide-enhanced and diffusion-weighted magnetic resonance imaging reliably detect pelvic lymph node metastases in normal-sized nodes of bladder and prostate cancer patients

BACKGROUND: Lymph node staging of bladder or prostate cancer using conventional imaging is limited. Newer approaches such as ultrasmall superparamagnetic particles of iron oxide (USPIO) and diffusion-weighted magnetic resonance imaging (DW-MRI) have inconsistent diagnostic accuracy and are difficult to interpret. OBJECTIVE: To assess whether combined USPIO and DW-MRI (USPIO-DW-MRI) improves staging of normal-sized lymph nodes in bladder and/or prostate cancer patients. DESIGN, SETTING, AND PARTICIPANTS: Twenty-one consecutive patients with bladder and/or prostate cancer were enrolled between May and October 2008. One patient was excluded secondary to bone metastases detected on DW-MRI with subsequent abstention from surgery. INTERVENTION: Patients preoperatively underwent 3-T MRI before and after administration of lymphotropic USPIO using conventional MRI sequences combined with DW-MRI. Surgery consisted of extended pelvic lymphadenectomy and resection of primary tumors. MEASUREMENTS: Diagnostic accuracies of the new combined USPIO-DW-MRI approach compared with the "classic" reading method evaluating USPIO images without and with DW-MRI versus histopathology were evaluated. Duration of the two reading methods was noted for each patient. RESULTS AND LIMITATIONS: Diagnostic accuracy (90% per patient or per pelvic side) was comparable for the classic and the USPIO-DW-MRI reading method, while time of analysis with 80 min (range 45-180 min) for the classic and 13 min (range 5-90 min) for the USPIO-DW-MRI method was significantly shorter (p<0.0001). Interobserver agreement (three blinded readers) was high with a kappa value of 0.75 and 0.84, respectively. Histopathological analysis showed metastases in 26 of 802 analyzed lymph nodes (3.2%). Of these, 24 nodes (92%) were correctly diagnosed as positive on USPIO-DW-MRI. In two patients, one micrometastasis each (1.0x0.2 mm; 0.7x0.4 mm) was missed in all imaging studies. CONCLUSIONS: USPIO-DW-MRI is a fast and accurate method for detecting pelvic lymph node metastases, even in normal-sized nodes of bladder or prostate cancer patients.

Pelvic floor stimulation: what are the good vibrations?

OBJECTIVE: The aim of this study was to determine if two different whole body vibration, sinusoidal vibration (SV) and stochastic resonance vibration (SRV), using various intensities lead to a reactive activation of pelvic floor muscles. STUDY DESIGN: We compared the pelvic floor muscle response of a healthy control group with that of a post partum group with weakened pelvic floor contraction. Activation effects of stochastic resonance vibration and sinusoidal vibration with six increasing vibration intensities were investigated using pelvic floor EMG and compared to activity during rest and maximum voluntary contraction. RESULTS: Both whole body vibration systems were able to activate pelvic floor muscles significantly depending on vibration intensity. Generally, the SRV achieved a significantly higher activation than maximum voluntary contraction, especially in women post partum and using a frequency of 6-12 Hz. CONCLUSION: SRV, compared to SV, leads to higher pelvic floor muscle activation in subjects with weakened pelvic floor muscles and achieves higher pelvic floor activation than maximum voluntary contraction alone. Neurourol. Urodynam. 28:405-410, 2009. (c) 2009 Wiley-Liss, Inc.