期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到5篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于Isabelle的核电嵌入式操作系统内存管理形式化建模方法研究
1
作者 李幼媛 张亚栋 +4 位作者 武方杰 杜乔瑞 首云旭 孙王强 洪鑫哲 《自动化博览》 2025年第11期20-27,共8页
核电嵌入式操作系统作为核电站安全运行的核心基础软件,其安全性和可靠性至关重要。随着形式化方法在计算机领域的广泛应用,基于定理证明的形式化验证技术有助于提升满足核电行业法规标准要求。本研究提出了一套面向核电嵌入式操作系统... 核电嵌入式操作系统作为核电站安全运行的核心基础软件,其安全性和可靠性至关重要。随着形式化方法在计算机领域的广泛应用,基于定理证明的形式化验证技术有助于提升满足核电行业法规标准要求。本研究提出了一套面向核电嵌入式操作系统软件生命周期的形式化方法流程框架,以及适配生命周期流程中各个阶段的形式化建模和验证执行流程,旨在提升软件的可靠性与安全性。本研究以某嵌入式操作系统的内存管理核心模块的设计算法为具体案例,建立了功能正确性定理和系统不变式的形式规约,并使用Isabelle定理证明器建立了形式化模型,并进行了形式化验证,证明了该模型能够严格满足预设的安全属性要求,进而提升了软件质量。该研究为核电关键软件的形式化验证提供了可借鉴的方法论和实践案例。 展开更多
关键词 核电嵌入式操作系统 形式化建模 内存管理 isabe
在线阅读 下载PDF
耐碳青霉烯类鲍曼不动杆菌6种基因及ISAbal插入序列的研究 被引量：5
2
作者 廖晚珍 杨璐 +3 位作者 温桂兰 彭卫华 胡雪飞 余阳 《检验医学》 CAS 2012年第9期749-753,共5页
目的研究耐碳青霉烯类鲍曼不动杆菌(CRAB)的基因型特点和与插入序列ISAbal的关系,探讨其耐药机制。方法收集CRAB 70株(非重复)和碳青霉烯类敏感鲍曼不动杆菌10株,采用2-巯基丙酸抑制试验检测金属β-内酰胺酶(MBLs);采用多重聚合酶链反应... 目的研究耐碳青霉烯类鲍曼不动杆菌(CRAB)的基因型特点和与插入序列ISAbal的关系,探讨其耐药机制。方法收集CRAB 70株(非重复)和碳青霉烯类敏感鲍曼不动杆菌10株,采用2-巯基丙酸抑制试验检测金属β-内酰胺酶(MBLs);采用多重聚合酶链反应(PCR)扩增blaIMP、blaVIM、blaOXA-23、blaOXA-24、blaOXA-51、blaOXA-58、ISAbalOXA-23,扩增产物DNA测序进行比对。结果 70株CRAB 2-巯基丙酸与头孢他啶协同试验全部为阴性(即MBLs阴性),用7对特异性引物对70株CRAB和10株敏感菌进行PCR扩增,所有CRAB均携带blaOXA-23、blaOXA-51,未检出blaOXA-24;1株含有blaOXA-58;80株均不携带blaIMP和blaVIM;插入序列ISAbalOXA-2370株CRAB均有表达,敏感菌均不表达。结论 CRAB的主要耐药基因是blaOXA-51和blaOXA-23;另外,blaOXA-23上游都存在插入序列ISAbal。鲍曼不动杆菌的耐药性与MBLs、blaOXA-24、blaOXA-58无相关性。 展开更多
关键词 鲍曼不动杆菌 金属酶 碳青霉烯酶 基因型 插入序列ISAbal
暂未订购
亚胺培南耐药鲍曼不动杆菌由插入序列ISAba1点突变引起的bla_(OXA-23)表达减低 被引量：4
3
作者 武大伟 魏殿军 +2 位作者 马全玲 门昆 曹阳 《中国抗生素杂志》 CAS CSCD 北大核心 2011年第5期398-400,I0001,I0002,共5页
目的研究临床分离的8株亚胺培南耐药鲍曼不动杆菌中,与插入序列相关的blaOXA-23 mRNA的表达情况。方法应用双纸片增效法进行金属酶表型筛查并以PCR的方法扩增blaIMP-1、blaIMP-2、blaVIM-2和blaOXA-23 4种β-内酰胺酶基因;实时荧光PCR检... 目的研究临床分离的8株亚胺培南耐药鲍曼不动杆菌中,与插入序列相关的blaOXA-23 mRNA的表达情况。方法应用双纸片增效法进行金属酶表型筛查并以PCR的方法扩增blaIMP-1、blaIMP-2、blaVIM-2和blaOXA-23 4种β-内酰胺酶基因;实时荧光PCR检测blaOXA-23 mRNA表达量,并以PCR的方法扩增插入序列ISAba1并测序。结果 4株菌金属酶表型筛查为阳性结果,PCR检测8株菌blaOXA-23阳性,2株blaIMP-1阳性、3株blaIMP-2阳性、blaVIM-2基因均为阴性;所有菌株均存在插入序列ISAba1,实时荧光PCR检测显示1株菌blaOXA-23 mRNA表达升高,其余7株菌与对照株比较为表达减低或相近,且这7株菌的插入序列存在点突变现象。结论插入序列ISAba1点突变是引起blaOXA-23碳青霉稀酶活性减低的主要原因。 展开更多
关键词 鲍曼小动杆菌 blaOXA-23mRNA 插入序列ISAbal
在线阅读 下载PDF
公允价值计量属性应用的国际比较 被引量：2
4
作者 郑素芬 《北方经贸》 2009年第6期71-72,共2页
公允价值计量属性近年来成为会计界研讨的热门话题,新准则发布后更是引起了国内外的专家和学者对公允价值的定义、特征、应用条件等各个方面的深入研究。美国FASB应该是最早研究公允价值的机构,对其实践应用研究也是相对有权威的。IASB... 公允价值计量属性近年来成为会计界研讨的热门话题,新准则发布后更是引起了国内外的专家和学者对公允价值的定义、特征、应用条件等各个方面的深入研究。美国FASB应该是最早研究公允价值的机构,对其实践应用研究也是相对有权威的。IASB作为国际会计准则理事会也对公允价值的应用等问题进行了明确而又深入的研究,这些研究对我国会计准则的国际协调具有借鉴作用。 展开更多
关键词 公允价值 FASB ISAB
在线阅读 下载PDF
资讯国外版
5
《对外经贸财会》 2004年第3期48-49,共2页
关键词 美国注册会计师协会 AICPA 审计准则 国际鉴定约定准则 ISAB 内部控制委员会 COSO 企业 风险管理 国际会计准则
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部