检索结果-内蒙古大学图书馆

目的探讨全身免疫炎症指数(SII)联合血小板-清蛋白-胆红素(PALBI)评分对肝泡型包虫病(HAE)患者术后严重并发症的预测价值。方法选取2020年5月至2023年9月该院收治的245例确诊为HAE的患者作为HAE组,另选取同期在该院体检的年龄、性别相匹配的159例健康志愿者作为对照组。收集2组研究对象的外周静脉血,评估并对比2组研究对象的SII、PALBI评分,收集HAE患者临床资料。术后所有HAE患者均随访30 d,采用Clavien-Dindo分级将其分为严重并发症组和轻微并发症组。采用多因素Logistic回归分析HAE患者术后发生严重并发症的影响因素。绘制受试者工作特征(ROC)曲线评估SII和PALBI评分预测HAE患者术后发生严重并发症的效能。结果HAE组SII、PALBI评分均大于对照组(P<0.05)。Clavien-Dindo分级结果显示,HAE患者中有113例纳入严重并发症组,132例纳入轻微并发症组。严重并发症组SII、PALBI评分均大于轻微并发症组(P<0.05)。多因素Logistic回归分析结果显示,肝功能PNM分期Ⅲ~Ⅳ期、手术时间过长、高SII、高PALBI评分是HAE术后发生严重并发症的危险因素(P<0.05)。ROC曲线分析结果显示,SII、PALBI评分单独预测HAE术后发生严重并发症的曲线下面积(AUC)分别为0.796、0.737,二者联合预测的AUC为0.943,大于SII、PALBI评分单独预测的AUC(Z=4.884、6.459,P均<0.05)结论HAE患者SII、PALBI评分增高,且与术后严重并发症有关,SII和PALBI评分均可作为预测HAE患者术后发生严重并发症的指标,二者联合预测的临床价值更高。

关键词：肝泡型包虫病肝切除术并发症全身免疫炎症指数血小板-清蛋白-胆红素评分

来源：评论

学校读者我要写书评

暂无评论

HFETR燃料元件破损监测样机的无源效率刻度

引用

核电子学与探测技术 2025年第1期45卷 25-30页

作者：王力左伟吴耀刘晓松许非杨潇潇中国核动力研究设计院第一研究所四川成都610005 四川省核设施退役与放射性废物治理工程实验室四川成都610005

基于γ能谱测量法研制的HFETR(高通量工程试验堆,High Flux Engineering Test Reactor)燃料元件破损监测样机,其探测效率的主要影响因素是准直孔直径和探测距离;样机监测对象为HFETR一回路引出管道中的冷却剂,采用蒙特卡罗模拟法对样机... 详细信息

基于γ能谱测量法研制的HFETR(高通量工程试验堆,High Flux Engineering Test Reactor)燃料元件破损监测样机,其探测效率的主要影响因素是准直孔直径和探测距离;样机监测对象为HFETR一回路引出管道中的冷却剂,采用蒙特卡罗模拟法对样机进行无源效率刻度;建立了样机的探测模型,利用标准源修正了模型的准确性。计算了^(24)Na在不同准直孔直径、不同探测距离下的探测效率值,拟合了探测效率曲线公式,完成了^(24)Na活度监测的无源效率刻度;计算了准直孔直径为5cm、探测距离为65cm情况下^(24)Na的探测效率值,对HFETR一回路冷却剂进行连续监测并获取了^(24)Na的活度浓度;与取样监测相比,^(24)Na活度浓度的相对偏差在5%以内,证明了该无源效率刻度方法的准确性与实用性。

关键词：监测样机无源效率刻度直径距离活度

来源：评论

学校读者我要写书评

暂无评论

ECAP工艺下Fe基非晶合金的变形温度窗口探索

引用

模具制造 2025年第1期25卷 157-159页

作者：周美子徐龙杨潇潇穆保霞赵平平李思烨胡鑫南通理工学院江苏南通226000 新疆大学物理科学与技术学院新疆乌鲁木齐830000 天津科技大学天津300457

