期刊文献+
共找到3,238篇文章
< 1 2 162 >
每页显示 20 50 100
抑垢剂挤注技术在印尼OSES油田的应用
1
作者 王震 杨永庆 《广东石油化工学院学报》 2021年第3期23-25,共3页
印尼OSES油田经过40余年开发,部分油井结垢严重,电泵平均运转周期不足6个月,频繁的检泵作业增加了油田开发生产的成本。经过油井取样分析,OSES油井结垢类型主要为碳酸钙垢。针对OSES油田高温、高渗、低压砂岩油藏的油藏特征研发出PA-SID... 印尼OSES油田经过40余年开发,部分油井结垢严重,电泵平均运转周期不足6个月,频繁的检泵作业增加了油田开发生产的成本。经过油井取样分析,OSES油井结垢类型主要为碳酸钙垢。针对OSES油田高温、高渗、低压砂岩油藏的油藏特征研发出PA-SID5抑垢剂产品,结合OSES特殊修井作业特点,提出酸化联合抑垢剂挤注的工艺方法。对实施抑垢剂挤注措施的油井产出液进行抑垢剂浓度监测,油井未见结垢现象,抑垢剂极大地延长了检泵周期,降低了作业费用,取得了良好的经济效益。 展开更多
关键词 oses油田 抑垢剂 挤注工艺
下载PDF
微管抑制及尾桥蛋白磷酸化促进骨肉瘤细胞U2OS微核形成
2
作者 阮荻 孙林 +3 位作者 潘高 周文豪 林怡然 龚业莉 《华中科技大学学报(医学版)》 CAS CSCD 北大核心 2024年第2期207-213,共7页
目的探讨微管及微管相关蛋白尾桥蛋白在肿瘤细胞微核形成中的作用。方法利用DAPI染色检测不同类型细胞自发微核率;利用诺考达唑(nocodazole)抑制微管聚集后,DAPI染色和胞质分裂阻滞(cytokinesis-block,CB)微核实验观察人骨肉瘤细胞株U2O... 目的探讨微管及微管相关蛋白尾桥蛋白在肿瘤细胞微核形成中的作用。方法利用DAPI染色检测不同类型细胞自发微核率;利用诺考达唑(nocodazole)抑制微管聚集后,DAPI染色和胞质分裂阻滞(cytokinesis-block,CB)微核实验观察人骨肉瘤细胞株U2OS中微核形成情况;免疫荧光多重染色检测诺考达唑处理不同时间对U2OS细胞中微管及尾桥蛋白的影响;在U2OS细胞中过表达尾桥蛋白或利用collybistin使尾桥蛋白磷酸化,再利用免疫荧光及DAPI染色检测其对微管及微核形成的影响。结果相对于人胚肾HEK293细胞和原代神经细胞,U2OS自发微核率更高;诺考达唑处理使U2OS细胞微核数量增加,且与释放时间相关;诺考达唑处理使尾桥蛋白分布改变,逐渐聚集于细胞核;U2OS细胞中磷酸化尾桥蛋白主要表达于分裂期细胞;过表达尾桥蛋白和(或)增加其磷酸化水平并不影响U2OS细胞中微管蛋白的表达,但过表达尾桥蛋白并增加其磷酸化水平可使微核数量增多。结论肿瘤细胞内微核形成与微管聚集能力关系密切,可形成于细胞周期不同时期,具有积累效应。尾桥蛋白磷酸化后细胞中微核数量增多,提示其可能参与调节肿瘤细胞微核形成。 展开更多
关键词 微管 微核 尾桥蛋白 诺考达唑 collybistin U2OS
下载PDF
A prognosis model for predicting immunotherapy response of esophageal cancer based on oxidative stress-related signatures
3
作者 JING GUO CHANGYONG TONG +2 位作者 JIANGUANG SHI XINJIAN LI XUEQIN CHEN 《Oncology Research》 SCIE 2024年第1期199-212,共14页
Oxidative stress(OS)is intimately associated with tumorigenesis and has been considered a potential therapeutic strategy.However,the OS-associated therapeutic target for esophageal squamous cell carcinoma(ESCC)remains... Oxidative stress(OS)is intimately associated with tumorigenesis and has been considered a potential therapeutic strategy.However,the OS-associated therapeutic target for esophageal squamous cell carcinoma(ESCC)remains unconfirmed.In our study,gene expression data of ESCC and clinical information from public databases were downloaded.Through LASSO-Cox regression analysis,a risk score(RS)signature map of prognosis was constructed and performed external verification with the GSE53625 cohort.The ESTIMATE,xCell,CIBERSORT,TIMER,and ImmuCellAI algorithms were employed to analyze infiltrating immune cells and generate an immune microenvironment(IM).Afterward,functional enrichment analysis clarified the underlying mechanism of the model.Nomogram was utilized for forecasting the survival rate of individual ESCC cases.As a result,we successfully constructed an OS-related genes(OSRGs)model and found that the survival rate of high-risk groups was lower than that of low-risk groups.The AUC of the ROC verified the strong prediction performance of the signal in these two cohorts further.According to independent prognostic analysis,the RS was identified as an independent risk factor for ESCC.The nomogram and follow-up data revealed that the RS possesses favorable predictive value for the prognosis of ESCC patients.qRT-PCR detection demonstrated increased expression of MPC1,COX6C,CYB5R3,CASP7,and CYCS in esophageal cancer patients.In conclusion,we have constructed an OSRGs model for ESCC to predict patients’prognosis,offering a novel insight into the potential application of the OSRGs model in ESCC. 展开更多
关键词 Esophageal carcinoma OS Prognosis Risk markers Immune cell infiltration
下载PDF
1例拟诊脊髓小脑共济失调8型患者的基因检测和治疗分析
4
作者 孙欢 田晟 +3 位作者 张康 南京 祁云洁 葛巍 《山东医药》 CAS 2024年第9期71-73,共3页
目的分析脊髓小脑共济失调8型(Spinocerebellar ataxia type 8,SCA8)患者的基因检测结果,总结有效治疗方法。方法对1例拟诊SCA8患者的基因检测结果和治疗方法作回顾性分析。结果18岁男性患者,因“步态不稳12年”就诊,临床表现为行走不... 目的分析脊髓小脑共济失调8型(Spinocerebellar ataxia type 8,SCA8)患者的基因检测结果,总结有效治疗方法。方法对1例拟诊SCA8患者的基因检测结果和治疗方法作回顾性分析。结果18岁男性患者,因“步态不稳12年”就诊,临床表现为行走不稳、剪刀步态、双下肢肌张力增高。抽取患者及其父母的外周静脉血,行遗传性共济失调Panel基因检测、全外显子测序以及Sanger测序验证,基因检测结果显示:患者的ATXN8/ATXN8OS基因CAG重复分别是18次和68次,其母亲ATXN8/ATXN8OS基因CAG重复分别是24次和67次,患者父亲基因检测结果未见异常。结合患者临床症状、生物信息学软件预测结果,明确诊断为SCA8。为改善患者双下肢痉挛症状,实施选择性脊神经背根切断术(SDR)及脊神经根粘连松解术治疗,并进行术后康复锻炼。术后6个月,患者剪刀步态明显改善,行走基本平稳,MAS评分、VAS评分、坐位平衡及立位平衡均有改善。结论ATXN8/ATXN8OS基因串联重复区的CAG异常重复扩增可导致SCA8,临床表现为痉挛性步态不稳,结合基因检测结果可明确诊断,SDR可有效改善SCA8患者的痉挛性步态。 展开更多
关键词 脊髓小脑共济失调 脊髓小脑共济失调8型 ATXN8基因 ATXN8OS基因 选择性脊神经背根切断术 脊神经根粘连松解术
下载PDF
Redmi Note 12 Turbo更新澎湃OS后爆火:酷安热度冲上第一名
5
《世界电子元器件》 2024年第2期4-5,共2页
Redmi为Note 12 Turbo内测用户推送了澎湃OS更新,大规模更新预计在春节后上线。在Redmi Note 12 Turbo收到更新后,这款手机在酷安上再度爆火,冲上了酷安热度榜第一名,引发网友热议。这款手机发布于2023年3月份,该机首发搭载第二代骁龙7... Redmi为Note 12 Turbo内测用户推送了澎湃OS更新,大规模更新预计在春节后上线。在Redmi Note 12 Turbo收到更新后,这款手机在酷安上再度爆火,冲上了酷安热度榜第一名,引发网友热议。这款手机发布于2023年3月份,该机首发搭载第二代骁龙7+移动平台,采用的是台积电4nm制程工艺,具备1个X2超大核、3个A710大核和4个A510大核。其中超大核的最高频率为2.19GHz,GPU则是Adreno 725从架构上来看,和骁龙8+移动平台十分相似,它是高通有史以来最强的7系芯片,同时也是一颗极具颠覆性的移动芯片。 展开更多
关键词 制程工艺 移动平台 手机 高通 OS 最高频率
下载PDF
用最佳的方式拥抱生活 巴塞罗那CASTILLEJOS公寓
6
作者 许科(编译) 《室内设计与装修》 2024年第3期62-65,共4页
CASTILLEJOS公寓是由一处面积刚刚超过50m2的旧商业地产改建成的住宅项目。房屋位于巴塞罗那Eixample区一栋传统风格的漂亮建筑内。它有一个朝向街道立面的大开口,确保了充足的自然采光,同侧还有一个较小的开口,并有一个后院。难得的是... CASTILLEJOS公寓是由一处面积刚刚超过50m2的旧商业地产改建成的住宅项目。房屋位于巴塞罗那Eixample区一栋传统风格的漂亮建筑内。它有一个朝向街道立面的大开口,确保了充足的自然采光,同侧还有一个较小的开口,并有一个后院。难得的是室内高度超过3m,这为空间可能的各种新功能提供了机会。 展开更多
关键词 商业地产 自然采光 巴塞罗那 住宅项目 传统风格 公寓 OS
下载PDF
富碳质地质样品Re-Os同位素体系研究进展 被引量:1
7
作者 李欣尉 李超 +2 位作者 周利敏 赵鸿 屈文俊 《岩矿测试》 CAS CSCD 北大核心 2023年第2期221-238,共18页
Re-Os同位素定年技术在富有机质沉积岩、低变质沉积岩、湖相沉积物、煤、油气藏样品等富碳质地质样品的尝试和成功应用,使其成为直接厘定地层沉积时代、重大地质事件发生时限和机制、古环境重建、油气藏直接定年、油气演化过程推演等研... Re-Os同位素定年技术在富有机质沉积岩、低变质沉积岩、湖相沉积物、煤、油气藏样品等富碳质地质样品的尝试和成功应用,使其成为直接厘定地层沉积时代、重大地质事件发生时限和机制、古环境重建、油气藏直接定年、油气演化过程推演等研究的关键技术手段。然而,受到富碳质地质样品中极低的Re和Os丰度、采样方式以及地质作用等因素的影响,很多样品的Re-Os等时线年龄和初始Os同位素比值精度超过10%,不能有效地评价海水Os的真实来源和地质作用程度,影响了对不同沉积体系及油气演化过程中Re和Os的化学行为和Re-Os等时线年龄地质意义的理解。由此,本文从富碳质地质样品的Re-Os化学行为和地质应用进展出发,对富碳质地质样品Re-Os同位素分析过程中的采样和取样方式、溶样方法、分离富集方式和标准物质选择四方面进行了总结和完善。指出以沉积速率为采样间距参考,通过预处理方式提高样品的均匀性,使用流程空白更低、对同位素分馏影响更小的溶样方法和分离富集方式进行Re-Os同位素分析,以基质匹配的地质标样进行数据监控可进一步提高样品Re-Os同位素分析质量,有助于不同类型富碳质地质样品Re和Os赋存机制研究、Re-Os同位素分析技术开发及地质应用拓展。 展开更多
关键词 RE-OS同位素体系 富碳质地质样品 油气演化 Re、Os化学行为 地质应用 富碳质地质标样
下载PDF
智能网联汽车软件操作系统现状及发展建议 被引量:3
8
作者 刘宇 黎宇科 +2 位作者 葛鹏 张怡凡 秦志嫒 《汽车工业研究》 2023年第2期16-18,共3页
当前,作为智能网联汽车核心领域的汽车操作系统受制于国外先进国家,一定程度上限制了我国智能网联汽车产业的全面创新。本文基于汽车操作系统发展现状,分析各类操作系统对产业安全风险的影响,最终给出支持汽车软件操作系统发展的政策建议。
关键词 汽车软件操作系统 OS内核 中间件 功能件
下载PDF
lncRNA DIO3OS在骨肉瘤中的表达及抑制骨肉瘤细胞增殖、侵袭和迁移的研究
9
作者 万宁军 许少伟 +2 位作者 马剑 郝斌 王真 《宁夏医学杂志》 CAS 2023年第6期481-484,I0001,共5页
目的探讨lncRNA DIO3OS在骨肉瘤中的表达及其在调控骨肉瘤细胞生物学行为中的作用。方法收集骨肉瘤标本及配对癌旁正常组织标本6例,qRT-PCR检测骨肉瘤组织中DIO3OS表达。MG-63细胞转染si-DIO3OS或pcDNA3.1-DIO3OS,敲降或过表达DIO3OS后... 目的探讨lncRNA DIO3OS在骨肉瘤中的表达及其在调控骨肉瘤细胞生物学行为中的作用。方法收集骨肉瘤标本及配对癌旁正常组织标本6例,qRT-PCR检测骨肉瘤组织中DIO3OS表达。MG-63细胞转染si-DIO3OS或pcDNA3.1-DIO3OS,敲降或过表达DIO3OS后,通过CCK-8实验评估细胞增殖能力,划痕实验和Transwell实验检测骨肉瘤细胞MG-63迁移与侵袭能力。基于TARGET数据库,根据患者骨肉瘤组织中DIO3OS表达水平分为高表达组与低表达组,Kaplan Meier生存分析评估DIO3OS表达水平与患者预后的关系。结果qRT-PCR结果显示,骨肉瘤组织及细胞中DIO3OS表达下调。敲降DIO3OS表达时,CCK-8实验结果表明骨肉瘤细胞MG-63增殖能力增加,划痕实验和Transwell实验结果显示MG-63细胞迁移与侵袭能力增加(P<0.05)。过表达DIO3OS后,CCK-8、划痕实验和Transwell实验结果显示,MG-63细胞的增殖、迁移与侵袭能力减弱(P<0.05)。Kaplan-Meier生存分析结果显示,DIO3OS高表达组患者生存率明显高于低表达组(P<0.05)。结论lncRNA DIO3OS在骨肉瘤组织及细胞中表达下调,并且可以抑制骨肉瘤细胞的增殖、迁移与侵袭能力,DIO3OS高表达的骨肉瘤患者预后较好。 展开更多
关键词 骨肉瘤 lncRNA DIO3OS 细胞增殖 细胞迁移与侵袭
下载PDF
双核芳基Os(Ⅱ)配合物的合成及诱导肿瘤铁死亡机制
10
作者 郭冰莲 李季 +2 位作者 吕梦迪 薛旭玲 刘红科 《无机化学学报》 SCIE CAS CSCD 北大核心 2023年第10期1887-1897,共11页
本文报道了一种双核锇Os(Ⅱ)配合物[Os(η^(6)-bip)(1,3-bib)Cl]_(2)Cl_(2)(bib-Os),其中η^(6)-bip=η^(6)-联苯,1,3-bib=1,3-二(1H-咪唑-1-基)苯。并通过~1H NMR和ESI-MS进行基础表征。配合物bib-Os具有良好的脂溶性,易在细胞中积累... 本文报道了一种双核锇Os(Ⅱ)配合物[Os(η^(6)-bip)(1,3-bib)Cl]_(2)Cl_(2)(bib-Os),其中η^(6)-bip=η^(6)-联苯,1,3-bib=1,3-二(1H-咪唑-1-基)苯。并通过~1H NMR和ESI-MS进行基础表征。配合物bib-Os具有良好的脂溶性,易在细胞中积累。配合物bib-Os对人卵巢癌A2780细胞表现出高效的抗增殖活性,可产生活性氧(ROS)并诱导线粒体损伤。脂质过氧化物(LPO)积累、谷胱甘肽(GSH)消耗和谷胱甘肽过氧化物酶4(GPX4)下调表明,配合物bib-Os诱导A2780细胞死亡的主要机制是铁死亡,bib-Os是第一例诱导肿瘤细胞铁死亡的Os金属配合物。 展开更多
关键词 芳基Os(Ⅱ)配合物 双核 线粒体损伤 铁死亡
下载PDF
结直肠癌机会性筛查的临床应用探讨
11
作者 王力波 徐萍 《中国内镜杂志》 2023年第12期37-43,共7页
目的探讨结直肠癌机会性筛查(OS)的临床应用,旨在为进一步完善大肠癌筛查流程和提高筛查效率提供依据。方法回顾性分析2019年1月-2020年12月该院3398例结直肠癌OS阳性,并完成全结肠镜检查的患者的临床资料。完成高危因素问卷调查(HRFQ)... 目的探讨结直肠癌机会性筛查(OS)的临床应用,旨在为进一步完善大肠癌筛查流程和提高筛查效率提供依据。方法回顾性分析2019年1月-2020年12月该院3398例结直肠癌OS阳性,并完成全结肠镜检查的患者的临床资料。完成高危因素问卷调查(HRFQ)和粪便免疫化学检测(FIT)后,建议对两种筛查方法中,任意一种结果呈阳性的患者,进行结肠镜检查。统计受检者的年龄、性别、病变检出情况和病变部位,根据初筛结果,比较不同筛查方法结直肠肿瘤检出率的情况。结果3398例受检者中,HRFQ(-)FIT(+)组进展期腺瘤和结直肠癌检出率高于HRFQ(+)FIT(-)组,差异均有统计学意义(P<0.05)。在非进展期腺瘤检出率方面,HRFQ(-)FIT(+)组明显低于HRFQ(+)FIT(+)组,差异有统计学意义(P<0.05)。FIT对结直肠肿瘤的敏感度总体上优于HRFQ,且FIT对远端结直肠肿瘤的敏感度高于近端,差异均有统计学意义(P<0.05)。结论HRFQ与FIT组合,比FIT或HRFQ单独使用,能筛选出更多的高危人群,从而检测出更多的结直肠肿瘤,通过及时的内镜下治疗或外科手术切除,可有效提高患者的5年生存率,降低人群的结直肠癌发病率和死亡率。 展开更多
关键词 机会性筛查(OS) 结直肠癌 进展期腺瘤 非进展期腺瘤 近端结肠 远端结肠
下载PDF
基于ERK1/2通路探讨八宝丹抑制骨肉瘤生长的机制
12
作者 陈鹏 张冬龙 +3 位作者 刘宇 林庆宾 刘俊宁 洪振强 《福建中医药》 2023年第6期18-21,51,共5页
目的通过观察八宝丹(BBD)对U2OS细胞生长的抑制作用以及对细胞外调节蛋白激酶(ERK1/2)通路的影响,以期揭示八宝丹抑制骨肉瘤生长的机制。方法选用U2OS细胞株作为研究对象,实验分为对照组和八宝丹高、中、低剂量组,高剂量组药物浓度为1.5... 目的通过观察八宝丹(BBD)对U2OS细胞生长的抑制作用以及对细胞外调节蛋白激酶(ERK1/2)通路的影响,以期揭示八宝丹抑制骨肉瘤生长的机制。方法选用U2OS细胞株作为研究对象,实验分为对照组和八宝丹高、中、低剂量组,高剂量组药物浓度为1.5 mg/mL;中剂量组药物浓度为1.0 mg/mL、低剂量组药物浓度为0.5 mg/mL,干预结束后采用CCK8法检测八宝丹对U2OS细胞增殖的影响;流式细胞术检测八宝丹对细胞凋亡的影响;qPCR检测八宝丹对ERK1/2通路上游Ras、Raf基因表达水平的影响;Western blot检测八宝丹对Cy⁃clinD1、MEK1/2、ERK1/2和p-ERK1/2蛋白表达量的影响。结果与对照组比较,不同浓度的八宝丹在干预24 h和48 h对U2OS细胞均有不同程度的生长抑制作用(P均<0.05);不同浓度八宝丹干预48 h均能明显降低Ras、Raf基因的表达,同时下调CyclinD1、MEK1/2蛋白的表达,下调ERK1/2与p-ERK1/2蛋白比率(P均<0.05)。结论八宝丹可抑制U2OS骨肉瘤细胞增殖,促进其凋亡,可能是通过抑制ERK1/2信号通路实现的。 展开更多
关键词 骨肉瘤 八宝丹 U2OS细胞 增殖 凋亡 ERK1/2信号通路
下载PDF
智能居家的医疗系统设计
13
作者 柏子洋 操凤萍 +3 位作者 杨元坤 胡志杨 马珂 彭骋飞 《集成电路应用》 2023年第1期338-341,共4页
阐述Harmony OS框架、嵌入式手环设备,采用NoSQL及Python爬虫技术,深度挖掘医疗数据,借用云平台对数据进行清洗、分析,为复杂割裂的医疗建立联系,探讨居家健康监测与诊疗需求,通过“AI+终端”的方式,实现智能医疗和智能健康应用。
关键词 智能家居 Harmony OS 云平台技术 数据清洗 智能监测系统
下载PDF
D^(3)OS决策优化引擎,驱动工业数智化转型升级 被引量:1
14
作者 谢海琴 陈辉 何梁 《上海信息化》 2023年第8期21-24,共4页
日前,“基于卡奥斯工业大脑的D³OS决策优化引擎”项目亮相2023世界人工智能大会,并一举摘得“SAIL之星”大奖,为人工智能、数字孪生等技术融合发展提供了创新经验。D^(3)OS数字孪生解决方案的赋能案例已在汽车、智能装备、家电、... 日前,“基于卡奥斯工业大脑的D³OS决策优化引擎”项目亮相2023世界人工智能大会,并一举摘得“SAIL之星”大奖,为人工智能、数字孪生等技术融合发展提供了创新经验。D^(3)OS数字孪生解决方案的赋能案例已在汽车、智能装备、家电、矿山等八大行业实现落地,为推动智能制造、绿色制造示范工厂建设,助力工业企业数智化转型做出了积极贡献。 展开更多
关键词 转型升级 创新经验 人工智能 智能制造 绿色制造 技术融合 示范工厂 OS
下载PDF
Re–Os and Pb isotope features of pyrite in the Shihangli graphite deposit:implications of coal-generated graphite mineralization in central Hunan,South China
15
作者 Yong Zhang Dongsheng Ma +6 位作者 Jian-Feng Gao Jiayong Pan Xupeng Lv Guoqi Liu Fujun Zhong Xiaotian Zhang Ying Liu 《Acta Geochimica》 EI CAS CSCD 2023年第5期895-911,共17页
The coal metamorphism in Central Hunan pro-vides valuable information about hydrothermal activity and water/rock reactions.Learning how to collect age data on hydrothermal fluid systems is necessary for understanding ... The coal metamorphism in Central Hunan pro-vides valuable information about hydrothermal activity and water/rock reactions.Learning how to collect age data on hydrothermal fluid systems is necessary for understanding the history and genetic mechanisms of large-scale coal-generated graphite deposits.The Shihangli graphite deposit,formed by significant siliceous hydrothermal alteration,is the most distinctive in Central Hunan.Re–Os dating of pyrite from the Shihangli graphite deposit demonstrates that the coal-generated graphite mineraliza-tion age is-127.6±3.8 Ma.Based on in-situ mineral analysis,the hydrothermal pyrite in the Shihangli graphite deposit is mostly enriched in Sb,As,Au,W,Ag,Cu,Pb,and Zn.Based on the pyrite Re–Os isochron,the initial(^(187)Os/^(188)Os)values of pyrite were 1.03±0.24 and the Os(t)values varied from 571.8 to 755.1.Pyrite from the Shihangli graphite deposit comprises a Pb isotope composition similar to that of the Madiyi Formation bulk rock and stibnite from the Xikuangshan Sb deposit.Based on the Re–Os,Sr,S,and Pb isotopic compositions of sul-fides in the graphite and Sb deposits in Central Hunan,the Madiyi Formation was likely the primary source of ore-forming elements(Sb,Au,and As).The Re–Os and Pb isotope compositions of pyrite most likely reflect when large-scale fluid migration and coal-generated graphite mineralization occurred in Central Hunan. 展开更多
关键词 PYRITE Re–Os Pb isotope GRAPHITE Central Hunan
下载PDF
A measurable refinement method of design and verification for micro-kernel operating systems in communication network
16
作者 Zhenjiang Qian Rui Xia +2 位作者 Gaofei Sun Xiaoshuang Xing Kaijian Xia 《Digital Communications and Networks》 SCIE CSCD 2023年第5期1070-1079,共10页
A secure operating system in the communication network can provide the stable working environment,which ensures that the user information is not stolen.The micro-kernel operating system in the communication network re... A secure operating system in the communication network can provide the stable working environment,which ensures that the user information is not stolen.The micro-kernel operating system in the communication network retains the core functions in the kernel,and unnecessary tasks are implemented by calling external processes.Due to the small amount of code,the micro-kernel architecture has high reliability and scalability.Taking the microkernel operating system in the communication network prototype VSOS as an example,we employ the objdump tool to disassemble the system source code and get the assembly layer code.On this basis,we apply the Isabelle/HOL,a formal verification tool,to model the system prototype.By referring to the mathematical model of finite automata and taking the process scheduling module as an example,the security verification based on the assembly language layer is developed.Based on the Hoare logic theory,each assembly statement of the module is verified in turn.The verification results show that the scheduling module of VSOS has good functional security,and also show the feasibility of the refinement framework. 展开更多
关键词 Assembly-level verification Finite automaton Hoare logic Isabelle/HOL Micro-kernel OS
下载PDF
水稻小分子热激蛋白基因Os02g0782500对逆境胁迫和激素的响应分析
17
作者 缪乐怡 范金岚 +3 位作者 詹嘉涛 曹佩 王丽敏 唐辉武 《广东农业科学》 CAS 2023年第12期112-119,共8页
【目的】分析水稻(Oryza sativa)小分子热激蛋白(Small heat shock protein,sHSP)基因Os02g0782500对逆境胁迫和激素的响应模式,为进一步研究Os02g0782500在逆境胁迫和激素响应过程中的功能提供理论依据。【方法】在水稻‘中花11’中克... 【目的】分析水稻(Oryza sativa)小分子热激蛋白(Small heat shock protein,sHSP)基因Os02g0782500对逆境胁迫和激素的响应模式,为进一步研究Os02g0782500在逆境胁迫和激素响应过程中的功能提供理论依据。【方法】在水稻‘中花11’中克隆获得Os02g0782500,并对其进行生物信息学分析;同时利用定量PCR(qRT-PCR)技术分析Os02g0782500在水稻不同组织及不同激素和非生物胁迫处理下的表达模式。【结果】Os02g0782500编码区全长为519 bp,编码一个含有HSP20保守结构域的s HSP。系统进化分析显示,Os02g0782500与玉米等单子叶植物中的同源蛋白亲缘关系较近。顺式作用元件分析表明,Os02g0782500的启动子区含有28个植物激素响应元件和35个环境胁迫响应元件。qRT-PCR分析表明,Os02g0782500在水稻叶片中的表达量最高;且Os02g0782500的表达受6-BA、GA3、IAA、高温、低温、PEG6000和NaCl的诱导,推测其在水稻非生物胁迫响应过程中具有重要作用。【结论】明确了Os02g0782500的表达受高温、低温、6-BA、GA3和IAA等外界因素调控,推测Os02g0782500可能通过IAA等激素信号转导途径参与水稻的非生物胁迫响应。 展开更多
关键词 水稻 热激蛋白 表达分析 非生物胁迫 Os02g0782500
下载PDF
Atg2基因敲除对人骨肉瘤U2OS细胞增殖和迁移的影响
18
作者 古丽妮尕尔·司马义 伊力亚斯·艾萨 +3 位作者 张金佩 刘世玉 席庆 米娜 《新疆医科大学学报》 CAS 2023年第10期1273-1277,共5页
目的 探讨自噬相关基因2(Autophagy-related gene 2,Atg2)对人骨肉瘤U2OS细胞增殖和迁移的影响。方法 蛋白质免疫印迹法鉴定两组细胞,即腺病毒介导CRISPR/Cas9系统靶向剪切AAVS1位点的基因未敲除组(AAVS1细胞)和Atg2ab基因双敲除组(Atg2... 目的 探讨自噬相关基因2(Autophagy-related gene 2,Atg2)对人骨肉瘤U2OS细胞增殖和迁移的影响。方法 蛋白质免疫印迹法鉴定两组细胞,即腺病毒介导CRISPR/Cas9系统靶向剪切AAVS1位点的基因未敲除组(AAVS1细胞)和Atg2ab基因双敲除组(Atg2ab DKO细胞);细胞划痕实验和Transwell小室法检测两组细胞的迁移能力;CCK-8法和细胞平板克隆形成实验检测两组细胞的增殖能力。结果 Atg2ab DKO细胞在24、48及72 h的光密度值(OD值)均较对照AAVS1细胞有所降低,但在72 h时,两种细胞的OD值差异有统计学意义(P<0.01)。Atg2ab DKO细胞形成的克隆数量少于对照组AAVS1细胞(6.33±2.31 vs15.00±1.00),差异有统计学意义(P<0.01)。Atg2ab DKO细胞创面愈合率(0.22±0.05)%显著低于对照组AAVS1细胞(0.82±0.05)%,差异有统计学意义(P<0.01)。与对照组AAVS1细胞相比,Atg2ab DKO细胞穿过Transwell小室的细胞数量显著减少(308.11±64.68 vs 79.78±48.95)(P<0.01)。结论 Atg2基因敲除有效抑制U2OS细胞的迁移和增殖等生物学功能,Atg2基因可能在人骨肉瘤发展中发挥重要作用。 展开更多
关键词 Atg2 U2OS细胞 细胞增殖 细胞迁移
下载PDF
熔盐电解法制备钛及其合金的研究现状
19
作者 董硕 梁精龙 《稀有金属与硬质合金》 CAS CSCD 北大核心 2023年第5期1-7,共7页
伴随时代发展,制备钛及其合金的工艺愈发绿色环保。目前,熔盐电解法因其低能耗、污染小等特点在钛及其合金制备工艺中备受关注。本文就近些年来熔盐电解法中作为研究热点的FFC剑桥工艺、OS钙热还原法、固体透氧膜法(SOM)以及USTB法四种... 伴随时代发展,制备钛及其合金的工艺愈发绿色环保。目前,熔盐电解法因其低能耗、污染小等特点在钛及其合金制备工艺中备受关注。本文就近些年来熔盐电解法中作为研究热点的FFC剑桥工艺、OS钙热还原法、固体透氧膜法(SOM)以及USTB法四种方法的还原机制进行详细的介绍,对其最近研究进展进行概述,对比分析其优缺点并以研究现状作为基础展望未来熔盐电解法的发展方向。 展开更多
关键词 熔盐电解 还原机制 FFC剑桥工艺 OS钙热还原法 固体透氧膜法 USTB法
原文传递
上一页 1 2 162 下一页 到第
使用帮助 返回顶部