一种多敏感空指针引用错误的静态检测方法

空指针引用错误是一种常见的、难以发现和避免的程序错误。针对该错误,结合传统静态分析方法和符号执行方法,提出一种过程内流敏感、路径敏感和过程间上下文敏感的多敏感静态分析方法。对全局指针、局部指针以及函数的指针类参数进行建模,对指针指向地址进行简化分类。在函数间传递指针的指向状态,在函数内遍历路径,使用约束求解的方式判定路径可达性,当函数分析结束后,在退出点进行指针状态信息合并,以减少漏报和误报。在此基础上,使用人工标注错误触发条件的方式进一步提高分析效率,减少漏报和误报。实验证明,该方法能够高效地检测出各类空指针引用错误。     

KMAX实验装置中的重点研究问题

磁镜或类磁镜结构的装置是实现聚变能源商业化的一支潜在力量.然而,轴向粒子损失和MHD(magnetohydrodynamics)不稳定性制约了磁镜的发展.现代磁镜理论提出了使用串节磁镜联合动理学stabilizer的解决方案.由一个中心磁镜两个子磁镜组成的KMAX装置将探索在全对称磁场结构下上述理论的可行性.同时,我们结合旋转磁场(RMF)在Rotamak和场反装置的成功经验,提出一种利用RMF捕获逃逸粒子的新的两端磁镜改性方法.这种方法区别于使用单一电场约束逃逸离子的一般串节磁镜.除此之外,KMAX也将开展与空间等离子体相关的磁场重联、Alfven波加热等基础等离子体现象研究.     

模型修正技术在螺栓连接结构中的应用探讨

螺栓连接直接影响整体结构的可靠性和动态性能,需要精细的处理分析,而传统的有限元建模方法有的不能满足精度需求,有的过程复杂且计算量大.针对这一问题,利用改进的正交模型正交模态(ICMCM)法,基于模态试验结果,对一类螺栓连接结构的有限元模型修正技术进行了研究.模型修正前,采用最优拟合法进行振型扩展得到包含所有节点和变形的完备振型.研究结果表明,与螺栓连接刚性或多点约束建模方式相比,经过本文方法修正的刚性连接模型能满足修正效果评价准则,而且计算结果的精度和可靠度显著提高.同时,研究也表明,对于螺栓连接结构,无需建立复杂精细的有限元模型,只要对刚性模型进行上述修正即可获得满足实际工程需要的计算模型.     

鞋楦定制CAD系统中NURBS特征曲线的弧长约束变形

为实现无鞋楦数据库的数字化量足制鞋,提出了基于足楦NURBS特征曲线变形的个性化鞋楦定制CAD系统,通过足楦特征曲线在弧长等特征信息约束下变形成新楦特征曲线进行设计定制。建立足楦舒适度匹配规则,根据变形方式、次序及约束情况不同,将特征曲线分为4种类型。给出4种曲线的约束变形技术路线,其中带弧长约束的II型曲线可采用正向、逆向和双向3种变形路线。双向约束变形中,采用改进的顶点替换算法和变参数4点细分算法,引入弧长损失因子和关节链模型,在母版鞋楦基础上对曲线依次进行采样离散、级放、分段、简化、优化变形、插值细分和NURBS拟合,生成定制的鞋楦特征曲线。以跖趾围轮廓线为例进行了双向约束变形试验,弧长改变量为1.0mm。该系统可在480s内给出男款鞋楦个性化量足定制结果。结果表明:该CAD系统精度较高,可实现无鞋楦数据库条件下的量足制鞋,且定制鞋楦的二次设计利用率显著提高。     

Numerical simulation of effects of rainfall infiltration parameters on transient saturated areas of coarse-grained soil embankment

