限定逻辑的表列方法

限定逻辑是由McCarthy创立的非单调逻辑的一个重要分支.限定逻辑最大的困难在于其算法的设计.基于表列方法,可以给出命题限定逻辑和公式限定逻辑两种形式证明程序.     

主次条件句中的多余条件问题

刘壮虎、李小五在文献[1]中建立了一种有两个条件的主次条件句逻辑C2Lm.以此为基础,讨论主次条件句中的多余条件问题,证明了文献[1]中提出的一种扩充是不成立的.另外建立了C2Lm的一个刻画某种多余条件的扩充系统C1,证明了它的一些语法及语义性质.     

主次条件句中的多余条件问题

刘壮虎、李小五在文献[1]中建立了一种有两个条件的主次条件句逻辑 C2Lm.以此为基础,讨论主次条件句中的多余条件问题,证明了文献[1]中提出的一种扩充是不成立的.另外建立了 C2Lm的一个刻画某种多余条件的扩充系统 C1,证明了它的一些语法及语义性质     

AutoCAD下空间曲面零件实体生成研究

将机械零件加工方法引入AutoCAD实体造型中,模仿机械加工方法,用AutoLISP编写AutoCAD实体造型驱动程序,可实现圆弧面蜗杆、空间圆柱凸轮、弧面分度凸轮、蜗形凸轮和螺杆等复杂空间曲面零件立体的快速、准确地绘制.     

基于Copula的极大和极小期权定价

本文探讨了Copula在多资产期权定价方面的运用,并具体地研究了Copula函数与极大和极小欧式期权价格的关系,给出了该种期权价格的表达式.     

网架和网壳中曲面多边形的一种识别算法

设计了一种在给定了由点表和线表描述的面时如何识别出各个面多边形的算法，从而可以在已知由杆单元构成的空间结构时准确地施加风、雪等面荷载，并用实例证明了该算法的正确性．     

遗传神经网络在邮件过滤器中的应用

针对目前反垃圾邮件技术的缺点,提出一种基于遗传优化神经网络的垃圾邮件过滤器模型,利用遗传算法全局搜索能力优化神经网络连接权值,克服神经网络局部极小值点问题,提高神经网络的学习速度和识别能力。通过对遗传算法和人工神经网络算法的实现,证明它们在垃圾邮件过滤器中有很好的应用效果。     

中心仿射超曲面的热方程

假设初始流形是仿射空间中的局部严格凸的紧致无边的光滑超曲面，坐标原点在曲面凹的一侧，位置矢量与曲面横截，利用欧氏支撑函数，得到中心仿射超曲面的热方程的解在任何有限时间区间内都存在，并又保局部严格凸性及位置矢量与解曲面的横截性，当时间趋于无穷大时，解曲面收缩于一点。     

几何与建筑美

几何与建筑美存在着密切关系，从比例分割、几何曲线、曲面等方面探寻了几何与建筑美的奇妙关系。     

直线元成型复杂曲面的五坐标CNC加工技术

论述了通用直线元素成型的复杂曲面的计算机数字控制加工技术，尤其是叶轮叶片的多坐标联动的铣削原理，多种曲线综合插补控制功能对通样条用直线元成型的整体透平叶轮数控加工技术。所采用的是一种线接触包络成型复杂曲面方法，这是针对各种雕塑曲面零件五坐标数控加工提出的一种有效方法。