互模拟及其与模态等价之间的关系

互模拟已成为模态逻辑模型论的一个核心概念。笔者在克里普克模型上定义了互模拟和互模拟不变性概念,接着证明模态逻辑具有互模拟不变性,最后讨论了互模拟与模态等价之间的关系。     

基于互模拟的模态逻辑与非良基集合论之间的关系

首先介绍模态逻辑的两种语义:克里普克模型和非良基集合模型,表明这两种语义的相互可推演性,证明非良基模型,描述互模拟等价的克里普克模型类;接着,从模型的视角讨论集合上的互模拟与模态等价的关系;最后,运用互模拟和集合翻译等概念讨论非良基集合与模态逻辑的关系,证明:"一个集合论公式在集合上的互模拟下是不变的当且仅当它等价于一个模态公式的标准集合论翻译"。     

标号迁移系统的互模拟关系及其性质

以标号迁移系统为工具,探讨了系统行为的等价性问题,构建了模拟及互模拟关系的形式化模型,进而将互模拟的概念推广到了系统的层面,进一步探讨了模拟及互模拟关系的性质,揭示了互模拟概念的本质,为其在形式化分析及验证技术中的应用提供了基础。     

MALC模型间互模拟的代数结构

文[1]中给出模态描述逻辑MALC的语法与语义,同时给出MALC两个模型之间的互模拟关系,讨论MALC的模型之间互模拟及互模拟所组成集合具有的代数性质。     

互模拟的一些基本性质

由于互模拟的概念几乎同时在计算机科学、模态逻辑和集合论中产生,本文试图给出一种能够刻画计算机科学、模态逻辑和集合论中互模拟概念的统一定义。因此,本文首先简单介绍互模拟产生的原因及作用;其次,给出两个加标转换系统之间的互模拟定义,并说明由此定义如何得到计算机科学中、模态逻辑中以及集合论中互模拟的定义;最后证明在这种定义下,互模拟的一些基本性质。     

专门用途英语教学多模态框架建构与实证研究

随着社会的发展,多模态教学已经逐渐被人们所认识。专门用途英语教学多模态框架构建主要包含触觉多模态、听觉多模态、视觉多模态和文化多模态四者,以及学生的多模态学习因素、教师的多模态教学因素等。英语教学多模态框架的构建,能很大程度上使学生在不同场景下对英语的理解和运用得到有效提高。     

互促与同构:习近平生态文明思想的“人民健康”维度

从“人民健康”这一维度可以更好地理解习近平生态文明思想中体现的深厚的民生关切和人民情怀。在应然层面,生态健康与人民健康相互促进、相互依赖,表现为生态健康为人民健康提供基础保障,人民健康为生态健康注入动力并成为后者的价值旨归,生态健康与人民健康具有为了实现“人的全面自由发展”的价值一致性和同构性;在实践中,党和国家要坚持“以人民为中心”进行价值定位,建立大健康、大生态的制度以贯彻“预防为主”的方针,达到“治未病”、“防污染”、“防破坏”的效果,并通过加强法治建设来增强制度执行力,以制度同构促进二者在辩证统一中实现双向建构,从而为中华民族永续发展提供“健康支持”、“环境保障”。     

大学英语多模态教学的课堂设计与模态选择探究

该文以多模态话语分析理论为指导,探讨了大学英语多模态教学模式的内涵,并指出合理的教学设计和模态选择是保证课堂效果的关键。在课堂教学中,师生之间的有效交际诉诸多种感官,利用多种符号系统进行意义的构建和解读。教师在进行课堂设计时,应综合考虑教学目标、教学内容、硬件设施、师生情况和环境等因素,模态选择应以实现最优教学效果为目标,遵循最优原则、补充强化原则、动态变化原则和以学生为中心的原则。     

构建全程性的理论与实践互融共生的课程结构——论小学语文教学法课程结构优化

