模态逻辑形式系统根据对模态词的不同的解释形成不同的形式系统同的形式系统,,称为正规系统称为正规系统(Normal System)同的形式系统同的形式系统,,称为正规系统称为正规系统(NormalNSK 是最简单的正规系统。
基于6个网页-相关网页
normal system operation [计] 正常系统操作
normal system operating plan 正常运行方式
actual normal system 实际标准成本法
strong P-kernel normal system 强P
Fermi normal coordinate system 费米标准坐标系
normal system load 正常系统负载
post normal system 波斯特正规系统
normal system theory 一般系统论
kernel normal system 核正规系
You can imagine it as running a Linux system inside your normal system.
您可以将其想象为在一个正常的系统中运行一个Linux系统。
This means that you can run a full Linux system as a process on your normal system.
也就是说,您可以在您的正常的系统之上以一个进程的方式来运行一个完整的 Linux 系统。
probe: Interrupting normal system action to obtain information about current context.
探测(probe):中断正常系统动作,获取关于当前上下文的信息。
应用推荐