利用结构分析与设计语言AADL(Architecture Analysis and Design Language)对无线传感器网络进行建模,并对其中一个节点进行了详细的分析。介绍AADL语言以及它在嵌入式系统中建模的优势,展示了无线传感器网络的特征和关键技术。结合AADL...利用结构分析与设计语言AADL(Architecture Analysis and Design Language)对无线传感器网络进行建模,并对其中一个节点进行了详细的分析。介绍AADL语言以及它在嵌入式系统中建模的优势,展示了无线传感器网络的特征和关键技术。结合AADL,针对温度传感器案例,对温度传感器的结构及功能进行了详细描述,充分体现了此传感器节点的工作原理与内部结构,有助于提高其结构上的可改进性和扩展性,以进一步应用到传感器网络中。展开更多
颜色是基于内容的图像检索的重要特征.传统颜色直方图由于只考虑色彩总量而无法区别色彩空间分布差异.本文提出了一种新的颜色密度直方图(Color Density Histogram CDH).通过计算主要颜色的密度,反映颜色的空间分布离散程度.密度大,颜...颜色是基于内容的图像检索的重要特征.传统颜色直方图由于只考虑色彩总量而无法区别色彩空间分布差异.本文提出了一种新的颜色密度直方图(Color Density Histogram CDH).通过计算主要颜色的密度,反映颜色的空间分布离散程度.密度大,颜色分布较集中,密度小,则颜色分布较分散.在HSV颜色空间上,使用CAREL的1000图像做测试数据集,在平均查准率、查全率上都优于颜色直方图方法.结果表明,CDH能够结合颜色和空间特征,比传统的颜色直方图具有具有更好的检索效果.展开更多
不等式的机器判定,因其广泛的用途和内在的复杂性,已成为定理自动证明领域的研究热点和难点.针对代数不等式提出了一种分拆降幂的机械化判定方法.首先对待证的n元不等式进行齐次化对称化处理,再通过初等对称式表示和降幂分拆,将其等价...不等式的机器判定,因其广泛的用途和内在的复杂性,已成为定理自动证明领域的研究热点和难点.针对代数不等式提出了一种分拆降幂的机械化判定方法.首先对待证的n元不等式进行齐次化对称化处理,再通过初等对称式表示和降幂分拆,将其等价转化为具有特殊形式的一类多项式不等式,然后对多项式的系数作非负性判定.当转化后的多项式非平凡即系数不是全为非负时,则可以应用经改进的柱形分解程序BOTTEMA和QEPCAD对其作整体判定,或利用多项式完全判别系统,将其转化为一组n-2变元不等式的判定问题再进行判定.最后将此方法编制为Maple通用程序SymProve3,能够快速判定大量次数高至数百、项数数千的多元代数不等式,形成了一个以降低幂次数为主要证题特征的代数不等式判定系统.将其应用于《567 Nice and Hard Inequalities》中列出的209个多元初等不等式的证明,仅用33秒.展开更多
文摘利用结构分析与设计语言AADL(Architecture Analysis and Design Language)对无线传感器网络进行建模,并对其中一个节点进行了详细的分析。介绍AADL语言以及它在嵌入式系统中建模的优势,展示了无线传感器网络的特征和关键技术。结合AADL,针对温度传感器案例,对温度传感器的结构及功能进行了详细描述,充分体现了此传感器节点的工作原理与内部结构,有助于提高其结构上的可改进性和扩展性,以进一步应用到传感器网络中。
文摘颜色是基于内容的图像检索的重要特征.传统颜色直方图由于只考虑色彩总量而无法区别色彩空间分布差异.本文提出了一种新的颜色密度直方图(Color Density Histogram CDH).通过计算主要颜色的密度,反映颜色的空间分布离散程度.密度大,颜色分布较集中,密度小,则颜色分布较分散.在HSV颜色空间上,使用CAREL的1000图像做测试数据集,在平均查准率、查全率上都优于颜色直方图方法.结果表明,CDH能够结合颜色和空间特征,比传统的颜色直方图具有具有更好的检索效果.
文摘不等式的机器判定,因其广泛的用途和内在的复杂性,已成为定理自动证明领域的研究热点和难点.针对代数不等式提出了一种分拆降幂的机械化判定方法.首先对待证的n元不等式进行齐次化对称化处理,再通过初等对称式表示和降幂分拆,将其等价转化为具有特殊形式的一类多项式不等式,然后对多项式的系数作非负性判定.当转化后的多项式非平凡即系数不是全为非负时,则可以应用经改进的柱形分解程序BOTTEMA和QEPCAD对其作整体判定,或利用多项式完全判别系统,将其转化为一组n-2变元不等式的判定问题再进行判定.最后将此方法编制为Maple通用程序SymProve3,能够快速判定大量次数高至数百、项数数千的多元代数不等式,形成了一个以降低幂次数为主要证题特征的代数不等式判定系统.将其应用于《567 Nice and Hard Inequalities》中列出的209个多元初等不等式的证明,仅用33秒.