模态逻辑形式系统根据对模态词的不同的解释形成不同的形式系统同的形式系统,,称为正规系统称为正规系统(Normal System)同的形式系统同的形式系统,,称为正规系统称为正规系统(NormalNSK 是最简单的正规系统。
基于6个网页-相关网页
normal system operation [计] 正常系统操作
normal system operating plan 正常运行方式
actual normal system 实际标准成本法
Fermi normal coordinate system 费米标准坐标系
post normal system 波斯特正规系统
normal system load 正常系统负载
normal system theory 一般系统论
kernel normal system 核正规系
normal braking 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):中断正常系统动作,获取关于当前上下文的信息。
应用推荐