知识产权公益平台
个人介绍

代表成果

(1)在理论和应用上,成功地解决了计算正确性的验证问题,并与国内轨道交通信号供应商合作,成功地应用于车载ATP、ATS、ATO等安全要求高的场合,且安全等级达到了SIL4(安全完整性等级,欧洲标准,错误率达10-9),并通过了德国TUV的安全认证。

(2)根据EN 50128的标准,形成了软件安全评估的理论和方法,建立了检查表及评审制度,以保证软件逻辑的正确性。

(3)根据可靠通信的要求,建立并形成了符合国际标准的车地无线通信服务质量及安全性测试方法,目前,正在建设测试平台。

(4)主持完成国家自然科学基金项目3项。

(5)基于Java和三层体系结构与美国SAVI(433MHzRFID标准制定者)、日本NTT Comware开发Alico New Agent/Agence Register System、NTT DoCoMo合作开发物流供应系统,日本松下公司合作开发Wireless Villiage的仿真工具,日本理光合作开发电子政务系统等,积累有软件平台开发和管理的经验。

(6)拓扑变化条件下的网络路由,如车联网、物联网的研究成果。

(7)发表学术论文150余篇,其中SCI/EI论文近30篇,授权发明专利2项,实用新型专利4项,出版专著1部,参编2部,申请发明专利10余项。


教学工作

承担宽带无线通信、信息交换技术、计算机网络、移动通信等课程的本科和研究生教学工作。

研究领域

(1)计算正确性验证。计算设备在强电磁场干扰、震动、太空辐射、潮湿、高温等环境下,会导致CPU及硬件设备计算出错。目前,计算设备大都采用高密度的电子芯片,单位面积的电子器件数量成千上万,故障模式难以把握和分析。安全苛求系统的计算设备,要求确保计算的正确性,只有在计算正确的条件下,才能保证控制的正确性。

(2)程序逻辑正确性验证。计算设备运行程序实现各种功能,在安全应用条件下,须保证程序逻辑的正确性。欧洲及一些国家采用了V模型软件开发流程,并提出了形式化软件方法、N版本技术、恢复块技术等。

(3)可靠无线通信理论。在车地通信时,为确保通信正确性,须要有可靠、安全的通信协议,确保通信的真实性、时效性、不可否认性、加密及一致性等,同时也需要确保无线通信在特定场合的QoS要求,如延时、丢包率、误码率等。


大事记

重要事件

论文

  1. Fast instance selection for speeding up support vector machines.Chen, JN (Chen, Jingnian); Zhang, CM (Zhang, Caiming); Xue, XP (Xue, Xiaoping); Liu, CL (Liu, Cheng-Lin).KNOWLEDGE-BASED SYSTEMS,2013.

科技创新型知识产权服务平台 版权所有 ICP备案:粤ICP备15027671号-1