丛书简介:
可信软件基础研究项目组 编
内容简介:
《可信软件基础研究》系统介绍了国家自然科学基金委员会重大研究计划“可信软件基础研究”的研究成果,反映了我国近年来在可信软件基础研究领域的发展,可为今后的研究者提供丰富的科研素材和创新源泉。 本书较为完整地梳理和总结了上述重大研究计划实施以来取得的重大研究成果,主要内容包括项目概况、国内外研究情况、重大研究成果以及展望,并辅以参考文献和成果附录。书中主要围绕四大核心科学问题——软件可信性度量与建模、可信软件的构造与验证、可信软件的演化与控制以及可信环境的构造与评估,呈现基础理论、关键技术和关键领域应用的实施成果。本书将为我国从事可信软件基础研究的科研工作者以及从事安全攸关领域的技术研发者提供参考,进一步推动可信软件的发展。
基于化学小分子探针的信号转导过程研究项目组 编
内容简介:
《基于化学小分子探针的信号转导过程研究》系统介绍了国家自然科学基金委员会重大研究计划“基于化学小分子探针的信号转导过程研究”的研究成果,为后续药物开发奠定基础。 本书较为完整地梳理和总结了上述重大研究计划实施以来取得的重大研究成果,主要内容包括项目概况、国内外研究情况、重大研究成果以及展望,并辅以参考文献和成果附录。书中主要围绕四大核心科学问题展开:用于信号转导过程研究的化学小分子探针的构建;化学小分子探针干预和影响生物体系中生物大分子的活性与相互作用信息的获取方法;基于化学小分子的信号转导机制研究;基于信号转导途径的疾病标记物、药物靶标和先导结构的发现。
非常规突发事件应急管理研究项目组 编
内容简介:
《非常规突发事件应急管理研究》系统介绍了国家自然科学基金委员会重大研究计划“非常规突发事件应急管理研究”的研究成果,为国家应急管理决策提供了坚实的科学基础。 本书较为完整地梳理和总结了上述重大研究计划实施以来取得的重大研究成果,主要内容包括项目概况、国内外研究情况、重大研究成果以及展望。书中聚焦非常规突发事件的信息处理与演化规律建模、非常规突发事件的应急决策理论以及紧急状态下个体和群体的心理与行为反应规律三大核心科学问题,展示了中国非常规突发事件应急管理领域的跨越式发展和创新性研究成果。
细胞编程与重编程的表观遗传机制项目组 编
内容简介:
《细胞编程与重编程的表观遗传机制》系统介绍了国家自然科学基金委员会“细胞编程与重编程的表观遗传机制”的研究成果,为后续深入解析表观遗传调控在细胞生命决定中的作用指出了新方向。本书较为完整地梳理和总结了上述重大研究计划实施以来取得的重大研究成果,主要内容包括项目概况、国内外研究情况、重大研究成果以及展望,并辅以参考文献和成果附录。书中主要围绕五大核心科学问题展开:表观遗传信息建立和维持的分子机制;干细胞定向分化过程中的表观遗传机制;体细胞重编程的表观遗传机制;组织器官发育与再生过程中的表观遗传机制;组织器官发育与再生过程中的表观遗传机制;表观遗传信息网络的起源与进化。