检索结果-南通市图书馆

同步合成Petri网系统活性与无死锁性的保持性

在线全文

学校读者我要写书评

暂无评论

软件学报 2003年第12期14卷 1977-1988页

作者：蒲飞陆维明中国科学院数学与系统科学研究院数学研究所

合成操作是Petri网系统建模中一种重要的自底向上建模方法,而在Petri网系统的合成研究中,一些好性质,如活性、无死锁性、可回复性等的保持性,是一个重要的研究问题.研究了Petri网系统同步合成操作活性与无死锁性的保持性.与以往研究工... 详细信息

合成操作是Petri网系统建模中一种重要的自底向上建模方法,而在Petri网系统的合成研究中,一些好性质,如活性、无死锁性、可回复性等的保持性,是一个重要的研究问题.研究了Petri网系统同步合成操作活性与无死锁性的保持性.与以往研究工作不同,基于路径的并发合成用并发语言的方法,提出并证明了同步合成Petri网系统的一个并发语言关系式.该语言关系式可用于判定同步合成Petri网系统的活性与无死锁性,同时给出了同步合成Petri网系统活性与无死锁性的充要条件.最后提出一些条件,在这些条件下,同步合成Petri网系统有活与无死锁的保持性质.

关键词：同步合成操作活性与无死锁性的保持性并发语言同步路径路径并发合成

在线全文

学校读者我要写书评

暂无评论

数字化对教育技术实践领域有形技术的影响

中国电化教育 1999年第9期 65-66页

作者：蒲飞重庆第二卫生学校电教中心

柿资源果实抗坏血酸水平多样性及积累机理的研究

在线全文

学校读者我要写书评

暂无评论

柿资源果实抗坏血酸水平多样性及积累机理的研究

作者：蒲飞西北农林科技大学

学位级别：硕士

抗坏血酸(ascorbic acid,AsA)即维生素C,作为生物体内重要的抗氧化剂和许多酶的辅因子,参与了整个生物体生长发育过程。它不仅在植物抗氧化胁迫中具有重要作用,同时也是人所必需的物质。但由于人体无法通过自身合成,故其对人体的健康有... 详细信息

抗坏血酸(ascorbic acid,AsA)即维生素C,作为生物体内重要的抗氧化剂和许多酶的辅因子,参与了整个生物体生长发育过程。它不仅在植物抗氧化胁迫中具有重要作用,同时也是人所必需的物质。但由于人体无法通过自身合成,故其对人体的健康有着重要的作用。植物体内AsA含量受合成和再生能力的调控,抗坏血酸-谷胱甘肽循环(AsA-GSH)是AsA再生的主要途径。在这个循环中,抗坏血酸过氧化物酶(APX)利用AsA作为电子供体来清除H2O2,氧化生成单脱氢抗坏血酸(MDHA)和脱氢抗坏血酸(DHA),经单脱氢抗坏血酸还原酶(MDHAR)和脱氢抗坏血酸还原酶(DHAR)可还原成AsA。而GSH作为DHAR还原DHA电子供体时,氧化生成的氧化型谷胱甘肽(GSSG)又可被谷胱甘肽还原酶(GR)再还原为GSH,从而完成AsA和GSH的再生。我国是世界上最主要的柿(Diospyros kaki L)生产国,其果实具有较高的经济价值。除用于鲜食外,研究表明柿果实及其加工制品具有调理肠胃、治疗心血管疾病、防止动脉硬化、降血脂以及降低血压等多种医疗保健效果。为进一步研究、开发与利用柿资源,本文以国家柿种质资源圃柿资源为试材,研究了柿资源抗坏血酸(AsA)和谷胱甘肽(GSH)含量的多样性及其之间的关系,同时研究了中国柿品种AsA含量和代谢酶活性的多样性及它们之间的相互关系。取得的主要研究结果如下: (1)对国家柿资源圃71份柿资源AsA和GSH含量及氧化还原状态的多样性进行了比较研究,结果表明,在测试的71份柿资源果实中,T-AsA(总抗坏血酸)含量(2.90～129.93μmol/g)、T-GSH(总谷胱甘肽)含量(0.205～1.237μmol/g)及其氧化还原状态存在明显的多样性,这几项指标在47种我国地方涩柿品种间的多样性尤为显著;T-AsA与T-GSH含量间存在正相关。这表明开发AsA保健产品及对AsA在植物体内的形成机理进行研究时,柿资源果实可作为候选材料,尤其是我国地方柿品种。 (2)通过对20个中国柿品种AsA含量及其代谢酶活性的研究,表明了中国柿品种果实中不仅AsA和GSH水平存在多样性,而且代谢酶APX,MDAHR,DHAR和GR活性间也存在明显的多样性。 (3)通过对20个中国柿品种AsA含量及其代谢酶活性进行相关性分析发现,柿叶片中T-AsA含量与MDHAR和DHAR活性相关性非常明显;同时,从个体上看,中国柿品种叶片中AsA含量与各代谢酶活性之间的关系也存在多样性。 (4)对20个中国柿品种AsA含量及其代谢酶活性进行多元回归分析,并获得了线性回归方程。分析表明中国柿叶片中的AsA还原酶MDHAR和DHAR活性通过对氧化还原程度的影响对AsA含量及其氧化还原状态的保持起着重要作用,而APX活性、GSH水平等与之无明显关系。 (5)通过对20个相同中国柿品种的叶片中AsA与GSH含量的研究发现:一方面柿叶片中AsA与GSH含量及其氧化程度表现出多样性;另一方面,中国柿品种果实与叶片间T-AsA含量存在显著正相关,但二者的T-GSH含量则无明显相关性。这说明柿资源AsA合成代谢的多样性,也表明叶片与果实中AsA的积累存在相关,但叶片中GSH代谢对果实中GSH的积累无显著影响。

