检索结果-南通市图书馆

书信交往与苏门的发展历程——以苏轼与四学士为中心

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

海南大学学报（人文社会科学版） 2025年第1期43卷 16-25页

作者：李贵王兴武上海师范大学人文学院上海200234

由苏轼主盟的“苏门”在哲宗元祐年间大放异彩,是两宋影响最大的文学群体之一。在长达四十三年的时间里,书信是苏轼与“四学士”等人最主要的交往媒介。这些书信在苏门的发展历程中发挥了不可替代的重要作用。苏门文人在书信中求教讨论... 详细信息

由苏轼主盟的“苏门”在哲宗元祐年间大放异彩,是两宋影响最大的文学群体之一。在长达四十三年的时间里,书信是苏轼与“四学士”等人最主要的交往媒介。这些书信在苏门的发展历程中发挥了不可替代的重要作用。苏门文人在书信中求教讨论、品题称扬、交流信息、劝勉慰藉、宣泄情感、传承斯文,在此过程中建构起集体认同,培养了深厚情谊,写下了传世佳作。苏轼和四学士的来往书信,在平易自然的表达中见出作者们真实的情感和隐秘的心迹,在温暖的人际关系中见出人性的真善美,具有高度的文学价值和史学价值。探讨苏门书信交往的细节和意义,有助于深化对宋代文学史和社会文化史的认识。

关键词：苏门苏轼苏门四学士书信交往

维普期刊数据库博看期刊

在线全文

学校读者我要写书评

暂无评论

多值交互时序逻辑的模型检验研究

郑州大学学报（理学版） 2025年第2期57卷 78-84页

作者：凌灿红常亮周洁潘海玉桂林电子科技大学广西可信软件重点实验室广西桂林541004 上海师范大学数理学院上海200234

为了对包含多值信息的开放系统进行形式化验证,在多值逻辑的基础上提出了多值交互时序逻辑并研究了该逻辑的模型检验问题。首先,引入多值并发博弈结构作为此类开放系统的模型,该模型的最大特点是可以建模带有多值信息的开放系统。其次,... 详细信息

为了对包含多值信息的开放系统进行形式化验证,在多值逻辑的基础上提出了多值交互时序逻辑并研究了该逻辑的模型检验问题。首先,引入多值并发博弈结构作为此类开放系统的模型,该模型的最大特点是可以建模带有多值信息的开放系统。其次,给出基于此模型的多值交互时序逻辑的语法和语义,该逻辑可以描述带有多值信息的待验证属性。最后,基于不动点理论给出多值交互时序逻辑的模型检验算法,并对算法的时间复杂度进行了分析,结果表明,可以在多项式时间内完成对多值交互时序逻辑的模型检验。

关键词：模型检验多值逻辑交互时序逻辑并发博弈结构

维普期刊数据库

同方期刊数据库

同方期刊数据库博看期刊评论

在线全文

学校读者我要写书评

暂无评论

人工智能驱动的学术论文检测框架

计算机应用文摘 2025年第1期41卷 105-108页

作者：洪宇轩上海师范大学信息与机电工程学院上海201418

生物医学领域学术论文的质量直接关系到科研成果的传播与应用,确保论文的准确性和可靠性至关重要。随着学术出版的全球化发展,不当语义表达和学术不端行为日益增多,对学术严谨性以及国家形象造成了严重影响。为此,提出了一种基于大模型... 详细信息

生物医学领域学术论文的质量直接关系到科研成果的传播与应用,确保论文的准确性和可靠性至关重要。随着学术出版的全球化发展,不当语义表达和学术不端行为日益增多,对学术严谨性以及国家形象造成了严重影响。为此,提出了一种基于大模型的语义表达检测框架,可结合自然语言处理与数字签名技术,提升学术论文的质量与安全性。实验结果初步验证了该方法在识别不当语义表达和学术不端行为方面的有效性,同时确保了论文内容的完整性和真实性。

关键词：语义表达检测自然语言处理检索增强生成技术大语言模型图像识别数字签名技术

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

基于第一性原理的镧掺杂氧化锌的性质研究

原子与分子物理学报 2025年第1期42卷 163-170页

作者：王馨悦许钟华吴光成谢富焯杨坚祝辉亚陈春燕广西民族师范学院数理与电子信息工程学院崇左532200

本文采用第一性原理计算方法开展La掺杂ZnO的缺陷研究,分析了La在ZnO中的不同占位缺陷:替换位和间隙位缺陷的形成能、能带和态密度;证明了La掺杂ZnO的生长过程中,La替换Zn原子形成替换位缺陷的可能性要比进入间隙位形成间隙位缺陷大,而... 详细信息

本文采用第一性原理计算方法开展La掺杂ZnO的缺陷研究,分析了La在ZnO中的不同占位缺陷:替换位和间隙位缺陷的形成能、能带和态密度;证明了La掺杂ZnO的生长过程中,La替换Zn原子形成替换位缺陷的可能性要比进入间隙位形成间隙位缺陷大,而在形成替换位缺陷时,选择富氧的生长环境要比富锌的生长环境好,替换位缺陷有助于提高ZnO的导电能力,改善ZnO的性能.本文的研究结果能够为La掺杂ZnO的实验和应用提供一定的理论参考.

关键词：氧化锌稀土元素能带电子态密度第一性原理

维普期刊数据库博看期刊

机群系统中基于MPI的多维稀疏数组传递方法

在线全文

学校读者我要写书评

暂无评论

计算机工程 2003年第5期29卷 69-71页

作者：俞时权胡浩民马德云上海师范大学数理信息学院上海200234

机群系统是一种分布存储系统，它主要利用消息传递方式来实现各结点之间的通信。而MPI（Message Passing Interface）作为一种基于消息传递的并行程序设计环境，已广泛应用于多种并行系统，尤其是像机群系统那样的分布存储并行机。该文... 详细信息

机群系统是一种分布存储系统，它主要利用消息传递方式来实现各结点之间的通信。而MPI（Message Passing Interface）作为一种基于消息传递的并行程序设计环境，已广泛应用于多种并行系统，尤其是像机群系统那样的分布存储并行机。该文主要探讨了MPI中的消息传递调用接口，提出了几种有效的在结点间传递多维稀疏数组的方法，并通过实践加以比较。

关键词：机群系统 MPI 多维稀疏数组传递方法并行程序设计可视化人机交互消息传递远程存储访问并行计算机

维普期刊数据库