1.计算模式GriJack：简称“格件”，一种面向信息系统的问题求解模式，基于形式领域融合描述业务逻辑，可用做软件开发方法、CPU体系、超算体系
2.软件开发方法EIO：一种基于数据抽取与注入的软件开发方法，可取代诸如PHP/ASP/JSP…之类的传统的动态网页技术以及诸如Struts、SpringMVC、Tapestry等的MVC类支撑环境
3.大数据组织与操作模型GriDoc：一种基于复合树表结构的面向大数据的组织与操作模型，支持大数据的操作访问模型化以及流式计算与区块链，实现了非关系数据的模型化操作访问.GriDoc的前期产品有DataTurbo、DataHub
4.基于泛在对象三段式装配的软件构成方法与覆盖网体系OAA：简称“供件”，是一种面向物联网的覆盖网体系，支持基于网络节点增值的软件动态构造—软件即覆盖网SaaN，特别适合“物联网+”的开发。
5.物联网应用构造方法及其支撑环境USIP：支持泛在对象的模型化接入与互操作，以“中央厨房”模式构造面向物联网应用的计算机应用系统
6.泛在对象智能控制引擎UOSE：一个通用控制指令发生器，支持基于泛在对象的传感信息、控制规则和控制样本，对泛在对象发出智慧化的控制指令，用于实现设备的无人控制。
7.众核调度方法FRT：通过任务相关性排序与核共享规划两个阶段缩减由于相关性引起的核的“假忙”，支持用有限物理核和其他处理器模拟海量虚拟核，实现众核的高性能调度
