论文部分内容阅读
研究了多值逻辑系统中各种重言式与经典逻辑系统中重言式间的关系.指出了多值逻辑系统中判断公式不是重言式的充分条件,并对其中一些重要的有限值逻辑系统给出了判断公式是否为重言式的简化方法.
逻辑系统中重言式及广义重言式的关系
【摘 要】
：
研究了多值逻辑系统中各种重言式与经典逻辑系统中重言式间的关系.指出了多值逻辑系统中判断公式不是重言式的充分条件,并对其中一些重要的有限值逻辑系统给出了判断公式是否
【机 构】
：
甘肃工业大学基础科学系,西北纺织工学院数理系
【出 处】
：
纺织高校基础科学学报
【发表日期】
：
2001年1期
其他文献
讨论了对二元函数的一个极值问题推广到n元情况.对n=2给出了另一个证明它至多有唯一的非鞍点极值点.而对n≥3时,它至多有二个非鞍点极值点.一个极大,另一个极小值.而且对n=3
以金融环境中影响资本运营的宏观要素为出发点,探讨它们对养老基金运营风险及效率的作用。研究发现,只有在资本市场相对成熟、稳定的情况下,才能确保养老基金具有较强的保值
针对目前图像修复效率低下的问题,提出一种基于区域加权信息熵的图像修复改进算法。根据颜色向量角能够衡量图像中的颜色差异特性,先构造边缘项来代替Criminisi算法中的数据项,并改进优先权计算方式;然后根据区域加权信息熵对图像待修复区域进行分块,进而根据熵值确定最佳匹配块。最后的实验结果表明,文中的图像修复算法不但有更好的修复效果,且耗时更少。
利用计算机实现车间作业调度的仿真，分析了混合流程生产过程的特点；利用数学方法给出了一类工业线绳制造企业车间作业调度模型。初步探讨了求解该问题的技术问题。