二进制程序整型符号转换缺陷的动态检测方法

针对符号转换错误引起缓冲区溢出的这类缺陷提出了一种面向二进制程序整型符号转换缺陷检测方法。以二进制插桩框架为基础,利用类型推断方法识别整型变量的符号类型信息,得到内存相关库函数中为冲突类型的参数的集合,并将其作为潜在的整型符号转换缺陷候选集。在中间代码层面插入检测代码做运行时检测,最终确定真正的整型符号转换缺陷。原型系统Sconvcheck的实验结果表明:该方法可以有效地检测出程序中的整型符号转换缺陷,并准确地定位错误发生的位置,而且误报率较低。

数字建筑实现中的数字模型与建成实体的特性适配转换与整合

数字建筑设计创造了丰富的设计成果,从虚拟数字设计转化为落地建成项目,多种制约因素使得数字设计从虚拟到现实并不容易。针对这一问题的技术性考量,数字模型为主要载体的设计信息是否与建成实体特性相匹配,决定了数字设计能否顺利转化。本文结合自身创作实践,提出了适配、转换、整合三种基本方法和策略。将数字模型特性与建成实体自然属性做有效链接,在既有建筑设计方法的基础上,结合数字设计的特点改进发展,以便于从事大量型建筑设计的建筑师借鉴,希望对于数字建筑设计的推广发展有所助力。

言语产生中的舌尖现象研究综述

对国外学者对言语产生中的舌尖现象的研究进行了总结论述。舌尖现象产生的原因有:单层表征选择失败假说、词条选择假说和转换缺陷假说。舌尖现象的产生与年龄、双语音、词汇邻近效应、神经机制有关。

高IgM综合征发病机制研究进展

高IgM综合征（hyper IgM syndrome，HIGM）是一组由单基因突变导致免疫球蛋白类别转换重组缺陷，伴或不伴体细胞高频突变缺陷的原发性免疫缺陷病。按其发病机制可分为两大类：CIM0信号传导通路异常导致联合免疫缺陷；B细胞内在缺陷导致单纯的体液免疫缺陷。近年来关于HIGM发病机制有了更为全面深入的认识，该文就HIGM分子学发病机制进行综述。