• 検索結果がありません。

Automatic Generation of Control Programs for Cleaning Robots Using Simulated Annealing Programming

N/A
N/A
Protected

Academic year: 2021

シェア "Automatic Generation of Control Programs for Cleaning Robots Using Simulated Annealing Programming"

Copied!
2
0
0

読み込み中.... (全文を見る)

全文

(1)

The 22nd Annual Conference of the Japanese Society for Artificial Intelligence, 2008

3H2-2

! "$#%&

Automatic Generation of Control Programs for Cleaning Robots Using Simulated Annealing Programming

')(+*),

∗1 Mitsunori MIKI

-).0/)1

∗2 Yuki MATSUI

2)3+4)5

∗3 Tomoyuki HIROYASU

∗1687)9;:)<0=?>8<)@

Department of Science and Engineering, Doshisha University

∗2687)9):)<+:)<)A?>8<)B)C)D

Graduate School of Engineering, Doshisha University

∗3687)9):)<0E)F?G8D;<)@

Department of Life and Medical Sciences, Doshisha University

When precise movement is demanded of a robot, the control program must be optimized regarding not only program structure, but also the degree of movement. However, only the program structure was optimized with the conventional Simulated Annealing Programming(SAP). Therefore, we propose the method that optimized degree of movement as well using Simulated Annealing(SA). The control program generated by the proposed method for a cleaning robot performed well.

1.

HJILK)M

NPOPQSRUTSV8WYXPZ\[L]_^\`PaSb_ZP[\cPdSeLfgX\hLR\iPj

k ]Pl\mPn\o_pLqPrPs\t_u8vg[\wPx\aLbLvy[PhSRPi\jLz_m\i

{P|8}~_€

u\Lb‚Lƒ

€L„

QP…P†

{P‡Lˆ‰PŠ\‹LŒ

eLsS_e

ŽP r\_‘P’ ‹LŒ bhLRPi\j

k

]_…PX\“ ‹P” bPƒS• „_–\—P‹

e_™˜ ˆ_‹›š b_‚œƒ_X8v[PhLR™iPjLzUmPiUXP“PžŸ•P gu™Q™¡™¢

XP£P¤\¥

‹S„P¦

zoL§gpP¨SV8©YªP«\p8¬_m\i_hSRPi\jLz_m\i

(Simulated Annealing Programming:SAP)[­S® 2007]X\£

¤L]_ZLt_uPLb_‚

SAP „ Q ¦ zUoL§yp\¨›V¯©Yª\«\p8¬m\i

(Simulated An- nealig ° SA)]_±P²P³ {™´Lµ bPs›_r_¶P·Ÿ g˜P“Pž ‹LšL¸ Qº¹ Z™£™¤LrU»P™uP¼›m_½™¾™pL¿UÀPÁ›r_»›ÂPbUÃPęŠ{™Æ›~_€ uP

b

[­L® 2007]‚¯ gÇ8 gQPÈPÉLe_[ Œ ]_ÊPË ~_€ bPR_TLV¯WÌX hLR™iPj

k

‹L„ QºhLRPi™j

k

XP²™³L]UÍPÎPϟ gQ ~LÐ r_[ ” X

ÑPÒ

L]_әÔPaLbUÕPÊ {›š

b_‚ºÖLƒ

‹™×

£™¤

‹L„

Q™ØPٛR_T›V

WYXPZP[P^P`PhLRPiPj

k

]_Ú ¸gÛSÜ Q

SAP ]_ÝPPuPhLRPiPj

k

]›vg[™wPx™aLbUÞLrUQº[ ” X ÑPÒ

PX™ßPà›e_͙ÎPϛ]_a›b_“

žLr_áPPuPâPãPaLb_‚

2.

äæåŸçéè›êæëæìí™î;ï8êñðŸò)óæô;õŸó)öæå ò)ó

(SAP)

SAP„ ±\²P³L]_÷8•P gu ´ ‚PªPøLùL¬gú k „

SA •_û_ü

r_QºwPxPý™þPQºÿPþ

Š Q

Ž

Qœ¿_p8¬UmPiUÇ

Ð

x›b_‚

r_ßPàL] Æ a™‚

1.

wPxPýPþ

1r_w™xPýPþ™XPü›] Æ aº‚

1XLsLUr™XP÷PÇ

Ð

jPm k r_p)©g]8 gQ

~€

˜_p)©g]8•

aLbP±S]PÙPaLb_‚LrPÙ8 y˜Lr_QLjPm

k

