ACUN理论一般合一化问题的合一化算法

来源 :计算机工程与科学 | 被引量 : 0次 | 上传用户:intercsw
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
ACUN理论是异或算子代数性质的刻画.基于联合理论合一化问题的优化分解算法和高斯消元法,本文给出了ACUN理论一般合一化问题的合一化算法.
其他文献
本文主要通过研究医院经济管理中全成本核算的概念,了解全成本核算所发挥的重要作用,分析全成本核算在具体应用过程中出现的问题,提出全成本核算的应用对策,以供参考。
今年是海峡两岸恢复民间交流交往20周年。20年来,两岸关系走过了一段风雨坎坷的艰难历程,但同宗同缘的血脉,始终维系着这一割舍不断的亲情,证明着两岸一家的历史渊源。20年来,台海
自《预算法》实施以来,我国政府部门预算管理体制改革在不断深化,各项措施都得到了极大的推广和应用,实际取得的效果也非常显著。但是,在实际工作中,县级政府采购预算管理仍
分布式测试系统现在正得到广泛的应用。本文讨论了基于COM组件技术和活动目录技术的分布式仪器测试系统,简要介绍了这两种技术的特征及其安全性问题,并重点讨论了根据两种技术的安全性分析进行的安全设置,最后结合系统整体的安全性需求阐述了安全稳固的分布式仪器测试系统的实现方法。
随着时代的发展,信息技术已经完全进入了人们的生活。在课堂的教学中融入信息技术可以使教学更具体,更具趣味性。在小学英语教学中,融入信息技术可以使课堂更具活力和生机,"
数据库中间件技术已成为构建大规模海量信息处理系统的重要途径,本文研究并实现了一个并行海量数据库中间件,实现了海量数据的高性能并行加载和查询,满足TB量级的海量信息处理应
摘 要:传统的高中数学教学模式是教师实行满堂灌的方式,教学没有针对性,导致学生们对数学学习丧失兴趣。随着新课程标准的逐步推行,教学方式迫切需要被改变,教师应当明确学生的学习主体地位,最大限度地开发他们的潜力,从而激发他们对高中数学课程的学习兴趣,提高教学效率。  关键词:高中;数学;探究  一、 努力为学生们创造一个良好的学习环境  良好的学习环境对于高中数学教学有着极其重要的作用,因此,高中数学
本文针对目前移动手持设备的固有缺点和现有网格技术的发展,对上网设备提出了一种分层模型的分类方法.在这种分层模型中,上层中可实现的功能被在它下面的层所支持.在此方法指
光线投射法是三维直接体绘制算法中的一种最基本方法,但简单的光线投射算法存在采样效率低和绘制速度 慢的缺点。本文充分利用对象空间与图像空间的各种相关性,利用对象空间中数据场的相关性,对采样点处的均匀性区域 采用正方体进行度量,并以此来确定采样步长,在射线方向上采用自适应的采样方式,避免在采样点周围均匀性区域中重 复地进行采样,大大地提高了三维数据场的绘制速度。
本文首先介绍了净室软件工程的理论基础、技术手段和工作过程,然后以净室组合测试为例研究了使用规范、使用模型设计和测试用例生成的过程,最后对净室组合测试进行了分析。