论文部分内容阅读
引入了格蕴涵代数中粗糙滤子的概念,并讨论其一些性质,推广了格蕴涵代数的滤子.
格蕴涵代数滤子的粗糙性
【摘 要】
：
引入了格蕴涵代数中粗糙滤子的概念,并讨论其一些性质,推广了格蕴涵代数的滤子.
【机 构】
：
四川师范大学数学与软件科学学院,内江师范学院数学与信息科学学院
【出 处】
：
数学的实践与认识
【发表日期】
：
2004年期
其他文献
利用上下解方法及单调迭代技术讨论了一类具有上确界的二阶非线性脉冲微分方程无穷边值问题,给出了其最小最大解存在定理.
对多元多项式分次插值适定结点组的构造理论进行了深入的研究与探讨.在沿无重复分量代数曲线进行Lagrange插值的基础上,给出了沿无重复分量分次代数曲线进行分次Lagrane插值
利用重合度理论,获得了一类具有多个偏差变元的二阶中立型泛函微分方程d2/dt2(u(t)-nΣj=1cju(t-rj))=f(u(t))u′(t)+α(t)g(u(t))+nΣj=1βj(t)g(u(t-γj(t)))+p(t)周期解存
研究一类具高阶Laplace算子的高阶脉冲非线性中立型偏泛函微分方程的强迫振动性,利用Green公式和微分不等式方法将所讨论的脉冲中立型偏微分方程转化为脉冲中立型微分不等式
运算器对于CPU的性能有重要影响,除法器是运算器的一个重要组件.除法器电路常用不恢复余数法,但声称采用了不恢复余数法的各种电路采用的算法却有明显区别.后续文试图对不恢
基于完全图的邻点可区别全染色,得到了任意偶阶完全图的直积图K2s×K2t的邻点可区别全色数xat(K2s×K2t)=2(s+t)(t、s均为正整数).
通过数值方法研究在边界充分(逐段)光滑区域上的带有小参数的二维椭圆方程在部分Dirichlet边界控制下的渐近性问题.对于一维的情形求解析解的结果,对高维问题提出类似的问题.
通过数值试验发现Ainsworth建立的非协调Qrot1元可计算上界后误差估计指示子的可靠、有效性差.参照相关文献以及根据Qrot1元的性质,在Ainsworth建立的可计算上界后验误差估计
对形如Fn+p=p∑i=1ai(n)Fbin+i-1,n≥1的变系数非线性递归序列{Fn}的极限问题进行了研究,给出了在满足一定条件时,序列{Fn}收敛且极限值与初始值Fi＞0,i=1,2,…,p无关.