随着语言学研究的深入和跨学科方法的广泛应用,韩礼德(M. A. K. Halliday)的系统功能语言学理论以其独特的视角和丰富的内涵,为语言学领域带来了新的思考。然而,系统功能语言学与马克思主义观的结合,以及这种结合在社会科学研究中的方...随着语言学研究的深入和跨学科方法的广泛应用,韩礼德(M. A. K. Halliday)的系统功能语言学理论以其独特的视角和丰富的内涵,为语言学领域带来了新的思考。然而,系统功能语言学与马克思主义观的结合,以及这种结合在社会科学研究中的方法论意义,仍是一个待挖掘的领域。为加深语言学跨学科研究,本研究深入分析了系统功能语言学与马克思主义观的结合及其在语言学和社会科学研究中的应用,为语言学研究提供了新的理论视角,也为社会科学研究提供了新的研究方法和思路。展开更多
本文给出CTCS-3级列控系统中组件控制行为的形式化定义,并针对控制行为的时序关系,提出控制行为时序逻辑。以此时序逻辑为基础,给出控制关系模型的形式化定义,使用控制关系模型对列控系统中的控制行为关系进行刻画。利用深度优先搜索的...本文给出CTCS-3级列控系统中组件控制行为的形式化定义,并针对控制行为的时序关系,提出控制行为时序逻辑。以此时序逻辑为基础,给出控制关系模型的形式化定义,使用控制关系模型对列控系统中的控制行为关系进行刻画。利用深度优先搜索的方式,对系统的控制关系模型进行分析,实现STPA(System-Theoretic Process Analysis)过程中不恰当控制行为的自动化辨识。以CTCS-3级列控系统的RBC交接场景为例,使用上述基于控制关系模型的STPA方法对列控系统的功能安全进行分析。分析过程表明利用形式化的控制关系模型扩展STPA的方法适用于CTCS-3级列控系统的功能安全分析。展开更多
文摘随着语言学研究的深入和跨学科方法的广泛应用,韩礼德(M. A. K. Halliday)的系统功能语言学理论以其独特的视角和丰富的内涵,为语言学领域带来了新的思考。然而,系统功能语言学与马克思主义观的结合,以及这种结合在社会科学研究中的方法论意义,仍是一个待挖掘的领域。为加深语言学跨学科研究,本研究深入分析了系统功能语言学与马克思主义观的结合及其在语言学和社会科学研究中的应用,为语言学研究提供了新的理论视角,也为社会科学研究提供了新的研究方法和思路。
文摘本文给出CTCS-3级列控系统中组件控制行为的形式化定义,并针对控制行为的时序关系,提出控制行为时序逻辑。以此时序逻辑为基础,给出控制关系模型的形式化定义,使用控制关系模型对列控系统中的控制行为关系进行刻画。利用深度优先搜索的方式,对系统的控制关系模型进行分析,实现STPA(System-Theoretic Process Analysis)过程中不恰当控制行为的自动化辨识。以CTCS-3级列控系统的RBC交接场景为例,使用上述基于控制关系模型的STPA方法对列控系统的功能安全进行分析。分析过程表明利用形式化的控制关系模型扩展STPA的方法适用于CTCS-3级列控系统的功能安全分析。