为探讨降雨入渗条件下粗粒土路堤边坡暂态饱和区的形成条件,分析降雨入渗参数对暂态饱和区发展规律的影响,基于室内外试验数据与实际气象数据,拟定不同的数值计算方案,采用降雨入渗理论对降雨入渗参数影响下粗粒土路堤边坡雨水入渗过程进行数值模拟。结果表明:降雨强度q与饱和渗透系数k_sat的比值是决定路堤内雨水入渗方式及暂态饱和区形成的关键因素,当q/k_sat≥1.5时,路堤边坡表面及坡脚水平面将形成一定深度的暂态饱和区,暂态饱和区的形成增大了路堤发生失稳的可能;降雨入渗仅会引起路堤边坡坡面以下水位大幅度上升,对路面中部以下地下水位影响有限;路堤边坡暂态饱和区的扩展速度主要取决于q与k_sat的大小,而暂态饱和区形成的时间与扩展面积则受到降雨强度、降雨历时与饱和含水率的共同影响。     

一种基于最小路径的多播路由优化算法

信息物理融合系统(Cyber-Physical Systems,CPS)底层是传感器、控制器和执行器等异构节点构成的无线自组网络,不同节点之间需要通过通信网络传送给感兴趣目标节点,传统的无线自组织网络一般采用单播或广播技术,但是这些往往实时性不高,通信开销大,不利于在CPS中受限节点间通信.该文针对信息物理融合系统中无线多播路由问题构建网络模型,演化为最小路径问题,数学模型为约束Steiner最小树问题,并针对该NP难问题通过启发式算法求解,再通过贪婪思想构建一种最小路径多播路由算法.最后通过与uCast以及SenCast等经典的多播路由算法仿真比较,得出其算法在实时性以及能耗等方面性能优异.     

基于最小体积约束的非负矩阵分解模型的高光谱解混算法探究

高光谱遥感图像中,遥感影像的分类精度和地物识别会因混合像元的存在而受到影响,从而限制了遥感科学向定量化发展.基于最小体积约束的非负矩阵分解方法,不仅不需要假定纯像元的存在,而且在自动提取端元的同时获取对应的丰度图,这种非监督的光谱解混技术克服了传统方法的限制条件,为高光谱图像中混合像元问题的解决提供了新的思路和方法.     

基于成对约束的主动学习半监督聚类算法

半监督学习是近年来机器学习领域中的一个重要研究方向,其监督信息的质量对半监督聚类的结果影响很大,主动学习高质量的监督信息很有必要.提出一种纠错式主动学习成对约束的方法,算法通过寻找聚类算法本身不能发现的成对约束监督信息,将其引入谱聚类算法,利用该监督信息来调整谱聚类中点与点之间的距离矩阵.采用双向寻找的方法,将点与点间距离进行排序,使得学习器即使在接收到没有标记的数据时也能进行主动学习,实现了在较少的约束下可得到较好的聚类结果.同时,该算法降低了计算复杂度,并解决了聚类过程中成对约束的奇异问题.通过在UCI基准数据集以及人工数据集的实验表明,算法的性能好于相关对比算法,并优于采用随机选取监督信息的谱聚类性能.     

Love波在预应力流体饱和双重孔隙介质层中传播的特性

基于扩展的Biot理论,研究了覆盖于各向异性不均匀弹性半空间上的受预应力流体饱和双重孔隙介质中Love波的传播.推导了速度的频散方程以及Love波速的上下界限,讨论了孔隙率、不均匀性、各向异性和预应力等参数对波速的影响.通过数值计算,结果发现孔隙介质层基质孔隙的孔隙率、裂隙孔隙率及基质孔隙的孔隙率占总孔隙率的比重越大,Love波的波速越大;随着不均匀程度的提高及各向异性系数的增大,Love波的波速增大.无论是在双重孔隙介质层中还是弹性半空间中,预拉应力会使Love波的波速提高,而预压应力会降低Love波的波速.     

碳纤维约束高强混凝土柱轴压力学性能试验

进行了对C40-C60强度等级下46个混凝土短柱包裹不同层数CFRP布后的轴心受压试验研究。通过对试验结果的比对,研究了轴压短柱中CFRP布包裹加固中不同混凝土强度等级对以及不同CFRP布包裹层数对短柱轴压性能的影响,并从材料微观角度对加固效果的影响因素作出分析。