构造低次有理插值函数的一种方法

关于有理插值的算法已有很多[1,4,5],受二元多项式插值迭加算法[6]的启发,我们给出一种简便的求低次有理插值函数的方法,同时给出有理插值函数存在的充分条件,便于检验.所给方法具有可操作性和实际应用价值,且具有较好的灵活性.     

LOCAL WELL-POSEDNESS AND ILL-POSEDNESS ON THE EQUATION OF TYPE □u = u^k（δu）^α

This paper undertakes a systematic treatment of the low regularity local wellposedness and ill-posedness theory in H^s and H^s for semilinear wave equations with polynomial nonlinearity in u and δu. This ill-posed result concerns the focusing type equations with nonlinearity on u and δtu.     

FPSO船与低充水率下LNG液舱晃荡耦合运动的数值模拟

应用数值模拟方法对FPSO船舶运动与LNG液舱晃荡耦合问题进行了研究.这种全耦合问题的研究基于开源平台OpenFOAM开发的船舶与海洋工程水动力CFD求解器——naoe-FOAM-SJ-TU进行计算.液舱内部流场与外部流场同时求解.采用带有两个LNG液舱的FPSO船作为对象进行数值模拟,船舶放开3个自由度运动,并在90°浪向的规则波中进行模拟.液舱充水率为20％～20％,低于船外自由水面高度.这种低充水率的液舱会大大减少船舶的横摇运动,并且舱内的流体情况较为复杂.考虑了4种不同的入射波频率下船舶的运动,与实验结果进行了对比.数值模拟结果与实验结果对比吻合良好,验证了数值求解方法的可靠性.还对大波高情况下带有低充水率LNG液舱的船舶运动进行了数值模拟分析.在船舶运动与液舱晃荡全耦合情况下,观察到了液舱内流体的剧烈晃荡和舱壁的脉冲压力.     

糖皮质激素受体蛋白在OSAHS患儿腺样体和扁桃体中的表达及临床意义

目的探讨阻塞性睡眠呼吸暂停低通气综合征（OSAHS）患儿腺样体及扁桃体组织中糖皮质激素受体（GR）α和β蛋白的表达情况及临床意义。方法收集103例中重度OSAHS患儿的腺样体组织,69例中重度OSAHS患儿的扁桃体组织,20例成人慢性鼻咽炎鼻咽部组织,13例成人慢性扁桃体炎扁桃体组织,应用免疫组化SP法检测腺样体、扁桃体和鼻咽部组织中GRα和GRβ蛋白的表达情况,并作比较分析。结果所有的腺样体、扁桃体、鼻咽部组织中均存在不同程度的GRα和GRβ蛋白表达,在腺样体组织中GRα呈高表达,在扁桃体、鼻咽部组织中GRβ呈高表达。在伴或不伴过敏性鼻炎,伴或不伴慢性鼻窦炎,伴或不伴分泌性中耳炎的OSAHS患儿间比较,其腺样体和扁桃体组织中GRα、GRβ蛋白表达及GRα/GRβ均无统计学差异（均P＞0.05）。中、重度OSAHS患儿间比较,腺样体、扁桃体组织GRα、GRβ蛋白表达及GRα/GRβ均无统计学差异（均P＞0.05）。Ⅱ、Ⅲ度扁桃体肥大的OSAHS患儿间比较,扁桃体组织GRα、GRβ蛋白表达及GRα/GRβ均无统计学差异（均P＞0.05）。结论OSAHS患儿的腺样体组织对糖皮质激素（GC）的敏感性优于扁桃体组织,不同缺氧严重程度患儿间比较,激素受体表达无统计学差异,GC在OSAHS患儿的作用有待深入研究。     

基于旋转变换和鲁棒主成分分析的车牌校正方法

本文研究了受到非高斯噪声污染及边框信息不完整的车牌图像校正的问题.利用鲁棒主成分分析与旋转变换结合的方法,获得了更具普适性的车牌矫正方法.并通过与主成分分析法、旋转投影法的矫正结果相比较,推广了本文方法具有更好的鲁棒性和普适性的结果.     

改进的Park-Ang再生混凝土柱地震破坏模型的试验研究

