消点法解题数例分析

中国科学院院士张景中教授在攻克计算机的可读性证明时创立了平面几何命题论证的“消点法” .众所周知 ,机器证明是现代数学 (计算机 )对科学的重大贡献 ,自吴文俊教授创立了吴方法之后 ,这项研究取得了突破性的进展 ,但其证明方式仍是“纯机器”的———采用的是非常规的语言 ,不能被一般的人“读”懂 .中国科学院院士张景中教授首创机器的可读性证明 ,使我国在机器证明这一尖端领域的研究水平无可置疑地处于世界领先地位 .这是继“吴方法”之后更辉煌的成就 .有趣的是 ,机器证明中使用的“消点法”不仅适用于机器推理 ,而且还可“手工”操…     

消常数化齐次

<正>一条直线与圆锥曲线交于A、B两点,对于与OA、OB夹角相关的问题,用消元法处理,运算量较大,很容易出错.若设法将直线方程与圆锥曲线方程中的常数项消去,化为二次齐次方程来处理,则简洁明快.     

基于小波理论的药物含水量红外光谱分析

建立了红外光谱法对药物含水量非线性定量模型.运用Matlab小波变换的处理技术对阿司匹林片红外光谱进行滤噪与平滑,获得光滑的谱图,增强了谱图的分辨能力.选择2 950 cm-1附近的特征吸收峰,依据动力学、数学建模及优化理论,分别建立并比较了线性及非线性定量模型.结果表明,非线性模型具有更高的准确度,其模型相关度达0.975 9,而传统的线性模型相关度只有0.127 7.基于小波消噪的红外透射光谱分析法测定阿司匹林片含水量是可行和有效的.     

基于高光谱散射图像技术的UVE-LLE苹果粉质化分类

利用高光谱散射图像技术研究了苹果的粉质化无损检测.提出了一种无信息变量消除法和局部线性嵌入相结合的苹果粉质化分类的新方法.经无信息变量消除法筛选后的波段降为全谱的23.5%.将波段选择后的原始图像数据用局部线性嵌入降维作为偏最小二乘判别分析的输入变量并建模.无信息变量消除法与局部线性嵌入相结合算法和局部线性嵌入降维方法得到的粉质化分类测试准确度分别是79.0%和79.0%|无信息变量消除法与平均反射法相结合和平均反射法特征提取得到的是77.4%和75.8%.结果表明,无信息变量消除法与局部线性嵌入想结合的方法可以大大地降低高光谱散射图像的数据量,同时保证了分类准确度,为在线检测、分类和高光谱数据的存储提供了一种实时、有效的方法.     

大尺寸物光波面彩色数字全息高质量重建研究

为解决检测面尺寸较大时CCD难以得到高质量数字全息图的问题,本文利用负透镜设计光学系统让CCD接收来自物体的缩小虚像,以球面波为参考波,使用单色CCD近距离得到三种色光照射下的大尺寸彩色物体的数字全息图,然后采用可控放大率波面重建算法得到同一尺寸的数字全息重建像,合成彩色数字全息重建像.同时,使用两种消零级方法去除零级干扰,提高重建像质量,一种方法利用空间光调制器相移技术在参考光中加入一次任意相移,记录两幅数字全息图,消除重建零级像|另一种方法使用“无干扰全息图”消除重建零级像及共轭像.本文讨论结果可为大物体彩色数字全息及多波长数字全息检测应用提供有益的参考.     

EEMD在土壤剖面反射光谱消噪中的应用

实测光谱常含有大量干扰信息, 消噪在光谱数据处理和分析中极为重要, 它直接影响后续的定量分析和信息挖掘。因此, 选择适当的消噪方法是改善光谱分析精度, 提升光谱分析能力的一个关键性突破。集合经验模态分解(EEMD)方法是一个以信号固有特征尺度为度量的时空滤波过程, 能充分保留信号本身的非线性和非平稳特征, 在信号的滤波和消噪中具有较大的优势。结合EEMD的多尺度滤波特性, 提出了一种新的EEMD阈值光谱消噪方法, 并应用于新疆塔里木河中游典型绿洲33个土壤剖面反射光谱数据的预处理。为探讨EEMD阈值法在土壤剖面反射光谱消噪中的效用, 对EEMD阈值法和小波阈值法的消噪结果进行了对比分析。结果表明: 与传统的小波阈值法相比, EEMD阈值法消噪结果的信噪比从14.836 6 dB提高到34.275 7 dB, 均方根误差由6.786 1×10-5降到7.240 6×10-6, 相关系数从0.982 5提高到0.999 8, EEMD阈值法的三个消噪效果衡量指标均优于小波阈值法。证明了EEMD阈值法可有效地去除土壤剖面光谱噪声, 较好地保留了光谱的细节信息, 提高了光谱的定量分析精度, 且与小波阈值消噪方法相比具有较强的可靠性和自适应优势, 作为光谱数据预处理的一种新方法, 其应用前景良好。     

某弹射发控装置的可靠性设计与研究

主要从信号的输入,传输以及火工品方面考虑发控装置的可靠性;设计了有效的信号消抖方式和稳定的422通信链路,确保了发控信号的可靠输入;针对火工品点火,设计了安全可靠的点火控制电路,并加入了火工品保护、点火时序条件等防护和保障措施;该弹射发控装置能提供50ms以上约10A的火工品点火电流,目前已成功在某弹射靶场试验中使用,具有较高的安全可靠性和应用价值。     

防污染的自消应力高纯度气体低温换热器的设计

该设计解决了低温工程与低温技术等领域所使用的高纯度气体介质换热的要求,具有显著的经济效益和社会效益。其换热器是由四个管壳式热交换器串联组合而成,壳体呈窄矩形,换热管采用U形换热管,四个管壳式热交换器呈方阵置放在低温换热器筒体内。低温换热器采用的材料是0Cr18N i9/304,该种材料的透气性小、耐磨损、抗腐蚀能力强和性能稳定,防止了气体被污染。另外在低温下,考虑了材料的热胀冷缩所产生的应力,使应力能够自行消除,提高了它的密封性能,最终使低温换热器密封性能好,防止了气体被污染,保证了气体的高纯度。