推理模型

摘要：“你感觉怎样？”当你生病的时候，医生、家人和朋友都会问你这个简单的问题。但是症状的知觉是如何发生的？这些症状在多大程度上反映了真实的器质性病变？来自外周神经系统的传入信息固然重要，但是许多身体知觉的过程会影响症状表现与器质性病变之间的关系。比如，在高强度负性情绪个体身上，往往发现报告有症状表现，但是身体并无相应的器质性病变

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