森林文法(Ⅱ)

研究了弱优先森林文法的语法分析算法,并对该分析算法的正确性和无二义性进行了证明,给出了一个弱优先森林文法的语法分析过程的示例,最后总结了此项工作的意义并说明了进一步的工作。     

格值上下文无关文法的范式

给出了格值上下文无关文法（LCFG）,Chomsky范式文法,Greibach范式文法的定义.证明了对任意的LCFG存在与之等价的Chomsky范式文法;给出了对任意的LCFG,存在与之等价的Greibach范式文法的条件.文中结论表明了LCFG的特性与其取值格的代数性质密切相关.     

矢量文法与PN机

引入串语义下的矢量文法概念,给出矢量文法的类乔姆斯基分类,并就正规矢量文法进行了更细的划分.讨论了矢量文法谱系和标量文法谱系之间的强弱关系,构成了标矢量文法谱系图。指出正规矢量文法与Petri网(也称PN机)语言上的等同关系,引入混杂PN机,并证明其语言与上下文无关矢量文法的语言是等同的.由此部分构成了矢量文法与PN机之间的关系结构.     

淮北第四纪哺乳动物化石和一个有关的原则

本文对淮北第四纪哺乳动物化石进行了综合研究.文中首先描述了几个新种,继而对地层和动物群进行了综合分析,提出了一个新的地层名称,一个过渡型生物区和一个宿县动物群(古菱齿象——披毛犀动物群),并进行了论证. 最后,文中总结出一个原则——性状接引,它的部分内容受分子生物学的启示和运用,指出了“新征先驱”和“祖征孑遗”之间的关系.     

取值于赋值幺半群的加权上下文无关文法及其语言

上下文无关文法是一种表达能力较强的描述语言的方法,在本文中我们引入取值于赋值幺半群的加权上下文无关文法(WCFG)及其产生的加权上下文无关语言(WCFL)。讨论了加权上下文无关文法的加权Chomsky范式文法以及加权Greibach范式文法。证明了对于取值于柯西乘积赋值幺半群上的WCFG,存在与之等价的加权Chomsky范式文法、加权Greibach范式文法;进一步讨论了加权上下文无关文法及其产生的加权上下文无关语言的一些代数性质。     

大气红外遥感探测的一些理论问题

本文介绍了大气遥感理论方面的一些研究结果.文中论证了两类典型问题——气温遥感和大气成分的垂直分布遥感以及两类最基本的遥感方式——频谱法和扫描法所对应的遥感方程的适定性问题(本文建议用“遥感方程”一词将各种遥感问题统一起来,以便进行数学物理研究).本文提出了“最佳信息层”的概念,在这基础上给出选择遥感通道的可靠方法;由此还推出在卫星上利用红外法不能测准近地面层大气的水汽分布.文中还提出了一些有效的反演求解方法.     

一类非线性反应-扩散方程组的奇摄动

本文研究了更广泛的一类非线性反应-扩散方程组:其中的初始——边值问题。引入了多重尺度变量,利用比较定理得到了任意次近似精度的一致有效的渐近解。     

双非对称双自旋航天器的姿态运动

本文将渐近法、平均法与文献[1—3]的方法相结合,讨论了双非对称双自旋航天器的姿态运动稳定性,并研究消旋过程中转子自转角速度接近相对转动角速度时航天器所产生的非线性姿态运动响应——陷阱状态,指出该状态是由于双非对称耦合所引起的.     

超图的路和圈

超图是离散数学中最一般最复杂的结构 .无圈超图已被证明在数据库设计中非常有用 .从关系数据的结构出发 ,建立了关于超图的路、连通性和圈的新的公理系统 .该系统与特殊情形———图是符合的 .引入了虚圈和实圈的概念 ,这是一对相关联的概念 .虚圈在特殊情形———图中不存在 ,退化掉了 .定义了超图圈的相关性和独立性 ,给出了超图中最大独立实圈数目的计数公式 ,对特殊情形———图 ,这个公式就是Euler公式 .     

模糊代数系统

引入模糊代数系统及其强解的概念,给出其特有性质.定义proper和V-proper模糊代数系统,并给出其解的一般表达形式.建立模糊代数系统与模糊上下文无关文法相互转化法则.最后得出结论:任一proper和V-proper模糊代数系统都存在唯一强解.模糊上下文无关文法生成的模糊语言和其对应的模糊代数系统的强解的某个分量是相等的.     