关键词：柿果实抗坏血酸多样性代谢

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

结合搜索空间划分和抽象进行LTL模型检测

中国科学（E辑） 2007年第12期37卷 1504-1520页

作者：蒲飞张文辉中国科学院软件所计算机科学国家重点实验室

在应用模型检测于工业系统时,状态空间爆炸仍然是一个主要的障碍.基于抽象的方法在克服状态空间爆炸方面取得了很大的成功.提出一种结合搜索空间划分和抽象的方法来降低模型检测的空间复杂度.划分依赖于每个所分划的搜索空间的表达.特别... 详细信息

在应用模型检测于工业系统时,状态空间爆炸仍然是一个主要的障碍.基于抽象的方法在克服状态空间爆炸方面取得了很大的成功.提出一种结合搜索空间划分和抽象的方法来降低模型检测的空间复杂度.划分依赖于每个所分划的搜索空间的表达.特别地,划分可以逐步求精以获得更好的空间消减.从数值实验看,这种搜索空间划分和抽象的结合在基于内存的需求上能提高验证的效率,同时能得到比单独使用其中一种方法更好的效果.

关键词：搜索空间划分求精抽象 LTL模型检测

在线全文

学校读者我要写书评

暂无评论

共享合成Petri网系统的活性保持性

系统工程理论与实践 2005年第11期25卷 70-78页

作者：蒲飞陆维明中国科学院软件所计算机科学重点实验室北京100080 中国科学院数学与系统科学研究院数学所北京100080

讨论了能对资源共享问题进行建模的共享合成操作.重点研究共享合成Petri网系统的活性保持性,同时还讨论了在共享合成过程中系统的并发行为关系即并发语言关系.给出相应的语言关系式,它可用于判定合成系统的活性.进一步,给出了判定合成... 详细信息

讨论了能对资源共享问题进行建模的共享合成操作.重点研究共享合成Petri网系统的活性保持性,同时还讨论了在共享合成过程中系统的并发行为关系即并发语言关系.给出相应的语言关系式,它可用于判定合成系统的活性.进一步,给出了判定合成系统有活性的充分必要条件.最后,提出了合成系统保持子系统活性的条件.

关键词：共享合成路径的并发合成并发语言活性保持性良径

在线全文

