个人简历
姜久雷,男,汉族,1972年9月生,山东济宁人,博士、教授、硕士生导师,高级程序员,九三社员。 2006年6月获西北大学计算机软件与理论专业硕士学位,2014年12月获东华大学信息管理与信息系统专业博士学位。目前,主要从事软件工程方面教学工作,致力于形式化方法、社交网络分析与智能推荐领域科学研究。先后主持国家自然科学基金项目2项;主持完成省级自然科学基金项目1项和厅级高校项目2项;在ieee transactions on emerging topics in computing、中国科学等期刊公开发表论文40余篇。
研究方向
形式化建模方法、社交网络分析和智能推荐
主要承担的教学课程
计算机程序设计、软件工程、数据结构与算法
代表性学术成果
论文及专利:
1. jiu-lei jiang; hui fang; sheng-qing li; wei-min li; identifying important nodes for temporal networks based on the asam model, physica a: statistical mechanics and its applications, 2021, 586.
2. jiang, jiulei; wang, hanxu; li, weimin; a trust model based on a time decay factor for use in social networks, computers & electrical engineering, 2020, 85:0-106706.
3. xiaofeng wang,jiulei jiang(*),warning propagation algorithm for the max-3-sat problem,ieee transactions on emerging topics in computing,2019,7(4): 578-584.
4.王晓峰,许道云,姜久雷(*),唐延辉,调查传播算法收敛的一个充分条件,中国科学:信息科学,2017,47,(12) :1646-1661.
5.聂朋展,姜久雷(*),马占有,模糊计算树逻辑的符号模型检测, 计算机应用研究, 2021, 38(8).
6. jiang jiulei,zhang jiao(*),bao wenxing,choreography modelling based on π-calculus,computer modelling and new technologies,2014.12.01,18(12):187~194
7. jiang jiulei,le jiajin,he feng,wang yan,sun jie,formalizing cloud service interactions,journal of convergence information technology,2012.01.01,7(13):189~196
8. jiang, jiulei(*),le, jiajin,wang, jiangjing,he, feng,bao, wenxing,modeling and implementation of flexible business process,journal of convergence information technology,2012.01.01,7(22):236~244
9. jiang jiulei,le jiajin,,he feng,wang yan,using π-calculus for formalizing service interactions,international journal of digital content technology and its applications,2012.01.01,6(7):190~197
主要科研项目
主持:
1. 国家自然科学基金地区项目,61762002,基于用户偏好的可信社交服务推荐技术研究、2018/01-2021/12。
2. 国家自然科学基金应急管理项目,61650206、基于编排的跨组织业务流程形式化建模与验证、2017/01-2017/12。
3. 宁夏自然科学基金项目,nz12212,基于游客位置的移动信息服务关键技术研究、2012/07-2014/12。
参与:
1. 国家自然科学基金地区项目,61962001 基于决策过程的广义可能性时序逻辑的符号模型检测方法研究 2020.01--2023.12,排名第2位。
2. 国家自然科学基金地区项目,61162013、银川平原湿地遥感动态监测研究、2012/01-2015/12,排名第3位。
3. 国家自然科学基金地区项目,71061001、语义业务流程模型验证关键技术研究、2011/01-2013/12,排名第2位。
4. 国家科技支撑计划项目课题,2007bad33b03、清真畜产品规范生产与质量认证系统研发与应用,排名第6位。
社会兼职
江苏省软件专业委员会委员,中国计算机学会会员。
k8凯发app下载的联系方式
email:jljiang@cslg.edu.cn