RESUMEN

In order to solve the problems in fuzzy computation tree logic model checking with cost operator, we propose a fuzzy decision process computation tree logic model checking method with cost. Firstly, we introduce a fuzzy decision process model with cost, which can not only describe the uncertain choice and transition possibility of systems, but also quantitatively describe the cost of the systems. Secondly, under the model of the fuzzy decision process with cost, we give the syntax and semantics of the fuzzy computation tree logic with cost operators. Thirdly, we study the problem of computation tree logic model checking for fuzzy decision process with cost, and give its matrix calculation method and algorithm. We use the example of medical expert systems to illustrate the method and model checking algorithm.

RESUMEN

In order to understand the mechanisms of alcohol-induced neuroapoptosis through the ceramide pathway, sphingomyelin synthase 2 knockout (SMS2-/-) mice were used to make the prenatal alcohol exposure model, and the role of ceramide regulation on alcohol-induced neuroapoptosis was studied in the offspring. Initially the levels of serum sphingomyelin (SM) were detected with enzymatic method in P0 pups after alcohol exposure in parents. Then the apoptosis of mossy cells in the offspring hippocampus was investigated after prenatal alcohol exposure with immunohistochemistry and TUNEL assay. Finally the expression of activated Caspase 8 and activated Caspase 3 in the offspring hippocampus was detected with Western blot analysis. Our results showed that SM levels were down-regulated in a dose-dependent manner (p<0.05) after prenatal alcohol exposure in wild-type (WT) and SMS2-/- pups. However, SM levels of serum in SMS2-/- pups were significantly lower than that in WT pups (p<0.01). Furthermore, we found that mossy cells were very sensitive to alcohol-induced neuroapoptosis. In both WT pups and SMS2-/- pups, the number of apoptotic mossy cells in the hippocampus increased after prenatal alcohol exposure in a dose dependent manner (p<0.05) and decreased with the growing age. Compared with WT pups, the number of apoptotic mossy cells in the hippocampus of SMS2-/- pups increased (p<0.05). Western blotting showed that the expression of activated Caspase 8 and activated Caspase 3 of hippocampal tissue in WT pups and SMS2-/- pups increases after prenatal alcohol exposure, consistent with results from TUNEL assay and immunocytochemistry. Our study suggests that mossy cells may be the easily attacked cells for fetal alcohol spectrum disorder (FASD), and ceramide is involved in the alcohol-induced neural apoptosis. The mechanism probably lies in the accumulated ceramide in SMS2 mice, and the increase of activated Caspase 8 and Caspase 3 promotes alcohol-induced neuroapoptosis.

Asunto(s)

RESUMEN

Prenatal alcohol exposure, especially during early pregnancy, can lead to fetal alcohol syndrome. The pharmacological and toxicological mechanisms of ethanol are related to the effects of ceramide. In this study, we established an alcohol exposure model in wild-type mice and in knockout mice for the key enzyme involved in ceramide metabolism, sphingomyelin synthase 2. This model received daily intragastric administration of 25% ethanol, and pups were used at postnatal days 0, 7, 14, 30 for experiments. Serology and immunofluorescence staining found that ethanol exposure dose-dependently reduced blood sphingomyelin levels in two genotypes of pups, and increased neural cell proliferation and the number of new neurons in the hippocampal dentate gyrus. Western blot analysis showed that the relative expression level of protein kinase C α increased in two notypes of pups after ethanol exposure. Compared with wild-type pups, the expression level of the important activator protein of the ceramide/ceramide-1-phosphate pathway, protein kinase C α, was reduced in the hippocampus of sphingomyelin synthase 2 knockouts. Our findings illustrate that ceramide is involved in alcohol-induced neural proliferation in the hippocampal dentate gyrus of pups after prenatal ethanol exposure, and the mechanism may be associated with increased pression of protein kinase C α activating the ceramide/ceramide-1-phosphate pathway.

RESUMEN

To investigate the role and mechanism of ceramide (Cer) regulation in alcohol-induced neuronal proliferation and the newborn neurons formation, we used sphingomyelin synthase 2 (predominant enzyme of Cer metabolism) knockout (SMS2(-/-)) and wild type (WT) female mice to establish the model of prenatal alcohol exposure. In 24 h after being given birth (postnatal day 0, P0), the offspring of model mice received blood sphingomyelin (SM) measurement with enzymatic method. On P0, P7, P14 and P30, the proliferation of granule cells in the dentate gyrus and newborn neurons were investigated with immunofluorescent labeling. The expression of protein kinase Cα (PKCα) in the hippocampus was tested with Western blot analysis. The results showed that the SM level of blood in SMS2(-/-) pups was significantly lower than that in WT pups. No matter in SMS2(-/-) or WT mice, the prenatal alcohol exposure down-regulated the SM levels in pups with dose-dependency. In both SMS2(-/-) and WT pups, the number of proliferative neurons and newborn neurons in the dentate gyrus gradually decreased with the growing age. Compared with the WT pups, SMS2(-/-) pups showed significantly more proliferative neurons and newborn neurons in the dentate gyrus. Notably, prenatal alcohol exposure dose-dependently increased proliferative neurons and newborn neurons in the dentate gyrus in both WT and SMS2(-/-) pups. The hippocampal expression of PKCα protein in SMS2(-/-) mice was lower than that in WT mice, and prenatal alcohol exposure could up-regulate the PKCα protein expression in both WT and SMS2(-/-) mice with dose dependency. These results suggest that alcohol exposure during pregnancy can induce the compensatory neural cell proliferation and the production of newborn neurons in offspring, and the Cer-ceramide-1-phosphate (C1P) pathway is involved in alcohol-induced neural cell proliferation. The activation of PKCα may be a key step to start the Cer-C1P pathway and up-regulate the alcohol-induced neural cell proliferation and the newborn neurons formation.

Asunto(s)