论文部分内容阅读
格蕴涵代数中的滤子是格值逻辑推理中的一类重要代数结构．本文给出了利用格蕴涵代数的蕴涵运算表找出格蕴涵代数中所有滤子的方法．并举例说明该方法的有效性、可行性．
利用格蕴涵代数找出所有滤子的算法
【摘 要】
：
格蕴涵代数中的滤子是格值逻辑推理中的一类重要代数结构．本文给出了利用格蕴涵代数的蕴涵运算表找出格蕴涵代数中所有滤子的方法．并举例说明该方法的有效性、可行性．
【机 构】
：
郑州大学数学系
【出 处】
：
数学理论与应用
【发表日期】
：
2012年3期
【基金项目】
：
国家自然科学基金资助项目（the Natural Science Foundation of China under Grant NO.61175055）
其他文献
本文研究了一类非齐次Poisson风险模型，考虑了干扰、随机收益和退保情况．模型中的投保过程、理赔过程以及退保过程均为非齐次Poisson过程．
本文基于收集的股票日交易数据，通过对时间窗口进行划分和股票收益间的相关性，将股票市场构建为一个金融演化网络，通过分析金融演化网络的拓扑特征，进而可以研究金融市场演化的内
精确地描述分子间相互作用能的基组递推方法仍然是当今电子结构理论的一大挑战。本文概述地介绍了分子间相互作用能的基组递推方法的发展，并对其进行了展望。
在连铸机设计理论基础上,利用C#语言编写出大方坯连铸机使用的Billetcastcad设计窗口程序。这个程序可以计算连铸机的配水量同时计算温度场,还能设计、校核和绘制辊列。程序
[摘要]选取1997年~2007年的数据作为样本空间,采用灰色关联法对我国人力资本与文化产业之间的关联度进行了定量分析结果表明:人力资本与文化产业的发展具有较高的关联度,从关联度来看,尤其是受中等教育人口比重与文化产业发展的关联度非常高基于这一结论,提出相关政策建议 [关键词]人力资本;文化产业;灰色关联 [中图分类号] F240[文献标识码] A [文章编号] 1673-0461(2009
本文假定股票价格过程服从分数跳一扩散运动，且期望收益率和波动率均为常数，在市场无套利的情形下，利用拟鞅定价的方法，得到了欧式复杂任选期权的解析定价公式．
在海上平台石油生产以及加工过程中，气浮技术的利用在含油污水处理工作中发挥着较为重要的作用。在本文中，根据对气浮分离原理的分析，阐述气浮技术在海上平台含油污水处理中的应
分析了我国国有资产监管的现状及存在的问题，指出国有资产流失或转移是目前我国国有资产监管中存在的显著问题之一；梳理了国有资产流失或转移研究的视角，提出系统研究国有资产流
本文运用Krasnoselskii和Schauder不动点定理，得到了一类分数阶微分方程多点边值问题解的存在性．
本文讨论了矩阵方程AXA^H=B的Hermite解及其最佳逼近的正交投影迭代法，证明了算法的收敛性，得到收敛速率的估计式．通过数值试验也检验了算法的有效性．