On the Enforcement of a Class of Nonlinear Constraints on Petri Nets

International audienceThis paper focuses on the enforcement of nonlinear constraints in Petri nets. First, a supervisory structure is proposed for a nonlinear constraint. The proposed structure consists of added places and transitions. It controls the transitions in the net to be controlled only but does not change its states since there is no arc between the added transitions and the places in the original net. Second, an integer linear programming model is proposed to transform a nonlinear constraint to a minimal number of conjunc-tive linear constraints that have the same control performance as the nonlinear one. By using a place invariant based method, the obtained linear constraints can be easily enforced by a set of control places. The control places consist to a supervisor that can enforce the given nonlinear constraint. On condition that the admissible markings space of a nonlinear constraint is non-convex, another integer linear programming model is developed to obtain a minimal number of constraints whose disjunctions are equivalent to the nonlinear constraint. Finally, a number of examples are provided to demonstrate the proposed approach

Double-diffusive Marangoni convection in a rectangular cavity : onset of convection

2009-2010 > Academic research: refereed > Publication in refereed journalVersion of RecordPublishe

A general electromagnetic field-circuit coupling method based on time-stepping finite element analysis for performance analysis of pulse-width modulated switching converters considering hysteresis effects

Considering the special characteristics existing in the pulse-width modulated (PWM) switching converter, a general method for the time-stepping finite element analysis based electromagnetic field coupling with its feeding circuit used in the analysis of PWM switching converter considering hysteresis effects is introduced in this paper. Comparing with the electromagnetic field-circuit indirect coupling method (ICM), the proposed method has overcome the drawback that the ICM cannot take the hysteresis effects into account. Compared with the electromagnetic field-circuit direct coupling method (DCM), the proposed method has the similar accuracy but higher efficiency. Furthermore, like the ICM, the proposed method also divides the system with higher state dimensions produced by the DCM into two subsystems with lower state dimensions; this may reduce the algorithm convergence problem which often happens in high dimensional systems. © 2008 American Institute of Physics

IFN-gamma is associated with risk of Schistosoma japonicum infection in China.

Before the start of the schistosomiasis transmission season, 129 villagers resident on a Schistosoma japonicum-endemic island in Poyang Lake, Jiangxi Province, 64 of whom were stool-positive for S. japonicum eggs by the Kato method and 65 negative, were treated with praziquantel. Forty-five days later the 93 subjects who presented for follow-up were all stool-negative. Blood samples were collected from all 93 individuals. S. japonicum soluble worm antigen (SWAP) and soluble egg antigen (SEA) stimulated IL-4, IL-5 and IFN-gamma production in whole-blood cultures were measured by ELISA. All the subjects were interviewed nine times during the subsequent transmission season to estimate the intensity of their contact with potentially infective snail habitats, and the subjects were all re-screened for S. japonicum by the Kato method at the end of the transmission season. Fourteen subjects were found to be infected at that time. There was some indication that the risk of infection might be associated with gender (with females being at higher risk) and with the intensity of water contact, and there was evidence that levels of SEA-induced IFN-gamma production were associated with reduced risk of infection

EVH Black Holes, AdS3 Throats and EVH/CFT Proposal

Within class of generic black holes there are extremal black holes (with vanishing Hawking temperature T) and vanishing horizon area Ah, but with finite Ah/T ratio,the Extremal Vanishing Horizon (EVH) black holes. We study the near horizon limit of a four dimensional EVH black hole solution to a generic (gauged) Einstein-Maxwell dilaton theory and show that in the near horizon limit they develop a throat which is a pinching orbifold limit of AdS3. This is an extension of the well known result for extremal black holes the near horizon limit of which contains an AdS2 throat. We show that in the near EVH near horizon limit the pinching AdS3 factor turns to a pinching BTZ black hole and that this near horizon limit is indeed a decoupling limit. We argue that the pinching AdS3 or BTZ orbifold is resolved if the near horizon limit is accompanied by taking the 4d Newton constant G4 to zero such that the Bekenstein-Hawking entropy S = Ah/(4G4) remains finite. We propose that in this limit the near horizon EVH black hole is dual to a 2d CFT. We provide pieces of evidence in support of the EVH/CFT correspondence and comment on its connection to the Kerr/CFT proposal and speculations how the EVH/CFT may be used to study generic e.g. Schwarzchild-type black holes.Comment: 31 pages, 3 figures, JHEP styl

The optical microscopy with virtual image breaks a record: 50-nm resolution imaging is demonstrated

We demonstrate a new 'microsphere nanoscope' that uses ordinary SiO2 microspheres as superlenses to create a virtual image of the object in near field. The magnified virtual image greatly overcomes the diffraction limit. We are able to resolve clearly 50-nm objects under a standard white light source in both transmission and reflection modes. The resolution achieved for white light opens a new opportunity to image viruses, DNA and molecules in real time

