排序方式: 共有14条查询结果,搜索用时 15 毫秒
1.
本文介绍了context研究的现状,定义了一个新的context逻辑CL,定义并证明了与之相关的一些概念和定理。 相似文献
2.
In this paper, we derive new families of facet‐defining inequalities for the finite group problem and extreme inequalities for the infinite group problem using approximate lifting. The new valid inequalities for the finite group problem include two‐ and three‐slope facet‐defining inequalities as well as the first family of four‐slope facet‐defining inequalities. The new valid inequalities for the infinite group problem include families of two‐ and three‐slope extreme inequalities. These new inequalities not only illustrate the diversity of strong inequalities for the finite and infinite group problems, but also provide a large variety of new cutting planes for solving integer and mixed‐integer programming problems. © 2008 Wiley Periodicals, Inc. Naval Research Logistics, 2008 相似文献
3.
4.
通过对水印图像混沌加密和汉明编码,以及对原始图像进行提升小波变换,并结合人类视觉系统特性值计算,提高了水印算法的鲁棒性。 相似文献
5.
以CDF9/7小波为例构造了一种二维DWT变换的高效VLSI结构。采用改进的提升算法,减少了关键路径上的延时。把乘法器系数表示为CSD形式,将乘法优化为最少的移位加操作。提出了一种行变换和列变换同时进行的方法和实现结构,并且整个结构采用流水线处理。通过VHDL的行为级仿真,得到的数据和软件仿真的结果相同,证明了该结构的正确性。和其它结构相比,该结构处理速度更快,并且硬件利用率可达100%。 相似文献
6.
为了改善螺旋桨的空泡性能,从效率和空泡性能2个方面的权衡来确定环量分布.在升力面理论设计中计及桨毂的影响.桨叶几何用较少的B样条控制角点来表示.将升力面理论计算的控制点处法向速度的平方和作为优化目标函数,并通过最小化目标函数得到桨叶几何. 相似文献
7.
李兵 《国防科技大学学报》1995,17(4):132-135 ,142
本文通过非标准随机分析方法得到了标准拟鞅提升定理,并构造了非标准拟鞅的分解定理,然后再通过下推方法得到了标准拟鞅的一个分解定理。 相似文献
8.
在分析多光谱图像小波变换后系数特点的基础上,提出了一种基于整数小波变换的3维集合分裂嵌入块编码(3D SPECK)压缩方法。该方法将小波变换压缩技术中的零树编码推广到多光谱图像压缩中,采用整数小波变换去除空间冗余,对单波段图像,采用2D SPECK编码,对多波段图像,谱域上构成的小波矢量采用离散余弦变换(DCT)进行变换,对变换后的系数进行3D SPECK编码。实验结果表明,该方法硬件实现简单,编码解码时间快,对内存要求低。 相似文献
9.
小波变换的传统提升算法的滤波器固定,不能随输入信号的变化而改变,针对该问题,结合现有的自适应算法,提出一种双自适应小波变换算法,并对该算法的更新和预测过程进行了自适应调整。实验证明,该算法比传统的提升算法和单纯的自适应更新或自适应预测算法具有更优越的性能。 相似文献
10.
朱桂华 《国防科技大学学报》2002,24(2):69-72
设计和实现了基于提升结构的无乘法二进制DCT (BinDCT)的快速算法。该算法是在基于旋转变换的递归算法基础上设计的 ,并将传统的旋转变换的 3个提升矩阵乘积减少至 2个提升矩阵乘积 ,从而使算法的运算量比现有算法大为减少 相似文献