基于多项式组主项解耦消元法的几何定理机器证明

用多项式组主项解耦消元法，将几何定理的假设条件（多项式组PS）化为主系数不含变元的三角型多项式组DTS，可得到定理命题成立的不含变化的非退化条件，即充分必要或更接近充分必要的非退化条件，由于多项式主系统不含变化，已不存在DTS多项式之间的约化问题，故方法有普遍意义，文中例为西姆松定理的机器证明。     

小波分析在证券分析中的应用

传统股市投资分析中的证券分析方法之一———MACD法 ,利用DIF的移动平均值以确定证券的买卖时机 ,存在着时滞性 ,对非平稳的股市信息分析不能及时、较好地刻画股市的基本变化趋势 .作者根据证券投资理论 ,建立了相应的证券投资分析数学模型 ,根据小波分析多尺度分析能力强的特点 ,利用小波分解提取反映股市基本变化趋势的低频信息 ,改进了传统分析方法 ,建立了改进后的数学模型Ⅲ .该模型求解方便 ,同时与实际模型较好地逼近 ,具有时效性 .此外 ,以路桥建设股票 14 0个交易日的DIF和MACD值作为原始数据 ,用Matlab作为工具进行计算 ,求解模型Ⅲ .结果表明 :与传统分析方法相比 ,从模型Ⅲ中能得到更多的买卖点信息 ,而且价差更大 ,效果显著 ,充分显示了小波分析在股市技术分析中的强大生命力     

图族S_(r(k+m)+1)~ψ∪(rk-1)K_1的补图的色等价性定理

设ψ( k,m)表示把星图 Sk+ 1的 k度点与路 Pm的一个 1度点重迭后得到的图 ,Sψ*r(k+ m) + 1表示把星图 Srk+ 1的 rk个 1度点分别与 rψ( k,m)的每个分支的 k个 1度点 (均邻接于ψ( k,m)的 k +1度点 )依次重迭后得到的图。证明了图族 Sψ*r(k+ m) + 1∪ ( rk -1 ) K1的补图的色等价性及非色唯一性 ,进而推广了这一结果     

钢纤维混凝土桥面铺装试验研究与工程应用

针对桥面铺装层的受力状况和破坏原因 ,重点对钢纤维砼材料进行了抗弯强度试验和耐磨损试验 ,并进行了钢纤维砼弯曲性能分析 ,闸述了钢纤维砼的耐磨机理 ;结合 130 76m2 的实际工程应用 ,进行了钢纤维砼桥面铺装施工技术总结 ,分析了采用钢纤维砼作为桥面铺装层所带来的效益 ,可供类似工程参考应用     

SW规约下的一些性质

本文进一步分析了SW规约下的SW度结构的一些性质,得到了强可计算实数的两个性质.并且证明了给定可计算可枚举实数,可构造出sw归约下不小于该数的低的可计算可枚举实数.     

快速跳频多址信号的检测

对码分多址（ＣＤＭＡ）信号的检测常会遇到使用相同载波频率的系统用户的干扰（信道内干扰），或是遇到使用相近频率的用户的干扰（信道间干扰）。提出了采用两阶段检测器，这个检测器并不复杂，但能消除大部分的信道内干扰和部分的信道间干扰。     

基于k-分辨-FB级数展开的多分量LFM信号分离

针对傅里叶-贝塞尔变换(FBT)难以估计和有效分离多分量LFM信号的问题,提出了一种k分辨-FB(k-FB)级数展开结合dechirp的信号分离与估计算法。在FB级数的基础上引入k分辨参数,通过理论推导,得出了信号频率与级数的关系,证明了参数估计精度与k取值正相关。通过解线频调和k-FB级数计算,实现了信号分离重构和参数估计。在不同信噪比、信号功率比和k分辨条件下对信号的分离精度进行了仿真研究,并与基于分数阶傅里叶变换(FrFT)的方法进行了对比。仿真结果验证了算法的有效性。     

液压支架压力变送器的电路设计

分析了液压支架的压力特性并提出对压力变送器的技术要求，阐述了压力传感器的选择和外围电路的设计，对压力变送器的信号调理电路进行了仿真分析。     

基于小波的图像隐藏方法在信息安全中的应用

随着信息时代的到来,互联网和多媒体技术迅猛发展,数字多媒体信息在网上传播越来越便捷,同时也带来了信息安全的隐患问题。小波变换具有良好的时频特性且小波的多分辨分析与人眼视觉特性是一致的。在小波域对图像进行分解,可以根据HVS特性更好地隐藏信息,解决信息安全的问题。     

西门子810D数控系统在数控连续修正强力缓进磨床上的应用

本文以MKSL7140-1A型数控连续修正强力缓进磨床为载体对西门子810D数控系统的控制原理作了简单的阐述,并对其在调试和操作初期易出现的故障进行了总结,同时简单的提出了故障检查、排除的方法。