短柄泥蜂属一新种记述(膜翅目:泥蜂总科:短柄泥蜂科)

本文记述了泥蜂总科Sphecoidea短柄泥蜂科Pemphredonidae短柄泥蜂属Pemphredon Latreille一新种:赵氏短柄泥蜂Pemphredon chaoi Li et He,sp. nov. 模式标本保存在中国科学院动物研究所。     

矩阵方程AXB＋CYD=F的通解

利用矩阵的广义逆对于含两个未知矩阵的Ｘ，Ｙ的非齐次矩阵方程ＡＸＢ＋ＣＹＤ＝Ｆ进行了讨论，得到了其通解表达式，此外，还给出了该方程有解的一个充要条件。     

Lattice Boltzmann方法不同边界条件的混用

在Lattice Boltzmann方法数值模拟中,比较重要的一个环节就是边界条件的确定.通过对不同边界条件混用情况的研究,发现不同的边界条件确定方法可以相互混用,说明了Lattice Boltzmann方法对于边界的处理是比较灵活的.     

可执行代码级优化器生成框架

编译基础设施生成的编译器对与目标机特征相关的优化支持不足 ,同时嵌入式应用系统的发展要求高质量的目标代码 ,为此 ,提出一种可执行代码级优化器生成框架EOGF (executable optimizer generation framework) ,以及该框架的关键支撑技术。与现有的编译器生成工具相结合 ,如 GCC(GNU com piler collection) ,可以实现高质量编译器的快速开发 ,并可以方便地充分利用目标机特点进行相关优化 ,提高目标代码质量。实验结果证明 ,EOGF是一个简便、灵活且有效的可执行代码级优化器生成工具     

一类二阶m点边值问题的正解存在性

泛函分析的某些方法对常微分方程定性问题(如多点边值问题)的研究起着非常重要的作用。Runyun Ma和Nelson Castaned。讨论了多点边值问题的正解存在性．利用锥上不动点定理研究了一类二阶m点边值问题的正解存在性，推广了Runyun Ma和Nelson Castaneda的结果．     

基于小波变换的低频数字水印嵌入算法

提出了一种基于小波变换低频系数的数字水印嵌入和检测算法．二值水印首先经过Arnold变换后再嵌入在原始图像的低频部分，仍能保持良好的视觉效果，进一步证明了低频部分不是水印的禁区．实验结果表明该算法有较好抗JPEG压缩、低通滤波等攻击的能力．     

基于时空混沌保密通信的研究

提出基于时空混沌序列的保密通信方法，提出了一种用时空混沌模型产生扩频地址码的方法，讨论了驱动序列的选择方法与原则，分析了其耦合同步特性，给出了一种具体的通信系统模型。实验结果表明：此模型具有较高的保密特性和较强的同步能力，并且易于实现。另外，只用很少的几路离散混沌序列作为同步序列就可传输多路信息，有效地提高了系统的信息传输效率。     

二级倒立摆的三种控制方法比较

通过采用LQY最优控制、变结构控制及模糊控制3种方法对二级倒立摆系统进行实时控制,从理论上讨论了这类典型的非线性自不稳定系统控制器的设计方法,通过分析指出各种方法之间的优缺点,并通过数字仿真加以证实。     

矿井瓦斯涌出量时间序列的分形特性分析

应用分形论中的R/S分析法对矿井瓦斯涌出时间序列进行分析。计算了时间序列的赫斯特指数、概率分布分形维数和轨迹分维数。讨论了它们在矿井瓦斯涌出预测中的指导意义。计算结果表明正常情况下矿井瓦斯涌出量的变化趋势具有很好的持久相关性，可以用分形论对其作出趋势预测；而发生火灾时，持久相关性不明显。但两种状态下的概率密度分布都满足分形分布；时间序列轨迹都具有明显的分形特性。