通过和FeCrMoPC块体非晶合金相似成分的CrMo合金钢运用Deform-3D软件在FeCrMoPC块体非晶合金过冷液相区内进行等径角转角挤压的数值模拟,通过后处理分析材料的等效应力、等效应变、挤压载荷以及温度场等数据,为Fe基非晶合金ECAP变形探... 详细信息

通过和FeCrMoPC块体非晶合金相似成分的CrMo合金钢运用Deform-3D软件在FeCrMoPC块体非晶合金过冷液相区内进行等径角转角挤压的数值模拟,通过后处理分析材料的等效应力、等效应变、挤压载荷以及温度场等数据,为Fe基非晶合金ECAP变形探索出一个理论上最佳的温度窗口为465℃。

关键词： ECAP工艺 Fe基非晶合金变形温度窗口 CrMo合金钢

来源：评论

学校读者我要写书评

暂无评论

MSVL语言的公理系统的程序验证

引用

西安电子科技大学学报 2010年第1期37卷 96-101页

作者：杨潇潇段振华西安电子科技大学计算理论与技术研究所陕西西安710071

MSVL语言是一种用于模拟、建模和验证程序的区间时序逻辑程序设计语言.为了证明区间时序逻辑程序的正确性,提出了MSVL语言的一个公理系统:包括正则形转换的状态公理和状态推演规则,以及将程序从一个状态转换到另一个状态的区间公理和区... 详细信息

MSVL语言是一种用于模拟、建模和验证程序的区间时序逻辑程序设计语言.为了证明区间时序逻辑程序的正确性,提出了MSVL语言的一个公理系统:包括正则形转换的状态公理和状态推演规则,以及将程序从一个状态转换到另一个状态的区间公理和区间推演规则.最后给出验证实例说明基于该公理系统的程序验证方法.

关键词：形式验证时序逻辑正则形安全性公理系统

来源：评论

学校读者我要写书评

暂无评论

框架时序逻辑程序语言MSVL的形式语义

框架时序逻辑程序语言MSVL的形式语义

引用

作者：杨潇潇西安电子科技大学

学位级别：博士

形式语义是对软件系统进行形式化验证和分析的重要理论基础。程序语言的语义可以帮助人们更好的理解、执行、分析软件系统。操作语义有助于语言的实现,公理语义有利于程序的验证,指称语义在强大的数学理论支持下为程序的含义提供了精确... 详细信息

形式语义是对软件系统进行形式化验证和分析的重要理论基础。程序语言的语义可以帮助人们更好的理解、执行、分析软件系统。操作语义有助于语言的实现,公理语义有利于程序的验证,指称语义在强大的数学理论支持下为程序的含义提供了精确的数学描述。时序逻辑程序设计是一种新型的程序设计范式,程序的具体执行和性质的描述可以在同一逻辑框架内表示,适用于并发系统的建模、模拟和验证。尽管研究人员开发了相关的解释器来执行各类时序逻辑程序语言,时序逻辑及其可执行子集被广泛地应用于系统的规范和验证中,但是到目前为止,至少在区间时序逻辑程序语言中,还没有一套系统而完整的形式语义。本文以区间时序逻辑程序语言MSVL为研究对象,分别从模型语义、操作语义、公理语义三条主线来研究区间时序逻辑程序的形式语义,并对三种语义之间的一致性、互补性进行分析和证明。本文研究了MSVL语言的极小模型语义。由于MSVL语言中的框架技术破坏了逻辑的单调性,传统的规范模型已不再适用于捕获该语言的模型语义。因此,我们提出了极小模型理论并证明了极小模型的存在性定理。为了正确理解程序语言的执行过程,本文研究了MSVL语言的结构化操作语义。首先定义了一种新的适用于描述区间时序逻辑程序语言语义的表达式格局和命令格局。其次给出了带有时态操作符的算术表达式和布尔表达式的求值规则,以及程序的状态迁移系统和区间迁移系统。状态迁移系统包括将一个程序化简为与其等价的正则形的语义等价规则和状态上的迁移规则。区间迁移系统给出了将程序从一个状态迁移到下一个状态的区间迁移规则。进一步,我们研究了两类迁移系统的性质,并证明了操作语义和基于模型理论的极小模型语义之间的一致性。最后基于本文提出的操作语义,开发了具有对软硬件系统进行建模、模拟和验证功能的MSVL语言的解释器。为了实现在同一逻辑框架内对并发系统进行建模和验证的目的,本文研究了MSVL语言的公理语义。在该方法中,MSVL语言作为程序设计语言来描述系统行为(系统建模),命题投影时序逻辑作为断言语言描述系统性质。这样,系统的模型和性质的规范可以用同一逻辑记号表示,简化了验证在不同形式化记号之间转换的复杂过程。进一步,我们给出将程序推演为正则形的状态公理和状态推演规则以及程序在区间上的公理和推演规则,这些规则在将程序从一种状态转换到另一种状态的同时实现程序性质的验证。另外,基于MSVL语言的操作语义,我们证明了该公理系统的可靠性和相对完备性。最后,使用该语言的公理语义对一个应用实例的完全正则性质进行了形式化验证。

