ONET / OBJECT NETWORK
计算即架构 —— 以类型计算驱动软件构造，连接前沿数学理论与复杂工程实践。
01 / WHAT IS ONET
复杂软件通常由大量组件共同运行。ONet 负责组织这些组件之间的关系，并在编译期通过类型计算形成系统架构，让“系统怎么搭起来”本身进入可计算的工程过程。
CORE MECHANISM
通过定义组件、计算关系与编译期构造，ONet 将软件系统的组织方式转化为可计算的架构过程。
描述系统中有哪些软件组件、能力和类型
通过类型算子和规则计算组件之间的组合关系
在编译过程中构造软件拓扑，并形成可执行系统
02 / WHY ONET
传统方式下，软件架构主要依赖设计经验和持续维护；ONet 尝试把其中可规则化的部分交给类型关系与编译期计算，让架构构造更确定、更可追溯。
TRADITIONAL
依赖人工设计架构质量高度依赖个人经验，长期演化中容易积累结构复杂度。
ONET
规则 + 计算架构由形式化规则参与计算并构造，不再完全依赖人工设计。
03 / HOW IT WORKS
ONet 基于 C++ 模板元编程，在编译期通过类型算子完成组件组合、关系计算与软件拓扑构造，形成“定义 → 计算 → 构建”的完整架构链路。
INPUT
OPERATOR
COMPUTE
RESULT
SYSTEM
TECHNICAL FOUNDATION
幺半群、有限自动机与类型论共同支撑 ONet 的组合关系、状态演进与类型计算机制。
01 / MONOID
建立可组合的软件计算结构。
02 / AUTOMATA
描述系统状态、事件与行为演进。
03 / TYPE THEORY
构建类型计算空间与软件组合关系。
04 / WHAT YOU GET
通过统一的类型关系与构造规则，ONet 使组件关系、架构来源与系统演化过程保持清晰，并提升复杂软件长期维护与扩展的可控性。
01
结构由类型关系与计算规则共同约束。
02
可以从架构结果回到组件和类型关系来源。
03
以统一规则组织组件与能力，减少隐式耦合。
04
降低系统演化中的结构失控与架构腐化风险。
05 / WHERE IT WORKS
ONet 可覆盖嵌入式实时系统、PC / 服务器软件、分布式并行计算，并支持 MoE 架构 AI 大模型等复杂软件系统。
01 / ACOUSTICS
专业测量软件
验证 ONet 在实时数据处理、复杂交互与专业测量软件场景中的工程能力。
02 / EDGE
嵌入式实时系统
覆盖智能感知、数据接入、边缘处理与嵌入式实时运行。
03 / ROBOTICS
组件整合与系统协同
面向机器人组件整合、消息转发和系统协同，探索对 ROS2 能力体系的替代路径。
04 / DPLAB
PC / 服务器工程软件
覆盖数据采集、动态分析与工程试验，形成完整的软件系统应用验证。
06 / WHY IT IS DIFFERENT
DCOM、NGINX、STORM、ROS2 等技术各自解决组件接入、消息路由、拓扑编排或系统整合中的一部分问题；ONet 的核心区别，是把类型计算直接用于软件组件整合与架构构造。
| 技术体系 | 组件接入 | 消息路由 | 拓扑编排 | 系统整合 | 类型计算驱动架构 |
|---|---|---|---|---|---|
| DCOM | ● | — | — | 部分 | — |
| NGINX | — | ● | — | — | — |
| STORM | — | 部分 | ● | 部分 | — |
| ROS2 | ● | ● | 部分 | ● | — |
| ONet | ● | ● | ● | ● | ● 核心能力 |
连接数学结构、类型计算与工程系统，将形式化规则引入软件架构构造，为复杂软件系统提供
更确定、更清晰且可持续演化的基础架构能力。