复合层状岩体初始应力场的探讨

本文从复合层状岩体自重应力场、构造应力场、温度应力场出发,在理论上探讨了岩体初始应力场。文中所得结论有利于进一步认识复合层状岩体由于各层物理力学特性不同,而相互影响所造成的岩体初始应力场。     

多维线性Sobolev型发展方程的外初边值问题

本文研究R~n中任一个有界集的外域上SObolev方程的初边值问题 是R~n中任一有界集的外域且其边界■Ω光滑. 假设有:m≥2[n/2]+3,ρ(x),ψ(x)∈H~(2(m-1))(Ω);a_(ij)(i,j=1,2,…n)及f∈■w~(k·∞)(0,T;H~(m-k-1)(Ω)),则(G)存在唯一的经典解.     

非热处理高碳高锰钢凝固研究及应用前景

首次从非平衡凝固（液淬和铸造）角度深入研究高锰钢中碳化物的形成及其形态，发现：高锈钢中碳化物在非平衡凝固过程中可以形成，生长方式为分枝合作长大模型．通过Ｓｉ－Ｃａ变质剂变质处理后，分枝的碳化物转化为球状，原因在于碳化物长大过程中生长界面前沿的活性元素硫氧发生了改变，改善了碳化物生长方向上的成分过冷，使碳化物在长大过程中各方向生长速度相近而长成球团状．这为高碳高锰钢铸态产品的开发应用提供了依据     

用功能原理讨论稳定受迫振动

本文从功能原理出发，用旋转矢量法推导了稳定受迫振动中的振幅和实相公式，讨论了当ω〈ω、ω〉ωε和ω＝ω０３种情况下其功能转换关系。     

汉语连续语言的自动分段

汉语是由单音节字组成的,而每个音节字又是由声母和调母组成的,分段就是从语言流背景噪声中检取出各音节字并分割出各音节字中声母和调母的范围。本文根据汉语时域参数的统计分布,设置若干阈值,用自动分段程序得出寂静、声母和调母的范围;以语言信号流波形的人工分段结果为标准,得出两句汉语(一句为女声,16个音节字;另一句为男声,9个音节字)的自动分段结果,其准确率达97％以上。     

具有势函数的高阶非线性Schr dinger方程的解

研究了一个带有与时间t有关的势函数的高阶Schrd dinger方程初值问题的解的存在性,唯一性与正则性,给出了能使方程有古典解的势函数的充分条件。在第一种假设下用压缩不动点原理给出了解的局部存在性, 再利用能量守恒律得到了解的整体存在性。在第二种假设下用磨光函数得到了解的存在性。     

官上1~#M型曲墙式双连拱隧道施工技术

叙述了官上1#M型曲墙式双连拱隧道在不同围岩类别的设计、施工方案、洞身开挖、钻爆设计、初期支护等方面的内容,旨在为同类型工程的设计和施工提供参考。     

B-BBM方程解的Gevrey类正则性

研究了周期边界条件下B-BBM方程解的性态．在二维情况下证明了解在关于空间变量的Gevrey函数类中关于时间是解析的．这个结果说明解关于空间变量是实解析函数．     

排污申报控制方式的博弈分析

污染物排放总量控制是当前我国遏制环境污染的重要手段,其基础是初始排污权的合理分配,其中按比例分配法配合排污申报制度是管理部门目前采取的主要方法.该方法的采用带来了管理部门和企业之间在排污信息不对称情况下的动态博弈行为.在该博弈中,有两种控制方式可供管理部门选择,即控制排污削减总量和控制允许排污总量.Stackelberg模型是经典的完全信息动态博弈模型,基于该模型对两种控制方式下的博弈行为进行了建模和分析.以此为基础,侧重在政策的动态一致性方面,对两种控制方式进行了比较,结果是,在管理部门有信誉的情况下,前者一般不具有动态一致性,而后者总具有动态一致性,从而得出了后者优于前者的结论.     

车载导航系统动态高精度初始对准技术

针对载车在运动状态下的初始对准问题,提出了利用航位推算算法进行精对准的新方法,阐述了航位推算轨迹和真实轨迹相似的原理。在载车初始粗对准之后,行驶一段路程到达一位置已知点,由航位推算结果并运用相似性原理求出初始粗对准的航向误差角,从而修正航向角达到精对准的目的。最后通过跑车试验验证了对准方法的有效性,当载车起始点和位置已知点间距离为6 km左右时,初始对准航向角可达到角分级精度。