|
友情提示：本站提供全国400多所高等院校招收硕士、博士研究生入学考试历年考研真题、考博真题、答案，部分学校更新至2012年，2013年；均提供收费下载。 下载流程： 考研真题 点击“考研试卷””下载; 考博真题 点击“考博试卷库” 下载
计算机软件与理论（077402授理学学位）
多核处理器（MP）和通用图形处理器（GPGPU）的发展极大的改变了传统的软件开发方法，软件需要适应新的计算机的体系结构，发挥功能强大的并行的处理器和图形处理器的潜力。本方向研究通用图形处理器在通用计算中的软件开发平台和专用语言以及算法和软件。
计算机科学中的形式化方法是利用逻辑和代数的理论和方法表达、设计和验证计算机软件和硬件。本领域在硬件设计形式化验证领域具有很好的基础。本领域研究利用模型检验和定理证明的理论和方法验证软件和硬件的正确性。嵌入式系统是软件和硬件高度交互的系统，利用模型检验进行系统中的软件和硬件模块的逻辑和时序关系的测试和验证也是本领域的研究热点。本方向以省部级重点实验室“软件工程实验室”和“软件工程研究所”为依托，先后承担了多项国家自然科学基金项目和省部级软件测试和验证的科研项目。
免责声明：本文系转载自网络，如有侵犯，请联系我们立即删除，另：本文仅代表作者个人观点，与本网站无关。其原创性以及文中陈述文字和内容未经本站证实，对本文以及其中全部或者部分内容、文字的真实性、完整性、及时性本站不作任何保证或承诺，请读者仅作参考，并请自行核实相关内容。
|
文章搜索
您现在的位置： 
