删除或更新信息，请邮件至freekaoyan#163.com(#换成@)
湖南工业大学计算机与通信学院研究生导师简介-文志诚
湖南工业大学 免费考研网/2015-12-16
文志诚，男，汉族，1972.11出生于湖南东安，中共党员，博士，副教授，硕士研究生导师，湖南工业大学中青年骨干教师。2002.6广西师范大学数学与计算机科学学院硕士研究生毕业，2007.6上海大学计算机学院计算机软件与理论专业博士研究生毕业，同年调入湖南工业大学工作，现任计算机与通信学院软件工程系主任。研究方向：软件工程、可信软件。
Email: zcwen@mail.shu.edu.cn
学术论文
1. 文志诚, 李长云, 满君丰. 开放网络环境下软件运行时故障诊断研究, 小型微型计算机系统, 2012出版,已录用.
2. 文志诚, 李长云, 满君丰.基于贝叶斯网的分布式软件行为运行时可信性分析, 小型微型计算机系统, 2011, 32(8).
3. 文志诚, 李长云, 满君丰. 产生证明责任验证Object-Z规格说明的行为子类型继承, 小型微型计算机系统, 2009, 30(6):1049~1056.
4. 文志诚, 李长云, 满君丰. 用带时钟变量的线性时态逻辑扩充Object-Z, 计算机应用研究, 2009, 26(5):1764~1769.
5. 文志诚, 贾峰, 胡纯蓉. 一个Object-Z规格说明的证明责任产生器, 计算机应用与软件, 2010(5):34-37.
6. Zhicheng Wen, Huaikou Miao, Generating Proof Obligation to Verify Object-Z Specification, Proceedings of the International Conference on Software Engineering Advances(ICSEA06). 11, 2006, Tahiti, French Polynesia, IEEE CS press(Indexed by EI & ISTP), pp: 38-43.
7. Zhicheng Wen, Huaikou Miao. An Approach to Extending Object-Z with Real-Time, Proceedings of the Third IEEE International Workshop on Electronic Design, Test and Applications (DELTA06). 1, 2006, Kuala Lumpur, Malaysia, IEEE CS press (Indexed by EI & ISTP),pp: 345-349.
8 文志诚,缪淮扣,张新林.基于Object-Z的形式化验证方法, 计算机科学, 2007, 34(5)247-251.
9. 文志诚, 缪淮扣, 许庆国. 一种从Object到CSP规格说明的转化方法, 计算机科学, 2006, 33(11):263-267.
10. 文志诚, 缪淮扣, 孙军梅. 基于Object-Z多态推理, 计算机科学, 2006, 33(7):230-232,256.
11. 文志诚, 杨善朝. NA、PA样本下密度核估计的相合性, 数学研究, 2002, 35(3):309-319.
12. 文志诚, 杨善朝. PA样本下密度核估计的相合性, 广西师范大学学报, 2002, 20(4):32-37.
13. 文志诚, 曹春丽. 以社会需求为导向的软件工程专业课程体系改革的研究, 计算机教育, 2010, 4:59-62
14. 文志诚, 彭国星, 朱文球, 肖小克,计算机算法设计与分析双语教学, 计算机教育, 2010, 12:59-63
15. Junfeng Man, Zhicheng Wen, Changyun Li, Xiangbing Wen. Research on running time behavior analyzing and trend predicting of modern distributed software, Journal of Computer, 2009, 4(8)(Indexed by EI).
16. 满君丰，杨路明，李长云，文志诚. 软件交互行为的可信性分析与态势预测研究. 小型微型计算机系统. 2009, 30(11)
17. 贾峰, 文志诚, 李长云, 曾茂林. 支持QoS和信任度的Web服务选择研究, 武汉理工大学学报, 2009(EI检索).
18.孙军梅,缪淮扣,文志诚. 面向服务的软件体系结构的形式化, 计算机工程, 2006, 32(8):4-5.
19. 沈毅, 缪淮扣, 文志诚, 陈怡海. 一个Z的证明责任产生器, 上海大学学报(自然科学版), 2005, 11(5):495-499.
科研项目
1. 文志诚, 李长云, 满君丰, 贾峰. 基于Web services构件交互的可信软件模型研究,中国包装总公司科研项目, 2009.9-2011.8.
2. 文志诚, 向华政, 梁爱南, 胡纯蓉, 唐承亮, 贾峰. 基于语义Web服务动态演化的可信软件模型研究,湖南省教育厅科研项目, 2009.1-2010.1.
3. 文志诚, 邓晓衡, 文志强, 陈莉. 计算机算法设计与分析双语教学,湖南工业大学双语教学示范课程建设项目, 2008.9-2011.6.
4. 文志诚, 邓晓衡, 文志强, 满君丰, 向华政等. 计算机算法设计与分析双语教学探素与实践,湖南工业大学教学研究与改革项目, 2008.9-2009.8.
5. 满君丰, 李长云, 文志诚, 吴志辉, 向剑伟, 王志兵, 杨 蕾, 温向兵, 林海玉. 智能家居中居住者与设备非正常情况的问题研究,中国包装总公司科研、技术开发项目(2008-XK10) 2008-2010.
6. 李长云, 满君丰, 王志兵, 文志诚, 文志华. 面向可信的动态工作流系统, 国家版权局软件登记中心(软著登字第129147号, 登记号: 2009SR02968). 2009年1月.
公开出版专著 1. 文志诚, 缪淮扣著. 面向对象软件的形式验证技术, 上海大学出版社出版发行, 2011年3月第1版, ISBN: 978-7-81118-648-2/G·545.
获奖情况
1. 2010.6指导学生刘鑫标和曹贵芝参加湖南省大学生计算机作品赛荣获一等奖，作品：基于Android平台和JavaEE的手机安全防盗与跟踪系统。
2. 2009.6指导学生宋欣德参加湖南省大学生计算机作品赛荣获全省二等奖，作品：铁路客车安全监控系统。
3 2009.6指导学生王飞和刘胜参加湖南省大学生计算机作品赛荣获全省三等奖，作品：校园网分布式计算平台。
4. 2009.5指导学生王飞参加第八届“挑战杯”湖南省大学生课外学术科技作品竞赛荣获全省三等奖，作品：网络准入系统与校园计算网格的集成实现。
相关话题/计算机
领限时大额优惠券,享本站正版考研考试资料!
优惠券领取后72小时内有效，10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材，产品类型包含电子书、题库、全套资料以及视频，无论您是考研复习、考证刷题，还是考前冲刺等，不同类型的产品可满足您学习上的不同需求。 ...考试优惠券 本站小编 Free壹佰分学习网 2022-09-19湖南工业大学计算机与通信学院研究生导师简介-文鸿
文鸿，男，1981年出生，湖南邵阳人，中共党员，博士，硕士生导师，湖南工业大学优秀青年骨干教师。2002年毕业于湖南大学通信工程专业；2003年考取湖南大学通信与信息系统硕士研究生，2005年进入微纳光电器件及应用教育部重点实验室提前攻读博士学位；2008年获博士学位。现任计算机与通信学院网络工程 ...湖南工业大学 湖南工业大学 免费考研网 2015-12-16湖南工业大学计算机与通信学院研究生导师简介-文志强
文志强：男，汉族，1973年9月生，湖南湘乡县人，工学博士，教授，硕士生导师，现为湖南工业大学计算机与通信学院计算机系主任，智能信息处理研究所所长，湖南省青年骨干教师。1993.9-1997.6在中南工业大学获本科学士学位，1997年7至2001年8月在株洲硬质合金厂从事技术开发工作。2004年6月 ...湖南工业大学 湖南工业大学 免费考研网 2015-12-16湖南工业大学计算机与通信学院研究生导师简介-刘丰年
刘丰年，女，汉族，1974年生，湖南常德人,中共党员，博士，副教授，湖南工业大学硕士生导师，国防科学技术大学博士后，现任湖南工业大学计算机与通信学院通信技术研究所所长，通信工程系副主任。E-Mail：liufengnian@yahoo.com 1996年湖南科技大学物理系毕业分配至天津任教，200 ...湖南工业大学 湖南工业大学 免费考研网 2015-12-16湖南工业大学计算机与通信学院研究生导师简介-满君丰
满君丰：1976年生，博士，教授，硕士生导师，湖南省青年骨干教师，湖南省计算机学会理事，计算机应用技术硕士点带头人，“智能感知与网络化控制”湖南省高校重点实验室方向带头人。2003年6月燕山大学计算机软件与理论专业硕士研究生毕业，2010年6月中南大学计算机应用技术专业博士研究生毕业。现任计算机与 ...湖南工业大学 湖南工业大学 免费考研网 2015-12-16南华大学计算机科学与技术学院研究生导师简介-刘立
刘立 2008-07-27 00:00计算机学院本站原创(点击： ) ??? ?刘立，男，副教授，1971年9月生， 博士学位，硕士生导师。 南华大学计算机科学与技术学院软件工程系教师。 1994年7月毕业于湖南大学机电专业，2000年7月至2003年3月在河海大学攻读通信专业硕士学位，2005年至 ...研究生导师 南华大学 免费考研网 2015-12-15南华大学计算机科学与技术学院研究生导师简介-刘朝晖
刘朝晖 2013-10-28 11:52(点击： ) 刘朝晖，男，副教授，1974年4月29日生，在读博士，南华大学计算机科学与技术学院网络教研室教师。 1996年7月本科毕业于湖南师范大学物理教育专业,2005年取得中科院研究生院工学硕士学位。1996年8月至今一直南华大学计算机科学与技术学院任教 ...研究生导师 南华大学 免费考研网 2015-12-15南华大学计算机科学与技术学院研究生导师简介-刘志明
刘志明 2013-10-29 12:28(点击： )刘志明（1972.11--），男，教授，博士，硕导，计算机学院副院长,ACM、CCF高级会员，湖南省计算机教育学会理事。1995年7月毕业于湖南师范大学，获理学学士；2003年毕业于国防科技大学计算机学院，获计算机工学硕士；2011年毕业于国防科技 ...研究生导师 南华大学 免费考研网 2015-12-15南华大学计算机科学与技术学院研究生导师简介-万亚平
万亚平 2013-10-29 12:27(点击： ) 万亚平,男,博士，副教授,1973年7月出生, ACM、CCF会员。研究方向为分布式计算、网络存储、信息检索等。2004年于华中科技大学数字化工程中心获水利水电工程硕士学位，2009年底在武汉光电国家实验室，华中科技大学计算机学院获系统结构工学博 ...研究生导师 南华大学 免费考研网 2015-12-15南华大学计算机科学与技术学院研究生导师简介-罗扬
罗扬 2013-10-29 12:08(点击： )罗扬，男，1962年10月出生，南华大学计算机科学与技术学院软件工程系教师，教授，硕士生导师。1983年毕业于湖南师大数学系（获数学学士学位），2005年毕业于中南大学信息科学与工程学院（获软件工程硕士学位），2000年在清华大学计算机科学技术系作访 ...研究生导师 南华大学 免费考研网 2015-12-15南华大学计算机科学与技术学院研究生导师简介-王怀杰
王怀杰 2013-10-29 12:04(点击： ) 王怀杰，男，教授，1958年11月生，硕士生导师，南华大学高新产业集团三力公司，计算机科学与技术学院兼职教师。 1982年1月毕业于河北地质学院应用地球物理专业。1984年至2002年9月在核工业第六研究所从事计算机应用研究工作，之后在南华大学高 ...研究生导师 南华大学 免费考研网 2015-12-15
