多值Lukasiewicz逻辑公式的范式表示和计数问题

将符号化计算树逻辑中的Shannon展开式做了推广,在n值ukasiewicz逻辑系统n中,研究了由逻辑公式导出的n值McNaughton函数的展开式,给出了m元n值McNaughton函数的准析取范式和准合取范式.在此基础上,给出了m元n值McNaughton函数的计数问题,并在n值ukasiewicz逻辑系统n中,给出了m元逻辑公式的构造方法及其逻辑等价类的计数问题.

求解SAT问题的似人下降搜索算法

为了解决求解合取范式的可满足性（简称为ＳＡＴ）问题的坐标轮换法中所存在的函数增量的变化、优化方向的顺序、跳出局部极小陷井的策略和堵绝走回头路的措施等４个问题，引入拟人策略和伴随价值量等概念，构造出一种新的求解ＳＡＴ问题的非完整快速算法拟人下降搜索算法。新的算法对坐标轮换法中频繁使用的函数增量计算作了公式化的递推，对涉及的处理对象诸如函数增量和未满足子句作了科学的排序，对跳出局部极小陷井的策略作了拟人化的运用。实验结果表明，新算法比现有的同类算法更有效。

家具形态契合的功能价值

本文从家具形态与家具功能的关系出发,探讨形态契合对扩大家具功能价值的意义。在家具设计中,应用形态契合的造型方式能够达到进一步扩大家具的功能价值,节约材料,节省空间,减少资源投入等目的。

浅谈产品的契合设计及功能价值

契合是一种良好的造型设计方法,将契合的理念应用到现代产品设计中,不仅能够丰富产品的形态,而且也能扩大产品的功能价值。文章通过对契合现象进行归纳与分析,提出了产品契合设计的概念,并分析了契合设计的功能价值,深化了其设计要点。