航空定向技术在地下水流速流向中的应用研究

将高科技的航空定向技术与同位素稀释测井技术相结合，研制出一种智能化的地下水动态参数测量仪。在天然流场下的单井中测量了地下渗透流速、流向；垂向流速、流向，并对仪器的结构、原理、工作过程作了详细的讨论，该测量仪可广泛地应用于堤坝渗漏路径的探测、水源地的地下水勘察、煤矿涌水预测、环境保护、农田地下水溶质运移等。     

集合论-泛逻辑悖论

对于一类 n(2≤n≤_n) 值逻辑可以给出一个一般形式的形式语言,通过一个六元组的模型,可以递归地定义出该形式语言中的公式的值.这构成了刻画这类逻辑的一个泛逻辑系统 UL ₁.在该系统中,可以定义出抽象否定、抽象蕴涵和抽象等值等联结词,它们分别是二值逻辑中的联结词否定、蕴涵和等值的一般化.利用这些联结词,可以给出Russell型造集谓词、Curry型造集谓词的一般形式.此外,还提出了一种新型造集谓词,这种造集谓词只包含等值联结词,而不涉及其它联结词.通过这3种造集谓词,利用该系统的逻辑工具,证明了在通常的有穷值逻辑、可数无穷值逻辑和不可数无穷值逻辑系统中,概括原则都将导致悖论.