采用光沉积-液相化学法调节电子流向,构建了直接Z型TiO₂/Ag/Ag₃PO_{(4 )}(TAAPO)光催化材料.通过扫描电子显微镜(SEM)、透射电子显微镜(TEM)、X射线衍射仪(XRD)、X射线光电子能谱(XPS)、紫外-可见漫反射光谱仪以及光致发光(PL)光谱仪等手段对其进行表征,并对其在可见光照射下催化降解环丙沙星(CIP)的性能进行了研究.结果表明,当水体pH为3.0,催化剂分散浓度为0.3 g/L,CIP的初始浓度为15 mg/L时,光催化降解体系能够取得最佳的去除效果.在该组条件下,光照120 min CIP的降解率约为99%,并且在经历4个循环后仍然保持了良好的降解效果.在光催化降解CIP的过程中,主要反应活性物种为超氧自由基(·O₂     

故事、本事与隐喻——略谈鲁迅《奔月》的互文本结构及意义阐释

鲁迅《奔月》是一个具有丰富互文性的文本,借助伽达默尔"视域融合"观念,分析其内含的"互文本结构",能够进一步丰富文本的阐释空间,也能够更深入理解鲁迅《故事新编》系列独特的文学价值。《奔月》文本与传说"故事"、与现实"本事"、与鲁迅其他创作等三个层面的对话,共同构成其"互文本结构",背后是鲁迅在创作手法、风格与思想层面,试图打通"古代"与"现代"、"文学"与"现实"、"严肃"与"油滑"的尝试。     

商序同构、偏序同构与格同构

引入了商序映射、商序满（单）射与商序同构的概念,得到了商序映射与商序同构的一些重要性质,给出了商序映射是商序同构的条件,并讨论了商序同构、偏序同构与格同构的关系.     

实践与主体的同构性

马克思主义认为,对主体性问题的研究,必须在实践论范式中进行。即：从实践出发来理解主体性和从主体性出发来理解实践。这是我们研究主体性问题的主要方法。用这种方法,我们可以对主体性范畴和实践范畴作出科学的界定;用这种方法,我们还可以科学地揭示出主体性与实践之间的内在联系：实践和主体性是辨证统一的,主体性是实践的本质特征;实践是主体性存在的基础,实践和主体：胜相互依存、相互制约,二者具有同构性。     

基于互模拟和有界互模拟的模态逻辑模型之间的关系

为了探索Kripke模型、非良基集合和知识结构之间的联系,引入了有界互模拟的概念。首先,在Kripke模型上定义了互模拟与有界互模拟,并给出了模态逻辑的非良基模型定义和知识结构模型定义,证明后两类模型分别表达了Kripke模型的互模拟类和有界互模拟类;其次,证明了有界互模拟怎样被无穷模态逻辑的特定部分所刻画和通过Ehrenfeucht游戏来刻画;最后,给出了一些学者在不同的情景下证明的一些结果,使用互模拟和有界互模拟概念证明它们之间的关系。     

论功能对等和形式对等在翻译中的辩证体现

在对奈达翻译理论过于强调功能对等进行质疑的基础上,认为文本内容和表达形式密不可分,在不同的文本中表现出不同程度的重要性,译者应根据不同文本和翻译目的在功能对等与形式对等之间做出裁定,采取相应翻译策略。     

关于同态及同构

本就题材而言，殊无新意；但在处理这些题材时，却往往有异乎寻常的手法，特别是，以定理之间的产联以及每个证明的动机都着力突出。此外，还随时指出一些流行教材的不足或失误之处。     

略论翻译对等与翻译策略

本文从功能对等的概念出发，探讨翻译对等的实质，指出形等和意等应服从信息对等，即语体和语用层次上的对等，并着重阐述在不同的文化情景语境下如何通过适宜的翻译策略，如归化、归化补偿、异化补偿、文内释义等，找出传递原语信息的最佳表达方式，从而实现原译语在同一语境中的信息对等。     

从可译性障碍看等值观与等效观的局限性

翻译界中不存在以一变应万变的翻译模式,译者在选择翻译方法时必须全面考虑到各种方法的局限性,选用最合适的方法,才能得到最贴近原语的译文。文章通过分析“等值”与“等效”这两种常用翻译模式在翻译实践过程中所遇的障碍,谈这两种模式的局限性,为广大译者在不同情况下应选取何种翻译方法提供了一定信息。     

异化、归化与翻译中的文化对等

语言与文化的密切关系注定了翻译与文化的密切关系。本文在分析如何处理翻译中的文化因素——异化与归化的基础上，阐明了应该从文化的角度看待翻译，即翻译既要做到语言意义上的等值，更要做到文化意义上的等值。