Symbolic computation for DS-CDMA code acquisition using first order logic

Research output: Chapter in Book/Report/Conference proceedingChapter

Abstract

Code division multiple access (CDMA) is widely used because of its effectiveness to send multiple signal and confidentiality of career signal. We present a formulation of state-space problem of which solution is directed by redundant reasoning control method for semiheuristic and lightweight DS-CDMA code acquisition. The reasoning of the state-space problem provides us with the way to find a K bit synchronized sequence among K dephased sequences with less calculation cost, compared with serial search and matched filter. In this process, redundancy-restriction method, called weighting strategy, enhances the searching ability of FOL (first order logic) reasoning for the faster and lightweight code acquisition. The combination of weighting strategy and correlator enables us to achieve the peak-detection within K/3 times of calculating inner products and its measurement. Our system is evaluated by the reduced cost of proving state-space problem using weighting strategy and its robustness of using the proposal code acquisition framework. Experiment shows that the proposal method is robust if K/N sequences are grouped with N ranging from 3 to 5.

Original languageEnglish
Title of host publicationIntellectual Property Protection for Multimedia Information Technology
PublisherIGI Global
Pages241-250
Number of pages10
ISBN (Print)9781599047621
DOIs
Publication statusPublished - 2007

Fingerprint

Code division multiple access
Matched filters
Correlators
Redundancy
Costs
Experiments

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Ando, R., & Takefuji, Y. (2007). Symbolic computation for DS-CDMA code acquisition using first order logic. In Intellectual Property Protection for Multimedia Information Technology (pp. 241-250). IGI Global. https://doi.org/10.4018/978-1-59904-762-1.ch011

Symbolic computation for DS-CDMA code acquisition using first order logic. / Ando, Ruo; Takefuji, Yoshiyasu.

Intellectual Property Protection for Multimedia Information Technology. IGI Global, 2007. p. 241-250.

Research output: Chapter in Book/Report/Conference proceedingChapter

Ando, R & Takefuji, Y 2007, Symbolic computation for DS-CDMA code acquisition using first order logic. in Intellectual Property Protection for Multimedia Information Technology. IGI Global, pp. 241-250. https://doi.org/10.4018/978-1-59904-762-1.ch011
Ando R, Takefuji Y. Symbolic computation for DS-CDMA code acquisition using first order logic. In Intellectual Property Protection for Multimedia Information Technology. IGI Global. 2007. p. 241-250 https://doi.org/10.4018/978-1-59904-762-1.ch011
Ando, Ruo ; Takefuji, Yoshiyasu. / Symbolic computation for DS-CDMA code acquisition using first order logic. Intellectual Property Protection for Multimedia Information Technology. IGI Global, 2007. pp. 241-250
@inbook{5ecd27a4b79a42b4843ccef0f72cf6d6,
title = "Symbolic computation for DS-CDMA code acquisition using first order logic",
abstract = "Code division multiple access (CDMA) is widely used because of its effectiveness to send multiple signal and confidentiality of career signal. We present a formulation of state-space problem of which solution is directed by redundant reasoning control method for semiheuristic and lightweight DS-CDMA code acquisition. The reasoning of the state-space problem provides us with the way to find a K bit synchronized sequence among K dephased sequences with less calculation cost, compared with serial search and matched filter. In this process, redundancy-restriction method, called weighting strategy, enhances the searching ability of FOL (first order logic) reasoning for the faster and lightweight code acquisition. The combination of weighting strategy and correlator enables us to achieve the peak-detection within K/3 times of calculating inner products and its measurement. Our system is evaluated by the reduced cost of proving state-space problem using weighting strategy and its robustness of using the proposal code acquisition framework. Experiment shows that the proposal method is robust if K/N sequences are grouped with N ranging from 3 to 5.",
author = "Ruo Ando and Yoshiyasu Takefuji",
year = "2007",
doi = "10.4018/978-1-59904-762-1.ch011",
language = "English",
isbn = "9781599047621",
pages = "241--250",
booktitle = "Intellectual Property Protection for Multimedia Information Technology",
publisher = "IGI Global",

}

TY - CHAP

T1 - Symbolic computation for DS-CDMA code acquisition using first order logic

AU - Ando, Ruo

AU - Takefuji, Yoshiyasu

PY - 2007

Y1 - 2007

N2 - Code division multiple access (CDMA) is widely used because of its effectiveness to send multiple signal and confidentiality of career signal. We present a formulation of state-space problem of which solution is directed by redundant reasoning control method for semiheuristic and lightweight DS-CDMA code acquisition. The reasoning of the state-space problem provides us with the way to find a K bit synchronized sequence among K dephased sequences with less calculation cost, compared with serial search and matched filter. In this process, redundancy-restriction method, called weighting strategy, enhances the searching ability of FOL (first order logic) reasoning for the faster and lightweight code acquisition. The combination of weighting strategy and correlator enables us to achieve the peak-detection within K/3 times of calculating inner products and its measurement. Our system is evaluated by the reduced cost of proving state-space problem using weighting strategy and its robustness of using the proposal code acquisition framework. Experiment shows that the proposal method is robust if K/N sequences are grouped with N ranging from 3 to 5.

AB - Code division multiple access (CDMA) is widely used because of its effectiveness to send multiple signal and confidentiality of career signal. We present a formulation of state-space problem of which solution is directed by redundant reasoning control method for semiheuristic and lightweight DS-CDMA code acquisition. The reasoning of the state-space problem provides us with the way to find a K bit synchronized sequence among K dephased sequences with less calculation cost, compared with serial search and matched filter. In this process, redundancy-restriction method, called weighting strategy, enhances the searching ability of FOL (first order logic) reasoning for the faster and lightweight code acquisition. The combination of weighting strategy and correlator enables us to achieve the peak-detection within K/3 times of calculating inner products and its measurement. Our system is evaluated by the reduced cost of proving state-space problem using weighting strategy and its robustness of using the proposal code acquisition framework. Experiment shows that the proposal method is robust if K/N sequences are grouped with N ranging from 3 to 5.

UR - http://www.scopus.com/inward/record.url?scp=84901526187&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84901526187&partnerID=8YFLogxK

U2 - 10.4018/978-1-59904-762-1.ch011

DO - 10.4018/978-1-59904-762-1.ch011

M3 - Chapter

SN - 9781599047621

SP - 241

EP - 250

BT - Intellectual Property Protection for Multimedia Information Technology

PB - IGI Global

ER -