萬劍怡

萬劍怡，女，博士，江西師範大學計算機信息工程學院教授，1996年在江西師範大學計算機軟體碩士研究生畢業，2002年獲得上海交通大學計算機軟體與理論博士學位。

基本介紹

• 中文名：萬劍怡
• 職業：計算機信息工程
• 畢業院校：江西師範大學

人物簡介

萬劍怡，女，博士，江西師範大學計算機信息工程學院教授，1996年在江西師範大學計算機軟體碩士研究生畢業，2002年獲得上海交通大學計算機軟體與理論博士學位，2005年受國家留學基金委資助赴加拿大多倫多大學訪學一年，從事並行分散式算法、大規模計算研究，參與完成國家973計畫基礎預研項目及多項國家自然科學基金課題。主持完成一項江西省自然科學基金課題。在《軟體學報》、《計算機研究與發展》等國家一級學報和國際會議上發表了多篇論文。目前主持承擔國家自然科學基金課題一項，研究興趣為分散式並行信息檢索與並行數據挖掘。

科研簡介

課題

1. 國家863高技術智慧型計算機系統基礎研究課題“一種系統的算法程式設計與證明方法研究”。1996

2．國家軍用共性軟體八五預研重點課題“具有容錯功能的ADA可重用部件庫” (GFYY-Z-7A-6-1-5), 1997

3．國家自然科學基金課題高技術探索項目“實用的軟體形式化方法和開發工具研究”，2001

4．國家自然科學基金課題高技術探索項目“分劃遞推法套用於高可靠Java程式開發方法研究” ，2003

5．國家自然科學基金課題“基於PAR方法的算法設計形式化和自動化研究”，2006

6．國家自然科學基金課題“動態網路中的移動計算關鍵技術研究”， 2006

7．國家973計畫前期預研課題“形式化方法制導的軟體自動化研究”，2007

8．國家自然科學基金課題 “基於PAR平台的信息系統套用軟體若干共性關鍵技術研究”，2010

9．江西省自然科學基金課題“並行（並發）算法程式形式化開發方法研究”，2007

10．江西省自然科學基金課題“動態網路中的移動計算關鍵技術研究”，2006

11. 江西省教育廳科技項目“基於PAR的構建可信軟體關鍵技術研究，2009

主持完成的課題：

1．江西省自然科學基金課題“曙光並行機上的新型並行程式開發環境研究” (0511041)，2007

2．江西省高性能計算技術重點實驗室開放課題“一種基於泛型思想的並行編程模型研究”，2009

3．江西師範大學青年成長基金課題“用於並行程式開發的設計模式研究”， 2005

代表性論文

萬劍怡，薛錦雲，“一種設計模式的混合規範描述模型研究”，《計算機工程》2001年第27卷第5期 (EI)

萬劍怡，薛錦雲，“一個並行分枝限界算法產生器的設計與實現”，《計算機工程與套用》2001年第37卷第9期

萬劍怡，孫永強，薛錦雲，“一種基於設計模式的三階段並行程式設計方法”，《計算機研究與發展》 2002年第39卷第3期 (EI)

萬劍怡，孫永強，薛錦雲， “一種從Z規約到並行程式的精化方法”， 《軟體學報》 2002年第13卷第11期 (EI:)

萬劍怡，薛錦雲，“一種異構計算系統中考慮通信衝突的有效任務調度算法”，《小型微型計算機系統》2002年第23卷第2期 (EI)

9萬劍怡，薛錦雲，“使用規範匹配實現設計模式的自動獲取”，《小型微型計算機系統》 2002年第23卷第3期 (EI)

萬劍怡，孫永強，薛錦雲，“一種將設計模式用於程式精化演算的並行程式設計方法研究”， 《計算機研究與發展》 2003年第40卷第2期

科研獎勵

石海鶴，萬劍怡，揭安全，化志章，“基於PAR的構建可信軟體關鍵技術研究”，江西省高校科技成果三等獎，2009

課題

國家自然科學基金課題 “大規模數據聚類的並行進化算法骨架研究”，2012－2015