基于MOVR启发式的求差知识编译算法

DKCHER算法是基于超扩展规则的求差知识编译算法,也是目前为止表现最好的EPCCL理论编译算法.本文通过研究DKCHER算法的执行流程,设计了一种新的启发式策略MOVR（maximum occurrence number of variables in middle result）,用于动态地从输入子句集中选择所包含变量在中间结果中出现次数最多的子句.将MOVR启发式策略与DKCHER算法相结合,设计了MOVR_DKCHER算法.实验结果表明,MOVR启发式策略能够显著提高DKCHER算法的编译效率和编译质量,编译效率平均可提升70倍左右,最高可以提高237倍.     

基于MACR和CAL启发式的求差知识编译算法

DKCHER算法是基于超扩展规则的求差知识编译算法.本文首先研究了DKCHER算法的执行流程,并定义了互补量的概念,然后设计了启发式策略MACR（maximum complementary amount of clauses with middle result）,用于动态选择与中间结果互补量最大的子句.针对互补展开过程,设计了动态启发式策略CAL（optimal sequence sorted by complementary amount of literals）,将互补展开中的文字按照与输入公式互补量的大小进行排序并展开.将上述两种启发式策略与DKCHER算法相结合,分别设计了MACR_DKCHER算法、CAL_DKCHER算法和MACR_CAL_DKCHER算法.实验结果表明,MACR启发式策略能够提升DKCHER算法的编译效率和编译质量,编译效率最高可提升9倍,编译质量最高可提升1.9倍;CAL启发式策略在子句数和变量数比值较大的实例上,能够提高DKCHER算法的编译效率,但会降低DKCHER算法的编译质量;MACR_CAL启发式最高可将DKCHER算法的编译效率提高12倍,但会导致DKCHER算法的编译质量有所降低.     

多元智能理论在"编译原理"教学中应用

多元智能理论给传统教育带来了巨大影响,同时也赋予了现代高校教学新的模式与方法。本文首先介绍了多元智能理论和编译原理课程的特点,然后说明了将多元智能理论应用于“编译原理“教学的作用。主要从培养目标、课堂组织、理论实践、评价体系四个方面进行了探讨,并分析在此理论指导下学生自学能力、独立思考能力、研究能力和创新能力的培养。     

数据挖掘算法并行化研究

<正>数据挖掘的目标是从海量的数据中抽取出模式,找出数据变化的规律和数据之间的相互依存关系,使人们能够从宏观的高层次的角度来审视数据,充分发掘数据的潜力,指导人们的行为,为决策和科学     

分布式并行数据挖掘计算框架及其算法研究

为了提供一个灵活可扩展的计算平台进行高效的挖掘计算，提出了一种应用于分布和并行环境的数据挖掘计算框架和相应的算法。通过分析关联规则挖掘理论和以往算法的优缺点，建立一种分布式并行数据挖掘的计算框架，并给出相应的求解算法。实例分析表明该计算框架能够减少节点问的通信开销，保持了良好的可扩展性：挖掘算法则利用本地节点动态有序集合枚举树生成方法代替数据库节省了本地空间的占用．大大提高了查找的计算效率。     

语音信号及其编译码算法的研究

对语音信号的特征及其产生模型作一概述，并对实际应用中常采用的编译码算法作一简单介绍。最后结合一些新兴的改进的算法提出改进思路。     

遥感图像复原与超分辨算法及其并行实现

为了提高海量遥感图像的处理效果和速度,进行了相应的图像复原与超分辨算法及其并行硬件体系结构的研究。首先,介绍了频域内的解模糊、去噪和超分辨等关键算法;然后,对DSP和机群两种体系结构进行了分析和比较,结果表明,机群更适合于大规模并行处理;最后,在DSP和计算机系统上对算法的处理效果和速度进行了实验和分析,给出了机群的性能预测,确定了关键参数即处理器数目的选择依据。实验结果表明,该系统可满足实时应用的要求,同时使处理后图像的清晰度、对比度和分辨率显著提高。     

