信息科学与技术学院
首页学院概况师资队伍本科教育硕士教育科研学术党建思政合作交流学生工作招生就业校友之家
师资队伍
申宇铭
当前位置: 首页>师资队伍>教授名录>申宇铭>正文
基本资料

姓名:申宇铭

学历/学位:博士研究生

职称/职务:教授

教师介绍

研究方向:语义Web、本体及描述逻辑等相关领域。

联系邮箱: ymshen2002@163.com

截至2014年,总共发表论文15篇,其中SCI 收录3 篇,EI 收录12 篇。主持国家自然科学基金1项、广东外语外贸大学引进人才项目1项、广西师范大学博士启动基金1项、广西师范大学青年骨干教师基金1项、广西师范大学青年基金1项,参加国家自然科学基金5项、国家“863”高技术研究发展计划1项、广西自然科学基金2项。

1、国家自然科学基金(本体的保守扩充及其推理机制研究,61103169)项目负责人;

2、国家自然科学基金(面向问答系统的多维语义模板研究 ,61403088)参加;

3、国家自然科学基金(程序及代数结构的逻辑性质,60573010,60473005)参加;

4、国家自然科学基金(基于本体的一阶模态逻辑研究,60573064)参加;

5、国家自然科学基金(矩阵微分系统与非线性混沌系统的复杂性研究,100461002)参加;

6、国家“863”高技术研究发展计划(脚本驱动的动画制作方法和系统研究,2007AA0135)参加;

7、广西自然科学基金(代数结构的逻辑性质,桂科自0447032)参加;

8、广西自然科学基金(基于进化计算的三倍体个体单体型检测算法研究(No.2011GXNSFB018068) 参加;

9、广东外语外贸大学引进人才项目(描述逻辑表达能力的刻画、比较及分类),项目负责人;

10、广西师范大学青年基金(对求解线性系统中产生残量波动和停滞现象的研究)项目负责人;

11、广西师范大学青年骨干教师基金(半分配族的逻辑性质)项目负责人.

近5年以来发表(含录用)科研论文:

[1] 申宇铭、文习明、王驹. 描述逻辑FL0概念及术语公理集的表达能力刻画. 计算机科学,2014,41(12):206—2011.

[2] 余泉、李承乾、申宇铭、王驹. 溯因推理问题的碰集求解方法. 软件学报(已录用)

[3] Yuming Shen, Ju Wang. Complexity of conservative extensions and inseparability in the description logic. 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.

教学情况

主讲课程:《高等数学》、《线性代数》、《离散数学》、《人工智能》等课程。

共产党员网 中国共产党新闻网 广东省科技厅 广州市科信局 广东外语外贸大学 广东外语外贸大学办公邮箱
中国计算机学会 中国中文信息学会 人工智能学会 学者网 i春秋 蓝盾
轩辕网络 上海交通大学安全学院 北航计算机学院 本科教学审核评估网

中国广州市白云区白云大道北2号 510420 (北校区) | 中国广州市番禺区小谷围广州大学城 510006 (南校区)
联系方式:(020) 39328032(南校区)
广东外语外贸大学信息科学与技术学院 / 网络空间安全学院Copyright©2015