正交频率方地组合构造和新地下界表.pdf

正交频率方的组合构造和新的下界表 =辅助设计 二辅助设计 为建立本文结果，我们需要若干类型的辅助设计及有关的存在性结果． 本节我们对此作一介绍． 的一个划分，9的元素叫作组；8是x的某些子集的集合，目的元素叫作 区组，这个三元组满足以下四个条件： 1．对任意的B∈B，都有lBI 2．对任意的G∈9，都有JG{ n 3．对任意的B∈8与任意的G∈9，都有IBGl≤1； 4 x中任意两个取自不同组的元素恰好同时包含在A个区组中 类满足x中的任一元素在这个类中恰好出现。次，则称这个类为此横截设 计的一个n．平行类．若TDa(☆，礼)的区组恰可以划分为若干“一平行类，则称 此横截设计是。一可分解的．1一可分解的横截设计简称为可分解横截设计， 记作RTD^(k，n)． X 正交阵列OAA(自，n)是一个扎元集x上的kAn2阵列，满足任意两行 对应位置上的值组成的序对(i，J)恰出现A次．如果此正交阵列可划分成n“ 个k×等子阵，使x中任意元素在k×A。_n子阵的每行中恰出现＆次，则称 此正交阵列为n一可分解的． 的集合．D的一个平行类是由D中若干区组组成的一个类，它满足x中的 元素在这个类中恰好出现一次．口包含自n个大小为加的区组，口可划分 成k个平行类，且满足不同平行类的区组恰好交于A个元． 关于横截设计，正交阵列和net，我们有如下等价定理． 定理2．1([5])设k与n为给定正整数，k≥2．则下述命题彼此等价 1．存在正交阵列OA^蹶扎)； 2．存在(n，≈；A)～net； 3．存在横截设计TD^(☆，n)． 3 正交频率方的组合构造和新的下界表 二辅助设计 将两两正交拉丁方的元进行一些特定的替换可以得到正交频率方组 ‘ 我们给出如下引理． 引理2．2若存在TD玉(r，m)和tMOLS()、m)，则存在一组Am阶的正交频率 方，它包含sMOLS(Am)和(t—s)rMOFS(Am；A)，其中s是任意小于t的整 数． 记它的平行类集合为F={C。，Q，…，G)．每个平行类由区组BmB涵…，B。。 合，我们不妨设拉丁方中Am个不同元恰为x中的Am个点：1，2，…，Am． 取r中任一平行类G和{￡州，…，厶}中任一拉丁方L。我们以如下方式定 义方阵R，：将岛中的元素替换成若干新元， O-i：{1，2，‘一，Am}—÷{i，2，…，m， 吼(z)=h，X∈鼠h，1墨h≤m． 显见，这样定义的方阵％是一个频率方Fnm；A)．下面我们分两种情 况证明按上述方式定义的任两个不同的频率方只。和R。是正交的． 』．Jl≠J2的情况： 考虑只，，。和Fi。，：在对应位置上的值组成的序对(＆，卢)．因为存在B讪。∈ L，。在对应位置上(n+，∥)恰出现一次，从而只。，。和R。在对应位置上(。，卢) 恰出现A-A=A2． 2．，1=J2的情况： 若Jt=J。，则必有i，≠i：．此时毋。，。和只。，：中的元素是由同一拉丁方中 的元素通过不同映射得到的．仍旧考虑只。，，和只。，：在对应位置上的值组成 的序对(。，卢)，设OL由G。中的区组鼠，n，映射而来，卢由G。中的区组甄。n。 映射而来．由于net中相异平行类区组交于击个点，故f蜀。n。n琶ml=熹，也 就是说岛。的每行恰有击个元素通过映射吼。变成o，通过映射a。变成卢．由 于岛，有Am行，故(OL，p)恰出现皇·Am=A2次． 综合』，2我们知道只m和只。。正交．由％的定义方式，我们可以得到 (t—s)rMOFS(3,m；A)． 最后，我们证明对任意L∈{L¨一，工。}，L与上述最，也正交．考虑_L和Ft， 在对应位置上的值组成的序对(％卢)．因为存在B讹∈G使吼(卢’)=卢，卢’∈Bi¨ 而三和岛在对应位置上(。，声’)恰出现一次，因此(o，声)恰出