论文部分内容阅读
在目前的平面几何教学软件中,没有实现对表达式的推理.本文提出一种表达式推理的方法,是向这个方向的一个尝试,能对一般的结论为齐次的表达式命题给出可读的证明过程.
平面几何中复杂表达式的自动推理
【摘 要】
：
在目前的平面几何教学软件中,没有实现对表达式的推理.本文提出一种表达式推理的方法,是向这个方向的一个尝试,能对一般的结论为齐次的表达式命题给出可读的证明过程.
【机 构】
：
广州航海高等专科学校,计算机与信息工程系
【出 处】
：
中国水运（学术版）
【发表日期】
：
2004年期
其他文献
在火箭/导弹发射时,地面试验图像受烟雾干扰严重,在地面试验图像预处理中,烟雾弱化研究非常重要。首先对频域滤波法进行了探讨,提出了一种新的同态滤波方法,然后根据小波变换能兼顾空-频域和多分辨率分析的特性提出了加权小波系数的烟雾弱化方法。最后采用5种不同的客观评价方法对处理后的图像进行评价。实验结果表明,所提出的两种烟雾弱化处理方法更有效。
通过中学生的心理现状及原因来分析体育活动对中学心理健康的影响,以及在体育教学中如何渗透心理健康教育,使学校体育课发挥其特殊功能。
Through the psychological status
期刊