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

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

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

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

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

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

具有空间对照结构渐近解的构造(Ⅰ)

对具有快慢变量非线性方程组的边值问题(μ是小参数) (du)/(dx)=g(x,u,v,w) μ(dv)/(dx)=F(x,u,w) μ(dw)/(dx)=G(x,u,v) u(0,μ)=v(0,μ)=v(1,μ)=0 本文讨论了产生空间对照结构时的渐近解构造,“啪”型内部层解位置的确定及给出了渐近解的误差估计。     

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

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

基于OS20嵌入式系统的DPTV设计与实现

DPTV电视是近几年电视行业的发展重点．本系统通过在32bit CPU上运行OS20实时操作系统来实现DPTV电视的解决方案，高效地实现数字域的图像处理及各音、视频通道的管理功能．这是目前决大多数以单片机为内核的DPTV电视所不能完成的，此外该方案也能容易的移植为数字电视．     

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

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

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

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

EDC模型在三维燃烧流场数值模拟的应用

采用涡耗散概念(EDC)模型,对等离子发生器内三维湍流燃烧流场进行数值模拟.燃料采用甲烷.在数值模拟时,湍流模型采用RNG模型,欧姆热电弧用等效热弧代替.数值模拟结果得出了在空气过量系数α<1情况下的流场特性参数和产物分布.通过对数值模拟结果的分析,实现了EDC模型对多步化学反应的模拟和对活性物质的预测,并为优化设计等离子发生器结构,更好地组织燃烧流场提供了依据.     

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

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