汉语连续语言的自动分段

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

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

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

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

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

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

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

寡头垄断市场中的排污权交易分析

排污权交易作为一项防止和治理环境污染的制度,已在全球范围引起了高度的重视。建立了寡头垄断市场中的排污权交易博弈模型,分析了不同污染治理能力和污染治理成本厂商的纳什均衡及其获得的收益,讨论了古诺无限次重复博弈模型中厂商实现较高效率的均衡条件。     

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

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

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

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

双跨连拱隧道掘进及初期支护工艺介绍

结合客塘双跨连拱隧道的施工经验,阐述高速公路双跨连拱隧道应用三导洞法掘进及初期支护的施工工艺,以及监控量测在施工中的应用。     

一类具弱阻尼的奇性扰动Boussinesq型方程的位势井方法

采用位势井方法研究一类具弱阻尼的奇性扰动Boussinesq型方程的初边值问题utt-uxx-αux4-βux6 but=σ(u)xx,x∈Ω,t>0,u(0,t)=u(1,t)=uxx(0,t)=uxx(1,t)=ux4(0,t)=ux4(1,t)=0,t>0,u(x,0)=u0(x),ut(x,0)=u1(x),x∈Ω,其中uxi=ixui,σ(s)是一个已知的非线性函数,α和β是两个正的实常数,b≥0是任意实数,Ω=(0,1).得到了相应初边值问题整体广义解的存在唯一性.     

发展科技的指导思想:从延安时期到建国初期

文章讨论了延安时期和建国初期中国共产党发展科技的指导思想。作者认为,这两个时期共产党发展科技的指导思想是一脉相承的,即:强调发展科学技术为现实需要和国家建设服务。其原因在于:在这两个时期共产党面临着相似的严峻形势,同时延安时期培养的科技干部在建国以后的科技事业中发挥了重要的领导作用。这一强调科学技术功利性的指导思想对中国科技的发展产生了深远的影响。作者还指出:延安时期就已萌发的对科技工作统一规划和管理的思想,在建国初期吸收了苏联的科技规划工作经验后,终于使科技发展规划成为了整个国家国民经济发展计划的一个组成部分。文章还论及中国共产党为更好地领导科技事业而对知识分子进行改造和利用所作的尝试和努力。