期刊文献+
共找到94篇文章
< 1 2 5 >
每页显示 20 50 100
Erastin和RSL3诱导肝癌铁死亡体外模型的构建
1
作者 朱欣悦 任俏慧 +5 位作者 臧艳 周心怡 姚骏骁 王莲子 沙旭栋 李涛 《安徽医科大学学报》 北大核心 2025年第4期611-618,共8页
目的运用浓度倍增的铁死亡诱导剂Erastin和RAS选择性致死分子3(RSL3)体外诱导肝癌细胞,并构建体外肝癌铁死亡模型,为开发针对肝癌的新型治疗策略提供理论依据。方法以浓度倍增的Erastin(0~40μmol/L)和RSL3(0~10μmol/L)分别干预对数生... 目的运用浓度倍增的铁死亡诱导剂Erastin和RAS选择性致死分子3(RSL3)体外诱导肝癌细胞,并构建体外肝癌铁死亡模型,为开发针对肝癌的新型治疗策略提供理论依据。方法以浓度倍增的Erastin(0~40μmol/L)和RSL3(0~10μmol/L)分别干预对数生长期肝癌细胞(HCCLM3、HepG2、Hep3B、Huh7和PLC/PRF/5),24 h后运用CCK-8法检测细胞活力,绘制生长曲线,计算半抑制浓度(IC_(50)),选择对诱导剂敏感的肝癌细胞进行后续实验。光镜下观察诱导剂对细胞状态的影响;通过免疫印迹技术和流式细胞术验证体外铁死亡模型是否构建成功。结果在5种肝癌细胞中,Huh7、Hep3B和HepG2细胞对铁死亡诱导剂Erastin和RSL3较为敏感,HCCLM3和PLC/PRF/5对Erastin和RSL3不敏感,当Erastin和RSL3的浓度达最大时,存活率仍有65%以上。因此,选择Huh7、Hep3B和HepG2细胞用于后续实验。分别按照Erastin和RSL3浓度梯度干预肝癌细胞,与对照组比较,铁死亡标志分子谷胱甘肽过氧化物酶4(GPX4)表达量随着Erastin和RSL3的浓度依赖性下调。在Huh7、Hep3B和HepG2细胞中,分别用10μmol/L和20μmol/L Erastin作用24 h后脂质活性氧(ROS)水平与对照组比较,显著增加;在Huh7细胞中,分别用0.5μmol/L和1μmol/L RSL3作用24 h后的脂质ROS水平与对照组比较,显著增加;在Hep3B和HepG2细胞中,分别用1μmol/L和2μmol/L RSL3作用24 h后的脂质ROS水平与对照组比较,显著增加。结论Huh7、Hep3B和HepG2细胞对Erastin和RSL3敏感性高。10μmol/L Erastin作用24 h处理Huh7、Hep3B和HepG2细胞是体外模拟Erastin诱导肝癌铁死亡的良好模型;0.5μmol/L RSL3作用24 h处理Huh7细胞以及1μmol/L RSL3作用24 h处理Hep3B和HepG2细胞是体外模拟RSL3诱导肝癌铁死亡的良好模型。 展开更多
关键词 肝癌 Erastin rsl3 铁死亡 体外模型
暂未订购
6-姜辣素联合RSL3上调PTGS2诱导肝癌细胞铁死亡
2
作者 姜宇朗 余永鑫 +1 位作者 潘子扬 孙明瑜 《辽宁中医杂志》 北大核心 2025年第9期142-147,I0006,I0007,共8页
目的研究6-姜辣素能否增强RSL3诱导的肝癌细胞铁死亡效应及其具体作用机制。方法选取人肝癌细胞株HepG2,根据6-姜辣素对于正常肝细胞L02的最大无毒浓度和RSL3对HepG2细胞的半数抑制浓度(IC 50)来确定6-姜辣素和RSL3的终浓度。细胞按不... 目的研究6-姜辣素能否增强RSL3诱导的肝癌细胞铁死亡效应及其具体作用机制。方法选取人肝癌细胞株HepG2,根据6-姜辣素对于正常肝细胞L02的最大无毒浓度和RSL3对HepG2细胞的半数抑制浓度(IC 50)来确定6-姜辣素和RSL3的终浓度。细胞按不同处理因素分为3组,分别是空白对照组,RSL3处理组(2μmol/L),RSL3(2μmol/L)+6-姜辣素(50μmol/L)处理组。用CCK8法检测细胞活力,平板克隆形成实验评价细胞长期增殖能力,乳酸脱氢酶(lactate dehydrogenase,LDH)释放实验检测胞内LDH毒性。流式细胞术检测细胞内脂质过氧化物水平。倒置荧光显微镜观察细胞内活性氧含量(reactive oxygen species,ROS)和线粒体膜电位水平。不同程序性死亡细胞抑制剂观察6-姜辣素联合RSL3诱导的肝癌细胞的程序性死亡方式,并检测胞内谷胱甘肽(glutathione,GSH)、丙二醛(malondialdehyde,MDA)水平变化。Western Blot法检测铁死亡相关蛋白:谷胱甘肽过氧化物酶4(glutathione peroxidase 4,GPX4)、溶质载体家族7成员11(solute carrier family 7 member 11,SLC7A11)、铁蛋白重链(ferritin heavy chain,FTH1)、前列腺素内过氧化物合成酶2(prostaglandin endoperoxide synthase 2,PTGS2)表达水平。网络药理学分析其可能的直接作用靶点。结果6-姜辣素可以显著增强RSL3抑制肝癌细胞增殖和克隆形成的能力(P<0.001),这种细胞死亡方式可以不同程度地被特异性铁死亡抑制剂Fer-1、Lip-1、DFO抑制(P<0.001)。同时6-姜辣素联合RSL3可以显著增强细胞内脂质过氧化物、MDA、ROS的水平(P<0.001),同时可以显著降低GSH含量和线粒体膜电位,显著降低铁死亡抑制基因GPX4、FTH1、SLC7A11的蛋白表达水平(P<0.05),提高了PTGS2蛋白的表达水平(P<0.01)。网络药理学结果显示PTGS2可能是6-姜辣素联合RSL3治疗肝癌的作用靶点之一。结论6-姜辣素联合RSL3通过上调PTGS2增加了肝癌细胞铁死亡的敏感性。 展开更多
关键词 6-姜辣素 rsl3 PTGS2 铁死亡 肝癌
原文传递
虫草素对RSL3诱导肝癌HepG2细胞铁死亡的增强作用及其机制
3
作者 林涵 杨秋燕 +2 位作者 钟洁月 陈博伦 童汪霞 《吉林大学学报(医学版)》 北大核心 2025年第3期576-589,共14页
目的:探讨虫草素对铁死亡诱导剂RSL3诱导肝癌HepG2细胞铁死亡的增强作用,并阐明其潜在的作用机制。方法:HepG2细胞分为对照组,RSL3组,低、中和高剂量虫草素组,RSL3组+低、中和高剂量虫草素组,RSL3+虫草素(中剂量)+铁死亡抑制剂Ferrostat... 目的:探讨虫草素对铁死亡诱导剂RSL3诱导肝癌HepG2细胞铁死亡的增强作用,并阐明其潜在的作用机制。方法:HepG2细胞分为对照组,RSL3组,低、中和高剂量虫草素组,RSL3组+低、中和高剂量虫草素组,RSL3+虫草素(中剂量)+铁死亡抑制剂Ferrostatin-1(Fer-1)组和RSL3+虫草素(中剂量)+铁死亡抑制剂Liproxstatin-1 (Lip-1)组。采用0、1、5、10、15和20μmol·L^(-1)RSL3分别干预HepG2、Huh-7及HCCLM3细胞24、48以及72 h,采用细胞计数试剂盒8 (CCK-8)法检测各细胞活性,筛选RSL3最佳作用浓度和作用时间。分别采用0、50、100、200、400、600、800、1 000和1 200μmol·L^(-1)虫草素干预HepG2细胞24、48及72 h,采用CCK-8法检测细胞存活率,计算半数抑制浓度(IC50)值,筛选虫草素最佳作用浓度和作用时间。使用凋亡抑制剂Z-VAD-FMK、细胞自噬抑制剂Chloroquine (CQ)、细胞坏死性凋亡抑制剂Necrostatin-1 (Nec-1)、 Fer-1、 Lip-1、Deferasirox和四甲基哌啶氧化物(TEMPO)分别干预HepG2细胞,计算HepG2细胞存活率。2',7'-二氯荧光素二乙酸酯(DCFH-DA)荧光探针法检测各组HepG2细胞中活性氧(ROS)水平,C11 BODIPY 581/591荧光探针法检测各组HepG2细胞中脂质过氧化(LPO)水平,Fe Rho Nox-1荧光探针法检测各组HepG2细胞中亚铁离子(Fe2+)水平,试剂盒检测HepG2细胞中谷胱甘肽(GSH)和丙二醛(MDA)水平,Western blotting法检测各组HepG2细胞中铁死亡相关蛋白、核转录因子E2相关因子2 (Nrf2)和血红素氧合酶1 (HO-1)蛋白表达水平,透射电镜观察各组HepG2细胞超微结构形态表现。结果:CCK-8法,0.56μmol·L^(-1)RSL3干预细胞时,3种细胞活性差异较明显。与0μmol·L^(-1)RSL3组比较,6.4和12.8μmol·L^(-1)RSL3组3种细胞存活率均明显降低(P<0.05)。HepG2细胞的IC50值最大,因此选择HepG2细胞进行后续实验。与0μmol·L^(-1)虫草素组比较,200、400、600、800、1 000和2 000μmol·L^(-1)虫草素组HepG2细胞存活率均明显降低(P<0.05或P<0.01)。选择0.5倍IC50值(267.9μmol·L^(-1))、1倍IC50值(535.8μmol·L^(-1))和1.5倍IC50值(803.7μmol·L^(-1))分别作为低、中及高剂量虫草素组,干预时间为24 h。与对照组比较,低、中和高剂量虫草素组HepG2细胞存活率均明显降低(P<0.05或P<0.01)。与低、中和高剂量虫草素组比较,Z-VAD-FMK+低、中和高剂量虫草素组HepG2细胞存活率均明显升高(P<0.05或P<0.01),Fer-1+中和高剂量虫草素组及Lip-1+低、中和高剂量虫草素组HepG2细胞存活率均明显升高(P<0.05)。与对照组比较,RSL3组、 RSL3+低、中和高剂量虫草素组、RSL3+虫草素+Fer-1组和RSL3+虫草素+Lip-1组HepG2细胞存活率均明显降低(P<0.05或P<0.01);与RSL3组比较,RSL3+低、中和高剂量虫草素组HepG2细胞存活率均明显降低(P<0.05)。DCFH-DA荧光探针法,与对照组比较,中和高剂量虫草素组、RSL3组和RSL3+低、中和高剂量虫草素组细胞中ROS水平均明显升高(P<0.05或P<0.01);与RLS3组比较,RSL3+低、中和高剂量虫草素组HepG2细胞中ROS水平均明显升高(P<0.05或P<0.01)。C11 BODIPY 581/591荧光探针法,与对照组比较,中和高剂量虫草素组、RSL3组和RSL3+低、中和高剂量虫草素组HepG2细胞中LPO水平均明显升高(P<0.05或P<0.01);与RSL3组比较,RSL3+低、中和高剂量虫草素组HepG2细胞中LPO水平均明显升高(P<0.05或P<0.01)。Fe Rho Nox-1荧光探针法,与对照组比较,中和高剂量虫草素组、 RSL3组和RSL3+低、中和高剂量虫草素组HepG2细胞中Fe2+水平均明显升高(P<0.05或P<0.01);与RSL3组比较,RSL3+低、中和高剂量虫草素组HepG2细胞中Fe2+水平均明显升高(P<0.05或P<0.01)。与对照组比较,高剂量虫草素组、RSL3组和RSL3+低、中和高剂量虫草素组HepG2细胞中MAD水平均明显升高(P<0.05或P<0.01);与RSL3组比较,RSL3+低、中和高剂量虫草素组HepG2细胞中MAD水平均明显升高(P<0.05或P<0.01)。与对照组比较,中和高剂量虫草素组、RSL3组和RSL3+低、中和高剂量虫草素组HepG2细胞中GSH水平均明显降低(P<0.05或P<0.01);与RSL3组比较,RSL3+低、中和高剂量虫草素组HepG2细胞中GSH水平均明显降低(P<0.05)。与对照组比较,低和中剂量虫草素组HepG2细胞超微结构变化不明显,高剂量虫草素组部分细胞线粒体嵴减少,线粒体膜可见轻度肿胀和膜密度增高,线粒体膜中内膜结构轻度扭曲,RSL3组和RSL3+低、中及高剂量虫草素组均表现出铁死亡细胞超微结构变化;与RSL3组比较,RSL3+低、中和高剂量虫草素组表现为细胞线粒体膜破裂并伴有膜密度增高,线粒体膜中的内膜结构异常扭曲或扩张,线粒体嵴减少甚至消失。Western blotting法,与对照组比较,中和高剂量虫草素组HepG2细胞中FTH1和GPX4蛋白表达水平均明显降低(P<0.05或P<0.01),Nrf2和HO-1蛋白表达水平均明显降低(P<0.05或P<0.01),RSL3组和RSL3+虫草素+Fer-1组HepG2细胞中GPX4蛋白表达水平均明显降低(P<0.05或P<0.01);与RSL3组比较,RSL3+低、中和高剂量虫草素组HepG2细胞中GPX4蛋白表达水平均明显降低(P<0.05)。结论:虫草素具有明显增强RSL3诱导肝癌HepG2细胞铁死亡的作用,并能够下调HepG2细胞中Nrf2和HO-1蛋白表达。 展开更多
关键词 肝细胞癌 虫草素 铁死亡 rsl3 核因子E2相关因子2/血红素氧合酶1信号通路
暂未订购
膜联蛋白A1模拟肽Ac2-26对RSL3诱导的人脐静脉内皮细胞铁死亡及线粒体功能的影响
4
作者 谈世铭 曹子彤 +4 位作者 王晶晶 贾金秋 李珂怡 蔡泽民 王佐 《中国动脉硬化杂志》 2025年第4期303-309,341,共8页
[目的]探究膜联蛋白A1模拟肽Ac2-26对人脐静脉内皮细胞(HUVEC)铁死亡的影响及其机制。[方法]用经典铁死亡激动剂RSL3诱发HUVEC铁死亡,然后用膜联蛋白A1模拟肽Ac2-26进行干预。CCK-8试剂盒检测细胞数量与活力,ELISA检测丙二醛(MDA)和谷... [目的]探究膜联蛋白A1模拟肽Ac2-26对人脐静脉内皮细胞(HUVEC)铁死亡的影响及其机制。[方法]用经典铁死亡激动剂RSL3诱发HUVEC铁死亡,然后用膜联蛋白A1模拟肽Ac2-26进行干预。CCK-8试剂盒检测细胞数量与活力,ELISA检测丙二醛(MDA)和谷胱甘肽(GSH)水平,Western blot检测铁死亡相关分子及黏附分子表达,C11-BODIPY荧光探针检测脂质活性氧(ROS)水平,MitoSOX检测线粒体活性氧(mtROS)水平,FeRhoNOX-1荧光探针检测细胞内Fe^(2+)含量,透视显微镜观察线粒体形态,JC-1荧光探针检测线粒体膜电位,试剂盒检测ATP含量,划痕实验检测细胞迁移能力,硝酸还原酶法检测一氧化氮(NO)水平。[结果]Ac2-26抑制RSL3诱导的HUVEC活力下降,上调抑制铁死亡蛋白溶质载体家族7成员11(SLC7A11)、GPX4和铁蛋白重链1(FTH1)的表达,增加GSH含量,降低MDA含量,减少细胞内脂质ROS生成,降低细胞内Fe^(2+)聚集(P<0.05或P<0.01);Ac2-26抑制RSL3诱导HUVEC线粒体形态和功能的损伤,上调ATP含量(P<0.05)及线粒体膜电位(P<0.001);Ac2-26抑制RSL3诱导的HUVEC迁移能力的下降,上调NO水平,抑制细胞间黏附分子1(ICAM-1)及白细胞介素1β(IL-1β)的蛋白表达(P<0.05或P<0.01)。[结论]Ac2-26抑制RSL3诱导的HUVEC铁死亡,并维护线粒体形态与功能及HUVEC功能。 展开更多
关键词 动脉粥样硬化 铁死亡 线粒体 膜联蛋白A1 Ac2-26 rsl3
暂未订购
RSL1D1新靶分子PEG10通过促进G_(2)/M转换加速HepG2肝细胞癌细胞增殖的机制研究
5
作者 丁笠 郑伊婧 +3 位作者 倪伟 张吟 张智萍 张新跃 《扬州大学学报(农业与生命科学版)》 北大核心 2025年第4期65-73,共9页
为探究核仁蛋白(ribosomal L1-domain-containing protein 1,RSL1D1)对印迹基因(paternally expressed 10,PEG10)及下游通路的调控机制,以HepG2肝细胞癌细胞和HCT116结直肠癌细胞为研究对象,通过转录组测序、蛋白质免疫印迹、实时荧光定... 为探究核仁蛋白(ribosomal L1-domain-containing protein 1,RSL1D1)对印迹基因(paternally expressed 10,PEG10)及下游通路的调控机制,以HepG2肝细胞癌细胞和HCT116结直肠癌细胞为研究对象,通过转录组测序、蛋白质免疫印迹、实时荧光定量PCR、cell counting kit-8法、碘化丙啶染色等方法,考察RSL1D1、PEG10敲低或过表达后,RSL1D1、PEG10、MYC原癌基因(MYC proto-oncogene,c-Myc)、细胞周期调节基因Cyclin B1表达水平的变化及其对细胞周期和细胞增殖的影响。结果表明:RSL1D1通过上调c-Myc激活靶基因PEG10转录。在HepG2细胞(RSL1D1和PEG10高表达)中,PEG10敲低通过下调Cyclin B1诱导G_(2)/M阻滞,而在RSL1D1和PEG10低表达的HCT116细胞,敲低PEG10难以影响Cyclin B1介导的细胞增殖。综上,PEG10作为本研究新发现的RSL1D1下游靶分子,在RSL1D1-c-Myc-PEG10-Cyclin B1信号轴中介导RSL1D1的促增殖作用,该通路的活化与否取决于RSL1D1和PEG10的表达丰度,提示PEG10是潜在的肿瘤治疗靶点。 展开更多
关键词 PEG10 rsl1D1 Cyclin B1 G_(2)/M转换 肝细胞癌
在线阅读 下载PDF
罗汉果皂苷V对RSL3诱导的SH-SY5Y细胞铁死亡的抑制作用及其机制 被引量:1
6
作者 刘艳 夏荣松 +2 位作者 冉冬芝 彭哲 王红 《中国病理生理杂志》 CAS CSCD 北大核心 2024年第6期1033-1042,共10页
目的:探讨罗汉果皂苷V(MV)对铁死亡诱导剂RAS选择性致死分子3(RSL3)诱导的人神经母细胞瘤SH-SY5Y细胞铁死亡的抑制作用及可能机制。方法:用RSL3诱导SH-SY5Y细胞建立铁死亡模型。MTT法检测细胞活力;倒置显微镜观察细胞形态;亚铁离子荧光... 目的:探讨罗汉果皂苷V(MV)对铁死亡诱导剂RAS选择性致死分子3(RSL3)诱导的人神经母细胞瘤SH-SY5Y细胞铁死亡的抑制作用及可能机制。方法:用RSL3诱导SH-SY5Y细胞建立铁死亡模型。MTT法检测细胞活力;倒置显微镜观察细胞形态;亚铁离子荧光探针FerroFarRed检测细胞内亚铁离子含量;线粒体红色荧光探针MitoTracker Red CMXRos检测线粒体膜电位(MMP);超氧化物阴离子荧光探针二氢乙啶和线粒体超氧化物红色荧光探针MitoSoX Red分别检测细胞内和线粒体内活性氧(ROS)。微板法检测细胞谷胱甘肽(GSH)和丙二醛(MDA)水平。Western blot检测脂酰辅酶A合成酶长链家族成员4(ACSL4)、环加氧酶2(COX-2、)谷胱甘肽过氧化物酶4(GPX4)和溶质载体家族7成员11(SLC7A11)蛋白表达水平。分子对接技术预测MV与ACSL4、COX-2、GPX4和SLC7A11的靶向关系。结果:与control组相比,RSL3组SH-SY5Y细胞活力显著降低(P<0.01),细胞内亚铁离子含量、细胞内和线粒体内ROS水平及MDA水平显著升高(P<0.05或P<0.01),MMP和GSH水平显著降低(P<0.01),ACSL4和COX-2蛋白表达水平显著升高,而GPX4和SLC7A11蛋白表达水平显著降低(P<0.01),提示成功建立了细胞铁死亡模型。MV处理使细胞活力显著升高(P<0.05),细胞内亚铁离子含量、细胞内和线粒体内ROS水平及MDA水平显著降低(P<0.01),MMP和GSH水平显著升高(P<0.05或P<0.01);ACSL4和COX-2蛋白水平显著降低,而GPX4和SLC7A11蛋白水平显著升高(P<0.05或P<0.01)。分子对接结果显示,MV与铁死亡核心蛋白ACSL4、COX-2、GPX4和SLC7A11存在结合位点。结论:MV可抑制RSL3诱导的SH-SY5Y细胞铁死亡的发生,其机制可能与激活SLC7A11/GPX4和抑制ACSL4/COX-2有关。 展开更多
关键词 罗汉果皂苷V 神经母细胞瘤 rsl3化合物 铁死亡 SLC7A11/GPX4信号通路
暂未订购
区间软RSL-代数
7
作者 许宏伟 刘卫锋 张理涛 《郑州大学学报(理学版)》 CAS 北大核心 2014年第1期37-41,共5页
将区间软集应用于RSL-代数,定义了区间软RSL-代数、区间软RSL-子代数、区间软RSL-代数的软同态等概念,讨论了它们的基本性质,推广了相关文献中软RSL-代数的结果.
关键词 软集 区间软集 rsl-代数 rsl-代数 区间软rsl-代数
在线阅读 下载PDF
软集与软RSL-代数 被引量:4
8
作者 邵迎超 秦克云 《计算机工程与应用》 CSCD 北大核心 2011年第27期15-18,共4页
将Molodtsov提出的软集理论应用于RSL-代数。为此,提出了软RSL-代数和软RSL-子代数的概念,讨论了它们的基本性质。同时,给出了关于RSL-代数的同态映射,刻画了同态映射的基本特性。
关键词 软集 rsl-代数 rsl-子代数
在线阅读 下载PDF
一种基于RSL的协议形式化描述技术的研究 被引量:5
9
作者 赵静 屈玉贵 赵保华 《计算机科学》 CSCD 北大核心 2003年第1期97-98,共2页
This paper presents a formal technique of protocols based on RSL,which can efficiently connect the formaldescription ,validation,implementation and testing of protocols. It mainly discusses the formal description of p... This paper presents a formal technique of protocols based on RSL,which can efficiently connect the formaldescription ,validation,implementation and testing of protocols. It mainly discusses the formal description of protocolsbased on RSL,and also provides an algorithm about this. Finally,taking the protocol AB as an example,a formal de-scription based on RSL is given. 展开更多
关键词 rsl 形式化描述技术 通信协议 协议工程学 计算机网络
在线阅读 下载PDF
RSL在协议形式化描述中的应用研究 被引量:3
10
作者 顾翔 邱建林 蒋峥峥 《计算机应用》 CSCD 北大核心 2007年第9期2236-2238,共3页
将RSL引入协议工程,探讨了对协议进行形式化描述的一条新途径。为RSL扩充了时间描述机制,讨论了基于两类基本模型(状态模型和进程模型)的协议描述方法及一般描述步骤。以示例方式给出了RIP路由简化算法的RSL形式化描述。与其他方法相比... 将RSL引入协议工程,探讨了对协议进行形式化描述的一条新途径。为RSL扩充了时间描述机制,讨论了基于两类基本模型(状态模型和进程模型)的协议描述方法及一般描述步骤。以示例方式给出了RIP路由简化算法的RSL形式化描述。与其他方法相比,扩充后的RSL描述能力强,描述手段灵活,能更有效地支持验证、测试等后续阶段的工作。 展开更多
关键词 协议工程 形式化描述 rsl
在线阅读 下载PDF
美国AAFA的RSL解读(上) 被引量:5
11
作者 王建平 吴岚 朱雯喆 《纺织导报》 CAS 北大核心 2009年第6期95-99,共5页
继2007年6月推出首版《限用物质清单》(Restricted Substances List,简称RSL,下同)之后,仅仅过了7个月时间,AAFA于2008年2月推出了RSL第二版。除了少量版式上的调整,新版RSL在技术内容上并无实质性的变化。2008年7月,AAFA推出了... 继2007年6月推出首版《限用物质清单》(Restricted Substances List,简称RSL,下同)之后,仅仅过了7个月时间,AAFA于2008年2月推出了RSL第二版。除了少量版式上的调整,新版RSL在技术内容上并无实质性的变化。2008年7月,AAFA推出了其RSL第三版。这次改版,主要是在引用法规、技术内容勘误和限用物质增删等方面作了少量的调整。 展开更多
关键词 rsl 解读 美国 技术内容 LIST 第二版 第三版 物质
在线阅读 下载PDF
UML状态机模型元素的RSL形式化定义 被引量:4
12
作者 郭艳燕 刘惊雷 《计算机科学》 CSCD 北大核心 2013年第5期177-183,205,共8页
UML状态机作为UML动态描述机制的重要组成部分,在描述系统及模型的动态行为时扮演着重要的角色,但已有的UML动态语义缺乏准确的形式化描述。首先将UML状态机抽象成图;再将图通过传统的有穷自动机进行语义扩展,同时增加状态分层,形成一... UML状态机作为UML动态描述机制的重要组成部分,在描述系统及模型的动态行为时扮演着重要的角色,但已有的UML动态语义缺乏准确的形式化描述。首先将UML状态机抽象成图;再将图通过传统的有穷自动机进行语义扩展,同时增加状态分层,形成一个基于UML状态机的有穷自动机;然后用RAISE规约语言RSL对扩展后的自动机进行形式化定义,使UML状态机中的模型元素的语义更加清晰、精确,为后期的UML状态机的操作语义形式化研究打下基础。 展开更多
关键词 统一建模语言(UML ) 状态机 形式化方法 有穷自动机 RAISE规约语言(rsl)
在线阅读 下载PDF
两种形式语言:RSL与Z的分析比较 被引量:4
13
作者 陈怡海 缪淮扣 《计算机应用与软件》 CSCD 北大核心 2002年第4期9-11,50,共4页
RSL(RAISE规格说明语言)和Z是目前广泛应用的软件规格说明语言,本文从软件开发生命周期的角度对两种语言进行了比较,提出了将不同规格说明语言结合形式地描述系统的设想。
关键词 形式语言 rsl语言 Z语言 比较 软件开发
在线阅读 下载PDF
美国AAFA的RSL解读(下) 被引量:2
14
作者 王建平 吴岚 朱雯喆 《纺织导报》 CAS 北大核心 2009年第7期86-92,共7页
二噁英和呋哺是两种化学物质大类的名称,被AAFA列入限用清单的二吧英和呋喃都是多卤代(氯、澳)二吧英和多卤代(氯、溴)苯并呋喃类化合物。科学研究已经证明,多卤代二吒英和多卤代苯并呋喃都是强烈的致癌物质。通常情况下,由于此... 二噁英和呋哺是两种化学物质大类的名称,被AAFA列入限用清单的二吧英和呋喃都是多卤代(氯、澳)二吧英和多卤代(氯、溴)苯并呋喃类化合物。科学研究已经证明,多卤代二吒英和多卤代苯并呋喃都是强烈的致癌物质。通常情况下,由于此类物质本身并无任何商业或实际使用价值,企业并不会去专门生产这类产品。在自然界中存在的此类物质,通常是由于某些有机卤素化合物在合成过程中产生的副产物,或由于这些有机卤素化合物的不完全燃烧而产生的。因此,在纺织服装等消费品的生产加工过程中,如果使用某些有机卤素化合物,如五氯苯酚,四氯苯酚、某些有机氯杀虫剂和含溴阻燃剂等,就会存在带人多卤代二噁英和多卤代苯并呋喃的风险。 展开更多
关键词 有机卤素化合物 rsl 含溴阻燃剂 苯并呋喃 五氯苯酚 解读 美国 化学物质
在线阅读 下载PDF
用RSL描述网格资源分配 被引量:2
15
作者 郭绍忠 黄永忠 陈新 《信息工程大学学报》 2003年第3期4-6,共3页
本文简要介绍了网格和Globus,Globus的系统结构和资源分配;用户可以根据RSL描述来发出任务请求并交给GRAM处理;重点介绍了资源描述语言RSL,RSL语法、标记和属性。最后用修正的BNF描述了RSL的语法和标记规则。
关键词 网格 GLOBUS 资源分配管理GRAM rsl
在线阅读 下载PDF
RSL:基于Rough Set的表示语言 被引量:1
16
作者 周育健 王珏 《软件学报》 EI CSCD 北大核心 1997年第8期569-576,共8页
本文绘出了一种基于RoughSet理论的表示语言—RSL,该语言包括面向应用与面向研究两部分.应用部分主要服务于对信息表进行分析与处理的用户,研究部分则主要是为研究RoughSet及利用RoughSet理论构造更复杂算法的研究者所设计.鉴于Rough... 本文绘出了一种基于RoughSet理论的表示语言—RSL,该语言包括面向应用与面向研究两部分.应用部分主要服务于对信息表进行分析与处理的用户,研究部分则主要是为研究RoughSet及利用RoughSet理论构造更复杂算法的研究者所设计.鉴于RoughSet理论中求最小约简的过程是NP完全问题,为了使RSL表示语言可以分析与处理规模更大的信息表,本文还为RSL表示语言设计了一个新的对求取最小约简而言的领域独立的近似算法. 展开更多
关键词 决策分析 表示语言 rsl 人工智能
在线阅读 下载PDF
RSL3中间体的简便合成 被引量:3
17
作者 刘斌 朱周静 +2 位作者 祝婷婷 张方成 张彦民 《精细化工》 EI CAS CSCD 北大核心 2019年第5期1012-1015,共4页
以D-色氨酸为原料,通过酯化、Pictet-Spengler两步反应,简便有效地合成了RSL3的关键中间体——(1S,3R)-1-[4-(甲氧羰基)苯基]-2,3,4,9-四氢-1H-吡啶[3,4-b]吲哚-3-羧酸甲酯盐酸盐。对Pictet-Spengler反应条件进行了考察。结果表明:当n(D... 以D-色氨酸为原料,通过酯化、Pictet-Spengler两步反应,简便有效地合成了RSL3的关键中间体——(1S,3R)-1-[4-(甲氧羰基)苯基]-2,3,4,9-四氢-1H-吡啶[3,4-b]吲哚-3-羧酸甲酯盐酸盐。对Pictet-Spengler反应条件进行了考察。结果表明:当n(D-色氨酸甲酯盐酸盐)∶n(4-甲酰基苯甲酸甲酯)=1∶1.1、乙腈为反应溶剂,回流反应6 h,通过减压抽滤即可得到trans-构型产物(RSL3中间体),总收率为61.5%。产物及中间体经过~1HNMR、~1H-~1H NOESY和ESI-MS进行确认。 展开更多
关键词 rsl3中间体 Pictet-Spengler反应 四氢-?-咔啉 构型
原文传递
RSL应用于协议形式化描述的研究
18
作者 赵静 屈玉贵 赵保华 《小型微型计算机系统》 CSCD 北大核心 2004年第3期447-450,共4页
在 RSL 形式语言的基础上扩充了时间描述机制 ,使其能够描述协议的实时性 ;并且根据该语言的特点 ,提出了一种面向对象的 FSM模型 (OOFSM) ,该模型将面向对象技术与 FSM相结合 ,既可以有效地解决当构造复杂协议时 FSM所面临的状态爆炸问... 在 RSL 形式语言的基础上扩充了时间描述机制 ,使其能够描述协议的实时性 ;并且根据该语言的特点 ,提出了一种面向对象的 FSM模型 (OOFSM) ,该模型将面向对象技术与 FSM相结合 ,既可以有效地解决当构造复杂协议时 FSM所面临的状态爆炸问题 ,又可以使所描述的协议具有可重用性、可组装性且易于维护 ;最后给出了一个实例说明 OOFSM的建模过程 ,并用扩充的 展开更多
关键词 形式化描述 rsl 形式描述语言 面向对象 FSM 时间描述机制 通信协议
在线阅读 下载PDF
基于CSP和RSL的协议形式化描述技术研究
19
作者 顾翔 邱建林 《微电子学与计算机》 CSCD 北大核心 2009年第3期93-96,101,共5页
协议形式化描述是协议工程的核心,对于协议的开发起到基础作用.首先对协议形式化描述技术进行了综述,然后着重研究了两种协议形式化描述技术:基于CSP的描述和基于RSL的描述,并以AB协议为例,分别给出了具体的描述示例.这两种技术具有较... 协议形式化描述是协议工程的核心,对于协议的开发起到基础作用.首先对协议形式化描述技术进行了综述,然后着重研究了两种协议形式化描述技术:基于CSP的描述和基于RSL的描述,并以AB协议为例,分别给出了具体的描述示例.这两种技术具有较强的表达能力,是进行协议描述的有力工具. 展开更多
关键词 形式化描述技术 通信顺序进程 rsl
在线阅读 下载PDF
CSP和RSL应用于协议形式化描述的研究 被引量:3
20
作者 贾若宇 赵保华 +1 位作者 屈玉贵 顾翔 《计算机应用》 CSCD 北大核心 2003年第1期10-12,共3页
文中用一种新的形式化描述语言RSL来描述网络协议,采用通信顺序进程CSP为模型。该模型基于进程代数,能用严密的代数演算方法验证协议性质。文中对CSP模型和RSL语言作了时间的扩充,并且给出了从CSP模型到RSL语言的转换步骤及规则。最后... 文中用一种新的形式化描述语言RSL来描述网络协议,采用通信顺序进程CSP为模型。该模型基于进程代数,能用严密的代数演算方法验证协议性质。文中对CSP模型和RSL语言作了时间的扩充,并且给出了从CSP模型到RSL语言的转换步骤及规则。最后给出了一个TFTP的实例来说明RSL语言在协议描述上的适用性。 展开更多
关键词 CSP rsl 协议形式化描述 网络协议 通信协议 计算机网络
在线阅读 下载PDF
上一页 1 2 5 下一页 到第
使用帮助 返回顶部