检索结果-南通市图书馆

More on Bounding Introspection in Modal Nonmonotonic Logics

在线全文

学校读者我要写书评

暂无评论

Acta Mathematica Sinica,English Series 2000年第4期16卷 555-564页

作者： Xishun Zhao decheng ding department of mathematics. nanjing university. nanjing 210093, P. R. china department of mathematics Nanjing University Nanjing 210093 P. R. China

By L. we denote the set of all propositional fornmlas. Let C be the set of all clauses. Define C_n=C(Lη:η∈C}.In Sec. 2 of this paper. we prove that for normal modal logics S, the notions of (S. C_)-expansions and S-expansions coincide. In Sec. 3. we prove that if I consists of default clauses then the notions of S-expansions for I and (S.C)-expansions for I coincide. To this end. we first show. in Sec *** the notion of S-expansions for I is the same as that of (S.L)-expansions for I.

关键词： Modal nonmonotonic logic Expansion Bounding Introspection Default clause

Asymptotic bound on binary self-orthogonal codes

在线全文

学校读者我要写书评

暂无评论

Science china mathematics 2009年第4期52卷 631-638页

作者： ding Yang department of mathematics, Southeast university, nanjing 210096, china department of mathematics Southeast University Nanjing China

We present two constructions for binary self-orthogonal codes. It turns out that our constructions yield a constructive bound on binary self-orthogonal codes. In particular, when the in-formation rate R = 1/2, by our constructive lower bound, the relative minimum distance δ≈ 0.0595 (for GV bound, δ≈ 0.110). Moreover, we have proved that the binary self-orthogonal codes asymptotically achieve the Gilbert-Varshamov bound.

关键词： algebraic geometry codes concatenated codes Gilbert-Varshamov bound Reed-Muller codes self-dual basis self-orthogonal codes 11T71

Global dimension and left derived functors of Hom

在线全文

学校读者我要写书评

暂无评论

Science china mathematics 2007年第6期50卷 887-898页

作者： Li-xin MAO & Nan-qing ding Institute of mathematics, nanjing Institute of Technology, nanjing 211167, china department of mathematics, nanjing university, nanjing 210093, china Institute of mathematics Nanjing Institute of Technology Nanjing China department of mathematics Nanjing University Nanjing China

It is well known that the right global dimension of a ring R is usually computed by the right derived functors of Hom and the left projective resolutions of right R-modules. In this paper, for a left coherent and right perfect ring R, we characterize the right global dimension of R, from another point of view, using the left derived functors of Hom and the right projective resolutions of right R-modules. It is shown that rD(R) ? n (n ? 2) if and only if the gl right Proj-dim M R ? n?2 if and only if Ext n?1(N,M) = 0 for all right R-modules N and M if and only if every (n?2)th Projcosyzygy of a right R-module has a projective envelope with the unique mapping property. It is also proved that rD(R) ? n (n ? 1) if and only if every (n?1)th Proj-cosyzygy of a right R-module has an epic projective envelope if and only if every nth Proj-cosyzygy of a right R-module is projective. As corollaries, the right hereditary rings and the rings R with rD(R) ? 2 are characterized.

关键词： global dimension projective resolution envelope 16E10 16E30 16E05

ω-Gorenstein injective modules and dimensions

在线全文

学校读者我要写书评

暂无评论

Science china mathematics 2011年第3期54卷 421-436页

作者： ZHU HaiYan1,2 & ding NanQing3 1department of mathematics, Zhejiang university, Zhejiang 310027, china 2department of mathematics, Zhejiang university of Technology, Zhejiang 310023, china 3department of mathematics, nanjing university, nanjing 210093, china department of mathematics Zhejiang University Zhejiang China department of mathematics Zhejiang University of Technology Zhejiang China department of mathematics Nanjing University Nanjing China

Gorenstein injective modules and dimensions have been studied extensively by many authors. In this paper, we investigate Gorenstein injective modules and dimensions relative to a Wakamatsu tilting module.

关键词： Wakamatsu tilting module ω-Gorenstein injective module ω-Gorenstein injective dimension cotilting module

Numerical simulations of magnetic reconnection in the lower solar atmosphere

在线全文

学校读者我要写书评

暂无评论

Research in Astronomy and Astrophysics 2011年第2期11卷 225-236页

作者： Xiao-Yan Xu 1,2,Cheng Fang 2,Ming-De ding 2 and Dan-Hui Gao 2 1 Purple Mountain Observatory,Chinese Academy of Science,nanjing 210008,china 2 department of Astronomy,nanjing university,nanjing 210093,china Purple Mountain Observatory Chinese Academy of Science Nanjing 210008 China department of Astronomy Nanjing University Nanjing 210093 China