通过对不同配比的6根再生混凝土(RAC)柱进行低周反复加载试验。由于现有普通混凝土结构地震破坏损伤模型均为基于普通混凝土结构所构建的,是否适用于RAC结构的地震损伤破坏计算仍不明确;为能够有效考虑RAC中再生骨料取代率及混杂纤维掺量等因素所造成的普通混凝土结构地震破坏损伤模型中循环荷载系数β的不确定性及其对损伤指数计算结果的影响,同时提高计算模型的预见性与可靠性,本文提出了一种适用于RAC结构的改进的双参数损伤模型。通过模型的计算结果与实际结构各震害破损度D_c的对比,确定了适用于RAC结构的双参数损伤模型中循环荷载系数β的值。     

中国塑性力学的开拓者——李敏华院士

介绍了李敏华院士历经国难艰苦求学以及毕生奉献塑性力学的经历.她在抗战期间随清华大学南迁至昆明西南联大,再漂洋过海到美国麻省理工学院(Massachusetts Insti-tude of Technology, MIT)攻读,在抚育两个幼子的情况下获得了博士学位,成为MIT工科的第一位女博士.她在美国国家航空咨询委员会(National Advisory Committee for Aeronautics, NACA)的工作期间,以独特的构思解决了旋转盘强度问题,得到国际塑性力学界的关注.正当她与丈夫吴仲华在美国工作如日中天之时,他们冲破重重阻力于1954年回到了祖国.她积极投身到中国科学院力学研究所的筹建工作,为我国塑性力学的建立、发展和人才的培养倾注了毕生的心血.李敏华关心我国航空事业的发展,在航空发动机涡轮轴断裂故障处理的课题中,她认识到研究疲劳问题的重要性,尽管当时已经60高龄还毅然转行带领学生开始低周疲劳的科研工作.李敏华作为一位女科学家,她在处理科研工作与家庭事务的关系方面亦是我们学习的典范.     

基于结构低秩编码的复杂环境红外弱小目标检测算法

针对复杂环境红外弱小目标检测难的问题,依据背景慢变特性,提出了一种将背景优化和低秩表达相结合的结构低秩编码小目标检测算法。首先,利用梯度0l范数约束提取背景中梯度较大的成分,保留灰度快变结构,同时平滑慢变结构,对背景进行优化;其次,使用核函数刻画背景图像块之间的低秩特性,用秩描述背景的主要结构并进行建模;最后,分解得到的误差矩阵具有稀疏性,主要包含快变的小目标结构,通过稀疏矩阵1,2l范数定位红外弱小目标。实验结果表明,结构低秩编码检测算法能够有效发掘复杂背景图像块之间的关系,抑制杂波干扰,在虚警为2时,最低检测率为92%。提高了复杂环境下红外弱小目标的检测性能,基本能满足实际应用要求。     

处理噪声问题的泰勒展开交替最小化算法

为了处理图像、计算机视觉和生物信息等领域中广泛存在的稀疏大噪声和高斯噪声问题,提出了一种利用交替方向最小化思想求解主成分追求松弛模型的泰勒展开交替最小化算法(TEAM).采用推广泰勒展开和收缩算子等技术推导出低秩矩阵和稀疏大噪声矩阵的迭代方向矩阵,加入连续技术提高算法的收敛速率,设计出TEAM算法的求解步骤.实验中,将TEAM算法与该领域的顶级算法作分析对比.结果表明,TEAM算法时间优势明显,误差优势略好.     

ATCase:一个基于多项式约束求解的数值程序测试用例自动生成工具北大核心CSCD

现有的基于符号执行的测试用例自动生成技术存在不足之处:由于精度限制和非线性约束求解的复杂性,符号执行在遇到复杂的非线性浮点约束时效果并不理想.针对这一现状,给出了一个基于多项式约束求解和区间验证的测试用例生成算法.对于复杂非线性约束难以求解的问题,采用基于低秩矩量矩阵恢复的多项式系统求解方法,该方法对于含有等式和不等式的多项式系统,相较于其他方法求解速度更快,更适合大规模问题的求解;对于浮点约束求解不准确的问题,采用基于区间分析的验证算法来计算包含精确实解的区间,基于该区间给出测试用例,可以避免浮点计算的不准确和异常.结合该算法和符号执行工具KLEE-FP实现了一个测试用例自动生成工具ATCase(automatically generate test case),它能够分析数值程序中的路径并自动生成满足路径约束的测试用例.在两个开源软件库中的2两个复杂的真实程序上运行的实验结果表明ATCase相比KLEE-FP所使用的STP求解器,能快速生成具有更高覆盖率的测试用例,特别是在处理相对复杂的非线性约束时,优势更加明显.