科研項目：
[1] 虛拟社區中VRML多用戶環境的研究與構造。江蘇省科技計劃項目(BS2001046)。2001.9-2003.9。 驗收(蘇科驗字[2003]第617号)。
[2] 基于VRML的虛拟現實協同環境的技術研究。江蘇省高校自然科學研究計劃項目（03kjd520075）。2003.5-2008.5。結題。
[3] Agent理性形式化研究。江蘇省高校自然科學研究計劃項目(02kjd520004)。 2002.12-2005.12。鑒定(蘇科鑒字[2005]第37号)。
[4] 動态序列圖像的快速檢測及理解。上海市教育委員會科研項目(05XPYQ02)。 2005.12-2007.12。結題。
[5] 面向主體的狀态驗算及其應用研究. 十大靠谱的菠菜网高級專業人才科研啟動基金項目(10JDG063). 2010.5
[6] 以機器人足球為平台的大學生創新教育模式的研究。十大靠谱的菠菜网教學改革研究項目(1293000216)。2005.9-2007.12。結題。獲十大靠谱的菠菜网教學成果一等獎。
論文、著作：
著作
程顯毅,劉一松,晏立. 面向智能體的知識工程. 科學出版社, 2008 智能科學技術著作叢書
主要期刊論文
1) 劉一松,李倩倩. 一種最優規劃程序設計語言OPPLFC.計算機應用研究. 2011.8,28(8):3007-3039
2) 劉一松,鐘 珊,詹永照. 一種基于有色網的行動推理表示模型. 十大靠谱的菠菜网學報（自然科學版）, 2010,31(3)：334-338（EI檢索）
3) 劉一松,萬軍朋. 基于區域伸縮的空間關系的研究與實現. 計算機工程, 2010, 36(4):241-243
4) 劉一松,桑丘,劉朗宇. 智能體行動推理中的信念修正. 計算機應用, 2010,30(7):1892-1895
5) 劉一松,李明月,朱芒.一種基于流演算的動态規劃程序設計語言.計算機應用研究, 2010,27(7):2591-2593
6) 劉一松,文占朝. 基于流演算的智能虛拟人模型研究與實現. 計算機應用研究. 2009,26(8):2968-2970
7) Yisong Liu, Shan Zhong, Yongzhao Zhan. Reasoning about Action for Behavioral Animation of Intelligent Virtual Agents. The International Journal of Virtual Reality, 2008, 7(3):37-42.
8) 劉一松, 詹永照, 孫亞民. 基于區域伸縮的空間關系表示. 計算機科學, 2008,35(4):211-215
9) 劉一松, 王剛, 詹永照, 孫亞民. 基于情景演算的多個智能虛拟人協作行為描述語言. 計算機輔助設計與圖形學學報, 2007, 19(12):1629-1634 （EI檢索，鎮江市優秀科技論文二等獎）
10) 劉一松,魏甯. 一種虛拟人導航運動的路徑規劃算法.計算機工程與應用, 2007, 43(33): 89-91
11) 劉一松, 王 剛, 孫亞民. VRML中虛拟人動作描述的研究. 計算機工程與設計, 2007, 28(14):3446-3448
12) 劉一松. VRML虛拟空間協同生成原型系統的研究與開發. 計算機應用研究, 2000,17 (1):26-28 （鎮江市優秀科技論文三等獎）
13) 劉一松.多用戶VRML技術在構造3D人-人交互界面的應用. 計算機工程, 1999, 25(11):49-51 （EI檢索）
主要會議論文
1) Yisong Liu, Zhihua Yin, Huijuan Zhu, Lili Wang. Handling Negative Disjunction Constraints (or_not_holds) in FLUX. Proceedings of the 2nd International Conference on Computer and Automation Engineering（ICCAE 2010）,Vol.5, Singapore, 2010:514-518. (in English，EI檢索)
2) LIU Yi-song, LIU Hai-mei, ZHAO Jing-bo. On Multi-Agent Based Urban Rail Transport Ridership Forecast System. 2010 International Conference on e-Health Networking, Digital Ecosystems and Technologies (EDT 2010),Vol.1, Shenzhen,China,2010:256-259. (in English，EI檢索)
3) Yisong Liu, Shan Zhong. A Predicate/Transition Net Model for Reasoning about Actions. 2008 International Symposium on Computational Intelligence and Design (ISCID 2008),Vol.1, Wuhan, China, 2008:72-75. (in English，EI檢索)
4) Yisong Liu, Lili Dong, Yamin Sun. Cooperation Model of Multi-Agent System Based On The Situation Calculus. Proceedings of the 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2006 Main Conference Proceedings), IAT’06, Hong Kong, 2006:424-427. (in English，EI檢索)
5) Yisong Liu, Gang Wang, Lili Dong, Yamin Sun. The Cooperation Behaviors of Multiple Intelligent Virtual Agents Based On the Situation Calculus. Proceedings of the 16th International Conference on Artificial Reality and Telexistence - Workshops, ICAT 2006, HangZhou China, 2006:83-88. (in English，EI檢索)
6) Yisong Liu, Lili Dong, Yamin Sun. Multi-agent System Based on the Extended ConGolog. Proceedings of the Sixth International conference On Intelligent Systems Design and Applications (ISDA 2006), v 2, Jinan, China, 2006:913-918. (in English，EI檢索)
7) Liu Yisong, Cheng Tianci. Constructing 3D Human-Human Interaction Interface by VRML Tech. Proceedings of Workshop on CSCW in Design, Compiegne, France, 1999:459-462 (in English)
教學成果：
課程
1) 分布式虛拟現實, 面向碩士研究生
2) J2EE導論, 面向本科生
3) 軟件項目管理, 面向本科生
4) 編譯技術, 面向本科生
5) C語言程序設計, 面向本科生
獲獎
1) 2007，十大靠谱的菠菜网 教學成果壹等獎。
2) 2007，中國機器人大賽RoboCup仿真組(2D)項目二等獎，中國自動化協會、科技部高科技研究發展中心。
3) 2010，十大靠谱的菠菜网第四屆優秀教學質量三等獎。 |
