IEEE LATIN AMERICA TRANSACTIONS, VOL. 3, NO.
3, JULY 2005
Construo de Novos Cdigos Ortogonais
pticos por meio de Equaes Diofantinas
A.D. Neto e E. Moschim
Resumo - Duas famlias dos cdigos ortogonais pticos (OOC
- Optical Orthogonal Codes) so construdas de equaes
binrias qurtica e quadrtica parametrizadas. A primeira
famlia de cdigos possui propriedades de correlao ideais e a
segunda famlia possui auto-correlao ideal e correlao
cruzada no ideal. O desempenho desses cdigos apresentado
como funo do nmero de usurios simultneos do sistema
assncrono OCDMA (Optical Code Division Multiple Access).
Os cdigos so propostos e apresentados com exemplos para
ilustrao.
Palavras Chaves - Forma binria qurtica, Forma binria
quadrtica, Equao diofantina, Cdigo Ortogonal ptico,
Funo de correlao
I. INTRODUO
N as ltimas duas dcadas, tem havido um rpido
desenvolvimento na transmisso de dados devido
grande diversificao de servios de telecomunicaes.
Por outro lado, houve uma convergncia no sentido de que
muitos servios podem ser assegurados por uma mesma rede.
Logo, novas tecnologias de rede de alta capacidade, que
possam oferecer vrios servios simultaneamente, se tornam
substanciais. A rede ptica de acesso um conjunto de
tecnologias fotnicas com objetivo de oferecer novos tipos
de servios e usada para conectar estaes a uma rede maior.
Tipicamente, usada para transmitir somente uma frao do
trfego da rede maior.
Uma melhoria adicional nas redes pticas de acesso
consiste no uso da tcnica de acesso mltiplo por diviso de
cdigo (OCDMA) [1]-[16], cuja inerente vantagem consiste
na baixa necessidade de sincronismo e ausncia de converso
eletro-ptica, tornando-se potencial concorrente s demais
tcnicas de mltiplo acesso, pela sua simplicidade e
flexibilidade. Como tal, foi inicialmente projetado para LAN
[17], somente depois para redes de acesso [18]-[21].
Segundo o princpio de espalhamento espectral usado, o
OCDMA se subdivide nas seguintes subcategorias:
seqncias diretas pseudo-ortogonais, tecnicamente
conhecidas como cdigos ortogonais pticos (OOC) [22]-
[23]; cdigos de seqncias diretas bipolares [24]; cdigos de
freqncia ou fase (frequency or phase encoding codes) [25].
Em sistemas OCDMA, cada usurio rotulado por uma
seqncia de um cdigo ( , k , a , c ) OOC , conhecida
como palavra-cdigo. O cdigo ( , k , a , c ) OOC uma
famlia de seqncias unipolares, formadas por (0,1), com
comprimento , peso k, auto-correlao a, fora de pico (off-
peak autocorrelation), e mxima correlao cruzada c.
Devido a natureza positiva do sinal ptico, os cdigos OOC
so unipolares, diferentes das seqncias bipolares (+1,-1)
__________________________________________________________
Os autores pertencem ao Departamento de Semicondutores, Instrumentos e
Fotnica da Universidade Estadual de Campinas (UNICAMP), Brazil.
225
usadas na transmisso e processamento de sinais eltricos. A
auto-correlao e correlao-cruzada so minimizadas para
se obter sincronismo e minimizao da interferncia de
mltiplo acesso (MAI - Multiple Access Interference) no
sistema. Para isso, os cdigos OOC, com =a=c=1, so os
mais apropriados para seqncias de espalhamento. Como
tal, estas precisam possuir determinadas propriedades de
correlao. Seqncias de espalhamento (palavras-cdigo) de
elevado peso proporcionam melhor deteo do sinal desejado
entre a MAI e o rudo. Por outro lado, baixas propriedades de
correlao reduzem a MAI no sistema. Os OOC tambm so
aplicados em reas de comunicaes mveis, em radares e
em sistemas sonar.
Em [1], [5] foram construdos cdigos ( , k , 1) OOC para
sistema assncrono. Porm, sob o requisito de a=c=1 o
nmero de palavras-cdigo limitado e complexo o projeto
do receptor para cancelar a MAI do sistema. A cardinalidade
destes cdigos bastante esparsa em relao ao seu
comprimento. Para aument-la, novas famlias de cdigos
tm sido propostas [11]-[17], com propriedades de correlao
a =1 e c=2.
Em [11] so construdos cdigos timos,
(p 2m - 1, p m + 1, 2) - OOC , com cardinalidade igual a
p m - 2 , onde p um nmero primo qualquer. Em [12] so
apresentados os cdigos ( , k ,1,2) OOC que possuem
limitante superior da cardinalidade, 2( 1) /( k k ) , esta
2
corresponde ao dobro do limitante superior da cardinalidade
dos cdigos ( , k , 1) OOC . Em [13] foram gerados cdigos
do tipo ( , k , 1, 2) OOC com cardinalidade k e k 1 vezes
maior a cardinalidade do cdigo ( , k , 1) OOC , para k < 8
par e mpar, respectivamente.
Em [14], os autores propem cdigos
( , k , 1, 2) OOC baseados em planos projetivos para
construir block designs ( , , 1) , com = 2 + 1 ,
2 < k < , onde potncia de nmero primo mais um
[15]. Neste caso, o desempenho dos sistemas OCDMA,
usando cdigos ( , k , 1, 2) OOC como seqncias de
espalhamento, similar ao de sistemas com aplicao de
cdigos ( , k , 1) OOC . Alm disso, o limitante superior da
cardinalidade dos cdigos ( , k , 1, 2) OOC maior que a
cardinalidade dos cdigos ( , k , 1) OOC . Porm, com
aumento do peso de Hamming dos cdigos ( , k , 1, 2) OOC ,
a sua cardinalidade se reduz. Logo, torna-se impraticvel o
aumento do peso e cardinalidade do cdigo acima de um
dado valor. Uma das tcnicas usadas para contornar esta
situao consiste em relaxar, ainda mais, as propriedades de
correlao do cdigo [26]. Neste trabalho, os autores
apresentam cdigos ( , k , 1, c ) OOC baseados em planos
226 IEEE LATIN AMERICA TRANSACTIONS, VOL. 3, NO. 3, JULY 2005

