向量值函数连续与可导的关系

通过构造反例的方法,充分论证取值于X的向量值函数强连续只是弱可导的必要条件,而且还存在着强绝对连续并不几乎处处有弱导数的向量值函数．     

一种新型的电子商务微支付方案

针对目前电子商务微支付方案中所存在的密钥托管、匿名性以及公平性等问题,提出一种新型的电子商务微支付方案.在认证与密钥协商子协议中,通过盲化技术和双线性运算,在没有第三方参与的情况下,实现用户和商家之间的相互认证,并得到一个共享的密钥,可以有效地提供匿名性.在支付子协议中,在双Pay Word链的基础上,结合同时生效的数...     

Logistic模型在高层建筑物沉降监测中的应用

介绍了Logistic增长曲线模型,通过实测数据建立沉降预测模型,拟合出s-t曲线,用平均绝对百分误差(MAPE)来评价预测模型拟合的精度,发现Logistic模型属于高精度拟合.将预测数据与实际观测数据进行对比分析,预测精度较高.结果表明该模型可用于高层建筑物的沉降预测情况.     

无源毫米波末敏弹

论述了八毫米辐射计的末敏弹的工作原理和设计原则．在搜索过程中末敏弹吊在降落伞下，一面旋转一面以某个适当的速度下降，使辐射计的天线以螺旋线形扫描目标区域。在此有效面积内探测目标，并以很高的命中概率摧毁目标。在天线温度对比度理论计算的基础上研制出探测和定位算法，给出了计算机仿真打靶试验的结果。     

计算分子电负性的新方法

本文提出一种计算分子电负性的新方法,与文献值比较,结果是令人满意的.     

基于事件相关电位绝对时间标记法的汽车造型语义评价方法

借助Muse脑电设备,采用绝对时间标记法,探索事件相关电位（ERP）实验的造型评价方法,从而缩短造型设计评估周期,提高企业内部造型设计决策效率。首先通过句尾歧义经典实验范式,验证Muse脑电设备可用于ERP的N400经典实验范式研究,其次进行多模态语义加工研究的复合刺激范式实验,验证Muse脑电设备测试结果。结果表明,Muse脑电设备在对汽车造型语义与文字语义进行测量时,能够准确采集N400成分并进行比较。N400成分可以在特定刺激下反映用户的真实想法,提高汽车造型决策效率,降低造型设计成本。     

从未标定图像恢复建筑物三维模型

利用建筑物中常见的平行直线和正交直线等特点,通过绝对二次曲线和消失点等射影几何量的计算,可以从未标定图像序列中恢复摄像机的内参数,然后恢复摄像机的方向和位置,同时恢复建筑物的三维欧氏几何模型(相差一个尺度因子)。此方法不需要摄像机预先标定,也不需要摄像机内参数保持不变。     

深冷处理对Inconel 617合金组织和力学性能的影响

深冷处理方法由于操作简单,价格低廉且对材料性能改善明显目前被广泛应用.采用深冷处理方法对Inconel 617合金进行了不同处理时间和次数条件下的试验.利用扫描电子显微镜(SEM)、电子背散射衍射(EBSD)、透射电子显微镜(TEM)分析了Inconel 617合金的微观组织结构,采用万能拉力试验机进行了室温下的拉伸试验.结果表明:深冷处理后Inconel 617合金的晶粒尺寸得到了细化.单次深冷处理12、24 h后合金的小角度晶界分数增大,这有助于合金拉伸强度和塑性的提高.但是深冷处理后合金中析出了大量的碳化物,降低了其强度.     

校正法拉第旋转影响的极化SAR图像定标算法

提出了一种改进的极化定标算法,应用于受法拉第旋转影响的极化SAR图像定标.假设系统具有良好的极化隔离度,即极化通道间串扰可忽略,将三角反射器作为点目标定标体,利用各通道测量值与定标体的理想散射矩阵元素间的关系,依次对通道不平衡度、法拉第旋转和绝对幅度增益进行校正.给出了算法步骤,实验的数值结果和点目标的极化特征图都验证了定标算法的有效性.     

测度的介值定理及其应用

利用连续函数的介值性和Lebesgue测度的单调性得到了Lebesgue测度具有介值性质,并利用所得结果证明了Lebesgue积分的绝对连续性的逆命题也是成立的。