编译原理实践课程教学方法研究

探讨了开设《编译原理》实践课程的必要性,研究了《编译原理》实践课程的“实例-阶段-循环”教学方法,制定了相应的教学方案,并将其应用到实际的教学中。该项研究对高校更深入的教学改革和创新人才的培养具有一定的意义。     

四点插值细分格式的改进

对四点插值分格式提出了一种新的改进方法，并利用栖西定理和构造Bernstein多项式等方法证明了该方法的收敛性，光滑性，同时还得到曲线端点处的导数，给出曲线光滑拼接的充要条件，为曲线间的光滑拼接提供了理论基础，该方法可以很容易地推广到曲面的情形。     

基于自适应Hata模型的无线电发射源定位方法

针对传统无线电发射源定位方法主要依赖基站接收的参数定位, 建造基站花费较大的问题, 提出一种基于自适应Hata模型的无线电发射源定位方法, 该方法改进了传统的Hata模型, 并利用粒子群优化算法有效地确定无线电发射源的位置. 实验结果表明, 该方法是可行且有效的.     

基于超文法的扩展文法转换技术

针对带有优先级的扩展巴克斯范式(EBNF), 普通的语法分析技术很难适用于该文法的问题, 给出了扩展文法的形式定义, 提出一种基于超文法的EBNF到巴克斯范式(BNF)的转换算法, 并给出转换的正确性证明, 该算法在ATLAS语言编译器的开发中得到了实际应用和验证.     

任务驱动的高级语言程序设计课程教学

讨论了传统高级语言程序设计课程教学方式存在的一些弊端。在此基础上,提出了基于任务驱动的高级语言程序设计课程教学方法。以C语言课程教学为例,论证了该教学方法的可行性和相对于传统教学方式所具有的优势,给出了任务驱动的高级语言程序课设计课程教学的具体实现方式,最后讨论了该教学方法中需要解决的一些问题。     

面向科研实践的本科毕业论文改革探索

总结了计算机专业本科毕业生毕业论文的设计与实现中存在的一些问题。提出了通过改革现行教学体系来提高本科生毕业论文质量的具体实现方案。论证了该实现方案的可行性。     

C/ATLAS单动作测试语句实现的操作语义描述

针对C/ATLAS单动作信号语句的一个子集, 提出一种其实现过程的基于抽象机的形式化操作语义描述方法, 并分别给出了各单动作测试语句的状态转换规则. 根据该描述, 可较清晰地理解各单动作语句的功能及其制约关系. 由于该操作语义基于抽象机, 所以在此基础上可以很容易得到单动作信号语句的实现程序.     

基于自适应Hata模型的无线电发射源定位方法

针对传统无线电发射源定位方法主要依赖基站接收的参数定位, 建造基站花费较大的问题, 提出一种基于自适应Hata模型的无线电发射源定位方法, 该方法改进了传统的Hata模型, 并利用粒子群优化算法有效地确定无线电发射源的位置. 实验结果表明, 该方法是可行且有效的.     

面向扩展文法语义分析器的自动生成

在扩展巴克斯范式(EBNF)Earley分析的基础上, 提出一个语义分析器的自动生成算法, 给出了一个带有语义动作的扩展文法和一个输入, 即可生成其语义分析器. 通过执行语义动作, 就可以进行类型检查、 中间代码生成及优化等相关工作, 使得该算法成为完整的扩展文法分析技术, 并在实际运用中成为可能.