多头注意力机制的图同构网络智能合约源码漏洞检测

针对智能合约源码转化为字节码后部分语法、语义丢失,且现有漏洞检测方法精度低、误报率高,特别是对重入漏洞和时间戳漏洞的检测能力有限等问题,提出一种多头注意力机制的图同构网络智能合约源码漏洞检测方法。使用智能合约源码,结合重入漏洞和时间戳漏洞特点构建图结构并将其规范化;将规范化后的图结构数据投入图同构网络进行迭代训练,利用该网络强大的节点表示和图表示能力进行漏洞检测;在图同构网络的基础上增加多头注意力机制,进一步增强图同构网络的节点表示能力。实验结果显示该方法对重入漏洞和时间戳漏洞检测准确率达到93.08%和92.30%,相较于普通图同构网络方法分别提升1.44和2.00个百分点。证明该方法对相关漏洞的检测能力要优于其他检测工具。

基于特征调制图神经网络的智能合约源码漏洞检测

随着区块链技术的广泛应用,智能合约的安全问题引起广泛关注。针对智能合约源码向字节码转化会丢失部分语义信息,而现有深度学习漏洞检测方法不能很好地检测重入漏洞和时间戳漏洞等问题,本文提出一种基于特征调制图神经网络的智能合约源码漏洞检测方法(GNN-film)。首先,分析重入漏洞和时间戳漏洞的特点,使用智能合约源码构建图结构并将其精简化;其次,搭建基于特征级线性调制的图神经网络模型,利用该网络模型强大的特征调制能力对合约漏洞特征进行精确表示;最后,将精简化后的图结构数据输入搭建的模型中获得检测结果。实验结果显示,本文方法对重入漏洞和时间戳漏洞检测的准确率达到91.00%和91.64%,相较基于图神经网络的方法分别提升了4.20百分点和9.70百分点,证明本文方法对相关漏洞检测的能力要优于其他检测工具。

基于IFR思维方法发展学生创新思维的教学实践——以苏教版高中化学必修“化学电源”为例

发展创新意识的关键是创新思维的形成与发展以及掌握思维创新的方法。以“化学电源”教学为例,通过完成四个微项目活动,运用IFR思维方法,分析化学电源史上的重要技术创新,帮助学生认识化学电源的创立与变迁,培养与发展学生的创新思维能力。

腘窝囊肿关节镜下改良切除术39例

目的探讨腘窝囊肿关节镜下改良切除术的效果。方法选取2014年11月～2016年5月症状性腘窝囊肿39例,术前Rauschning和Lindgren分级0级0例,Ⅰ级11例(28.2%),Ⅱ级23例(59.0%),Ⅲ级5例(12.8%)。先行镜下半月板部分切除、全关节滑膜切除或骨性关节炎关节清理术,经后内侧入路切除单向瓣膜结构,仅清扫囊壁内侧滑膜层及纤维分隔,保留囊肿外壁。术后随访18个月以上。结果术后未见血管损伤等并发症。31例得到随访,平均22.4月(18～26个月)。末次随访时,Rauschning和Lindgren分级0级20例(64.5%),Ⅰ级7例(22.6%),Ⅱ级4例(12.9%),Ⅲ级0例。复查MRI,18例(58.1%)囊肿完全消失,13例(41.9%)囊肿残留,较术前减小(64.7±11.3)%(49.1%～80.6%),未见复发。结论腘窝囊肿关节镜下改良切除术在内引流术基础上仅行囊肿内层滑膜及纤维分隔清扫,也能收到良好的效果。

副猪嗜血杆菌河南流行株的分离鉴定及分型

为了解河南省副猪嗜血杆菌病的流行情况,对2017—2018年采自河南省不同地区的45份疑似病料,进行细菌分离及形态学观察、培养特征鉴定、PCR鉴定及分型。结果显示,共分离鉴定出12株副猪嗜血杆菌,血清型为1、2、4、5、7、13型和不可分型。其中,血清型1型2株,分别命名为XX-3、HB-1;血清型2型1株,命名为XX-4;血清型4型1株,命名为ZJ-1;血清型5型4株,分别命名为LY-1、DF-1、XX-2、KF-1;血清型7型2株,分别命名为SQ-2、XX-1;血清型13型1株,命名为NY-1;还有1株不可分型,命名为SQ-1。可见,河南省存在多个副猪嗜血杆菌血清型,且不同地区血清型不一致,1、5、7型为优势血清型。

骨科规范化培训中的CBL教学模式探索

