量化自动交易系统软件是利用数学模型、统计方法和计算机技术来预测市场趋势，并基于这些预测进行交易决策的自动化系统。以下是一些知名的量化自动交易系统软件：
1. Quantopian: Quantopian是一个广受欢迎的量化交易平台，它提供了许多先进的工具和策略，包括机器学习、统计分析和风险管理等。Quantopian支持多种编程语言，如Python、C++和Java，并且拥有一个活跃的用户社区，可以帮助用户解决各种问题。
2. QuantConnect: QuantConnect是另一个流行的量化平台，它允许用户创建和测试复杂的交易策略。QuantConnect提供了丰富的图表工具、回测功能和实时数据接口，使得用户能够轻松地开发和部署自己的交易策略。
3. TradingView: TradingView是一个可视化交易平台，它提供了一个强大的工具集，包括画线、指标、图表分析等功能。TradingView还支持自定义指标和脚本，使得用户可以将自己的交易策略与平台集成。
4. MetaTrader: MetaTrader是一个广泛使用的交易平台，它支持多种编程语言，如Python、C++和Java，并且提供了丰富的图表工具和交易功能。MetaTrader还支持多货币对和多种资产类型，使得用户能够进行多样化的交易。
5. Backtrader: Backtrader是一个开源的交易策略开发框架，它提供了一种结构化的方式来定义交易策略。Backtrader支持多种编程语言，如Python和C++，并且提供了丰富的图表工具和交易功能。
6. Kraken: Kraken是一个全球领先的加密货币交易所，它也提供了一个量化交易平台，允许用户使用API和其他工具来开发和测试交易策略。Kraken支持多种编程语言，如Python和JavaScript，并且提供了丰富的图表工具和交易功能。
7. Interactive Brokers (IB): Interactive Brokers是一个全球领先的在线经纪商，它提供了一个量化交易平台，允许用户使用API和其他工具来开发和测试交易策略。IB支持多种编程语言，如Python和C++，并且提供了丰富的图表工具和交易功能。
8. AmiBroker: AmiBroker是一个开源的量化交易平台，它提供了一种结构化的方式来定义交易策略。AmiBroker支持多种编程语言，如Python和C++，并且提供了丰富的图表工具和交易功能。
9. NinjaTrader: NinjaTrader是一个专业的量化交易平台，它提供了一套完整的工具集，包括图表分析、指标、脚本和回测功能。NinjaTrader支持多种编程语言，如Python和C++，并且提供了丰富的图表工具和交易功能。
10. LedgerX: LedgerX是一个提供加密货币交易服务的机构，它也提供了一个量化交易平台，允许用户使用API和其他工具来开发和测试交易策略。LedgerX支持多种编程语言，如Python和JavaScript，并且提供了丰富的图表工具和交易功能。
这些软件各有特点，用户可以根据自己的需求选择适合自己的量化自动交易系统软件。在使用这些软件时，需要注意遵守相关法律法规，确保交易活动的合法性和安全性。