学校读者我要写书评

暂无评论

同步合成Petri网系统可回复性的保持性

系统工程理论与实践 2005年第10期25卷 83-94页

作者：蒲飞陆维明中国科学院软件研究所计算机科学重点实验室北京100080 中国科学院数学与系统科学研究院数学研究所北京100080

着重研究同步合成操作中可回复性的保持性.讨论了在同步合成操作中系统间动态、并发的行为关系,即语言关系.提出一种基于最小可回复路径及它们并发合成的方法.进一步,给出了一个合成系统有可回复性的充分必要条件.此外,提出了在同步合... 详细信息

着重研究同步合成操作中可回复性的保持性.讨论了在同步合成操作中系统间动态、并发的行为关系,即语言关系.提出一种基于最小可回复路径及它们并发合成的方法.进一步,给出了一个合成系统有可回复性的充分必要条件.此外,提出了在同步合成操作中有可回复性的条件.最后给出一些例子来说明所提出的方法在建模和分析大系统时的有效性.

关键词：同步合成可回复性的保持性并发语言最小可回复路径

激光合成原位颗粒增强金属间化合物基复合涂层组织及形成机制研究

在线全文

学校读者我要写书评

暂无评论

激光合成原位颗粒增强金属间化合物基复合涂层组织及形成机制研究

作者：蒲飞北京交通大学

学位级别：硕士

本文利用激光表面合金化技术,以Al+TiC混合粉末为原料,分别在20#钢、电解镍、Ti-6A1-4V钛合金基材表面制备了TiC增强金属间化合物基复合涂层,分析了涂层的显微组织结构,研究了TiC的溶解及析出规律,模拟了熔池温度场分布及稀释率,测试了... 详细信息

本文利用激光表面合金化技术,以Al+TiC混合粉末为原料,分别在20#钢、电解镍、Ti-6A1-4V钛合金基材表面制备了TiC增强金属间化合物基复合涂层,分析了涂层的显微组织结构,研究了TiC的溶解及析出规律,模拟了熔池温度场分布及稀释率,测试了涂层的显微硬度和纳米硬度,讨论了涂层的显微组织形成机制。研究结果表明：在20#钢表面制备的TiC/Fe3Al复合涂层,温度在2300K以上时,TiC在Fe-Al合金熔池中发生溶解,然后原位析出。激光功率分别为1.25kW和1.50kW时,熔池稀释率模拟计算结果分别为62.50%、72.22%,实测结果分别为64.41%、79.31%,模拟计算结果与实际情况吻合较好。涂层显微硬度值分别为415.74HV0.2、441HV0.2,相对基材分别提高了2.7及2.6倍。涂层中大尺寸未溶解TiC颗粒的纳米硬度为30.219Gpa,小尺寸原位析出的TiC颗粒的纳米硬度为19.755Gpa,小尺寸TiC颗粒的纳米硬度受基体影响较大。在电解镍表面制备的TiC/Ni3Al涂层,温度在2700K以上时,TiC在Ni-Al合金熔体中发生溶解,然后原位析出。激光功率分别为1.25kW和1.75kW时,熔池稀释率模拟计算结果分别为61.54%、73.91%,实测结果分别为66.67%、78.30%,模拟计算结果与实际情况吻合较好。涂层显微硬度值分别为479.9HV0.2、456.6HV0.2,相对基材分别提高了4.72及4.49倍。在Ti-6Al-4V合金表面制备的TiC/TiAl涂层,TiC在Ti-Al合金熔体中未发生溶解和析出。激光功率分别为1.25kW和1.50kW时,熔池稀释率模拟计算结果分别为46.4%、57.7%,实测结果分别为43.5%、54.5%,模拟结果与实际情况吻合较好。由于涂层中存在大量未溶TiC颗粒,涂层的显微硬度分布不均匀。原位颗粒增强复合涂层的形成机制为：在激光束流辐照下,Al+TiC混合粉末在基材表面熔化形成熔池,Al与基材发生合金化形成金属间化合物,作为复合涂层的基体相,TiC在合金熔池中原位析出,作为复合涂层的增强相。

