论文部分内容阅读
基于CSP的网络体系结构描述及验证方法
【机 构】
：
东南大学
【出 处】
：
东南大学
【发表日期】
：
2013年期
其他文献
目前,在总体设计过程中,对系统的设计方案缺少有效的仿真验证平台,只能依靠实物试验,不能充分进行设计优化,设计措施的有效性难以得到验证,影响研制进度；在总体设计完成后,对
Counting moving people in crowded scenes is in high demand in videosurveillance applications such as controlling traffic flow, schedulingpublic transportations,
梯度描述了在函数定义域内函数值随自变量变化的趋势，蕴含了函数的连续性信息。该连续性信息可以是随时间、空间变化，也可能是随某些控制参数变化。利用该连续性信息，我们可以更
本文主要研究基于水印的图像认证算法，图像认证算法可以按照水印信息的抗攻击强度分为脆弱水印和半脆弱水印，脆弱水印算法不允许水印信息遭受任何形式的信号处理或者修改操作，适