IOPT Petri Net State Space Generation Algorithm with Maximal-Step Execution Semantics

This paper presents an algorithm to efficiently generate the state-space of systems specified using the IOPT Petri-net modeling formalism. IOPT nets are a non-autonomous Petri-net class, based on Place-Transition nets with an extended set of features designed to allow the rapid prototyping and synthesis of system controllers through an existing hardware-software co-design framework. To obtain coherent and deterministic operation, IOPT nets use a maximal-step execution semantics where, in a single execution step, all enabled transitions will fire simultaneously. This fact increases the resulting state-space complexity and can cause an arc "explosion" effect. Real-world applications, with several million states, will reach a higher order of magnitude number of arcs, leading to the need for high performance state-space generator algorithms. The proposed algorithm applies a compilation approach to read a PNML file containing one IOPT model and automatically generate an optimized C program to calculate the corresponding state-space.

Magnetized color flavor locked state and compact stars

The stability of the color flavor locked phase in the presence of a strong magnetic field is investigated within the phenomenological MIT bag model, taking into account the variation of the strange quark mass, the baryon density, the magnetic field, as well as the bag and gap parameters. It is found that the minimum value of the energy per baryon in a color flavor locked state at vanishing pressure is lower than the corresponding one for unpaired magnetized strange quark matter and, as the magnetic field increases, the energy per baryon decreases. This implies that magnetized colorflavor locked matter is more stable and could become the ground state inside neutron stars. The mass-radius relation for such stars is also studied.

Solid State Marx Modulator with Blumlein Stack for Bipolar Pulse Generation

Sub-nanosecond bipolar high voltage pulses are a very important tool for food processing, medical treatment, waste water and exhaust gas processing. A Hybrid Modulator for sub-microsecond bipolar pulse generation, comprising an unipolar solid-state Marx generator connected to a load through a stack Blumlein system that produces bipolar pulses and further multiplies the pulse voltage amplitude, is presented. Experimental results from an assembled prototype show the generation of 1000 V amplitude bipolar pulses with 100 ns of pulse width and 1 kHz repetition rate.

Optoelectronic Logic Functions Based on Reconfigurable SiC Multilayer Devices

WDM multilayered SiC/Si devices based on a-Si:H and a-SiC:H filter design are approached from a reconfigurable point of view. Results show that the devices, under appropriated optical bias, act as reconfigurable active filters that allow optical switching and optoelectronic logic functions development. Under front violet irradiation the magnitude of the red and green channels are amplified and the blue and violet reduced. Violet back irradiation cuts the red channel, slightly influences the magnitude of the green and blue ones and strongly amplifies de violet channel. This nonlinearity provides the possibility for selective removal of useless wavelengths. Particular attention is given to the amplification coefficient weights, which allow taking into account the wavelength background effects when a band needs to be filtered from a wider range of mixed signals, or when optical active filter gates are used to select and filter input signals to specific output ports in WDM communication systems. A truth table of an encoder that performs 8-to-1 multiplexer (MUX) function is presented.

Reconfigurable SiC Embedded Photonic Structures with Self Optical Bias Control

Multilayered heterostructures based on embedded a-Si:H and a-SiC:H p-i-n filters are analyzed from differential voltage design perspective using short- and long-pass filters. The transfer functions characteristics are presented. A numerical simulation is presented to explain the filtering properties of the photonic devices. Several monochromatic pulsed lights, separately (input channels) or in a polychromatic mixture (multiplexed signal) at different bit rates, illuminated the device. Steady-state optical bias is superimposed from the front and the back side. Results show that depending on the wavelength of the external background and impinging side, the device acts either as a short- or a long-pass band filter or as a band-stop filter. Particular attention is given to the amplification coefficient weights, which allow to take into account the wavelength background effects when a band or frequency needs to be filtered or the gate switch, in which optical active filter gates are used to select and filter input signals to specific output ports in wavelength division multiplexing (WDM) communication systems. This nonlinearity provides the possibility for selective removal or addition of wavelengths. A truth table of an encoder that performs 8-to-1 MUX function exemplifies the optoelectronic conversion.

Tubulin cofactor A gene silencing in mammalian cells induces changes in microtubule cytoskeleton, cell cycle arrest and cell death

Microtubules are polymers of alpha/beta-tubulin participating in essential cell functions. A multistep process involving distinct molecular chaperones and cofactors produces new tubulin heterodimers competent to polymerise. In vitro cofactor A (TBCA) interacts with beta-tubulin in a quasi-native state behaving as a molecular chaperone. We have used siRNA to silence TBCA expression in HeLa and MCF-7 mammalian cell lines. TBCA is essential for cell viability and its knockdown produces a decrease in the amount of soluble tubulin, modifications in microtubules and G1 cell cycle arrest. In MCF-7 cells, cell death was preceded by a change in cell shape resembling differentiation.

Subunits of the chaperonin CCT are associated with Tetrahymena microtubule structures and are involved in cilia biogenesis

The cytosolic chaperonin CCT is a heterooligomeric complex of about 900 kDa that mediates the folding of cytoskeletal proteins. We observed by indirect immunofluorescence that the Tetrahymena TpCCTalpha, TpCCTdelta, TpCCTepsilon, and TpCCTeta-subunits colocalize with tubulin in cilia, basal bodies, oral apparatus, and contractile vacuole pores. TpCCT-subunits localization was affected during reciliation. These findings combined with atomic force microscopy measurements in reciliating cells indicate that these proteins play a role during cilia biogenesis related to microtubule nucleation, tubulin transport, and/or axoneme assembly. The TpCCT-subunits were also found to be associated with cortex and cytoplasmic microtubules suggesting that they can act as microtubule-associated proteins. The TpCCTdelta being the only subunit found associated with the macronuclear envelope indicates that it has functions outside of the 900 kDa complex. Tetrahymena cytoplasm contains granular/globular-structures of TpCCT-subunits in close association with microtubule arrays. Studies of reciliation and with cycloheximide suggest that these structures may be sites of translation and folding. Combined biochemical techniques revealed that reciliation affects the oligomeric state of TpCCT-subunits being tubulin preferentially associated with smaller CCT oligomeric species in early stages of reciliation. Collectively, these findings indicate that the oligomeric state of CCT-subunits reflects the translation capacity of the cell and microtubules integrity.