The first Leptanilloides species (Hymenoptera: Formicidae: Leptanilloidinae) from eastern South America

We describe a species of the exclusively Neotropical dorylomorph ant genus Leptanilloides (Leptanilloidinae), Leptanilloides atlantica sp. nov., based on workers collected in the Atlantic Forest, São Paulo, south-eastern Brazil. The 11 species of Leptanilloides described are known from relatively high altitudes in western America (from the Andes foothills in Bolivia to Sierra Morena in Mexico). The discovery of a Leptanilloides species in south-eastern Brazil represents a significant range extension for the genus; this new species shares characters with Leptanilloides biconstricta (Bolivia), Leptanilloides femoralis (Venezuela) and Leptanilloides gracilis (Mexico) and may be distinguished based on a combination of traits. The hypogaeic habits of Leptanilloidinae combined with inefficient collecting techniques may explain the paucity of information and of specimens of this group in most museum collections as well as its present apparent disjunct distribution. We compare Leptanilloides distribution to that of other organisms that show similar disjunct patterns in the Andes and montane sites in the Brazilian Atlantic Forest. http://www.zoobank.org/urn:lsid:zoobank.org:pub:E7E334AA-58C0-455D-A0A6-724D29226DD0     

减速器设计专家系统中知识库的构造

本文首先简单介绍了通用减速器设计专家系统——ICADGR的结构,然后着重讨论了该系统知识库(包括领域知识库和元知识库)的构造。最后指出知识、特别是其中的无知识(meta-knowledge),在问题求解和人类知识活动中的核心作用。     

平面拟园型区域与对数导数性质

本文研究了扩充复平面上有限连通区域上函数的对数导数与单叶性之间的关系,并由此导出了平面拟园型区域的两个新的分析特征以及其与一致Teichimuller空间的联系。此外,对与对数导数相关的区域常数做了若干估计。     

关于李雅普诺夫函数最优性的探讨

给出了常系数线性系统李雅普诺夫函数最优性的一种定义，针对特征根本为实单根以及特征根具有共轭复根等情况，分别给出用二次型写出的最优李雅普诺夫函数公式。算例表明，用最优李雅普诺夫函数获得的吸引区域，较其它李雅普诺夫函数获得的吸引区域，更接近系统的真实的吸引区域。     

垂直布洛赫线传输的计算机模拟

本文用有限差分法求解磁泡薄膜畴壁运动耦合微分方程组,讨论了二维含垂直布洛赫线(VBL)畴壁的边界条件和初始条件,用计算机摸拟了VBL势阱对畴壁和VBL运动及传输的影响.     

绕横向振动圆柱分离流动的数值研究

本文用由作者提出并发展的一种基于区域分解思想.综合了解N—S方程的有限差分法及涡法各自优点的新数值方法,研究了均匀流绕横向振动圆柱的分离流动,考察了圆柱振动对涡旋脱落,升力,阻力等的影响.成功地模拟了“锁定”这一重要的液固相互作用的非线性现象。计算结果与国外实验结果和其他计算结果符合较好。     

用电镜对CoCr垂直磁化薄膜观察磁畴随温度的变化及居里点检测(英文)

本文研究了CoCr垂直磁化薄膜的磁畴随温度的变化。垂直磁化点畴变化为面内磁化羽状畴的转变温度在升温过程中为350℃。本实验测得CoCr膜的居里点T_c约在600℃附近。本文也分析了H_k或K_u随温度的变化要比M随温度的变化更快。这支持了垂直磁各向异性根源主要来自磁晶各向异性。显微照片也显示了自发磁化点畴的尺寸要比膜表面晶粒或膜断面晶柱的尺寸都要大,并都处在单畴状态。     

广义粘性非粘性耦合方程的一种区域分解法

考虑粘性和非粘性Ｓｔｏｋｅｓ方程的一种耦合方式，给出正确的交面转换条件．并引进一种区域迭代方法，证明其收敛性．     

基于真实IPv6地址环境下的安全DNS系统设计

网络的安全保证变得日趋重要,在下一代互联网上这种要求更为迫切.以真实IPv6地址接入技术为平台,结合PK I的证书分发机制对密钥的分发实现安全便捷的管理,利用密钥机制对DNS全程数据通信进行签名加密保护进而可以实现下一代互联网络体系结构中DNS系统的安全,包括安全的域名更新、安全的域名查询以及抵御常见的DNS攻击.