目的探索CBL(case-based learning)教学模式在骨科规范化培训中的应用及效果。方法选取西安交通大学第二附属医院骨科规范化培训学员84名,随机分为两组,实验组为结合3D打印技术的CBL教学组,对照组为标准的PBL(problem-based learning)组,通过两组学员的客观考核成绩与主观效果评价,对比研究两种方法在"骨盆骨折"教学中的效果。结果与对照组相比,实验组在客观考核成绩及主观效果评价的多个指标中均优于对照组,二者差异具有统计学意义(P<0.05)。结论结合了3D打印技术的CBL教学模式应用于骨科规范化培训教育中,可有效提高学员对教学过程的满意度,提升教学效果。

关节镜下双头空心加压螺钉固定治疗前交叉韧带胫骨止点撕脱骨折的疗效

背景:前交叉韧带(ACL)胫骨止点撕脱骨折临床较常见,保守治疗效果不佳,关节镜下复位固定是目前主要的治疗方法。目的:评价关节镜下双头空心加压螺钉固定治疗ACL胫骨止点撕脱骨折的临床疗效。方法:回顾性分析2015年3月至2017年6月收治的38例ACL胫骨止点撕脱骨折患者的临床资料。术后复查膝关节正侧位X线检查评估患者骨折复位及愈合情况,每次随访时均评估膝关节活动度并行Lachman试验及轴移试验,同时应用Lysholm及IKDC评分评估膝关节功能。比较患者末次随访时与术前Lysholm、国际膝关节文献委员会(IKDC)评分。结果:38例患者均获得随访,随访时间10~30个月,平均(15.3±3.4)个月。术后复查膝关节正侧位X线检查显示骨折均复位良好。随访中所有患者骨折均顺利愈合,愈合时间为2~4个月,平均(2.8±0.5)个月。术后有2例患者因功能锻炼不及时,末次随访时最大屈膝角度未达120°,但不影响日常生活,余患者末次随访时无屈伸活动受限,平均屈膝活动度为(130.2±4.3)°。患者末次随访时Lysholm、IKDC评分均高于术前,且差异均有统计学意义[(92.8±4.2)分vs(48.5±3.1)分,(93.3±4.5)分vs(50.2±2.8)分,t=22.652、21.375,P均<0.001]。所有患者末次随访时轴移试验均为阴性,12例患者Lachman试验Ⅰ度阳性,无Ⅱ度及以上阳性结果。结论:关节镜下双头空心加压螺钉固定治疗ACL胫骨止点撕脱骨折具有创伤小,固定可靠,恢复快的优点,值得临床推广。

髋关节镜治疗凸轮型股骨髋臼撞击综合征的近期疗效

背景:凸轮型股骨髋臼撞击综合征(FAI)临床常见,保守治疗效果不佳,髋关节镜技术是近年来治疗FAI的主流方法。目的:探讨使用髋关节镜治疗凸轮型FAI髋)凸轮型FAI患者。所有患者行髋关节镜手术,清理增生滑膜,缝合或者清理损伤盂唇,股骨头颈部"凸轮"状增生隆起磨削成形术。记录并比较术前及末次随访时患者髋关节活动度(包括屈髋活动度及屈髋90°内旋活动度)、α角、疼痛视觉模拟评分(VAS)及改良Harris评分。结果:所有患者切口均甲级愈合。术后1例患者出现会阴区麻木,1例出现大腿外侧麻木,术后给予消肿、营养神经等常规药物治疗1周后症状均消失。所有患者均获得随访,随访11～25个月,平均随访(13.6±3.4)个月。末次随访时患者髋关节活动度及改良Harris10.4)°,(29.5±12.6)°vs(7.1±4.3)°,(81.8±7.6)分vs(51.6±5.4)分],α角及疼痛VAS评分均较术前降低[(42.2±7.5)°vs(65.3±11.4)°,(1.5±0.8)分vs(6.3±1.5)分],且差异均有统计学意义(t=4.2、6.7、14.4、8.1、15.3,P均<0.05)。结论:髋关节镜治疗凸轮型FAI能明显缓解患者症状,创伤小,恢复快,近期疗效满意。

3D打印技术在骨科住院医师规范化培训中的应用