projetivos para construir block designs ( , , 1) , com comprimento e peso k , uma seqncia com exatamente k
tamanho para 2 c < k < . uns e k zeros.
Mais recentemente, tm sido apresentados os cdigos Definio 1: Um cdigo ( , k , a , c ) OOC , que
multidimensionais (2-D, 3-D) [27]-[30] e os cdigos de designamos daqui em diante por C , uma famlia de
mltiplos comprimentos, , ou comprimento de onda seqncias, formadas por (0,1) , designadas por palavras-
(Multiple-length Multiple-wavelength OOC) [31]. Esse tipo
cdigo, de comprimento , peso k , que satisfaz as seguintes
de cdigo, espera-se que venha a encontrar aplicao em
sistemas com variedade de servios, tais como, dados, voz e propriedades de correlao:
video. Logo, usurios com diferentes requisitos de taxa de bit Propriedade 1: (Auto-Correlao)
e qualidade de servio (QoS) podero ser simultaneamente Seja a palavra-cdigo y = ( y 0 , y1 , y 2 ,..., y 1 ) C , e o
alocados, sendo asseguradas, de forma dinmica, o nmero inteiro n / 0 (mod ) . Ento,
casamento das diferentes taxas de bits e QoS, atravs dos 1
cdigos de diferentes comprimentos [32]-[33]. As pesquisas
tambm se tm dedicado s aplicaes OCDMA em redes
y
m=0
m y m+ n a (1)

genricas de comutao multiprotocolo (GMPLS Propriedade 2: (Correlao-Cruzada)

Generalized Multiprotocol label switching) [34]-[36]. Outras Seja a palavra-cdigo x = ( x 0 , x1 , x 2 ,..., x 1 ) C , x y e o
pesquisas tm apontado para a aplicao dos OOC na
nmero inteiro n . Ento,
transmisso multimdia em redes pticas e em sistemas
1
OCDMA que permitem vrias taxas de bit, [32], [37]-[39].
Portanto, os diversos artigos escritos, sobre cdigos y
m=0
m xm+n c (2)
ortogonais pticos, poucos se dedicam s aplicaes de
Fazendo uso do limitante de Johnson, para cdigos
equaes diofantinas teoria de cdigos pticos. A equao
diofantina uma equao em que os coeficientes so inteiros corretores de erros, com peso constante, a cardinalidade C
e as solues so restritas aos inteiros. Em geral, as equaes do cdigo ( , k , ) OOC possui limitante superior dado
diofantinas admitem vrias solues inteiras. Para encontr- pela expresso
las, no existe, somente um algoritmo capaz de determinar se
1 1 2

a equao tem ou no soluo. Logo, no existe um mtodo ( , k , )
k , (3)
comum para resolver todas as equaes diofantinas. Cada k k 1 k 2

equao possui sua especificidade, o que justifica, em parte,
onde o smbolo x denota a parte inteira do valor real x.
os mais variados mtodos de resoluo de tais equaes.
Estas, embora simples como um interessante ramo da teoria Para = a = c = 1 , esta inequao expressa por
dos nmeros, freqentemente, requerem um conhecimento da 1 1
teoria dos nmeros para resolv-las. ( , k , 1) , (4)
Este artigo focaliza aplicaes de equaes diofantinas k k 1
parametrizadas, pelos elementos do corpo de Galois, na Quando a = 1, e c = 2 , a inequao (3) se reduz a
forma algbrica de cdigos ortogonais pticos para sistemas 1 2
1
pticos CDMA. Neste caso, as solues das equaes se ( , k , 1, 2)
. (5)
concentram na representao de nmeros inteiros usando k 1 k 2
k
equaes quadrticas e qurticas. O artigo ainda desperta Todo cdigo C com cardinalidade mxima chamado de
para o potencial das equaes diofantinas na construo de cdigo timo. Logo, os cdigos cujo total de palavras-cdigo
cdigos pticos. 1 1
Para os objetivos enunciados, o presente artigo est assim C = , (6)
organizado: na seo II, so apresentadas as definies e k k 1
conceitos da teoria de cdigos pticos. Na seo III, tratamos para a = c = 1 , ou expresso pela seguinte equao:
da representao de nmeros inteiros na forma binria 1 1 2
qurtica, em duas variveis, e apresentamos o cdigo C = , (7)
( , k , 1, 1) OOC baseado na equao diofantina qurtica. Na k k 1 k 2
seo IV, usamos a representao de nmeros inteiros na para a = 1 e c = 2 , so chamados cdigos timos. O uso
forma binria quadrtica e introduzimos o cdigo de cdigos OOC timos garante a transmisso da
( , k , 1, 2) OOC baseado em equao diofantina quadrtica. informao, de forma eficiente e segura, para o maior nmero
A seo V fornece a anlise de desempenho dos cdigos de usurios em sistemas assncronos.
propostos . Os resultados numricos, as discusses e a
comparao dos cdigos propostos com outros antes III. CONSTRUO DO CDIGO ( , k ,1,1) OOC
publicados so apresentados na seo VI. Finalmente, a seo
VII insere as concluses. Os apndices contm os detalhes A. Representao de inteiro na forma binria quadrtica
das demonstraes dos teoremas apresentados neste trabalho. Sejam o polinmio F(x,y) um representante de uma dada
forma binria qurtica
II. DEFINIES PRELIMINARES
F(x,y) = ax 4 + 4bx 3 y + 6cx 2 y 2 + 4dxy 3 + ey 4 (8)
Seguem algumas definies formais usadas na teoria dos
e a equao qurtica
OOC [1]-[3], [11], [40]. Sejam , k , a , c nmeros
F(x,y) = m (9)
inteiros positivos. Seja a seqncia, formada por (0,1) , de
NETO AND MOSCHIM : NEW OPTICAL ORTHOGONAL CODES BY USING 227

