专家类型：技术专家

所在单位：北方民族大学

职称：正高级

学科类别：工学，管理科学与工程，计算机软件与理论,技术专家

主持或参加的科研项目： 1、 国家自然科学基金地区项目，61762002，基于用户偏好的可信社交服务推荐技术研究、2018/01-2021/12、40万元、在研、主持。 2、 国家自然科学基金应急管理项目，61650206、基于编排的跨组织业务流程形式化建模与验证、2017/01-2017/12、13万元、已结题、主持。 3、 宁夏自然科学基金项目，NZ12212，基于游客位置的移动信息服务关键技术研究、2012/07-2014/12、2万元、已结题、主持。 4、 宁夏高等学校科学研究项目，NGY2015151，基于编排的跨组织业务流程形式化建模方法研究、2015/07-2017/06、2万元、已结题、主持。 5、 国家自然科学基金地区项目，61162013、银川平原湿地遥感动态监测研究、2012/01-2015/12、46万元、已结题、参与。 6、 国家自然科学基金地区项目，71061001、语义业务流程模型验证关键技术研究、2011/01-2013/12、22.5万元、已结题、参与。 7、 国家科技支撑计划项目课题，2007BAD33B03、*畜产品规范生产与质量认证系统研发与应用，已结题、参与。 代表性研究成果： 1. 第一作者论文 (1)Choreography modelling based on Π-calculus，Computer Modelling and New Technologies，2014.12.01，18（12）：187~194（EI） (2) Formalizing Cloud Service Interactions，Journal of Convergence Information Technology，2012.01.01，7（13）：189~196（EI） (3)列存储模式下闪存数据库的查询优化算法，计算机工程，2010.12.20，（24）：74~75+78 (4) Modeling and implementation of flexible business process，Journal of Convergence Information Technology，2012.01.01，7（22）：236~244（EI） (5)Using Π-Calculus for Formalizing Service Interactions，International Journal of Digital Content Technology and its Applications，2012.01.01，6（7）：190~197（EI） 2. 通讯作者论文 (1) Warning Propagation Algorithm for the MAX-3-SAT Problem，IEEE Transactions on Emerging Topics in Computing，2017.08.07, PP(99)，DOI: 10.1109/TETC.2017.2736504 (2) 调查传播算法收敛的一个充分条件，中国科学:信息科学， 2017 , 47 (12) :1646-1661. (3)基于评分差异度和用户偏好的协同过滤算法，计算机应用，2016.4.10，（04）：1050~1053+1065 (4) 基于对称三层架构的Petri网仿真工具开发，传感器与微系统，2015.12.20，（12）：76~78+82 (5) 基于改进的模板匹配的设计模式自动识别，计算机工程与设计，2016.9.16，（09）：2429~2434 (6) 基于Petri网的设计模式形式化描述，计算机工程，2016.7.15，（07）：33~36+48 (7) 基于用户项目体验度的协同过滤推荐算法，计算机工程 , 2017 , 43 (8)