Modeling and Slew-Maneuver Control of a Flexible Spacecraft

Slew-maneuver control problem is studied for a flexible spacecraft consisting of a rigid main body to which a long flexible appendage is attached. Nonlinear dynamical system models are developed using both distributed parameter modeling and discrete parameter modeling; these models are shown to be equivalent for appropriately chosen system parameters. Lyapunov-based nonlinear feedback controllers are designed for the control of rigid-body motion while suppressing the lowest frequency vibrational mode. In case of large-angle maneuvers, these nonlinear controllers are shown to outperform the linearization-based controllers including the filtered proportional-derivative (PD) controllers as well as the linear quadratic regulator (LQR) controllers. Finally, the theoretical development is applied to a benchmark flexible system and a number of computer simulations are included to illustrate the results

Model-based verification of a security protocol for conditional access to services

peer reviewedWe use the formal language LOTOS to specify and verify the robustness of the Equicrypt protocol under design in the European OKAPI project for conditional access to multimedia services. We state some desired security properties and formalize them. We describe a generic intruder process and its modelling, and show that some properties are falsified in the presence of this intruder. The diagnostic sequences can be used almost directly to exhibit the scenarios of possible attacks on the protocol. Finally, we propose an improvement of the protocol which satisfies our properties

High Spatial Resolution Thermal-Infrared Spectroscopy with ALES: Resolved Spectra of the Benchmark Brown Dwarf Binary HD 130948BC

We present 2.9-4.1 micron integral field spectroscopy of the L4+L4 brown dwarf binary HD 130948BC, obtained with the Arizona Lenslets for Exoplanet Spectroscopy (ALES) mode of the Large Binocular Telescope Interferometer (LBTI). The HD 130948 system is a hierarchical triple system, in which the G2V primary is joined by two co-orbiting brown dwarfs. By combining the age of the system with the dynamical masses and luminosities of the substellar companions, we can test evolutionary models of cool brown dwarfs and extra-solar giant planets. Previous near-infrared studies suggest a disagreement between HD 130948BC luminosities and those derived from evolutionary models. We obtained spatially-resolved, low-resolution (R~20) L-band spectra of HD 130948B and C to extend the wavelength coverage into the thermal infrared. Jointly using JHK photometry and ALES L-band spectra for HD 130948BC, we derive atmospheric parameters that are consistent with parameters derived from evolutionary models. We leverage the consistency of these atmospheric quantities to favor a younger age (0.50 \pm 0.07 Gyr) of the system compared to the older age (0.79 \pm 0.22 Gyr) determined with gyrochronology in order to address the luminosity discrepancy.Comment: 17 pages, 9 figures, Accepted to Ap

Characterization of the 1B-adrenergic receptor gene promoter region and hypoxia regulatory elements in vascular smooth muscle

We previously demonstrated that alpha1B-adrenergic receptor (AR) gene transcription, mRNA, and functionally coupled receptors increase during 3% O2 exposure in aorta, but not in vena cava smooth muscle cells (SMC). We report here that alpha1BAR mRNA also increases during hypoxia in liver and lung, but not heart and kidney. A single 2.7-kb alpha1BAR mRNA was detected in aorta and vena cava during normoxia and hypoxia. The alpha1BAR 5' flanking region was sequenced to -2,460 (relative to ATG +1). Transient transfection experiments identify the minimal promoter region between -270 and -143 and sequence between -270 and -248 that are required for transcription of the alpha1BAR gene in aorta and vena cava SMC during normoxia and hypoxia. An ATTAAA motif within this sequence specifically binds aorta, vena cava, and DDT1MF-2 nuclear proteins, and transcription primarily initiates downstream of this motif at approximately -160 in aorta SMC. Sequence between -837 and -273 conferred strong hypoxic induction of transcription in aorta, but not in vena cava SMC, whereas the cis-element for the transcription factor, hypoxia-inducible factor 1, conferred hypoxia-induced transcription in both aorta and vena cava SMC. These data identify sequence required for transcription of the alpha1BAR gene in vascular SMC and suggest the atypical TATA-box, ATTAAA, may mediate this transcription. Hypoxia-sensitive regions of the alpha1BAR gene also were identified that may confer the differential hypoxic increase in alpha1BAR gene transcription in aorta, but not in vena cava SMC

Молдавская идентичность в начале XXI в.: реалии и перспективы

Территория между Прутом и Днестром, названная позже Бессарабией, была присоединена к Российской империи в результате русско-турецкой войны 1806-1812 гг. согласно Бухарестскому мирному договору (16(28) мая 1812 г.)

Regulation of Vascular Smooth Muscle Growth by -Adrenoreceptor Subtypes in Vitro and in Situ

Rat aorta smooth muscle cells which express all three alpha 1-adrenoreceptors (alpha 1A, alpha 1B and alpha 1D) were used to determine the effect of stimulation of alpha 1-adrenergic receptor subtypes on cell growth. "Combined" alpha 1-adrenoreceptor subtype stimulation with norepinephrine alone caused a concentration-dependent, prazosin-sensitive increase in protein content and synthesis: 48 h of stimulation at 1 microM increased cell protein to 216 +/- 40% of time-matched controls (p = 0.008) and RNA to 140 +/- 13% (p = 0.03); protein synthesis increased to 167 +/- 13% (p < 0.01) after 24 h. Stimulation with norepinephrine plus the selective alpha 1A/alpha 1D antagonist 5-methylurapidil produced greater increases in alpha-actin mRNA (270 +/- 40% at 8 h; p = 0.007), total cell protein (220 +/- 45% at 24 h; p = 0.004), and RNA (135 +/- 8% at 24 h; p = 0.01). These effects were prevented by pretreatment with the selective alpha 1B antagonist chloroethylclonidine. Comparable results were obtained for intact aortae. Stimulation with norepinephrine plus 5-methylurapidil increased (p < 0.05) tissue protein, RNA, dry weight, and alpha-actin mRNA; and as in culture cells, combined stimulation with norepinephrine alone attenuated these responses. By comparison, adventitia (fibroblasts) was unaffected. Removal of endothelial cells had no effect. alpha 1B mRNA decreased by 42 +/- 12% (p = 0.01) in cultured cells during combined alpha 1-adrenoreceptor stimulation and by 23 +/- 8% (p = 0.03) for intact aorta. alpha 1D and beta-actin mRNA were unchanged in cultured cells, aorta media, and adventitia. These findings suggest that prolonged stimulation of chloroethylclonidine-sensitive, possibly alpha 1B-adrenoceptors induces hypertrophy of arterial smooth muscle cells and that stimulation of 5-methylurapidil-sensitive, non-alpha 1B-adrenoreceptors attenuates this growth response