推理模型
摘要:“你感觉怎样?”当你生病的时候
摘要:“你感觉怎样?”当你生病的时候,医生、家人和朋友都会问你这个简单的问题。但是症状的知觉是如何发生的?这些症状在多大程度上反映了真实的器质性病变?来自外周神经系统的传入信息固然重要,但是许多身体知觉的过程会影响症状表现与器质性病变之间的关系。比如,在高强度负性情绪个体身上,往往发现报告有症状表现,但是身体并无相应的器质性病变
研究计算机科学的基础理论
研究计算机科学的基础理论,包括量子计算等新型计算模型、算法复杂性理论等;研究以并发、实时、混成、移动、概率等为主要特征的复杂计算系统的形式语义与形式化方法。 研究程序设计语言理论以及高可信软件的设计、分析、验证和测试方法;研究量子程序设计理论与方法;突破基础软件核心技术,研制高安全可信的操作系统、中间件和数据库,形成国产自主可控的基础软件平台体系。 研究高可扩展并行算法与应用软件;研究可信计算与信息保障基础理论、关键技术与系统,包括可信计算体系结构、协议设计与分析、认证授权与网络信任、信息对抗与网络保障、可信系统的测评方法与工具等