目的观察3D打印技术在骨科住院医师规范化培训中的应用效果,并探讨其应用的可行性及有效性。方法选取2016级50名于西安交通大学第二附属医院骨一科进行规范化培训的住院医师作为研究对象,随机将其分为3D打印教学组和传统教学组。两组住院医师均按照规范化培训教学大纲要求进行教学培训,其中3D打印教学组在传统教学的基础上,利用3D打印模型加深对骨关节疾病的理解,掌握相关的诊断和治疗方法。结果 3D打印模型有助于规培医师在短时间内理解并掌握骨关节疾病的影像学特点、诊断和治疗方法,并对手术方案和手术技巧有基本理解,3D打印教学组医师理论和临床实践技能考核成绩均优于传统教学组,差异有统计学意义(P <0.05)。结论 3D打印技术引入骨科住院医师规范化教学培训中的效果良好,有助于提高住院医师的临床思维和临床实践操作能力,具有良好的应用和推广前景。

MPFL髌骨止点缝合修复法治疗合并骨软骨骨折的青少年初次髌骨脱位疗效观察

目的:回顾分析内侧髌股韧带(Medial Patellofemoral Ligament,MPFL)的髌骨止点缝合修复方法,对于合并骨软骨骨折的青少年初次髌骨脱位的治疗效果。方法:2014年1月至2017年6月收治的12例急性初次髌骨脱位患者,男7例,女5例,年龄11~17岁(平均14±3.1岁),左侧9例,右侧3例。伤后2周内全身麻醉下行手术治疗,将骨软骨骨折复位内固定后,以两枚缝合锚钉打入髌骨内上缘,修整包含MPFL的髌骨内侧支持带,将其褥式缝合修复于髌骨内侧。对比术前术后6个月及末次随访时的恐惧试验、髌骨外推试验,并通过Lysholm、Kujala及Tegner评分评价患侧膝关节功能。结果:所有患者随访12~16个月(平均14.2±2.5个月),2例患者恐惧试验和髌骨外推试验均阳性,无再次脱位发生,末次随访Lysholm、Kujala及Tegner评分均较术前明显增加(P<0.05),膝关节功能恢复良好。结论:MPFL髌骨止点缝合修复法治疗合并骨软骨骨折的青少年初次髌骨脱位,方法简单,创伤小,近期疗效满意。

肠源反应性关节炎中HLA-B27表达情况及其与肠道细菌相互作用机制研究

目的探讨HLA-B27与反应性关节炎患者肠道沙门氏菌(S.enteritidis)胞内清除、复制、运输的机制情况。方法采用共聚焦显微镜、流式细胞术、夹心酶联免疫吸附试验(ELISA)评估相关蛋白的定位,评估肠杆菌在细胞内的转运,并测量相关细胞因子的产生。结果通过基因检测后发现,与对照组比较,病例组HLA-B27表达明显升高,差异有统计学意义(P<0.05);HLA-B27+/ReA+处理的细胞中细菌数量多于HLA-B27-/ReA-细胞。与HLA-B27-/ReA-细胞相比,HLA-B27+/ReA+细胞清除细胞内细菌较少(分别在4 h、24 h、72 h时,P<0.05);在感染后24 h、72 h、7 d,HLA-B27细胞中含有肠炎的细胞比HLA-A2细胞中明显增多,差异有统计学意义(P<0.05);通过ELISA法检测肠炎感染后不同组的TNF-α和IL-10的表达情况发现,与HLA-B27-/ReA-细胞比较,HLA-B27+/ReA+细胞TNF-α的含量明显升高,差异有统计学意义(P<0.05);而IL-10的表达情况同样在24 h后明显下降,差异有统计学意义(P<0.05);在HLA-B27细胞和HLA-A2细胞中,含有吞噬体的肠内菌体均可表达LAMP1和LAMP2。感染后30 min~24 h内,60%以上的含有GFP-S的吞噬体中检测到LAMP1和LAMP2;在感染后30 min和24 h,在HLA-B27细胞和HLA-A2细胞中仅检测到12%~17%的含有肠杆菌素的液泡中的转铁蛋白。低于20%的HLA-B27阳性转染细胞与30 min和24 h的对照细胞中发现了含有细菌的吞噬体和内吞标志物。结论反应性关节炎患者中HLA-B27呈阳性且其可能通过影响肠道细菌的存活及转运进行影响疾病的发生、发展。

融合用户兴趣和评分差异的协同过滤推荐算法

针对传统的协同过滤算法中单一评分相似性计算不准确的问题,提出融合用户兴趣和评分差异的协同过滤推荐算法。将TF-IDF思想运用到用户对标签的权重计算中,并使用指数衰减函数和时间窗口捕捉用户兴趣的变化;根据历史评分矩阵,充分考虑用户评分值差异、评判准则差异、影响力差异和项目影响差异等影响因子,定义了一种评分差异相似性度量算法;最后将用户兴趣相似性和评分差异相似性进行加权融合,获取更加准确的用户邻居,从而预测项目评分并进行推荐。在数据集Movielens的实验表明,提出的算法能有效提高推荐精度。

