添加辅助线辅助点在计算机自动推理中的研究

在证明中使用辅助线和辅助点,是传统几何的特色,是高智能的解题方法,但却给几何证明的机械化增添了很大的困难.尝试在自动推理中应用辅助线和辅助点.实验证明,对较为复杂的几何问题来说,采用这种方法可以显著提高推理效率.     

用射影几何方法探讨Desargues逆命题

藉助射影几何的理论通过将直线投影到无穷远,由两相交直线投影成二平行直线及任意四边形投影成平行四边形的引入,首先给出了Desargues逆命题在平面域内的证明,然后用射影几何方法构造了一个辅助三点形,最终导致了该逆命题在空间域内的证明.     

反证法在计算机自动推理系统中的研究与实现

把数学证明中的反证法与机器证明中前推搜索法相结合,使计算机在自动推理方面能够更加完善.给出一个算法,根据命题的结论将命题分类,针对不同类型,设计不同的解决方案,实现了反证法在自动推理中的运用.     

积分上限函数在中值定理中的应用

在高等数学中,中值定理的证明通常是采用构造辅助函数的方法,而辅助函数的构造是相当困难的,往往要利用几何意义。本文利用积分上限函数给出证明中值定理及类似问题的一种方法。     

可变换推理方向的产生式系统

人们在求解问题的过程中，往往交换地使用正向和逆向思维方式．为了模仿这种思维方式，本文提出在产生式系统中引入元级推理构成二级推理；分析了影响推理方向的因素，根据这些因素建立了选择推理方向的估价函数；讨论了确定交换时机和实现推理方向交换等具体技术①．     

基于Rete算法的几何自动推理系统

智能几何教学软件都使用基于前推法的几何推理系统作为推理引擎。推理引擎的主要工作是做推理规则和几何信息的匹配计算。推理过程中产生的大量冗余匹配严重地影响了推理效率。为了提高推理引擎的推理效率, 作者首次将Rete模式匹配算法整合到推理引擎中, 构造了一种高效的几何自动推理引擎, 称为几何自动推理网。几何自动推理网通过消除推理过程中的冗余匹配达到了提高系统推理效率的目的。使用Lisp语言编写了几何自动推理网程序iGeo, 并做了50多个非平凡几何定理的推理实验, 实验结果表明iGeo具有更高的推理效率。     

45°辅助线在无轴投影图中的应用

在用正投影法对点的投影过程中,宽相等的投影线可以利用45°辅助线来完成,作图简单方便,但由于后续部分不再使用圆点及投影轴,无法直接绘出45°辅助线,使得这种简单快捷的方法不能有效地得以进一步利用.用一种即便没有轴线和原点,也可以利用45°辅助线实现宽相等作图的简便方法,使45°辅助线在无轴投影图中一样正确轻松使用.     

基于本体与Prolog的平面几何定理证明

基于本体理论、本体模型等方面的研究,以一个平面几何定理证明问题为例,详细地描述了平面几何本体的构建过程、基于本体和Prolog规则的推理,及其在平面几何问题求解中的应用.实验结果表明,将本体应用于几何定理机器证明是一种行之有效的方法,该方法避开了以往的代数方法中多次反复判断的问题,更接近自然语言的描述,能明确地表达领域...     

几何直观法证明Lagrange中值定理

探究了Lagrange中值定理证明中辅助函数的构造问题.采用几何直观法对其进行了证明.发现可通过有向线段、特殊图形的面积以及旋转坐标轴的方法来构造辅助函数,并对辅助函数进行推广,得到更一般的公式.     

三维数字化装配工艺系统的研究

装配工艺规划是一项复杂的任务．传统的计算机辅助工艺规划系统都是二维的,目前国内外尚无成熟的三维数字化装配工艺系统出现．以作者为某工厂开发的“涡轮泵三维数字化装配工艺系统”为例,规划了系统的体系结构,建立了集成化的装配模型,并研究了系统实现中的关键技术．采用几何推理和人工知识相结合的方法进行装配顺序规划,探讨了路径规划和碰撞检测问题,最后实现了三维环境下产品的交互式工艺规划及仿真．     

Intelligent auxiliary function method for multimodal global optimization problems

When solving multimodal global optimization problems, many auxiliary function methods are sensitive to their parameters and of great difficulty in dealing with high dimensional problems. Aiming to overcome these two disadvantages, a new intelligent auxiliary function method is proposed in this paper. Firstly, the smoothing function is employed to eliminate the solutions worse than the best one found so far. Based on the smoothing function, a novel auxiliary function is constructed, in which there is only one easily-adjusted parameter. This auxiliary function can avoid the unwilling “Mexican hat” effect caused by improper parameter settings. Then, properties of the auxiliary function are analyzed. In order to improve the searching ability, the proposed auxiliary function and intelligent optimization techniques are assembled in the designed method, which can help the method deal with high dimensional problems. Finally, 13 different benchmarks are used to test the influence of the parameter and the performance of the searching method. Experimental results indicate the effectiveness of the proposed method.     

