归约相关论文
不同设计对DSP核的运算性能、面积和功耗都有不同的要求,设计灵活高效的DSP IP核具有重要的工程实践价值。X-DSP是我国自主研发的3......
数据预处理在数据挖掘中占有重要地位,传统的数据归约方法都有其局限性.本文介绍了粗糙集的相关概念及数据预处理的一些知识,并利......
文中对分析两个REESSE1+难题的两篇文章进行了回复,指出第一篇文章在攻击任务的时间复杂度分析方面存在明显错误,确认了第二篇文章......
期刊
介绍了一种新型的形式说明语言PD_Cal,该语言具有良好的表达能力以及丰富的类型.通过对由该语言描述的定理证明过程进行类型检查,......
逻辑常项的刻画蕴涵着逻辑作为整体的刻画,语义进路和句法进路对逻辑常项的刻画分别遇到了难以解决的问题,而逻辑常项沿着皮尔士传......
安德森认为依靠归约公式Op□(～p→S)能把道义逻辑归约为真值模态逻辑。但是，安德森的这种做法是不妥的。所有标准系统都不能把“帮......
期刊
