论文部分内容阅读
基于符号ZBDD的装配序列规划研究
【机 构】
：
桂林电子科技大学
【出 处】
：
桂林电子科技大学
【发表日期】
：
2016年期
其他文献
通信需要各种协议的参与,如何描述这些协议,如何确保这些协议的一致性,正确性和完备性成为一个难题。人们提出了很多理论来刻画这些协议,如Petri网,形式化方法等。进程代数属
随着Internet的普及,软件开发逐渐趋向国际化、大型化和复杂化,基于大型数据库的银行业务系统更是如此,其功能点多,应用复杂,性能要求高,所以如何保证产品的高质量成了人们关
近年来，视觉监控系统在很多行业都得到了广泛的应用，生活中有小区和超市等的安全监控，银行系统中有柜台监控，交通方面有违章监控等等。视觉监控系统主要是使用计算机来协助人们分
批注作为学习、鉴赏、批评的重要形式一直广泛存在于文学、教育、政务管理等领域。随着互联网和网络技术的迅速发展,文档的电子化和网络化趋势明显,因此迫切需要让传统的批注
随着网络技术的飞速发展,网络媒体已经成为人们获取各种信息的主要场所,每天承载着大量的新闻报道,人们日常关心的各种话题都能够在各种网站上找到。一般情况下,热门话题的报
目前,图像融合技术在军事、医学、商业、交通、环境等诸多领域都得到了广泛的应用。本文对几种常见的传统图像融合方法进行了系统地研究,提出了基于改进的小波变换进行图像融合的方法。通过对典型相关分析(CCA)和多重典型相关分析(MCCA)理论的深入分析,探讨了将CCA和MCCA用于遥感图像像素级融合的基本策略和方法。论文的主要研究和创新性工作包括如下几个方面:(1)采用基于熵理论的Forstner算子及S