500 kV地下变电站辅助工业监控系统的运行策略

针对500 kV静安地下变电站内辅助工业系统的组成和功能,论述辅控系统对电气系统的影响及其本身应具备的防误操作功能.简要分析系统可靠性优化措施,对辅控系统的告警信息进行分类,提出运行建议;对辅控系统的开发具有参考意义.     

极化磁系统副极面效应的研究

在分析极化磁系统工作气隙磁通时,采用简化等效磁路来考虑因设置副极面而导致工作气隙磁通变化的因素,用麦克斯韦电磁吸力公式来计算其闭合气隙的力与力矩,建立了考虑设置副极面磁阻变化和主极面收缩段铁芯磁阻的数学,报各参数的影响,从而论上证实设置副极面可以明显改变闭合气隙的保持力矩,并得到存在最优的主、副极面宽度比以及在较大的kR=R2/R1(工作气隙磁阻之比)时存在最优β（副极面、主极面的气隙长度之比）的结论。     

发电厂辅机系统空气的干燥和除(防)水

介绍了发电厂辅机系统水分的危害,分析了辅机系统水分的来源,阐述了空气干燥和除（防）水的若干措施,并探讨了某些新的方法     

古汉山煤矿副井马头门破坏原因及修复对策

通过对古汉山煤矿副井马头门施工 1 0d左右就开始出现破坏的原因分析 ,对马头门平顶段、斜顶段以及与其毗邻的管子道上平台、副井马头门以上至管子道上平台之间的井筒 ,分别采取工字钢棚浇注混凝土、工字钢棚喷射混凝土、树脂锚杆、槽钢骨架喷射混凝土等不同的加固措施进行综合加固 ,取得了一定的效果 .     

大容量辅机启动对孤立电网电压影响仿真

针对电网孤立运行条件下大容量辅机直接启动造成电网电压大幅下降的问题,基于辅机启动的基本原理以及孤立电网网架结构,建立了相应地区电网的电磁暂态仿真模型,并提出可行的孤立电网辅机启动策略.对电厂辅机的启动特性、辅机启动对电网电压的影响以及动态无功补偿装置在辅机启动过程中的补偿特性进行了仿真计算与分析,仿真结果表明,大容量辅机启动虽未造成电网失稳,但给电网电压带来很大冲击,而该启动策略可以有效地抑制冲击,为孤立电网的安全稳定运行提供了理论依据和可行性建议.     

二维频率域电磁测深反演中偏导数的计算

在有限单元法进行正演模拟的前提下,本文介绍了利用辅助场求解二维频率域电磁测深反演问题中观测响应对模型参数的偏导数的方法。文中以无限长线电流源为例,通过在测点上引入辅助场源,求出辅助场值,再与原始场值经过一系列数学变换和计算,求出测点处的原始场对电导率的偏导数。最后通过实际算例与差分法计算得到的结果对比可知,该方法计算速度快、精度高。     

保护剂WSE在丝光羊毛漂白中的应用

WSE对羊毛纤雏具有溶胀和交联作用,将羊毛保护剂WSE应用于丝光羊毛的漂白,优化了WSE的应用工艺．通过对漂白羊毛单纤维的断裂强力和散纤维的白度测试,表明保护剂WSE可以显著降低羊毛纤维在漂白中的损伤,并提高羊毛纤维的白度．     

基于辅助发生器预测混沌运行状态方法的研究

利用谐波平衡模拟法对电路中的混沌运行状态进行预测,更便于进行电路设计与分析,在高频电路模拟中,可以显示出混沌的同宿分岔轨迹,并预测和计算出这些轨迹的路线.在模拟非线性较强的混沌电路时,会因耗时太多而降低其实用性.通过在谐波平衡模拟法的基础上提出一种基于辅助发生器的新方法,可以克服谐波平衡模拟法存在的不足,对混沌的运行状态有一个精确的预测.在高频电路的设计中,对比上述两种方法,采用辅助发生器可以提高设计效率与准确性,更好的选择电路参数,具有很好的实用性.     

一种参数估计的自适应辅助通道方法

在实际应用中,传统辅助通道方法受杂波分布先验信息及系统误差的限制,使辅助通道的选取偏离实际杂波分布．针对这一问题,提出了基于最小二乘参数估计的自适应空时二维辅助通道方法．首先利用单距离回波数据估计杂波分布并采用最小二乘方法估计系统参数,然后自适应选取辅助通道并进行降维空时自适应处理．利用单距离数据进行参数估计具有较高的参数估计精度,适用于任意阵列构型,具有一定的稳健性．