柬教官计算机专业外训教学探索

近年来,我室承担了柬埔寨教官计算机专业培训的外训教学任务,由于没有外训经验,教学过程中面临许多新问题,任务艰巨。如何有效实施计算机专业外训教学,提升外训教学水平是当前迫切需要探索的课题。从柬教官的特点和计算机专业的特点出发,对外训教学的规范化问题提出了几点看法,以期为提高教学效果提供借鉴。

一类混合系统的研究

混和系统是既具有离散状态迁移又具有连续状态变化的动态系统,工程控制理论和计算机验证技术的交叉渗透推动了混和系统论的发展,其涉及到对具有混和特性的系统的建模、分析以及控制。目前,比较流行的混和系统模型包括多面体事件驱动混和系统(TEDHS)和多面体不变集混和自动机(PIHA),通过有限状态机描述混和系统的离散特性,流管道可达集近似描述其连续特性。给出以上系统的建模方法,并使用一种基于MATLAB的验证工具CheckMate实现混和系统建模、仿真以及其特性的验证。

一种面向在线查询的拼写纠错算法

搜索引擎中,在线拼写纠错根据用户查询输入补全用户查询,并给出正确的拼写建议。提出了一种面向查询补全的在线拼写纠错算法。基于真实查询的噪声信道转换方式,算法建立了用户查询输入的生成模型;利用拼写纠错对,算法采用期望最大化算法训练能捕获用户误拼行为的马尔科夫N语法转换模型;算法采用不同剪枝策略的启发式改进A*搜索算法以实现实时给出纠错补全建议。实验结果表明,提出的算法相比其他同类算法更有效。