中国绳蚋一新种(双翅目:蚋科)(英文)

本文记述采自贵州省雷公山自然保护区的绳蚋一新种 ,即苗岭蚋 Simulium(Gomphostilbia) miaolingense sp.nov.该新种具有雄虫后足基跗节膨胀和蛹茧无前中突等合并特征 ,且其两性尾器构造特殊 ,包括雄性生殖腹板基侧突 ,中骨短宽 ;雌性生殖板肉缘分离而外展 ,生殖义突两后臂具骨化小侧突 ,可与其它近缘种相区别。模式标本存放于贵阳医学院。     

二阶退化双曲型方程的第二类广义Darboux问题

A.V.Bitsadze在文[1]中提出和研究了二阶一致线性双曲型方程uxx-uyy+aux+by+cu+d=0(A)的第一类和第二类Darboux问题.本文的目的是讨论二阶退化双曲型方程第二类广义Darboux问题和斜微商问题解的表示式,并证明这些问题解的存在唯一性。本文使用不同于[1]中的方法,但类似于[1]中的方程(A),根据本文中的结果,我们可以解决广义Chaplygin方程在一般区域上的Frankl问题.     

综采工作面旋转调斜对接工艺研究

针对淄博矿业集团岱庄煤矿4324不规则综采工作面需两次旋转调斜的现实,通过分析旋转调斜对接工艺参数、工艺设计及对接方法,提出在此类顶底板条件下采用虚心旋转调斜是十分合适的,虚心旋转调斜比实心旋转调斜更有利于工作面的生产。该研究解决了岱庄煤矿不规则工作面的综采问题。     

广义Rosenau-Kawahara方程的有效谱方法

针对广义Rosenau-Kawahara方程提出了Legendre dual-Petrov-Galerkin谱方法,并基于对角化技巧,构建了快速有效算法。在此基础上研究了单个孤立波的传播、守恒律及波的生成等物理现象。数值结果验证了所提算法的有效性。     

确定系统级测试性参数的广义随机Petri网模型

测试性设计是近年来发展起来的一门新兴学科 ,对提高复杂系统的可靠性、可维修性和可用性具有重要的意义。在测试性设计的过程中 ,合理地选择和确定测试性参数是实现费效比最优设计的关键之一 ,但目前还没有有效的方法能合理地确定每个参数的门限值或目标值。基于广义随机Petri网的原理 ,将测试看作设备整个生命周期内可靠性、维修性活动的一个有机组成部分 ,建立了系统的测试性模型。采用数值分析的方法得出系统稳态可用度与系统测试性参数之间的关系曲线 ,作为确定测试性参数的依据 ;当系统需待定的参数比较多时 ,将模型转化为一个区间线性方程 ,有效地解决了计算量大的问题。这一方法对解决复杂系统的测试性设计问题具有一定的借鉴意义     

面向对象表示法在几何量检测软件中的应用

开发一个智能化的零件几何量检测软件PMS，它对知识的表示模式采用了面向对象表示法，并给出应用实例．     

图同构判定的新方法

图的同构问题由来已久，并且它的应用十分广泛。例如：确定一个图的自同构群的构造的问题和它有紧密联系；在有机化学上我们可以利用图的同构判定方法来确定同分异构物。因此，寻求图同构的判定方法是一项引人入胜的工作。提出了一个新的判定方法（定理1）可以方便的确定两个图是否同构。此外，还得到了桌一类图的同构判定的一个较强的条件（定理2）。     

关于Von-Mises统计量渐近正态收敛速度的进一步讨论

本文讨论了Von Mises统计量向正态逼近的一致收敛速度问题 ,在核函数仅满足二阶矩条件下 ,给　　出了上述收敛速度的上、下界 ,所得结果改进了 [2 ]中相应结论     

缪尔达尔经济思想评述

以缪尔达尔的代表作<亚洲的戏剧>一书的内容为依托,评析了缪尔达尔的主要思想观点,从而揭示出发展中国家所面临的诸多问题.这对于发展中的中国来说,具有重要的现实意义.     

多路复用器的模拟(英文)

给出了异步传输模式(ATM)通信系统中多路复用器在欠载和过载状态下的模拟结果， 这些结果对于多路复用器的设计和选购很有帮助。