无尺寸约束的不透明谓词构建算法

结合不透明谓词,控制流混淆可以进行语义保持的变换,从而达到代码保护的目的。然而,现有的不透明谓词容易遭受符号执行攻击且存在小符号变量问题。为了解决上述问题,结合符号变量和数组利用单数组元素嵌套和符号变量模加运算设计不等条件表达式,并提出无尺寸约束的不透明谓词构建算法。基于该算法构建的不透明谓词混淆可以令攻击者错误地将不透明谓词识别为普通谓词或者将普通谓词识别为不透明谓词,从而有效抵御符号执行攻击。此外,利用不透明谓词检测以及虚假控制流去除等测试程序,对应用了无尺寸约束的不透明谓词混淆后程序的强度、弹性及开销进行实验测试分析。测试结果表明,基于所提算法实现的不透明谓词混淆不仅具有高强度和低开销,而且在新测试环境下仍然具有较高的抗反混淆弹性。

冠状动脉口部病变介入治疗中Szabo技术应用的安全性和可行性

目的分析冠状动脉口部病变PCI中造影和血管内超声(intra vascular ultrasonography,IVUS)结果 ,评价Szabo技术的成功率、安全性和可行性。方法回顾性分析Szabo技术治疗冠状动脉口部病变患者39例PCI结果。结果经桡动脉途径31例(79.5%),经股动脉途径8例(20.5%)。罪犯血管为左前降支26例(66.7%),右冠状动脉5例(12.8%),左回旋支及钝缘支3例(7.7%),后降支5例(12.8%)。支架置入后,对30例(76.9%)罪犯血管和9例(23.1%)边支血管进行了IVUS检查。手术成功36例(92.3%)。所有患者造影成功率为100%。IVUS检测罪犯血管准确支架置入到口部患者29例(96.7%)和支架近端轻度凸出患者1例(3.3%)。结论 Szabo技术用于冠状动脉口部病变PCI中是安全可行的,而且具有极高的造影成功率。经过IVUS检查证实大部分支架在冠状动脉口部病变处能准确置入。

中美应用型本科计算机实验教学比较研究

对比分析中美两国计算机本科实验教学在课程体系、实验内容、授课模式、成绩评定、创新实验等方面的差异,结合我国应用型本科高校计算机实验课程教学现状,对计算机应用型人才培养模式进行探讨,提出国际化视野下应用型人才培养创新机制和高素质应用型计算机人才培养新思路。

Szabo技术在口部病变经皮冠状动脉介入治疗中应用的安全性和可行性(英文)

背景和目的:冠状动脉口部病变的经皮冠状动脉介入(PCI)治疗手术操作难度大,易有并发症,既要支架准确植入口部病变,又要边支不受压。本研究探讨解决这一难题的Szabo技术的成功率、安全性和可行性。方法:Szabo技术是利用边支导丝(抛锚导丝)穿过支架最靠近边支的支架网眼,防止支架前进时停止在口部病变外,保证主支导丝穿过支架腔。作者回顾性分析利用Szabo技术治疗39例病人冠状动脉口部病变的结果。手术操作成功定义:支架没有脱落,边支导丝没有退出。造影成功定义:支架准确植入到口部,而边支没有受压。血管内超声定义成功:支架准确植入到口部,近段没有突出,支架完全覆盖病变。39例病人中,男性28例,女性11例,年龄43～79,平均(65±12)岁。6F和7F指引导管分别用于35例(89.7%)和4(10.3%)例病人。经桡动脉途径31(79.5%)例和经股动脉途径8(20.5%)例。病变相关血管:前降支(LAD)26(66.7%)例,右冠(RCA)5(12.8%)例,旋支及钝缘支(LCX-OM)3(7.7%)例,后降支(PDA)5(12.8%)例。支架植入后30(76.9%)例病变相关血管和9(23.1%)例边支血管经过了血管内超声(IVUS)检查。结果:手术操作成功:36例(92.3%),这36例造影均成功(100%)。IVUS检测:支架准确植入口部者96.7%(29例/30例),支架近段轻度凸出的只有1例(3.3%)。没有发生严重并发症。结论:结果说明Szabo技术用于冠状动脉口部病变PCI成功率很高,是安全和可行的,值得推广。