On the algebraic formulation of certain geometry statements and mechanical geometry theorem proving

In this paper we analyze the algebraic formulations of certain geometry statements appearing in recent literature related to mechanical geometry theorem proving and give several examples to show that one of these formulations can cause serious problems. We clarify a formulation which is essentially due to W. T. Wu and, in our opinion, is the most satisfactory.This author was supported by NSF Grants DCR-8503498 and CCR-8702108.     

防水粉憎水膜形成机理及稳定性的研究

通过对防水粉憎水膜形成途径的探索，提出了憎水膜形成过程的基本假设，利用微观测试方法证实了憎水膜层的存在．试验并研究了防水粉长期稳定性的诸多问题。     

不同品位高钛渣对沸腾氯化工艺的影响

分别以94％品位高钛渣和90％品位高钛渣为原料，采用沸腾氯化工艺制备粗TiCl4，分析了两种品位高钛渣对沸腾氯化工艺的影响。结果表明：94％品位高钛渣由于其活性低而对沸腾氯化工艺的影响较大。     

水平井现场地质导向方法及其应用

为了降低水平井的钻探工程成本，要尽量不钻或少钻导眼井段。根据水平井在钻前准备、深度预测、稳定井斜、水平导入4个阶段的不同作业特点，依据现场施工经验，归纳提出了利用公式法、小导眼法、曲线指示法、扭矩与dc指数法等方法进行地质导向的成功实践。利用这些方法，可以有效地指导现场钻井人员，将钻井轨迹比较准确地导入目的层中。     

铝电解槽修槽废渣的特性分析及处理

分析了铝电解槽修槽废渣的产生量、基本构成及污染特性，重点介绍了铝电解槽修槽废渣的处理处置方法和综合利用途径。     

原子力显微术

本文首先介绍了原子力显微术的基本理论，其次讨论了原子力显微镜的结构原理，主要报导了一台我们研制的使用光学偏转法检测的原子力显微镜及仪器性能，仪器测试的结果表明我们这台原子力显微镜获得了原子分辨率，最后给出使用这台显微镜的首批实验结果。     

多分量调频信号的阵列处理时频交叉项的抑制方法

在应用时频-MUSIC方法对多分量调频信号进行到达角估计的问题中,针对时频分布中交叉项的存在对估计性能的影响,提出了一种基于阵列信号处理抑制时频分布交叉项的新方法。该方法利用多信源在各阵元上的延迟对时频分布交叉项振荡相位的影响,联合运用多通道信号处理和图像处理的方法,采用二维乘法滤波,减小高频振荡交叉项在时频图像中的占据区域,从而达到抑制交叉项的目的。仿真实验显示该方法具有良好的效果。     

多分量调频信号的阵列处理时频特征提取

在应用时频—MUSIC方法对多分量调频信号进行到达角估计的问题中,针对时频分布中交叉项的存在对估计性能的影响,本文提出了一种基于阵列信号处理抑制时频分布交叉项的新方法。该方法利用多信源在各阵元上的延迟对时频分布交叉项振荡相位的影响,联合运用多通道信号处理和图像处理的方法,采用二维乘法滤波,减小高频振荡交叉项在时频图像中的占据区域,从而达到抑制交叉项的目的。仿真实验显示该方法具有良好的效果。     

基于可编程协议无关报文处理的分布式拒绝服务攻击检测

传统软件定义网络（SDN）中的分布式拒绝服务（DDoS）攻击检测方法需要控制平面与数据平面进行频繁通信,这会导致显著的开销和延迟,而目前可编程数据平面由于语法无法实现复杂检测算法,难以保证较高检测效率。针对上述问题,提出了一种基于可编程协议无关报文处理（P4）可编程数据平面的DDoS攻击检测方法。首先,利用基于P4改进的信息熵进行初检,判断是否有可疑流量发生;然后再利用P4提取特征只需微秒级时长的优势,提取可疑流量的六元组特征导入数据标准化—深度神经网络（data standardization-deep neural network,DS-DNN）复检模块,判断其是否为DDoS攻击流量;最后,模拟真实环境对该方法的各项评估指标进行测试。实验结果表明,该方法能够较好地检测SDN环境下的DDoS攻击,在保证较高检测率与准确率的同时,有效降低了误报率,并将检测时长缩短至毫秒级别。     

Optimizing nonlinearity of piezoresistive pressure sensors by an asymmetric Wheatstone bridge

Microsystem Technologies - Since nonlinearity is critical to silicon piezoresistive pressure sensors, this paper combined theoretical analysis and simulation to study the effect of changing the...