L2情形的Fourier-Laplace级数几乎处处收敛的刻画

设Ωn 为Rn 中的单位球面 ,f∈L2 (Ωn) ,σ0N(f) (x)为f(x)的Fouier Laplace展开式的部分和 ,wr(f,t) 2 为其r阶连续模 .证明了当∫10wr(f,t) 22t (1+sinlnt)dt <+∞时 ,limN→∞σ0N(f) (x) =f(x) ,a .e .x∈Ωn,改进了现有的结果     

图的伴随多项式整除性质的研究

当Ｐｎ和Ｃｎ分别表示具有ｎ个顶点的路和圈，ｈ（Ｐｎ，ｘ）和ｈ（Ｃｎ，ｘ）依次表示它们的伴随多项式。本文证明了当ｍ≥４时，ｈ（Ｐ，ｘ）和ｈ（Ｃｎ，ｘ）整除的充要条件。     

有扭仿射李代数(g)[σ]-模范畴C的分类

设g为有限维复单李代数,g[σ]为对应的有扭仿射李代数,W、U分别为g[σ]-模范畴R、E中不可约模。本文利用生成函数的方法对g[σ]-模范畴C中可积不可约模进行讨论,证明WU为中可积不可约模且C中仅有形如WU的可积不可约模,并给出了同构定理。     

线性时序逻辑转换Büchi自动机的按需即时算法

将线性时序逻辑公式转换成Büchi自动机是显式模型检测中的关键环节,Tableau规则是常用转换算法。该文提出了基于Tableau规则的改进算法,将线性时序逻辑公式转换成基于迁移的Büchi自动机。通过在状态和迁移中加入∪公式的满足信息,实现了用一个接受条件集合判断执行序列是否可接受,避免了使用多个接受条件集合进行判断。改进算法引入了按需即时(on-the-fly)去扩展化机制,算法展开状态节点的同时进行状态有效性检测,删除无效节点,合并等价状态和迁移,避免了后置化简。与其他转换工具进行比较实验表明,该算法具有执行速度快、生成自动机的状态数和迁移数少的特征。     

老年性痴呆症患者的EEG近似熵特征初探

老年性痴呆症是一种后天获得性中枢神经系统退行性疾病，严重地危害着人们的身体健康和生活质量，为了探索老年性痴呆症脑电图中隐含的信息，对老年性痴呆症患者和健康对照者的脑电图（EEG）近似熵进行分析，并绘制其脑电脑电信息图，对照健康人，发现患者EEG近似熵普遍下降，尤以右额叶，颞叶区显著，提示EEG近似熵与大脑功能状况有一定联系，在一定程度上可以反映大脑功能状态。     

1948年10月9日贵州省威宁地震研究

1948年10月9日至10日,在贵州省威宁县石门(坎)发生了2次破坏性地震.本次地震是贵州省境内近百年来震级最大的地震.地震为双震模式,地震震级为6.2级,宏观震中为N 27.36°、E 103.95°.重新编制的地震等烈度图显示,极震区地震烈度达到Ⅸ度,等震线呈椭圆形,长轴走向NNE,与主构造线方向基本一致.地震的发震构造为石门断裂.建议将本次地震命名为“1948年10月9日贵州省威宁6.2级地震”.     

Banach空间中非扩张映象具误差的迭代收敛问题

在Banach空间中．研究了具误差的Reich-Takahashi迭代序列的收敛问题,所得结果改进和推广了已有的相关结果．     

结构一体化模板在电厂楼层中的应用和展望

随着技术的发展,常见的定型组合钢模板、胶合板等模板施工工艺悄然发生着变化。压型钢板组合楼板结构等永久性模板已应用到了一些工业厂房的混凝土楼层平台。在此基础上对混凝土结构一体化模板作了展望和概念性设计,建立了新型模板组合梁构件的抗弯承载力计算模型和抗剪承载力计算模型,推演出新型模板应具备的部分物理参数之间的关系,如抗拉强度、弹性模量、应变、抗剪强度及新型模板材的本构关系等。理论计算的目的有两个：利用已知物理参数探寻新型一体化模板材料,或者对已知的一体化模板材料进行设计。     

基于RBF神经网络的天线阵方向图建模

介绍了径向基函数(Radial Basis Function,RBF)神经网络对阵列天线方向图进行建模的方法,并基于MATLAB仿真平台对由对称振子构成的二元阵、N元边射阵等多种阵列天线进行建模,所有的训练数据是由经典公式计算所得.仿真结果表明经过训练的RBF神经网络可有效地用于阵列天线方向图建模,为天线分析与设计提供很好的帮助.     

小型化蝶形微带天线的全波分析

采用矩量法分析了蝶形微带贴片天线,可用于比较准确地预测这类微带贴片天线的输入阻抗,谐振频率和方向图,根据该天线的特定形状,采用全域基和脉冲基相结合的基函数,同时采用渐进抽取方法处理求解过程中遇到的奇异函数积分,将两维无限积分化为一维有限积分,从而大大缩短了计算时间,通过本程序得到的计算结果和实验结果比较一致,数值结果也表明,这种蝶形天线是比较普通矩形微带贴片天线面积小很多的一种小型化设计。