onde m e os coeficientes a, b, c, d, e so nmeros inteiros e Exemplo 1: Seja p = 5, GF ( p) \ {0} = {1, 2, 4, 3}, e

diferentes de zero. = 2. A Tabela I apresenta o cdigo gerado atravs das
Da teoria de Gauss [41]-[42], as solues da equao (9) equaes (12) e (14), para o primo, p = 5.
requerem conhecer os invariantes de F(x,y) definidos TABELA I
a b c CDIGO (42,2,1,1)-OOC PARA p=5
por g 2 = ae-4bd + 3c ; 2
e g3 = b c d; x Sx Cx Seqncias Binrias
1 {4,16} C1 000010000000000000000 000000000000000010000
c d e 2 {1,20} C2 010000000000000000000 000000000000000000001
e os covariantes de F(x,y) assim definidos 3 {1,19} C3 010000000000000000000 000000000000000000010
4 {5,16} C4 000001000000000000000 000000000000000010000
2 2
F F F F
1x
2 xy 1 x y IV. CONSTRUO DO CDIGO ( , k ,1, 2) OOC
H = ; e G =
144 2 F 2
F 8 H H

xy 2 x y A. Representao de inteiro na forma binria quadrtica

y
A relao entre os invariantes e os covariantes de F ( x, y )
pode ser expressa por meio da equao
G 2 = 4 H 3 g 2 HF 2 g 3 F 3
(10)
= 4( H e3 F )( H e 2 F )( H e1 F )
onde e1 , e 2 , e 3 so solues da equao
4t 3 - g 2 t - g 3 = 0
A busca da soluo (x, y) para a equao diofantina (9), de
ordem qurtica, reduz-se a resolver a equao (11) com uma
incgnita t. A classe de equaes binrias qurticas para
g 2 e g 3 finita, e as condies sob as quais a equao (9)
deve ser reduzida a uma equao do tipo (11) no podem ser
expressas em termos simples. Diversos resultados, entretanto,
podem ser encontrados de forma mais simples por meio de
relaes de congruncia, mais apropriadas s finalidades
computacionais de cdigos.
B. Forma Algbrica do cdigo ( , k ,1,1) OOC
Fazendo uso de relaes de congruncia, ns formulamos as
consideraes da subseo anterior como segue. Seja um
elemento primitivo de GF ( p ) , onde p um nmero primo
mpar, de modo que k = ( p 1) / 2 , = ( + 1) k , a = 1 e
c = 1. A partir dos elementos x no nulos, do corpo de
{
Galois, formado o arranjo S x = x1 , x 2 ,..., xy cujos
elementos so dados pela seguinte equao paramtrica
xy y 4 + s xy (mod p( p ) 2 ) (12)
por meio da equao
s x y + x (mod p),
onde x y 2 y ( mod p ); x x 2 x ( mod p);
= max{ xy } para 1 x p 1, 1 y ( p 1) / 2;
x GF ( p ) \ {0} = {1 , 2 ,..., x } so os elementos no
nulos do corpo de Galois GF ( p).
Cada palavra-cdigo do arranjo S x mapeada em uma
seqncia binria C x = (c x1 , c x 2 ,..., c xm ,..., c x , ) atravs da
equao
1, m = xy + ( y 1) + 1
c xm = (14)
0, fora
Teorema 1: O cdigo, gerado atravs das frmulas (12) e
(14), um cdigo ( , k ,1,1) ortogonal ptico.
A demonstrao do Teorema 1 apresentada no Apndice I.
Sejam o polinmio (15) a forma binria quadrtica
f(x,y) = ax 2 + bxy + cy 2 (15)
e a equao quadrtica
f(x,y) = m, (16)
onde m e os coeficientes a, b, c so nmeros inteiros e
diferentes de zero.
A busca da soluo (x, y) para a equao diofantina (16)
(11)
consiste em encontrar o discriminante D = b 2 - 4ac e
determinar o representante do inteiro m tal que x e y so
primos relativos. O polinmio (15) representa o nmero
inteiro m caso existam os inteiros x, y de modo que
f(x,y) = m. Formas equivalentes possuem o mesmo
discriminante e para um dado discriminante D, existe um
nmero finito de classes equivalentes. Quaisquer duas formas
equivalentes representam um mesmo inteiro. Atravs do
mtodo de soluo da equao (16) que consiste em
encontrar as formas reduzidas tratada a representao de
nmeros inteiros pela forma binria quadrtica. Tais questes
so parte da teoria de Gauss [41]-[42], entretanto muitos
resultados podem ser encontrados de forma mais simples por
meio de relaes de congruncia.
Sem perda de generalidade, seja a equao binria
quadrtica (17)
f(x,y) = ax 2 + cy 2 = m, (17)
} onde m > 0, (ac,m) = 1, (x,y) = 1 e (xy, m) = 1.
A soluo da equao (17), implica na existncia de um
nmero inteiro k que satisfaz a equao
ak 2 + c 0 (mod m), (18)
(13) sob a condio de que o smbolo de Legendre
( ac / p) = 1 para todo nmero primo p que divide m.
e Para todo inteiro M < 2 ac existe a soluo inteira (x,y),
se x 0 e y 0, tal que
f(x,y) = mM, (19)
onde a > 0 e c > 0.
B. Forma Algbrica do Cdigo ( , k ,1, 2) OOC
A partir de relaes de congruncia, ns formulamos as
consideraes da subseo anterior para gerar um cdigo
( , k ,1, 2) OOC como se segue. Seja um elemento
primitivo de GF ( p ), onde p um nmero primo mpar, de
modo que = p(2 p 1), k = p, a = 1 e c = 2. A partir
228 IEEE LATIN AMERICA TRANSACTIONS, VOL. 3, NO. 3, JULY 2005

