Các công trình nghiên cứu, phát triển và ứng dụng CNTT-TT

Cỏc cụng trỡnh nghiờn cu, phỏt trin v ng dng CNTT-TT Tp V-1, S (28), thỏng 12/2012 Mc lc Tỏc gi Tờn bi Trang Trn Minh Tõn Nguyn Vn Tam Nõng cao hiu qu bo mt cho h thng tờn Vn Tun Phm Vn t Mt thut toỏn giu tin nh cú bng mu 14 Lu Hng Dng Phỏt trin thut toỏn mt mó khúa cụng khai da trờn h mt Elgamal 22 Mai Th Nh Nguyn Duy Phng Mt phng phỏp lc cng tỏc da trờn mụ hỡnh th hai phớa 26 Nguyn c Quang, Phm Hng Liờn v Lu Thanh Tr Gii phỏp s dng b lc thớch nghi Kalman cho h thng c lng kờnh truyn WiMAX di ng 35 Nguyn Th Thu Hng Lờ Ngc Minh ng dng phm liờn kt dch mỏy Vit Anh 44 Cao Hu Tỡnh V Ha Tin Nguyn Cụng nh Kho sỏt h thng t ng n nh trờn khoang tờn la iu khin bng phng phỏp gas-ng mụmen 57 Danh sỏch phn bin Chuyờn san s 28 63 -3- Cỏc cụng trỡnh nghiờn cu, phỏt trin v ng dng CNTT-TT Tp V-1, S (28), thỏng 12/2012 Contents Authors Paper name Page Tran Minh Tan Nguyen Van Tam Security Enhancement for Domain Name System Do Van Tuan Pham Van At A New Data Hiding Algorithm in Palette Images 14 Luu Hong Dung Development of Public Key Cryptographic Algorithm Based On Elgamal Cryptosystem 22 Mai Thi Nhu Nguyen Duy Phuong A collaborative Filtering Method Based on Bipartite Graph Model 26 Solution of Applying Adaptive Kalman Filter for Channel Estimation in Mobile WiMAX System 35 Nguyen Thi Thu Huong Le Ngoc Minh Application of Link Grammar Formalism in Vietnamese English Translation 44 Cao Huu Tinh Vu Hoa Tien Nguyen Cong Dinh The Investigation on Automatic Stability System of Missile with Lateral Impulsive Thrust 57 Nguyen Duc Quang Pham Hong Lien Luu Thanh Tra List of Paper Reviewers of Special Issue No.28 63 -4- Cỏc cụng trỡnh nghiờn cu, phỏt trin v ng dng CNTT-TT Tp V-1, S (28), thỏng 12/2012 Nõng cao hiu qu bo mt cho h thng tờn Security Enhancement for Domain Name System Tn Minh Tõn v Nguyn Vn Tam Abstract: Domain Name Server (DNS) system, a root source providing answers with IP addresses for any request for domain names, is regarded as the most important part of Internet DNS system also plays a very important part of cryptography analytic infrastructure of Internet Any change made to DNS system can make the system fall into malfunction, boosting complexity levels in dealing with triggered issues [2,11] Therefore, security for DNS is a vital must For the time being, RSA algorithm [6,12] has become the de factor standard for DNS security However, RSA requires a longer key length of more than 1000 bits [10,15], affecting performance efficiency of DNS system Hence, elliptic curve cryptography or ECC is regarded as an alternative mechanism for implementing public-key cryptography The ECC is expected to be used not only in new generation mobile devices [13] but also in DNS system in the near future as ECC requires shorter key length than RSA but providing the same security level This paper focuses on introducing ECC and new findings related to this mechanism such as key pair generation algorithms, key transfer, encryption and decryption in ECC, as well as findings of the trial on the Vietnam national domain name system dot VN; these findings aims to apply for certification domain name data transfer for the DNS system of a country and compare with the same method in RSA algorithm I GII THIU Bo mt cho cỏc h thng mng Internet núi chung v h thng tờn núi riờng l mt nhim v ht sc quan trng v cp bỏch hon cnh hin Tin trin theo thi gian, cỏc cuc tn cụng vo mng Internet Vit Nam v trờn th gii ang din ngy cng nhiu vi hỡnh thc ngy mt tinh vi, phm vi ngy cng ln hn Thc t ó cú nhng trng hp, nhng thi im tin tc thụng qua vic tn cụng vo h thng mỏy ch tờn (DNS) ó lm tờ lit mng Internet trờn din rng nhiu gi gõy thit hi ln v an ninh cng nh kinh t gii quyt an ton cho h thng DNS, cụng ngh bo mt DNSSEC (DNS Security Extensions) ó c nghiờn cu v ang c a vo ỏp dng thi gian qua [6] Nm 1976, Whifield Diffie v Martin Hellman ó a khỏi nim mó bo mt khúa cụng khai (PKC Public Key Cryptography) T ú, nhiu ng dng ca nú ó i v nhiu thut toỏn ó c phỏt trin gii quyt cỏc bi toỏn bo mt Mc bo mt yờu cu cng cao thỡ c khúa phi cng ln Vi h mt mó RSA ang c ỏp dng hu ht cỏc ng dng, ú bao gm c bi toỏn bo mt cho DNS qua cụng ngh DNSSEC [2,6,9] ó núi trờn, m bo yờu cu bo mt, hin phi cn c khúa ln hn 1000 bit [10,15] Thc t, thỏng nm 2010, ti hi ngh DATE 2010 - Dresden c, cỏc nh khoa hc Andrea Pellegrini, Valeria Bertacco v Todd Austin thuc trng i hc Michigan ó cụng b kt qu phỏt hin mt k h h mt mó RSA, cỏch phỏ v h thng, ly khoỏ mt ca RSA 1024 bit ch vũng 104 gi thay vỡ vi nm nu tn cụng theo cỏch dũ tỡm ln lt thụng thng [15] Cụng b ny cng ng ngha vi tuyờn b rng, vi RSA m bn an ton s phi tip tc tng di khúa (cụng ngh DNSSEC cho h thng DNS hin ti thng s dng RSA vi di khúa 2048 bit) iu ny kộo theo vic phi tng nng lc tớnh toỏn ca thit b; lm tng ỏng k kớch thc cỏc file d liu c ký xỏc thc; tng thi gian x lý v lu lng d liu phi truyn -5- Cỏc cụng trỡnh nghiờn cu, phỏt trin v ng dng CNTT-TT Tp V-1, S (28), thỏng 12/2012 ti trờn mng; ũi hi dung lng lu tr ca b nh ln hn, ngun tiờu th nhiu hn, V nh vy cng cú ngha l s khụng m bo hiu qu v mt kinh t Nm 1985, Neal Koblitz v Victor Miller ó nghiờn cu v a nhng cụng b v h mt mó bo mt da trờn ng cong Elliptic (Elliptic Curve Cryptography - ECC) cú nhng c tớnh c bit [3,4,8]: Yờu cu nng lc tớnh toỏn thp; tit kim b nh; tit kim bng thụng; tit kim nng lng; tớnh bo mt cao T nhng c im ni tri y, nhiu nh khoa hc ó i sõu vo nghiờn cu h mt mó bo mt ng cong Elliptic [1,7,10,11] v bc u ó cú cỏc ng dng vo mt s lnh vc bo mt, c bit cho cỏc thit b thụng tin di ng [13], thit b USB[9] Phỏt trin cỏc kt qu ny, Cụng ty Certicom Cụng ty i u lnh vc nghiờn cu h mt mó bo mt ECC [16], ó nghiờn cu, trin khai mt s ng dng v cụng b cỏc s liu so sỏnh v mc bo mt gia cỏc h mt mó RSA v ECC Theo ú vi di khúa 160 bit, h mt mó ECC ó cú bo mt tng ng vi h mt mó RSA-1024 bit; v vi di khúa 224 bit, h mt mó ECC cú bo mt tng ng vi h mt mó RSA-2048 bit [3] Bng So sỏnh di khúa ca cỏc h mt mó vi cựng mc bo mt [3] H mt mó Kớch thc khúa (tớnh theo bit) Khúa i xng 56 RSA/ DSA 512 1024 2048 3072 7680 ECC 112 80 160 112 224 128 256 192 384 256 15360 512 Hỡnh So sỏnh mc bo mt gia ECC vi RSA/DSA [13] Do kớch thc khúa nh v kh nng bo mt cao nờn giai on va qua, ECC ch yu c nghiờn cu bc u ỏp dng cho cỏc ng dng trờn mụi trng mng cú gii hn v thụng lng truyn d liu, cỏc thit b cú gii hn v nng lc x lý, kh nng lu tr (c bit l vi cỏc thit b di ng) [13] Tuy nhiờn vi cỏc li th v mc bo mt v kớch thc khúa nh nh ó núi trờn, ECC hon ton cú th c ỏp dng cho cỏc h thng ln nh DNS thay th, khc phc cỏc nhc im v di khúa ca RSA Bi bỏo ny chỳng tụi s xut phng phỏp ci t h mt mó ECC lờn cỏc giao dch trao i d liu gia cỏc mỏy ch h thng DNS nõng cao tớnh bo mt v hiu nng cho h thng ny Trong [1], tỏc gi ó ch nhng bc c bn xõy dng thut toỏn bo mt bng ng cong Elliptic, vy mi dng li cụng thc tng quan hoc vớ d c th bng s õy, chỳng tụi s xõy dng chi tit cỏc thut toỏn to khúa, chuyn khúa, mó húa v gii mó trờn ECC mt cỏch n gin v rừ rng hn nhm gim s bc thc hin õy l nn tng xõy dng h mt mó ECC -6- Cỏc cụng trỡnh nghiờn cu, phỏt trin v ng dng CNTT-TT Trong cỏc ni dung tip theo, Phn chỳng tụi s trỡnh by phỏt biu bi toỏn h mt mó ng cong Elliptic (ECC) v kt qu xõy dng mt s thut toỏn ECC ỏp dng cho vic xỏc thc quỏ trỡnh trao i d liu trờn mng Internet; Phn trỡnh by kt qu thc nghim ECC, ng dng cỏc thut toỏn núi trờn vic xỏc thc d liu tờn h thng DNS cp quc gia, so sỏnh vi cỏch s dng phng phỏp tng t bng RSA; cui cựng l phn kt lun Tp V-1, S (28), thỏng 12/2012 Tp cỏc im trờn ng cong Elliptic (E) cú cỏc c im sau: im l im thuc (E) nm vụ cựng, c gi l phn t trung hũa Vi mi im P=(x,y), phn t i ca P l im -P=(x,-y), ta nh ngha tng hai im P+(-P) = P-P = Hay -P l im i xng ca P qua trc Ox Vi im P=(xP, yP) v Q=(xQ, yQ) vi xP xQ, mt ng thng i qua hai im P, Q s giao vi (E) ti mt im nht Ta nh ngha im R = -(P+Q) Nu ng thng ny l tip tuyn ca (E) ti im P hoc Q thỡ tng ng RP hoc RQ im i xng ca R l -R c gi l im tng ca P v Q ng thng i qua P v -P (tc P v Q cú cựng honh ), s giao vi (E) ti im vụ cựng, vy R = P+(-P) = nhõn ụi im P, ta v tip tuyn ca (E) ti P, tip tuyn ny s giao vi (E) ti im Q, ta cú Q= -(P+P)=-2P Hay -Q=2P II PHT BIU BI TON ng cong Elliptic trờn GF(p) hoc Zp vi s nguyờn t p c xỏc nh bng phng trỡnh Cubic: y2 = ( x3 + ax + b) mod p, vi cỏc h s a v b v cỏc bin x v y l cỏc phn t ca Zp tha rng buc (4a3 + 27b2) mod p [14] Nh vy ta d dng nhn thy ng cong Elliptic (E) cú phng trỡnh l hm chn i vi bin y, ú th ca (E) nhn trc honh Ox l trc i xng Vi nhng c im trờn, cỏc im thuc ng cong (E) to thnh mt nhúm Abel H mt mó ng cong Elliptic (ECC) c xõy dng trờn c s bi toỏn logarith trờn ng cong Elliptic bo mt ECC ph thuc vo khú ca bi toỏn logarith ri rc ng cong Elliptic Gi s P v Q l hai im trờn ng cong Elliptic cho k*P=Q ú k l mt i lng vụ hng vi P v Q ó cho, bng cỏch tớnh toỏn suy lun thu c k trờn c s thut toỏn ri rc ca Q i vi P Hỡnh Mt dng ng cong Elliptic Vi mt im P cho trc v h s k, ta cú th d dng tớnh c im Q tng ng trờn ng cong Elliptic Tuy nhiờn theo chiu ngc li, tỡm h s k (khúa k) t im Q v im P li l mt bi toỏn "rt khú" nu nh h s k l mt s ln (cú di 224 bit chng hn) Da trờn c s bi toỏn logarit ri rc xột trờn cỏc im thuc ng cong Elliptic ny, h mt mó ECC cung cp y c dch v an ninh: mó húa, xỏc thc, ký s v trao i khúa; m -7- Cỏc cụng trỡnh nghiờn cu, phỏt trin v ng dng CNTT-TT Tp V-1, S (28), thỏng 12/2012 Thut toỏn to khúa: Hai bờn gi A v nhn B bo cho vic xõy dng mt h tng xỏc thc khúa cụng khai trờn Internet Do ú mt nhng thut toỏn ch yu ECC l to khúa, chuyn khúa, mó húa v gii mó [14] Thng nht A Trờn c s bi toỏn ny, chỳng tụi xut cỏc thut toỏn c th: Chn ngu nhiờn nB < n Chn ngu nhiờn nA< n nA To khúa: B - ng Elliptic - T (p, a, b, G, n, h) nB ng cong Elliptic trờn trng GF(p) cú dng: y2 = (x3 + ax + b) mod p (1) PA = nA*G (XA, YA) Tham s h mt mó ECC trờn trng nguyờn t hu hn Fp.[4]: T = (p, a, b, G, n, h) x x ó núi trờn vi cỏc tham s p, a v b ó chn Ly im c s G t nhúm Ep(a,b) trờn ng cong Elliptic, bc ca nú phi l mt giỏ tr n ln [14] Bc n ca im G trờn ng cong Elliptic c xỏc nh bng s nguyờn dng nht n cho n*G = [14] PB = nB*G (XB, YB) Cp khúa (2) nA Trong ú: p l s nguyờn dng xỏc nh trng nguyờn t hu hn Fp v chn [log2P] {192, 224, 256, 384, 512}; a,b l cỏc h s Fb xỏc nh ng cong trờn Elliptic E(Fb) trờn trng Fb(1); h l phn s thp phõn, h= #E(Fb)/n vi #E(Fb) l s cỏc im thuc ng cong E(Fb) Theo cỏc bc to khúa c xỏc nh ti [14], chỳng tụi xõy dng thut toỏn nh Hỡnh Cp khúa PA a PB b Hỡnh Thut toỏn to khúa Thut toỏn trao i khúa B A Thuyt minh thut toỏn: u vo: Bờn gi A v Bờn nhn B thng nht ng cong Elliptic v tham s h mt mó ng cong Elliptic T nA a' PA b' nB PB u ra: Khúa cụng khai ca A: PA v khúa cụng khai ca B: PB cn c thit lp Cỏc bc thut toỏn: x A chn ngu nhiờn mt s nguyờn dng nA < n A xỏc lp tớch PA = nA*G = (xA, yA) K = nA*PB x Khúa chia s K = nB*PA Cp khúa cụng khai v khúa riờng ca A l (PA, nA) B chn ngu nhiờn s nguyờn nB< n v tớnh K= nA*PB = nA * (nB * G) = nB * (nA* G) = nA* nB* G PB = nB * G = (xB, yB) Cp khúa cụng khai, khúa riờng ca B l (PB, nB) Hỡnh Thut toỏn trao i khúa -8- nB Cỏc cụng trỡnh nghiờn cu, phỏt trin v ng dng CNTT-TT Thuyt minh thut toỏn: Thut toỏn trao i khúa c hỡnh thnh sau bờn A v bờn B ó c to khúa PA v PB th hin im a, b tng ng trờn hỡnh nh ó núi trờn Thut toỏn c din t nh sau: u vo: Cp khúa PA v PB u ra: PA B ; PB A Xỏc nhn ỳng i tng cn kt ni thụng tin bng kt qu hai bờn tỡm c khúa chia s chung K Tp V-1, S (28), thỏng 12/2012 u vo: A mun gi bn tin M cho B u : Vn bn mó cM Cỏc bc thc hin: A chn ngu nhiờn mt s nguyờn dng tha < k < n v tớnh: c1 = k*G v c2 = M + k*PB ú PB l khúa cụng khai ca B A gi bn ó mó húa cM = { c1, c2} cho B Thut toỏn gii mó Cỏc bc thc hin : {c1, c2} A truyn khúa PA cho B; B truyn khúa PB cho A C A v B tớnh khúa chia s: Phớa A: Ly nA ca mỡnh nhõn vi khúa PB nhn c t B to ra: K= nA*PB = nA *(nB*G) = nA* nB* G Phớa B: Ly nB ca mỡnh nhõn vi khúa PA nhn c t A to ra: K= nB*PA = nB* (nA*G) = nA*nB* G Nh vy c A v B u nhn c K ging nB x nB*c1 M Thut toỏn mó húa v gii mó Hỡnh Lu thut toỏn gii mó Thut toỏn mó húa v gii mó Elliptic c Bellaer v Rogaway xut [3], thc cht l mt bin th ca h mt mó cụng khai Elgamal õy chỳng tụi c th hn di dng lu thut toỏn v n gin hn bng cỏch b qua th tc tớnh cp khúa, tớnh bn mó s dng M PB x u ra: Khụi phc li bn M A gi n G u vo B: B nhn c bn mó CM = { c1, c2} Thut toỏn mó húa: k c2 c1 Cỏc bc thc hin : B tỏch c1 v nhõn c1 vi khúa riờng nB ca nú v ly c2 tr i kt qu ú: c2 - nB*c1 = M + k*PB - nB * (k*G) x = M + k*(nB*G) - nB*(k*G) =M + c1= k*G Vy ó thc hin xong gii mó c2 = M + k*P Nhn xột: + cM={c1, c2} Hỡnh Lu thut toỏn mó húa Thut toỏn ny khụng yờu cu kim tra im R cú thuc ng cong Elliptic hay khụng; khụng cn tớnh im Z = k*k*R nh [1,3,14] lm cho tc tớnh nhanh hn -9- Cỏc cụng trỡnh nghiờn cu, phỏt trin v ng dng CNTT-TT Tp V-1, S (28), thỏng 12/2012 Bng Tng hp s liu v thi gian ký xỏc thc v kớch thc cỏc zone file tờn VN trc v sau ký bng DNSSEC vi RSA-2048 bit v ký bng ECC-224 bit Zone Kớch thc zone file ban u (Bytes) com.vn net.vn org.vn edu.vn ac.vn 520 683 495 013 120 257 142 423 263 367 765 Kớch thc zone file sau ký xỏc thc (bytes) Vi DNSSEC s Vi ECCdng RSA-2048 bit 224 bit 27 126 822 24 357 519 840 584 078 018 749 856 42 885 337 230 941 522 198 424 243 544 442 456 10 492 III KT QU THC NGHIM Trờn c s cỏc thut toỏn xut trờn, chỳng tụi ó s dng ngụn ng lp trỡnh Java ci t cỏc thut toỏn, ỏp dng vo quỏ trỡnh xỏc thc cỏc giao dch trao i d liu tờn gia mỏy ch DNS chớnh (Primary DNS Server) v cỏc mỏy ch ph (Secondary DNS Server) Thớ nghim c thc hin trờn cỏc zone file d liu tờn c ly trc tip v t h thng DSN quc gia m bo an ton v d phũng b sung, san ti cho nhau, h thng DNS c thit k theo quy nh s gm mt mỏy ch DNS chớnh v nhiu mỏy ch DNS ph Theo cỏc mc thi gian nh k tựy thuc vo c ch khai bỏo trờn mỏy ch DNS chớnh, cỏc mỏy ch DNS ph s t ng kt ni vi mỏy ch DNS chớnh ti cỏc file d liu tờn ó cú s thay i trờn mỏy ch chớnh v mỏy ch ph ỏp ng vic cp nht kp thi cỏc thay i nhm tr li chớnh xỏc cỏc truy v tờn t cỏc mỏy tớnh trờn mng Internet c hi n nú Quỏ trỡnh ny c gi l c ch zone transfer quy trỡnh qun lý h thng DNS bo mt cho quỏ trỡnh ng b d liu ny, ngoi gii phỏp phn cng (khai bỏo cu hỡnh mng ch cho phộp cỏc mỏy ch ph cú a ch IP t mt danh sỏch ó c nh ngha trc mi cú quyn kt ni vo mỏy ch chớnh), hin ch mi cú cụng ngh bo mt DNSSEC s dng RSA ang c ỏp Thi gian ký (giõy) Vi DNSSEC s dng RSA-2048 bit Vi ECC224 bit 171,135 145,342 5,094 6,668 10,464 0,269 21,942 18,633 0,621 0,877 1,291 0,038 S tờn c ký 69 530 59 483 069 684 232 108 dng l cú trin khai vic ký xỏc thc, mó húa d liu tờn quỏ trỡnh trao i gia cỏc mỏy ch DNS vi õy, chỳng tụi ó xõy dng chng trỡnh ký xỏc thc, mó húa, gii mó bng ECC tng t nh cỏc bc lm ca DNSSEC sau ú ln lt s dng ECC thc hin vic ký xỏc thc, mó húa d liu trờn cỏc zone tờn quc gia bao gm vn, com.vn, net.vn, org.vn, edu.vn v ac.vn v so sỏnh vi cỏc kt qu ó thu c bng phng phỏp s dng DNSSEC Cỏc kt qu thu bng hai phng phỏp c em so sỏnh theo cỏc tiờu sau: 1/ Thi gian ký xỏc thc; 2/Kớch thc zone file sau ký xỏc thc Chi tit c th hin Bng Kt qu so sỏnh ny cho thy, sau ký xỏc thc bng RSA-2048 bit vi DNSSEC, kớch thc cỏc zone file tng bỡnh quõn xp x 7,31 ln, ú sau ký xỏc thc bng ECC-224 bit kớch thc ch tng bỡnh quõn 1,74 ln so vi file d liu gc V thi gian ký xỏc thc, s dng RSA-2048 bit s lõu hn bỡnh quõn 7,8 ln so vi vic ký bng ECC-224 bit theo thut toỏn ó xut Tng hp so sỏnh kt qu thc nghim trờn cỏc zone file c ly liờn tip mi cú s thay i cỏc bn ghi tờn trờn zone ca mỏy ch DNS chớnh vũng 24 gi liờn tc (theo c ch yờu cu mỏy ch DNS ph cp nht ton b ni dung file mi cú thay i) c th hin trờn cỏc s sau: - 10 - Cỏc cụng trỡnh nghiờn cu, phỏt trin v ng dng CNTT-TT Tp V-1, S (28), thỏng 12/2012 DNSSEC vi cựng mt mc bo mt Vic s dng ECC ó lm gim tng i thi gian, d liu phi truyn ti trờn mng quỏ trỡnh ng b tờn gia mỏy ch DNS chớnh v cỏc mỏy ch DNS ph, ng thi tit kim ỏng k bng thụng (hin ti h thng DNS quc gia ang phi ng b d liu thng xuyờn ngy gia mỏy ch chớnh v 26 mỏy ch ph t ti cỏc a im khỏc trờn ton cu) Vic ng dng ECC s nõng cao rừ rt hiu nng cho h thng mỏy ch tờn IV KT LUN Bi bỏo ny nghiờn cu ỏp dng mó bo mt ng cong Elliptic, ú ó : Hỡnh So sỏnh kớch thc zone file tờn sau ký xỏc thc vi RSA-2048 bit v ECC-224 bit - Xõy dng lu thut toỏn to khúa da trờn ng cong Elliptic v tham s T(p, a, b, G, n, h), giỳp cho vic tớnh toỏn rừ rng v n gin Xõy dng thut toỏn trao i khúa thng nht vi thut toỏn to khúa v b qua c cỏc bc A to PA gi B v B to PB gi A nh [3] ng thi thut toỏn õy n gin - a thut toỏn mó húa, gii mó n gin hn so vi trc õy - Cui cựng bi bỏo ny, chỳng tụi ó trỡnh by kt qu thc nghim ci t thut toỏn, ỏp dng th nghim trờn cỏc file d liu tờn c ly trc tip v t h thng DSN quc gia (cỏc file trờn thc t s tham gia quỏ trỡnh trao i d liu tờn gia mỏy ch DNS quc gia) So sỏnh thi gian ký xỏc thc, kớch thc cỏc file d liu sau trin khai th nghim bng ECC-224 bit qua cỏc thut toỏn c xõy dng bi bỏo vi cỏc kt qu ó thu c s dng cụng ngh DNSSEC s dng RSA-2048 bit Kt qu thc nghim ó khng nh c tớnh u vit ca vic ng dng cỏc thut toỏn trờn ECC ó c xut bi bỏo so vi phng phỏp thụng dng hin l RSA Hỡnh So sỏnh thi gian ký xỏc thc bng RSA2048 bit v ECC-224 bit trờn cỏc zone file gc Nh vy, rừ rng ECC cú cỏc u im vt tri v thi gian x lý v c bit l lm gim ỏng k kớch thc cỏc zone file d liu tờn sau c ký xỏc thc so vi phng phỏp dựng RSA T nhng phõn tớch trờn, ta thy vic nghiờn cu, ng dng mó bo mt ng cong Elliptic - ECC nh nhng kt qu ó a ó t yờu cu lm tng tớnh bo mt hn so vi RSA, ng thi vi ba thut toỏn - 11 - Cỏc cụng trỡnh nghiờn cu, phỏt trin v ng dng CNTT-TT ó nờu lm n gin s bc tớnh toỏn õy s l nn tng c s gii quyt vic trỏnh phi tip tc nõng di khúa nh RSA m ỏp ng c yờu cu v bo mt (khú phỏ khúa) vi kớch thc khúa nh hn Vic ỏp dng mó bo mt ng cong Elliptic ECC cỏc h thng ln nh DNS l mt hng i ỳng v trng tõm thi gian ti Trong hng nghiờn cu sp ti, chỳng tụi s m rng xột chn tham s cho ng cong Elliptic s dng lm mó bo mt TI LIU THAM KHO [1] ANOOP MS, Elliptic Curve Cryptography An Implementation Guide anoopms@tataelxsi.co.in [2] B WELLINGTON, Domain Name System Security (DNSSEC) signing Authority, RFC 3008, Internet Engineering Task Force, November 2000 http://www.ietf.org/rfc/rfc3008.txt [3] CERTICOM RESEARCH, SEC1: Elliptic Curve Cryptography, Version 1.0, September 2000, http://www.secg.org/collateral/sec1_final.pdf [4] CERTICOM RESEARCH, SEC2: Recommended Elliptic Curve Domain Parameters, Version 2.0 January 27, 2010, www.secg.org/download/aid784/sec2-v2.pdf [5] DARREL HANKERSON, JULIO LểSPEZ HERNANDERZ, ALFRED MENEZES, Software Implementation of Elliptic Curve Cryptography over Binary Fields, CHES 2000 [6] DANIEL MASSEY, ED LEWIS and OLAFUR GUDMUNDSSON, Public Key Validation for the DNS Security Extensions, DARPA Information Survivability Conference & Exposition II, 2001 DISCEX '01 Proceedings, Print ISBN: 0-7695-1212-7, 2001 [7] F HESS, Generalising the GHS attack on the Elliptic Curve Discrete logarithm problem, LMS J Comput, Math 7, 2004 [8] JACOB SCOTT, Elliptic December 14, 2010 Curve Tp V-1, S (28), thỏng 12/2012 International Journal of Computer Science and Network Security, VOL 11 No 11, November 2011 [10] N GURA A PATEL, A WANDER, H EBERLE and S.C SHANTZ, Comparing Elliptic Curve Cryptography and RSA on bit CPUS, Proccedings of Workshop on Cryptographic Hardware and Embedded Systems (CHES 2004) 6th Internetional Workshop 2004 [11] M ABDALLA, M BELLARE and P.ROGAWAY, DHAES An encryption Scheme based on the Difflie Hellman problem, Submission to P1363a: Standerd specifications for Public-Key Cryptography, Additional Techniques, 2000 [12] REZA CURTMOLA, ANIELLO DEL SORBO, GIUSEPPE ATENIESE, On the Performance and Analysis of DNS Security Extensions, Cryptology and Network Security, 4th International Conference, CANS 2005 [13] WENDY CHOU, Elliptic Curve Crytography and its Applications to Mobile Devices, University of Maryland, College Park, 2003 http://www.cs.umd.edu/Honors/reports /ECCpaper.pdf [14] W STALLINGS, Crypotography Security, Fourth Edition 2009 and Network [15] ANDREA PELLEGRINI, VALERIA BERTACCO and TODD AUSTIN, Fault Based Attack of RSA Authentication, Design, Automation and Test in Europe (DATE) conference in Dresden on March 10 http://web.eecs.umich.edu/~valeria/research/publication s/DDTE10RSA.pdf [16] Certicom Website: http://certicom.com Nhn bi ngy: 25/05/2012 Cryptography, [9] JAGDISH BHATTA and LOK PRAKASH PANDEY, Perfomance Evaluation of RSA Variants and Elliptic Curve Cryptography on Handheld Devices IJCSNS - 12 - Cỏc cụng trỡnh nghiờn cu, phỏt trin v ng dng CNTT-TT v mt s ng t khỏc Trong nhiu trng hp, cụng thc dch s l go + verb + ing (go swimming, go fishing ) Tp V-1, S (28), thỏng 12/2012 gia girl vi little v "pretty" Vic i ch khụng nh hng ti tớnh phng ca phõn tớch nờn ta nhn c kt qu cui cựng l very pretty little girl i(D1)(DI) W2(DI)(D2) go W2(form = PRESENT_PARTICIPLE) Mt s ngoi l : i hc > go to school, i chi >go out, i ng > go to bed ó c th hin qua nhng lut dch riờng Lut dch quan h s hu Quan h s hu Ting Vit cú th dng hin thụng qua gii t ca (ụi l danh t nh, vớ d "ln nh tụi") Cỏc lut dch s chuyn i t xng hụ hoc danh t i sau gii t ca sang tớnh t s hu, danh t sang s hu cỏch Hỡnh Thay i trt t t cho bn dch cm t cụ gỏi nh rt xinh Vớ d, lut ca()(EoPp) tụi(EoPp)() my Trong Ting Vit cũn cú quan h s hu n (khụng cú t "ca") Khi phõn tớch cõu cú quan h s hu n, cn nhng lut dch th hin quan h ú, vớ d W1(D1)(SHA) tụi(SHA)(D2) my W1 Lut thay i trt t t Vic hoỏn i v trớ cỏc t v cm t cn chỳ ý ti tớnh ỳng cỳ phỏp ca cõu ớch Chỳng tụi nhn thy rng hai t cú liờn kt cõu ngun thỡ liờn kt ú cn bo tn cõu ớch,tr trng hp cú t b loi b Sau thc hin hoỏn i v trớ, cỏc t cõu ớch cng cn phi to thnh cõu ỳng cỳ phỏp liờn kt, c bit l tớnh phng Khi hai t i v trớ cho nhau, liờn kt gia chỳng cõu ớch s i chiu, kt ni dng tuyn tng ng s chuyn t danh sỏch bờn trỏi ca dng tuyn sang danh sỏch bờn phi hoc ngc li cỏc liờn kt cõu ớch khụng ct nhau, cỏc t nm khong gia hai t cng cn di chuyn thớch hp Vớ d, xột cỏc bc dch hỡnh ca cm t cụ gỏi nh rt xinh Nu cỏc t girl, "little" v pretty i v trớ, liờn kt gia chỳng cng s i chiu, dng tuyn thay i Do vy khụng ch cú hai t i v trớ m phi i v trớ hai cm t very pretty" vi cỏc t "little v "girl" cú liờn kt RlAp gia very v pretty, liờn kt SA Lut i v trớ danh t - tớnh t Sau õy l mt s lut cho phộp thay i v trớ gia tớnh t b ngha cho danh t v tớnh t b ngha cho tớnh t khỏc Trong Ting Vit thng ch cú n tớnh t b ngha cho mt danh t (khụng phõn cỏch bng du phy) W1(D1)(ApAp) W2(ApAp)(D2) W2 W1 W1(D1)(SA SA) W2(SA)(D2) W3(SA)() W3 W2 W1 W1(D1)(SA) W2(SA)(D2) W2 W1 Lut dch cu trỳc ph nh Cỏc t ch cu trỳc ph nh l cỏc ph t ph nh "khụng", "chng", "cha" (loi t l Rn) Kt ni gia loi t ny vi ng t l RnV Khi dch cu trỳc ny cn chỳ ý n vic chia ng t phự hp vi thỡ ca ng t cõu ngun (t "cha" tng ng thỡ hin ti hon thnh, cỏc t khỏc dch sang thi hin ti: W1(D1)(SV) cha(D2)(RnV) W3(RnV SV)(D3) -> W1(D1)(D2) have(number = W3 number, person = W3 person)[v](D2)(N _PP_) not(N)(D3) W3(negative = FALSE)(_PP_)(D4) Lut dch cu trỳc nghi Trong Ting Vit cú mt s t (cm t) hi nh ti sao, no T hi cú th ng u hoc cui cõu Nhn biờt cu trỳc ny thụng qua kt ni THT (t hi ng u cõu) hoc THS (t hi ng cui cõu) Khi dch sang Ting Anh vi cỏc ng t - 50 - Cỏc cụng trỡnh nghiờn cu, phỏt trin v ng dng CNTT-TT thụng thng (khụng phi ng t to be) cn thờm tr ng t vo gia t hi v ch ng Vớ d lut di õy cho phộp dch cõu hi vi t hi ng u cõu v ph nh t W1()(THT) W2(D2)(SV) W3()(RnV) W4(RnV SV THT)() W1 do(number = W4.number,person = W4.person,tense = W4.tense,contracted-negation = TRUE)[v]()(_I_) W2 W4(_I_)() Cỳ phỏp ca cỏc lut c mụ t bng EBNF nh sau: ::= ::= " :" ::= + ::= " >" | " >" ::= * ::= ::= "*" | ::= "("")" "(" ")" ::= ()* ::= [][:][] ::= "(" ()+")" ::= "$" [] ::= [] Tp V-1, S (28), thỏng 12/2012 Thuc tớnh excludes ngn cn vic thc hin lut ang xột nu mt cỏc lut danh sỏch sau t khúa excludes ó c thc hin Lut c c t XML phõn tớch v x lý t ng theo phm Vi cỳ phỏp khỏ n gin, ngi s dng cú th d dng thờm lut mi VII HON THIN BN DCH Sau ó phỏt hin thuc tớnh, di chuyn v trớ, bin i hỡnh thỏi thớch hp, cũn mt s cn thc hin to bn dch cú cht lng tt ú l: Cỏc i tng sau c tin x lý v coi nh ký hiu kt thỳc: (tờn t t cho lut hay hm), (t), (s t nhiờn) Tp lut c lu di dng XML vi cu trỳc sau: < ! luat nhom > Trong ú: Ký hiu ch ni dung ca lut, cú th vit trờn nhiu dũng Thuc tớnh requires cha cỏc lut cn thc hin trc lut ang xột Hin tng chuyn loi t: - Danh t cú vai trũ tớnh t Khi dch sang Ting Anh cn chuyn thnh tớnh t, vớ d huy chng vng, vng õy l t ch cht liu vi liờn kt CH, cn chuyn sang tớnh t tng ng - Tớnh t hay ng t i sau s, vic lm chuyn loi c cm t thnh danh t Tớnh t b ngha cho ng t : Ting Vit khụng cú phú t, nhng sang Ting Anh cn dch thnh phú t Loi b danh t ch loi Chỳng tụi ó xõy dng lut bao trựm c cỏc hin tng ny La chn ngha t Dự ó qua nhiu cụng on kh nhp nhng quỏ trỡnh phõn tớch cỳ phỏp, n õy ta cú th gp hin tng nhp nhng v ngha t, ú l mt t Ting Vit tng ng vi nhiu ngha Ting Anh khỏc Chng hn t lm cú th mang ngha make hay manufacture ( õy ó loi tr trng hp t "lm" vi ngha tng ng work gn vi mt cụng thc khỏc so vi t lm mang hai ngha trờn) Nh vy, dự ch cú mt phõn tớch liờn kt nht c chn, cú th cú nhiu bn dch tng ng vi nhiu t hp ngha khỏc ca cỏc t Vn õy l chn t hp trụi chy nht, tc l cỏch thc hay c ngi bn ng s dng nht Chỳng tụi ó gii quyt bng cỏch dựng b ng liu Ting Anh v tớnh xỏc sut chn bn dch tt nht B ng liu - 51 - Cỏc cụng trỡnh nghiờn cu, phỏt trin v ng dng CNTT-TT c chn l COCA rỳt gn (ch cha nhng n gram xut hin ba ln tr lờn) Cõu c chn da theo tiờu sau (ó lm trn) Tp V-1, S (28), thỏng 12/2012 Bn dch c h thng ca chỳng tụi v h thng Google a ra: My mother is a good doctor Kt qu dch vi VEtran: ( , , ) ( )= ( , , ) ( ( )+ ( | ) VIII KT QU TH NGHIM Nh ó gii hn phm vi quan tõm t u, vic th nghim h thng dch vi ADJ l minh kh nng biu din ca phm liờn kt Ting Vit, cũn phi hon thin nhiu tr thnh mt cụng c dch ph bin Tuy nhiờn, xõy dng b ng liu th nghim cng l mt khú khn Hin cha cú b ng liu chun cho dch Vit - Anh nờn chỳng tụi ó t xõy dng b ng liu riờng cho mỡnh B ng liu chỳng tụi ó thu thp gm 336 cõu c ly t sỏch dy Ting Vit cho ngi nc ngoi trỡnh nõng cao [15] u im ca mu ny l chỳng c vit bi cỏc giỏo s v Ting Vit v bn dch Ting Anh ó c hiu ớnh cn thn Di õy l vớ d minh hot ng ca h thng dich x lý mt s mu cõu: 1.M tụi l mt bỏc_s gii My mother is a jurisprudent physician Kt qu dch ca ba h thng khụng cú s khỏc bit ln H thng ca chỳng tụi v Google cú s i chiu vi ng liu mu chn t nờn a bn dch good doctor VEtran dựng cm t jurisprudent physician v ngha t in Vit Anh khụng khỏc bit nhng khụng sỏt ngha thc t Bỏo_sn l loi ng_vt nhanh nht th_gii Kt qu phõn tớch cỳ phỏp # + -LA_DT -+ # +-DT_LA-+ + -V + DT_TT-+-TT_SS+ -NHAT_DTv + # | | | | | | | # Bỏo_sn.n l.v loi ng_vt.n nhanh.a nht th_gii.n Cỏc dng tuyn nhn c: bỏo sn: ()(DT_LA) l: (DT_LA)(LA_DT) loi: ()(V) ng vt: (V LA_DT)(DT_TT) nhanh: (DT_TT)(TT_SS) nht: (TT_SS)(NHAT_DT) th gii: (NHAT_DTv)() Kt qu phõn tớch cỳ phỏp: # + DT_LA + LA_DT + # + SHA + | + McN -+-DT_TT-+ # | | | | | | # M.n tụi.p l.v mt bỏc_s.n gii.a Quỏ trỡnh dch thụng qua nhiu lut c mụ t Hỡnh Cỏc dng tuyn tỡm c cho mi t l: m: ()(SHA DT_LA) tụi: (SHA)() l: (DT_LA)(LA_DT) mt: ()(McN) bỏc s: (McN LA_DT)(DT_TT) gii: (DT_TT)() dch cõu ny, cỏc lut sau ó c ỏp dng Lut xỏc nh ngụi cho danh t m Lut dch quan h s hu n Lut chuyn i th t gia ngha ca danh t bỏc s v tớnh t gii Hỡnh Quỏ trỡnh dch cõu Bỏo sn l loi ng vt nhanh nht th gii - 52 - Cỏc cụng trỡnh nghiờn cu, phỏt trinn v ng dng CNTT-TT Tp V-1, 1, S (28), thỏng 12/2012 hn ch s phõn tớch a Cõu a vo ó chnh kt qu tỏch t chớnh xỏc ca c b phõn tớch cỳ phỏp cho ADJ1 l 80.2%, ph 81.4%, F-score F 0.81 Kt qu thc hin ca h thng dch ch ADJ Cheetah is the quickest animal world Kt qu thu c vi VEtran: ADJ2: Khụng hụng cho phộp rng buc bu v tỏch t Cheetah is world' s fast animal the kind Kt qu Google a ra: Alert hunt is the world's fastest animal C ba bn dch u cú nhng hnn ch ch Bn dch ca ADJ ó khụng phỏt hin cc quan h h s hu ca t th gii bn dch caa VEtrans dch d c quan h ú nhng li khụng dch c tớnh t so sỏnh cp cao nht v dch sai t loi Bn dch ca Google dch rt tt cm t nhanh nht nh th gii nhng li gp li t bỏo sn Dự b ng liuu cũn nh, nh chỳng tụi ó s dng phng phỏp BLEU [17] v i tham s n = 2, 3, 4, so sỏnh vi kt qu t c ca VETran v Google Kt qu nhn c th hinn Bng Bng So sỏnh kt qu cỏc h h thng dch Google VEtran ADJ1 ADJ2 0.169816 0.209987 0.263627 0.157450 0.133085 0.140612 0.181787 0.091807 0.109895 0.096798 0.127502 0.056950 0.090472 0.069292 0.091302 0.036461 u, cú th th thy vi So sỏnh trờn ton th b ng liu, nhng cm t thng ng dựng, Google cho kt k qu ging ngụn ng thc hn Tuy nhiờn ktt qu qu ca h thng dch ca chỳng tụi v VEtran thng ng ỳng v cỳ phỏp v hỡnh thỏi, ú h thng dch ch ca c chỳng tụi cú phn trụi chy hn, mii liờn kt k c xỏc lp n tng t cỏ bit.Rừ rng vic ktt hp h cỏc phng phỏp khỏc s nõng cht lng ng ca c bn dch lờn cao hn Biu hỡnh cho phộp so sỏnh im BLEU ca cỏc h thng dch ch núi trờn ca c chỳng tụi vi hai h thng dch Vit-Anh ph bin bi l Google Translation v VEtrans Hin chỳng tụi cha cú mt b ng liu ln gii quyt trit nhpp nhng nh phõn tớch cỳ phỏp, vy chớnh xỏc caa b b phõn tớch cỳ phỏp cũn cha cao i vi b ng liu 336 cõu hi thoi, cũn nhiu cm dng n núi, ch cha cú ng liu ton cỏc cõu vit, t, nờn kt k qu tr v ca b phõn tớch cỳ phỏp cũn thp th ( chớnh xỏc(precision): 22.7%, ph (recall): 28.8%, o F-score: 0.28) Nu dựng nguyờn dng ng kt k qu ca b phõn tớch cỳ phỏp, cú th khụng ỏnh giỏ chớnh xỏc cht lng ca h thng dch nghiờn cu c mt cỏch tng th v nh hng caa cỏc thnh phn ph h thng n cht lng dch, ch, chỳng tụi ó th nghim trờn h thng sau: Hỡnh So sỏnh im m BLEU ca c cỏc h thng ADJ1: Cho phộp loi b bt nhng ng sai sút cú th th cú quỏ trỡnh phõn tớch cỳ phỏp bng ng cỏch xỏc nh mt s rng buc chnn chớnh xỏc phõn tớch ca c cõu, c th l bỏo trc mt s cp t chc chn xut hin liờn kt õy cng l k thut cc dựng [14] IX KT LUN H thng dch s dng dng tuyn cú chỳ gii c chỳng tụi xõy dng vi mcc ớch minh cho kh nng biu din Ting Vit ca phm liờn kt Tuy vy, nu ỏnh giỏ nh mtt h h thng dch, kt qu nhn c cng rt ỏng ỏng chỳ ý: vvi kt qu tt ca b tỏch t v phõn tớch cỳ phỏp, h thng th ca chỳng tụi t kt qu nhnh hn mtt chỳt so vi v Google v VEtran Chỳ ý rng, t kt qu ny, b b lut dch ca chỳng tụi cha cú ti 300 lut, ớt hn n rrt nhiu so vi VEtran v - 53 - Cỏc cụng trỡnh nghiờn cu, phỏt trin v ng dng CNTT-TT cng khụng cn s dng b ng liu song ng Dự mi l th nghim trờn b ng liu nh, cú th thy kh nng s dng mụ hỡnh phm liờn kt cho bi toỏn dch mỏy l rt cú trin vng Tp lut dch ca chỳng tụi bao gm ba Th t ỏp dng lut nh trờn s hỡnh 4: xỏc nh thuc tớnh dch cm t chuyn i cu trỳc S nhp nhng ỏp dng lut( nu cú) ch cú th xy tng Tuy nhiờn, vi phm liờn kt, lut ch c s dng tha c hai yu t: T ang xột xut hin lut Tt c cỏc mi liờn kt ca t c nờu luõt phi tha Ngoi ra, thuc tớnh exclude ca mt s lut (ó mụ t trờn) cng gúp phn kh nhp nhng Do vy, phõn tớch cỳ phỏp ca cõu ó xỏc nh, rt khú xy vic nhp nhng ỏp dng lut Trong ba lut ca chỳng tụi, cha cú lut no cú th gõy nhp nhng lỳc la chn S nhp nhng ch yu xy phõn tớch, chng hn vi hai cõu tụi bỏn hoa rt nhanh v tụi bỏn hoa rt ti cú th dn n nhm ln khụng cú du hiu no cho thy tớnh t ch tớnh cht b ngha cho t hoa hay t bỏn Tuy nhiờn ó xỏc nh phõn tớch, nu l: # + SV + + SA + # + + O -+ + -RlAp + # | | | | | # Tụi.p bỏn.v hoa.n rt.r ti.a thỡ lut v thay i trt t t c ỏp dng Nu phõn tớch c chn l: # + -VtAp + # + SV -+ O -+ + -RlAp + # | | | | | # Tụi.p bỏn.v hoa.n rt.r nhanh.a thỡ lut v chuyn loi ngha ca t nhanh sang phú t Ting Anh li c ỏp dng Tuy ó t c kt qu nht nh dch mỏy Vit Anh, h thng ca chỳng tụi cũn nhng cha gii quyt trn vn: Dch cõu cú cu trỳc liờn hp (coordination) s dng kt ni ln, vớ d, cm t Ting Vit [7] "mt sinh viờn kho mnh, cao v t t" Vic dch loi cõu ny ũi hi mt phõn tớch cỳ phỏp chớnh xỏc, Tp V-1, S (28), thỏng 12/2012 ch cú c kh nhp nhng liờn hp cõu cha t v v du phy Dch cõu ghộp v cõu phc: Cõu ghộp v cõu phc cha t hai nũng ct tr lờn, ú cõu phc cú cha mt nũng ct bao cỏc nũng ct cũn li [5].Trong ng liu mu , ó cú mt s cõu ghộp mnh , nhiờn cht lng dch cỏc cõu ny cha c tt Cú th thy vic x lý cỏc loi cõu ghộp l kh thi vỡ chỳng tụi ó xõy dng c b phõn tớch cỳ phỏp x lý khỏ tt trng hp nhp nhng liờn hp v phõn tớch cõu ghộp vi nhiu mnh Vic nhn bit gii hn cỏc mnh cõu phc, cng nh cỏc thnh phn cm ch v ụi ũi hi thit lp mt liờn kt gia cỏc t khụng lin k Cỏc x lý phõn tỏch mnh hay gii quyn nhp nhng v cm trng t hin u theo hng tip cn hc mỏy trờn ng liu ln Chỳng tụi s tip tc phỏt trin h thng theo hng ny ó xõy dng c b ng liu mu ln Mt khỏc cng gõy khú khn cho chỳng tụi: dch cm t dng n - (n t Ting Vit sang t Ting Anh) Ngoi nhng cm t rt ph bin m chỳng tụi ó x lý, cn n s h tr ca t in thnh ng v b ng liu mu song ng Vi c im hon ton t vng húa ca phm liờn kt, b lut dch ca h thng th hin c nhng c im ht sc riờng v cỏ bit ca ngụn ng ngun v ngụn ng ớch.Cụng vic ny chc chn cn nhng hiu bit sõu v cỳ phỏp, t phỏp ca c hai ngụn ng B lut dch cú th thay i hon ton nu thay i cp ngụn ng ngun ớch, ngha l khú cú th s dng cho cp ngụn ng khỏc Tuy nhiờn, m rng h thng dch, cú th quan tõm n cụng c cho phộp cỏc nh ngụn ng nh ngha cỏc quy tc cỳ phỏp [4] Nu theo hng tip cn ny, vic phõn tớch cỳ phỏp theo biu (chart parsing) t phm liờn kt cng d hn so vi cỏc mụ hỡnh khỏc vỡ phõn tớch liờn kt thc cht ó cú dng biu Nh vy cú th tớnh n kh nng m rng h thng dch cho cỏc cp ngụn ng khỏc - 54 - Cỏc cụng trỡnh nghiờn cu, phỏt trin v ng dng CNTT-TT Nh ó trỡnh by u bi, cha ti nguyờn xõy dng mt h thng dch mỏy tht hon thin, h thng dch mỏy ca chỳng tụi nhm mc ớch minh kh nng biu din Ting Vit ca phm liờn kt Tuy nhiờn, vi cht lng dch khỏ thuyt phc, vic kt hp mụ hỡnh dch ny vi h thng dch theo cỏch tip cn thng kờ chc chn s nõng cao c cht lng bn dch cú th kt hp s trụi chy ca phng phỏp thng kờ vi s chớnh xỏc ca nhng bin i hỡnh thỏi v cỳ phỏp Mt nhng minh chng cho iu ú l s kt hp phõn tớch liờn kt hon chnh bn dch h dch mỏy trờn nn vớ d T l cõu dch hon ton ỳng vi cõu mu ó tng khỏ nhiu Kt hp gia cỏch tip cn thng kờ v phm liờn kt l hng phỏt trin ca h thng thi gian ti PH LC Chỳ thớch ý ngha cỏc kt ni SV: Kt ni danh t, i t xng hụ lm ch ng vi ng t SA: Kt ni danh t, i t xng hụ vi tớnh t DT_LA: Kt ni danh t, i t xng hụ vi ng t quan h l LA_DT: Kt ni ng t l vi danh t O: Kt ni ng t v b ng trc tip DI: Kt ni ng t i vi ng t khỏc NtPd: Kt ni danh t c th vi i t ch nh DpNt: Kt ni nh t ch s nhiu vi danh t c th RpVt: Kt ni nh t ch thỡ quỏ kh v ng t RfVt: Kt ni nh t ch thỡ tng lai v ng t EpNt: Kt ni gii t ch v trớ v danh t c th VtEp : Kt ni ngoi ng t v gii t v trớ VtAp: Kt ni ngoi ng t v tớnh t ch tớnh cht VmVt: Kt ni ng t tỡnh thỏi v ng t c th EoPp: Kt ni gii t ca vi i t xng hụ SHA: Kt ni hai danh t ch quan h s hu n RnV: Kt ni ph nh t v ng t THT: kờt ni cỏc t hi v ng t SS_NHAT: Kt ni tớnh t vi t nht NHAT_DT: Kt ni t nht vi danh t ng sau Cỏc kt ni cú tờn bt u v kt thỳc bng _ l kt ni ca Ting Anh (theo [19]) Tp V-1, S (28), thỏng 12/2012 TI LIU THAM KHO [1] Adji, T.B Applying Link Grammar Formalism in the Development of English-Indonesian Machine Translation System Proceedings of the 9th AISC International Conference, Intelligent Computer Mathematics , Springer, 2008, p17-23 [2] T.B Adji, B Baharudin, N Zamin Annotated Disjunct in Link Grammar for Machine Translation International Conference on Intelligent and Advanced Systems ,Kuala Lumpur, 2007, p 205-208 [3] T.B Adji, Baharudin B., N Zamin, Building Transfer Rules using Annotated Disjunct: An Approach for Machine Translation, The th Student Conference on Research and Development, December 2007, Malaysia [4] Amtrup J.W.,Mergerdoomian K, Zajac R Rapid Development of Translation Tool Proceedings of Machine Translation Summit,1999, p 385-389 [5] Diệp Quang Ban Ng phỏp Ting Vit NXB Giỏo dc, 1989 [6] D Béchet k-Valued Link Grammars are Learnable from Strings Proceedings of Formal Grammar, Vienna, Austria, 2003, pp 9-18 [7] đinh điền So-sỏnh trt-t t ca nh-ng gia Ting Anh v Ting Vit Tp san Khoa hc xó hi v nhõn vn- i hc KHXHNV Thnh ph H Chớ Minh, 2011,tr 69-80 [8] đinh điền Dch t ng Anh Vit da trờn vic hc lut chuyn i t ng liu song ng Lun ỏn Tin s, HKHTN- HQG TP H Chớ Minh, 2002 [9] Lê Khánh Hùng Nghiờn cu xõy dng th nghim phn mm dch t ng Vit-Anh Bỏo cỏo tng kt ti nhỏnh cp nh nc KC-01-03, 2004 [10] Nguyen Thi Thu Huong, Pham Nguyen Quang Anh A link Grammar for Vietnamese Journal on Information and Communicationn Technology, 8/2011 p 27-38 [11] Iyer R., Ostendorf Modelling Long Distance Dependency in Language: topic mixture and Dynamic Case Model, Speech and Audio Processing, IEEE Transactions on, Jan.1999, p30-39 [12] Kadambini K, Rama Sree R.J., Rama Krishnamacharyulu K.V An English-Sanskrit Machine Translation Using Link Parser In Proceedings of National Seminar, Tirupati, 2008 - 55 - Cỏc cụng trỡnh nghiờn cu, phỏt trin v ng dng CNTT-TT [13] N L Minh, N P Thai, L A Cuong, N V Vinh, P.H Nguyen, H S Dam LVT: An EnglishVietnamese Machine Translation System Hi ngh quc gia FAIR03, Hanoi, 10.2003 [14] D Molla, B Hutchinson Intrinsic versus Extrinsic Evaluations of Parsing Systems Proceedings of EACL Workshop on Evaluation Initiatives in Natural Language Processing, 2003, p 15-21 [15] Nguyễn thiện nam.Ting Vit nõng cao cho ngi nc ngoi NXB Giỏo dc, 1998 [16] L H Phuong , N T M Huyen, A Roussanaly , H T Vinh A hybrid approach to word segmentation of Vietnamese texts Proceedings of the 2nd International Conference on Language and Automata Theory and Applications, LATA 2008, Springer LNCS 5196 [17] Kishore Papineni, Salim Roukos, Todd Ward, and Wei-Jing Zhu BLEU: a Method for Automatic Evaluation of Machine Translation Proceedings of the 40th Annual Meeting of the ACL, Philadelphia, July 2002, p 311-318 [18] Stankevich N.V Cỏc loi hỡnh ngụn ng NXB i hc v Trung hc chuyờn nghip, H Ni,1982 [19] Daniel K Sleator, Davy Temperley Parsing English with Link Grammar CMU-CS-91-96, October 1991 [20] Nguyen Phuong Thai, Akira Shimazu Improving Phrase-Based SMTwith Morpho-Syntactic Analysis and Transformation Proceedings of the 7th Conference of the Association for Machine Translation in the Americas, p 138-147, Cambridge, 8/ 2006 [21] Tran Ngoc Tuan, Phan Thi Tuoi Syntaxbased SMT Model in Adaption to Vietnamese-English Translation Poster of the 4th Conference RIVF, 2006 [22] http://www.fen.bilkent.edu.tr/~aykutlu/ceviri [23] http://statmt.ru [24] http://www.link.cs.cmu.edu/link/trans-explanation.html Tp V-1, S (28), thỏng 12/2012 S LC V TC GI NGUYN TH THU HNG Sinh nm 1964 Tt nghip i hc Bỏch khoa H Ni nm 1986 Bo v lun ỏn Thc s ngnh CNTT ti i hc Bỏch khoa H Ni nm 1998 Hin l ging viờn b mụn Khoa hc Mỏy tớnh, Vin Cụng ngh Thụng tin v truyn thụng, i hc Bỏch khoa H Ni Lnh vc nghiờn cu: X lý ngụn ng t nhiờn, Lý thuyt ngụn ng v phng phỏp dch Email: huongnt@soict.hut.edu.vn Lấ NGC MINH Sinh nm 1989 Tt nghip ngnh Khoa hc Mỏy tớnh, i hc Bỏch khoa H Ni nm 2012 Hin ang hc Cao hc ti khoa Khoa hc Nhn thc, i hc Trento, Trento, Italia Lnh vc nghiờn cu: Dch mỏy, Ng ngha phõn phi, Ngụn ng hc nhn thc Email: ngocminh.oss@gmail.com http://corpus.byu.edu/coca/ Nhn bi ngy: 31/07/2012 - 56 - Cỏc cụng trỡnh nghiờn cu, phỏt trin v ng dng CNTT-TT Tp V-1, S (28), thỏng 12/2012 Kho sỏt h thng t ng n nh trờn khoang tờn la iu khin bng phng phỏp gas-ng mụmen The Investigation on Automatic Stability System of Missile with Lateral Impulsive Thrust Cao Hu Tỡnh, V Ha Tin v Nguyn Cụng nh Abstract: Detail information of an automatic stability system of missile steered by impulsivity forces and moment of gasdynamics is not widely published Almost published documents only described its parameters, structures and working principles In this paper, the automatic stability system of missile with lateral impulsive thrust is investigated The result proved the correctness of the working principles, structures and parameters of system It also showed that this kind of missile manoeuvres several times higher than the missile with aerodynamic fin deflection under the same requirements I T VN Nõng cao kh nng c ng ca tờn la bng cỏc phng phỏp to lc v mụmen iu khin gas-ng l mt nhng hng nghiờn cu mi nhm tng hiu qu chin u ca cỏc loi tờn la th h mi Theo hng nghiờn cu ny, cỏc nc phỏt trin ó cú nhiu kt qu ng dng vo thc t nh iu khin v tinh, iu khin i hng tờn la sau phúng thng ng, iu khin tờn la giai on cui tip cn mc tiờu cao ln Nm 2008, Bhagat v cng s ó cụng b kt qu nghiờn cu bi toỏn iu khin kt hp hng ca vec-t lc y v gas-ng kiu mụmen cho mt mụ hỡnh tờn la ỏnh chn Cỏc mụ hỡnh tờn la s dng nhng phng phỏp iu khin gas-ng khỏc cng l i tng ca nhiu nghiờn cu nhm tng kh nng c ng ca tờn la th h mi 0, 0, Cỏc kt qu tớnh toỏn thit k v kho sỏt hiu qu i vi tờn la s dng phng phỏp iu khin gas-ng c a ti liu v Thụng tin gii thiu trờn õy cho thy, vic nghiờn cu i tng tờn la núi chung v h thng t ng n nh trờn khoang tờn la s dng phng phỏp to lc v mụmen iu khin gas-ng núi riờng ó c trin khai v ng dng nhiu nc cú trỡnh cụng ngh cao i vi cỏc nc ang phỏt trin, õy l mt lnh vc mi ang c gii quyt tng bc n thi im ny, nc ta, cỏc kt qu nghiờn cu v lnh vc ny cũn mc rt hn ch 0, Trong ú, a phng ỏn thit k h cỏnh lỏi gas-ng kiu mụmen ci tin trờn mụ hỡnh tờn la cỏnh lỏi khớ ng truyn thng, cũn ti liu 0, cỏc tỏc gi a kt qu nghiờn cu thut toỏn chn phn t ng c xung da trờn thụng s u vo l s lng v pha ca thit b gas-ng Riờng bi toỏn kho sỏt ỏnh giỏ kh nng iu khin c v cht lng ca h thng núi trờn hon ton cha c cụng b Bi bỏo ny cp v gii quyt bi toỏn nờu trờn vi cỏc kt qu kho sỏt h t ng n nh trờn khoang tờn la cú s dng phng phỏp gas-ng kiu mụmen õy cng l kt qu nghiờn cu tip theo ca v 0, gúp phn hon thin v lm tin cho cỏc nghiờn cu sõu hn lnh vc mi ny II Mễ HèNH TấN LA S DNG THIT B GAS-NG MễMEN 2.1 Mụ hỡnh tờn la v tớnh toỏn tham s thit b gas-ng (TBG) Xột mụ hỡnh tờn la trờn Hỡnh 1, theo ú, TBG dng c th l mt thit b ng c xung c t phớa - 57 - Cỏc cụng trỡnh nghiờn cu, phỏt trin v ng dng CNTT-TT trc trng tõm tờn la Nguyờn lý iu khin gasng kiu mụmen c thc hin bng cỏch to lc y phn lc vuụng gúc vi trc dc tờn la mt phng iu khin vo nhng thi im v hng cn thit Khi ú gia tc phỏp tuyn tng ng c to bi lc khớ ng v s thay i gn nh tc thi ca gúc tn cụng, kt qu s lm thay i qu o bay ca tờn la Trờn thc t, cỏc micro-ng c xung c b trớ theo lp cỏc vũng xuyn vi phõn gii nh m bo sai s iu khin nm vựng cho phộp Thut toỏn chn Micro-ng c xung (MCX) ma trn thit b ng c xung ó c nghiờn cu ti liu n gin húa vic tớnh toỏn, ta quy c rng, cỏc thụng s ng lc hc cỏc MCX to mt pha iu khin c quy v giỏ tr trung bỡnh ca MCX t ti trng tõm ca TBCX nP1 g Tp V-1, S (28), thỏng 12/2012 Gia tc phỏp tuyn ca tờn la c xỏc nh thụng qua biu thc tớnh lc tng hp mt phng iu khin Gi thit gúc tn cụng nh, gúc sai lch gia vector lc y vi trc dc tờn la l rt nh, cỏc tham s kt cu v khớ ng ca tờn la thay i khụng ỏng k khong thi gian kho sỏt Khi ú, gia tc phỏp tuyn to bi phng phỏp iu khin gasng kiu mụmen c xỏc nh bng biu thc: Cy .Vtb2 (1+ * ) Wp = J R + 57,3.à po g g (4) 2.2 S cu trỳc h t ng n nh trờn khoang Tờn la iu khin bng thit b ng c xung (TBCX) S cu trỳc kờnh t ng n nh tờn la iu khin bng TBCX s dng hai vũng hi tip theo tc gúc v gia tc thng c trỡnh by trờn Hỡnh Trong Hỡnh 2, P(s) l khõu ng hỡnh hc bin i gia tc phỏp tuyn v tc gúc V xm - k K ssg K ggtt VTG n TBCX Wpg Tấ N P(s) Hỡnh Mụ hỡnh tờn la iu khin gas-ng mụmen GTT Theo mụ hỡnh trờn, cỏc thụng s iu khin gasng ca tờn la c tớnh toỏn theo cỏc cụng thc sau 0, 0: Hỡnh S cu trỳc h t ng n nh tờn la iu khin gas-ng mụmen Gia tc gúc quay thõn tờn la, to bi mt MCX: = P1 ( xm xTBG ) Iz (1) Vn tc gúc, to bi n MCX: (t ) = n 1t (2) Gúc tn cụng to bi n MCX c xỏc nh bi cụng thc: g (t ) = n1t Phng phỏp tớnh toỏn h s khuch i mch hi tip VTG v GTT c thc hin ging nh i vi tờn la cỏnh lỏi khớ ng S khỏc c th hin vic s dng h s hiu qu iu khin v h s ng lc iu khin tng ng phng phỏp to lc v mụmen tớnh toỏn (3) - 58 - Cỏc cụng trỡnh nghiờn cu, phỏt trin v ng dng CNTT-TT Giỏ tr tng ng vi giỏ tr trung bỡnh ca tc gúc quay trc dc Tờn la mt MCX to ra, c tớnh theo biu thc sau 0: = a3 gm g vtg + Lgtt K g gtt (5) vi h s ng hc phn ỏnh hiu qu iu khin ca mt MCX a3gm tớnh theo cụng thc 0: a3 gm = P1 ( xm xTBG ) IZ Tp V-1, S (28), thỏng 12/2012 mt MCX P1 = 2500N, thi gian lm vic trung bỡnh ca mt MCX = 0.016s, chu k ri rc k = 0.032s, gia tc gúc to bi lc khớ ng a = 5.25rad/s2, khong cỏch trng tõm TBCX n trng tõm Tờn la xm - xTBG = 1m Quỏ trỡnh quỏ ca h t ng n nh trờn khoang c th hin trờn Hỡnh (6) Tớn hiu iu khin k s xỏc nh vec t s lng MCX cn s dng n (gm s lng v pha ca MCX).Vec t s lng MCX n s xỏc nh ln v hng ca vec t phn lc iu khin tờn la Goc tan cong (do) Phng phỏp iu khin khớ ng truyn thng lm vic ch liờn tc theo thi gian, cũn kờnh iu khin gas-ng mụmen lm vic ch ri rc khong thi gian hu hn l k m bo loi tr trng hp cựng lỳc m c hai MCX theo hai hng ngc thỡ yờu cu khong thi gian ny khụng nh hn thi gian lm vic cc i ca mt MCX cú tớnh ti sai s, tc l phi tha iu kin sau: k > 1max (7) kho sỏt ng hc h t ng n nh iu khin gas-ng mụmen, hot ng ca TBCX mt chu k ri rc k c to gi theo gi mó sau: 0 0.05 0.1 0.15 0.2 0.25 Thoi gian (s) 0.3 0.35 0.4 0.45 0.5 Hỡnh th gúc tn cụng Thi gian phn ng ca tờn la l 0,04s, nh hn nhiu ln so vi phng phỏp iu khin cỏnh lỏi khớ ng truyn thng (0,15s) iu ny khng nh kh nng tỏc ng nhanh ca iu khin gas-ng vic nõng cao tớnh c ng ca tờn la chớnh xỏc n nh gúc tn cụng nm gii hn cho phộp, th hin thụng qua sai s