应用遥感资料获取库区水下地形的方法研究

对美国陆地卫星接收到的新安江水库七个不同时相的多波段ＴＭ数据图像资料进行计算机解译,按不同的库区水位解译出每个时相的水陆界线准确位置及求出水边线所包围的水域面积,然后按序进行图形叠加,经过整饰便可得到一幅库区的水下地形 图,根据卫星遥感的成像时间找出水库当时的实际水位,作出水库的水位－面积曲线,经新安江水库原设计的水位－面积曲线与用遥感方法提取的同等水位的面积值分析计算,其平均误差小于０．１１％,     

一个两点边值问题多重正解的存在性

利用不动点指数的同伦不变性和最大值原理,经过构造一个函数,得到了非线性两点边值问题至少存在两个正解的新的充分条件．该结果在Ｄｉｒｉｃｈｌｅｔ边值问题的情况下,严格优于文献［１］的相应结果．     

一类拟线性第二边值问题的存在唯一性

本文在ｆ（ｔ,ｘ）,ｆｘ（ｔ,ｘ）,β（ｔ）连续,ｆｘ（ｔ,ｘ）≥－β（ｔ）,β（ｔ）≤π２０＋α２４,β（ｔ）π２０＋α２４,π０为方程αｓｉｎｘ２＋ｘｃｏｓｘ２＝０的最小正根条件下,证明了第二边值问题．ｘ＂＝αｘ＋ｆ（ｔ,ｘ）,ｘ（０）＝ａ,ｘ（１）＝ｂ对于任给实数α,ａ,ｂ都有唯一解     

高层建筑侧向刚度计算的分域样条虚边界元法

采用弹性力学平面问题的分域样条虚边界元法导出了高层建筑平面抗侧力结构的侧向刚度矩阵．该方法只需要输入少量数据,便可准确迅速地计算出平面结构的侧向刚度矩阵,据此即可对整个结构进行静力和动力分析．     

带挠性梁的充液飞行器边界控制

考虑在惯性空间中全充液挠性飞行器的控制模型,轻挠性梁一端固于刚体,另一端自由。系统动力学方程由主刚体欧拉方程、液体的平均化Ｈｅｌｍｈｏｌｔｚ方程和梁的欧拉方程耦合而成。研究表明,借用适当的作用于梁自由端的边界控制,作用于主刚体的控制力矩及作用于液体“等效刚体”的阻尼力矩,能使整个系统稳定。     

一类二阶时滞微分方程边值问题的正解

讨论一类二阶时滞微分方程边值问题{u″＋λf（x,u（x-）τ）=0,0＜x＜1,u（x）=0,-τ≤x≤0,u（1）=0,其中τ〉0，参数λ〉0．利用Krasnosel’skii不动点定理，得到了这类问题正解存在与不存在的充分条件．推广了文[7]关于时滞微分方程边值问题的工作．     

一类半导体方程组整体弱解的存在性

考虑一类半导体方程组的混合初边值问题。利用正则化算子和逼近过程，通过一系列先验估计，在迁移率既不为常数，又不满足速度饱和的条件下，证明了其整体弱解的存在性．     

韧性材料的细观力学实验和数值模拟研究

引入能够定量描述内界面的细观统计参量-形状因子,定义了基于内界面形状因子的损伤变量,建立了相应的细观力学模型,探索细观组织演化和材料宏观响应关系的力学问题。通过宏细观相结和的方法,对韧性金属材料的内界面进行实验研究和数值计算。通过对比试验和数值计算结果,认为可以用形状因子能够反映材料细观组织的演化情况,用损伤变量能够表征材料的损伤程度。并得到了内界面演化随应变发展的演化方程。对于发展和应用宏-细观相结合的损伤力学理论,对阐明韧性材料的变形、损伤、破坏机制有重要意义。     

基于非线性的压电层合板弯曲

考虑几何非线性和非线性压电效应,研究了压电材料作为变形驱动器的压电层合板的弯曲,建立了基于非线性的压电层合板的广义本构方程.利用Ritz法得到悬臂压电层合板的弯曲变形与作用电场间的非线性关系.计算分析表明：在强电场的作用下变形会迅速偏离线性结果,此时必须考虑非线性压电效应,而线性分析只适合于低电场的情况.     

一种基于语音识别SoC调试的JTAG接口设计

在JTAG(jointtestactiongroup)工业标准的基础上,采用了一种基于语音识别SoC(SystemonChip)调试的JTAG接口设计.该设计以求用最少的硬件开销,最简单灵活的方式,支持寄存器查看和设置、IP核程序流跟踪、代码覆盖率检查、代码分析、IP核扫描测试等功能.该设计已经应用于以OpenRISC为核心的语音识别SoC设计平台上.