计算机学报
計算機學報
계산궤학보
CHINESE JOURNAL OF COMPUTERS
1999年
5期
455-459
,共5页
时态逻辑%区间逻辑%超稠密计算%两维时间
時態邏輯%區間邏輯%超稠密計算%兩維時間
시태라집%구간라집%초주밀계산%량유시간
为了给超稠密计算模型(Super-dense computation)建立一种逻辑工具,首先定义了一个两维的超稠密时间域,在这个时间域上定义了一种区间逻辑,并提出了该逻辑的一个推理系统.并用轨道概念定义了两维超稠密空间中的计算、时段等.最后讨论了一些相关的问题.
為瞭給超稠密計算模型(Super-dense computation)建立一種邏輯工具,首先定義瞭一箇兩維的超稠密時間域,在這箇時間域上定義瞭一種區間邏輯,併提齣瞭該邏輯的一箇推理繫統.併用軌道概唸定義瞭兩維超稠密空間中的計算、時段等.最後討論瞭一些相關的問題.
위료급초주밀계산모형(Super-dense computation)건립일충라집공구,수선정의료일개량유적초주밀시간역,재저개시간역상정의료일충구간라집,병제출료해라집적일개추리계통.병용궤도개념정의료량유초주밀공간중적계산、시단등.최후토론료일사상관적문제.