关键词：激光表面合金化复合涂层 TiC 显微组织形成机制

公路上市公司社会责任与财务绩效关系的实证研究

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

公路上市公司社会责任与财务绩效关系的实证研究

作者：蒲飞飞长安大学

学位级别：硕士

随着我国经济快速发展，企业社会责任已经受到社会各界人士的极大关注，国外的一些企业将履行社会责任作为一种长期投资。目前我国企业社会责任履行运动尚处起歩阶段,从整体上看企业社会责任意识在不断增强,许多企业主动发布了企业社会... 详细信息

随着我国经济快速发展，企业社会责任已经受到社会各界人士的极大关注，国外的一些企业将履行社会责任作为一种长期投资。目前我国企业社会责任履行运动尚处起歩阶段,从整体上看企业社会责任意识在不断增强,许多企业主动发布了企业社会责任报告和可持续发展报告。实践中仍存在很多问题，如国内产品质量、环境污染、企业诚信缺失等问题的不断涌现，这说明企业对应该履行的社会责任还未落到企业日常经营行为中，特别是经济利益与社会责任发生冲突时，一些企业仍然把经济利益放在第一位，忽视或故意逃避应承担的社会责任。因此，我国企业积极履行社会责任的意识仍有待加强。高速公路作为在一定经济时期内国家拉动内需政策的支柱性产业，在快速发展的同时也产生一系列社会问题，这引起了社会对公路上市公司社会责任问题的广泛关注。基于以上背景，论文根据企业社会责任与财务绩效的理论研究和实证分析，研究这两者之间的相关关系，从而进一步正确引导公路上市公司积极履行社会责任。论文以社会责任理论和利益相关者理论为研究起点，结合对企业社会责任与财务绩效相关性方面的国内外有关文献的研究和分析，并根据利益相关者理论选取了股东、债权人、供应商、政府、员工、客户为公路上市公司社会责任的六大利益相关主体，提出了公司社会责任履行对财务绩效的影响的假设，选取19家公路上市公司2009-2011年企业社会责任指标和财务指标相关数据，应用SPSS17.0软件对当期社会责任与当期财务绩效，当期社会责任与以后各期财务绩效分别进行多元回归分析，对其相关性假设进行检验，并利用量化的数据对实证进行支持，研究表明：(1)公路上市公司履行社会责任对企业财务绩效起积极的促进作用，二者之间具有一定的正相关关系。(2)当期社会责任指标对后期财务绩效有一定程度的积极影响，当期社会责任对当期财务绩效的影响显著，当期社会责任对滞后一期的企业财务绩效的影响也显著，而当期社会责任对滞后二期的财务绩效的影响比较小。最后根据实证分析以及公路上市公司社会责任履行的现状，提出了对公路上市公司社会责任履行的针对性建议。

关键词：公路上市公司企业社会责任利益相关者财务绩效关系

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

免疫抑制剂抗B型流感病毒作用及机制研究

免疫抑制剂抗B型流感病毒作用及机制研究

作者：蒲飞洋西北民族大学

学位级别：硕士

背景:实体器官移植中的排斥反应是影响术后移植器官存活率的主要因素。免疫抑制剂的使用可以有效预防排斥反应,从而提高移植的成功率。与健康人群相比,实体器官移植受者由于长期服用免疫抑制剂类药物,机体的免疫机能严重受损,有着更高... 详细信息

