10月27日下午14：30-16：30

1. 报告题目：Quasi-overlap and quasi-grouping functions on bounded pseudo-ordered sets

报告人：王学平教授

报告时间：2026年10月27日 14：30-15：30

报告地点：age动漫 301会议室

报告摘要：In this talk, we first introduce quasi-overlap and quasi-grouping functions on bounded pseudo-ordered sets, respectively, and give their respective preliminary constructions. We also introduce the idempotency, the cancellation law, the Archimedean and limiting properties of quasi-overlap functions and discuss their relations. We finally present two constructing methods of quasi-overlap functions, which are based on boundary-faithful mappings and adjunctions on bounded pseudo-ordered sets and the transitive-endpoints of a bounded trellis, respectively. The corresponding statements are valid for quasi-grouping functions as well.

个人简介：王学平，四川师范大学age动漫 教授，博士生导师，第十一批四川省学术和技术带头人。现为美国《数学评论》与德国《数学文摘》评论员、《模糊系统与数学》编委会副主任、中国系统工程学会模糊系统与数学委员会常务理事、中国逻辑学会非经典逻辑与计算专业委员会常务理事。主要从事格理论及其应用、不确定性的数学理论、半环理论及其应用、max-plus代数上线性代数理论与聚合算子理论等的研究。已在《中国科学》、《数学学报》、《SCIENCE CHINA Mathematic》、《ACTA MATHEMATICA SINICA-ENGLISH SERIES》、《Algebra Universalis》、《Linear Algebra and Its Applications》、《Studia Logica》、《Rocky Mountain Journal of Mathematics》、《IEEE Transactions on Fuzzy Systems》等国内外重要学术刊物上发表论文60余篇。已主持国家自然科学基金面上项目4项。2000年获四川省优秀教学成果奖一等奖，2004年与2009年分别获四川省科技进步奖三等奖各一项。

2. 报告题目：Characterizations of pseudocomplemented lattices by excluded sublattices

报告人：何鹏教授

报告时间：2026年10月27日 15：30-16：30

报告地点：age动漫 301会议室

报告摘要：In this report, we first characterize pseudocomplemented lattices with (ACC) and (DCC) by using their sublattices. Specifically speaking, we give a necessary and sufficient condition for a lattice with (ACC) and (DCC) to be pseudocomplemented by using its nine sublattices. Moreover, we equivalently describe the interval pseudocomplementedness of semimodular lattices with (ACC) and (DCC) by using their sublattices. Meanwhile, we characterize pseudocomplemented inductive modular lattices by using their two 0-sublattices. Then we use two 0-sublattices of a subgroup lattice to describe all locally cyclic abelian groups. In particular, we show that a locally cyclic abelian group can be characterized by its three subgroups.

个人简介：何鹏，四川师范大学教授，硕士生导师。主要从事格理论及其应用与聚合算子等的研究。已在《Acta Mathematica Sinca-English Series》、《Algebra Universalis》、《Fuzzy Sets and Systems》、《Studia Logica》、《Rocky Mountain Journal of Mathematics》等国内外重要学术刊物上发表论文20余篇。已主持国家自然科学基青年项目、面上项目各一项。

10月28日下午14：30-17：30

3. 报告题目：Mathematics in the Age of AI

报告人：申力立教授

报告时间：2026年10月28日 14：30-15：30

报告地点：age动漫 301会议室

报告摘要：Artificial intelligence is opening a new era for mathematics, changing how mathematical ideas are discovered, verified, and shared. This talk discusses the evolving relationship between human mathematical reasoning and AI, with a focus on the role of mathematical structures, formalization, and verification in future mathematical intelligence.

个人简介：申力立，四川大学数学学院教授、博士生导师。2014年博士毕业于四川大学数学学院，2014年至2016年在加拿大约克大学数学与统计系从事博士后研究，2016年加入四川大学工作。主要研究方向为范畴论及其应用。现任期刊《Fuzzy Sets and Systems》领域编辑（Area Editor）。

4. 报告题目：Beyond left-continuity: t-norms on the fuzzy unit interval induced by pairs of t-norms

报告人：赖洪亮教授

报告时间：2026年10月28日 15：30-16：30

报告地点：age动漫 301会议室

报告摘要：We define a binary operation $T_1\star T_2$ on the fuzzy unit interval $\mathbb{I}$ by extending the natural action of $T_1$ and $T_2$ on step functions. When both $T_1$ and $T_2$ are left-continuous, this operation coincides with the tensor product of the corresponding quantales and therefore yields a t-norm on $\mathbb{I}$. Without left-continuity, the situation becomes more subtle. We prove that if at least one of the two t-norms is continuous, then $T_1\star T_2$ is still a t-norm on $\mathbb{I}$. We also show by counterexample that continuity cannot simply be dropped. The operation $T_D\star T^{nm}$ fails to be associative. On the other hand, $T_D\star T_D$ is a t-norm despite $T_D$ being neither continuous nor left-continuous, indicating that continuity is not a necessary condition.

