「碳中和」背景下企业的能源管理——EMQ & 华为云联合直播 随着「碳中和」战略的提出，企业不仅要关注碳足迹，对碳排放数据进行有效监管，同时也开始寻求对新能源的高效利用，企业的能源结构开始发生转变。在此背景下，如何对能源的使用进行有效管理与分析，成为企业需要解决的问题。8 月 11 日晚 8 点，EMQ 将联合华为云 GaussDB，深入解读双方共同打造的能源数据接入与管理解决方案，从能源角度助力企业数字化转型。 查看详情 →
Datatypes in Dependent Type 介绍依值类型中的常用数据类型与构造数据类型的思路。包括常用的依值类型列表，代表性的有限集，形式化验证中利用类型表示命题，并利用类型论工具对命题进行变换和证明，讨论经典逻辑与形式化验证中直觉逻辑的不同，以及依值类型数据类型和形式化验证在工业生产中的应用。 查看详情 →