一个有效的快速并行检索算法

本文给出了一种在多处理器环境下对有序序列进行快速并行检索的方法,详细讨论了有关算法及其数据结构.并给出了该检索系统对硬件结构的要求.     

面向软件工程专业工程化改造编译原理

随着社会经济的迅速发展,计算机学科中"编译原理"工程化改造的重要性逐渐凸显出来,在面向软件工程专业工程化改造变异原理中,可以通过创建"编译原理"课程工程化的实践教学体系来实现,通过相关方法和措施,能够有效帮助和解决编译原理这门课程在面颊软件工程专业工程化改造中所遇到的问题。本文就面向软件工程专业工程化改造编译原理进行分析,并提出一些可供参考的意见和措施。     

"知识论"基础研究

知识是人类所创造的宝贵财富,但至今没有形成系统的知识理论.本文旨在提出和建立知识论的必要基础,给出知识的概念、定义、表示、度量、推理和决策规则.知识论的建立将为信息论-知识论-智能论的统一理论奠定坚实的基础,促进人们在更高的水平上利用信息和知识,研究、设计和应用各种智能机器.     

知识论:核心问题——信息-知识-智能的统一理论

知识是人类所创造的宝贵财富,但是至今还没有形成系统的知识理论.文[1]提出和建立了知识的初步基础,给出了知识的概念、定义、表示、度量、推理和决策规则.本文则试图在此基础上阐明信息与知识、知识与智能的关系,建立知识论的核心框架.作者相信知识论的建立将为信息论-知识论-智能论的统一理论奠定必要的基础,促进人们在更高的水平上利用信息和知识,研究、设计和应用各种智能机器.     

数据挖掘中新的并行算法

对已提出的挖掘关联规则的并行算法进行了较全面的总结 ,对他们的性能进行了分析 ,针对这些算法中的问题。提出了一种新的挖掘关联规则的并行算法 ,并对他的性能作了简要分析 ,给出了优化策略。     

单容错网络存储编码并行算法研究

在海量存储系统中,利用冗余数据编码技术是提高存储系统可靠性的较好方法。文中对网络存储编码的相关算法进行了研究,针对单容错网络磁盘阵列的编码操作,重点研究了RAID5编码的并行算法。针对集中式奇偶校验编码算法在运行时间上的缺陷,提出了将编码计算过程与组通信操作相融合的思想,设计了更为高效的基于多对一归约操作的并行编码算法。实验结果表明,基于组通信的算法相对于集中式算法性能优势明显。     

实值离散Gabor变换块时间递归算法的并行格型结构实现方法

Gabor变换在很多领域被认为是非常有用的方法,如语音与图像处理,雷达、声纳、振动信号的处理与理解等,然而实时应用却因其很高的计算复杂性而受到限制.为了减小计算复杂性,我们曾提出了实值离散Gabor变换法.本文首先简单回顾了作者曾提出的实值离散Gabor变换及其与复值离散Gabor变换的关系,然后为了有效地和快速地计算实值离散Gabor变换,提出了在临界抽样条件下和在过抽样条件下,一维实值离散Gabor变换系数求解的块时间递归算法以及由变换系数重建原信号的块时间递归算法,研究了两算法使用并行格型结构的实现方法,并讨论和比较了算法的计算复杂性和优越性.     

基于TMS320C80的离散Walsh变换并行实现研究

针对离散Walsh变换(DWT)在实时信号处理中具有广泛应用,而其运算速度受到DSP器件性能限制的实际情况,进行了离散Walsh变换的并行性研究及并行性能分析;并在基于并行多处理机平台-TMS320C80的编程结构基础上,实现了并行离散Walsh变换。在TMS320C80进行的试验表明:所开发的并行DWT算法运行结果与理论分析是吻合的,该并行算法的速度和精度都得到了保证。     

知识融合理论研究发展与展望

介绍了知识融合的定义及结构,概述和分析了其国内外研究现状,指出了该领域研究存在的问题,展望了知识融合的发展趋势,为今后相关研究提供了有益的思路。