实二次域上理想类的zeta-函数在-1处的值

用连分数给出了实二次域理想类的zeta-函数-1处值的一个具体的计算公式.     

深孔分段爆破法掘进采空区充填井成井的研究

采空区掘进充填井是一次回采嗣后块石胶结充填采矿法的关键。如不解决,采空区将不断扩大,势必造成地压危害和残留空场硫铁矿矿石氧化自然发火。而新桥硫铁矿采空区已达10~4m~3以上。解决采空区充填井已是燃眉之急。采用SQZ-1型潜孔钻车钻凿深孔而后分段爆破成充填井的成功,既解决了新桥矿采空区充填问题,又解决了其他方法不能掘进采空区充填井的问题,对类似矿山有较大的推广应用价值。     

复数,实数及实对称数据下Bruun FFT算法的实现

本文在复数、实数以及实对称数据下研究和实现了Ｂｒｕｕｎ ＦＦＴ算法。文章分析和评价了各种数据下ＢｒｕｕｎＦＦＴ的运算量和特点，提出了算法的实现结构和方法。最后给了ＴＭＳ３２０Ｃ３０上的运算时间，我们实现的算法比基２ＦＦＴ速度提高３５％。     

Q过程的不变分布(Ⅱ)

设E为一个可数集,Q=（qi,j;i,j∈E）为E×E上的矩阵,满足m为E上的概率分布满足何时存在Q过程,使得m是它的不变分布? 这个问题由Williams（1979）作为一个开问题提出.文[15]对全稳定情形,解决了这个问题;本文对单瞬时情形,完整地解决了该问题.     

SEPARATING SCN~- FROM DESULPHURIZATION WASTE SOLUTION OF COCKING PLANT BY D241 RESIN

1. INTRODUCTION In the process of coking plant, about 30%~35% sulfur is transformed to H2S and some other sulfide, which form impurity in coal gas together with NH3 and HCN. Only 0.1% H2S containing in air can lead to die, so it is very important to carry on desulphurization and decyanation with coal gas [1~3]. Currently desulphurization and decyanation craft technique have Dry Oxidation Technology, Wet Oxidation Technology and Liquid Absorption Technology [2] three main kinds. The…     

溴酸钾-亚甲蓝催化光度法测定硝酸盐和亚硝酸盐

用镉柱将NO-3 还原为NO-2 ,利用在磷酸介质中NO-2 对溴酸钾氧化亚甲蓝这一褪色反应具有强烈的催化作用而建立了同时测定痕量硝酸盐和亚硝酸盐的新方法。本方法简便、快速、灵敏 ,对亚硝酸盐和硝酸盐测定的线性范围分别为 0～ 2 0 0 μg·L-1和 0 0 0 3～ 310 μg·L-1,用于测定各种水样中痕量NO-2 和NO-3 的含量均获得满意结果     

A FUNDAMENTAL SOLUTION FOR THE LAPLACE OPERATOR ON THE QUATERNIONIC HEISENBERG GROUP

In this paper, the author studies the Laplace operator on the quaternionic Heisenberg group, construct a fundamental solution for it and use this solution to prove the Lp-boundedness and the weak (1-1) boundedness of certain singular convolution operators on the quaternionic Heisenberg group.     

非傍轴平顶高斯光束M2因子两种定义的比较研究

基于功率密度的二阶矩方法，推导出了非傍轴平顶高斯(FG)光束束宽和远场发散角的解析表达式.研究表明，当w0/λ→0时，远场发散角趋于渐近值θmax=63.435°，与阶数无关.使用非傍轴高斯光束代替傍轴高斯光束作为理想光束，研究了非傍轴FG光束的M2因子，并与传统定义的M2因子作了比较.在非傍轴范畴，非傍轴FG光束的M2因子不仅与阶数N有关，而且与w0/λ有关.按照定义，当w0/λ→0时，非傍轴FG光束的M2因子不等于0，对阶数N=1, 2, 3时，M2因子分别趋于0.913,0.882和0.886.当N→∞时，M2因子取最小值M2min=0.816.     

弱(L_1,L_2)-BLD映射的正则性

本文首先将文［１］中的ＢＬＤ映射推广为弱（Ｌ１，Ｌ２）－ＢＬＤ映射，并证明了如下正则性结果：存在两个可积指数 Ｐ１＝Ｐ１（ｎ，Ｌ１，Ｌ２）＜ｎ＜ｑ１＝ｑ１（ｎ，Ｌ１，Ｌ２），使得对任意弱（Ｌ１，Ｌ２）－ＢＬＤ映射ｆ∈（Ω，Ｒｎ），都有ｆ∈（Ω，Ｒｎ），即ｆ为（Ｌ１，Ｌ２）－ＢＬＤ映射．     

一阶形式系统K~*及其完备性

模糊命题演算的形式系统L＊已经在模糊逻辑与模糊推理的结合研究中得到了成功的应用.本文考虑与系统L＊相应的一阶逻辑理论,建立了一阶形式系统K＊,并证明了这个系统的完备性.