暂无评论
为提高格值逻辑系统中α-归结原理的效率,将语义归结思想和α-归结原理相结合,讨论了格值逻辑系统的α-语义归结方法,并得到了其可靠性和完备性,为基于格值逻辑的归结自动推理算法作了必要的准备。
从算法设计到硬线逻辑的实现,复杂数字逻辑系统的VerilogHDL设计方法简介-北京航空航天大学EDA实验室夏宇闻
From algorithm design to hard-wire logic VerilogHDL design techniques and methods for complex digita
数值方法 C语言中不同数值方法的实现
约瑟夫问题又称为“约瑟夫环”和“丢手绢问题”,给出的是该问题的C语言的解决方式。
众多代码中注释较好,可以移植使用的,c语言实现的ecc
SVPWM的C语言实现程序适合DSP初学者学习使用
chmod命令的C语言实现 仅支持数字命令
该资源用C语言实现的简易websocket测试程序,并附有web端的html页面辅助调试,供websocket学习者下载使用,理解websocket协议
gabor的c语言实现，需要opencv支持，解压添加到工程
暂无评论