论文部分内容阅读
软件设计和硬件设计中的许多问题可归结为某个常数项都是1的线性逻辑方程组模型。给出了该类方程组极小解的定义。用布尔矩阵的初等变换把系数矩阵化为最简矩阵，根据最简矩阵把未知量分作绝对必要变量、相对必要变量和不必要变量三类，在此基础上给出了一种求极小解的启发式算法。
一种求线性逻辑方程组极小解的启发式算法
【摘 要】
：
软件设计和硬件设计中的许多问题可归结为某个常数项都是1的线性逻辑方程组模型。给出了该类方程组极小解的定义。用布尔矩阵的初等变换把系数矩阵化为最简矩阵，根据最简矩阵把未知量分作绝对必要变量、相对必要变量和不必要变量三类，在此基础上给出了一种求极小解的启发式算法。
【机 构】
：
College of Information Science and Technology, Taishan University, Taian, Shandong 271021, China
【出 处】
：
第六届智能CAD与数字娱乐学术会议
【发表日期】
：
2009年7期
其他文献
针对近几年来连续发生的石化企业重大火灾后污染水源的恶性环境事故，本文首次从消防部队的角度对消防污水的产生与特点进行了探讨，阐述了灭火战斗中注意的问题以及消防污水紧急处置的措施，对石化企业的防火设计及消防监管提出了一些建议，希望消防工作者在致力于消防事业时，同时树立强烈的环保意识，将保护环境作为消防工作的又一目标，力避因火灾引发的突发环境事件造成政治、经济和社会方面的重大影响。
在和谐社会里，“立警为公，执法为民”为消防监督执法工作提出了新的更高的要求，怎样切实做到“严格、公正、文明、执法、廉洁、高效、优质服务”，已是摆在每个消防执法监督人员面前的一个新课题。濮阳支队结合当地实际不断摸索新形势下执法服务的方法，身体力行建立起“四先四后”执法服务新理念，有效的推动了和谐社会更快、更好地发展。
本文就公安部消防局局长提出的“三条铁规”的出处、实施要求、实施过程中存在的问题进行了详尽的分析，并就如何实施“三条铁规”，如何规范执法提出了合理的建议，即应做到一抓执法人员的思想建设、二抓执法人员的素质建设、三抓消防执法监督机制建设。
针对经典形状上下文(shape context,SC)算法对物体关节相对位置变化敏感的缺点,本文提出一种基于剪影局部填充率的形状识别算法。该算法以物体不同的轮廓控制点为圆心,计算不同半径下物体剪影像素所占总像素的比例,即为控制点的局部填充率。不同控制点、不同半径长度所计算的填充率数值构成一个特征矩阵,这个特征矩阵反映了物体整个剪影的统计特性。最后通过不同数据库的实验可以看出,新算法对物体的细节有很
随着计算机和网络的飞速发展，流通信息的版权保护问题越来越受到人们的重视，数字水印作为一种有效的版权保护方法已经得到了广泛的应用。本文提出了一种基于多通道DCT变换的彩色盲水印算法，首先将彩色图像由RGB彩色空间转换到YCbCr彩色空间，利用其良好的空间独立性，分别对三个空间进行DCT变换，并根据人眼视觉特性自适应选择嵌入量，嵌入水印。实验结果表明，嵌入算法容易实现，且该水印算法具有很好的不可见性，
本文提出了一种在柱面全景图像拼接过程中利用Moravec算子提取特征进行图像配准的算法；以及采用渐入渐出融合法对图像进行无痕拼接的技术。并且通过实验验证了利用特征提取算法进行图像配准具有很高的准确度。另外，本文还证明了采用渐入渐出融合技术对图像进行无痕拼接的可行性。
本文介绍了一种基于单目视觉的肤色干扰下的变形手势跟踪方法。根据跟踪过程中所用到的基本手势特征，提出了一种基于PGH(成对几何直方图)的静态手势识别方法。为了解决跟踪过程中的肤色干扰问题，实现了基于Kalman滤波器的手势预测跟踪。为了解决跟踪过程中的初始化问题，提出了一种基于层次结构的跟踪初始化解决方案。实验结果表明，该方法能够在肤色干扰的情况下有效地对变形手势进行跟踪，并能够满足基于视觉的实时人
以AntNet算法为基础，通过路由算法中量测指标的选取、路由表的初始化值选取、网络链路故障后路由表的更新、后向Agent的消亡和下一跳结点的选择方法等几个方面对其进行了改进，给出了算法实现的数据结构和流程描述，通过仿真实验进行了算法的比较，在吞吐量、时延和稳定性方面均有一定的提高。