综论小型煤矿巷道掘进机械化

在调研的基础上,本文综述了我国地方小煤矿在巷道掘进技术的基本现状,分析了小煤矿在掘进条件上的特点,探讨了小煤矿掘进机械化的途径,简要介绍了我国小煤矿岩巷掘进动力单一化作业的内容和效果。     

渤海辽东湾海冰条件的概率分析

本文利用辽东湾海域及其沿岸台站多年的海冰观测资料和有关气象资料,对该海域的海冰条件以及相应的气候规律进行了概率分析、研究了辽东湾南北两个分区的划分、冰厚与气温的关系、冰厚的极值概率分布、太阳黑子数以及El Nino现象对渤海冰情的影响及其长期变化的规律,得到一些可供辽东湾抗冰平台设计参考的数据和结论。     

Protein kinases mediate nitric oxide-induced apoptosis in the insect cell line IPLB-LdFB

The involvement of protein kinases (PKA, PKC and PKB) in nitric oxide (NO)-induced apoptosis with sodium nitroprusside plus N-acetyl-L-cysteine in the IPLB-LdFB cell line from the insect Lymantria dispar was investigated. The presence of protein kinase-like molecules was demonstrated by western blot analysis. The role of the kinases in programmed cell death was analysed in cytofluorimetric experiments by incubating the insect cells with H-89 (a specific inhibitor of PKA), calphostin C (an inhibitor of PKC) or wortmannin (an inhibitor of phosphatidylinositol 3-kinase). The results show that PKA is correlated with the induction and PKC and PKB with the prevention of NO-induced insect cell death. Moreover, NO-induced apoptosis involves the release of cytochrome c. Received 15 March 2002; accepted 25 March 2002     

三元液体混合物等性质线的制作及其应用

描述了三元液体混合物等性质线的制作过程 ,并通过实验测定三元体系四氯化碳( 1 ) -苯 ( 2 ) -丙酮 ( 3)在 2 0℃时的密度和折光率 ,绘制出了等密度曲线和等折光率曲线。结果表明此等性质曲线可用于准确定量分析 .     

在VC++中动态加载ODBC实现数据库访问方法

在使用VC、VB、Delphi等高级语言编写数据库应用程序时,往往需要用户自己在控制面板中配置ODBC数据源对于一般用户而言,配置ODBC数据源可能是一件比较困难的工作而且,在实际应用中,用户往往要求在同一个应用程序中访问不同的数据源,因此采用一般的加载方法就有了无法克服的缺陷为能在程序中完成这一工作,方便应用程序的使用,本文以VC为开发环境介绍两种在应用程序中动态加载ODBC系统数据源的方法.     

抗KDR-Fc杂交瘤细胞系的建立

用杂交瘤技术建立抗KDRFc的杂交瘤细胞系,以KDRFc抗原免疫雌性BALB/c小鼠,取其脾细胞与SP2/0骨髓瘤细胞融合,经ELISA间接法检测和有限稀释法克隆培养,再经稳定性检测、效价检测,筛选出分泌抗KDRFc单克隆抗体的杂交瘤细胞.得到了10株能持续分泌抗KDRFc的单克隆抗体的细胞株,其中3株分泌的单抗具有较高的生物活性、特异性和稳定性.     

多传感器信息融合中的概率数据关联算法

多传感器信息融合是现代C3I系统中的一项关键技术,在军事和民用方面有着极为广泛的应用背景,是目前科技界的一个热门研究.本文提出利用PDA(Probabilistic Data Association)算法最优性能状态来有效减少目标跟踪门内无效观测的数量,达到改善算法性能的目的.通过理论分析,证明本方法的有效性,尤其在强干扰的环境中更为明显.     

面向半结构化数据的树逻辑及其性质研究

半结构化数据正以其灵活性而成为解决Internet环境下互操作语义层面问题的重要工具和网络数据交换格式的标准．从基础理论层面上对版结构化数据进行研究，在考察了进程代数和空间逻辑的有关结果后，从模型和逻辑系统的角度对半结构化数据特别是XML语言进行刻画．在[1]的基础上，在数据模型中加入了受限算子，并提出一种新的空间逻辑——树逻辑，在其中引入了一个新的模态算子，它们的意义在于能够对私有数据的性质进行刻画和表达．此外，通过修正数据模型中的同余关系，使得模型符合数据的有序性，从而使其更为合理．在此基础上证明了树逻辑系统公式可满足性的不可判定性，从而说明针对整个树逻辑系统的模型检测算法是不存在的．同时选择了其中一个子逻辑系统，给出了其模型检测算法，并证明了该算法的正确性．     

基于最大似然准则的f-x-y域l1模预测滤波方法

常规的f-x-y域预测滤波方法基本上都假设随机噪音是服从高斯分布的,但在实际地震资料中并不是所有的随机噪音都服从于高斯分布。针对非高斯分布的随机噪音,讨论了f-x-y域l1模预测滤波方法。该方法利用最大似然准则建立目标函数,同时利用非线性共轭梯度法来优化求解目标函数。理论模型试算表明,f-x-y域l1模预测滤波方法不仅可以有效地消除非高斯分布的随机噪音,而且也避免了假同相轴现象的产生。     

贝叶斯序贯高斯模拟方法

各种静态数据约束下的三维储层模型是指可以同时满足地震和测井数据的模型。研究了整合中等垂向分辨率地震数据的方法。引入贝叶斯定理的序贯高斯模拟方法,即贝叶斯序贯高斯模拟,用来整合中等垂向分辨率的地震数据,在给定地震频率的条件下,提高模型的分辨率。模拟结果表明,该方法能很好地整合中等垂向分辨率的地震数据,解决整合地震和测井数据存在的“体支撑”难题,生成高于地震垂向分辨率、低于或等于测井分辨率的三维储层模型。