An Approach of Knowledge-Based Programming in Postal Service

ＡｎＡｐｐｒｏａｃｈｏｆＫｎｏｗｌｅｄｇｅ－ＢａｓｅｄＰｒｏｇｒａｍｍｉｎｇｉｎＰｏｓｔａｌＳｅｒｖｉｃｅ￥ＬｉｕＣｕｎｌｉａｎｇ（ＳｈｉｊｉａｚｈｕａｎｇＰｏｓｔａｌＣｏｌｌｅｇｅ，Ｓｈｉｊｉａｚｈｕａｎｇ０５００２１，Ｐ．Ｒ．Ｃｈｉｎａ）Ａｂｓｔ...     

综合化航空电子系统软件接口研究

综合化航空电子系统软件对系统的综合性能具有较高的要求。全面分析了综合化航空电子系统的性能需求,定义了综合化航空电子系统性能评估模型,首次对综合化航空电子系统进行全面评估,建立了综合化航空电子系统体系结构和功能软件的评估模型,分析和对比了综合化航空电子系统软件现有接口标准规范。在航空电子系统软件开发中将多个标准结合起来参考使用,将有利于提高机载软件的重用性、移植性、安全性和可靠性。     

基于APOS理论的离散数学概念教学

离散数学概念繁多而抽象,严重阻碍命题学习、逻辑思维能力培养以及整个理论体系的形成,从而影响该门课程教学质量的提高。本文基于著名数学教育家杜宾斯基的APOS理论,提出相应的离散数学概念学习策略。教学实践表明,提出的概念教学策略对提高学生学习兴趣,培养学生思维能力,提高离散数学教学质量有明显的效果。