dos elementos do corpo de Galois x formado o arranjo cdigo. Esta figura apresenta ainda os picos dos lbulos
S x , cujos elementos so dados pela equao paramtrica: laterais com amplitude um, quando o lbulo principal possui
um pico que corresponde ao peso do cdigo, ou seja igual a
s x xy + x (mod 2 p 1 ), (20) trs.
onde x y 2 xy ( mod p), x x 2 x ( mod p ), para
0 x p 1, 1 y p, e x GF ( p) = {1 , 2 ,..., x }
so os elementos no nulos do corpo de Galois GF ( p ).
Cada palavra-cdigo do arranjo S x = {s x1 , s x 2 ,..., s xy }
mapeada em uma seqncia binria que consiste de p blocos
cada com 2( p 1) smbolos binrios, isto ,
C x = (c x 0 , c x1 , c x 2 ,..., c xm ,..., c x , 1 ) C atravs
da equao
1, m = s xy + ( y 1)(2 p 1) + 1
c xm = (21)
0, fora
Teorema 2: O cdigo, gerado atravs das frmulas (20) e
(21) um cdigo ( p (2 p 1), p,1, 2) ortogonal ptico. Fig. 1. Funo de Auto-correlao de C3 para o primo, p=7
A demonstrao do Teorema 2 apresentada no Apndice II. Na Fig. 2 est ilustrada a funo de correlao cruzada
Exemplo 2: Seja p = 5, GF ( p) \ {0} = {1, 2, 4, 3}, e entre as palavras-cdigo C3 e C 4 com lbulos, principal e
= 2. A Tabela II apresenta o cdigo gerado atravs das laterais, limitados ao mximo valor de um. De acordo com a
equaes (20) e (21), para o primo, p = 5. equao (5), as propriedades representadas pelas Fig. 1 e
TABELA II Fig. 2 mostram que o cdigo gerado das equaes (12) e (14)
CDIGO (45,5,1,2)-OOC, PARA P=5 ideal.
x Sx Cx Seqncias Binrias
0 {0,0,0,0,0} C0 100000000 100000000 100000000 100000000 100000000
1 {7,4,4,7,8} C1 000000010 000010000 000010000 000000010 000000001
2 {4,3,3,4,6} C2 000010000 000100000 000100000 000010000 000000100
3 {4,7,7,4,8} C3 000010000 000000010 000000010 000010000 000000001
4 {3,4,4,3,6} C4 000100000 000010000 000010000 000100000 000000100

V. ANLISE DE DESEMPENHO DOS CDIGOS

Assumindo a interferncia de N usurios, estatisticamente
independente, a varincia da interferncia de acesso mltiplo
(MAI - Multiple Access Interference) aproximadamente
igual a ( N 1) 2 onde 2 a varincia mdia sobre todos
os pares de palavras-cdigo de uma famlia de OOC. Assim,
a SNR (signal-to-noise ratio) a relao entre o quadrado do
pico mximo da funo de auto-correlao e o valor mdio
Fig. 2. Funo de Correlao Cruzada entre C3 e C4 para o primo,
da interferncia de acesso mltiplo. Assumindo a MAI
distribuda de forma gaussiana em um sistema OCDMA p=7
somente limitado pela MAI, a probabilidade de erro dada As Fig. 1 e Fig. 2 ainda representam a relao entre a
pela expresso [16] largura dos lbulos, principal e laterais, das funes de
SNR correlao e o comprimento do cdigo que, com aumento de
Pe = Q (22) seu comprimento, a esparsidade (mais chips "0" que chips
2
"1") aumenta e os lbulos das funes de correlao se
onde tornam mais estreitos.
x Devido esparsidade ser uma limitao do cdigo
K2 1 y2
SNR = ; Q( x) = 2 dy
exp ( , k ,1,1) OOC este necessita ser muito longo para garantir
( N 1). 2 2 o sincronismo e minimizar a MAI do sistema OCDMA.
Posto que a cardinalidade do cdigo OOC linear ao seu
VI. RESULTADOS comprimento, conforme a equao (5), a soluo para
As propriedades ideais de um cdigo ( , k ,1,1) OOC se aumentar o tamanho do cdigo consiste em relaxar os
parmetros de correlao do cdigo, ou seja a = 1 e = 2,
fazem necessrias para o processo de sincronismo entre o
transmissor e o receptor e reduzem a probabilidade de erro do e assim poder acomodar mais usurios.
sistema. A Fig. 3 ilustra o desempenho do sistema em termos de
A Fig. 1 ilustra a funo de auto-correlao da palavra- nmero de usurios simultneos, quando so relaxados os
cdigo C3 que possui no mximo somente uma coincidncia parmetros de correlao atravs do cdigo
(2( p 1), p,1, 2) OOC para diferentes primos p. Ainda
(sobreposio) para todo deslocamento de chip, exceto no
deslocamento zero onde o valor da funo igual ao peso do
NETO AND MOSCHIM : NEW OPTICAL ORTHOGONAL CODES BY USING 229

