2019年第175期总第1085期
植物特性和适应性的调节机制
时间:2019年11月14日上午9:30-11:00地点:29教学楼二楼学术报告厅
主讲人:姜立权教授
主办单位:生命科学学院
演讲者介绍:
美国北卡罗来纳州立大学特聘教授、自然资源学院森林生物技术研究中心主任、国际林业科学院院士、美国科学发展学会会员、中国林业与草原科技森林分子生物学创新团队负责人、梁林业科技国际科技合作奖获得者。现任东北林业大学林木遗传育种国家重点实验室主任，南京林业大学客座教授，华南农业大学丁颖讲座教授。主要从事木材次生细胞壁形成、生长和抗逆性协同调控的分子机制研究，在木质素生物合成调控研究领域取得国际公认的成果。目前，已有120多篇论文发表在《自然生物技术》、《科学》、《自然通讯》、《植物细胞》、《PNAS》、《当前生物技术观点》等杂志上。
广义相对论、黑洞和引力波
时间:11月15日上午10点
地点:13号教学楼阶梯学术报告厅
主讲人:蔡荣根院士
演讲者介绍:
中国科学院理论物理研究所副所长、研究员蔡荣根院士。2017年当选中国科学院院士，2019年当选国际广义相对论和引力学会会员。1995年复旦大学获得博士学位，先后在中国科学院理论物理研究所、韩国首尔国立大学、日本大阪大学从事博士后研究工作，2000年底入选中国科学院“百人计划”。2003年获得基金会委员会杰出青年基金资助，2006年获得政府特殊津贴，入选国家万人计划人选。2016年入选万人计划领军人物。他还是中国物理学会常务理事、中国物理学会引力与相对论天体物理学分会理事、国际广义相对论与引力学会理事、亚太物理学会天体物理学、引力与宇宙学分会副主席、金砖国家引力、天体物理学与宇宙学学会主席。国家自然科学基金重大项目“引力波相关物理问题研究”首席科学家，创新群体项目“粒子物理与宇宙学”负责人。研究领域:引力理论和宇宙学，发表论文240余篇，被他引用12000余次。曾获国家自然科学奖二等奖、汤森路透全球高被引科学家奖。
内容:
2019年4月10日，人类获得第一张黑洞照片；2016年2月11日，美国LIGO宣布引力波首次被人类直接探测到。这个引力波源是距离地球13亿光年的两个黑洞的合并过程，印证了爱因斯坦100年前的预言。报告将介绍爱因斯坦的广义相对论及其两个预言:黑洞和引力波以及相关的科学问题。
“纺织服装科技论坛”学术报告
报告一:色纱数码配色软打样系统及产业化报告
时间:2019年11月15日上午9点
地点:33教学楼314报告厅
演讲者:陈卫国教授
演讲者介绍:
陈卫国，东华大学工学博士，澳洲迪肯大学博士后，现任浙江理工大学纺织科学与工程学院教授、博士生导师。从事纺织染整新技术的研发工作30余年。先后在《分子结构杂志》、《着色技术》、《纺织研究杂志》、《纤维与聚合物》、《纺织杂志》等杂志发表学术论文150余篇，获发明专利40余项。主要研究领域为数字纺织印染新技术及理论、新型染料及功能性纺织化学品研究、蛋白质化学改性及功能化技术研究等。主持国家自然科学基金项目2项、科技部专项项目1项、浙江省重大科技项目2项、澳大利亚国际合作项目2项。曾任中国纺织工程学会染整专业委员会、毛纺专业委员会委员，应邀担任《着色技术》、《纺织研究杂志》、《纤维与聚合物》、《纺织杂志》等学术期刊评审专家，国家自然科学基金项目评审专家，澳大利亚研究理事会项目评审专家。
内容:
针对目前影响色纺行业发展的信息数字化和智能化水平低、人工经验设计效率低、色彩管理手段落后等瓶颈问题，系统研究并建立了适用于现代色纺技术的多色纤维任意比例混色模型和高精度非线性配色算法。构建了风格多变的色纺纱织物高仿真技术，创立了基于高精度配色计算的色纺纱数字化色彩合成设计方法。开发了彩色纱线数字化色彩成分分析和快速准确配色技术，实现了高仿真、多效果展示和软打样等可视化彩色纱线功能，可网络传输的多风格彩色纱线数字色卡，多路快速检索等功能。该项目的产业化推广将提升色纺行业的自主设计开发能力和水平，对推动我国纺织行业的智能化建设和科技进步具有深远意义。
报告二:生物医用纺织材料及其在医疗器械研发中的应用
时间:2019年11月15日上午10点
地点:33教学楼314报告厅
演讲者:王璐教授
演讲者介绍:
东华大学教授王璐，现任教育部纺织面料技术重点实验室主任，国家“纺织生物医用材料科技创新引进基地，111计划2.0”负责人，纺织行业生物医用纺织材料与技术重点实验室负责人，纺织生物医用材料与技术学科及博士点负责人；他还是上海生物工程学会生物力学专业委员会副主任委员和上海力学学会理事。10年来，承担了17项国家RD重点项目、国家重大新药创制项目、国家自然科学基金、省市科技支撑项目、国际科技合作项目和40余项产学研合作项目。带领团队对各种生物医用纺织材料的应用基础理论和产品开发进行深入研究。发表论文210余篇，授权发明专利65项；他是六本书的主编和编辑，包括《生物医用纺织品》和《作为医用植入物的生物纺织品》。
内容:
医用生物纺织材料是以医用纤维材料为基础，以纺织技术为制造手段，以医疗、诊断、监测、防护、康复、保健和卫生为应用目的。它们是纺织与材料、生物、医学等相关技术深度交叉融合的产物。本报告从纤维聚集的角度介绍了生物医用纤维材料的基本特性。从医疗器械的临床需求、功能设计、成型制备、安全性和有效性评价等角度，分享人工血管、疝补片、压力纺织品等典型纺织类医疗器械的研发实践；探讨纺织类医疗器械深入研发的机遇和挑战。
2019年全国数理逻辑年会
时间:2019年11月15日-17日
地点:桂园宾馆丹桂楼三楼
主要职务:中国数学会数理逻辑专业委员会
助理:中国数学会
主办单位:西南大学、重庆交通大学、中国科学院重庆绿色智能技术研究所等。
详情请访问网站:
http://www.swurise.net.cn/CACML2019/index.html
部分特邀报告介绍:
报告1:树的拉姆齐定理和逆向数学
时间:2019年11月16日上午09:10–10:00
主讲人:庄志达教授
演讲者介绍:
庄智达教授是新加坡国家科学院院士，新加坡国立大学数学科学研究所所长。庄志达教授是世界著名的数学逻辑学家。23岁获得耶鲁大学博士学位。三十多年来，庄先生在数理逻辑的多个方向取得了开拓性的成就。他目前是新加坡国立大学的杰出教师；曾任新加坡国立大学常务副校长兼数学系系主任。庄先生是符号逻辑协会执委会委员，亚洲逻辑大会创始人，多年来一直致力于推动亚洲数理逻辑的发展。他还资助了许多中国学者到新加坡国立大学学习和研究，为中国逻辑学家培养了一批逻辑学家。
内容:
拉姆齐定理在1931年被证明。它是组合数学中有限自然数集上的着色问题。倒向数学起源于希伯特的纲领，是探讨数学哲学中有限数学与无限数学的关系。本文将讨论倒向数学领域中关于Ramsey定理树版本的几个问题，以及这类问题研究的一些最新进展。
报告2:随机性方面:递归理论和数论。
时间:2019年11月16日晚上10:00–10:50
演讲者:Theodore A. Slaman教授演讲者简介:
美国加州大学教授。1981年，他获得了哈佛大学的博士学位，师从杰拉尔德·萨克斯教授。经过两年的研究，他进入芝加哥大学任教。1996年，他进入加州大学伯克利分校，此后一直在那里任教。Slaman主要从事递归理论的研究。他致力于将递归理论应用到其他领域，如算法随机性理论、集合论等。
内容:
我们将从递归理论和数论的角度回顾随机性的许多方面的结果。在递归理论中，识别同类实数是避免测量零集合和非近似的有效方法，但这些概念的丢番图版本、法线和高度有理指数只是松散地联系在一起。同样，实数的展开是否随机也取决于所选择的表示基。
报告3:最大对象和可定义性的总结
时间:2019年11月16日下午14:00-14:50
演讲者:约尔格·布伦德教授
演讲者介绍:
Brendle教授于1991年获得图宾根大学的博士学位。过去，他在德国、以色列和美国的许多大学工作。现在，他是神户大学的正教授。他的主要研究方向是集合论和集合论拓扑。他获得了十多项科研资助，并在《APAL》和《JSL》等数理逻辑顶级期刊上发表了许多文章。
内容:
具有最大化属性的自然数子集族，如最大几乎不相交族、最大独立族、超滤子或塔，通常借助于选择公理来构造，因此很难定义它们。很多情况下，这种可定义的最大化对象是不存在的。比如马蒂亚斯的一个经典结论，说明不存在可分析的MAD家族。此外，最大几乎不相交映射族的不存在性是连续的。另一方面，协作分析的MAD家族存在于可构造的集合中。因此，我们很自然地会问，在投影层次的较低层，我们能在多大程度上刻画具有最大对象的模型，是否存在与正则性相关的关系，如勒贝格可测性或贝利属性，来表示在投影层次的同一层的集合。我的演讲将总结这一领域的研究成果，重点介绍MAD、最大独立以及它们之间的关系。还将提出一些未解决的问题。
报告4:模型理论的符合性
时间:2019年11月16日下午14:50-15:40
演讲者:Krzsztof Krupinski教授
演讲者介绍:
Krupinski教授于2004年获得数学博士学位，2011年获得弗罗茨瓦夫大学数学博士学位。2016年被波兰总统授予教授称号。他的研究兴趣是纯模型理论及其与代数和拓扑的关系。自2005年以来，他一直在弗罗茨瓦夫大学工作。从2005年到2008年，他还在伊利诺伊大学香槟分校工作。他获得了多个奖项:2006年库拉托夫斯基奖，该奖授予波兰数学学会和波兰科学院数学研究所的青年数学家奖；2007年，G. Byakov奖被授予数学领域的最佳博士。2004-2006年在波兰获得W.Sierpinski奖，该奖由波兰科学院第三部分颁发，表彰他在模型论及其与代数、拓扑和描述性集合论的联系方面的一系列论文。
内容:
在我演讲的第一部分，我将讨论可定义的遵从团体的概念。可定义顺从群扩展了顺从群的类别，自2005年Pillay猜想被证明以来，它们在模型理论中发挥了重要作用。在我的第二部分，我将讨论服从论的概念，它类似于一阶理论中的服从群的概念。我在与E. Hrushovski和A. Pillay的合作论文中介绍了这个概念。
报告5:确定逻辑公式的可满足性
以及解间大小的计算空
时间:2019年11月17日上午08:30–09:20
主讲人:张健研究员主讲人介绍:
张健，中国科学院软件研究所研究员，博士生导师。1994年在中国科学院软件研究所获得博士学位。曾获众创软件人才奖、国家杰出青年科学基金、国务院政府特殊津贴。主要研究方向包括:自动推理和约束求解算法、程序静态分析和软件测试技术。他曾担任《中国计算机杂志》、《中国科学:信息科学》、《计算机科学与技术杂志》、《计算机科学前沿》、《IEEE可靠性汇刊》和《计算机科学与探索》的编辑委员会。曾任国家自然科学基金委“可信软件基础研究”重大研究计划指导专家组成员，以及ICSE、VSTTE、IJCAR、CADE、SAT、COMPSAC等重要国际会议项目委员会成员，QRS 2015项目委员会主席。
内容:
公式可满足性的判定是逻辑和计算机科学中的一个重要问题。本报告将介绍不同逻辑系统中公式的可满足性，以及相关的自动推理算法和工具，包括我们的一些研究内容和成果。除了判断可满足性，还将介绍计数问题和相应的工具。还将介绍相关技术在程序分析和形式化方法中的应用。
逻辑的力量
时间:11月14日晚7点。
地点:8号教学楼308室
主讲人:郭美云教授
演讲者介绍:
郭美云，北京大学逻辑学博士，西南大学政治与公共管理学院教授、副院长，逻辑与智能研究中心主任，博士生导师。兼任中国逻辑学会常务理事，中国逻辑学会形式逻辑委员会副主任兼秘书长，中国逻辑学会现代逻辑委员会副主任，重庆逻辑学会秘书长。近年来主持国家社科基金重点项目、国家社科基金青年项目、教育部人文社科青年项目等5项省部级项目。在《哲学研究》、《自然辩证法研究》、《哲学动态》等国内权威期刊和国际顶级会议论文集上发表中英文论文30余篇，合编、参编、合译著作5部。获得中国逻辑学会第三届优秀成果翻译奖的阿姆斯特丹大学、奥克兰大学访问学者入选重庆市第三批学术技术带头人。
内容:
逻辑是外国音译。总的来说，就像中国传统文化没有产生科学一样，近代以前的中国没有逻辑。讲座首先从西方逻辑的诞生和发展入手，在明确逻辑的研究对象和主要特征的基础上，阐述逻辑精神对一个民族精神和文化的重要性。最后，展望了现代逻辑在哲学、数学基础、人工智能、语言学和认知科学中的一些应用。
编辑:卢岑钦刘展豪艺通
蒋宗军李子贤
图片:网络
内容:学校官网
春情金韵网络文化工作室
提交材料:media@swu.edu.cn