Fuzzy 上下文无关语言的Chomsky定理

在关于Fuzzy上下文无关语言的已有成果基础上,进一步考虑简化Fuzzy上下文无关文法,提出用派生刻画Fuzzy上下文无关文法与语言的性质,得到了Fuzzy上下文无关语言的Chomsky定理,并利用Pumping引理来判别一个语言是否为上下文无关语言.     

Fuzzy有限态文法的一种推断法

1969年Lee和Zadeh提出了模糊文法,讫今还没有Fuzzy文法的推断方法。本文讨论了Fuzzy有限态文法的一种推断方法——Fuzzy k——头导出法。     

斜压原始方程组的谱——差分格式及其误差估计

本文讨论了斜压原始方程组的谱——差分格式及其误差估计,它的解满足半离散形式的总能量守恒律.     

本原极矩阵集合的完全刻划

(n,d):={A|A是恰有d个正对角元的n×n本原矩阵},已经知道:本原指数γ(A)≤2n—d—1,A∈(n,d),本文给出了本原极矩阵集合₁(n,d)={A|A∈(n,d),γ(A)=2n—d—1}的完全刻划。     

自由电子脉塞的一种统一理论——回旋动力学

本文详细地研究了回旋管、回旋Peniotron管、回旋自谐振脉塞不稳定性及其内在关系。文中从Vlasov方程出发,通过引入回旋动力变量及相应的交换,建立了上述自由电子脉塞的一种统一理论——回旋动力学。     

针麻抗痛御伤原理的初步探讨

本文运用辩证唯物主义观点,通过针刺麻醉的实验研究,对针刺麻醉效果进行了客观评价;对针麻抗痛御伤的物质基础及诱导期的重要意义提供实验证据;提出体液麻醉的概念和方法,以改进针刺麻醉的实验手术效果。本文试图对针刺麻醉给予一种中西医结合的理论解释,支持了“经络—皮层—内脏相关”假说。     

非周期保守动力系统的自统计规律性

本文详细研究了一个典型的非线性、非周期保守动力系统——无阻尼、无碰撞耗散的掷硬币过程,着重考察了该过程的久期规律性,发现这个由给定初始条件确定的决定性过程,在长时间中显现出明确的“自统计规律性”。本文还计算了该过程的Poincaré回复周期及其对回复精度的依赖性。     

任意旋成面叶栅杂交型气动命题的变分原理与广义变分原理

本文建立了任意旋成面叶栅一种杂交型命题——在叶型周线的某段上给定叶型形状,而在其余段上则给定流速分布——的两族气动变分原理与广义变分原理,从而使正命题与反命题的处理完全统一起来,并加以推广.文中充分发挥了“自然边界条件”和“人工分界面”的有力作用,以简化各种复杂边界条件的处理,并提出了一个新的短函数.本文为在叶轮机叶栅的气动问题中引进和推广有限元法、变分-差分解法以及变分直接解法,提供一个更广泛、更完密的理论基础.     

复合泵浦类锂硅离子软X射线激光

本文给出了最近在上海光学精密机械研究所LF12激光装置上完成的复合泵浦类锂硅离子软X射线激光系统实验的结果,特别是第一次在较低激光辐照强度下同时观察到类锂硅离子5f—3d,5d—3p,6f—3d和6d—3p跃迁的显著自发发射放大(ASE),波长分别为88.84,87.28,75.83和74.64,测得的增益系数和增益-长度乘积分别在1—2cm^-1和2.0—4.5之间。另外还给出了增益沿靶面法线方向的空间分布和随靶面激光辐照强度的变化。用Edlen半经验公式和Cowan原子结构编码计算的4条激光谱线波长值与实验测量值符合很好。本实验结果表明复合泵浦类锂离子方案在将软X射线激光推进到“水窗”(43.8—23.3)波段中有巨大潜力。     

分子轨道的图形理论——邻接矩阵行列式的计算和分子稳定性

本文在文献[1—3]的基础上,对本征多项式的常数项——邻接矩阵行列式作了处理,提出了一种简便可行的图形收缩计算法.结合各类共轭分子,包括复杂的点阵稠环体系等的计算,给出了一些同系列α_N的封闭公式,并对共轭分子的稳定性作了讨论.