关键词：时序逻辑程序设计框架极小模型操作语义公理语义

来源：评论

学校读者我要写书评

暂无评论

基于解释结构模型的PPP项目风险因素分析

引用

金融理论与实践 2018年第10期 60-66页

作者：杨潇潇张磊云南财经大学云南昆明650221 中国工商银行洛阳分行河南洛阳471000

PPP模式已经得到了国家政策支持,成为我国城镇基础设施建设的新模式,研究其风险管理具有实际意义。研究定性分析了PPP项目的风险,列示了项目风险的主要特征,按参与方涉及因素划分了风险的类别;运用解释结构理论建立了PPP项目风险影响因... 详细信息

PPP模式已经得到了国家政策支持,成为我国城镇基础设施建设的新模式,研究其风险管理具有实际意义。研究定性分析了PPP项目的风险,列示了项目风险的主要特征,按参与方涉及因素划分了风险的类别;运用解释结构理论建立了PPP项目风险影响因素模型,结论为:影响PPP项目风险的各种因素对风险的作用各不相同,根据其是否存在相互联系可以划分成地位不同的五个层次,这五个层次可以作为风险分担和分析的依据,并以一个例子说明模型的使用方法。由此提出PPP项目风险管理的政策性建议。旨在以PPP项目所有风险因素的相互作用为逻辑依据,探索各因素的相互关系,从而为风险分担提供具有内在联系的逻辑依据。

关键词： PPP项目风险因素 ISM 风险分担

来源：评论

学校读者我要写书评

暂无评论

中国北方首例Fonsecaea nubica致着色芽生菌病及文献回顾

中国北方首例Fonsecaea nubica致着色芽生菌病及文献回顾

引用

作者：杨潇潇郑州大学

学位级别：硕士

背景着色芽生菌病(Chromoblastomycosis,CBM)是一种由暗色真菌引起皮肤和皮下组织的慢性炎症性疾病。主要分布在热带和亚热带地区。CBM的致病菌以着色霉属(Fonsecaea spp.)和枝孢瓶霉属(Chladophialophora spp.)为主。着色霉属中裴氏着... 详细信息