nesta figura, comparamos os cdigos propostos com os 1, m = xy + ( y 1) + 1

cdigos EQC, antes publicados [10]. fm = (24)
0, fora
Para demonstrar a primeira parte do teorema precisamos
provar que toda palavra-cdigo C x possui a = 1. Para
simplificar a notao a equao (23) reescrita na seguinte
forma
1 1 1
Z x, x = c m c m + n = c00
2
f m f m+n = f m f m+n
m ,n =0 m,n =0 m ,n =0
(25)
1
Se n = 0 ento Z x , x = f
m=0
2
m. Como f m2 = f m logo

1
Z x, x = f
m =0
m = ( p 1) / 2.

Se n 0 a operao de somatrias na expresso (25)

Fig. 3. Probabilidade de Erro versus Nmero de Usurios transforma Z x , x em
Simultneos para diferentes primos p
1 2
Pode-se notar que, para uma mesma famlia, p, os cdigos 1 1
Z x, x = f m f m + n = f m f m2 (26)
OOC propostos apresentam melhor desempenho, para o m ,n 0 m m
mesmo nmero de usurios simultneos, em relao aos Para uma forma algbrica f que representa um nmero
cdigos EQC, para valores da BER 10 9. Os cdigos inteiro n existe outra forma algbrica g equivalente a
propostos podem alocar p usurios simultneos, por outro
f tal que os coeficientes de g esto em f [41]. Logo, sem
lado, os cdigos EQC possuem p 1 usurios simultneos.
perda de generalidade, a expresso (26) pode ser
Embora ambos os cdigos sejam gerados de construes representada por uma equao equivalente da forma
algbricas, os cdigos hora propostos possuem construo
algbrica mais simples. Portanto, para sistemas assncronos k 2 k = r, (27)
cujo desempenho principalmente limitado pela MAI o onde r + . A equao (27) do segundo grau em k , com
cdigo proposto pode, apropriadamente, ser empregado. determinante D = 1 + 4r , cujas razes so k1 = 1 + ( )
D /2 e
VII. CONCLUSES ( )
k 2 = 1 D / 2. A raiz k 2 perde o seu significado, para o
Neste artigo so fornecidas as construes algbricas para nmero de solues da equao (26), posto que a auto-
duas novas famlias de cdigos ortogonais pticos baseadas correlao 0 Z x , x a . Como a equao (27) possui
em equaes binrias qurtica e quadrtica parametrizadas. somente uma raiz significativa, qualquer palavra-cdigo C x ,
Os cdigos propostos possuem estrutura algbrica simples e para todo deslocamento no tempo, tambm possui somente
lbulos laterais da funo de auto-correlao sempre inferior uma sobreposio (um chip coincidindo) com a sua prpria
a um, enquanto os lbulos laterais da funo de correlao verso no deslocada no tempo. Assim, a exigncia da auto-
cruzada esto limitados a um valor mximo de dois. Estes
correlao a = 1 est provada.
cdigos podem servir a p diferentes usurios em um sistema
Sejam C = (c 0 , c 1 , c 2 ,..., c xm ,..., c , 1 ) C a
assncrono OCDMA.
Os resultados mostraram que os cdigos ortogonais ticos sima palavra-cdigo de C, a palavra-cdigo C x , como
propostos podem ser modelados por equaes diofantinas, antes definida, e x . Seja a correlao cruzada, entre
estas capazes de gerar a informao numrica necessria. Os qualquer par de diferentes palavras-cdigo C x e C ,
resultados do presente artigo estendem os trabalhos
precedentes em cdigos ortogonais pticos e apontam para o definida pela expresso
1 1
potencial das equaes binrias de diofantina na construo
de cdigos ortogonais pticos. Z x , = c c
xm , m + n (28)
m =0 n =0

APNDICE I Assumindo cm = c 00 g m o m-simo smbolo de C , onde a

Demonstrao do Teorema 1 funo g m corresponde a seguinte expresso

Seja C x = (c x 0 , c x1 , c x 2 ,..., c xm ,..., c x , 1 ) C a x- 1, m = jy + ( y 1) + 1
gm = (29)
sima palavra do cdigo C cuja funo de auto-correlao 0, fora
definida pela seguinte expresso Nesta parte do teorema, precisamos provar que a
1 1 correlao cruzada c = 1, para qualquer par de diferentes
Z x, x = c xm c x ,m + n (23) palavras-cdigo de C.
m =0 n =0
Para simplificar a notao, a equao (28) reescrita na
onde o m 1, o n 1. Seja tambm c xm = c 00 f m seguinte forma
o m-simo smbolo binrio de C x onde c 00 = 1 e
230 IEEE LATIN AMERICA TRANSACTIONS, VOL. 3, NO. 3, JULY 2005

1 1 Para demonstrar que c = 2 ns mostramos que no existe

