2

次のような質問があります。

小学校のクラスには、多くの子供とさまざまな本が含まれています。子供たちが読んだ本を追跡するモデルを書きます。子供と本の間の関係を維持する必要があります。

だから私は自分の文脈を持っています

CONTEXT  
    booksContext
SETS
    STUDENTS
    BOOKS

CONSTANTS
    student
    book
AXIOMS
    axm1: partition(STUDENTS, {student})
    axm2: partition(BOOKS,{book})

そして、私のマシンは次のとおりです。

MACHINE
    books
SEES
    booksContext
VARIABLES
    students
    readBooks
INVARIANTS
    students ⊆ STUDENTS
    readBooks ⊆ BOOKS
    readBooks ∈ students → ℕ

readBooks ∈ students → ℕ はエラーを起こしています。明らかに、私はこれを間違ってモデリングしています。これで私を助けることができる体はありますか？イベント B は初めてで、どうすればよいか本当にわかりません

4

1 に答える 1

1

BOOKS は STUDENTS から ℕ までの合計関数ではないため、readBooks 変数を BOOKS のサブセットと合計関数の両方にすることはできません。

固定モデルは、この質問にあります。

次のようになります。

MACHINE
    books
SEES
    booksContext
VARIABLES
    students
    books
    readBooks
INVARIANTS
    students ⊆ STUDENTS
    books ⊆ BOOKS
    readBooks ∈ students → books

ここで、readBooks は、生徒のセットからこれらの生徒が読んだ本のセットへの合計関数です。

于 2014-04-12T18:10:30.850 に答える