• Stars
    star
    1
  • Language
    C++
  • Created about 3 years ago
  • Updated about 3 years ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

基于前向连接的子句归结方法,结合迭代加深的子句长度受限搜索,构建简易推理系统。

More Repositories

1

AI_Gobang

根据博弈树的启发式搜索过程、设计α-β剪枝算法和评价函数开发的一个五子棋人机博弈游戏。
Python
3
star
2

CO_MIPS54

实现MIPS架构指令集下54条指令的单周期CPU,经过Vivado和Modelsim联合仿真通过并在Nexys4开发板上下板通过。
Verilog
2
star
3

SE_BugShow

基于FLASK框架,为方便计算机专业师生进行相关课程的作业、问题交流讨论所开发的讨论平台,支持通知发放、问题创建与讨论、评论点赞收藏等功能。
JavaScript
1
star
4

CG_Sphere

借助OpenGL,通过GLSL编写shader渲染的点光源、方向光源、聚光灯光源照射下不同材质的球体模型。
C
1
star
5

CG_Cube

借助OpenGL,通过GLSL编写shader渲染出的彩色立方体。
C
1
star
6

AS_SalaryCaculator

使用x86汇编实现薪资计算工具,按照特定计算规则,根据快递件数计算出应快递员得金额并打印显示。
Assembly
1
star
7

CV_ClassNSeg

对发表于2019 BTAS的DeepFake方向论文Multi-task Learning For Detecting and Segmenting Manipulated Facial Images and Videos进行复现并分析作者提出的模型的优缺点。
Python
1
star
8

AI_8figures

使用启发式搜索解决8数码问题,前期版本基于STL维护open表和close表效率比较低,后期版本使用哈希映射进行了优化。
C++
1
star
9

CV_ImageSeg

基于聚类算法Kmeans和HAC进行的图像分割实验。
Python
1
star
10

CO_MIPS31

实现MIPS架构指令集下31条指令的单周期CPU,经过Vivado和Modelsim联合仿真通过并在Nexys4开发板上下板通过。
Verilog
1
star
11

SD_WebStore

对简单的电子商务平台进行设计,并实现了用户登录注册功能和管理员的用户管理功能。
Java
1
star
12

CG_SolarSystem

借助OpenGL,通过GLSL编写shader渲染出的包括地月系在内的太阳系行星运动模型。
C
1
star
13

DL_Piano

基于Nexys4开发板和PS2通信协议的键盘设计的电子琴,能够支持24个音阶的弹奏。
Verilog
1
star
14

CV_CIFAR10

分别使用KNN和SVM在CIFAR10数据集上进行物体分类任务,后续加入了HOG特征提取对图像做预处理,提高SVM的分类性能。
Python
1
star
15

DS_Hospital

医院挂号系统,对于拥有不同科室和B超室的医院,模拟实现挂号过程、医生按序就诊过程和B超按序检查过程,能够显示各科室、B 超室目前排队情况和查看各医生就诊的所有病人。
C++
1
star
16

DS_Linklist

链表演示工具,能够实现线性表的建立、插入、删除、查找等基本操作。并能够把建立、插入、删除等基本操作的过程随时显示输出来。以单链表、循环链表、双向链表为例。
C++
1
star