如何从Python中的数字获取信号名称?