强可识语言族

<正> ∑为一有限集,∑~*表示∑生成的自由单子,∑~*的元素与子集分别称为∑上的字与语言,2~(∑~*)表示∑~*的幂集,(?)(∑)=2~(∑~*)-{(?)}的子集称为∑上的语言族.在人工智能中一些问题的推动下,1974年 Havel 等人开创了语言的分支代数结构的研究.Havel 在[1]中定义了有限分支自动机,从而导致了作为有限分支自动机识别的所谓可识语言族的研究;Havel 在[2]中又引进了语言的相似度概念,进而定义了语言之间的一种距离,使((?)(∑),d)成一距离空间;[2]中还定义了语言族的一种替换性,并证明了,语言族是自相容的,当且仅当它具替换性且为(?)(∑)中的闭集.     

关于一些非线性演化方程的不同参数的Bcklund变换之间的关系

Backlund变换是孤立子数学理论的一个重要组成部分.由非线性演化方程的Back-lund变换出发,常可引出方程的无穷多个守恒律,解的非线性迭加公式及至孤立子解.但在Backlund变换的这些应用中,它所含参数的任意性非常关键,因而,探讨不同参数的Backlund变换之间的关系是一项有意义的工作.这方面的结果,文献中已有一些,例如关于非线性Schrodinger方程,关于Yang(杨振宁)方程和其他一些结果.     

Morgan-Scott剖分上样条空间S_8~4(Δ_(ms))的维数

Ｍｏｒｇｅｎ－Ｓｃｏｔ剖分上样条空间的维数依赖于剖分的几何性质，本文证明了Ｄｉｅｎｅｒ１９９０年提出的猜想对ｒ＝４是不正确的，需要修正．     

人原始生殖细胞的分离和体外培养

从4～10周龄药物流产胚胎的生殖嵴和肠系膜组织中分离原始生殖细胞(primordial germ cells,PGCs),培养在添加人重组白血病抑制因子(rh LIF)、人重组碱性成纤维细胞生长因子(rh bFGF)和Forskolin的小鼠饲养层细胞上.经过4～7 d培养,PGCs形成典型的鸟巢状集落.集落在传代过程中保持碱性磷酸酶活性,且胚胎阶段性特异抗原1(SSEA-1)、胚胎阶段性特异抗原3(SSEA-3)免疫荧光染色呈阳性.具有分化潜能的PGCs能在体外连续传代培养12代.结果表明从药物流产胚胎中分离的人类PGCs可以在体外培养成为具有分化潜能的多能性干细胞.     

条件泛函及其导数非参数估计的强一致收敛速度

研究了条件泛函及其导数的非参数估计,对随机与固定设计的条件泛函,分别利用核估计和非参数加权估计,在核函数及权函数满足一定条件下,证明了估计一致强收敛于待估函数的速度可达到最优。从而进一步推广和发展了Hrdle,etal.(1988)、Severini,etal.(1992)的许多结果。     

Bayes局部影响分析

本文从Ｂａｙｅｓ观点出发，利用Ｋｕｌｌｂａｃｋ－Ｌｅｉｂｌｅｒ距离和微分几何方法，系统地讨论了微小扰对于Ｂａｙｅｓ统计推断的局部影响，给出了Ｂａｙｅｓ局部影响分析的一般公式，作为应用，具体讨论了线性回归模型的Ｂａｙｅｓ估计和Ｂａｙｅｓ预测的局部影响问题，数值计算的结果表明，本文的方法是比较有效的。     

基于流程监管的管线管控平台的研究与实现

地下管线是城市基础设施的重要组成部分,是城市规划、建设和管理的重要内容,也是城市赖以生存和发展的重要基础.近年来地下管线事故频发,暴露了其管理上存在的严重问题:重普查轻更新,导致管线数据库失效,不堪使用.为了解决这一问题,提出了管线项目构建全生命周期模型,将管线项目从申报、审批、建设、监管、竣工、归档各环节串联成一条完整的链路进行管理,各部门在对应环节向平台推送关键数据,经过整合处理建成管线项目共享数据库,服务于管线管控平台,同时各部门也可从共享数据库中抽取需要的数据,以丰富自己的数据库.管线管控平台使得管线管理相关的各个部门分工明确又互相联系,严把审批入口,同时加强执法监督,确保每个管线项目都被监管,促进管线数据库的持续动态更新.     

非线性再生散度模型的渐近性质

对非线性再生散度模型,给出了类似于Ｆａｈｒｍｅｉｒ＆Ｋａｕｆｍａｎｎ（１９８５）和Ｗｅｉ（１９９８）的正则条件．基于这些正则条件,证明了最大似然估计的存在性、强相合性和渐近正态性,推广了已有文献的工作．     

原子轨道能级与原子序数的关系

在无机化学和结构化学的教学中,当讲授核外电子排布的问题时,常采用L.Pauling提出的原子轨道近似能级图(图1)。这个图简单明确,便于掌握,易于教学。