自主可控计算机相关论文
“自主可控计算机核心技术买不来,这是我们自主可控计算机产业链上所有企业都要面临的现实问题。”7月20日,在2021(第五届)自主可......
本文针对自主可控计算机模型检测中存在的状态爆炸问题提出了安全集指引的有状态偏序化简算法,不仅能避免对相同状态的重复搜索,而......
自主可控信息技术是近期国家技术发展的重点之一。本系统以国内某重点型号工程为应用背景,以"龙芯"计算机为硬件平台,锐华Reworks......