一种高精度爆速测量方法

为精确测量炸药拟定态爆速,设计了尖形探针和相应的实验测量方法,测量了有机玻璃、不锈钢、铝合金约束下片状TATB为基钝感炸药的拟定态爆速,结果为(7.527±0.017)km.s-1。表明:采用尖形电探针测量钝感炸药爆速的不确定度为19 m.s-1,相对不确定度为0.25%,与洛斯阿拉莫斯国家实验室(LANL)精密爆轰物理实验结果相当,为精密爆轰物理实验提供了一种新的爆速测量方法。     

一种基于设计模式的三阶段并行程序设计方法

并行程序的可编程性是并行计算的难点之一，使用传统的方法对非数值问题进行并行求解则更加困难。通过对设计模式概念的扩展，定义了算法模式与结构模式，以此为基础提出了一种基于设计模式的三阶段并行程序设计方法，并通过算法模式库与结构模式库实现对该方法的系统支持，该方法不仅可有于一般的数值问题求解，而且在处理复杂的非数值问题时与传统方法相比要简单得多，通过一个简单的数值问题和一个复杂非数值问题作为实例说明了使用这一方法进行问题并行求解与并行程序设计的过程。     

自适应近似树

在大规模多媒体数据库中进行基于内容的检索，高维数据牵引结构的研究是重要问题，提出了一种有效的高维索引结构－自适应近似树，阐述了它的结构，给出了构建和检索算法，它结合了树结构和顺序检索的共同优点，针对不同的数据分布情况可以自适应地调整结构，维数较低或数据分布偏斜较大时它呈现树的结构，高维或数据分布密集时呈现顺序扫描的结构，以达到更优的检索效率，在结构上，对MBR使用了压缩存储的方法以节省存储空间，在算法中充分利用了空间划分是MBS和MBR共存的特点，减少了大量复杂的计算，从而大大提高检索效率。     

函数式、逻辑式和面向对象式程序设计及其多范例合成语言

本文综述了函数式、逻辑式和面向对象式三种新型程序设计语言的基本特点,简介了这三种程序设计风格相互合成的研究现状,并给出了一些有关的代表性语言。     

线性逻辑导论

1.从古典逻辑到线性逻辑1986年,法国巴黎第七大学 J。Y.Gi-rard 教授在研究二阶λ-演算的指称语义时发现古典逻辑中的隐含连接词 A(?)B 可以分解成更基本的线性运算!A(?)B,在此基础上,一个与证明论及计算机科学密切相关的新型逻辑系统——线性逻辑(LL)诞生了。由于古典逻辑缺乏切实的方式把证明看成算法,因此是不可构造的,除了不存在任何非平凡的指称语义外,矢列演算中 Cut 的消去也不满足 CR 性质。为了避免这些缺点,     

二元非线性函数方程组的展开式解

本文主要讨论了单纯型二元非线性方程组的求解问题,并得到关于求解这一类方程组的一些展开式定理。文中还给出了几个应用这些定理求解方程组的例子。     

具有代数算子的λ演算系统的模型构造

本文介绍了一个带有代数算子的λ演算系统,并给出了该系统模型的定义,证明了一个满足该定义的充分条件,最后构造了该系统的一个模型。     

可聚合非离子乳化剂对丙烯酸酯乳胶性能的影响

合成了可聚合非离子乳化剂烯丙基脂肪醇聚氧乙烯醚(al-AEO₁₂),并用其制备了丙烯酸酯乳胶,考察了乳化剂用量对乳胶固含量、凝胶率、粒径分布、乳胶膜吸水率等性能的影响。结果表明：随着乳化剂用量的增加,乳胶固含量提高,凝胶率降低,平均粒径减小,乳胶膜吸水率降低,乳胶性能提高。将al-AEO₁₂与阴离子乳化剂SDS复配使用,且两者质量比为2∶1时乳胶性能最优,乳胶膜吸水率最低,此时乳胶粒径分布较窄,在透射电镜下可以观察到明显的核壳结构。     

神木双山小井眼钻井液的应用

神木一双山区块作为长庆气田主要产建区块之一,目前该区块常规井普遍为小井眼,该区块小井眼施工中存在延长组坍塌严重、石千峰组和石盒子上部地层易造浆,山西、太原组煤层易坍塌,严重制约该区块小井眼常规井提速和电测成功率。该体系针对神木一双山地层特点,进行了延长组的防塌、双石层防泥包,电测防遇阻等方面钻井液技术研究。从针对神木双山地层特点进行性能细化、完钻封井保证电测等方面,初步形成一套该区块小井眼安全快速钻井液技术。