焼きなまし法を用いたTDMAスケジューリング技術
全文
(2) Vol.2013-SLDM-160 No.13 Vol.2013-EMB-28 No.13 2013/3/13. ใॲཧֶձڀݚใࠂ IPSJ SIG Technical Report t communication cycle level. static segment. arbitration grid level. static slot. dynamic segment. symbol window. static minislot minislot slot action action point point. network idle time. action point. macrotick level macrotick microtick level. microtick. ਤ1. ௨৴αΠΫϧͷ࣌ؒ֊ɽ. ͨ [5]ɽ͜ΕΒͷͰڀݚɼεϩοτϚϧνϓϨΫγϯάɼ ͢ͳΘͪɼෳͷ௨৴αΠΫϧʹΓɼෳͷ௨৴৴߸Λ ಉҰͷεϩοτʹׂΓͯΔٕ๏ɼΛߟྀ͓ͯ͠Βͣɼޮ Ռతʹಈ࡞पΛ͢ݮΔ͜ͱ͕Ͱ͖ͳ͍ɽຊߘͰɼ εϩοτϚϧνϓϨΫγϯάΛߟྀ͠ɼFlexRay όεͷಈ ࡞पΛ࠷খԽ͠ɼFlexRay ͷ௨৴ߏػΛ͢ΔͨΊ ʹඞཁͳίετΛ͢ݮΔઃํܭ๏ΛఏҊ͢Δɽ۩ମత ʹɼϑϨʔϜͷϖΠϩʔυɼͼٴɼεϩοτϚϧνϓ ϨΫγϯάΛؚΉૹ৴εέδϡʔϧΛ࠷దԽ͠ɼ௨৴όε ͷಈ࡞पΛ࠷খԽ͢Δઃٕܭज़ΛఏҊ͢Δɽόεͷಈ ࡞पΛ͢ݮΔ͜ͱʹΑͬͯɼΑΓͰ҆Ձͳઢ Λ༻Ͱ͖ɼFlexRay ωοτϫʔΫγεςϜΛ͢Δί ετΛ͖ͰݮΔɽ ຊߘͷΓ࣍ͷΑ͏ʹߏ͞ΕΔɽ2 અͰɼFlexRay ωοτϫʔΫϓϩτίϧʹ͍ͭͯ؆୯ʹड़Δɽ3 અͰɼ ຊߘͰऔΓѻ͏ઃܭΛఆࣜԽ͠ɼઃܭͷղ๏ͱ͠ ͯম͖ͳ·͠๏Λద༻͢Δɽ4 અͰɼ࣮݁ݧՌʹΑΓఏ Ҋख๏ͷ༗ޮੑʹ͍ͭͯٞ͢Δɽ5 અͰ݁Λड़Δɽ. 2. FlexRay ຊઅͰ FlexRay ඪ४ʹ͍ͭͯ؆୯ʹௐࠪ͢ΔɽFlexRay ʹؔ͢Δৄࡉ༷ॻΛࢀর͞Ε͍ͨ [4]ɽ. 2.1 ௨৴αΠΫϧ ௨৴αΠΫϧɼFlexRay γεςϜͷϝσΟΞΞΫηε ๏Λߏ͢ΔͨΊʹपظతʹ܁Γฦ͞ΕΔ௨৴ߏͷҰͭ ͷΠϯελϯεͰ͋Δɽ௨৴αΠΫϧ࣌ؒ֊ʹΑͬͯ ఆٛ͞ΕΔɽ࣌ؒ֊࢛ͭͷ࣌ؒ֊Ϩϕϧ͔Βߏ͞ ΕΔɽ͢ͳΘͪɼϚΠΫϩςΟοΫϨϕϧɼϚΫϩςΟο ΫϨϕϧɼΞʔϏτϨʔγϣϯάϦουϨϕϧɼͼٴ௨৴ αΠΫϧϨϕϧͷ࢛ͭͰ͋ΔɽҰͭͷ௨৴αΠΫϧʹண ͨ࣌ؒ͠֊Λਤ 1 ʹࣔ͢ɽ ௨৴αΠΫϧϨϕϧͰɼ௨৴αΠΫϧ͕܁Γฦ࣮͠ߦ ͞ΕΔɽҰͭͷ௨৴αΠΫϧʹɼ੩తηάϝϯτɼಈతη άϝϯτɼγϯϘϧΟϯυɼͼٴωοτϫʔΫΞΠυϧ ͕࣌ؒ·ؚΕΔɽຊߘͰಛʹ੩తηάϝϯτʹ͢Δɽ ੩తηάϝϯτͰɼૹ৴Λௐఀ͢ΔͨΊʹ TDMA(time division multiple scheme) ๏͕༻͍ΒΕΔɽTDMA ๏ڞ ༗͞ΕΔ௨৴࿏ͷͨΊͷ௨৴࿏ΞΫηε๏Ͱ͋ΔɽTDMA ๏ͰɼνϟωϧΛ࣌ؒతʹׂ͠ɼλΠϜεϩοτ͕ઃ ͚ΒΕΔɽ֤ʑͷλΠϜεϩοτɼ͋Β͔͡ΊڐՄ͞Ε ͨ௨৴ϝοηʔδͷΈ͕༻Ͱ͖Δɽಈతηάϝϯτ Ͱɼૹ৴Λௐఀ͢ΔͨΊʹ FTDMA(flexible time division multiple access) ๏͕༻͍ΒΕΔɽγϯϘϧΟϯυ ⓒ 2013 Information Processing Society of Japan. ωοτϫʔΫʹγϯϘϧΛૹΔͨΊʹ༻͍ΒΕΔ௨৴ؒظ Ͱ͋ΔɽωοτϫʔΫΞΠυϧ࣌ؒɼ௨৴͕ߦΘΕͳ͍ ͋ͰؒظΓɼ௨৴αΠΫϧΛ݁͢ΔͷͰ͋Δɽ ࣍ͷԼҐͷϨϕϧͰ͋ΔΞʔϏτϨʔγϣϯάϦουϨ ϕϧΞʔϏτϨʔγϣϯάϦουΛؚΉɽ੩తηάϝϯ τͰɼΞʔϏτϨʔγϣϯάϦου੩తεϩοτͱݺ ΕΔ࿈ଓ͢Δִ࣌ؒؒͰߏ͞ΕΔɽಈతηάϝϯτͰ ɼΞʔϏτϨʔγϣϯάϦουϛχεϩοτͱݺΕ Δ࿈ଓ͢Δִ࣌ؒؒͰߏ͞ΕΔɽ ΞʔϏτϨʔγϣϯάϦουϨϕϧϚΫϩςΟοΫϨ ϕϧͷ্ʹҐஔ͠ɼϚΫϩςΟοΫʹΑͬͯఆٛ͞ΕΔɽ ϚΫϩςΟοΫάϩʔόϧ࣌ؒΛද͢࠷খ୯ҐͰ͋Δɽ ਤ 1 ʹࣔ͞ΕΔϚΫϩςΟοΫͷڥքΞΫγϣϯϙΠϯ τͱݺΕΔɽΞΫγϣϯϙΠϯτૹ৴ ͕ثFlexRay ϑ ϨʔϜͷૹ৴Λ։࢝͢Δ࣌ࠁͰ͋Δɽ ࣌ؒ֊ʹ͓͍ͯ࠷͍ϨϕϧϚΠΫϩςΟοΫͰ ͋ΔɽҰͭͷϚΠΫϩςΟοΫ࣌ؒʹ͓͚ΔҰִؒΛࣔ ͠ɼϊʔυʹॴہతͳ֓೦Ͱ͋Δɽ. 2.2 ϝσΟΞΞΫηε੍ޚ FlexRay ͷϓϩτίϧʹ͓͍ͯɼϝσΟΞΞΫηε੍ ޚ܁Γସ͑͞ΕΔ௨৴αΠΫϧʹ͍͍ͯͮجΔɽ௨৴α ΠΫϧʹ͓͍ͯɼFlexRay ೋͭͷϝσΟΞΞΫηε ๏Λఏ͢ڙΔɽ͢ͳΘͪɼSTDMA(static time division multiple access) ๏ɼ ͼٴFTDMA (flexible time division multiple access) ๏Ͱ͋Δɽલऀͷํ๏੩తηάϝϯτͰ༻͍Β Εɼऀޙͷํ๏ಈతηάϝϯτͰ༻͍ΒΕΔɽύέοτ ͷΑ͏ʹૹ৴ͷ୯ҐͰ͋Δ௨৴ϑϨʔϜ੩తηάϝϯτ ͼٴಈతηάϝϯτͷ྆ऀͰૹΒΕΔɽຊߘͰ؆୯ʹ੩ తηάϝϯτͷͨΊͷ TDMA ๏ʹ͍ͭͯ؆୯ʹௐࠪ͢Δɽ શͯͷϑϨʔϜ֤ʑͷϑϨʔϜ ID Λ͍࣋ͬͯΔɽϑ ϨʔϜ ID ϢχʔΫʹ੩తεϩοτʹରԠ͚ΒΕ͓ͯ ΓɼϑϨʔϜ ID ʹΑͬͯૹ৴εϩοτ͕ܾఆ͞ΕΔɽϑ ϨʔϜ ID ΛϊʔυʹϢχʔΫʹׂΓͯΔ͜ͱͰௐఀ ࣮͞ݱΕΔɽ৽͍͠੩తεϩοτʹͳΔͱɼεϩοτΧ ϯλͦͷΛҰͭ૿Ճ͢ΔɽϑϨʔϜͷϑϨʔϜ ID ͕ εϩοτΧϯλͱҰகͨ͠ͱ͖ʹɼ֘ϑϨʔϜૹΒ ΕΔɽεϩοτΧϯλͷॳظ 1 Ͱ͋Δɽ੩తηάϝ ϯτͷऴΘΓʹεϩοτΧϯλ 1 ʹ࠶ॳظԽ͞ΕΔɽ શͯͷ੩తηάϝϯτಉ͡ͷϚΫϩςΟοΫ͔Βߏ ͞ΕΔɽҰͭͷ੩తηάϝϯτͷϚΫϩςΟοΫେ ҬతʹఆͰ͋Δɽਤ 2 ʹ੩తηάϝϯτͷλΠϛϯάͷ ৄࡉΛࣔ͢ɽ channel active. channel idle channel delimiter idle. frame ID 1. channel active. channel idle channel delimiter idle. frame ID 2. t. macrotick static slot action point action point offset. static slot action point action point offset static slot. slot counter 1. static slot 2. ਤ 2 ੩తηάϝϯτͷλΠϛϯάɽ. 2.3 ϑϨʔϜϑΥʔϚοτ FlexRay ϑϨʔϜૹ৴ͷͨΊͷೖΕͷͰ͋Γɼࡾͭ. 2.
(3) Vol.2013-SLDM-160 No.13 Vol.2013-EMB-28 No.13 2013/3/13. ใॲཧֶձڀݚใࠂ IPSJ SIG Technical Report. ͷηάϝϯτ͔Βߏ͞ΕΔɽ͢ͳΘͪɼϔομηάϝϯ τɼϖΠϩʔυηάϝϯτɼͼٴτϨʔϥηάϝϯτͰ͋ Δɽਤ 3 ʹ FlexRay ϑϨʔϜͷϑΥʔϚοτΛࣔ͢ɽ ϊʔυϔομηάϝϯτɼϖΠϩʔυηάϝϯτɼٴ ͼτϨʔϥηάϝϯτͷॱͰϑϨʔϜΛૹ৴͢Δɽਤ 3 ʹ ͓͍ͯɼݸʑͷηάϝϯτʹ͓͍ͯɼϊʔυࠨ͔Βӈͷ ॱংͰσʔλΛૹ৴͢Δɽ. Reserved bit Payload preamble indicator Numm frame indicator Sync frame indcator Start up indicator Frame Payload Header Cycle Data 0 Data 1 Data 2 ID length CRC count 11 bits. 7 bits 11 bits 6 bits. Header Segment. Data n CRC CRC CRC. 0 ... 254 bytes. 24 bits. Payload Segment. Trailer Segment. 111111. ਤ3. ϑϨʔϜͷϑΥʔϚοτɽ. 2.4 ϑϨʔϜͷූ߸Խ FlexRay ϑϨʔϜ 5 ͭͷϏοτྻͰූ߸Խ͞ΕΔɽ͢ ͳΘͪɼૹ৴։࢝ྻ (TSS: transmission start sequence)ɼϑ ϨʔϜ։࢝ྻ (FSS: frame start sequence)ɼόΠτ։࢝ྻ (BSS: byte start sequence)ɼϑϨʔϜऴྃྻ (FES: frame end sequence)ɼͼٴͼٴಈతϑϨʔϜࢦࣔྻ (DTS: dynamic trailing sequence) Ͱ͋ΔɽTSS ͼٴFSS ϑϨʔϜͷ։࢝ ࣌ʹૠೖ͞ΕΔɽϑϨʔϜͷશͯͷόΠτʹͦͷઌ಄ ʹ BSS ͕ૠೖ͞ΕΔɽFES ϑϨʔϜͷʹޙૠೖ͞ΕΔɽ DTS ಈతηάϝϯτʹ͓͍ͯϑϨʔϜͷ FES ͷʹޙ ૠೖ͞ΕΔɽ ਤ 4 ʹɼ੩తηάϝϯτͷූ߸Խ͞ΕͨϑϨʔϜΛࣔ ͢ɽTSS ωοτϫʔΫΛհͯ͠దͳଓ४උΛ։࢝͢ ΔͨΊʹ༻͍ΒΕΔɽૹ৴ϊʔυɼFlexRay ͷύϥϝʔ λͰنఆ͞ΕΔҰఆؒظ࿈ଓ͢Δ LOW ৴߸͔Βߏ͞Ε Δ TSS Λੜ͢ΔɽFSS ͕ TSS ͷʹޙଓ͘ɽFSS TSS ͷޙͷ࠷ॳͷ BSS ʹ͓͍ͯ͋ΓಘΔྔࢠԽࠩޡΛิ͏ͨ Ίʹ༻͍ΒΕΔɽFSS 1 Ϗοτ࣌ؒͷ HIGH ৴߸ʹΑͬ ͯߏ͞ΕΔɽϊʔυૹ৴͞ΕΔϑϨʔϜͷ TSS ͷޙ ͷϏοτετϦʔϜʹ FSS ΛՃ͢ΔɽBSS ड৴σό ΠεʹϏοτετϦʔϜͷλΠϛϯάใΛ༩͑ΔͨΊʹ ༻͍ΒΕΔɽBSS 1 Ϗοτ࣌ؒͷ HIGH ৴߸ͱ 1 Ϗοτ ࣌ؒͷ LOW ৴߸͔Βߏ͞ΕΔɽϑϨʔϜσʔλͷ֤ό ΠτɼҰͭͷ BSS ͱ 8 Ϗοτͷσʔλྻ͔Βߏ͞ΕΔ ֦ுόΠτྻͱͯ͠ɼ௨৴࿏Ͱૹ৴͞ΕΔɽFES ϑϨʔ Ϝͷ࠷ޙͷόΠτྻͷऴྃΛࣔͨ͢Ίʹ༻͍ΒΕΔɽFES 1 Ϗοτ࣌ؒͷ LOW ৴߸ͱ 1 Ϗοτ࣌ؒͷ HIGH ৴߸ Ͱߏ͞ΕΔɽϊʔυϑϨʔϜͷ࠷ޙͷ֦ுόΠτྻͷ ޙͷϏοτετϦʔϜʹ FES ΛՃ͢Δɽ. FSS TxD. 1st byte sequence. last byte sequence. HIgh Low TSS. BSS. BSS. BSS. ਤ 4 ϑϨʔϜͷූ߸Խɽ. FES. 3. εϩοτϚϧνϓϨΫγϯά࠷దԽ ௨৴όεͷಈ࡞पΛ͢ݮΔ͜ͱʹΑͬͯɼγες Ϝߏஙʹ༻͍ΔϫΠϠϋʔωεͷௐୡίετΛ੍͢Δ͜ ͱ͕Ͱ͖ΔɽຊߘɼϋʔυϦΞϧλΠϜ੍ͷԼͰɼε ϩοτϚϧνϓϨΫγϯάͼٴϑϨʔϜͷϖΠϩʔυΛ ࠷దԽ͠ɼόεͷಈ࡞पΛ࠷খԽ͢Δઃํܭ๏Λఏ Ҋ͢ΔɽຊઅͰɼରͱ͢ΔઃܭΛఆࣜԽ͠ɼઃܭ ͷղ๏ͱͯ͠ম͖ͳ·͠๏ΛԠ༻͢Δɽ. 3.1 ఆࣜԽ ຊߘͰɼ௨৴ϊʔυ͕σουϥΠϯ·Ͱʹݻఆͷ σʔλΛૹΔཁٻΛपظతʹɼ͋Δ͍ɼඇपظతʹൃ͢ ΔৼΔ͍Λ௨৴৴߸ͱఆٛ͢Δɽ·ͨɼͦΕͧΕͷૹ৴ ཁૹ͍͓ͯʹٻ৴ରͱͳΔݻఆσʔλΛ௨৴ϝοηʔ δͱͿݺɽ࣮ͷ͔؍Βɼ௨৴ϝοηʔδҰݸҎ্ ͷϑϨʔϜʹ֨ೲ͞Εɼૹ৴ݩϊʔυ͔Βૹ৴ઌϊʔυʹ ૹΒΕΔ͜ͱͱͳΔɽͷ؆୯ԽͷͨΊʹɼຊߘͰप ظతͳ௨৴৴߸͔Βߏ͞ΕΔωοτϫʔΫγεςϜΛԾ ఆ͢Δɽ௨৴ϝοηʔδ͕ඇपظతʹૹΒΕΔωοτϫʔ ΫγεςϜɼҰൠੑΛࣦΘͣʹपظతͳγεςϜʹม ͢Δ͜ͱ͕Ͱ͖Δɽ௨৴ϝοηʔδͷ࠷খִؒΛ௨৴৴߸ ͷप͢ͱظΔ͜ͱͰɼඇपظత৴߸Λपظత৴߸ͱΈͳ͢ ͜ͱ͕Ͱ͖Δɽ௨৴৴߸࢛ͭ (N, C, D, S ) Ͱද͞ΕΔɽ ͜͜ͰɼN ωοτϫʔΫϊʔυΛɼC पظΛɼD ૬ ରσουϥΠϯ࣌ࠁΛɼS ௨৴ϝοηʔδͷϏοτΛ ࣔ͢ɽωοτϫʔΫϊʔυ N C ୯Ґ࣌ؒຖʹ S Ϗοτ ͷ௨৴ϝοηʔδΛૹ৴͢ΔཁٻΛൃ͠ɼͦΕͧΕͷ௨৴ ϝοηʔδΛɼૹ৴ཁͤൃ͕ٻΒΕ͔ͯΒ D ୯Ґ࣌ؒҎ ʹૹΓऴΘΔඞཁ͕͋ΔͱԾఆ͢Δɽ Nsig ݸͷ௨৴৴߸ S = {s1 , s2 , · · · , sNsig } ͕ɼq ݸͷ੩తε ϩοτ͔Βߏ͞ΕΔ੩తηάϝϯτʹΑͬͯૹ৴͞Ε ΔωοτϫʔΫγεςϜΛߟ͑Α͏ɽຊߘͰɼ੩తε ϩοτͷ q Λมͱͯ͠औΓѻ͏ɽ௨৴৴߸ si ࢛ͭ (Ni , Ci , Di , S i ) Ͱఆٛ͞ΕΔɽҰͭͷ௨৴৴߸ʹରͯ͠ɼҰ ͭͷ௨৴αΠΫϧʹ͓͍ͯߴʑҰͭͷ੩తεϩοτׂ͕ ΓͯΒΕΔͱԾఆ͢ΔɽωοτϫʔΫγεςϜͷಈ࡞प w Ͱ͋ΓɼϘʔϨʔτ w bps Ͱ͋Δͱ͢ΔɽΑΓ ͍ಈ࡞पΛ࣮͢ݱΔ͜ͱʹΑͬͯΑΓ҆ՁͳϫΠϠ ϋʔωεΛબͰ͖ΔͱͷલఏʹཱͪɼతؔΛ௨৴ό εͷಈ࡞प w ͷ࠷খԽͱ͢Δɽ Ұͭͷ௨৴ϝοηʔδҰݸҎ্ͷϑϨʔϜͷૹͰܗΒ ΕΔɽਤ 3 ʹࣔ͢Α͏ʹɼҰͭͷϑϨʔϜϔομηά ϝϯτɼϖΠϩʔυηάϝϯτɼͼٴτϨʔϥηάϝϯτ ͔Βߏ͞ΕΔɽຊߘͰɼϔομηάϝϯτͷେ͖͞ٴ ͼτϨʔϥηάϝϯτͷϏοτྔΛͦΕͧΕ Bhd ͼٴBtl ͱ͢ΔɽϖΠϩʔυηάϝϯτͷେ͖͞ɼઃ͕ऀܭఆ ΊΒΕΔͷͰ͋Δ͕ɼҙͷ੩తηάϝϯτʹ͓͍ͯ ಉҰͰ͋Δඞཁ͕͋ΔɽҰͭͷϖΠϩʔυηάϝϯτ p (0 ≤ p ≤ 127) ݸͷ 16 Ϗοτϫʔυ͔Βߏ͞ΕΔͱ͢Δɽ ͳ͓ɼFlexRay ͷඪ४ʹ͓͍ͯɼϖΠϩʔυηάϝϯτͷ େ͖͞ۮόΠτͰ͋Δͱ͞Εɼͦͷൣғ 0 Ҏ্ 254 ҎԼͰ͋Δ͜ͱ͕نఆ͞Ε͍ͯΔɽϑϨʔϜͷϏοτ f ҎԼͷΑ͏ʹࣔ͞ΕΔɽ f = Bhd + Btl + 16p.. (1). ූ߸Խ͞ΕͨϑϨʔϜͷେ͖͞ fenc ҎԼͷΑ͏ʹද͞ ΕΔɽ ⓒ 2013 Information Processing Society of Japan. 3.
(4) Vol.2013-SLDM-160 No.13 Vol.2013-EMB-28 No.13 2013/3/13. ใॲཧֶձڀݚใࠂ IPSJ SIG Technical Report. f fenc = f + BTSS + BFSS + · BBSS + BFES + BDLM + BIDL 8 BBSS = 1+ f + BTSS + BFSS + BFES + BDLM + BIDL 8 (2) = (16 + 2BBSS ) p + O, BBSS (Bhd + Btl ) O= 1+ 8 + BTSS + BFSS + BFES + BDLM + BIDL . (3) ͜͜Ͱɼ BTSS , BFSS , BBSS , BFES , BDLM , and BIDL ͦΕͧΕ TSSɼFSSɼBSSɼFESɼνϟωϧΞΠυϧσϦϛλɼͼٴ νϟωϧΞΠυϧ࣌ؒΛද͢ɽ આ໌ͷ؆୯ԽͷͨΊʹɼϋʔυσουϥΠϯ੍Λ࣋ͭ ௨৴৴߸͚͕ͩ༩͑ΒΕΔͱ͠ɼҰͭͷ௨৴αΠΫϧҰ ͭͷ੩తηάϝϯτ͚ͩͰߏ͞ΕΔͱ͢ΔɽຊઅͰఆٛ ͞ΕΔɼಈతηάϝϯτɼγϯϘϧΟϯυɼٴ ͼωοτϫʔΫΞΠυϧλΠϜ͕ݻఆͰ͋ΔݶΓɼ੩త ηάϝϯτɼಈతηάϝϯτɼγϯϘϧΟϯυɼͼٴ ωοτϫʔΫΞΠυϧλΠϜΛ࣋ͭγεςϜʹ֦ுͰ͖ ΔɽԾఆ͔Βɼ1 ͭͷ௨৴αΠΫϧͷ࣌ؒ tcc q ݸͷ੩త ηάϝϯτͷ࣌ؒͱ͘͠ɼҎԼͷΑ͏ʹࣔ͞ΕΔɽ. tcc =. q · fenc w. = {(16 + 2BBSS ) p + O}. q . w. (4). ͜͜Ͱɼq Ұͭͷ௨৴αΠΫϧΛߏ͢Δ੩తεϩοτ Λද͢มͰ͋Γɼw FlexRay όεͷಈ࡞प Λද࣮͢มͰ͋Δɽ FlexRay ͷඪ४ͰɼεϩοτϚϧνϓϨΫγϯάɼ͢ ͳΘͪɼෳͷ௨৴αΠΫϧʹΓɼෳͷ௨৴৴߸Λಉ Ұͷ੩తεϩοτʹׂΓ͍ͯΔٕ๏ɼΛڐ༰͍ͯ͠Δɽ ۩ମతʹɼ64 ݸͷ௨৴αΠΫϧʹΓɼ࠷େ 64 Ͱ·ݸ ͷ௨৴৴߸ΛಉҰͷ੩తεϩοτʹׂΓͯΔ͜ͱΛڐ༰ ͍ͯ͠Δɽ64 ݸͷ௨৴αΠΫϧ܁Γฦ͠ग़͢ݱΔ͜ͱͱ ͳΔɽεϩοτϚϧνϓϨΫγϯάΛ༻͍Δ͜ͱͰɼ࣮ߦ ଳҬ෯ͷ༻ޮ্͕͢Δ͕ɼઃ͕ۭؒܭେ͖͘ͳΔͨ Ίʹɼඅ͖͢ઃܭΤϑΥʔτ૿Ճ͢Δɽͷ؆୯ ԽͷͨΊʹɼม ai (0 ≤ ai ≤ 6) Λಋೖ͠ɼҰͭͷ௨ ৴৴߸ 64 ݸͷ௨৴αΠΫϧͰɼ2ai ݸͷ੩తεϩοτΛ ফඅ͠ɼ26−ai ݸͷ௨৴αΠΫϧຖʹҰͭͷ੩తεϩοτΛ ফඅ͢ΔͱԾఆ͢Δɽ·ͨɼม bi (0 ≤ bi ≤ 6) Λಋ ೖ͠ɼҰͭͷ௨৴ϝοηʔδΛૹΔͨΊʹ 2bi ݸͷϑϨʔ Ϝʢ੩తεϩοτʣΛ༻͍ΔͱԾఆ͢Δɽ γάφϧ i ͷ௨৴ϝοηʔδͷେ͖͞ S i ɼׂΓͯ ΒΕͨ੩తηάϝϯτͰૹΔ͜ͱ͕Ͱ͖ΔϑϨʔϜͷϖΠ ϩʔυηάϝϯτͷ૯ܭΛ͑ͯͳΒͳ͍ɽΑͬͯɼҎ ԼͷΑ͏ͳ੍͕ಋೖ͞ΕΔɽ. 2bi +4 p ≥ S i , ∀i.. (5). ௨৴৴߸ͷసૹཁٻΛຬͨ͢సૹೳྗΛ࣮͢ݱΔඞཁ ͕͋Δɽ͢ͳΘͪɼҰͭͷ௨৴ϝοηʔδΛૹ৴͢ΔͨΊ ʹཁ͢Δ࣌ؒɼ௨৴৴߸ͷपظҎԼͰ͋Δඞཁ͕͋Δɽ ΑͬͯɼҎԼͷ੍͕ಋೖ͞ΕΔɽ. 2−ai +bi +6 tcc ≤ Ci , ∀i.. (6). ্هͷ੍ɼࣜ (4) Λ༻͍ͯɼҎԼͷΑ͏ʹม͖ͰܗΔɽ ⓒ 2013 Information Processing Society of Japan. {(16 + 2BBSS ) p + O}. 2−ai +bi +6 q ≤ Ci , ∀i. w. (7). ௨৴৴߸͕पظతʹ 64 αΠΫϧͷ͏ͪ 2ai ݸͷ௨৴α ΠΫϧΛ༻͢ΔܗଶɼҐ૬͕ 26−ai ௨Γଘࡏ͢ΔͨΊ ʹɼ26−ai ௨Γଘࡏ͢Δɽ௨৴৴߸ͷҐ૬Λࣔ͢ม ci (1 ≤ ci ≤ 64) Λಋೖ͢Δɽ ௨৴৴߸ͷҐ૬͕ܾ·Εɼ௨৴৴߸ʹׂΓͯΒΕΔ ௨৴αΠΫϧ͕શͯఆ·Δɽ௨৴৴߸͕༻͢Δ௨৴αΠ ΫϧΛࣔͨ͢ΊʹɼҎԼͷΑ͏ͳೋม di, j Λಋೖ͢Δɽ ⎧ −ai +6 ⎪ ⎪ · m (0 ≤ m ≤ 2ai − 1) ͷ߹ɽ ⎪ ⎨ 1 j = ci + 2 di, j = ⎪ ⎪ ⎪ ⎩ 0 ͦΕҎ֎ɽ. (8) Ұͭͷ௨৴αΠΫϧʹ·ؚΕΔ੩తεϩοτͷ q ɼ Ұͭͷ௨৴αΠΫϧʹׂΓͯΒΕΔ௨৴৴߸ͷ࠷େ ʹΑܾͬͯఆ͞ΕΔɽҰͭͷ௨৴αΠΫϧ͋ͨΓͷ੩తε ϩοτͷ q ҎԼͷΑ͏ʹද͞ΕΔɽ. q = max di, j . (9) j. i. Ұͭͷ௨৴ϝοηʔδҰͭҎ্ͷϑϨʔϜͷૹͰܗ৴ ͞ΕΔɽਤ 5 ʹɼҰͭͷ௨৴ϝοηʔδ͕ҰͭҎ্ͷϑ ϨʔϜͷૹͰܗΒΕΔ༷ࢠΛࣔ͢ɽҰ൪ͷϑϨʔϜ͕੩ తεϩοτʹΑͬͯૹΒΕΔલʹ͕ͪ࣌ؒੜ͡Δɽ௨৴ ৴߸͕௨৴αΠΫϧதͷ੩తεϩοτͷԿΕ͔ʹׂΓͯ ΒΕΔͱԾఆ͢ΔɽҎԼʹࣔ͢Α͏ʹɼ࠷େͪ࣌ؒɼ ׂΓͯΒΕͨ੩తεϩοτͷִؒͱ͍͠ͱ͢Δɽ. 2−ai +6 tcc .. (10). ͪ࣌ؒͷʹޙɼϑϨʔϜΛૹΔ͕࣌ؒଓ͘ɽҰͭͷ௨৴ ϝοηʔδΛૹΔ͕࣌ؒɼҎԼʹࣔ͢ɼׂΓͯΒΕͨ௨ ৴αΠΫϧͷ૯ʹܭ͍͠ͱ͢Δɽ. 2−ai +bi +6 tcc . ௨৴৴߸ i ͷ௨৴ϝοηʔδΛૹ৴͢ΔͨΊͷ࠷ѱϨΠς ϯγ ti ࠷ѱͪ࣌ؒͱҰͭͷ௨৴ϝοηʔδΛૹΔ࣌ؒ ͷͰ͋ΓɼҎԼͷΑ͏ʹද͞ΕΔɽ
(5). ti = 2−ai +6 + 2−ai +bi +6 tcc . (11) ϋʔυσουϥΠϯ੍Λຬͨͨ͢Ίʹɼ௨৴৴߸ i ͷ௨ ৴ϝοηʔδΛɼ૬ରσουϥΠϯ Di Λ͑ͳ͍Α͏ʹɼ ૹΔඞཁ͕͋Δɽࣜ (11) ΑΓɼҎԼͷ੍͕ಋ͔ΕΔɽ.
(6) 2−ai +6 + 2−ai +bi +6 tcc ≤ Di , ∀i. ্هͷ੍ɼࣜ (4) Λ༻͍ͯɼҎԼͷΑ͏ʹม͖ͰܗΔɽ.
(7) q ≤ Di . (12) {(16 + 2BBSS ) p + O} 2−ai +6 + 2−ai +bi +6 w ཧϞσϧҎԼͷΑ͏ʹ༩͑ΒΕΔɽ Minimize the cost function w subject to ( 1 ) 2bi +4 p ≥ S i , ∀i. 2−ai +bi +6 q ≤ Ci , ∀i. ( 2 ) {(16 + 2BBSS ) p + O}. w ( 3 ) q = max di, j . j i.
(8) q ≤ Di , ∀i. ( 4 ) {(16 + 2BBSS ) p + O} 2−ai +6 + 2−ai +bi +6 w. 4.
(9) Vol.2013-SLDM-160 No.13 Vol.2013-EMB-28 No.13 2013/3/13. ใॲཧֶձڀݚใࠂ IPSJ SIG Technical Report. transmit request. transmit request. previous period. current period. next period. overall transmission time worst-case waiting time. assigned static slot ਤ5. unassigned static slot. ௨৴ϝοηʔδͷૹ࣌ؒɽ. Variables • w is a real variable. • p is an integer variable. • q is an integer variable. • ai is an integer variable. • bi is an integer variable. • ci is an integer variable. • di, j is a binary variable.. 3.2 ম͖ͳ·͠๏Λ༻͍ͨ TDMA εέδϡʔϦϯά ম͖ͳ·͠ (SA: simulated annealing) ๏ඇܾఆੑΞϧ ΰϦζϜͷҰͭͰ͋Δ [9]ɽධՁ͕վળ͞ΕΔղΛ࠾ ͢Δ͜ͱʹՃ͑ͯɼ͋Δ݅ͷͱͰධՁ͕ѱԽ͢Δղ ࠾͢Δ͕ SA ๏ͷಛͱͯ͛͠ڍΒΕΔɽ୳ࡧॲཧ ͷॳظஈ֊ͰɼධՁ͕ѱԽ͢ΔղΛ࠾͢Δ͕֬େ ͖͘ɼ୳ࡧॲཧ͕ਐΉʹͭΕɼධՁ͕ѱԽ͢Δ߹͍͕ খ͍͞ղͷΈ͕࠾͞Ε͘͢ͳΔɽ࠷ऴతʹɼධՁ Λվળ͢ΔղͷΈ͕࠾͞ΕΔɽ SA ๏ͷٖࣅίʔυ [9] Λਤ 6 ʹࣔ͢ɽखଓ͖ SA ʹ͓͍ ͯɼखଓ͖ Metropolis ͷͼݺग़͕͠܁Γฦ͞ΕΔɽखଓ ͖ Metropolis ͕ͼݺग़͞ΕΔʹɼԹΛද͢ม T ʹྫྷ ٫ α ͕͡ΒΕɼT ݮগ͢ΔɽҰํɼखଓ͖ Metropolis ͕ͼݺग़͞ΕΔʹɼ M ʹ β ͕͡ΒΕɼ M ૿Ճ͢Δɽ M खଓ͖ Metropolis ʹ͓͚Δղͷ୳ࡧճΛܾఆ͢Δ ͷͰ͋Δɽखଓ͖ Metropolis ʹ͓͍ͯɼ༩͑ΒΕͨղ ͷۙΛ͢खଓ͖ Neighbor ʹΑͬͯಘΒΕͨҰ࣌ղΛ ಘΔɽ৽ͨʹಘΒΕͨղͱࡏݱղͷධՁͷࠩʹͮج ͍ͯɼॲཧ͕ҟͳΔɽධՁ͕͞ݮΕͨ߹ɼNewS Ͱ BestS Λߋ৽͢Δɽ͞ͳ͚Εɼ֬తʹɼධՁͷ૿ ՃΛ͠ڐɼNewS Ͱ CurS Λߋ৽͢Δɽ ຊ͍͓ͯʹڀݚɼSA ๏Λ 3.1 અͰࣔͨ͠ͷղ๏ͱ ͯ͠༻͍ͨɽղۭؒɼม ai , bi , ci , w, p ʹΑͬͯߏ͞ ΕΔɽۙΛٻΊΔखଓ͖ Neighbor ʹ͓͍ͯɼҰఆͷ ֬ʹ͍ͯͮجɼղΛߏ͢ΔมΛҰͭબ͠ɼ૿͞ݮ ͤΔɽมʹ͍ͭͯɼ1 ͚ͩ૿͢ݮΔɽw ʹؔͯ͠ɼ ਖ਼ن (μ = 0, σ = 50) ʹݮ૿͍ͯͮجΛܾఆͨ͠ɽ. ⓒ 2013 Information Processing Society of Japan. worst-case waiting time. sending time. Pseudo-code for Simulated Annealing Procedure SA(S 0 ,T 0 ,α,β,M,MaxTime) // S 0 ॳظղ // T 0 ॳظԹ // α ྫྷ٫ // β ఆ // M ࣍ͷύϥϝʔλߋ৽·Ͱͷ࣌ؒ // MaxTime ૯ॲཧ࣌ؒ begin T = T0 ; CurS = S 0 ; BestS = CurS; CurCost = Cost(CurS); BestCost = Cost(BestS); Time = 0; repeat Metropolis(CurS,CurCost,BestS,BestCost,T,M); Time = Time + M; T = αT; M = βM; until (Time ≥ MaxTime); end Procedure Metropolis(CurS,CurCost,BestS,BestCost,T,M) begin repeat NewS = Neighbor(CurS); NewCost = Cost(NewS); ΔCost = NewCost − CurCost; if (ΔCost < 0 ) then if NewCost < BestCost then BestS = NewS; endif else if (RANDOM < e−ΔCost/T ) then CurS = NewS; endif endif M = M − 1; until (M = 0) end ਤ 6 SA ๏ͷٖࣅίʔυ. 4. ࣮ݧ 4.1 ४උ SAE ϕϯνϚʔΫࣗಈं͚ࢄ੍ޚγεςϜͷ௨৴ ৴߸ཁ݅ͷҰྫͰ͋ΔɽSAE ϕϯνϚʔΫ 53 छྨͷ௨ ৴৴߸͔Βߏ͞ΕΔɽSAE ϕϯνϚʔΫͷৄࡉ Kutlu ΒʹΑͬͯ༩͑ΒΕ͍ͯΔ [6]ɽຊߘͷ࣮͍͓ͯʹݧɼେ. 5.
(10) Vol.2013-SLDM-160 No.13 Vol.2013-EMB-28 No.13 2013/3/13. ใॲཧֶձڀݚใࠂ IPSJ SIG Technical Report. ͖ͳ௨৴৴߸ʹରͯ͠ SA ʹ͍ͨͮجιϧό͕࣭ͷ ߴ͍ղΛٻΊΔ͜ͱ͕Ͱ͖Δ͜ͱΛ֬ೝ͢ΔͨΊʹɼSAE ϕϯνϚʔΫΛ༻͍ͯԾతͳ௨৴৴߸ू߹Λ࡞ͨ͠ɽ ࣮͍ͨ༻ʹݧ௨৴৴߸ू߹Λද 1 ʹࣔ͢ɽද 1 ͷதͷϕϯ νϚʔΫ bn n ݸͷ SAE ΛؚΉ͜ͱΛҙຯ͢Δɽ. Operating frequency [Mbps]. 30. ද 1 ࣮͍ͨ༻ʹݧ௨৴৴߸ू߹ɽ ϕϯνϚʔΫ໊ ௨৴৴߸. b1 ʢSAE ϕϯνϚʔΫʣ b2 b3 b4 b5 b6 b7. 53 106 159 212 265 318 371. ຊߘͰࣔ͢ʹݧ࣮ػࢉܭɼද 2 ʹࣔ͢ɼPark ΒʹΑͬ ͯ༩͑ΒΕͨωοτϫʔΫύϥϝʔλू߹ [7] Λ༻͍ͨɽ νϟωϧΞΠυϧσϦϛλͷʹޙνϟωϧΞΠυϧλ ΠϜ͕ͳ͍ͱԾఆͨ͠ɽ ද 2 ωοτϫʔΫύϥϝʔλɽ Factor Length Header w/o BSS 5 B/frame Header w BSS 45 bits/frame Trailer w/o BSS 3 B/frame Trailer w BSS 27 bits/frame TSS 9 bits/frame FSS 1 bit/frame FES 2 bits/frame Idle delimiter 11 bits/frame Action point offset 1 MT/frame, 10 bits/frame BSS 2 bits/frame byte. 1. 2. 3. 4. 5. 6. 7. 8. 5. ͓ΘΓʹ ຊߘʹ͓͍ͯɼεϩοτϚϧνϓϨγϯάɼͼٴϑ ϨʔϜͷϖΠϩʔυΛ࠷దԽ͠ɼ௨৴όεͷಈ࡞प Λ࠷খԽ͢Δ TDMA ௨৴ߏػͷઃܭख๏ΛఏҊͨ͠ɽSA ๏Λ࠾༻͢Δ͜ͱͰɼେنͳͷ௨৴৴߸ΛؚΉγες Ϝʹରͯ͠ɼ࣭ͷߴ͍ TDMA εέδϡʔϧΛ࣮༻࣌ ؒʹಘΔ͜ͱ͕ՄೳͱͳͬͨɽεϩοτϚϧνϓϨΫγ ϯάΛ࠾༻͠ͳ͍طଘख๏ [10, 11] ͱൺɼఏҊख๏ಈ ࡞पΛ 62.3ʙ63.2%͖ͰݮΔ͜ͱΛ࣮ݧతʹ֬ೝ͠ ͨɽఏҊख๏ʹΑͬͯɼΑΓͰ҆ՁͳϫΠϠϋʔωε Λ༻͍Δ͜ͱ͕Ͱ͖Δ͜ͱ͕ظ͞ΕΔɽ ࢀߟจݙ [1] [2]. [4]. [6]. [7]. ⓒ 2013 Information Processing Society of Japan. 5. ਤ 7 ௨৴৴߸ू߹ͷنͱಈ࡞पͷؔɽ. [5]. 4.2 ࣮݁ݧՌ ఏҊख๏ͷ༗ޮੑΛࣔͨ͢ΊʹɼSA ʹͮ͘جιϧόͰ ಘΒΕΔ TDMA εέδϡʔϧΛɼطଘڀݚͷख๏ [10, 11] Λ༻͍ͯಘΒΕΔͷͱൺֱͨ͠ɽఏҊख๏εϩοτϚ ϧνϓϨΫγϯάΛ࠾༻͢ΔͷͰ͋ΓɼҰํɼطଘख๏ εϩοτϚϧνϓϨΫγϯάΛ࠾༻͠ͳ͍ͷͰ͋Δɽ ਤ 7 ʹ࣮݁ݧՌΛࣔ͢ɽಘΒΕͨόεͷಈ࡞पɼ௨ ৴৴߸ू߹ͷنʹൺྫͯ͠૿Ճ͢Δ͜ͱ͕Ӑ͑Δɽطଘ ͷख๏ͱൺͯɼఏҊख๏ 62.3ʙ63.2%ͷಈ࡞पΛ ͢ݮΔ݁ՌͱͳΓɼεϩοτϚϧνϓϨΫγϯάͷޮՌ Λ࣮ݧతʹ֬ೝͰ͖ͨɽ·ͨɼ௨৴৴߸͕ 159 ݸΛ͑ ΔنͷϕϯνϚʔΫʹରͯ͠ɼطଘख๏ͰɼFlexRay ͷ͞ڐ্֨نΕΔ 10Mbps Λ͑Δ݁ՌͱͳΓɼFlexRay ʹ४ͨ͠ڌγεςϜΛߏங͢Δ͜ͱ͕Ͱ͖ͳ͍͜ͱ͕ཧղ ͞ΕΔɽ. 10. # of SAE copies. ද 3 SA ͷύϥϝʔλɽ. SM ΛߦΘͳ͍߹ͷ࠷దղ [10, 11] 100 0.9, 0.99, 0.999, 0.9999, 0.99999 1.00001, 1.0001, 1.001, 1.01 10, 20, 30, 40, 50, 60, 70, 80, 90, 100. 15. 0. [3]. S0 T0 α β M ͷॳظ. 20. 0. 3.1 અʹࣔͨ͠ͷղΛ༩͑ΔɼSA ๏ʹ͍ͨͮجιϧ όΛ C++ʹޠݴΑͬͯ։ൃͨ͠ɽSA ͷύϥϝʔλͱͯ͠ɼ ද 3 ʹࣔ͢ͷΛ༻͍ͨɽ200 ௨Γͷύϥϝʔλͷ߹ͤ ʹରͯ͠ɼSA ๏ʹͮ͘جιϧόΛ࣮ߦ͠ɼղΛٻΊͨɽ ύϥϝʔλ. w slot multiplexing w/o slot multilexing. 25. [8]. [9] [10]. [11]. [12]. J. Bisschop, AIMMS –optimization modeling–, Apr. 2011. Bosch, “Control area network,” http://www.can.bosch.com/, Jan. 2013. G. Cena and A. Valenzano, “Achieving round-robin access in controller area networks,” IEEE Trans. Ind. Electron., Vol. 49, No. 6, pp.1202–1213, Dec. 2002. FlexRay Consortium, FlexRay communications system protocol specification version 3.0.1, Oct. 2010. ؠӬ໌ਓ, ਿݪਅ, “৴པੑཁ͍ͨͮجʹٻରނোੑΛ࣮ݱ ͢Δ TDMA εέδϡʔϦϯάख๏,” ใॲཧֶձࠐΈ γεςϜγϯϙδϜ, pp. 39–47, 2012 10 ݄. A. Kutlu, H. Ekiz, and E. T. Powner, “Performance analysis of MAC protocols for wireless control area network,” Proc. International Symposium on Parallel Architectures, Algorithms, and Networks, pp. 494–499, Jun. 1996. I. Park and M. Sunwoo, “FlexRay network parameter optimization method for automotive applications,” IEEE Trans. on Industrial Electronics, Vol. 58, No. 4, pp. 1449– 1459, Apr. 2011. K. Schmidt and E. G. Schmidt, “Message scheduling for the FlexRay protocol: the static segment,” IEEE Trans. Vehicular Technology, Vol. 58, No. 5, pp. 2170–2179, Jun. 2009. നੴ༸Ұ༁ Sadiq M. Sait Βஶ, ߹ͤ࠷దԽΞϧΰϦζ Ϝͷ࠷৽ख๏, ؙળࣜגձࣾ, 2002 3 ݄. ਿݪਅ, ؠӬ໌ਔ, “ϋʔυϦΞϧλΠϜੑΛߟྀͨ͠ FlexRay ͷόεଳҬ෯ͷ࠷খԽٕज़,” ใॲཧֶձڀݚ ใࠂ, Vol. 2012-EMB-24, No. 19, pp. 1–6, 2012 3 ݄. M. Sugihara and A. Iwanaga, “Minimization of FlexRay bus bandwidth for hard real-time applications,” Journal of Infor˙ mation Processing, Vol. 21, No. 1, pp.46-52, Jan. 2013. H. Zeng et al., “Schedule optimization of time-triggered systems communicating over the FlexRay static segment,” IEEE Trans. Industrial Informatics, Vol. 7, No. 1, pp. 1–17, Feb. 2011.. 6.
(11)
関連したドキュメント
The first paper, devoted to second order partial differential equations with nonlocal integral conditions goes back to Cannon [4].This type of boundary value problems with
Thus, we use the results both to prove existence and uniqueness of exponentially asymptotically stable periodic orbits and to determine a part of their basin of attraction.. Let
Mugnai; Carleman estimates, observability inequalities and null controlla- bility for interior degenerate non smooth parabolic equations, Mem.. Imanuvilov; Controllability of
“Breuil-M´ezard conjecture and modularity lifting for potentially semistable deformations after
Section 3 is first devoted to the study of a-priori bounds for positive solutions to problem (D) and then to prove our main theorem by using Leray Schauder degree arguments.. To show
Kartsatos, The existence of bounded solutions on the real line of perturbed non- linear evolution equations in general Banach spaces, Nonlinear Anal.. Kreulich, Eberlein weak
We study infinite words coding an orbit under an exchange of three intervals which have full complexity C (n) = 2n + 1 for all n ∈ N (non-degenerate 3iet words). In terms of
Afterwards these investigations were continued in many directions, for instance, the trace formulas for the Sturm-Liouville operator with periodic or antiperiodic boundary