形式化

研究计算机科学的基础理论，包括量子计算等新型计算模型、算法复杂性理论等；研究以并发、实时、混成、移动、概率等为主要特征的复杂计算系统的形式语义与形式化方法。 研究程序设计语言理论以及高可信软件的设计、分析、验证和测试方法；研究量子程序设计理论与方法；突破基础软件核心技术，研制高安全可信的操作系统、中间件和数据库，形成国产自主可控的基础软件平台体系。 研究高可扩展并行算法与应用软件；研究可信计算与信息保障基础理论、关键技术与系统，包括可信计算体系结构、协议设计与分析、认证授权与网络信任、信息对抗与网络保障、可信系统的测评方法与工具等

我们还是先来拆词理解，领域模型可以拆为“领域”和“模型”二词。 领域：按照我们之前的文章的理解，DDD中的领域是指软件系统要解决的问题，如我们的办公设备公众号在线商城就是为了解决电商问题，对应的就是电商领域。 模型：百度百科解释为对于某个实际问题或客观事物、规律进行抽象后的一种形式化表达方式