背景:实体器官移植中的排斥反应是影响术后移植器官存活率的主要因素。免疫抑制剂的使用可以有效预防排斥反应,从而提高移植的成功率。与健康人群相比,实体器官移植受者由于长期服用免疫抑制剂类药物,机体的免疫机能严重受损,有着更高的病毒感染的风险。其中流感病毒感染导致的流行性感冒是诱发器官移植受者并发症的重要原因之一。A型流感病毒(Influenza A Virus,IAV)和B型流感病毒(Influenza B Virus,IBV)是引起全球流感的主要病原体。IBV感染占比已达到总量的三分之一且致死率不容小觑。IBV感染引起器官移植受者产生并发症,移植失败率随之升高。因此对于这一类病人来说,在治疗病毒感染过程中必须同时使用免疫抑制剂和抗病毒药物。目的:免疫抑制剂通过抑制机体免疫反应发挥药物作用。首先本研究以IBV感染细胞为模型,检测IBV感染细胞所激活的固有免疫反应。而后,检测临床常用免疫抑制剂抗病毒作用,并探究其抗病毒作用的作用机制。最后,将筛选出具有抗病毒作用的免疫抑制剂与抗病毒药物联合作用,评估联合用药的作用效果。本研究能为感染IBV或有感染风险的器官移植受者的免疫抑制管理及抗病毒治疗策略提供相关参考数据。方法:以MDCK细胞为IBV体外感染模型,使用q RT-PCR的方法,检测干扰素(Interferon,IFN)信号通路的激活、干扰素刺激基因的表达以及细胞产生的内源性IFN的抗病毒作用。以A549细胞作为模拟呼吸道上皮细胞感染IBV的体外模型,使用q RT-PCR和Western blot的方法,检测药物处理细胞后病毒RNA复制水平以及IBV核蛋白(Nucleoprotein,NP)和血凝素(Hemagglutinin,HA)蛋白的表达;利用噬斑检测技术评估A549细胞上清中病毒滴度的变化;利用血凝实验检测联合用药对IBV感染A549细胞的抗病毒效果,通过Synergy Finder2.0软件分析协同作用效果。结果:当IBV感染MDCK细胞后,I型和III型IFN介导的JAK-STAT信号通路可被激活,从而实现细胞抗病毒的免疫反应。筛选具有抗病毒效应的免疫抑制剂表明,钙调磷酸酶抑制剂、糖皮质激素、哺乳动物雷帕霉素靶蛋白抑制剂三类免疫抑制剂对病毒增殖无显著作用。霉酚酸(Mycophenolic acid,MPA)和6-硫鸟嘌呤(6-Tioguanine,6-TG)能显著抑制IBV的增殖。MPA对IBV的RNA复制以及病毒NP和HA蛋白的表达均有显著的抑制效应,当加入外源性鸟苷时,MPA对IBV的抗病毒效应显著降低,这说明MPA抗IBV作用是通过抑制次黄嘌呤单核苷酸脱氢酶(IMPDH)的活性,引起细胞内鸟苷酸合成减少的途径来实现抗病毒效应的。6-TG在高浓度下对IBV抑制作用显著,对病毒RNA复制无影响,但明显使病毒HA蛋白表达降低,影响子代病毒的组装。蛋白酶体抑制剂MG132处理能够降低6-TG对HA表达的抑制作用。进一步通过体外过表达IBV的HA蛋白以及泛素,通过免疫沉淀确定IBV的HA蛋白与泛素之间存在相互作用关系。这一结果确定了6-TG通过泛素-蛋白酶系统降解IBV的HA蛋白,以此来发挥对IBV的抗病毒效果。此外,将MPA和6-TG分别与抗病毒药物奥司他韦联合使用,MPA与奥司他韦联合使用在抗IBV感染的过程中呈现拮抗作用,而6-TG与奥司他韦联合使用则呈现出对IBV感染的协同抗病毒效应。结论:IBV感染的细胞有效激活I型及Ⅲ型IFN介导的JAK-STAT信号通路发挥抗病毒作用。当不同类型免疫抑制剂抑制细胞免疫反应后,大部分免疫抑制剂对病毒增殖无显著抑制作用。在一些常用的抗细胞增殖药物中,MPA抑制IBV增殖作用是通过抑制IMPDH的活性,减少细胞内鸟苷酸的途径来实现的。而6-TG对IBV的抗病毒作用是通过促进泛素-蛋白酶体系统实现对HA蛋白降解。MPA与抗病毒药物奥司他韦联合使用产生拮抗的药物效果;6-TG与奥司他韦联合使用产生协同的药物效果。

关键词： B型流感病毒固有免疫反应干扰素免疫抑制剂