hero.jpg
满海霞
满海霞
职称教授
系所大学英语系
主讲课程
本科生
课程
  • 英语语音与实践
  • 基础外语
  • 跨文化交流
  • 英语词汇学
  • 名篇翻译鉴赏
 
研究生
课程
  • 文献阅读与学术论文写作
  • 专门用途翻译
  • 法律法规翻译
  • 语言学专题
  • 英汉科技笔译
学习经历
2008.9-2011.9 中国社会科学院研究生院 逻辑学
2012.9-2013.9 美国麻省大学语言学系访学（Sponsor：Barbara Partee）
2022.12-2023.12 英国爱丁堡大学信息学院访学（合作教授：Mark Steedman）
社会职务
中国逻辑学会语言逻辑专业委员会 秘书长
北京市逻辑学会 常务理事
中国逻辑学会 理事
科研方向
形式语义学 　｜　句法-语义接口 　｜　语义-语用接口研究　｜　翻译
科研业绩
项目
  1. 面向汉语的组合范畴语法研究，国家社科基金后期项目，2021年，主持人，在研
  2. 形式语义学的汉语研究与形式语义学理论创新，国家社科基金重大招标项目，2022年，参与人，在研
  3. 大数据背景下人工智能及其逻辑的哲学反思，国家社科基金重大招标项目，2019年，参与人，在研
  4. 泛欧亚文学、文化与研究，北京科技大学院长基金，2019年，负责人，已结项
  5. 面向人工智能的组合范畴语法研究，国家社科基金重大招标项目，2017年，第三子课题负责人，已结项
  6. 组合范畴语法CCG的逻辑语义研究，国家社科基金青年项目，2014年，负责人，已结项
  7. 基于形式语义学经典理论的汉语本体论研究，中央高校基本科研基金，2014年，主持人，已结项
  8. 面向汉语自然语言信息处理的多模态范畴语法研究，教育部社科基金，2014年，核心成员，已结项
  9. 混合范畴类型逻辑与汉语的形式处理，中国逻辑学会学术研究基金，2013年，负责人，已结项
  10. 逻辑、语用型语言与CCG语义的构建与研究，中央高校基本科研业务费专项，2013年，负责人，已结项
  11. 面向自然语言信息处理的组合范畴语法研究，教育部社科基金，2012年，负责人，已结项
  12. 基于事件特征的连动式语义组合机制研究，教育部社科基金，2010年，核心成员，已结项
  13. 自然语言信息处理的逻辑语义学研究，国家社科基金重大招标项目，2010年，重要参与人，已结项
  14. 面向自然语言信息处理的范畴类型逻辑研究，国家社科基金，2009年，核心成员，已结项
  15. 探索面向实践型人才培养的MTI（英语）口笔译方向分离机制，北京科技大学研究生教育教学改革项目，2022年，主持人，已结项
  16. 人工智能背景下翻译人才素养的社会需求分析与培养模式探索，北京科技大学研究生发展基金课程建设项目，2022年，参与人，已结项
  17. 中国文化典籍英译教程，北京科技大学研究生发展基金教材建设项目，2022年，参与人，已结项
  18. 科技口译实践（交传），北京科技大学研究生课程思政示范项目，2022年，参与人，已结项
  19. “贝壳科技·文明·文化”国际胜任力培养平台建设，北京科技大学科技与文明中外人文交流研究开放课题，2022年，参与人，已结项
  20. 《英语语音语调练习手册》，北京科技大学校级规划教材项目，2021年，主持人，在研
  21. 《口译理论与实践》，北京科技大学精品在线课建设项目，2019年，主持人，已结项
  22. 大数据视角下产教融合型研究生翻译人才培养的理论与实践，研究生发展基金教育项目，2019年，参与人，已结项
  23. 大学英语课程思政的模式构建与实施路径探索研究，教学研究项目，2019年，参与人，已结项
  24. 《英语语音与实践》，北京科技大学核心素质课项目，2014年，主持人，已结项
  25. MTI课程建设体系的构建，北京科技大学研究生教育发展基金项目，2011年，参与人，已结项