Z x , = cO2 0 f m g m+n = f m g m+n (30)
m = m tal que m M Cx , 2 e m M Cx , 2 para um par de
m ,n =0 m,n =0
Fazendo uso da seguinte operao somatria diferentes palavras-cdigo Cx e C x' , ou seja,
M
M
M M C x , 2 M C x' , 2 = 0/ .
x y i j = xi y j (31)
Sejam C x e C x' duas palavras-cdigo diferentes. Seja
i, j i j
M Cx , 2 o arranjo de inteiros definido pela seguinte equao
vlida para qualquer nmero inteiro M ns obtemos
1 1 q0

q1
Z x , =

f m

g m + n .

(32) M Cx , 2 = t y j0 , t y j1

(36)
m =0 n =0 j0 =0 j1 = q0 +1
Sem perda de generalidade, a equao (32) pode ser onde 0 q 0 q1 k 1, e y = 1,2,..., k .
representada por uma equao do tipo
k 1
k 2 = r, (33) Reescrevendo M Cx , 2 na forma de matriz com
2
onde r + , cujas razes somente uma k1 = r
linhas e k colunas, cada um de seus elementos
significativa para a correlao cruzada 0 Z x , c . Como
m jy = [ a 0 , a1 ] possui componentes definidos pelas seguintes
a equao (33) possui somente uma raiz significativa. Logo,
equaes
qualquer par de diferentes palavras-cdigo C x e C possui
a 0 = d 0 (2 p 1) + s xb s xc
somente uma sobreposio, para todo deslocamento no 0 0

tempo. Assim, a exigncia da correlao cruzada c = 1 est (37)

a = d (2 p 1) + s s
encontrada. Logo, o teorema fica provado.  1 1 xb1 xb0

onde
APNDICE II p + b0 c0 , b0 < c0 p + b1 b0 , b1 < b0
Demonstrao para o Teorema 2
d0 = d1 =
A demonstrao do teorema 2 est baseada no conceito de b c , b b ,
0 0 b0 c0 1 0 b1 b0
atraso cclico relativo entre chips 1 adjacentes da palavra-
cdigo e usa os lema 1 para auto correlao e lema 2 para k 1
correlao cruzada, apresentados em [40]. 1 j .
2
Seja t C x = [t x1 , t x 2 ,..., t xy ] o arranjo que contm os atrasos
Para simplificar a notao, usaremos as letras m e m para,
relativos entre todos os chips 1 adjacentes de C x . Cada respectivamente, designarem m jy e m jy . Conforme a
elemento de t C x definido pela seguinte equao equao (37), cada elemento m possui somente um inteiro
(2 p 1) + s xy +1 s xy 1 y p 1 s xy comum aos componentes a 0 e a1 . Sem perda de
t xy = . (34)
(2 p 1) + s x1 s xy y= p generalidade, vamos assumir que este inteiro seja s xb0 . Para
Seja definida a matriz R C x = [rqy ] , com k 1 linhas e k que m = m seja vlido, so requeridas as seguintes
condies:
colunas, cujos elementos rqy so definidos conforme a
a) Os elementos m e m devem estar na mesma linha
seguinte equao da matriz M Cx , 2 , ou seja, q 0 e q1 so comuns aos
q 1
rqy = = q (2 p 1) + s xq y s xy elementos m e m ;
t
k 0 =0
y k0 (35)
b) O sistema de equaes
onde 1 q k 1 o smbolo denota a operao de s xb0 s xc 0 = s ' xb0 s ' xc 0

s
adio mdulo k . xb1 s xb 0 = s ' xb1 s ' xb0
Na primeira parte da demonstrao, precisamos provar que
precisa ser vlido. Porm, este sistema ser vlido somente
qualquer elemento da matriz RC x aparece nela somente uma
quando s xc0 s ' xc0 = s xb1 - s ' xb1 , para todos os m e m na
vez.
Qualquer elemento, em uma mesma linha q da matriz mesma linha de M Cx , 2 o que significa as palavras-cdigo
R Cx , diferente de todos os outros e possui o fator Cx e C x' serem iguais violando assim a condio inicial de
q(2 p 1), conforme a equao (35). Logo, qualquer que Cx e C x' so diferentes. Portanto, m =/ m para todas as
elemento em linhas diferentes da matriz R Cx diferente de linhas e assim M C x , 2 M C x' , 2 = 0/ Logo a exigncia da

