小波框架的齐次逼近性质

文章先给出了两个Banach空间，它们中的函数对于满足一定条件的参数序列能产生小波框架，并且在参数和生成元函数有微小扰动的情况下仍然为小波框架。后在前文的基础上放宽了函数属于F1（R）的充分条件。一步，F0（R）中的生成元产生的小渡框架满足强齐次逼近条件，也就是函数的小波框架展开式的逼近率在它进行伸缩平移以后是不变的。     

AUTOMATED REASONING IN DIFFERENTIAL GEOMETRY AND MECHANICS USING THE CHARACTERISTIC METHOD Ⅳ. Bertrand Curves

This paper reports the study of properties of the curve pairs of the Bertrandtypes using our automated reasoning program based on Wu's method of mechanical the-orem proving for differential geometry. A complete list of results about Bertrand curvesin metric and affine spaces is derived mechanically. The list includes most of the knownresults of various Bertrand curves. We also derive some new results about Bertrand curves.     

利用有限域上仿射几何构作的一类Cartesian认证码

设 0 相似文献   

(非汉字符号)_n型仿射Weyl群a值5的A_1~5型双边胞腔

通过对D～n 型仿射Weyl群W中a值为 5的一类特殊双边胞腔的左胞腔的描述 ,计算出当n =10时 ,这样的双边胞腔有两个 ,记为Ω1,Ω2 .其中Ω1,Ω2 各含 5 12 =2 9个左胞腔 ;当n≥ 11时 ,这样的双边胞腔只有 1个 ,记为Ω .当n =11时 ,Ω含有 10 2 4个左胞腔 ;当n =12时 ,Ω含有 15 86个左胞腔 ;当n≥ 13时 ,Ω含有 (1/12 0 )(n5- 45n4 2 3 45n3- 5 0 3 5 5n2 48497n - 17470 80 )个左胞腔     

扩充现实技术在工程评价方面的应用

认为扩充现实 ( Augmented Reality,AR)是计算机领域的前沿课题之一 ,它使观察者能够同时看到真实世界以及扩充了真实世界的、来自于计算机模型的信息 ,从而具有更丰富的信息空间 ;与传统的虚拟现实相比 ,它具有更强的真实性 ,大大提高了仿真效率 .首次提出了 AR技术在工程评价方面的应用 ,论证了基于仿射表示的 AR方法及其对工程评价的应用 ,其结果表明 ,AR技术为工程评价开辟了广阔的前景 .     

关于仿射代数簇坐标环的同调维数与krull维数的一个注记

给出了光滑仿射代数簇坐标环R的同调维数与Krull维数之间的关系,即gd(R)=K.dim(R)。     

基于改进角点特征的多传感器图像配准

对模糊和有噪声干扰图像设计的高对比度角点提取算法进行了改进,将角点检测范围限定在高对比度“边缘带”,减少了角点检测范围,在保持角点检测精度的同时,算法效率提高了大约1倍.在点特征匹配阶段,采用归一化互相关初步建立点特征的对应关系,利用马氏距离仿射不变性筛选出正确点对,从而得到图像之间的仿射变换关系,实现图像的自动配准.实验结果证明了此算法的有效性和高效性.     

一种基于二维信息匹配的ASM定位算法

主动形状模型ASM(Active Shape Models)目前在目标对象的定位中得到了广泛的应用。为进一步提高ASM的目标定位精度,在传统ASM方法的基础上,提出了一种基于二维信息匹配的ASM目标定位改进算法。该算法采用以轮廓点为中心的近似圆盘区域的二维灰度信息代替原算法的一维法线灰度信息进行目标轮廓匹配。实验表明与传统ASM算法相比,改进算法的目标定位精度有显著提高。     

惯量张量并矢式及其应用

对惯量张量并矢式进行改造,得到新的惯量张量并矢式.新的并矢式有助于理解惯量张量的不变性.给出算例,计算出匀质长方体刚体对过定点的任意转轴、对其面对角线、体对角线和匀质圆锥体对其母线的转动惯量.     

Global input-to-state stabilization with quantized feedback for discrete-time piecewise affine systems with time delays

In this paper, global input-to-state stabilization with quantized feedback for discrete-time piecewise affine systems （PWA） with time delays are considered. Both feedback with time delays and feedback without time delays are considered. Piecewise quadratic ISS-Lyapunov functions are adopted. Both Lyapunov-Razumikhin and Lyapunov-Krasovskii methods are adopted. The theorems for global input-to-state stabilization with quantized feedback of discrete PWA systems with time delays are