Wavefront control in space with MEMS deformable mirrors for exoplanet direct imaging

To meet the high contrast requirement of 1×10[superscript −10] to image an Earth-like planet around a sun-like star, space telescopes equipped with coronagraphs require wavefront control systems. Deformable mirrors (DMs) are a key element of a wavefront control system, as they correct for imperfections, thermal distortions, and diffraction that would otherwise corrupt the wavefront and ruin the contrast. The goal of the CubeSat DM technology demonstration mission is to test the ability of a microelectromechanical system (MEMS) DM to perform wavefront control on-orbit on a nanosatellite platform. We consider two approaches for an MEMS DM technology demonstration payload that will fit within the mass, power, and volume constraints of a CubeSat: (1) a Michelson interferometer and (2) a Shack-Hartmann wavefront sensor. We clarify the constraints on the payload based on the resources required for supporting CubeSat subsystems drawn from subsystems that we have developed for a different CubeSat flight project. We discuss results from payload laboratory prototypes and their utility in defining mission requirements

Diagnosis of partially observed petri net based on analytical redundancy relationships

In this paper, we design an efficient diagnosis technique for partially observed discrete event systems modeled by labeled Petri nets. The fault detection is based on analytical redundancy relationships derived from the nominal model. The decomposition of the Tun‐induced subnet to connected subgraphs allows determining the subgraphs that may contain faults. To appreciate the fault localization, a set of analytical redundancy relationships is etablished for each fault transition based on the fault model. The proposed diagnosis approach is independent of the length of the observed sequence and independent of the number of unobservable transitions. The detected faults with the proposed approach are faults which led to a change in the number of tokens in the net

Good Random Matrices over Finite Fields

The random matrix uniformly distributed over the set of all m-by-n matrices over a finite field plays an important role in many branches of information theory. In this paper a generalization of this random matrix, called k-good random matrices, is studied. It is shown that a k-good random m-by-n matrix with a distribution of minimum support size is uniformly distributed over a maximum-rank-distance (MRD) code of minimum rank distance min{m,n}-k+1, and vice versa. Further examples of k-good random matrices are derived from homogeneous weights on matrix modules. Several applications of k-good random matrices are given, establishing links with some well-known combinatorial problems. Finally, the related combinatorial concept of a k-dense set of m-by-n matrices is studied, identifying such sets as blocking sets with respect to (m-k)-dimensional flats in a certain m-by-n matrix geometry and determining their minimum size in special cases.Comment: 25 pages, publishe

MEMS deformable mirror CubeSat testbed

To meet the high contrast requirement of 1 × 10[superscript −10] to image an Earth-like planet around a Sun-like star, space telescopes equipped with coronagraphs require wavefront control systems. Deformable mirrors are a key element of these systems that correct for optical imperfections, thermal distortions, and diffraction that would otherwise corrupt the wavefront and ruin the contrast. However, high-actuator-count MEMS deformable mirrors have yet to fly in space long enough to characterize their on-orbit performance and reduce risk by developing and operating their supporting systems. The goal of the MEMS Deformable Mirror CubeSat Testbed is to develop a CubeSat-scale demonstration of MEMS deformable mirror and wavefront sensing technology. In this paper, we consider two approaches for a MEMS deformable mirror technology demonstration payload that will fit within the mass, power, and volume constraints of a CubeSat: 1) a Michelson interferometer and 2) a Shack-Hartmann wavefront sensor. We clarify the constraints on the payload based on the resources required for supporting CubeSat subsystems drawn from subsystems that we have developed for a different CubeSat flight project. We discuss results from payload lab prototypes and their utility in defining mission requirements.United States. National Aeronautics and Space Administration (Office of the Chief Technologist NASA Space Technology Research Fellowship)Jeptha and Emily Wade FundMassachusetts Institute of Technology. Undergraduate Research Opportunities Progra

Random subcubes as a toy model for constraint satisfaction problems