论文
  1. Eliza效应再现与语义研究的未来——马克·斯蒂德曼谈大语言模型，《当代语言学》，2025（5）：653-675。
  2. 从语言的断定结构看亚里士多德逻辑与中国古代逻辑的发生——兼为爱因斯坦对李约瑟难题的回答赋以逻辑解，《逻辑学动态与评论》，2023年第1辑：85-98。
  3. 组合范畴语法：通向人工智能语义理解的一种逻辑经验主义路径，《哲学动态》，2022（1）：119-125。
  4. 汉语句法构造的哲学基础探析——基于亚里士多德逻辑与墨辩逻辑的对比分析，《天津外国语大学学报》，2021（6）：96-106。
  5. 《中国大百科全书》（第三版），兰姆达演算、兰贝克演算、对称的范畴逻辑、非连续的范畴逻辑、古典范畴语法、组合范畴语法6个词条，https://www.zgbk.com/，2021。
  6. “有”的个体/事件量化分野及其语义生成机制，《当代语言学》，2020（3）：366-380。
  7. 构建汉语行为语法的金字塔分层结构，《湖北大学学报（哲学社会科学版）》，2019（5）：77-84。【人大复印资料全文转载（逻辑卷），2020（2）：32-39】
  8. 《事件语义学引论》述评—纪念戴维森提出事件论元思想五十周年，《逻辑学研究》，2019（4）：102-104。
  9. 《自然语言信息处理的逻辑语义学研究》第八章。北京：科学出版社，2017。
  10. 《句法描述的半数学化标记》评介，《自然语言逻辑经典文献研究》：1-12。北京：中国社会科学出版社，2016：1-12。
  11. 《形式语义学与述谓语法》评介，《自然语言逻辑经典文献研究》：176-206。北京：中国社会科学出版社，2016：176-206。
  12. 组合范畴语法的量词辖域歧义研究新思路，《哲学动态》，2015（8）：108-111。
  13. 乔姆斯基层级与自然语言语法-从短语结构语法到非转换语法，《外国语文》，2015（3）：84-89。
  14. 关于逻辑语义学的句法系统，《安徽大学学报》，2014（7）：23-28。
  15. 蒙太格语法框架下的汉语被动句分析，《外国语文》，2014（4）：62-66。
  16. 汉语把字句及相关句式的CCG形式计算，《湖北大学学报（哲学社会科学版）》，2013（6）：42-49。【人大复印资料全文转载（逻辑卷），2014（1）：50-57。】
  17. VP的有界性与连动式的事件结构，《现代外语》，2013（2）：127-134。
  18. 《中国自然语言逻辑的发展与思考》，《中国哲学年鉴2013》：165-174。北京：中国社会科学出版社，2013。
  19. 组合范畴语法与其计算特征，《毕节学院学报》，2013（6）：50-56。
  20. 函项分层思想在语言学研究中的应用，《重庆理工大学学报（社会科学版）》，2011（8）：83-88。
  21. 带有受限缩并规则的兰贝克演算中的照应算子，《重庆理工大学学报（社会科学版）》，2011（4）：6-11。
  22. 类型逻辑语法的词汇主义思想，《哲学动态》，2011（2）：98-101。
  23. 类型逻辑语法与汉语中的照应省略，《湖南科技大学学报（社会科学版）》，2011（2）：35-39。【人大复印资料全文转载（逻辑卷），2011（2）】
  24. 类型逻辑语法，《哲学动态》，2010（10）：103-106。
  25. 事件语义学的发展与思考，《中国社会科学报》，2010.11。
  26. 对‘一+单位词+N+否定词’类周遍性主语的广义量词个案研究，《重庆理工大学学报（社会科学版）》，2010（7）：12-16。
  27. 类型相配与类型贴合，《中国社会科学院研究生院学报》，2010（5）：59-63。
  28. The History of Chinese Rhetoric, Rhetorica: A Journal of the History of Rhetoric, 2024(2): 211-213.
  29. Decoupling and interaction: task coordination in single-stage object detection, Multimedia Tools and Applications, 2024. (co-authors: Jiawei Ma, Shu Tian, Songlu Chen, Jingyan Qin, Xucheng Yin)
  30. Women’s Agency and Mobile Communication under the Radar, International Journal of Communication, 2024.
  31. Attention decoupling for query-based object detection, ICASSP 2024, 2024. (co-authors: Jiawei Ma, Min Liang, Haixia Man, Shu Tian, Jingyan Qin, Xucheng Yin)
  32. Understanding Korean Webtoon Culture: Transmedia storytelling, digital platforms, and genres, International Journal of Communication, 2023.
  33. Parsing Chinese with Combinatory Categorial Grammar: A linguistic and computational study, Complexity, 2022 (5): 1-13. (co-authors: Manyi Wan, Yunbao Shi, Peng Chen)
  34. Innovation and Application of Logic: An Interview with Jaakko Hintikka (trans.), Logica Universalis: 263-271. 2019.
  35. TED-KISS: A Known-Item Speech Video Search Benchmark, CIKM’18: Proceedings of the 27th ACM International Conference on Information and Knowledge Management: 1803-1806, 2018. (co-authors: Fan Fang, Bo-wen Zhang, Xu-cheng Yin)
  36. DeTEXT: A database for evaluating text extraction from biomedical literature figures, PLoS ONE, vol. 10, no. 5, pp. e0126200, 2015. (co-authors: Xu-Cheng Yin, Chun Yang, Wei-Yi Pei, Jun Zhang, Erik Learned-Miller, and Hong Yu)
