申宇銘，男，現任廣東外語外貿大學教授，博士研究生。共發表論文15篇，其中SCI 收錄3 篇，EI 收錄12 篇。主持國家自然科學基金1項、參加國家自然科學基金5項、國家“863”高技術研究發展計畫1項、廣西自然科學基金2項。
基本介紹
- 中文名：申宇銘
- 民族：漢
- 出生日期：1976．12
- 專業方向：計算機軟體與理論
科研項目,學術論文,
科研項目
1.國家自然科學基金（本體的保守擴充及其推理機制研究，61103169）項目負責人；
2.國家自然科學基金（面向問答系統的多維語義模板研究，61403088）參加；
3.國家自然科學基金（程式及代數結構的邏輯性質，60573010，60473005）參加；
4.國家自然科學基金（基於本體的一階模態邏輯研究，60573064）參加；
5.國家自然科學基金（矩陣微分系統與非線性混沌系統的複雜性研究，100461002）參加；
6.國家“863”高技術研究發展計畫（腳本驅動的動畫製作方法和系統研究，2007AA0135）參加；
7.廣西自然科學基金（代數結構的邏輯性質，桂科自0447032）參加；
8.廣西自然科學基金(基於進化計算的三倍體個體單體型檢測算法研究(No.2011GXNSFB018068) 參加；
2.國家自然科學基金（面向問答系統的多維語義模板研究，61403088）參加；
3.國家自然科學基金（程式及代數結構的邏輯性質，60573010，60473005）參加；
4.國家自然科學基金（基於本體的一階模態邏輯研究，60573064）參加；
5.國家自然科學基金（矩陣微分系統與非線性混沌系統的複雜性研究，100461002）參加；
6.國家“863”高技術研究發展計畫（腳本驅動的動畫製作方法和系統研究，2007AA0135）參加；
7.廣西自然科學基金（代數結構的邏輯性質，桂科自0447032）參加；
8.廣西自然科學基金(基於進化計算的三倍體個體單體型檢測算法研究(No.2011GXNSFB018068) 參加；
學術論文
[1]申宇銘,文習明,王駒.描述邏輯FL0概念及術語公理集的表達能力刻畫.計算機科學,2014,41(12):206—2011.[2]余泉,李承乾,申宇銘,王駒.溯因推理問題的碰集求解方法.軟體學報(已錄用)
[3] Yuming Shen, Ju Wang. Complexity of conservative extensions and inseparability in the description logic $\mathcal{EL}^\neg$ . The 8th Chinese Semantic Web and Web Scinence Conference(CSWS 2014), , Springer, CCIS 480, 2014, pp.1--9.
[4]申宇銘,王駒,唐素勤.描述邏輯ELU概念及術語公理集的表達能力刻畫.軟體學報.2014,25(8):1794--1805.
[5]申宇銘,馬越,曹存根,眭躍飛,王駒.邏輯之間語義忠實語義滿翻譯.軟體學報,2013,24(7):1626—1637.
[6]申宇銘,王駒,唐素勤,蔣運承.謂詞模態邏輯到對應物理論的翻譯.軟體學報,2012,23(9): 2323—2335.
[7] Yuming Shen,, Ju Wang, Yuefei Sui. On the translation from quantified modal logic into the counterpart theory revisited. In Proceedings of the 3rd International Conference on Knowledge Science, Engineering and Management(KSEM2011), LNAI 7091. Springer, 2011, pp.377-386.
[8] Yuming Shen,Ju Wang,Yuefei Sui. Preservative translations between logical systems. In Proceeding of the 6th International Conference on Intelligent Information Processing(IFIP IIP 2010). Springer, 2010, pp.55-63.
[9] Yuefei Sui,Yuming Shen,Ju Wang. Translating separation logic into a fragment of the first-order logic. In Proceeding of the 6th International Conference on Semantics, Knowledge and Grids(SKG2010). IEEE Press,2010,pp.188-194.
[10] Yue Ma,Yuming Shen,Cungen Cao,Yuefei Sui,Ju Wang.The description logic for relational databases. In Proceeding of the 6th International Conference on Intelligent Information Processing(IFIP IIP 2010). Springer, 2010, pp.64-71.
[11]申宇銘,馬越,曹存根,眭躍飛,王駒.不同邏輯間翻譯的邏輯性質.計算機學報,2009.32(10):2091-2098.
[12]王駒,蔣運承,申宇銘.描述邏輯系統vL循環術語集的可滿足性及推理機制.中國科學(F輯),2009,39(2):205-211.
[13] Yuming Shen,Yue Ma, Cungen Cao,Yuefei Sui,Ju Wang. The dual spatial connectives of separation logic. In Proceedings of the 3rd International Conference on Knowledge Science, Engineering and Management,LNAI5914.Springer,2009,pp. 90-99.
[8] Yuming Shen,Ju Wang,Yuefei Sui. Preservative translations between logical systems. In Proceeding of the 6th International Conference on Intelligent Information Processing(IFIP IIP 2010). Springer, 2010, pp.55-63.
[9] Yuefei Sui,Yuming Shen,Ju Wang. Translating separation logic into a fragment of the first-order logic. In Proceeding of the 6th International Conference on Semantics, Knowledge and Grids(SKG2010). IEEE Press,2010,pp.188-194.
[10] Yue Ma,Yuming Shen,Cungen Cao,Yuefei Sui,Ju Wang.The description logic for relational databases. In Proceeding of the 6th International Conference on Intelligent Information Processing(IFIP IIP 2010). Springer, 2010, pp.64-71.
[11]申宇銘,馬越,曹存根,眭躍飛,王駒.不同邏輯間翻譯的邏輯性質.計算機學報,2009.32(10):2091-2098.
[12]王駒,蔣運承,申宇銘.描述邏輯系統vL循環術語集的可滿足性及推理機制.中國科學(F輯),2009,39(2):205-211.
[13] Yuming Shen,Yue Ma, Cungen Cao,Yuefei Sui,Ju Wang. The dual spatial connectives of separation logic. In Proceedings of the 3rd International Conference on Knowledge Science, Engineering and Management,LNAI5914.Springer,2009,pp. 90-99.