Observations indicate that Ellerman bombs （EBs） and chromospheric microflares both occur in the lower solar atmosphere,and share many common features,such as temperature enhancements,accompanying jet-like mass motions,short life-time,and so *** strongly suggest that EBs and chromospheric microflares could both probably be induced by magnetic reconnection in the lower solar *** gravity,ionization and radiation considered,we perform two-dimensional numerical simulations of magnetic reconnection in the lower solar *** influence of different parameters,such as intensity of the magnetic field and anomalous resistivity,on the results are *** result demonstrates that the temperature increases are mainly due to the joule dissipation caused by magnetic *** spectral profiles of EBs and chromospheric microflares are calculated with the non-LTE radiative transfer theory and compared with *** is found that the typical features of the two phenomena can be qualitatively reproduced.

关键词： Sun: chromosphere-- Sun: photosphere -- Sun: magnetic reconnection-- Sun: numerical simulation

A reliable graded acute liver failure model in rats: treatment with internal bioartificial liver

在线全文

学校读者我要写书评

暂无评论

Hepatobiliary & Pancreatic Diseases International 2004年第2期3卷 254-258页

作者： Qing-Xiang Xu, Yi-Tao ding, Yu-Dong Qiu, De-Cai Yu and He-Yuan Zhang nanjing, china department of Hepatobiliary Surgery, Drum Tower Hospital, Medical College of nanjing university, and Hepatobiliary Institute of nanjing university Hepatobiliary Surgery Institute of nanjing Biochemistry department of nanjing university, nanjing 210008 , china department of Hepatobiliary Surgery Drum Tower Hospital Nanjing 210008 China. xqx008@***

BACKGROUND: Appropriate animal models are impor- tant for studying acute liver failure. This study was to assess a new suitable rat model for acute liver failure. METHODS: After the right influent hepatic vessels were clamped for a period of time (45, 60 or 90 minutes respec- tively), the animal model was established by removal of the clamp for restoring blood flow of the right lobes while im- mediately removal of the median, left lateral and caudate lobes. Animal survival rate was observed in the following 14 days in each group. To study the pathophysiological chan- ges of the model, some biochemical parameters in 5 con- secutive days were evaluated in the 60-minute group. Inter- nal bioartificial liver was transplanted in the peritoneal cavi- ty to test the reversibility of the model. RESULTS: The survival rate of the models decreased, as the ischemia time of the right lobes prolonged to zero in the 90-minute group, to 50% in the 60-minute group and to 100% in the 45-minute group on the fifth day after opera- tion. The levels of ammonia, alanine aminotransferase, al- kaline phosphatase, total bilirubin and prothrombin were elevated dramatically 12 to 24 hours after operation in the 60-minute group. When internal bioartificial liver was transplanted, the survival rate increased significantly in ad- dition to the levels of ammonia and total bilirubin. CONCLUSION: A period time of ischemic injury in the right lobe followed by 70% liver resection can produce a graded acute hepatic failure model in rats.

关键词： acute liver failure hepatectomy ischemic injury internal bioartificial liver

Role of 11-beta-hydroxysteroid dehydrogenase type 1 in differentiation of 3T3-L1 cells and in rats with diet-induced obesity

在线全文

学校读者我要写书评

暂无评论

Acta Pharmacologica Sinica 2006年第5期27卷 588-596页

作者： Yun LIU~(2,3) Wen-lan SUN~3 Yan SUN~3 Gang HU~(2,4) Guo-xian ding~(3,4) ~2department of Pharmaeology,nanjing Medical university,nanjing 210029,china ~3department of Geratology,the First Hospital Affiliated to Nan jinx,Medical university,nanjing 210008,china department of Pharmacology Nanjing Medical University Nanjing China department of Geratology the First Hospital Affiliated to Nanjing Medical University Nanjing China

Aim:To observe the roles of 11-beta-hydroxysteroid dehydrogenase type 1 (11β-HSD1) in in vitro preadipocyte differentiation and in rats with diet-induced obe-sity (DIO).Methods:Protein expression of 11β-HSD1 in the process of 3T3-L1 celldifferentiation and in various tissues of the rats were detected by Western blotanalysis;expression of 11β-HSD1 mRNA and glucocorticoid receptor (GR) andother marker genes of preadipocyte differentiation were detected by using real-time ***:Lipid droplets in 3T3-L1 cells accumulated and increased afterstimulation.A dramatically elevated protein level of 11β-HSD1,especially in thelate stages of 3T3-L1 cell differentiation,was *** relative mRNA levelsof 11β-HSD1,GR and cell differentiation markers LPL,aP2,and FAS wereupregulated,and Pref-1 was downregulated during the *** DIO rats,bodyweight,visceral adipose mass index and the protein expression of 11β-HSD1increased,especially in adipose tissue,brain and *** insulin,triglyceride,total cholesterol and low-density lipoprotein cholesterol were foundto be increased in DIO rats,but without any obvious changes in blood glucose ortumor necrosis factor-α ***:11β-HSDI may promote preadipocytedifferentiation,and may be involved in the development of obesity.

关键词： 11-beta-hydroxysteroid dehydrogenase type 1 glucocorticoids adipocytes cell differentiation obesity

