【摘 要】
：
计算机科学的发展主要涉及硬件和软件的发展,而软、硬件发展的核心问题之一是如何保证它们是安全可靠的.如今,硬件性能变得越来越高,运算速度也越来越快,体系结构、软件的功
【机 构】
：
西安电子科技大学计算机学院,华东师范大学软件学院,清华大学软件学院
论文部分内容阅读
计算机科学的发展主要涉及硬件和软件的发展,而软、硬件发展的核心问题之一是如何保证它们是安全可靠的.如今,硬件性能变得越来越高,运算速度也越来越快,体系结构、软件的功能也更加复杂,如何开发可靠的软、硬件系统,是计算机科学发展面临的巨大挑战.特别是现在计算机系统广泛应用于许多安全攸关系统中,如高速列车控制系统、航空航天控制系统、医疗设备控制系统等等,这些系统中的错误可能导致灾难性后果.
其他文献
【目的】更精确地估算怀来地区夏玉米蒸散量(ET)。【方法】利用怀来站点2013年的气象数据与涡度相关数据,分别采用最小二乘法与蚁群算法优化冠层阻力Jarvis模型(JA模型)和耦
【目的】探究畦灌入渗参数及灌水质量变化规律及其与灌水历时的关系。【方法】基于夏玉米-冬小麦轮作实测数据,采用winSRFR模型模拟灌水过程,计算入渗参数和灌水均匀度。【结
基于交互行为的用户特征提取和身份认证方法是一种重要的身份识别方式,但高频用户的交互行为模式和操作习惯相对稳定,易被欺诈者模仿,使得现有模型对此类欺诈行为的误判较高.
模型驱动开发以其低错误率、易仿真、易验证的特点,在嵌入式软件开发中被广泛应用.近年来,基于模型的嵌入式软件开发方法及相应工具也在逐渐发展和完善.数据流模型是各种建模
《扬州传--绿杨明月映珠帘》,扬州著名文化学者韦明铧著,2021年3月由中国国际出版集团出版。该书是中国外文局“丝路百城传”重点出版项目之一。《扬州传》围绕扬州和丝绸之
科技创新平台的建设布局在城市推进创新驱动发展过程中具有重要作用,本文立足创新链理论视角,构建城市科技创新平台统筹布局的分析框架,并从宏观层面分析了科技创新平台的功
【目的】探究箱涵式双向立式泵装置性能与导叶体对泵装置效率的影响。【方法】以江苏省江边枢纽泵站的箱涵式双向立式轴流泵装置为研究对象,采用物理模型试验方法对箱涵式双
【目的】分析作物需水量与灌溉需水量时空分布规律,为新疆灌溉用水管理和最严格水资源管理制度的实施提供基础数据和技术支撑。【方法】通过构建多时相归一化植被指数(NDVI)
【目的】为推动河南省境内流域生态环境保护和高质量发展,准确掌握河南省境内区县和水系在四大流域中的分布情况。【方法】基于数字高程模型(DEM)数据,利用ArcGIS扩展模块Arc