---

Hej

Jeg er ved at læse en artikel, hvor bare overskriften volder mig
problemer.

Artiklen hedder: "Runtime Verification of Timed LTL using disjunctive
normalized equation system".

De fleste af ordene har jeg haft held med at finde en definition på
nettet. Jeg mangler dog "equation system".

Er det et bestemt begreb inden for matematik, og hvad betyder det
egentlig?

Nogle andre begreber som jeg mangler en en definition for:

Formula identifier

Tak på forhånd

Meang Akira Tanak

---

"aimat" <meang@post.com> skrev i en meddelelse
news:neniovorsm7qoehgphffojjbbot0hrorc9@4ax.com...
> Hej
>
> Jeg er ved at læse en artikel, hvor bare overskriften volder mig
> problemer.
>
> Artiklen hedder: "Runtime Verification of Timed LTL using disjunctive
> normalized equation system".
>
> De fleste af ordene har jeg haft held med at finde en definition på
> nettet. Jeg mangler dog "equation system".

Ganske simpelt ligningssystemer

> Er det et bestemt begreb inden for matematik, og hvad betyder det
> egentlig?

Hvis du f.eks. har tre ligninger med tre ubekendte, så har du et
ligningsystem du skal løse!

> Nogle andre begreber som jeg mangler en en definition for:
>
> Formula identifier

I'm lost!

> Tak på forhånd
> Meang Akira Tanak

Så lidt - håber det hjalp!

- Kenneth Johansen