欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
全球事件云
来自开放百科 - 灰狐
全球事件云 global event cloud
目录 |
简介
当今,各类事件在全球范围内不断产生,而个人、企业、组织、社会就在这个复杂的环境中运作。
世界是消息、事件驱动的。
消息代理、消息中间件、事件流,一个重要的基础设施。
功能
基于 ActorX 和 Erlang cloud 的物联网、车联网设备的管理、时序数据采集、分析、安全、事件告警等是核心。
Erlang 驱动的 RabbitMQ、ejabberd、EMQ X 提供的 XMPP, MQTT, SIP Server.
Apache Cassandra + TimescaleDB 提供存储服务,存储所有的消息事件和时序数据。
协议
GIS
与 GIS, Earch, Map 的全面整合。
项目
- Apache Pulsar
- Eclipse IoT
- Wazuh & Open Distro for Elasticsearch & Kibana 核心基础设施,安全 + 搜索
- WSO2 CEP & Siddhi 是核心引擎
- KIE (Drools, OptaPlanner, and jBPM)
图集
链接
分享您的观点