退出
我的积分:
中文文献批量获取
外文文献批量获取
文摘
英文文摘
声明
第1章绪论
第2章形状图和形状图逻辑
第3章基于形状图逻辑的形状分析
第4章循环不变形状图的推断
第5章程序验证器原型及实验评测
第6章结束语
参考文献
致谢
在读期间发表的学术论文与取得的研究成果
刘刚;
中国科学技术大学;
计算机软件; 可信程度; 形式程序验证; 指针程序; 分析验证; 循环不变形状图;
机译:随机图推断的最大程度和大小不变量的比较功效分析
机译:通过变异,动态分析和静态检查推断循环不变性
机译:自动分析无类型指针指针别名无类型程序
机译:它是树,DAG还是循环图? C语言中面向堆的指针的形状分析
机译:标度不变性和标度中断-用于从高分辨率LiDAR地形图推断过程签名的新指标。
机译:XAS推断细胞色素f的非典型铁配位几何形状在与质体蓝素结合后保持不变
机译:HIT墙报2P479Strain一致性在真实世界场景:在设备upgradeP4803D超声心动图检查后,我们实验室的经验是为测量快速学习和可靠的方法左心房在心脏再同步治疗除颤器patientsP482Noninvasively长期适当的抗心律失常治疗相关volumesP481Echocardiographic参数测量了全球浪费心肌工作允许患者依从性左束支传导blockP483The影响到体育锻炼上的最新室定量建议健康未受训练的绝经后womenP484The影响心血管重构和代谢状态的改善典型左室机械不同步模式的定量评估上的预测左心耳血栓presenceP485The心脏富集miRNA的血浆水平(的miR-1,的miR-133a的,的miR-499)反映受损左心室收缩功能及CORREL吃用的患者的严重主动脉瓣狭窄NSTE-ACSP486Acute区域心肌变形的变化早期心肌坏死标志物和后射血分数分离主动脉瓣膜replacementP487Left心室旋转在无症状患者慢性主动脉瓣反流和正常左心室射血分数P488The适当使用不变形对于感染endocarditisP489In肥厚型心肌病患排除经胸超声心动图,由三维超声心动图左心室质量和形状与动态障碍物和功能capacityP490Mitral相关小叶上浆肥厚型心肌病:的心房纤维性颤动中肥胖womenP492Echocardiographic方法和timingP491Echocardiographic预测结果的影响对于syndromeP493Left左室质量发育不全左心脏杂交程序后的30天死亡率的危险因素是冠状动脉血流RESER的独立预测因子已经:见解从一个单一的中心的应力回波cohortP494Transesophageal echocardigoraphy纳清醒镇静用于引导低温球囊肺静脉阵发性心房颤动隔离 - 下清醒镇静的安全性和可行性studyP495Transesophageal echocardigoraphy为阵发性心房颤动引导低温球囊肺静脉隔离 - 安全性和可行性studyP496Three的经皮二尖瓣边缘到边缘repairP497Clinical全球及区域纵向应变的心肌缺血的预测无症状糖尿病类型值2 patientsP499Comparison对预后手术风险冲击二尖瓣环的直接形态学变化维经食道超声心动图评估全球纵向应变右心室(RV GLS)和三尖瓣环平面收缩漂移(TAPSE)患者的早期舒张功能障碍性脑缺血cardioP498Right心脏功能值:2D斑点的trackin右心室2D的functionP500比较右心房的和g超声心动图基于评估,3D食管超声心动图和计算机断层左心耳闭合的评估过程中
机译:程序循环:朗肯循环分析程序
机译:通过类型推断与非指针分析相结合的指针分析
机译:外部形状计算系统,外部形状计算方法,外部形状计算程序,具有存储在其中的外部形状计算程序的存储介质,场图生成系统,场图生成程序,存储场存储场和存储场场图生成方法
机译:通过类型推断对具有结构化内存对象和可能不一致的内存对象访问的程序进行指针分析
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。