用于系统行为验证。给出系统运行的观测数据，给定一个用MTL形式化语言描述的表达式，运行结果为该系统行为在此形式化表达式上的鲁棒值。-it is a tool for the computation of the robustness of a propositional temporal logic specification with respect to a discrete time signal.

用形式化语言LTL(linear temporal logic)离线测试系统。程序SystemMonitor采用系统运行在线测试，本程序采用离线测试。输入为系统运行数据和LTL表达式，输出为该系统的鲁棒特征值。本程序采用了动态程序设计方法。对从事系统验证工作的开发人员和研究人员非常有帮助。-Its very useful for researchers and programmers who are working on system control and verification. it i

模糊逻辑分析是人工智能的典型工具，通过理论分析，作者给出了一个基于java的模糊聚类算法，以考察司机的行为并作出评价-Fuzzy logic is a typical tool for analysis of artificial intelligence, theoretical analysis, the author gives a java-based fuzzy clustering algorithm to study driver behavior and to uate

matlab开发的ADC工具，计算SNR和THD等参数。支持逻辑分析仪原始数据导入，-MATLAB tool developed by ADB, calculate SNR/THD and other parameters. Support logic analyzer to calculate the raw data import. Communications Test and Verification