...
机译:非确定性系统的一个有效的全符号双模拟算法。
Bisimulation; Symbolic methods; Algorithms; Decision diagrams; Saturation; Locality; Verification;
机译:非确定性系统的一个有效的全符号双模拟算法。
机译:通过交替近似双仿真的时变时滞系统的符号模型
机译:使用近似双仿真的非线性时滞系统的符号模型
机译:基于并行关系的符号双仿真最小化算法
机译:符号优化和SyOpt系统:符号数学在数学优化算法和系统设计中的应用。
机译:支持SVM的智能遗传算法模型可通过超声传感系统在乳腺囊肿图像中实现高效的通用特征选择
机译:一种完全符号的双模拟算法