Caveolin-1 is important for nitric oxide-mediated angiogenesis in fibrin gels with human umbilical vein endothelial cells

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Acta Pharmacologica Sinica 2006年第12期27卷 1567-1574页

作者： Yi-ming PAN Yong-zhong YAO Zhang-hua ZHU Xi-tai SUN Yu-dong QIU Yi-tao ding~2 department of Hepatobiliary Surgery,Drum Tower Hospital,Medical College of nanjing university and Hepatobiliary Institute of nanjing university,nanjing 210008,china department of Hepatobiliary Surgery Drum Tower Hospital Medical College of Nanjing University and Hepatobiliary Institute of Nanjing University Nanjing China

Aim:The role of caveolin-1(Cav-1)in angiogenesis remains poorly *** endothelial nitric oxide(NO)synthase(eNOS),a caveolin-interacting protein,was demonstrated to play a predominant role in vascular endothelial growth fac-tor(VEGF)-induced *** purpose of our study was to examine therole of Cav-1 and the eNOS complex in NO-mediated ***:Human umbilical vein endothelial cells(HUVEC)were isolated and cultured in 3-Dfibrin gels to form capillary-like tubules by VEGF *** expression ofCav-1 and eNOS was detected by semiquantitative *** HUVEC weretreated with antisense oligonucleotides to downregulate Cav-1 *** and non-infected HUVEC were cultured in fibrin gels in the presenceor absence of VEGF(20 ng/mL)and N~G-nitro-L-arginine methyl ester(L-NAME;5 mmol/L).NO was measured using a NO assay kit and capillary-like tubules werequantified by tubule formation index using the Image J ***:RT-PCRanalysis revealed that Cav-1 levels steadily increased in a time-dependent mannerand reached their maximum after 5d of incubation,but there were no obviouschanges in eNOS mRNA expression in response to VEGF in the fibrin gel ***(20 ng/mL)can promote NO production and the formation of capillary-liketubules,and this promoting effect of VEGF was blocked by the addition ofL-NAME(5 mmol/L).When transduced HUVEC with the antisense Cav-1 oligo-nucleotides were plated in the fibrin gels,the capillary-like tubules were signifi-cantly fewer than those of the non-infected *** capillary-like tubules forma-tion and NO production of transduced HUVEC with the antisense Car-1 oligo-nucleotides cultured in fibrin gels showed no responses to the addition of VEGF(20 ng/mL)and L-NAME(5.0 mmol/L).Conclusion:NO was a critical angiogenicmediator in this ***-1 was essential for NO-mediated angiogenesis andmay be an important target of anti-angiogenesis therapy.

关键词： caveolin-1 angiogenesis nitric oxide vascular endothelial growth factor

11 beta-hydroxysteroid dehydrogenase type 1 promotes differentiation of 3T3-L1 preadipocyte

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Acta Pharmacologica Sinica 2007年第8期28卷 1198-1204页

作者： Yun LIU~(2,3,4) Yan SUN~(2,4) Ting ZHU~2 Yu XIE~2 Jing YU~2 Wen-lan SUN~2 Guo-xian ding~(2,5) Gang HU~(3,5) ~2department of Geratology the First Affiliated Hospital,nanjing Medical university,nanjing 210008,china ~3department of Pharmacology,nanjing Medical university,nanjing 210029,china department of Geratology the First Affiliated Hospital Nanjing Medical University Nanjing China department of Pharmacology Nanjing Medical University Nanjing China

Aim:To investigate the relationship between 11 beta-hydroxysteroid dehydroge-nase type 1(1 lbeta-HSD1),a potential link between obesity and type 2 diabetes,and preadipocyte ***:Mouse 1 lbeta-HSD 1 siRNA plasmidswere transfected into 3T3-L1 preadipocytes(a cell line derived from mouseSwiss3T3 cells that were isolated from mouse embryo),for examination of theeffect of targeted 11 beta-HSD 1 inhibition on differentiation of 3T3-L 1 ***-ferentiation was stimulated with 3-isobutyl-l-methyxanthine,insulin,*** transcription level of the genes was detected by ***:Lipid accumulation was significantly inhibited in cells transfectedwith mouse 1 lbeta-HSD1 siRNA compared with non-transfected 3T3-L1 *** lipid droplets were detected in the transfected cells both prior to stimulationand after stimulation with differentiation-inducing *** expression ofadipocyte differentiation-associated markers such as lipoprotein lipase and fattyacid synthetase were downregulated in the transfected ***,the expres-sion of preadipocyte factor-1,an inhibitor of adipocyte differentiation,wasdownregulated upon stimulation of differentiation and had no changes in thetransfected ***:11 beta-HSD1 can promote *** on this,we propose that 11 beta-HSD1 may be an importantcandidate mediator of obesity and obesity-induced insulin resistance.

关键词： 11 beta-hydroxysteroid dehydrogenase type 1 siRNA 3T3-L1 cell differentiation obesity