期刊文献+
共找到9篇文章
< 1 >
每页显示 20 50 100
国产微型可植入式左心室辅助装置安全性和有效性的动物实验研究
1
作者 徐灿 杨光 +3 位作者 王东进 廖云燕 余顺周 魏旭峰 《中国医药》 2024年第2期181-184,共4页
目的 通过动物体内植入实验,测试研究一款自主研发的国产可植入式磁悬浮左心室机械循环辅助装置(Corheart 6)的安全性和有效性。方法 选取普通级雄性健康成年绵羊10只,常规全身麻醉后左侧第5肋间开胸,建立体外循环,植入Corheart 6,泵尺... 目的 通过动物体内植入实验,测试研究一款自主研发的国产可植入式磁悬浮左心室机械循环辅助装置(Corheart 6)的安全性和有效性。方法 选取普通级雄性健康成年绵羊10只,常规全身麻醉后左侧第5肋间开胸,建立体外循环,植入Corheart 6,泵尺寸34 mm×26 mm,重量90 g。Corheart 6连接左心室及降主动脉进行左心室辅助。术后撤除体外循环,持续监测动物生命体征及Corheart 6运转情况。肝素静脉滴注维持活化凝血时间>500 s。观察动物整体存活情况、血液相容性情况并于实验终止时行心脏解剖病理分析。结果 10只绵羊术后心脏全部复跳,均能成功撤离体外循环辅助,8只动物术后正常存活到达预期实验终点(61~65 d),2只未到达实验终点,其中1只心肌组织意外进入血泵提前终止实验,另外1只于术后23 d死亡,死亡原因为肺部出血,与抗凝药物治疗有关。实验使用的Corheart 6泵运行良好,在整个实验过程中未出现自身原因导致的停机或其他运行故障。实验动物未发现有明显溶血,整体的血液指标都在正常范围内,未发现显著异常。8只存活至实验终点的羊,解剖取出的心脏大小和形态正常,且无明显的出血点与血栓形成,其余脏器也基本正常。血泵入口均无血栓形成,泵体内、泵出口也无明显的血栓形成与组织沉积,入口管与心尖顶环连接紧密无松动,血管保护套与泵出口连接良好,人工血管与主动脉段吻合良好。结论 在本动物实验研究中,Corheart 6表现了体积小、易于植入、性能稳定的特点,具有良好的血流动力学效果和良好的血液相容性。 展开更多
关键词 心室辅助装置 心力衰竭 磁悬浮泵
下载PDF
一种基于UPPAAL的智能合约属性形式化验证方法 被引量:1
2
作者 张取发 王昌晶 +3 位作者 左正康 卢家兴 廖云燕 王渊 《江西师范大学学报(自然科学版)》 CAS 北大核心 2023年第1期45-51,共7页
针对智能合约的属性验证问题,该文提出了一种基于UPPAAL的智能合约属性形式化验证方法.首先定义了Solidity基本语句的操作语义及其到时间自动机的转换,将智能合约转换成时间自动机网络模型;然后定义并描述智能合约常见的安全性和活性,... 针对智能合约的属性验证问题,该文提出了一种基于UPPAAL的智能合约属性形式化验证方法.首先定义了Solidity基本语句的操作语义及其到时间自动机的转换,将智能合约转换成时间自动机网络模型;然后定义并描述智能合约常见的安全性和活性,再使用模型检测工具UPPAAL验证智能合约的属性;最后对购物合约进行了建模与验证,验证了该方法的有效性. 展开更多
关键词 智能合约 UPPAAL 时间自动机 安全性 活性
下载PDF
二叉树排序非递归算法推导及形式化证明 被引量:5
3
作者 左正康 方越 +3 位作者 黄箐 廖云燕 王渊 王昌晶 《江西师范大学学报(自然科学版)》 CAS 北大核心 2020年第6期625-632,共8页
非线性数据结构递归问题非递归算法的循环不变式的开发一直是形式化开发的难点.研究二叉树类非递归算法的推导及形式化证明方法,对二叉树排序算法进行推导,得出非递归Apla(Abstract Programming Language)算法及其精确而简单的循环不变... 非线性数据结构递归问题非递归算法的循环不变式的开发一直是形式化开发的难点.研究二叉树类非递归算法的推导及形式化证明方法,对二叉树排序算法进行推导,得出非递归Apla(Abstract Programming Language)算法及其精确而简单的循环不变式,然后用Dijkstra-Gries标准程序证明法证明算法的正确性,最后使用PAR平台C++程序自动生成系统自动生成C++代码.实例的实验结果简化了算法程序的推导和证明过程,对递归问题非递归算法的循环不变式的探测具有一定的借鉴意义,而且对非线性数据结构算法程序的推导及形式化证明具有指导意义. 展开更多
关键词 二叉树类非递归算法 循环不变式 PAR平台 Dijkstra-Gries标准程序证明法 非线性数据结构
下载PDF
醛固酮/皮质醇共分泌致AVS结果误判的原发性醛固酮增多症1例临床应对
4
作者 董浩宇 吴飞飞 +3 位作者 廖云艳 孙悦 冯正平 李启富 《中华内科杂志》 CAS CSCD 北大核心 2024年第5期495-498,共4页
患者女性,61岁,发现血压升高15年。原发性醛固酮增多症筛查试验及确诊试验均阳性。肾上腺CT表现为右侧低密度结节,但肾上腺静脉取血(AVS)常规分析显示左侧醛固酮优势分泌。进一步采用儿茶酚胺代谢产物校正,提示醛固酮分泌优势侧为右侧,... 患者女性,61岁,发现血压升高15年。原发性醛固酮增多症筛查试验及确诊试验均阳性。肾上腺CT表现为右侧低密度结节,但肾上腺静脉取血(AVS)常规分析显示左侧醛固酮优势分泌。进一步采用儿茶酚胺代谢产物校正,提示醛固酮分泌优势侧为右侧,且^(68)Ga-Pentixafor PET/CT证实右侧肾上腺结节代谢活性明显升高。行右侧肾上腺切除术后生化及临床达到完全缓解。最终诊断为原发性醛固酮增多症(右侧醛固酮瘤)伴亚临床库欣综合征。 展开更多
关键词 醛固酮增多症 库欣综合征 肾上腺静脉采血
原文传递
An Improved Simple Power Attack against Camellia's Key Schedule
5
作者 LIU Shuanggen NI Haiying +1 位作者 HU Yupu liao yunyan 《Wuhan University Journal of Natural Sciences》 CAS 2008年第5期591-594,共4页
This paper presents an improved simple power attack against the key schedule of Camellia. While the original attack required an exact determination of the Hamming weight of intermediate data values based on power meas... This paper presents an improved simple power attack against the key schedule of Camellia. While the original attack required an exact determination of the Hamming weight of intermediate data values based on power measurements, in this paper, two types of the simple power attack are presented and shown to be tolerant of errors that might occur in the Hamming weight determinations. In practical applications of the attack, such errors are likely to occur due to noise and distortion in the power measurements and their mapping to the Hamming weights of the data. To resist these attacks, the required design rationale of key schedules and several practical countermeasures are suggested. 展开更多
关键词 simple power attack CAMELLIA key schedule Hamming weight attack
下载PDF
原发性醛固酮增多症合并亚临床库欣综合征的临床特征及预后分析
6
作者 廖云艳 宋颖 +3 位作者 胡金波 杨淑敏 郑燕 李启富 《中华内科杂志》 CAS CSCD 北大核心 2024年第4期378-385,共8页
目的分析原发性醛固酮增多症(PA)合并亚临床库欣综合征(SCS)患者的临床特征及预后。方法回顾性队列研究。收集2014年1月至2022年12月重庆医科大学附属第一医院收治的PA患者的临床资料。根据1 mg过夜地塞米松抑制试验结果将患者分成单纯P... 目的分析原发性醛固酮增多症(PA)合并亚临床库欣综合征(SCS)患者的临床特征及预后。方法回顾性队列研究。收集2014年1月至2022年12月重庆医科大学附属第一医院收治的PA患者的临床资料。根据1 mg过夜地塞米松抑制试验结果将患者分成单纯PA组和PA合并SCS(PA/SCS)组,分析两组间的人口学信息、激素水平及随访结果等。采用独立样本t检验、χ^(2)检验、Mann-WhitneyU检验等进行组间比较。结果共纳入489例PA患者,其中109例(22.3%)为PA/SCS患者。与单纯PA组相比,PA/SCS组年龄更大[(54.4±10.7)岁比(47.4±11.0)岁,P<0.001],女性比例更多[69.7%(76/109)比57.4%(218/380),P=0.020],高血压病程更长[96(36,180)个月比60(12,120)个月,P=0.001]。单纯PA组和PA/SCS组分别有215例和51例完成手术及随访。PA/SCS组皮质醇自主分泌完全缓解率为85.3%(29/34),醛固酮自主分泌完全缓解率与单纯PA组相当[94.1%(48/51)比94.4%(203/215),P=1.000];而PA/SCS组的临床完全缓解率低于单纯PA组[39.2%(20/51)比61.9%(133/215),P=0.003]。结论在PA患者中SCS较为多见(22.3%),其术后临床完全缓解率较低。推荐对所有PA患者采用1 mg过夜地塞米松抑制试验进行筛查。 展开更多
关键词 醛固酮增多症 预后 亚临床库欣综合征 临床特征
原文传递
1例原发性醛固酮增多症合并亚临床库欣综合征的病例报道及文献复习
7
作者 廖云艳 宋颖 +2 位作者 杨淑敏 郑燕 李启富 《国际内分泌代谢杂志》 2023年第5期413-417,共5页
原发性醛固酮增多症(primary aldosteronism,PA;简称原醛症),是一组以高血压、低血钾、血浆醛固酮增高和肾素降低为主要特点的临床综合征。PA是最常见的继发性高血压疾病,研究报道约6.1%的高血压是由PA导致的,而在难治性高血压患者中,P... 原发性醛固酮增多症(primary aldosteronism,PA;简称原醛症),是一组以高血压、低血钾、血浆醛固酮增高和肾素降低为主要特点的临床综合征。PA是最常见的继发性高血压疾病,研究报道约6.1%的高血压是由PA导致的,而在难治性高血压患者中,PA的患病率可高达17%~23%[1]。亚临床库欣综合征(subclinical Cushing′s syndrome,SCS)是轻度内源性皮质醇分泌增多但缺乏皮质醇增多症典型临床表现(如满月脸、水牛背、皮肤紫纹等)的综合征。国内虽然已有学者对原醛症合并亚临床库欣综合征(PA/SCS)进行了报道[2-3],但极少有患者进行术后免疫组化、基因诊断及随访等资料,本文通过分享1例PA/SCS患者的详细诊治过程,希望为临床医生提供一些借鉴。 展开更多
关键词 原发性醛固酮增多症 继发性高血压 皮质醇增多症 难治性高血压 血浆醛固酮 满月脸 水牛背 病例报道
原文传递
常见内分泌高血压的筛查要点
8
作者 涂梦琴 廖云艳 +3 位作者 宋颖 胡金波 郑燕 李启富 《国际内分泌代谢杂志》 2023年第6期508-512,共5页
内分泌高血压(endocrine hypertension)指内分泌疾病导致的继发性高血压,部分可被治愈或有特异性治疗措施。除表现为高血压外,常无特殊临床表现,容易被漏诊、误诊。为便于理解及鉴别诊断,本文按发病机制对常见几类内分泌高血压依次阐述... 内分泌高血压(endocrine hypertension)指内分泌疾病导致的继发性高血压,部分可被治愈或有特异性治疗措施。除表现为高血压外,常无特殊临床表现,容易被漏诊、误诊。为便于理解及鉴别诊断,本文按发病机制对常见几类内分泌高血压依次阐述。内容主要包括高血压发生机制、筛查重点人群、筛查方式、注意事项。本文参考国内外指南、共识及近期文献,旨在提高临床医生对内分泌高血压的识别能力。 展开更多
关键词 高血压 内分泌高血压 筛查对象 筛查方式
原文传递
Course Intelligent Brain Model Based on Crowd Intelligence
9
作者 liao yunyan HUANG Qing +2 位作者 WANG Changjing ZUO Zhengkang LU Jiaxing 《Wuhan University Journal of Natural Sciences》 CAS CSCD 2022年第4期331-340,共10页
The development of artificial intelligence in education promotes the reform of teaching methods in the direction of intelligence and individuation.In this paper,the programming course is taken as an example to propose... The development of artificial intelligence in education promotes the reform of teaching methods in the direction of intelligence and individuation.In this paper,the programming course is taken as an example to propose a curriculum intelligent brain model for open source swarm intelligence based on knowledge graph,and the bootstrapping framework is introduced to try to make the intelligent brain track the frontier like human beings and study several courses vertically.It studies the knowledge of subgraphs fusion of open-source software resources and domain semantics as well as the mining method of potential relationship,so that the intelligent brain can digest knowledge like human,and get through the course horizontally.Finally,knowledge discovery and natural representation based on knowledge graph enable intelligent brain to discover knowledge and solve problems just like human.This study provides new ideas,strategies,and application paths for the construction of knowledge graph based on big data and the integration of heterogeneous knowledge graph. 展开更多
关键词 educational knowledge map open-source group wisdom curriculum wisdom brain fusion of sub graphs knowledge discovery
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部