ERP实验的ELAN效应验证了标准理论和管约论句法信息优先的合理性，N400和P600的对比证明了词汇语义与句法的互动。
The ELAN effect in the ERP experiment justifies the priority of categorical information, also, N400 and P600 prove that lexical meaning and syntax interact with each other.
动态优先系统既可以作为并发与分布式系统的建模工具，也可以作为定义程序设计语言中优先算子的语义基础。
Dynamic priority systems can be used as both modeling tools to build concurrent and distributed systems and semantic foundations to define prioritised operators in programming languages.
先将安全策略用一个优先逻辑程序表示，然后计算其语义。
Translates security policy into a prioritized logic program, and then computes its semantics.
应用推荐