todos os outros e conseqentemente aparece somente uma
{
vez. Sendo o arranjo t C x : 0 x p 1 todos distintos,
ento todas as matrizes R Cx tambm so diferentes e assim,
a auto-correlao a = 1 para todas as palavras-cdigo C x .
correlao cruzada c = 2 est provada concluindo a
} demonstrao do teorema. 
AGRADECIMENTOS
Os autores expressam os seus mais sinceros
agradecimentos aos revisores e a todos quantos colaboraram
em favor deste artigo.
NETO AND MOSCHIM : NEW OPTICAL ORTHOGONAL CODES BY USING
REFERNCIAS BIBLIOGRFICAS
[1] F. Chung, J. A. Salehi, V. K. Wei, Optical orthogonal codes: Design,
analysis and applications, IEEE Trans. Inform. Theory, vol. 35, no. 3,
pp. 595 - 604, Mar., 1989.
[2] J. A. Salehi, Code division multiple access techniques in optical fiber
networks - Part I: Fundamental principles, IEEE Trans. Commun., vol.
37, no. 8, pp. 824-833, Aug., 1989.
[3] J. A. Salehi, C. Brackett, Code division multiple access techniques in
optical fiber networks - Part II: Systems performance analysis, IEEE
Trans.Commun., vol. 37, no. 8, pp. 834 - 842, Aug., 1989.
[4] M. Azizoglu, J. A. Salehi, Y. Li, Optical CDMA via temporal codes,
IEEE Trans. Commun., vol. 40, no. 7, pp. 1162 - 1170, July, 1992.
[5] Y. Chang, R. Fuji-Hara, Y. Miao, Combinatorial Constructions of
optimal Optical orthogonal codes with weigth 4, IEEE Trans. Inform.
Theory, vol. 49, no. 5, pp. 1283-1292, May., 2003.
[6] R. Fuji-Hara, Y. Miao, Optical orthogonal codes: Their bounds and
new optimal constructions, IEEE Trans. Inform. Theory, vol. 46, pp.
2396-2406, Nov. 2000.
[7] G.-C. Yang, Variable-weight optical orthogonal codes for CDMA
networks with multiple performance requirements, IEEE Trans.
Commun., vol. 44, pp. 47-55, Jan. 1996.
[8] S. Bitan, T. Etzion, Constructions for optimal constant weight
cyclically permutable codes and difference families, IEEE Trans.
Inform. Theory, vol. 41, pp. 77-87, Jan. 1995.
[9] J.-G. Zhang, Design of a special family of opticalCDMAaddress codes
for fully asynchronous data communications, IEEE Trans. Commun.,
vol. 47, pp. 967-973, July 1999.
[10] S.V. Maric, M.D. Hahm, E. L. Titlebaum, Construction and
performance analysis of a new family of optical orthogonal codes for
CDMA fiber-optic networks, IEEE Trans. Commun., vol. 43, pp. 485-
489, Feb. 1995.
[11] H. Chung, P. V. Kumar, Optical orthogonal codes - New bounds and
an optimal construction, IEEE Trans. Inform. Theory, vol. 36, pp.
866-873, July, 1990.
[12] G.-C. Yang, T. E. Fuja, Optical orthogonal codes with unequal auto
and cross-correlation constraints, IEEE Trans. Inform. Theory, vol. 41,
pp. 96-106, Jan. 1995.
[13] G.-C. Yang, Some new families of optical orthogonal codes for
codedivision multiple-access fiber-optic networks, IEE Proc.
Commun., vol. 142, pp. 363-368, Dec. 1995.
[14] C.-S. Weng, J. Wu, Optical orthogonal codes with nonideal
crosscorrelation, J. Lightwave Technol., vol. 19, pp. 1856-1863, Dec.
2001.
[15] C.-S. Weng, J. Wu, Perfect difference codes for synchronous fiber-
optic CDMA communication systems, J. Lightwave Technol., vol. 19,
pp. 186-194, Feb. 2001.
[16] A. D. Neto, E. Moschim, Some Optical Orthogonal Codes for
asynchronous CDMA Systems, Proccedings of IEEE
GlOBECOM'2002, vol.3, pp. 2065 - 2068, Taiwan, Nov., 2002
[17] P. Prucnal, M. Santoro, T. Fan, Spread Spectrum Fiber Optic Local
Area Network Using Optical Processing, IEEE/OSA, J. Lightwave
Technol., LT- 4, no. 5, pp. 547-554, May, 1986.
[18] T. Pfeiffer, B. Deppisch, M. Witte, R. Heidemann, Optical CDMA
transmission for robust realization of complex and flexible multiple
access networks, in Proc. Optical fiber Commun. Conf. (OFC'99),
Paper WM51, pp. 344-346.
[19] T. Pfeiffer, B. Deppisch, M. Witte, R. Heidemann, Optical stability of
a spectrally encoded optical CDMA system using inexpensive
transmitter without spectral control, IEEE Photon Technol. Lett., vol.
11, pp. 916 - 918, July 1999.
[20] T. Pfeiffer, J. Kissing, J.-P. Elbers, B. Deppisch, M. Witte, H.
Schmuck, E. Voges, Coarse WDM/CDM/TDM concept for optical
packet transmission in metropolitan and access networks supporting
231
400 channels at 2.5 Gb/s peak rate, IEEE J. Lightwave
Technol.(Special Issue on Optical Networks)}, vol. 8, pp. 1928 - 1938,
Dec. 2000.
[21] A. Stok, E. H. Sargent, The role of optical CDMA in access
networks, IEEE Commun. Mag., pp. 83 - 87, Sept. 2002.
[22] F. Khansefid, H. Taylor, R. Gagliardi, Design of (0,1) sequence Sets
for Pulsed Coded System, Univ. Southern California Rep., CSI-88-03-
03, Mar. 3, 1988.
[23] S. Zahedi, J. A. Salehi, Analytical comparation of various fiber-optic
CDMA receiver structures, IEEE J. Lightwave Technol., vol. 18, pp.
1718-1727, Dec., 2000.
[24] T. OFarrell, S. Lohmann, Performance analysis of an
optical correlator receiver for SIK DS-CDMA communications
systems, Electron. Lett., vol. 30, no. 1, pp. 63-65, Jan., 1994.
[25] J. A. Salehi, A. M. Weiner, J. P. Heritage, Coherent ultrashort
lightpulse code-division multiple access communications systems,
IEEE/OSA J.Lightwave Technol., vol. 8, no. 3, pp. 478 - 491, Mar.,
1990.
[26] C.-S. Weng, J. Wu, Optical orthogonal codes with large cross-
correlation and their performance bound for optical asynchronous
CDMA systems, IEEE J. Lightwave, vol. 21, no. 3, pp. 735 - 742,
Feb., 2003.
[27] A.J. Mendez, R. M. Gagliardi, V. J. Hernandez, C. V. Bennett, W. J.
Lennon, High-performance optical CDMA system based on 2-D
optical orthogonal codes, IEEE J. Lightwave, vol. 22, no. 11, pp.
2409 - 2419, Nov., 2004.
[28] R. M. H. Kim, L. R. Chen, J. Bajcsy, Design and performance of 2D
codes for wavelength-time optical CDMA, IEEE Photon Technol.
Lett., vol. 14, pp. 714 - 716, May, 2002.
[29] G. C. Yang, W. C. Kwong, Two-dimensional spatial codes signature
patterns, IEEE Trans. Commun., vol. 44, pp. 184 -191, Feb., 1996.
[30] R. N. Nogueira, P. S. Taluja, A. L. X. Texeira, P. S. B. Andre, J. F.
Rocha, J. L. Pinto, New technique for implementing multiwavelength
orthogonal codes for OCDMA using fiber Bragg gratings written in high
birefringence fibers, in Proc. 16th Annu. Meeting IEEE Lasers Electro-
Optics Society (LEOS'03), vol. 2, Paper WI2, pp. 545 - 546, Oct., 2003.
[31] W. C. Kwong, G.-C. Yang, Multiple-length multiple-wavelength
optical orthogonal codes for optical CDMA systems supporting
multirate services, IEEE J. Select. Areas Commun., vol. 22, no. 9, pp.
1604 - 1647, Nov., 2004.
[32] W. C. Kwong, G.-C. Yang, Design of Multilength Optical Orthogonal
Codes for Optical CDMA Multimedia Networks, IEEE Trans.
Commun., vol. 50, no. 8, pp.1258 - 1265, Aug., 2002.
[33] G.-C. Yang, S.-Y. Lin, W. C. Kwong, MFSK/FH-SSMA wireless
systems with double-media services over fading channels, IEEE Trans.
Veh. Technol., vol. 49, pp. 900 - 910, May, 2000.
[34] K.-I.Kitayama, N. Wada, H. Sotobayashi, Architectural considerations
for photonic IP router based upon optical code correlation, IEEE J.
Lightwave Technol.(Special Issue on Optical Networks), vol. 18, pp.
1834 - 1844, Dec. 2000.
[35] N. Wada, H. Harai, F. Kubota, 40 Gb/s interface, optical code based
photonic packet switch prototype, in Proc. Optical fiber Commun.
Conf. (OFC'03), Paper FS7, pp. 801-802.
[36] D. Gurkan, S. Kumar, A. Sahin, A. Willner, K. Parameswaran, M. Feier,
D. Starodubov, J. Bannister, P. Kamath, J. Touch, All optical
wavelength and time 2-D code converter for dynamically-reconfigurable
O-CDMA networks using a PPLN waveguide, in Proc. Optical fiber
Commun. Conf. (OFC'03), Paper FD6, pp. 654 - 656.
[37] S. J. Lee, H. W. Lee, D. K. Sung, Capacities of single-code and
multicode DS-CDMA systems accommodating multiaccess services,
IEEE Trans. Veh. Technol., vol. 48, pp. 123 - 1326, May, 1999.
232 IEEE LATIN AMERICA TRANSACTIONS, VOL. 3, NO. 3, JULY 2005

[38] F. -R. Gu, J. Wu, Construction and performance analysis of variable-

weight optical orthogonal codes for asynchronous optical CDMA
systems, J. Lightwave Technol., vol. 23, no. 2, pp. 740-748, Feb., 2005.

[39] S. V. Maric, V. K. N. Lau, Multirate fiber-optic CDMA: System design

and performance analysis, J. Lightwave Technol., vol. 16, pp. 9 - 17,
Jan., 1998.

[40] G.-C. Yang, Some new families of optical orthogonal codes for code-
division multiple-access fiber-optic networks, IEEE Trans. Commun.,
vol. 142, no 6, pp. 363-368, Dec. 1995.

[41] T. Nagell, Introduction to Number Theory, 2 ed., Chelsea, New York,

1981.

[42] A. Hurwitz, Lectures on Number Theory, Springer-Verlag, New

York, Chapter 6, pp. 157 - 264, 1986.

BIOGRAFIAS DOS AUTORES

Adriano Domingos Neto aluno de doutorado da
Unicamp (Brasil), ligado ao Departamento de
Semicondutores, Instrumentos e Fotnica. Graduou-se
em engenharia eltrica no Instituto Politcnico de
Odessa, Repblica da Ucrnia, em 1986, concluiu o
mestrado na FEEC da Unicamp (1998). Antes de
iniciar sua carreira docente na faculdade de engenharia
da Universidade Agostinho Neto (UAN), em Luanda
(Angola) no ano de 1992, atuou na aeronutica como
engenheiro. Suas pesquisas se concentram nas reas de
sistemas de transmisso por fibras pticas,
espalhamento espectral e comunicaes via satlite.

Edson Moschim professor titular da Faculdade de

Engenharia Eltrica e de Computao (FEEC), ligado
ao Departamento de Semicondutores, Instrumentos e
Fotnica, de que chefe atualmente. Graduou-se em
engenharia eltrica na Universidade Santa Ceclia
(Unisanta, 1977), realizou mestrado na FEEC da
Unicamp (1983) e doutorou-se em eletrnica na
Universit Paris XI, 1989, na Frana. Antes de iniciar
sua carreira docente na Unicamp, atuou na Petrobrs
nos anos de 1974 e 1975 e foi pesquisador da Fundao Tropical de
Pesquisas Andr Tosello de 1982 a 1985. Suas pesquisas se concentram nas
reas de tecnologia fotnica e sistemas de transmisso por fibras pticas,
com desenvolvimento experimental em redes fotnicas de comunicao.