论文部分内容阅读
提出一种基于关系矩阵的状态等价类集生成算法，给出了关系矩阵的生成规则，以及通过化简关系矩阵获得状态等价类集的过程，算法特别适用于状态完全确定的包含多个初始状态的大规模数字系统设计．
基于关系矩阵的状态等价类集生成算法
【摘 要】
：
提出一种基于关系矩阵的状态等价类集生成算法，给出了关系矩阵的生成规则，以及通过化简关系矩阵获得状态等价类集的过程，算法特别适用于状态完全确定的包含多个初始状态的大规模
【机 构】
：
德州学院计算机系,山东科技大学机械电子工程学院
【出 处】
：
微电子学与计算机
【发表日期】
：
2008年4期
其他文献
本文基于新中国60年统计资料汇编数据,使用面板数据分析方法,对私人投资的重要影响因素——政府生产性支出进行深入研究,对中国政府在未来生产性支出战略决定方面有着十分重
针对目前汉字鉴别效率低、容易造成几何性质的丢失的现状,提出了一种利用小波分解与重构的技术对汉字签字进行特征抽取的方法.首先对整个签字的每一笔划进行通过多分辨率分析的小波分解公式进行复信号小波变换,这样可以得到每一个笔划的小波分解值;然后设计了一组新的小波重构公式,并利用该公式对各个笔划的特征进行了有机的整合,产生了整个签字的具有旋转、平移及尺度不变性特点的特征,从而使鉴别效果大大提高.
为了克服水印鲁棒性和图像视觉质量之间的矛盾,提出了一种脊波变换域自适应盲水印算法.利用脊波变换对图像特征的稀疏表示特性,找出各区域块中视觉重要信息的位置,并将水印嵌入其中.算法中水印嵌入强度依据图像块的内容属性变化,采用了系数可容忍的最大误差作为水印嵌入强度因子,较好地解决了水印鲁棒性和图像视觉质量之间的矛盾.实验结果表明,该算法能够抵抗JPEG压缩、加噪和任意裁剪等攻击,具有很强的鲁棒性,是一种
设计和实现了一种分布式环境下的性能监视工具，该工具采用．Net Remoting技术作为通信协议，能够有效解决分布式设备的性能信息的获取问题．该工具能够实时监视分布式环境下的不同种
为消除VGA到TV视频转换中的图像闪烁及获得图像的TV显示,分析了闪烁产生及分辨率变换的机理.应用半带滤波及插值、迭代等算法,设计了一种水平垂直二维去闪烁滤波与图像缩放电
通过对论文元数据网页的分析发现论文摘要页面的各种元数据在长度、前置引导词、分隔符等方面都具有特定的规律，并据此提出了基于元数据特征的元数据抽取算法，归纳出了论文元数
【正】 做豆腐的黄豆含有一种叫皂角苷的物质,它能阻止动脉硬化,能抑制脂肪的吸收,促进脂肪的分解。黄豆中含卵磷脂和亚油酸等蛋白质、维生素 B1和维生素 E 及铁。它会把体内
长期以来，我国缺乏对纳税成本的研究和分析，没有形成对纳税成本进行管理的方式和方法。本文拟就西方国家对纳税成本管理的现状与特点为借鉴，对我国构建纳税成本管理的理论基础、
建筑使用的钢材是通过轧钢机械切割而成的,这类机械代替传统的人工操作,将钢材生产量大大提升。本文围绕轧钢机械展开相关讨论,对其安装质量的控制重点、现存问题以及解决措