r_wPx8 g˜P±L]8 gQP÷L]_wPxPa›b_‚

2. ÿPþ

Š Q

Ž

\XP÷\X

E

• \÷\X

E0

•yX!

∆E(=E0−E)Q"#$ Ñ% j&_pLq T

]'Lr_QP÷

(*) ¹

: +*,.-*/ QLû10*2*354*3*456*7*4 £ ¤*8 Q 9;:=<=9

®?>=@=A

¢B :=C

1-3Q 0774-65-6924Q [email protected]

Ԛᰴ⸃୥⵬

ԙ Ԙ⃻࿷ߩ⸃

ㆬᛯὐ

㕖⚳┵⸥ภ

⚳┵⸥ภ

೥㒰

ㇱಽᧁࠍᝌ౉

1

wPxPýPþ

L]_ÿPþPaLb_ÇDPÇ\X Š ]_Z8‚ ƒ_X Š r „E

(1)

r Æ a

Metropolis'FL]_ÝPLb . PAC=

G

1 if ∆E0

exp(∆ET ) otherwaise (1)

E

(1)X PAC

„ ÿPþHI ‹L𛏠QP÷ {JKLNMO

wPx ~_€ ˜P Ò „QRSP‹ ÿPþ8 gQ JTLMO wPx ~€

˜P Ò ‹ HIULr_ÿPþPaLb_‚

3. ¿_pŸ¬_mPi

ÛV™‹™Æ  ˜

1.

•

2.

XW ” ]X ¸ZY  Z8UƒL•U]UªP«™p

¬Um™i™][#™Q\ Š] †™ª™«PpŸ¬UmPi™]UZ›tU˜^™Q$ Ñ%

j&UpLq

Tk

]_ ~` aLb_‚ab^PX$

Ñ

Tk+1

„E

(2)

r Æ acdePª™«™p8¬Um™iP]UÝP™uf Š aLbU‚œeU»™Q

γ

„

¿_pŸ¬_mPiI ‹Lš b_‚

Tk+1=γTk (0.8≤γ <1) (2)

3.

gih=j?k

×

£P¤

‹L„

QºZP[Pc™dPXŸvg[™wPxlLÂ

‹L„

e ` Qº[

” X љÒ

LnmopqLe‘rPÀ\Á8•\ guPØ\ÙLRTLV8WYXPZ\[PcPdS] ´

PQ›ƒ € ]UØPÙPÀPÁŸ•Z[sP‚ºØPÙPÀPÁŸ• „ Q

1t X›R_T›V8W {

u8Ðg€

˜PZ™[vd

‹

Qxwy_pPø;©Zz™]_ÄIU›r{

¸Z|

 Ue

`}

[PaLb™ƒL•U] } U8•aLbUÀPÁ ‹Lš b_‚~ Š  g˜€ „ X{

¸g‹Lš b_‚

wy_p™ø)©

2r Æ a 10 10¾‚PX 6áPXwyp™ø)©g]_ÝPLb_‚

R_T›V¯WÌX~ Š

R_TLV8W „ƒ„PŽ X „ ]L guP» ¸ Q }Z… X†‡ˆPXPâ‰

{ pq8•gaLb_‚›R_T›V8W ]‹ŒL„

2r Æ  g˜LsL

r_Qwy_p\ø)©ÌXŽ  gQ MPŒ™„_ÛMPŒ •ga›b_‚›e_»PQ

wy p™ø;© X

1¾‚™X\ > ~™„ RUTœV WÌX‘Ÿ•a›bU‚

1

(2)

The 22nd Annual Conference of the Japanese Society for Artificial Intelligence, 2008

C D E

F G H

ࡠࡏ࠶࠻

㓚ኂ‛

⒖േน⢻ߥ㗔ၞ

2 wyp™ø)©YXPü

ZP[PcPd

ZP[PcPd8•P guPQ

1Q"# 2r

Æ

a

V

]_ÝPLb_‚P˜PQLR_TLV8W „

(

[pqLe_¾‚PXd

)

 3v [pq ‹LšL¸ Q V ] 1áPZPa›bL•_r ZP[vdL]

1 aLbP_X8•gaLb_‚

1 V

if obstacle ahead 2 "!# $

%'&)("*+,.-/02143

156798

:#;<01<3

2576=">2?@'$

progn2 2 "!# $

3

1A8

3

2CBD

(

=">"?5@'$

progn3 3 "!# $

3

1A8

3

2A8 3 356EB6D ( =>2?@'$

progn2r 2 "!# $

3

1A8 3 2567 1:1BFG#H

I6J)K9L

=">"?5@9$

2 V

4#

RIGHT 45M'N5"O.PQ$

LEFT 45M'R5"O.PQ$

MOVE S4T#UWVEBXYZ4[

%\

?5@9$

%&#("*"+',.-/01

8]#B9^.H'_"`?@'$

L ž

„ [pqLe5abLr_‘PaLb{ ¸ |  g˜abPXc Ò r

s™t_uPË

ˆ

bP_XŸ•gaLb_‚Ÿ g˜

{

t_u\Q

E

„ Q E

(3)r Æ a } UeddLrPsPtu™Ë ˆ b_‚Le_»PQ

Se

„ [p

qLe5ab™XfgL]UQ

Sr

„ R_T›V8W { [8 g˜fgL]_Ö €

h

€PÆ

a™‚

E= (1.0−Sr

Se

)∗100 (3)

4.

ikjklkmknpoqlkrkskt

V

eLfUr_ÝP

Ðg€

b_[

” X ÑPÒ



(u vv

Ñ Q

[w

x eLf

){ mopqLeU‘rPÀPÁ›r_»PPu™QN_p)©yLrU[ ” X Ñ

Ò

™XPәÔL]UaLb™ƒL• ‹ Qœs ¸ ÀPÁ›r_Ο g˜™hLR™iPj k Xz{

{]|™‹LŒ

b_‚™ÖLƒ

‹

Q}~

…P‹L„

SAPrPs

¸

hLRPiPj k

XP²™³PX™ÍPΙÏL]UZP™Q€}~^ P‹›„ [ ” X ÑPÒ PX™ÓPԛ]_Z

}~™“PžL]5‚PaLb_‚™[ ” X ÑPÒ PX™ÓPÔLr „

SAP •_û_ü

X

1ƒ }~ ‹Lš b SA]_ݙLbU‚œƒPƒ ‹ XP[ ” X ÑPÒ

PX™ÓPÔ

]

SA/c „Simulated Annealing/continuousness… • [s™‚

r_ßPàL] Æ a™‚

1

±P²P³PXPÍPÎPÏ

SAP]_ÝPPuPQ™±P²™³PXPÍPÎPϛ]_Z8‚†‡vd {

ˆ }~vdPX

R% r5‰8 g˜8• Œ }~L]5Š8 QPX™÷

]5}~ ‹ { Ðg€ ˜PÍ K ÷8•gaLb_‚

2

[ ” X ÑPÒ PXPÍPÎPÏ

1X}‹~LrPs ¸ { Ðg€ ˜\Í K ÷ ‹Sš b_±\²P³L]'Sr_[ ” X ÑPÒ \XPÍPÎPÏL]_Z¯‚‹†‡vd { ˆ }~vdPX

(100−R)%r5‰Ÿ g˜Ÿ• Œ }~›]5ŠPaLbU‚€ŒULe}W ”