专著
  1. 《逻辑知识与运用》，北京：商务印书馆国际出版公司，即将出版。（co-author-龚艳）
  2. 《自然语言逻辑经典文献研究》，北京：中国社会科学出版社，2016。（编著，即将再版）
  3. 《汉语照应省略的类型逻辑研究》，北京：对外经济贸易大学出版社，2014。
译著
  1. 《后罗马时代的不列颠》，上海：上海社会科学院出版社，2024。
  2. 《逻辑思维入门》，北京：中国人民大学出版社，2023。
  3. 《护肤女王的终极严肃指南》，上海：东方出版社，2022。
  4. 《逻辑、语言与意义（第一卷）》，北京：商务印书馆，2017
  5. 《棉花糖奥丽芙》，北京：北京出版社，2017。
  6. 《外星人奥丽芙》，北京：北京出版社，2017。
  7. 《真实的亚当斯密》，北京：中信出版社，2007。
  8. 《六个瓶子里的历史》，北京：中信出版社，2006。
教材
  1. 《跨文化交际教程3》（学生用书），上海：外语教育出版社，2023。（参编）
  2. 《跨文化交际教程3》（教师用书），上海：外语教育出版社，2023。（参编）
  3. 《跨文化交际教程2》（学生用书），上海：外语教育出版社，2022。（参编）
  4. 《跨文化交际教程2》（教师用书），上海：外语教育出版社，2022。（参编）
  5. 《跨文化交际教程1》（学生用书），上海：外语教育出版社，2022。（参编）
  6. 《跨文化交际教程1》（教师用书），上海：外语教育出版社，2022。（参编）
  7. 《通用学术英语1》，北京：高等教育出版社，2017。（参编）
  8. 《通用学术英语2》，北京：高等教育出版社，2017。（参编）
获奖
情况
  1. 第八届中国国际“互联网+”大学生创新创业大赛（北京赛区）三等奖指导教师，2022年。
  2. 第七届中国国际“互联网+”大学生创新创业大赛（北京赛区）三等奖，2022年。
  3. 北京科技大学第30届教育教学成果奖 一等奖，2019年。
  4. 第七届中国国际“互联网+”大学生创新创业大赛（北京赛区）三等奖，2021年。
  5. 北京科技大学第29届教育教学成果奖一等奖，2020年。
  6. 北京科技大学第九届“研究生教育奖”—研究生优秀教学奖，2019年。
  7. 第八届全国口译大赛优秀指导教师，2019年。
  8. 中华口译优秀指导教师，2019年。
  9. 第七届全国口译大赛优秀指导教师，2018年。
  10. 北京蓝魔大数据技术研究院“北京市2017年度十大魅力教师”荣誉称号，2017年。
  11. 获得第七届“外教社杯”全国高校外语教学大赛微课比赛三等奖，2016年。
  12. 北京科技大学外国语学院2015-16年度“先进工作者”称号，2016年。