微电子学院邢建平教授研发的出租车防作弊系统同时使用北斗导航的哪两项技术()。