„ Q r Æ a™‚

2-1

wPxPýPþ

mopqLe % j&pLq\]\_á ˆ uPX p)©yr_»\

uPQ

%

j&_p›qP]Pj™m k rmo8 QP÷›]_w

xPaLb_‚

2-2

ÿPþ

Š Q

Ž

{ Ðy€ ˜P÷L]n¯ gQ

Metropolis

'F

„E

(1)… ]_ÝPPuPÿPþ Š QP»Ls# Ž ]_ZŸ‚

5.

Žkk‘

× £\¤ ‹S„ Q

3’ ‹PŠ‹“  y˜PØ\ÙPÀ\ÁLr‘¯ gu\Q\‹”ULe

SAP»›sn#PQ 4’

‹

‚8 y˜P“PžS]_ÎPÝ8 yQ•–‹—L]_ZLt

˜P‚$ Ñ ‚˜e™Po_pPø „ ¿_p8¬_mPiP]_ÝPP˜P‚

SAP

X}~Lr

ÝPP˜ % j&_pLqP]5

3 r Æ a™‚›e_»PQ 3š XP͛$ Ñ „

Í3 JT ]

50%„5œLˆ b$ Ñ QP͝$ Ñ „ 1¿_p8¬_m\i5ž ] r_Í_ JT ]

1

v „5œLˆ b$ Ñ ‹Lš b_‚

P˜PQ‚™“PžLr_»P™uPQ

SArPs™b % j&UpLq_ÓPԛr5Ÿ ¸   µ b5c Ò

R

„

75% „SAPX‹}~vd 24,000Q SA/cX‹}

~vd

