路灯设施漏电分析与防漏电措施的应用

文章对路灯设施的漏电原因进行了分析,为防止人身触电和由于漏电造成的种种危害,考虑采取防漏电措施。同时对试验的防漏电措施的应用情况进行了介绍。     

关于计算机辅助对外汉语教学的新思考

该文分析了计算机辅助教学在对外汉语教学上的应用。针对目前计算机辅助教学的优势进行了分析,针对如何使用最新的计算语言学技术对对外汉语教学提供支持进行了总结,同时对自然语言处理技术的发展进行了展望,提出了计算机辅助对外汉语教学的发展方向。     

烷基烯酮二聚体化学改性及其应用探讨

探讨了烷基烯酮二聚体在有机溶剂中与阳离子淀粉进行酯化反应，合成烷基烯酮二聚体淀粉衔生物用作中性／碱性造纸内施胶荆，实验室研究结果表明在一定用量范围内，烷基烯酮二聚体淀粉衍生物具有和AKD内施胶剂相近的用量，且施胶度滞后现象明显改善。     

字节码虚拟机的构造和验证

提出一种虚拟机构造和验证方案.给出字节码程序运行环境BVM(bytecode virtual machine)的形式化定义;采用X86机器语言构造虚拟机CertVM(certified virtual machine);并证明该虚拟机实现符合相应程序规范并和BVM之间具有模拟关系.利用辅助工具Coq给出证明,所有证明均可机器自动检查.CertVM确保在硬件环境满足其语义规范的情况下,已验证的字节码程序能够在给定虚拟机环境中正常运行.给出的方案不仅为虚拟机验证提供理论基础,而且为可信软件构造提供了一种有益的尝试.     

基于POS系统的无人机遥感图像融合方法的研究与实现

根据无人机遥感图像像幅小、几何畸变大、图像配准精度低等特点,提出采用最佳缝合线融合方法对无人机遥感图像进行融合。试验对30张无人机遥感图像序列进行了融合测试,结果表明这种融合方法能够很好地应用到无人机遥感图像的融合中,不仅可以有效地消除拼接线,而且能够避免"鬼影现象",使合成图像的整体目视效果得到了大幅提高。