With appropriate tool support, designers could perform execution or simulation and debugging on high-level system models to validate and verify system logic early on.
有了适当的工具支持，设计人员可以在高层的系统模型上进行执行或模拟，并调试，从而在早期确认并验证系统逻辑。
However, since any logic models cannot enumerate all possibilities, such a model will fail once any developer defined a system using a different approach.
不过，由于任何逻辑模型都无法枚举出所有可能性，一旦任何开发人员使用不同的方法定义了一个系统，则此类模型将无法使用。
Discusses the designs of concept models, logic models, physical models and standardization of the database in timetable planning system.
论述了课表编排系统数据库的概念模型、逻辑模型以及物理模型的设计和规范化设计。
By making structural models, the paper reveals the relation between architectural art and logic of structural mechanics, and shows the effect of structural system on architectural space.
通过结构模型的制作，揭示了结构力学的逻辑性与建筑艺术美的内在关系，展示出结构骨架对建筑空间的影响。
While a switched system which consists of some switching models is a kind of simpler but important hybrid systems. It contacts continuous states with logic states by virtue of switching.
切换系统是混杂系统中较为简单但很重要的一种类型，它由若干切换子模型构成，通过切换将逻辑状态和连续状态联系起来。
While a switched system which consists of some switching models is a kind of simpler but important hybrid systems. It contacts continuous states with logic states by virtue of switching.
切换系统是混杂系统中较为简单但很重要的一种类型，它由若干切换子模型构成，通过切换将逻辑状态和连续状态联系起来。
应用推荐