贺飞
- 作品数:27 被引量:243H指数:8
- 供职机构:教育部更多>>
- 发文基金:北京市自然科学基金国家杰出青年科学基金国家自然科学基金更多>>
- 相关领域:医药卫生自动化与计算机技术轻工技术与工程更多>>
- 一种基于变量隐藏抽象的IC3硬件验证算法
- 2023年
- 随着硬件设计复杂性和规模的大幅度提升,硬件验证工作更加具有挑战性。模型检验技术作为一种自动化验证技术,可以自动构建反例路径,也因此成为硬件验证领域内最重要的研究方向之一。IC3算法是近些年来最成功的比特级别的硬件验证算法。为了提高验证的规模和效率,硬件验证算法设计逐渐从底层的比特级向更高的抽象级别转变。研究目标是设计一个新型有效的字级IC3算法。针对研究目标,提出了一种将变量隐藏抽象和隐式抽象结合的字级IC3算法IC3VA。该方法尝试将变量隐藏抽象和IC3算法相结合,并设计了对应的泛化和精化方案。在开源社区和硬件验证大赛收集的测试集上和基于谓词抽象的方法进行对比,实验结果显示了基于变量隐藏抽象的IC3算法的有效性。
- 杨柳杨柳李东方贺飞
- 关键词:硬件验证形式化方法
- 鼻内镜手术疗效综合评价被引量:6
- 2006年
- 目的探讨鼻内镜手术对慢性鼻窦炎及鼻息肉疗效的综合评价方法。方法采用声反射鼻腔测量系统、前鼻测压计、T&T嗅觉计定量检查法和术区黏膜评分法,对46例慢性鼻窦炎及鼻息肉患者鼻气道阻力、嗅觉、鼻腔术区黏膜形态进行测试。结果鼻内镜手术后患者的鼻气道通气、嗅觉有明显好转;术后鼻腔、黏膜状况与功能恢复有显著相关性。结论鼻气道阻力、嗅觉功能测试、鼻声反射检查、术区黏膜评分检测作为手术前后鼻功能的检测手段,可对术后疗效进行客观的综合评价。
- 张欣魏永祥韩德民张晓斌羡慕王鸿贺飞
- 关键词:内窥镜检查鼻腔测压气道阻力嗅觉
- 人工耳蜗植入相关的解剖学研究被引量:18
- 2002年
- 目的 :本文对人工耳蜗植入手术相关的部分解剖结构进行了观察、测量 ,找出与手术相关的因素 ,为临床开展人工耳蜗植入手术提供理论参考。方法 :取成人颞骨 4 0侧 (左 2 3,右 17) ,在手术显微镜下观察、测量了锥隆起及面神经管的高度、面神经隐窝和鼓室窦的深度。结果 :锥隆起的高度为 2 .2± 0 .0 7mm,面神经骨管的高度为 3.8± 0 .1mm,面神经隐窝的深度为 1.8± 0 .0 9mm,鼓室窦的深度为 2 .9± 0 .11mm,统计学表明锥隆起与面神经隐窝有极显著的相关关系。结论 :锥隆起不仅为后鼓室的重要解剖标志 ,也为面神经第二膝、茎突复合体、四个隐窝和五个骨嵴的解剖标志 ,并且锥隆起越高面神经隐窝相应的越深。本研究数据为中耳手术提供了更多的参考信息。
- 何利平贺飞李永新赵啸天
- 关键词:颞骨比较解剖学中耳耳蜗移植
- 乙状窦距外耳道的距离与迷路后间隙的关系的相关性探讨
- 2011年
- 目的测量乙状窦前缘与外耳道后壁及与后半规管弧顶之间的距离,为经迷路后间隙进行的内镜辅助下的桥小脑角微创手术提供解剖学依据。方法 10%甲醛固定的成人头颅标本(正常完整颅底)15例(30侧,性别不限),乳突轮廓化,迷路骨骼化,乙状窦全程解剖。测量乙状窦前缘至后半规管弧顶之间及其到骨性外耳道后壁之间最短距离。经统计学处理及分析。结果乙状窦前缘与外耳道后壁之间距离的平均值15.65±1.26 mm,乙状窦前缘与后半规管弧顶之间距离的平均值10.83±0.85 mm,两者之间有明显相关性(r=0.672,P<0.01)。结论通过测量乙状窦前缘与外耳道后壁之间的距离可用于评估迷路后间隙的大小,从而对桥小脑角手术入路提供参考。
- 王少植夏寅周兵王政委贺飞韩德民
- 关键词:小脑桥脑角尸体解剖内窥镜
- 变应性鼻炎患者吸入性变应原特征分析
- 马思远娄鸿飞赵岩曹飞飞贺飞王成硕张罗
- “鼻鼽”中医体质特点探究被引量:37
- 2013年
- 目的观察鼻鼽(变态反应性鼻炎及非变态反应性鼻炎)发病中医体质特点,探索中医体质因素在鼻鼽中的作用。方法汇集一年内就诊的15岁以上1008例"鼻鼽"患者,以致敏原的皮肤点刺试验及临床症状分为变态反应性鼻炎组(AR)和非变态反应性鼻炎组(NAR),分别对两组采用标准化中医体质量表(平和质、气虚质、阴虚质、阳虚质、痰湿质、气郁质、血瘀质、湿热质、特禀质)进行中医体质调查,再通过Logistic回归分析鼻鼽的中医体质特点。结果以1008例鼻鼽的患者中,相对平和质,阳虚质患NAR的概率增加,OR为2.78,95%CI为2.33~4.69;特禀质者患AR有显著增高,OR为3.84,95%CI为2.83~4.09,差异有统计学意义。气虚质者患AR及NAR的几率均等,两者均易发病。痰湿质、瘀血质、湿热质的危险度明显降低。结论阳虚质、气虚质是NAR发病的主要体质因素;特禀质、气虚质亦是AR发病的主要体质因素。
- 范愈燕和锡琳王向东朱燕波支楠张善冬曹飞飞贺飞张罗
- 关键词:变应性鼻炎非变应性鼻炎中医体质学
- 数字化人体技术在人工耳蜗植入应用解剖教学中的应用被引量:4
- 2008年
- 颞骨内的重要组织器官具有复杂而精细的三维立体空间关系,诸如人工耳蜗植入手术等耳科手术对手术的应用解剖要求极高。传统的颞骨解剖教学仅仅停留在平面示意图或模型教学的水平上,其三维立体空间解剖信息和精度远远不能满足需要。受到颞骨标本来源的限制,又使得大量的尸颅解剖和颞骨训练不能广泛开展。而建立在数字化人体技术和多媒体技术基础上的数字化颞骨解剖技术不仅包含全部三维空间解剖信息而且可以通过多种媒体界面与学员互动,具有信息真实、直观生动、形式丰富、易于理解的特点,成为一种高效且经济的教学手段。
- 韩德民李永新焦宇蔡超贺飞常青林
- 基于扩展标记变迁模型的时钟同步协议正确性验证被引量:1
- 2019年
- 时钟同步协议是时间触发网络的一个重要组成部分,是时间触发网络实时性和确定性的关键。本文基于扩展标记变迁模型对时钟同步协议进行建模,基于模型检测方法对协议是否满足正确性属性进行验证。验证结果证明了在不同启动场景下时钟同步网络协议的正确性,也表明了扩展标记变迁模型对于协议验证的有效性。
- 曲国远徐晓飞刘威廷王沁煜贺飞
- 关键词:形式化方法
- 中国28省市变应性鼻炎患者吸入性过敏原分析
- 目的 调查中国大陆地区变应性鼻炎患者吸入过敏原的致敏率,分析年龄、性别及地区差异,为筛查致敏人群确定最符合卫生经济学的过敏原谱。方法 采用21种标准化过敏原,对2011年1月至2013年7月就诊于北京同仁医院变态反应中心...
- 娄鸿飞马思远赵岩曹飞飞贺飞刘仲燕王成硕张罗
- 关键词:变应性鼻炎皮肤点刺试验
- Role of Exhaled Nasal Nitric Oxide in Distinguishing between Chronic Rhinosinusitis with and without Nasal Polyps
- 刘承耀郑铭贺飞王向东张罗