博文
个人主页
|||
姓名：赵也非
民族：汉
性别：男
Member: IEEE student member, IACSIT senior member, Reviewer and editor of AICIT and IACSIT, 多个国际会议的PC Member.
工作单位：华东师范大学信息学院计算机系博士研究生
通讯地址：上海市虹梅南路5800号15号楼431室
主要经历：
1997.7 ---- 2001.7: 本科就读于东北大学信息学院计算机系，获学士学位；
2001.7 ---- 2005.7: 在Avant!、SVA、DBtel公司从事软件研发工作；
2005.7 ---- 2007.7: 硕士研究生就读于华东师范大学信息学院计算机系
2007.7 ---- 至今： 博士就读于华东师范大学信息学院计算机系，研究方向：软件工程，形式化方法
获得奖励：
1. 1998年，获得东北大学信息学院计算机系的优秀奖学金
2. 2005年9月，考取华东师范大学信息学院计算机系硕士研究
生，获全额奖学金。
3. 2007年5月，在“华东师范大学首届研究生数学建模竞赛”
中，论文《蹦极的数学建模及其龙格-库塔法求解方法》，获
得二等奖。
4. 2007年9月，考取华东师范大学信息学院计算机系博士研究
生，硕博连读，获全额奖学金。
5. 2008年12月，博士学位论文《构件组装的形式化功能验证和
性能分析》，获“华东师范大学2007级优秀博士研究生培养
基金”资助(No. 2009054)。
6. 2009年5月，获得“Best paper of ISECS 2009”，获得
“华东师范大学博士生培养基金资助”，参加ISECS 2009学
术会议，并作报告。
曾发表论文：
1. Yefei Zhao, Zongyuan Yang, Jinkui Xie, Qiang Liu. Formal model and analysis of sliding window protocol based on NuSMV. Journal of Computers. May, 2009. (EI源期刊，检索号：20093112236096)
2. Yefei Zhao, Zongyuan Yang, Jinkui Xie. Formal semantics of UML state diagram and automatic verification Based on Kripke structure. 22nd IEEE Canadian Conference on Electrical and Computer Engineering (CCECE 2009). May, 2009. (EI检索)
3. Yefei Zhao, Zongyuan Yang, Jinkui Xie. Pi-calculus based assembly mechanism of UML state diagram and Validation of model refinement. International Conference on Electronic Computer Technology (ICECT 2009). February, 2009. (EI检索号：20091712046470)
4. Yefei Zhao, Zongyuan Yang, Jinkui Xie, Qiang Liu. Performance analysis of system model Based on continuous-time Markov chains. May, 2009. (submitted to a journal)
5. Yefei Zhao, Jinkui Xie, Zongyuan Yang, Qiang Liu. An Operational Semantics for UML Sequence Diagrams and Consistency Checking in Model Refinement. Aug, 2009. (submitted to a journal)
6. Yefei Zhao, Zongyuan Yang, Jinkui Xie, Qiang Liu. Quantitative analysis of system Based on extended UML state diagrams and probabilistic model checking. Aug, 2009. (submitted to a journal)
7. 赵也非，沈建华. 一种以太网温湿度数据采集系统的设计与实现，第十六届全国测试与故障诊断技术研讨会，2007年5月
8. 赵也非，杨宗源，谢谨奎.基于Kripke结构的UML状态图的形式语义和自动证明，科技论文在线，2008年12月。(精品论文)
9. 赵也非，杨宗源，刘强.基于pi演算的UML状态图的组装机制以及
模型精化的验证，科技论文在线，2008年9月。(精品论文)
10. 赵也非，杨宗源，谢谨奎.基于SMV的滑动窗口协议的形式化建
模与分析，科技论文在线，2008年3月。
11. 赵也非，杨宗源，谢谨奎，刘强.基于扩展UML状态图和Markov
过程的系统性能分析，科技论文在线，2009年7月。（精品论
文）
12. 赵也非，杨宗源，谢瑾奎，刘强. 基于连续时间Markov链的系
统模型性能分析，科技论文在线，2009年8月。
13.赵也非，杨宗源，谢瑾奎，刘强. UML序列图的操作语义及其在
模型精化中的一致性检查，科技论文在线，2009年8月。(精品论
文)
14.Qiang Liu, Zongyuan Yang, Yefei Zhao. Design Patterns in Situation Calculus. International Conference on Software Technology and Engineering (ICSTE 2009). July, 2009. (EI检索)
https://blog.sciencenet.cn/blog-107188-207885.html
上一篇：基于SMV 的滑动窗口协议的形式化建模与分析
下一篇：蹦极的数学建模及其龙格-库塔法求解方法