个人简介：赖洪亮，四川大学数学学院教授，博士生导师，主要研究序与拓扑理论。任IFSA会刊《Fuzzy Sets and Systems》编委，主持国家自然科学基金面上项目3项。

5. 报告题目：Network Intrusion Detection Based on Dynamic Intuitionistic Fuzzy Sets

报告人：谢加良教授

报告时间：2026年10月28日 16：30-17：30

报告地点：age动漫 301会议室

报告摘要：Network security requires effective detection and proper analysis of abnormal network behavior. To address the uncertainty associated with the process of network intrusion detection, this article proposes a network intrusion-detection algorithm based on dynamic intuitionistic fuzzy sets (IFSs). We use the classic network intrusion datasets KDD 99, NSL-KDD, and the massive, high-dimensional dataset UNSW-NB15 to evaluate the performance of our proposed algorithm. First, we perform data preprocessing on these three datasets and select features based on the results of a chi-square test. Second, using time-series processing, we construct dynamic intuitionistic fuzzy patterns from the feature-selected datasets. At last, we use a proposed distance measure for the dynamic IFSs to generate a classifier that facilitates the detection of network intrusion. Experimental results show that the classification performance of the proposed algorithm is superior to that of other state-of-the-art algorithms on the three aforementioned datasets. The achieved improvement in classification performance is particularly significant for large datasets.

个人简介：谢加良，教授，博士生导师，入选福建省高层次人才（B类）。现为集美大学理学院副院长，数字福建大数据建模与智能计算研究所所长、智能计算与优化控制福建省高校重点实验室副主任，兼任福建省系统工程学会副理事长、福建省数学学会常务理事、中国模糊系统与数学专委会委员、中国人工智能学会粒计算与知识发现专委会委员。主要从事不确定性数学理论、大数据智能计算、信息安全等。近年来，主持多项国家自然基金面上项目、省部级等项目，在本领域知名杂志《IEEE Transactions on FuzzySystems》、《Fuzzy Sets and Systems》等杂志发表高水平学术论文60余篇，申请发明专利等知识产权12项，获福建省科技进步二等奖1项、福建省教学成果奖二等奖1项。先后获厦门市教师教学技能比赛一等奖、福建省青年教师竞赛二等奖、全国大学数学教学创新比赛福建赛区特等奖，荣获厦门市五一劳动奖章、厦门市优秀党务工作者、福建省向上向善奖教金等，指导学生获福建省优秀硕士毕业论文1篇，指导学生多次在全国数学建模等比赛中获奖。

10月30日下午14：30-16：30

6. 报告题目：FS-domains are not always RB-domains

报告人：吕振超教授

报告时间：2026年10月30日 14：30-15：30

报告地点：age动漫 301会议室

报告摘要：We prove that Lawson's planar closed-disk domain is not an RB-domain. This domain is the dcpo of all closed disks in the Euclidean plane, together with the whole plane as bottom, ordered by reverse inclusion. Since this domain is an FS-domain, it gives a concrete example of an FS-domain which is not an RB-domain, answering negatively the long-standing open problem in domain theory of whether FS-domains and RB-domains are identical.

个人简介：吕振超，四川大学数学学院副教授，主要研究方向为序与拓扑，Domain理论. 主持国家自然科学基金项目两项.

7. 报告题目：Stableness of weak Frobenius quantales under the tensor product

报告人：韩胜伟教授

报告时间：2026年10月30日 15：30-16：30

报告地点：age动漫 301会议室

报告摘要：It is well known that the tensor product of quantales is again a quantale. However, some classes of quantales are stable under the tensor product, while other classes of quantales are unstable. For example, the tensor product of left-sided (reps., right-sided, pre-idempotent, unital, involutive) quantales is again a left-sided (reps., right-sided, pre-idempotent, unital, involutive) quantale, but the tensor product of idempotent quantales is in general not an idempotent quantale. Frobenius (Girard) quantales are an important class of quantales which play a crucial role in quantale theory. The main purpose of this paper is to investigate the stableness of Frobenius (Girard) quantales under the tensor product.

个人简介：韩胜伟，男，陕西师范大学教授，博士生导师。2010年和2014年分别在在清华大学数学系和美国丹佛大学数学系做访问学者。美国数学会《数学评论》评论员、中国系统工程学会模糊数学与模糊系统分会常务理事、非经典逻辑与计算专委会理事、陕西省工业与应用数学学会理事。主持3项国家自然科学项目，参与2项国家自然科学基金重点项目。研究兴趣为序代数和不确定理论。 在《Canadian Mathematical Bulletin》、《Semigroup Forum》、《Applied Categorical Structures》、《Theory and Applications of Categories》、《Order》、《Algebra Universalis》、《Topology and its Application》、《International Journal of Theoretical Physics》和《数学学报》等国内外期刊发表SCI论文30多篇，2016年在科学出版社出版学术专著《Quantale理论基础》。