江西师范大学 万剑怡
- 瑶湖校区：江西省南昌市紫阳大道99号;青山湖校区：江西省南昌市北京西路437号
- http://www.jxnu.edu.cn/ http://zs.jxnu.edu.cn
- 0791-88120152,0791-88120151
- jxsdzb@126.com
万剑怡
万剑怡老师的简介
<div class> <p> 万剑怡，女，博士，教授，1996年在江西师范大学计算机软件硕士研究生毕业，2002年获得上海交通大学计算机软件与理论博士学位，2005年受国家留学基金委资助赴加拿大多伦多大学访学一年，从事并行分布式算法、大规模计算研究，参与完成国家973计划基础预研项目及多项国家自然科学基金课题。主持完成一项江西省自然科学基金课题。在《软件学报》、《计算机研究与发展》等国家一级学报和国际会议上发表了多篇论文。目前主持承担国家自然科学基金课题一项，研究兴趣为分布式并行信息检索与并行数据挖掘。</p> <p> 曾经参与完成的课题：</p> <p> 1. 国家863高技术智能计算机系统基础研究课题“一种系统的算法程序设计与证明方法研究”(863-306-05-07-1)，1996</p> <p> 2．国家军用共性软件八五预研重点课题“具有容错功能的ADA可重用部件库” (GFYY-Z-7A-6-1-5), 1997</p> <p> 3．国家自然科学基金课题高技术探索项目“实用的软件形式化方法和开发工具研究”(69783006)，2001</p> <p> 4．国家自然科学基金课题高技术探索项目“分划递推法应用于高可靠Java程序开发方法研究” (69983003)，2003</p> <p> 5．国家自然科学基金课题“基于PAR方法的算法设计形式化和自动化研究”(60273092),2006</p> <p> 6．国家自然科学基金课题“动态网络中的移动计算关键技术研究”(60363002)， 2006</p> <p> 7．国家973计划前期预研课题“形式化方法制导的软件自动化研究” (2003CCA02800)，2007</p> <p> 8．国家自然科学基金课题 “基于PAR平台的信息系统应用软件若干共性关键技术研究”（60773054）,2010</p> <p> 9．江西省自然科学基金课题“并行（并发）算法程序形式化开发方法研究”，2007</p> <p> 10．江西省自然科学基金课题“动态网络中的移动计算关键技术研究” (2008GQS0056)，2006</p> <p> 11. 江西省教育厅科技项目“基于PAR的构建可信软件关键技术研究”(GJJ08156)，2009</p> <p> 主持完成的课题：</p> <p> 1．江西省自然科学基金课题“曙光并行机上的新型并行程序开发环境研究” (0511041)，2007</p> <p> 2．江西省高性能计算技术重点实验室开放课题“一种基于泛型思想的并行编程模型研究”，2009</p> <p> 3．江西师范大学青年成长基金课题“用于并行程序开发的设计模式研究”， 2005</p> <p> 发表的代表性论文：</p> <p> 1．万剑怡，孙永强，薛锦云，“Expanding Design Patterns to Parallel Programming”， 第36届面向对象语言与系统技术国际会议TOOLS36, 2000 （EI:2001055447875）</p> <p> 2．万剑怡，薛锦云，“A Design Pattern for Developing Parallel Divide and Conquer Programs” ，国际未来软件会议ISFST’2001</p> <p> 3．万剑怡，薛锦云，“Parallel Programming in SRVRT: A Case Study of 0-1 Knapsack Problem”，国际青年计算机科学家会议ICYCS’2001 (EI:2003137409511)</p> <p> 4．万剑怡，薛锦云，“一种设计模式的混合规范描述模型研究”，《计算机工程》2001年第27卷第5期 (EI:2001456723153)</p> <p> 5．万剑怡，薛锦云，“一个并行分枝限界算法产生器的设计与实现”，《计算机工程与应用》2001年第37卷第9期</p> <p> 6. 万剑怡，孙永强，薛锦云，“一种基于设计模式的三阶段并行程序设计方法”，《计算机研究与发展》 2002年第39卷第3期 (EI:2002397110592)</p> <p> 7. 万剑怡，孙永强，薛锦云， “一种从Z规约到并行程序的精化方法”， 《软件学报》 2002年第13卷第11期 (EI: 2003087370171)</p> <p> 8. 万剑怡，薛锦云，“一种异构计算系统中考虑通信冲突的有效任务调度算法”，《小型微型计算机系统》2002年第23卷第2期 (EI:2002176928601)</p> <p> 9．万剑怡，薛锦云，“使用规范匹配实现设计模式的自动获取”，《小型微型计算机系统》 2002年第23卷第3期 (EI:2002397116599)</p> <p> 10. 万剑怡，孙永强，薛锦云，“一种将设计模式用于程序精化演算的并行程序设计方法研究”， 《计算机研究与发展》 2003年第40卷第2期</p> <p> 11. 万剑怡, 李晓英, “Approach of generating parallel programs from parallelized algorithm design strategies”. The Journal of China Universities of Posts and Telecommunications, 2008, 15(3)：128-132 (EI:20084111629236)</p> <p> 获得的科研奖励：</p> <p> 石海鹤，万剑怡，揭安全，化志章，“基于PAR的构建可信软件关键技术研究”，江西省高校科技成果三等奖，2009</p> <p> 主持在研课题：</p> <p> 国家自然科学基金课题 “大规模数据聚类的并行进化算法骨架研究”，2012－2015，（项目号:61163006）</p> <p> 如果发现导师信息存在错误或者偏差，欢迎随时与我们联系，以便进行更新完善。联系方式>></a></p> </div>
万剑怡老师的课程
万剑怡老师的论文
- 暂时还没有收录万剑怡老师的论文，我们将尽快添加。
万剑怡老师参与的论文
- 暂时还没有收录万剑怡老师参与的论文，我们将尽快添加。
计算机信息工程学院 其他教师
- 丁朝毅
- 丁树良
- 万云
- 万剑怡
- 万宇文
- 万芳
- 乐兵
- 何久钿
- 余彤仑
- 侯贵生
- 倪海英
- 傅清平
- 刘双根
- 刘晓东
- 刘洪
- 刘申之
- 刘超
- 刘长红
- 化志章
- 卢家兴
- 叶继华
- 叶茂盛
- 吴克捷
- 吴水秀
- 周勇
- 周定康
- 周新
- 周琪云
- 姜辉
- 左正康
- 廖云燕
- 张婕
- 张建平
- 张练兴
- 彭云
- 徐培
- 徐文胜
- 揭安全
- 敖小玲
- 朱平辽
- 朱明华
- 李云洪
- 李云清
- 李佳
- 李宏伟
- 李建元
- 李斌
- 李欣
- 李翥刚
- 李雪斌
- 杨印根
- 杨庆红
- 洪少南
- 漆宇舟
- 漆志群
- 熊刚
- 熊建华
- 熊晓华
- 王丽君
- 王国纬
- 王声决
- 王小凡
- 王岚
- 王昌晶
- 王明文
- 王晓庆
- 王沪生
- 王萍
- 王钠
- 甘朝红
- 甘登文
- 石海鹤
- 程柏良
- 罗坚
- 罗文兵
- 罗杰
- 罗玮
- 罗芬
- 聂伟强
- 聂承启
- 聂栎
- 胡全连
- 胡启敏
- 胡小莉
- 胡珍新
- 胡蕾
- 薛锦云
- 衷尔英
- 谢旭升
- 邓涛
- 邱晓红
- 郑燚
- 郭帆
- 钟林辉
- 马明磊
- 高志标
- 黄伟
- 黄勤
- 黄林颖
关于万剑怡老师的相关提示：以上内容并非是万剑怡老师的最新情况，请以万剑怡老师的官方公布信息为准。