骨质疏松性椎体压缩骨折不同骨水泥分布的临床观察及生物力学的有限元分析

目的研究在经皮椎体后凸成形术(percutaneous kyphoplasty,PKP)中两种不同分布骨水泥对术后骨折椎体及邻近椎体的临床及生物力学结果。方法回顾性分析西安交通大学第二附属医院2018年9月—2020年11月51例单节段骨质疏松性椎体压缩骨折患者,男性21例,女性30例;年龄61~82岁,平均68.1岁;受伤椎体均为腰椎。根据术后患者影像学资料,按椎体中的双侧骨水泥是否连接分为两组,未连接组32例,连接组19例。比较两组患者的围术期资料,同时应用L_(2)~L_(4)的椎体三维有限元模型进行有限元分析验证。设定站立位状态下脊柱承受的轴向压缩生理载荷和边界条件,分别在5种运动状态(压缩、前屈、后伸、侧弯和旋转)中加载模型进行受力分析,并比较在不同骨水泥分布下连接组、未连接组两组模型之间骨折椎体及邻近椎体的应力差。结果51例患者平均随访时间14.4(6~24)个月。末次随访时,两组患者后凸角(Cobb)和视觉模拟评分的术后改善程度相似,组间差异无统计学意义(P>0.05)。相邻椎体骨折共8例(16%,8/51),其中未连接组2例(6%,2/32),连接组6例(32%,6/19);骨水泥渗漏10例(20%,10/51),其中未连接组3例(9%,3/32),连接组7例(37%,7/19);末次随访时椎体再压缩骨折5例(10%,5/51),其中未连接组1例(3%,1/32),连接组4例(21%,4/19);两组差异有统计学意义(P<0.05)。有限元分析结果显示:在压缩、前屈、后伸、侧弯4种运动状态下,两组模型所受最大应力比较差异无统计学意义(P>0.05);在旋转状态下,连接组模型最大应力为9.6N,未连接组模型最大应力为18.4N。同时在5种运动状态下的连接组模型椎体所受平均应力均大于未连接组模型平均应力,两者比较差异有统计学意义(P<0.05)。结论无论是否连接双侧骨水泥,PKP均可改善患者局部Cobb角和疼痛情况,提高生活质量。如果PKP术中骨水泥分布于椎体两侧可能会使骨折椎体及邻近椎体所受应力较小,同时也可能会降低骨水泥渗漏、骨折椎体再次骨折及邻近椎体新发骨折的概率,使骨质疏松性椎体压缩骨折在PKP术后疗效更好。

基于时序特征的网络流量分类方法

网络流量数据具有明显的时序特征.针对基于机器学习的网络流量分类方法中,传统机器学习依赖人工设计特征以及深度学习无法兼顾特征自主生成与特征可解释性等问题,采用时序分析方法,提出了一种基于时序特征的网络流量分类方法.首先,将网络流量数据预处理为时序数据;然后,应用Shapelet-Transform算法来自主学习网络流量的时序特征,并改写Shapelet-Transform算法的计算逻辑,且将其部署在GPU上,使其可以快速处理大规模网络流量数据集;最后,结合支持向量机分类算法构造了最优分类模型来实现网络流量分类.公开数据集实验测试结果表明,所提方法可以实现网络流量时序特征的自主学习,并达到与深度学习接近的分类精度,同时给出深度学习方法无法提供的可解释性分类依据.

基于词嵌入与Shapelet时序特征的智能合约漏洞检测方法研究

随着区块链智能合约的广泛应用,出现了大量针对智能合约的漏洞攻击,智能合约的安全性成为国内外研究的新关注点。针对智能合约机器学习漏洞检测方法特征选取自动化程度低、误报率高,而深度学习语义建模不足,提取的抽象特征缺乏可解释性等问题,提出了一种基于词嵌入和Shapelet时序特征的智能合约漏洞检测方法。首先,获取智能合约操作码,并采用词嵌入技术将其编码,获得操作码的语义向量特征表示;其次,将编码后得到的操作码序列,应用时序分析方法Shapelet-Transform获取智能合约操作码的Shapelet时序特征;最后,结合机器学习分类技术构建了漏洞检测模型。实验表明:二分类模型的准确度为82.15%,比FastText方法高19.40%,比TextCNN方法高5.92%;多分类模型的准确度为84.95%,比FastText方法高12.04%,比TextCNN方法高8.18%。该模型可以实现智能合约特征码时序特征的自主学习,在具备较高精确度的前提下,同时提供了可解释性漏洞检测依据。

