论文部分内容阅读
讨论了格蕴涵代数的单性和周期性,并研究了这两种性质之间的关系,同时给出了格蕴涵代数具有单性的几个断定方法.得出了一个重要结论:如果有限的单格蕴涵代数中存在对偶原子,则一定唯一.
格蕴涵代数的单性与周期性
【摘 要】
：
讨论了格蕴涵代数的单性和周期性,并研究了这两种性质之间的关系,同时给出了格蕴涵代数具有单性的几个断定方法.得出了一个重要结论:如果有限的单格蕴涵代数中存在对偶原子,
【机 构】
：
西南交通大学应用数学系
【出 处】
：
西南交通大学学报
【发表日期】
：
2003年1期
【基金项目】
：
国家自然科学基金
其他文献
借助分析刚体上任意点相对其参考坐标系的位移的方法,通过在直线轨道和曲线轨道上分别建立不同的参考坐标系,经过坐标系之间变换,可快捷和准确地计算出直线轨道和曲线轨道上
建立了求解铁路局范围内请求车审批优化的数学模型和与此模型对应的网络图,将铁路请求车审批优化问题转换为求解最小费用最大流问题.给出了求解此模型的数值算法,并对实际应
介绍一种自动检测铁路车辆轮对踏面擦伤及剥离的新方法.该方法用激光位移传感器获得踏面数据,通过纠偏、插值和运用经典的数据处理的中值滤波和边界搜索等方法对数据进行分析
根据赋时可重构Petri网的可重构制造系统调度算法和赋时可重构Petri网的跃迁激发顺序,生成并求解部分可及图,以获得优化或准优化的调度.该算法能以较低的计算成本获得可重构
I临床护理学虽已经历多次改革，但仍未能完全摆脱“以疾病护理为中心”的医学教育模式，不能适应“以人的健康为中心”的整体护理的要求，整体护理的全过程中始终贯穿着护理程序这
在效益机制下进行货运日计划优化的目的是,在有限的运输资源条件下,使日计划实现运输效益最大化.在分析车站能力、空车供应、限制口能力和分界口交接等诸多运输约束的基础上,
为更准确地预测动态变化的道路交叉口流量,根据城市道路流量分布的特点,提出了在小波分析和离散Kalman滤波的基础上进行组合预测的方法.这种方法将路口的流量数据构造成几个