?36 ?1ù
2009M1
9
? SD
ComputerScience
Vol.36No.1
Jan.2009
?à°ù:2008-09-30
ì′
;(1965-),?
q,CCF??,ù?Z_1?
T?/
?axpy?a9
?D Sa? ?
?; ?
C(1964-),?
q,p
V
3?
=,ù?Z_1èq
??a￡#?
ka?
My?D?|9
?b''ó1T? ?
1?vD9
? [?á
?
?T￥5áb
9
?
±?D9
?ZE
?
ì′
; ?
C
(桂林电子科技大学计算机与控制学院桂林541004)
K1尽管计算思维与计算机方法论有着各自的研究内容与特色,但是,显而易见,它们的互补性很强,可以相互促
进b比如,计算机方法论可以对计算思维研究方面取得的成果进行再研究和吸收,最终丰富计算机方法论的内容;反
过来,计算思维能力的培养也可以通过计算机方法论的学习得到更大的提高b介绍了计算思维与计算机方法论存在
的密切联系,以及以学科认知理论体系构建为核心的计算机方法论在中国的研究与应用b相对而言,计算思维的研究
主要在国外,主要是在美国和英国,他们研究的重点放在计算思维的过程及其实质和特征上b此工作有助于人们对计
算思维与计算机方法论的认识,以及对它们展开进一步地深入研究b
1oM计算学科,计算机,计算思维,计算机方法论,计算机科学与技术方法论
?mEs ?|TP3-05óDS
M
?A
ComputationalThinkingandMethodologyofComputerScienceandTechnology
DONGRong-shengGUTian-long
(SchoolofComputerandControl,GuilinUniversityofElectronicTechnology,Guilin541004,China)
AbstractAlthoughcomputationalthinkingandmethodologyofcomputerscienceandtechnologyeachhavetheirown
researchaspectsandcharacteristics,obviously,theyarehighlycomplementarywitheachother,promotedbyeachother.
Methodologyofcomputerscienceandtechnologycanfurtherstudyandabsorbtheachievementsincomputationalthinking
conversely,competencytrainingofcomputationalthinkingwillalsobeimprovedgreatlybystudyingmetho-dologyof
computerscienceandtechnology.Thispaperdescribedtherelationshipbetweencomputationalthinkingandmetho-
dologyofcomputerscienceandtechnology,introducedtheresearchandapplicationofmethodologyofcomputerscience
andtechnologyinChina,whichconstructtheoreticalsystemwiththeprinciplesandmethodologiesofcomputerscience
asitscore.Comparativelyspeaking,thestudyoncomputationalthinkingwasmainlyinvestigatedinAmericaandBrit-
ain,andtheirresearchesfocusonitsprocess,essenceandcharacteristic.Ourworkwillhelppeopleunderstandcompu-
tationalthinkingandmethodologyofcomputerscienceandtechnologyandmakefurtherstudy.
KeywordsComputingdiscipline,Computer,Computationalthinking,Methodologyofcomputer,Methodologyofcom-
puterscienceandtechnology
19
?
±?
^
I
1
''ó
?·￥9
?
±?,?1·2006M3,
?S 5=
#
?
HvD9
? SD"???[?(JeannetteM.Wing)
?
q
?S9
??ˉ?,ACM? <5Communicationsof
theACM6?
ó,i?l￥9
?
±?(Computational
Thinking)[1]b
??
qa1:9
?
±?
^¨9
? SD￥$àQé
?ù5p3a"d
!9a[#| ??1 ?3?d?9
? SD
-<￥B"
±??b
1L? ?3??¨,''ó|?l?￥/$àQ0÷D1
÷1 8￥/
±XDZE0[19],?",9
?
±?? V[÷b
1?l1:¨9
? SD￥
±XDZEé?ù5p3a"d
!9,[#| ??1 ?3?d?9
? SD-<￥B"
±??b
[
^1?9
?
±?￥B?9?l,??
q1
?|
ì
÷^? ?3,?|
?֎B?1?l1:YV?ea3?a?
?_??ZE,üB? A ? ?4￥ù5×??
d?B?á
ì
??ù58"3 %￥
±?ZE;
^B??B
±?,
^B?i?
) ?,
^B?ü}
?r?
? ??ü
? r?}
?,
^B?
?sw<￥ ??_°ZE;
^B??¨`?s3 ? e?
?￥?é?
vˉ"d
!9￥ZE,
^?1?s
?￥ZE(SoCZE);
^B?ê4?
a￥Z
T??
?B?ù
5,B?ù5￥M1Z
?y
P^?) ?￥
±?ZE;
^?v?]a1#YVo?a?pa?p￥Z
T,iVKêf
?é?"d?ˉ￥B?
±?ZE;
^ ?¨?
Tw ?ùp3
s,9'' ???f ?/￥??aD ??￥
±?ZE;
^
?¨Z
? ?F y9
?,
HW? bW-W, ) ?? ??
#1#
i%?
-Wé?|ó￥
±?ZEb
9
?
±?|
ù53 %
??¨￥B?
?D
±?ZE,
C
L
W??
vˉ"d￥
!9D?￥B?y?
±?Z
E,[#ˉ?a??a? ?a| ??1￥ ?3?￥B? SD
±
?ZE[2]b
9
?
±?y ? 9
?V?￥? ??K?-
,?|?
3?b9
?ZE??
Pá
ìí??) ?te''íE?
?|? ???￥ù5p3?"d
!9b
9
?
±?K?''￥=?,''''é(Essence)
^`(Ab-
straction)?1??(Automation)[2]b9
?
±??￥`??
?t ?￥
H b4,i??¨?| ?V
U,?,
?3`o
^B ?+ èb
D
?D?t ? SDM1,9
?
±??￥`A¤÷1~
?,9÷1ˉb
?D`￥×v+?
^? 7C
L
Yt￥t
?a?D?
3tD?+?,7?
=
￥1"? bW￥?
T,79
?
±??￥`?????Nb
\(Stack)
^9
?D S(Computingdiscipline,9
? S
Da9
?y?aèqy?a?"da?/
??M1<￥
9?)?èn￥B?`
? ??,??
? ??ü? V?^
?D?￥?
?"é?e?￥M/F0b 1?,
?E9
^B
?`,á
ì9??|
?
?Eb B ?
LCB?i?
?
Eb]",??9
^B?`,??`9??
?i/F?0b
???N,9
?
±??￥`?D C
L
W??￥K?
L
@μ1byN,ü?¤? I
nù5) ?￥H?,[# V?á
3
￥pb ??￥??,?TH?
?a?
àμY?a ??
_p,
.àC2#|￥
3
H,?1????é?)
?b
`aQ
^9
?
±??￥B?×1àQ,
?
Pá
ì V[
? ?]￥`aQ,é7μê41-
jt%?,K? e?
"d￥ˉ?; sù5
H,9
?
±?1pá
ì|?i ?"
? ??￥`aQ
/a;á
ì???
3ò`
aQ-W￥1"b
9
?
±??￥`K?
^1??1B??1?3
?b1
??￥1??,ü31 `￥V??é?ú
???ì￥?|S:?y,]
H91p9
?"dèq
"d
3áìE?_ù4ò??]`aQ-W￥Jr
y b
??
q9
?
±?￥+?é?
92,ó
9
?
±?
￥[/6?+?:
(1)àQ?,?
^???
9
? SD?
^9
?I?b^9
? SDE"?
±
?i?"ùù???19
?I?,?1p? `￥
?aQ
±?b1L? ?3??
q￥i
±, V[÷éB?1
a,9
? SD?o
^1?9
?,ü^{ áá<?o
^1?
? X?B"[5]b
(2)?''￥,?
^ Ye￥/?
?''/?
^
?B?|1
C}
???èˉ?
?A?
g?￥b Ye/?i?"?￥×ˉb μ?Oi?￥
^,
oμ?9
? SD3 %
|y??￥vG^)))
P9
?^
| ?B"
± I-a,
±? V[?￥M??￥
bü
HW7
y,
?μX?
3￥? ?,V??
^??￥;yN,? ?íd9
^B?9
?,á
ì??|ú ?"? /z￥09
?
,''?¨9
?
±? ?/?| ?b
(3)|￥,?
^9
?￥
±?
9
?
±?
^| ?p3ù5￥BHo?,? %d1
P| ?
^9
?"￥
± Ib9
? j2O?
?,| ?R?O?μ
X` ?b
^| ??í9
?fb￥?
9
?
!!,á
ìü
?¨1-￥?e?3 %t9
?
H}--?í?
k￥ù5,
LC/oμX??,
àμS??0￥a?b9
??ó| ?<
v￥9
?? ?,| ???zz ?¨?? ?
?3 %ò?31
v
9
?￥ù5b
(4)
?D?y?
±?￥o?Dμ?
9
? SD ''é
÷1
?D
±?,y1^
?μ￥ SD
B",
?￥?
T?$yy?
?D-
b9
? SD?V''
é
÷1y?
±?,y1á
ìy/￥
^?D
L=
W?o?
￥"d,''9
?
!!￥K??
P9
? SDEA?9
??
￥
± I,7??o
^
?D?￥
± Iby′E
W?￥1?
P
á
ì??t ?
W?￥ò?"db
?D?y?
±?￥o?
Dμ??z18C `a ?
??
!93?D S?
?(V
?)
[16-19]b
(5)
^
±X,?
^|/?
?o
^á
ì
3á￥è?q?|/t|[t ??
T?)?
Ci
H
H Y Y(#á
ì￥
3,÷×1￥
^9
?￥àQ,??
àQ$|
ì¨?ù5p3a°è
3￥5 ?,[#D
e|é?
?
@?o?b
?S SDy1??
?|f?
qa1: ?ó ú,9
?
±
??
^B??￥Mb ?S,VlD?vD?a,9
?
±?
üè$??zz1
P¨,?B°
àμ4ú???
q
?
í
?￥
ú?<
,9
àμ"￥??a
ü??"db
??
q
?
í
?￥9
?
±?óá
ì{ ?
×?
,
já
ìD
S￥
j7,9
Pá
ì÷F×
jD S
?c￥
±XDZEb?
?×
j,?\?|f?
q
??￥,
Pá
ì￥D Sá
3/\
?0?￥×
3[4]b
(6)
?_
?μ￥|,
?μ1Z
?9
?
±???μ?| ??￥?8[á? VC1B
?A
T-}D￥
H?,
?ü|?1C
Lbü?D7y,9
?
±
?T1B?ù53 %￥μry ,??
?μ1Z,
?μDn
￥ [?D?¤??¨b
??
|a19
? SD?]?9
?I??Z
?￥
pa
M,??
qa1,?á
ì¨?? ??M??.o￥
?
a
M
H,9
?
±?ü
^B??
59
??aEaù???
Ll
?￥?vù?b??
q?ú:9
? SDE??.
q9
?
SD￥ y áaú? ?
,iá ??
P9
?
±??1|
ì) ?
ù5￥è
Mb
9
?
±?￥4,¤?
?S?a?￥<W|?,??μ
5=#
?
HvD￥5)
?,÷μ ?
?S
?Dù?
?
(AIM)?F? =￥ù v8￥?Db2008M6, ?
?￥ACMCC2001(CS2001)é?￥?ù
,°á
(CS2001InterimReview)(¤?),ü
ü?|9
?
±?D/9
?
?
?0 [?t? B,i
ü?1p? [??
q9
?
±?￥
''é[6]b
2008M6,
?S9
? SD/
??
=x?(CSTA)
?
??
¤?
?S±è
3|?￥59
?
±?:B?
?μ [
ù53 %￥y 6(ComptationalThinking:Aproblem-so-l
#2#
vingtoolforeveryclassroom)á,
I
1
^9
?
±?é?
92,1L?|
ì
3,?9
?
±? 9
? SDa1? S
Da
?Da
?D Sa?y\
?a
?
?a
3 SD?D S
5×Z
?￥ü?
?óé?
s ?[7]b
9
?
±????Y"
?S,9?Y"?S￥?a, ?S
￥1à
vD,|
ì B ?1￥ù)?
ìD9
?
±?μ
1￥?5b
?Qù)?,?μ?
E)
?9
?
±?
e
ì
D S￥?Ybù)?
?
#￥D SXü
%?}Dat ?a
3
taDDayya?a?ò??]￥
5×[8]b
6?,?S9
?
D?(BCS,BritishComputerSociety)9F?
xY￥ED
?9
?
±?é?ù),4
xY￥???
5[9]b
′¤|
ì?i￥
^,9
?
±?￥4,??¤?
?S?a
?￥<W|?,iO?°¤\?
?SSE SDá?
(NSF)×vá''ù9?CDI(Cyber-EnabledDiscoveryand
Innovation,Cyber?
LC￥ SD?CD/
?7?)￥á
3b
CDI9??
P¨9
?
±?(+Y
^ ?
5×á
3￥?
±Xa
?ZE)\é
?S1? SD?y?/
?
5×á
3ê?￥?
Tb? CDI￥1p,K?CDI￥ù??T,|
P|
ì￥
±
?
T?
3M,??[/9
?
±?01??￥M,1Q?
?S1? SDDy?,[#
?ü6D/
??ò?D S
5×,
?
?a1,??M|éB??
?S 1? SDDy?
?
5×
? μ￥
W?
551ê[10]b
29
?ZE
?
^
I
1
''ó
?)
?￥9
?ZE
?,?1·￥
^,ì′
;?
qD
?
C?
q?|2002M4,iy￥9
? SDD/
?Z
E
?(MethodologyofComputerScienceandTechnolo-
gy)[17,18]b
9
? SDD/
?ZE
?
^9
?
5×a
M?
LlV?
?B?ZE#?éa+?a= ó"?M??Zé?"dù
?￥Dùb9
? SDD/
?ZE
?
^a?9
?D S￥ZE
?y ,9
^9
?D Sa?
5×￥ ?
?8"b
? ?
?8"y ? 59
?T1B
êD S6(Computingasa
discipline)áó￥B?1?9
?D S=??l ?￥
$
[11](?m1
?
U,?,D S?
5×X?áó￥9?
??1CC2001áó￥14?)b
学科主领域
三个过程抽象理论设计
1.离散结构(DS)
2.程序设计基础(PF)
3.算法与复杂性(AL)
4.体系结构(AR)
5.操作系统(OS)
6.网络计算(NC)
7.程序设计语言(PL)
8.人机交互(HC)
9.图形学和可视化计算(GV)
10.智能系统(IS)
11.信息管理(IM)
12.软件工程(SE)
13.社会和职业的问题(SP)
14.科学计算(CN)
m19
?D S=??l ?
59
?T1B
êD S6áN?
B? SD/
?ZE
?￥
±X,
?ó
9
?D S=??l ?(e??l ?)￥à
Qi%?
=?b?l ?￥B?
^/3?V?0(`a ?
??
!9),
6B?
^?
5×b+Y??
5×?19
?D S
H,?l ?L
^59
?T1B
êD S6á?
?·￥/?
M
O0b
/?
M O0Q?
9
?
5×?|
ì￥a
M
^V??a
M
(`)? ??a
M( ?
?), ? ??a
M( ?
?)í?
Ll(
!
9)? ?￥ SD
±?Z
Tb ? ú,??/?
M O0
^9
?
D S9￥à ?,
?
^×?￥;7/?
M O0￥=?(′),''ò
?
5×#/3?V?0￥=?,5
?9
?/
?￥?Z7M?b
9
?D S=??l ?,
^?
H9
?D S￥B?ú
à ?byN,á
ì V[|ü?9
?D S￥''éù5B?1ü
?9
?D S=??l ?￥''éù5b1ü??l ?￥''
é,ü
^1sYü??l ?￥/?_0(`a ?
??
!93
?V?)[#/:_0(ò?
5×)μ￥a?Q?ò?
5×=
ó"￥
±X?ZE￥''éb
/?_01"￥=?,''`a ?
??
!93?V?￥=
ó"D?Z?
p￥=?,
^9
? SDD/
?ZE
??K×
1￥=?by19
?D S￥''e ???X$,?`a ?
??
!93?V??,÷×1￥? ?3?V?-W￥Mo
T¨,w?
9
?D S#s|
5×￥?Zb
/?_01"??c"D S?￥ SDù5b??|
ì
Z4
W?￥a
MV?ü
^B??4ù5?3 %ù5￥V
?,??V?Q?￥?
^`a ?
??
!93?V?-W￥M
oT¨,yN, SDù5D`a ?
??
!93?V? ''é
^Bá￥,
?D/3?V?0]?
9
? SDD/
?
ZE
??K×1￥=?b
/:_01"￥=?,''òs|
5×?
? μ￥]￥?
Q?D SBZ
?''é+?￥=?,;μù?á
ìa?9
?
D S,?μù?á
ì÷z1¨ZE
??￥
±XV
Y9
?
5
×￥yT,
?
^ZE
???Q? SDù5D/3?V?0￥×
1=?b
/:_01",''òs|
5×-W,?1i [/
?Z
?
￥ ó":
(1)òs|
5×?￥tù?=?
^Bá￥,1?
? o
?￥i? e?a?
u5 ?￥
±XD?T"d?￥i? e?
??
u5 ?￥
±X
^Bá￥b
(2)9
?D S? μZE
??é￥??àQa
?DZEa
"d SDZEa?
T?/
?a
??ˉ<￥ù5:,?òs|
5×-?,￡
U
9
?D Sòs|
5×￥= ó",
P9
?D
Sòs|
5×2??B???￥8",7?
^Bto?M1
￥
5×b
8
?
?,9
?D S=??l ??￥ SDù5,`a
?
??
!93?V?(/?_01")D9
?D S?￥??à
Qa
?DZEa"d SDZEa?
T?/
?a
??ˉ<￥ù5
(/:_01")?
9
?D SZE
?￥?1=?b1N,9
?D Sa?
5×￥ ?
?8")))9
? SDD/
?ZE
?X
üy ?b
[
^ ?
?8"￥y ??¨￥
^1??y￥
í
?,?
á
ìD S7y,A??,|
ì÷? A?￥
^¨?
T?ZE
?l￥ ?
?8",ì?
qD ?
C?
q óD[17]?1ù
?
D￥"?
?,?¨ ??￥ZE,ó
9
? SDD/
?Z
#3#
E
?￥?
T??lb
?? ??ZE?1¨?í$?￥92,D S?μ?
?￥ù5[#? ?
ì?￥Z?T¨μKbyN,ì?
q?
| 9
? SDD/
?ZE
?y￥$
,?9F
?
9
?D Sa?μ×1?Y￥=?,?t=?[?￥?
T
F[?a:B?
^9
??a
N
??-9
??a
L=?μ
?p￥ù5T SD￥s??
?;
6B?
^? 9
?/
?
?Z￥t
]?1p,9
??a?4￥? [5Tís,
? ?￥9
??aT SD￥??bì?
qa1,eμ￥9
?
SDD/
?ZE
?￥=? F
C ?9￥=?,???
B
ê?￥$ ?
?)))9
??a}Db
9
? SDD/
?ZE
?yabì?
q_D
?? ?
wi??9
?a?
5×￥ ?
?8",ia1,
?"?? ?
?8
"￥???,A|ó|
ìB????1-Yb￥X`￥
a
M9
?D S￥? ?b
1D y|9
? SDD/
?ZE
?￥
±X?¨??D
L
l,ì?
qD ?
C?
q?÷
59
? SDD/
?ZE
?6
(|
?ˉè?
2002M9?)B
?b1L?vDBM
)D
3￥D ,ì?
q?
59
? SD?
?)))
±XD
ZE6(ú??a?
2007M9?)B
?b
d9,"-Xμ?vDa?? S/vDa?S1év
Da §üvDa?vDa<vDa~?üvDa?êy
DyaI
è0 S/vD?S=í?
?vD|59
? SDD
/
?ZE
?6D59
? SD?
?)))
±XDZE6
''
?ê
1/9
?ZE
?0/9
??
?0 [?￥???1?D?
I
?b
9
? SDD/
?ZE
?￥ù?yT?S=?9
?
?a?￥×
j,2001M7,CC2001?Fμ3|
?!?|
CarlChang?
q
Z?F??S9
?D??a<??
???Sún9
??aù?? ó??÷￥/?
W@9
?
?aDCC2001??ù)?0
A?59
? SDD/
?ZE
?6(?p
?ó[12])Bóa,'' v?á? \?
?[yT,
i CC2001e ?á(¤?)￥$
,9F
/9
? SD
D/
?ZE
?0￥μ1=?,i
nQ
ü?1pD
31÷ 1
3/D SZE
?0￥=?[13]b
2002M8,?b?vD?
?￥5?S9
? S
DD/
?D S??20026?¨
/9
? SDD/
?ZE
?0
￥μ1ù??Tb]
H,/??0?|/D SZE
?0
1C}
?a
±X￥=?,i
ü?·: 9
? SDD/
?D S￥?
a?,D SZE
?￥=?]μdè×1￥1ê[14]b
2003M10,?Sú?Dn9
??aù?? I
÷
?S/9
? SDD/
?ZE
?05D
?ù)?,b
?vD?S=í?
?ún￥150 ê}V?F
?pb?p
}V \?
/9
? SDD/
?ZE
?09
?D S￥×1T
¨,?
}V?o
P¨''?T￥8?,?p
?ó"??ó
??ù <59
? SD6?[15]b
39
?
±?D9
?ZE
?￥1"
dèF?￥
^,9
?
±?D9
?ZE
?￥ù?,DC}
?D
±?D
?DZE
?￥ù?μ?
M
?-)bS=ù?￥
×??b D SZE
?
,S??<?D S￥
±?Z
T[20]b
M?
?D,9
?ZE
?￥ù?1?Bt,
?X??
?
DZE
?
ó
?[p￥ ?
?8"￥yb
6?,
?￥ù?=?
y ?
W?÷9
?F?ACM?IEEE-CSv
ù?yT
￥$
,DS?9
?
±?Z
?￥ù? μ÷z￥o??,9
÷^?
lS??a￥5é ?Qb
D54??B",?
^9
?
±?D9
?ZE
?1?￥
?
^9
?D SK''é￥êb9
?
±?
^VD S
±???a
?°¤)
?D S￥?''ù5DD S￥
±?Z
T,79
?Z
E
?5
^VZE
?￥? ?)
?D S￥?''ù5?D S?
?b
9
?
±?°¤tD S
±?￥''é,''`(Abstrac-
tion)D1??(Automation) ?)
?ù5,?ü31|
ì-%
1s?
?àQ,i¨v
￥
L è)
?
?
ìD
?D?t ?
?D S￥?],[#??<v￥
±?? ?
eD S￥?Yb
9
?
±?''
&￥ù?31%áa
''?,[#M?￥~?7?=
L￥D S ?
?$b7üB?￥?¨7yüe?
,[à
??
qa1,DYè￥/aa
?0(Reading,writinganda-
rithmetic,e?3R)B",9
?
±??
^21
W@
?B?|?A
? !￥è
Mb
1E
?/9
?
±?0?
q￥ bW,??
q <1?.￥
?à?,o
D Sμ? ?￥ù5:?P=?NPù5,
@?
ù5,qv
óù5?,[#9
?
±?
eD S￥×1?
Yb
9
?
±?￥ [?DZ
?,
?S9
? SD/
??
=
x?a1,9
?
±???
^
?μDn
?μ [?D????
¨￥B?y b?¨??y ,?
=1??ù[/+?ù5:
(1)|
?%μ￥? ?D K??9
?￥9
?? ?D
K??
(2)ù5??μ ˉ?9'',ù53 %￥
HWˉ??
bWˉ??
(3)ù53 %￥??Hq
^
I
1?
(4)
I
1"￥/
?(ò?y/
?)?$?¨??-￥ù
5p3)
?-??
(5)
I
1"￥9
?|
{÷μ ???-ù5￥3 %?
ù?yT
???¨9
?
±?,÷￥9
? SDEa
m
2?¤?S
V#L(JamesGray)a1,B[ù?,ù
?￥ù5?? μ[/+?:
(1)B?ù5??é?dèe?￥?
?,?
a,1
ü?
??313 %
I
1"￥B?ù5,÷<1 ?
a,B?ù5
(àQ)
^??¨B?? ?V
?ié?)
??
B?V
?b#￥ù5,Yè?¤???|￥ ?3?|
?b
ù?"-??b# 88
1S,?
^ù53 %-a?
{ ?￥m)??dèb#b
(2)ù53 %￥Z??
?|¤￥é?1μ V?
k?b
(3)ù5￥??3 %V?1??s1Btl￥??,?s
￥z)
^,F V[ A??W
?B?|¤é?￥V?b
9
?ZE
?D9
?
±?ù?￥×??],
?÷1?9
?D Sa
M ?
?8"￥y,9ü
^''tàQ
^9
?D SK
e
S￥àQ,''tàQ
^V?tKe
SàQ?
3 ?,c
?￥b¨D S￥?? ?
a,ü
^9
?D SàQa??￥
yb
9
?ZE
?1k
B? SD/
?ZE
?￥
±X,?¨
(下转第42页)
#4#
?ax
H,7O??xT￥"S,
?[ V[ Y?
H?|
￥Z
Tb
kV
ü,?¨?ZE
3?￥xT|
{ ?
?xT?¤"S? ?￥]
H V[μr??Y?
b
''ó?MASxT|
{
^ ?? V43￥
?: V? %|
V?(Dec-MDP)??
3?￥,Dec-MDPT1Dec-POMDP
￥B?+ èb/B?￥yTü??|''ó?￥ZE?¨?
Dec-POMDP??Z 7ù?b
? IóD
[1]BernsteinDS,GivanR,ImmermanN,etal.Thecomplexityof
centralizedcontrolofMarkovdecisionprocesses[J].Mathema-
ticsofOperationsResearch,2002
[2]GoldmanCV,ZilbersteinS.Decentralizedcontrolofcooperative
systems:Categorizationandcomplexityanalysis[J].Journalof
AIResearch,2004
[3]RothM,SimmonsR,VelosoM.ExploitingFactoredRepresen-
tationsforDecentralized[J]MAAMAS07.2007:469-475
[4]BoutilierC,DeardenR,GoldszmidtM.Stochasticdynamicpro-
grammingwithfactoredrepresentations[J].ArtificialIntell-i
gence,2000
[5]|f,
>vμ.Bayesian??￥? ?1"[J].9
? SD,2001
(12):33-36
[6]f?
,
FBB.M_POMDP?#?sp3
?E[J].b?
vDD:1? SD?,2005(10):30-36
[7]?
,±ly.ˉ %|?￥yDp3ZE[M].?: S
D?
,2007
[8]Z
?/,f
?|.ˉ"dyD_?[M].?:?S|
?vD
?
,2005
(上接第4页)
9
?D S?￥`a ?
??
!93?àQT1D SKe
S
￥àQ,[D S?￥/a?V??a
M(`)? ??a
M( ?
?), ? ??a
M( ?
?)í?
Ll(
!9)0T1?Be
S
5,y
9
?D Sa?
5×￥ ?
?8",??
9
?D Sa
?? O￥yb
9
?D Sa?? O??a,???μ
Lé?￥=?
?A b=?￥
L,μ
[yT1S:?B[
^D SàQ
￥?s,9''
^,|D Sò??
5×eμ￥''àQ("?)é
??s,?¨"?
???N ?￥?se5,|"??s1
`a ?
??
!93?0";?=[
^3?0"￥Mo1"é
?s,[
3?g?D S￥?Z?
pb?B[?59
?T
1B
êD S6áS
,?=[?óD[16-19]S
b
9
?ZE
?YV??
L èμ?￥?D S￥ SDù
5;
?VB?ZE
?a9
?ZE
??
L è3?a
?o
D S
￥`a ?
??
!9;
?V???￥?,[9
??y￥?
Z1?L,|1??ya?
T?yam
2a?#vG
￡9
?
,[#???=?μ1 ó" B,?i??D￥1
",1D
3
''?D ? ?39
?"du/$;
?o
D S
??àQ￥ ?÷,[#D S?R?¨￥
?DZEa?
T?Z
E,[#"d?ZE;
??D
3
3
?Dˉ<,1? ?￥ˉ
<
3íT!;
?o
D Sμ?
?￥ù5iD S￥? ?é
?Z?b
9
?ZE
??Ke
S￥àQ1:`a ?
??
!9b?
3?àQD9
?
±?K''￥àQ(`D1??)Q?￥?
^9
?K?''￥ù5:
I
1?$μr1￥1?é?bV?D
￥? ?
a,9
?ZE
??￥?3?àQ÷^1|
ì
?g
?bVù?￥? ?
a,9
?ZE
?N?B?ZE
?￥ù
?S
T,÷^Z 7ù?yTb?7,? μ~?ü￥9
?
SDE ?
a,??
àμZE
?ù??S
T￥?
?,μ1
9
?
±?Z
?￥ócQ? V?
^
e
ì￥é)b
D59
?
±?D9
?ZE
?μ"ò1￥ù?=?D+
?,?
^,A7^n,
?
ì￥o???<, V[Mo\éb1
?,9
?ZE
? V[9
?
±?ù?Z
?|¤￥?Té?
ù??
l,K?~?9
?ZE
?￥=?;QV ?,9
?
±?? ?￥?!9 V[YV9
?ZE
?￥D ¤?÷z￥
4úb
? IóD
[1]WingJM.ComputationalThinking.Communicationsofthe
ACM,2006,49(3)
[2]WingJM.ComputationalThinkingandThinkingaboutCom-
puting[EB/OL].2008.http://www.cs.cmu.edu/~wing/pub-
lications/Wing08a.pdf
[3]?[?.9
?
±?.?S9
?D?Y?,2007,3(11)
[4]|f.V9
?
±??9
?ó?.?S9
?D?Y?.2007,3
(11)
[5]http://www.cs4f.org/
[6]CS2001InterimReview(draft).http://wiki.acm.org/cs2001/
index.php?title=Main_Page,2008
[7]PhilipsP.ComptionalThinking:Aproblem-solvingtoolforev-
eryclassroom[EB/OL],2008.http://www.csta.acm.org/Re-
sources/sub/ResourceFiles/ComputationalThinking.pdf
[8]BundyA.ComputationalThinkingisPervasive.JournalofSc-i
entificandPracticalComputing,NotedReviews,1(2)
[9]BCS.Thescienceofthinking:Europe.snextpolicychallenge
[EB/OL].2008.http://www.sciencebusiness.net/documents/
thinking.pdf
[10]http://www.nsf.gov/crssprgm/cdi/
[11]DenningPJ,etal.Computingasadiscipline.Communications
oftheACM,1989,32(1)
[12]ì′
;._D
??wiB?a?9
?D S￥y )))9
? S
DD/
?ZE
?(v?á).
Z:?
W@9
??a#
CC2001ù)?,2001.7
[13]ACM/IEEE-Curriculum2001TaskForce.ComputingCurricula
2001.ComputerScience.IEEEComputerSocietyPressand
ACMPress,2001
[14]?S9
? SDD/
???2002ù?F.?S9
? SDD/
?D S??2002.?:b?vD?
,2002
[15]?Sú?Dn9
??aù??.?S/9
? SDD/
?ZE
?05D
?ù)?
?ó".9
? SD,2003,30(6,)
[16]ì′
;.9
??a}D[J].9
? SD,2000,27(1)
[17]ì′
;, ?
C,?.9
? SDD/
?ZE
?[J].9
? SD,
2002,29(1)
[18]ì′
;, ?
C.9
? SDD/
?ZE
?[M].|
?ˉè?
,2002(9)
[19]ì′
;.9
? SD?
?)))
±XDZE[M].ú??a?
,2007(9)
[20]￠o?,o?′,§?.
?D
±?D
?DZE
?.
1+?a?
,2001
#42#
|
|