伪狂犬病毒被膜蛋白VP22单克隆抗体的制备及免疫电镜方法的建立

为了制备伪狂犬病毒（PRV）被膜蛋白VP22的单克隆抗体并建立免疫电镜方法,试验首先构建真核重组质粒pCAGGS-UL49,酶切及间接免疫荧光验证该质粒是否构建成功,然后用真核重组质粒以100μg/只的剂量免疫6周龄Balb/c雌性小鼠,经过4次免疫后进行细胞融合,采用间接ELISA法筛选阳性克隆,抗体亚类试剂盒鉴别抗体亚类,收集第5,10,20代次的杂交瘤细胞上清液用ELISA法检测其效价,Western-blot法鉴定其特异性,将该抗体分别稀释50,100,200倍并作为一抗,免疫电镜检测VP22蛋白的表达效果。结果表明：获得1株稳定分泌VP22蛋白单克隆抗体的杂交瘤细胞（3D6）,该单克隆抗体的亚类为IgM,能与VP22蛋白发生特异性反应,100倍稀释的单克隆抗体可达到利用免疫电镜技术检测细胞内该蛋白表达的最佳效果。说明筛选得到的PRV被膜蛋白VP22单克隆抗体和建立的免疫电镜方法可用于该病毒的致病性及装配机制研究。

基于深度学习的电力巡检图像实时处理与识别算法研究

应用人工智能技术对航拍采集的巡检图像进行目标检测和缺陷识别已成为现代电力巡检的发展趋势。文中基于深度学习技术提出了一种改进的识别算法,通过改进Faster-RCNN模型,结合HSI颜色特征提取,实现图像实时处理与输电线路的各类常规故障识别。将航拍图片归一化处理,RGB颜色模型转化为HSI颜色模型,遍历HSI空间的每个像素点,根据图片颜色特征判断像素点是否发生故障;建立Dense Net网络,将RoI Align层与预测层连接,应用改进Faster-RCNN目标检测模型对巡检线路训练数据集进行目标缺陷识别。实验分析结果表明,文中所提方法的故障缺陷识别精确率可达92.54%,具有实时性强、识别精度高等特点。

基于改进PBFT算法的雾节点信任评估研究

针对目前雾计算中雾节点与底层节点之间通信安全性低以及效率低的问题,提出了一种基于改进实用拜占庭容错(PBFT)算法的雾节点信任评估机制。首先通过改进PBFT算法的共识机制为雾层建立信任模型,得到节点的信任值,判断节点信任状态。然后根据雾节点的信任值大小选取主节点并组建共识群组。最后主节点对节点信任值、通信距离和节点负载率三个信任指标进行加权平均并归一化处理,为底层节点的任务请求选取出最优雾节点。仿真结果表明,该方法中恶意节点的占比降低了23.6%,吞吐率提高了90%,平均处理时延降低了1000 ms,有效提升了底层节点与雾节点之间的通信安全性以及效率。

儿童房家具弹性响应设计研究

儿童成长期需求变化快,如何让现有的儿童房家具陪伴孩子成长,以内部的产品体系弹性响应外部较大的变化需求成了儿童家具品牌的一道难题。本文通过分析几种主流的弹性设计方法的特点并从这几种设计方法的本质出发,提出蘑菇式模型可以有效应对这类研发难题。通过梳理蘑菇式模型的设计输出方式解释其对弹性设计响应的机理,并结合国外儿童家具品牌产品研发的案例讲述蘑菇式模型在其中的具体应用,为国内儿童家具品牌响应消费者的弹性研发提供解决思路。

公园城市理念于城市修补实践的思考与探索——以西宁长青园绿地景观建设为例

“公园城市”理念为中国城市转型发展确立了新的目标及要求,也为风景园林工作带来了新的机遇与挑战。“城市双修”作为中国城市转型发展的关键举措,也正应用于国内众多城市的积极实践中。围绕“公园城市”理念对“城市修补”实践的引导方向,从整体格局梳理到历史文化内容渗透,从多层次绿色公共空间体系构建、廊道贯通到绿色基础设施增建,从而形成完善的大系统,多方位全视角诠释其具体指导意义。结合西宁长青园实例,提出现有问题及应对策略,落实“公园城市”对“城市修补”的具体指导内容。