8,000… •P g˜P‚™[ ” X

ÑPÒ

PXPәԡ¢8•™ guPQ

u v

v Ñ

{RIGHT,LEFT}„ 5£ 90

Ñ Q [w

x

{MOVE}„ R

TLV8WYX3 ŒP~ X

0.5£ 2.0¤ XP†8•™ g˜P‚

3 $ Ñ% j&_p›q

¥§¦'¨

ª

total steps 32,000

cooling num 32

max temperature 144 min temperature 0.01

—PX«¬L]

30­ ZPXPÍ

K

PX®¯™Q™Í3PQ™Í_

]

3r Æ a™‚Le_»PQ 3„5°±™{ PQ² ±P{ wy_p

ø)©g] Æ  gQ „ _ ~ e³Lf K  ‹Lš b_‚

㪪㪘㪧 㪪㪘㪧㪂㪪㪘㪆㪺

㪇 㪌 㪈㪇 㪈㪌 㪉㪇 㪉㪌

䊐䉞䊷䊦䊄

⹏ ଔ ୯

㪸㫍㪼㫉㪸㪾㪼 㫄㪸㫏 㫄㫀㫅

C D E F G H

3 wy_pPø)©gr_»LÂPbPX•–

3Ç Ð Q SAPX´™X}~Ls ¸ ‚P“™žPX LP{ ®¯PQ™Í

_¯•_\r K‹µ

e÷L]¶{P˜SƒL•

Ǜt˜P‚Lƒ

€

r\s

¸

QLR

T›V8WYX™ZP[›eLfUr_»L™b_²™³PX™ÍPΙÏlL ‹L„ e ` Q™[ ” X

ÑPÒ

L_Í\ÎPÏPaSbPƒS• ‹ QSs ¸ ÀPÁSr_ί g˜P÷\X}‹~

ˆ

b_‚

6.

¹pº8K

× £P¤ ‹L„ QPØPÙLRTLV¯WÌX\ZP[P^\`PhSRPiPj

k

]_Ú ¸gÛ

Ü Q

SAP ]_ÝPPuPhLRPiPj

k

]Lvg[PwPxPaLb_ÞLrQP[ ” X Ñ

Ò

PX™ßPà›e_͙ÎPϛ]_a›b_“™žLrUáP™uPâ™ãL]› g˜P‚§—«¬

Ç Ð Q€‚™“Pž™X L™{Kµ e5«¬L]{Lb™ƒL• {P‹LŒ ˜P‚€»^™X

¼PÁ8•P uPQ

SA/crPsPbU[

” X ÑPÒ

PXPÍPΙÏL]_Z8Uq5½8z

mPiPr_áPPuPQPâPãL]_Z8gÕPÊ {Lš bL•¾ µLН€ b_‚

¿kÀkÁkÂ

[­L® 2007] ÃWĶÅ#Æ284ÇÈÊÉ"Ë8Ì͋Î2Ï8'ÐÑÓÒ"Ô ,Õ5Ö×2Ø7ÙU

Ú4Û'¶Ü6ÝÞ4<ßà2áâQãäS'Þ

¦

Ö'Ý'Þ ,åæ4çè"éê4ëÏ'ì.8<í"è îï'ðñWò7ó

ß ,Vol.48, No.SIG15(TOM18),pp.88-102,2007

2

参照

関連したドキュメント

Suppose the basic data are as shown in Section 4.1, no shifting-berth operation exists and all tugboats do not return to the anchorage base during the planning horizon, use the

New Bounds for Ternary Covering Arrays Using a Parallel Simulated Annealing.. Himer Avila-George, 1 Jose Torres-Jimenez, 2 and Vicente Hern

T. In this paper we consider one-dimensional two-phase Stefan problems for a class of parabolic equations with nonlinear heat source terms and with nonlinear flux conditions on the

She reviews the status of a number of interrelated problems on diameters of graphs, including: (i) degree/diameter problem, (ii) order/degree problem, (iii) given n, D, D 0 ,

Key words: Benjamin-Ono equation, time local well-posedness, smoothing effect.. ∗ Faculty of Education and Culture, Miyazaki University, Nishi 1-1, Gakuen kiharudai, Miyazaki

It is suggested by our method that most of the quadratic algebras for all St¨ ackel equivalence classes of 3D second order quantum superintegrable systems on conformally flat

Using right instead of left singular vectors for these examples leads to the same number of blocks in the first example, although of different size and, hence, with a different

By applying the Schauder fixed point theorem, we show existence of the solutions to the suitable approximate problem and then obtain the solutions of the considered periodic