Dept. of Electrical Engineering, National Taiwan University, Taipei, Taiwan 106, Republic of China;
coverage; verification; symbolic simulation; real-time;
机译:时间分数阶波扩散系统的混合符号和数值模拟研究
机译:面向空间站的实时系统环境控制与生命支持系统的数值模拟
机译:系统可识别性(符号计算)和参数估计(数值计算)
机译:实时系统象征性仿真的数值覆盖估计
机译:使用线性图论和符号计算自动生成用于车辆动力学的实时仿真代码
机译:模拟数字系统不处理符号数字比较:不同的符号和非符号数字距离和大小影响
机译:实时数据符号模拟的数值覆盖估计 系统
机译:动态正交方程的数值方案和计算研究(多学科模拟,估计和同化系统:海洋科学和工程学报告)。