-
07
2025/12
锑化物短波红外光电探测器噪声机理分析及测试
锑化物短波红外光电探测器噪声机理分析及测试
-
09
2025/12
国家社会科学基金项目申报策略与选题要点
本讲座将围绕国家社会科学基金项目的申报流程、选题设计、论证逻辑、研究基础呈现及常见误区等关键环节进行系统讲解。主讲人结合多年评审与成功申报经验，深入剖析高质量申报书的核心要素，帮助教师精准把握政策导向、凝练学术问题、提升文本质量，切实提高项目申报成功率。
-
18
2025/12
革命前夜的进退失据：1907-1911年清廷的“裁团改警”困局
庚子事变后，清廷引入西方警察制度，意图通过设立巡警提升基层治理水平。鉴于民间存续的团练有碍警政推广，清廷于1907年通令将各省团练“酌量裁汰，改设巡警”。因其后治安状况未获改善，加之警政流弊不断浮现，恢复团练之声日渐高涨，却未能改变清廷“裁团改警”的初衷。1911年武昌起义的爆发终使清廷重新倡办团练以应对统治危机。但因此前数年以“裁团改警”为代表的一系列国家政权建设举措已使官绅隔阂日深，各省团练多消极避战甚或倒向革命，以致清廷不得不降低团练的军事化水平并加强对办团活动的监管。革命前夜的“裁团改警”政策导致清廷在警察与团练新旧两种力量间进退失据，这一困局不但未能改善其基层治理水平，且直接干扰了革命爆发后的危机应对。
-
23
2025/12
人工智能与天文学
随着大数据与人工智能（AI）技术的迅猛发展，天文学正迎来前所未有的变革。AI技术逐渐成为处理和分析海量天文数据的核心工具，推动着天文学研究向更高层次迈进。在这场科技革命中，我们将深入探讨：天文学研究中面临的AI与大数据挑战、支撑天文探索的核心工具和技术、人工智能在天文领域的突破性应用、天文学家在人工智能时代应具备的全新科学素养。未来已来，星辰大海在等你探索！
-
09
2025/12
关于中国文化外译的若干思考
随着中国经济的迅速增长和国力日益增强，中国文化如何“走出去”正成为国人关注的热门话题。如何将中国优秀文化推介至世界舞台?如何通过跨文化传播展示中国正面形象?翻译作为文明互鉴的核心载体，能否有效传递中华文明优秀遗产并增进国际社会对中国的理解?本报告从文类视角切入，以当代香港双语翻译家黎翠珍的英译实践为核心案例——结合拟在Springer出版社出版的英文著作《心田的音乐：翻译家黎翠珍的英译世界》中呈现的翻译经验，系统剖析她在典籍文献、文学作品、民俗文本等不同文类中采用的“文化适配型”翻译技巧、风格定位与方法选择，进而围绕“中国文化外译的精准性、传播性与主体性”提出思考，为当代中国文化对外传播提供历史参照与实践路径。
-
04
2025/12
文苑大讲堂2025年第46讲—— 网络文学：数智时代的文学新生态
一、我们为什么要谈论网络文学？—— 热度、规模与社会价值； 二、网络文学是不是文学？—— 从四大属性看它的 “文学基因”；三、网络文学与传统文学的区别是什么？—— 从传播、参与、消费到情感表达的差异；四、网络文学为什么会让读者喜欢？—— 从故事性、代入感、制造爽感、生活化看创作机理。
-
04
2025/12
中国抗战电影音乐的形成与发展
长期以来“抗战”始终是中国电影重要且热门的题材，从中国人民抗日战争暨世界反法西斯战争胜利80周年的今天来看，《风云儿女》《八千里路云和月》《铁道游击队》《平原游击队》《地道战》《归心似箭》等抗战电影成为大众追忆和构建中国抗战历史情感与记忆的重要来源，电影中的音乐（包括电影歌曲），随着电影的放映影响了民众，同时通过音乐艺术特殊的感染力和情感渗透，加深了人们对抗战精神认识，凸显了民族艺术的表现手段。回顾中国抗战电影发展史以及抗战音乐发展史，音乐与电影艺术互力共创，加深了和平岁月中人们对这段卓绝历史的记忆和深思。
-
06
2025/12
基于测试的形式验证
测试和形式化方法是保障软件可靠性的两种重要手段。软件测试只能发现软件的错误，不能证明软件没有错误；形式化方法可以用数理逻辑知识严格证明软件中是否有错误，但其严格性限制了自动化实现的程度。如何结合两种方法的优势，同时缓解其局限性，以实现自动化的软件验证与确认，是一个极具吸引力的研究课题。在本次演讲中，我将介绍一种名为“基于测试的形式化验证（Testing-Based Formal Verification, TBFV）”的高级软件质量保证方法，该方法有效地将基于规范的测试与程序正确性的形式化验证相结合。我将阐述TBFV的基本原理、具体技术以及面临的挑战。TBFV的特点在于，它能够自动验证测试过程中探索的所有程序路径的正确性，同时还有可能发现新的路径。这种双重作用有助于软件的验证与确认。一旦全面应用，TBFV有望显著减少测试时间和成本，减轻开发人员的工作负担，并大幅提升软件的可靠性和质量。
-
04
2025/12
Local and Global Parameterizations with Applications in Optimal Design
We present some special properties of classical Hamiltonian systems and iterated Hamiltonian systems in finite dimension, recently discussed in some works by the author and his collaborator, Cornel Murea (Univ. Mulhouse, France).One application is a new local representation of manifolds, using iterated Hamiltonian systems, in arbitrary dimension and co-dimension. It provides a constructive extension of the implicit functions theorem. In dimension two, under certain assumptions, the representation is global. This allows a complete treatment of the considered questions, in dimension two.Combined with other arguments, a comprehensive approach to general geometric optimization problems associated to elliptic equations, is obtained. In dimension two, it reduces shape and topology optimization problems to optimal control problems.
-
05
2025/12
稀土上转换纳米探针：从精准合成到跨尺度生物成像
稀土上转换纳米探针：从精准合成到跨尺度生物成像