A survey on health-promoting lifestyle among community-dwelling older people with hypertension in Macau

2007-2008 > Academic research: refereed > Publication in refereed journalVersion of RecordPublishe

Reduced RET expression in gut tissue of individuals carrying risk alleles of Hirschsprung's disease

Receptor tyrosine kinase (RET) single nucleotide polymorphisms (SNPs) are associated with the Hirschsprung's disease (HSCR). We investigated whether the amount of RET expressed in the ganglionic gut of human was dependent on the genotype of three regulatory SNPs (-5G>A rs10900296 and -1A>C rs10900297 in the promoter, and C>T rs2435357 in intron 1). We examined the effects of three regulatory SNPs on the RET gene expression in 67 human ganglionic gut tissues using quantitative real-time PCR. Also, 315 Chinese HSCR patients and 325 ethnically matched controls were genotyped for the three SNPs by polymerase chain reaction (PCR) and direct sequencing. The expression of RET mRNA in human gut tissue did indeed correlate with the genotypes of the individuals. The lowest RET expression was found for those individuals homozygous for the three risk alleles (A-C-T/A-C-T), and the highest for those homozygous for the 'wild-type' counterpart (G-A-C/G-A-C), with expression values ranging from 218.32±125.69 (mean ± SE) in tissues from individuals carrying G-A-C/G-A-C to 31.42±8.42 for individuals carrying A-C-T/A-C-T (P 5 0.018). As expected, alleles -5A, -1C and intron 1 T were associated with HSCR (P 5 5.94 × 10-31, 3.12 3 10-24 and 5.94 × 10-37, respectively) as was the haplotype encompassing the three associated alleles (A-C-T) when compared with the wild-type counterpart G-A-C (χ2 5 155.29, P « 0.0001). To our knowledge, this is the first RET expression genotype-phenotype correlation study conducted on human subjects to indicate common genetic variants in the regulatory region of RET may play a role in mediating susceptibility to HSCR, by conferring a significant reduction of the RET expression. © The Author 2010. Published by Oxford University Press. All rights reserved. For Permissions, please email: [email protected]

Extremely long quasiparticle spin lifetimes in superconducting aluminium using MgO tunnel spin injectors

There has been an intense search in recent years for long-lived spin-polarized carriers for spintronic and quantum-computing devices. Here we report that spin polarized quasi-particles in superconducting aluminum layers have surprisingly long spin-lifetimes, nearly a million times longer than in their normal state. The lifetime is determined from the suppression of the aluminum's superconductivity resulting from the accumulation of spin polarized carriers in the aluminum layer using tunnel spin injectors. A Hanle effect, observed in the presence of small in-plane orthogonal fields, is shown to be quantitatively consistent with the presence of long-lived spin polarized quasi-particles. Our experiments show that the superconducting state can be significantly modified by small electric currents, much smaller than the critical current, which is potentially useful for devices involving superconducting qubits

Long-term in vivo imaging and measurement of dendritic shrinkage of retinal ganglion cells

PURPOSE. To monitor and measure dendritic shrinkage of retinal ganglion cells (RGCs) in a strain of transgenic mice (Thy-1 YFP) that expresses yellow fluorescent proteins in neurons under the control of a Thy-1 promoter. METHODS. A total of 125 RGCs from 16 eyes of Thy-1 YFP transgenic mice were serially imaged with a confocal scanning laser ophthalmoscope for 6 months after optic nerve crush. Quantitative analysis of cell body area, axon diameter, dendritic field, number of terminal branches, total dendritic branch length, branching complexity, symmetry, and distance from the optic disc was used to characterize the morphology of RGCs, describe the patterns of axonal and dendritic degeneration, identify the morphologic predictors for cell survival, and estimate the rate of dendritic shrinkage. RESULTS. RGC damage was observed prospectively to begin with progressive dendritic shrinkage, followed by loss of the axon and the cell body. In a small proportion of RGCs, progressive axonal changes including fragmentation, beading, retraction, and bulb formation were also observed. RGCs with a larger dendritic field and a longer total dendritic branch length in general have a better survival probability. The rate of dendritic shrinkage was variable with a slower rate observed in cells having a larger dendritic field, a longer total dendritic branch length, and a greater distance from the optic disc. CONCLUSIONS. Estimating the probability of RGC survival and measuring the rate of dendritic shrinkage could become a new paradigm for investigating neuronal degeneration and evaluating the response of neuroprotective treatment. © 2011 The Association for Research in Vision and Ophthalmology, Inc.postprin