We present an exactly solvable random-subcube model inspired by the structure of hard constraint satisfaction and optimization problems. Our model reproduces the structure of the solution space of the random k-satisfiability and k-coloring problems, and undergoes the same phase transitions as these problems. The comparison becomes quantitative in the large-k limit. Distance properties, as well the x-satisfiability threshold, are studied. The model is also generalized to define a continuous energy landscape useful for studying several aspects of glassy dynamics.Comment: 21 pages, 4 figure

Barriers to and Facilitators of a Career as a Physician‐Scientist Among Rheumatologists in the US

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/113102/1/acr22569.pd

Minimal state models for ionic channels involved in glucagon secretion

Pancreatic alpha cells synthesize and release glucagon. This hormone along with insulin, preserves blood glucose levels within a physiological range. During low glucose levels, alpha cells exhibit electrical activity related to glucagon secretion. In this paper, we introduce minimal state models for those ionic channels involved in this electrical activity in mice alpha cells. For estimation of model parameters, we use Monte Carlo algorithms to fit steadystate channel currents. Then, we simulate dynamic ionic currents following experimental protocols. Our aims are 1) To understand the individual ionic channel functioning and modulation that could affect glucagon secretion, and 2) To simulate ionic currents actually measured in voltage-clamp alpha-cell experiments in mice. Our estimations indicate that alpha cells are highly permeable to sodium and potassium which mainly manage action potentials. We have also found that our estimated N-type calcium channel population and density in alpha cells is in good agreement to those reported for L-type calcium channels in beta cells. This finding is strongly relevant since both, L-type and N-type calcium channels, play a main role in insulin and glucagon secretion, respectively

Inhibitory Effects of Leptin on Pancreatic α-Cell Function

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)OBJECTIVE-Leptin released from adipocytes plays a key role in the control of food intake, energy balance, and glucose homeostasis. In addition to its central action, leptin directly affects pancreatic beta-cells, inhibiting insulin secretion, and, thus, modulating glucose homeostasis. However, despite the importance of glucagon secretion in glucose homeostasis, the role of leptin in a-cell function has not been studied in detail. In the present study, we have investigated this functional interaction. RESEARCH DESIGN AND METHODS-The presence of leptin receptors (ObR) was demonstrated by RT-PCR analysis, Western blot, and immunocytochemistry. Electrical activity was analyzed by patch-clamp and Ca(2+) signals by confocal microscopy. Exocytosis and glucagon secretion were assessed using fluorescence methods and radioimmunoassay, respectively. RESULTS-The expression of several ObR isoforms (a-e) was detected in glucagon-secreting alpha TC1-9 cells. ObRb, the main isoform involved in leptin signaling, was identified at the protein level in alpha TC1-9 cells as well as in mouse and human alpha-cells. The application of leptin (6.25 nmol/l) hyperpolarized the alpha-cell membrane potential, suppressing the electrical activity induced by 0.5 mmol/l glucose. Additionally, leptin inhibited Ca(2+) signaling in alpha TC1-9 cells and in mouse and human alpha-cells within intact islets. A similar result occurred with 0.625 nmol/l leptin. These effects were accompanied by a decrease in glucagon secretion from mouse islets and were counteracted by the phosphatidylinositol 3-kinase inhibitor, wortmannin, suggesting the involvement of this pathway in leptin action. CONCLUSIONS-These results demonstrate that leptin inhibits alpha-cell function, and, thus, these cells are involved in the adipo-insular communication. Diabetes 58:1616-1624, 200958716161624Ministerio de Educacion y Ciencia [BFU2007-67607, PCI2005-A7-0131, BFU2008-01492, SAF2006-07382]Ministerio de Ciencia a InnovacionFundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)Ministerio de Educacion y Ciencia [BFU2007-67607, PCI2005-A7-0131, BFU2008-01492, SAF2006-07382]FAPESP [2008/53811-8