叠后高分辨率资料处理方法及应用效果

高分辨率勘探是一项系统工程，它由多个环节组成。甚至叠后高发辨率资料处理也是由多个环节组成。本文介绍的叠后高分辨率资料处理流程主要包括Ｌｐ模自适应预测统计反褶积，高频成分补偿，振幅补偿及有色成分校正。文中还就处理流程中各种方法的合理组合，各种方法自身参数的合理选取作了试验和探讨，最后给出了处理实例。     

基于数字图像分析的薄板成形应变场测量方法

对薄板成形应变场传统的测量方法进行了研究。指出了其不足和误差的来源，提出了数字图像分析法测量薄板成形中的应变场，对测量原理，新的测量方法对传统方法的改进，以及如何降低误差进行了介绍，指出数字图像分析法的前景，提出了改进意见。     

4-氰基苯甲酸酐的合成

以偏苯三甲酸酐和氯化亚砜为原料 ,其摩尔比为 1:1 2 ,在回流状态下首先合成中间体 4 -氯甲酰基苯甲酸酐Ⅱ ,产率可达 98%。Ⅱ经过胺化、减压脱水制得 4 -氰基苯甲酸酐 ,其沸点为 175～ 180 C/ 0 2 6KPa ,各反应物摩尔比为n (Ⅱ ) :n (NH3 ) :n (P2 O5) =1 0 :4 7:2 1。通过红外分析、1H -NMR分析及元素分析证明 ,所得到的化合物即为目标物。     

高层建筑损伤识别中的补偿算法

本文在已有研究工作的基础上，提出了处理激励测量信息不完备情况下的补偿算法。此方法主要针对高层建筑动力检测中强迫激励的情况，是一种基于时域的识别方法，该方法实际上是利用客观工程实际中结构系统激励所具有的物理持征作为识别计算的辅助条件，来解决测量信息的不完备性问题。算例分析表明了该方法的可行性。     

用小波变换抑制SAR图像中的斑点噪声

抑制合成孔径雷达图像中的斑点噪声一直是处理图像并得到准确图像信息的难点，提出了一种基于小波变换抑制合成孔径雷达（SAR）图像中的斑点噪声的方法，对原有的小波变换方法作了改进，能更好地保留图像的边缘信息，并能简化计算量。在仿真实验中使用了合成的模拟图像和真实的合成孔径雷图像，并与以往的小波去噪滤波方法以及一些经典的斑点噪声滤波方法（包括中值滤波，Lee滤波，Frost滤波）进行比较，在综合考虑了滤波算法在均匀区域对斑点噪声的抑制能力以及保留边缘信息能力的情况下，提出的算法有更好的效果。     

补偿元件对载体催化元件输出特性的影响

阐述了矿井瓦斯传感器－载体催化元件在应用中，补偿元件发挥的作用和工作原理，着重分析了补偿元件对载体催化元件输出特性的影响，探讨了提高线性补偿效果的方法。     

On the monotonicity of (LDL) logic programs with set

LDL is one of the recently proposed logical query languages, which incorporate set, for data and knowledge base systems. Since LDL programs can simulate negation, they are not monotonic in general. On the other hand, there are monotonic LDL programs. This paper addresses the natural question of “When are the generally nonmonotonic LDL programs monotonic?” and investigates related topics such as useful applications for monotonicity. We discuss four kinds of monotonicity, and examine two of them in depth. The first of the two, called “ω-monotonicity”, is shown to be undecidable even when limited to single-stratum programs. The second, called “uniform monotonicity”, is shown to implyω-monotonicity. We characterize the uniform monotonicity of a program (i) by a relationship between its Bancilhon-Khoshafian semantics and its LDL semantics, and (ii) with a useful property called subset completion independence. Characterization (ii) implies that uniformly monotonie programs can be evaluated more efficiently by discarding dominated facts. Finally, we provide some necessary and/or sufficient, syntactic conditions for uniform monotonicity. The conditions pinpoint (a) enumerated set terms, (b) negations of membership and inclusion, and (c) sharing of set terms as the main source for nonuniform monotonicity.     

新型可控电抗器大幅度限制操作过电压功能的研究

通过数值计算和模拟研究,本文叙述了新型可控电抗器的广泛的无功调节功能,揭示了它所具有的大幅度限压的能力,并在理想数学模型的基础上分析了电抗器的限压机理。     

硫酸生产中内喷文氏管的设计

从分析内喷文氏管喷头旋流特征入手 ,建立有关数学模型或表达式 ,提出对内喷文氏管喷头、收缩管支管内径、喷嘴与喉管距离进行设计的方法 ,并对设计中值得注意的问题进行理论和实践上的讨论。     

粉末布法制备SiC/Ti基复合材料

用粉末布法制备了低成本SiC/Ti基复合材料.结果表明,采用合适的轧制参数即可容易地获得厚度合适、均匀的粉末布;热失重分析和热解残余物分析指出用来制备粉末布的有机粘结剂的去除过程分成两个阶段,合理除气后,基本没有残余物.使用真空热压工艺制备的SiC/Ti基复合材料,纤维分布基本均匀,纤维与基体的界面结合良好.