基于DPLL实现的SAT求解器以及数独。 本篇运用了多种优化策略供你选择。
本人为20级， 如有任何问题可以直接与我联系。
2021-11-04 14:02:36
907KB
【问题1】编写一个C语言程序，使用Linux下的图形库，分窗口显示三个并发进程的运行。
【问题2】1、采用编译内核的方法，添加一个新的系统调用。
2、编写一个测试程序，测试新添加的系统调用，以验证系统调用添加是否成功。
【问题3】学习和掌握添加设备驱动程序的方法。
【问题4】实现一个类似Windows系统中的任务管理器的Linux系统管理器。
2021-09-30 02:37:12
4.1MB
1
2020年华科研究生复试机试题，包含测试数据和题目，里面是文档和要所报文件。供考研学子学习使用。此数据量有点大，涉及到链表，数据转换，和容器。解题思路在我吗文章里面有
2021-09-08 12:19:51
21.22MB
1
科计算机组成原理实验（详细注解） 运算器设计(HUST) Educoder平台 Logisim环境对应的circ文件 前六关的代码，能力有限
2021-07-05 00:55:34
708KB
1
本文件适合准备考研的朋友，希望能够帮助到大家，设置的免费下载，也希望大家能够抓住机会及时上岸。谢谢谢谢嘻嘻嘻嘻嘻嘻
2021-05-25 10:57:16
65.44MB
1
基于logisimcn&Educoder平台，华中科技计算机组成原理实验-运算器(HUST)，1-8关circ完整文件
2021-05-07 11:02:39
507KB
1
华科计算机组成原理实验（详细注解） 运算器设计(HUST) Educoder平台 Logisim环境对应的circ文件： https://blog.csdn.net/Spidy_harker/article/details/106291343
2021-04-13 18:58:21
708KB
1