关于切割规则的可容许性定理的一个注释

在《结构证明论》^(1)中,切割规则可容许性定理的证明在经典命题逻辑矢列演算中有四个问题:切割高度计算存在错误;"切割公式仅在左前提中是主公式"与"切割公式不是左前提的主公式"自相矛盾;收缩规则指代含混;"切割规则的任何一个前提不是逻辑公理"的表述不准确。文章分析这些问题并提出相关的解决方法,给出切割规则的可容许性定理一个详细而完整的证明,进一步论述经典命题逻辑矢列演算的子公式性质、一致性和可判定性。这些工作有助于提高学习和研究证明论的能力。

对不规则切割体的精密测量的探讨

文中主要阐述了油田装备领域中对特殊零件的测量方法,并给出了数据评定的解决方案。

二维优化排样方法及实现技术

在工业应用领域中存在大量的二维下料问题,其中应用最多的是矩形件下料问题。矩形件下料问题的关键是寻找二维平面的优化布局。针对工业生产中实际存在的问题与约束条件,给出了新的规则设计理论和数据模型,利用覆盖率和有效覆盖率的概念来控制余料合并操作的执行,运用布局规则、组合规则和切割规则给出了一种新的启发式算法。实验分析和工业应用证明,该启发式算法可以有效地提高板材的整体利用率,极大地减少了板材损耗。

一种钣金件数控激光切割路径的优化改进方法

针对钣金件数控激光切割路径优化方法存在的不足的问题,以无孔且不共边的钣金件数控激光切割路径优化问题为研究对象,阐述了切割路径优化问题的本质与优化目标。分析了传统算法中串行切割约束规则的缺点,提出了基于交叉切割的零件切割约束规则。在零件轮廓线段离散化处理的基础上,建立了切割路径优化的数学模型,进而将问题转化为零件轮廓线段的顺序选择问题。采用蚁群算法对该问题进行求解计算,给出了算法原理和步骤。最后,通过仿真实验验证了该方法的可行性与有效性。该方法可以有效地提高钣金件数控激光切割的路径优化效果以及加工效率。

热场动力学中的切割图方法及热格林函数的虚部

在热场动力学的框架下，依据有限温度下的切割定理提出了一套直观的费曼图切割方法及其相应的费曼规则，从而给出了一条计算热格林函数应部的方便途径．作为应用的例子我们分别讨论了二点、三点和四点格林函数的虚部．