混凝土堆石坝面板变形特性的有限元数值模拟

根据蒲石河凝土面板堆石坝的实际情况建立三维简化模型,运用大型有限元计算分析软件ANSYS进行三维非线性有限元计算,分析了面板堆石坝的应力应变特点.模拟了在不同蓄水位条件下,混凝土面板垂直缝和周边缝的变形过程.建立了混凝土面板和堆石体之间、混凝土面板与面板之间、混凝土面板与趾板之间的接触模型,采用ANSYS提供的接触单元模拟.数值模拟结果表明:在靠近河谷附近,垂直缝为闭合状态;在靠近岸坡附近,垂直缝为张开状态,其最大开度为2 mm,周边缝在河谷附近开度最大,往两岸逐渐减小,最大开度为17.9 mm.有限元数值模拟结果为堆石体施工期变形预留和周边缝、垂直缝的接缝材料选取提供了理论依据.     

基于二次三角Bézier曲线的图像压缩

针对目前图像压缩大量使用变化编码,提出了一种新的图像压缩方法．先使用Hilbert曲线扫描对原图像进行扫描,再用分段的二次三角Bézier曲线对其进行最佳逼近,然后进行编码将原灰度矩阵信息保存在一个列数为6的矩阵里,该矩阵占用的存储空间大大减少,而且具有很好的保密性,可以运用在密码学上,再通过解码可得到复原后的图像．分析了决定最大压缩比的一些因素,并和其他曲线压缩作了对比,结论表明使用该曲线逼近具有较好的压缩效果．     

变质量广义Tzénoff方程的新结果

航天器运行系统大都属于变质量力学系统,研究变质量系统的运动方程是研究航天系统力学性质的基础.以往是用凝固导数和凝固偏导数来研究力学系统的Tzénoff方程,作者用普通导数构造了变质量力学系统的广义Tzénoff函数,建立了用普通偏导数表示的变质量完整系统和高阶非完整系统的广义Tzénoff方程,所给出的运动方程具有新的结构形式,该微分方程的建立对变质量系统的动力学研究具有一定的理论价值.     

植物源杀虫剂对葡萄绿盲蝽和斑叶蝉的防治效果

 绿盲蝽（Apolygus lucorum（Meyer-Dür.））和葡萄斑叶蝉（Erythroneura apicalis（Nawa））是常见的葡萄害虫,其危害严重影响葡萄产量和果实质量,造成严重的经济损失。为筛选有效防治葡萄绿盲蝽和斑叶蝉的植物源杀虫剂,本实验探究了0.5%藜芦碱、0.6%氧苦·内酯水剂、5%天然除虫菊素、复合楝素杀虫剂、鱼藤酮杀虫剂和复合烟碱杀虫剂等植物源杀虫剂对不同地区葡萄绿盲蝽和斑叶蝉的防治效果。在成都实验点,6 种植物源杀虫剂对绿盲蝽均有很好的防治效果,其中0.5%藜芦碱的防效稳定,防效在60%以上。在石家庄实验点,复合烟碱杀虫剂对绿盲蝽的防治效果最好,防效高达70%以上。在银川实验点,0.5%藜芦碱对斑叶蝉一代成虫和二代若虫的防治效果都最好。在南疆实验点,5%天然除虫菊素对第一代葡萄斑叶蝉成虫防效最好,达100%。0.5%藜芦碱、复合烟碱可作为防治绿盲蝽的有效药剂,5%天然除虫菊素可作为防治葡萄斑叶蝉的有效药剂,在葡萄无公害生产上推广使用。     

区间有理Bézier曲线的降多阶逼近

通过分析有理多项式的约束不等式,把区间有理Bézier曲线的降阶转化为多项式的保上界降阶逼近问题,得到两种降阶算法:拟线性规划法和拟最优逼近法。前者可一次降多阶,后者可一次降一阶或降二阶且具有显式的计算公式。给出了两种算法降一阶时的误差上界估计。数值实例验证了两种算法的有效性。     

法国旧制度时期的家庭密札制度析论

家庭大规模的使用密札是法国旧制度时期社会生活的显著特点之一。家庭密札无孔不入地影响着旧制度时期的社会生活,完全没有接触过密札的家庭可谓是凤毛麟角。家庭密札极大地满足了家庭对荣誉的需求,但是由于其固有的弊端和滥用,家庭密札制度成为了专制主义的象征。实际上,家庭密札制度给王国政府带来了灾难性的后果。     

算子模糊命题逻辑中公式恒真恒假水平的模型

为了在模糊推理中求得公式为真程度的下界和上界,算子模糊逻辑显示使用[0,1]区间中的实数作为算子描述模糊命题的可信程度,其公式的语义值可以在公式的恒真水平和恒假水平之间变动。基于算子模糊命题逻辑,证明了任意公式在二值解释的意义下都可以转化成与之等值的合取范式和析取范式,并根据公式的合取范式或析取范式给出了公式恒真水平和恒假水平模型的生成方法。公式的恒真水平和恒假水平在根本上决定了公式的语义性质,其模型给出了公式在何时达到其最小和最大语义值的一个解答。     

S^2球构形的分类及一类特殊球构形的特征多项式

给出了球构形的定义,并在S^2上用共轴这一等价关系给出了它的一种分类方法。研究了特殊r共轴球构形的性质,在此基础上给出了这类特殊球构形的特征多项式和区域个数的计算公式。     

树的[r，s，t]-着色

通过用树T的导出星K1,△（r）的一个r,s,t]-着色对树T进行点、边着色,证明了树的[r,s,t]-色数等于树中最大导出星的[r,s,t]-色数．     

蕴含A(m)r+1-可图序列刻划定理的一个构造性证明

采用构造性方法证明了蕴含A(m)r+1-可图序列刻划定理.