Ramsey数与约束共存性

提出约束共存性概念,并证明约束共存极小状态的存在性,以及它与Ramsey定理所描述的Ramsey现象的等效性.用数量表示这种等效性,就是     

大变形分析中一种限制变形方法的程序设计

本文给出了有限元大变形分析中对变形进行限制的一种程序处理方法及相应流程图，并以实例进行了大变形求解     

半线性抛物组Cauchy问题的局部解和整体解的存在性

讨论一类半线性抛物组的Ｃａｕｃｈｙ问题，利用Ｆ．Ｂ．Ｗｅｉｓｓｌｅｒ对单个方程所引入的逐次逼近估计，经改进后，可明确得到Ｌｒ（ＲＮ）正解局部存在和整体存在的条件     

墩墙混凝土结构温控防裂研究

针对倒虹吸墩墙、水闸闸墩、导流墙、地涵边墙等墩墙型混凝土结构在施工期容易开裂的问题,分析了墩墙混凝土的温度与应力变化规律及开裂机理,并阐述了表面保温和底板约束对混凝土温度与应力的影响特性.提出合理的表面保温与减小后期底板约束相结合的防裂措施,且已成功在坟庄河倒虹吸工程上得到应用.迄今为止,在已完工的部分尚未发现一条裂缝,收到了很好的防裂效果.     

限制性核酸内切酶Bsp63I的部分性质研究及与其同工酶的比较

纯化至电脉均一纯的限制性核酸内切酶Bsp63I经SephadexG-200测得相对分子质量约为113800,SDS－聚丙烯酰凝胶电泳测得其亚基相对分子质量约为56800,用DNS法测得该酶N－末端氨基酸为丙氨酸,表明该酶由2个相同的亚基组成,还对Bsp63I和它的同工酶PstI和Bsp78I之性质进行了比较。     

关于晶体制约定理的一个严格证明

关于晶体制约定理,有必要研究和提出更加严格和完美的证明。不存在C5轴等价于不能够用相互之间无任何空隙的五边形填充满所有的空间。以这一观点为基础,本文利用纯粹的数学方法严格地证明了不存在晶体的C 5和C n (n≥7)对称轴,而允许存在1,2,3,4以及6重转动对称轴,从而证明了晶体的转动对称轴只能够存在C1, C2, C3, C4和C6。     

基于Bezier曲线拟合的自主平行泊车轨迹模型仿真

根据阿克曼转向几何学,联系实际泊车情况,首先给出最短泊车空间、泊车起始点范围以及避碰约束空间的生成方法,并在此基础上,考虑动力学约束条件,在直角坐标系Oxy平面中,利用参数化方程,基于Bezier曲线,建立x和y之间动态关系。对每个时间t,依次得到汽车泊车时的具体转向角度和转向半径,得到新的位置点,从而控制汽车沿着Bezier曲线随着时间做变速运动,最终实现连续曲率的轨迹规划。Matlab仿真表明,采用这种方法能够有效地实现避障,在曲线转折点处运动平滑,未出现抖动,满足自主泊车的连续性要求及所需泊车空间尽可能小的目的。     

矩阵Hadamard积特征值的估计

利用矩阵有向图上的k-path覆盖,给出了非负矩阵Hadamard积的最大特征值上、下界的估计式,改进了相关结果,使估计更具优越性.     

非负对策乘积的解结构

本文首先给出非负n人合作对策的乘积的概念,在此基础上研究非负n人合作对策的乘积的几种解的结构,并得到了非负n人合作对策乘积的解的一般表达式。     

油桐尺蠖核型和木(木尞)尺蠖核型多角体病毒的限制性内切酶分析

油桐尺蠖核型多角体病毒(BsNPV)、木(木尞)尺蠖核型多角体病毒(CpNPV)和用CpNPV感染油桐尺蠖幼虫面得到的病毒CpNPV-Bs,三者经HaeⅢ酶解后的电泳图谱均一致,经HindⅢ酶解后,均获得11条片段。各病毒DNA的总分子量约为57.5×10~6D。本文初步认为BsNPV和CpNPV为同一种病毒。