【摘 要】
:
国家自然科学基金委员会启动实施了"可信软件基础研究"重大研究计划。本文从该重大研究计划的立项背景和意义,可信软件的研究现状,该重大研究计划的科学目标与核心科学问题,
【机 构】
:
国家自然科学基金委员会信息科学部; 国家信息中心信息化研究部; 国防科技大学计算机学院; 华东师范大学软件学院; 国家自然科学基金委员会信息科学部 北京 100
论文部分内容阅读
国家自然科学基金委员会启动实施了"可信软件基础研究"重大研究计划。本文从该重大研究计划的立项背景和意义,可信软件的研究现状,该重大研究计划的科学目标与核心科学问题,以及预期成果等方面进行了介绍。
其他文献
当代山水画创作具有明显的'境生象外'特征,其中包含中国传统美学和西方柏格森直觉体验美学思想,'下意识'的直觉体验对当代山水画的创新具有重要影响。本文从
本文分析了当前基层单位反腐倡廉宣传教育中存在的主要问题及其原因,在此基础上提出了反腐倡廉宣传教育应当遵循的基本理念、思路,以及教育的主要内容、形式和途径等,并且提
种种原因的影响,韩国文字的去汉字化,无法使用汉字的最大利益——辞义精简。导致严重的外来语过量,新语汇无法藉由固有文化创造的积淀,使语言仅留其形而丧其精魂。如今,韩国
综合能力是高中教育阶段对学生能力培养的一个重要方面。它是学生在各学科学习和社会实践活动中表现出来的能够运用多学科知识和多种能力创造性地分析问题、解决问题的复合能
形成牙菌斑的生物膜中存在大量微生物,各种微生物通过高丝氨酸内酯(AHL)或寡肽等不同的信号分子产生群体感应(QS),形成的群体感应使各种微生物建立了区系平衡,对龋齿及牙周炎
本文简要介绍了合成生物学发展的历史背景与定义,它的主要研究内容,包括基因线路、合成基因组、合成药物与生物基产品或材料等。探讨了合成生物学与基因工程的异同,介绍了合
采用正交水提醇沉淀法提取桦褐孔菌成分,得出其最佳提取方法。采用腹腔巨噬细胞吞噬法、测量小鼠免疫器官质量法和测定老龄大鼠SOD酶的活性,研究其对正常小鼠免疫功能的影响
<正>近日我国暴力恐怖犯罪不断发生,其活动手段多样而残忍。在目标的选择方面通常倾向于大规模的群体,以求产生轰动的效应。暴力恐怖犯罪本身具有的一些特点,如参加人员的复
介绍了为实际应用而开发的低成本、高效率、长寿命的制冷系统:空调压缩机驱动的单级同轴脉冲管制冷机。实验获得了38.4K的最低温度,制冷量3W/50K,大于6W/80K,输入功率约620W,启动过程操作简单、降温快、
联合分析方法作为市场营销研究中的一种十分广泛使用的方法,非常胜任于估测消费者对一些能够详细定义的某种产品或服务(如产品、品牌、商店等)的相对重要性和属性水平的效用的