... Linear Time Logic 线性时间逻辑 Linear Logic System 线性逻辑体系 linear logic array 线性逻辑阵列 ...
基于1个网页-相关网页
The tool Mr Barth is employing to effect this transition is linear temporal logic, a system of mathematical logic that can express detailed constraints on the past and the future.
巴斯先生用来实现这一转化过程的工具是线性时序逻辑，一种可以表达过去和未来的详细约束的数理逻辑系统。
A method of sliding mode control based on fuzzy logic, for a class of linear uncertain system shown in phase coordinate, is presented It if derived from the principle of sliding mode control.
本文针对一类相坐标表示的线性不确定系统，根据滑模控制原理，提出一种基于模糊逻辑的滑模控制方法。
A new idea is presented to introduce the linear temporal logic (LTL) technology and analog information into a fault diagnosis system for high voltage (HV) transmission lines.
提出了将线性时态逻辑(LTL)技术和电网故障模拟量信息引入高压输电线系统故障诊断的新思想。
应用推荐