乘积格蕴涵代数的子代数的MATLAB实现

来源 :计算机科学 | 被引量 : 0次 | 上传用户:rengegoodluck
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
借助于MATLAB,得到了两个有限链型的乘积格蕴涵代数子代数的具体形式,更直观地反映了格蕴涵子代数的结构特征,并且通过一个例子展示了程序的运行结果。研究了格蕴涵代数中各种滤子之间的关系,讨论了两个链型格蕴涵子代数乘积的滤子,得到了其只存在平凡滤子和素滤子的结论。
其他文献
将环形共享份划分为伪装区域和秘密区域,结合(2,2)单秘密视觉密码方案的基础矩阵,设计了一种具有伪装图案的操作式多秘密视觉密码方案。该方案不仅能够分享任意数量的秘密图像,
研究了带软时间窗的定位路径问题(LRPSTW)的改进粒子群算法(PSO),在考虑了LRPSTW的整体性基础上,基于一阶段的求解思路设计了带交换子和交换序及贪婪变异算子的改进粒子群算
用数值模拟的方法对应变式压杆压力传感器系统进行仿真,研究压杆的变截面对应变式压杆压力传感器测试结果的影响;数值模拟了不同上升前沿的梯形脉冲和三角形脉冲条件下变截面压杆的响应误差。与非变截面压杆相比,变截面压杆的应力波幅值和波形均发生了很大变化,无论梯形脉冲还是三角形脉冲,变截面压杆的应力波幅值都要降低。模拟结果对实验测试结果的分析有一定参考价值。
传统的位置敏感发布/订阅系统的研究集中于事件发布和匹配,不能很好地支持在同一事件源上频繁发生的上下文事件的订阅。给出一种位置敏感的上下文事件订阅机制,该机制包括位
基于遗传算法的早熟收敛、局部最优解、占据较大的存储空间等缺陷,提出了一种基于多LCS和人工势场法的机器人行为控制方法,设计了特殊的适应度函数。不同算法的仿真实验结果
针对电子罗盘的定位导航应用,开发了一种基于现场可编程门阵列(FPGA)作为微控制器的数字磁罗盘,具有成本低、速度快、功耗小的优点。FPGA负责完成对数字磁阻传感器和数字加速度
针对HiQ算法存在的缺点,提出一种增强型HiQ读写器MAC协议EHiQ。EHiQ对HiQ算法的结构、即时费用函数等方面进行改进,并引入模拟退火思想,用于平衡学习各个阶段的扩张和探索,缩短学习时间。EHiQ占用的读写器频率-时隙对资源以及频率干扰率略高于HiQ,但收敛时间仅为HiQ的1/3左右。此外,由于系统结构的改进,EHiQ的阻塞率始终保持为零。
为使HPGL格式文件输出的折线光滑化,分析了该格式文件数据输出存在的弊端及通常的解决办法。在此基础上,提出了一种基于遗传算法的插值处理方法,对该算法进行了数学描述,并对