背景着色芽生菌病(Chromoblastomycosis,CBM)是一种由暗色真菌引起皮肤和皮下组织的慢性炎症性疾病。主要分布在热带和亚热带地区。CBM的致病菌以着色霉属(Fonsecaea spp.)和枝孢瓶霉属(Chladophialophora spp.)为主。着色霉属中裴氏着色霉(Fonsecaea pedrosoi)、Fonsecaea monophora、Fonsecaea nubica和Fonsecaea pugnacius均是CBM的致病菌。Najafzadeh等人在2010年首次报道了***,其在形态学上与裴氏着色霉和***类似,难以区分,通过测定AFLP分子标记技术、转录间隔区序列(Internal transcribed spacers,ITS)、部分细胞分裂周期(Partial beta-tubulin,CDC42)、β-微管蛋白(Partial beta-tubulin,BT2)和肌动蛋白(Actin,ACT1),将***作为新的物种从裴氏着色霉中分离出来。目前既往文献中已报道40多株***,这些菌株主要从巴西、中国、非洲、法国、澳大利亚、泰国、日本、韩国和孟加拉这些国家中分离出来。该病好发于人体的外露部位,多见于小腿和足部,农民、工人、赤脚工作者多见。CBM各个年龄阶段均可发病,好发于41～70岁的男性。硬壳小体是CBM的典型特征。CBM的诊断主要依靠临床表现、组织病理、真菌学检查和分子生物学方法。由于致病菌的多样性、抗真菌药物的生物有效性和临床表现的多样性,目前CBM的治疗方案尚无“金标准”,该病的治疗对临床医生来说是一大挑战。目的1.总结一例Fonsecaea nubica所致着色芽生菌病的临床和实验特征;2.回顾迄今国内外报道Fonsecaea nubica所致着色芽生菌病的文献。方法1.临床资料:我院临床诊断一例75岁男性Fonsecaea nubica致着色芽生病,发现右上背部红色斑块15月,曾有外伤史。2.组织病理学检查:于患者右上背皮损处环钻取材,福尔马林溶液固定标本,送检至病理科进行HE染色、PAS染色及六胺银染色,在显微镜下观察标本。3.真菌培养:刮取患者右上背部皮损,接种于沙堡罗葡萄糖琼脂培养基上在28℃下进行培养14天,看到菌落形成。4.直接真菌镜检(10%KOH):挑取菌落的菌丝,直接涂片,显微镜下观察标本。5.真菌荧光染色:接种标本于马铃薯葡萄糖琼脂培养基上在28℃下进行小培养7天。小培养标本用伊文思蓝+钙荧光白染色后,荧光显微镜在白光、紫外线及混合光下观察。6.扫描电镜:用2.5%戊二醛溶液在4℃下固定标本4小时,用乙醇(50%、70%、90%和100%)进行脱水后,在扫描电镜下进行观察。7.分子生物学方法:提取菌落DNA,分别对其转录间隔区序列(ITS)和肌动蛋白(ACT1)进行PCR扩增,PCR产物送至擎科生物进行测序。8.体外药敏试验:根据美国临床和实验室标准化研究院推荐的CLSI 38-A2方案,选择近平滑念珠菌ATCC 22019作为质控菌株,检测下列抗真菌药物的MIC(最小抑菌浓度)值:伊曲康唑、特比萘芬、两性霉素B和氟康唑。9.系统发育树:用MEG6.0软件基于ITS及邻近序列构建Fonsecaea nubica的系统发育树。10.回顾国内外已报道的***致着色芽生菌病,通过中国知网、万方数据库、PubMed、MEDLINE和Elsevier进行检索,对其病史、临床表现、组织病理表现、真菌直接镜检、真菌培养、扫描电镜、分子生物学、体外药敏试验和治疗方案进行统计分析。结果1临床资料:患者男,75岁,河南农民,因“右背部红色斑块15月”就诊于我院皮肤科。皮肤科检查:右背部可见一大小为40mm×10mm红色斑块,境界清楚,形状不规则,皮损高于皮肤表面,表面可见多个黑点,无鳞屑、化脓、破溃,无局部淋巴结肿大。结合临床表现、组织病理、真菌学检查和分子生物学检查诊断为Fonsecaea nubica致着色芽生菌病。治疗经过:给予口服伊曲康唑治疗16周联合手术治疗后痊愈,随访8个月未复发。2组织病理:HE染色:表皮可见假上皮瘤样增生,真皮内可见肉芽肿性改变,多核巨细胞内可见蔟状分布的硬壳小体。PAS染色及六胺银染色阳性。3真菌培养:可见生长缓慢的黑色菌落,中央微隆起,表面可见绒毛样菌丝。4真菌直接镜检:观察到棕色分隔菌丝。5真菌荧光染色:可见无数淡棕色、有隔膜的分生孢子和喙枝孢型的分生孢子。6扫描电镜:镜下可见喙枝孢型分生孢子,分生孢子呈椭圆形,其上存在齿状突起,多个分生孢子位于分生孢子梗顶端。7分子生物学:将所测得的菌株核苷酸序列通过BLAST,在GenBank数据库进行同源序列比较。PCR产物经鉴定与***

关键词：着色芽生菌病暗色真菌 Fonsecaea nubica 分子生物学

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：