Curry-Howard同构理论:研究综述

一、引言 理论计算机科学的发展吸取了大量数学和逻辑上的重要成果.逻辑是理论计算机科学十分重要的基础之一,而其中又以直觉主义逻辑对计算机科学的影响最为显著,它的思想比古典逻辑更加切合计算的观点.另一个值得一提的成果就是Alonzo Church在1936年提出的λ-演算系统,λ-演算所依据的是一种完全不同于逻辑的思想,它是计算机科学中函数式程序设计语言的理论基础.这是两种无论从语法上还是从语义上去观察都区别甚大的形式系统,然而它们之间却存在着某种奇妙的对应关系,这就是本文所要介绍的Curry-Howard同构理论(Curry-Howard Isomorphism).

盐溶液饱和岩土的本构理论及在黏土中的应用

盐溶液中离子的化学活性会改变饱和岩土的力学性质,诱发其工程性能出现劣化甚至失效等岩土工程问题。为了研究化学活性对饱和岩土水力与变形特性的影响,基于混合物理论与热力学溶液理论,建立了盐溶液饱和岩土材料的本构理论框架。与以往研究不同,该理论将固相应变分解为孔隙率变化引起的骨架应变、固相材料变形引起的基质应变以及化学反应等物质交换引起的质量交换应变,用以凸显孔隙率在水-力-化学多场耦合机制中的关键作用;采用溶质的现时质量分数作为化学状态变量来反映化学活性的影响;利用自由能和耗散势分别建立弹性和塑性本构关系。根据该理论框架建立了NaCl溶液饱和黏土的固相、流相本构关系以及溶质的渗流-扩散方程,并得到了已有试验数据的验证,表明该框架可以指导盐溶液饱和岩土的本构建模工作。

基于密度泛函理论研究聚醚类破乳剂的构效关系

油田采出液处理工艺中化学破乳剂的使用能够大大提升工作效率并且节约成本,其中聚醚类破乳剂的应用最为广泛,研究聚醚类破乳剂的构效关系对于新型破乳剂的研发及应用至关重要。本文首先对几种聚醚类破乳剂和反相破乳剂的破乳效果进行了评价和比较,然后根据沥青质分子的结构特点及现有聚醚类破乳剂和反相破乳剂的类型,选取了相应的模型分子,通过密度泛函理论(DFT)中B3LYP/6-31G基组得到其最优分子几何构型和静电势分布图,并利用泛函M062X/6-31G基组计算了聚醚类破乳剂模型分子分别与沥青质模型分子和水分子之间的相互作用能。结合聚醚类破乳剂和反相破乳剂的破乳性能评价结果,进而分析了聚醚类破乳剂的构效关系。结果表明,由理论化学计算结果所推测的破乳剂的破乳性能差异与其实际破乳效果相一致:具有支状结构、聚合度较高的聚醚类破乳剂的效果优于线型结构、聚合度较低的聚醚类破乳剂;酚醛树脂聚醚的破乳效果优于酚胺树脂聚醚,而反相破乳剂中则是多元醇聚醚类反相破乳剂的效果较优。该工作的开展表明采用密度泛函理论进行破乳剂的构效关系研究是可行的,能够为未来新型破乳剂的制备及选用奠定重要的理论基础和提供参考依据。

基于使用理论视域下的英语结果构式学习实证研究——来自某普通高校理工专业一年级学生的经验证据

基于使用理论框架,考察中国英语学习者在结果构式学习过程中的图式化能力,同时探究归纳式构式教学的效果。研究结果表明:中国英语学习者的图式化能力较为欠缺,他们很难从语言输入中归纳出结果构式的图式并发现其意义;归纳式教学能增强学习者的图式化能力并显著提高结果构式学习效果。以上结果对外语教学有一定启示:外语教学要以构式习得为目标;构式教学要遵循整体性原则,要进行基于范例的归纳式教学。

生态系统理论视域下老年友好型社区的构建路径——基于31个案例的模糊集定性比较分析

从理论上解构老年友好型社区的构建路径是一项重要的研究命题。老年友好型社区与生态系统理论具有内在的关联性,通过改善社区生态系统能够增进老年群体的福祉。从生态系统的宏观、中观、微观等三个层次提炼文化氛围、制度保障、社区支助、社会参与、资源禀赋、人际网络等六个前因条件,运用模糊集定性比较分析法对31个样本的老年友好型社区建设水平进行条件组合效应分析,研究发现:单一因素并不必然决定老年友好型社区建设水平,其是由多个因素共同决定的,并且各影响因素在实践中具有跨越生态系统层次、实现相互促动的特征;老年友好型社区构建包括“文化引领型”“制度主导型”“内生孵化型”“资源供给型”等四种可行性路径。各地在推动老年友好型社区建设时需要从社区生态的宏观、中观、微观等三个系统层次关注社区自有条件,通过发挥因素联动作用,把握并动态调整相关经验标准,扎实推进社区养老的实践发展。

数字化转型企业组织韧性的形成机制研究——基于资源编排理论和构型理论视角

文章基于资源编排理论和构型理论,以161家数字化转型上市公司为主要样本,以96家非数字化转型上市公司作为对照组,采用模糊集定性比较分析(fsQCA)方法识别了人力资本、技术水平、创新能力、偿债能力、成长能力、股权集中度和公司规模7个要素推动组织韧性形成的路径机制,并对此进行了验证性案例研究分析。研究表明:数字化转型企业高组织韧性的形成机制可归纳为被动防御型和主动成长型两类。其中,创新能力和股权集中作为高组织韧性形成组态中的核心条件发挥普适性作用。在数字化转型背景下,当企业处于技术瓶颈期时,人力资本可替代高技术水平和偿债能力,在高组织韧性的形成过程中发挥至关重要的作用。

场景理论视域下文化消费空间的场景构型及其效应

新芝加哥学派创建的场景理论是研究城市文化的前沿理论。该理论与社会空间理论、消费社会理论、文化经济理论的接缘度高,高度适于研究当代文化消费空间。该理论表明了物质基础与“舒适物”设施组成了场景,场景生成了文化表征,形成了具有特殊性的文化价值观集合。对中国当代文化消费场景构型进行归纳,可归纳为自然生态型、文旅全域型、文创营造型、表演戏剧型、商业艺术型、数字沉浸型、乡土文化型七类。场景能够发挥空间集聚与空间再生、氛围感染与美感传导、快感激发与消费冲动、创意迸发与文化增值等效应。当下,具有“视觉狂欢”“感官盛宴”表征的文化消费场景是消费社会与文化经济的产物,对此,需要进一步思考如何消解“感官资本化”,巩固社会主义文化意识形态。

如何治理虚假信息?——基于社会技术共构理论的探究

本研究以社会技术共构理论为框架,将虚假信息的特征概括为多样性、社会性和演化性等。虚假信息治理技术的建构呈现出技术律令与社会需求的双重影响,即技术遵循自身的演化逻辑,如追求更高的召回率等量化指标,同时社会需求和政策导向也持续塑造着技术标准。研究结果揭示了虚假信息治理的复杂性,强调了技术、平台和社会现实三重空间的协同作用,以及多元主体在治理过程中的角色。该多维治理框架凸显了技术与社会的共生关系,为深入理解虚假信息治理提供了理论视角和实践指导。

人与自然同构理论下流域治理立法的理论反思与法典路径

我国虽然基本形成了较为完备的流域治理法律体系,但以《水法》为核心的《水污染防治法》《防洪法》《水土保持法》等流域治理立法仍延续“条块”结合治理,水资源、水环境和水生态分治的思维模式,造成实践中流域治理梗阻。究其根源,学理层面,现行流域治理立法“条块”结合治理、水资源、水环境与水生态分治逻辑违背流域整体性、系统性和联系性规律。法理层面,流域治理立法“条块”结合治理和水资源、水环境与水生态分治既不符合科学立法原则,又违背法秩序统一性原理,规范重复、冲突更会影响规范效力和位阶秩序。有鉴于此,我国应加快推进《生态环境法典》编撰,遵循整体治理、系统治理和统筹治理思路,综合采用立、改、废、释等多元技术推进流域治理规范在《生态环境法典》污染控制编和自然生态保护编中优化、融贯和协调,形成具有中国特色的流域治理法律体系。同时,在法典尚未出台或暂不成熟的情况下,应采取多元手段优化现行流域治理规范,为过渡期纷繁复杂的流域治理问题提供规则依据。

互构治理理论视角下高校“一站式”社区党小组建设研究

党建引领是高校“一站式”社区建设的基本遵循,党小组是基层党组织建设“最小单元”,是打通党建引领“一站式”学生社区综合改革“最后一公里”的“关键一招”。当前,高校“一站式”学生社区建设存在治理体系碎片化、治理资源分散化、治理过程粗放化等现实困境。本文基于互构治理理论,探索“一站式”学生社区与党小组深度互构建设的可能性,从指导思想、价值理性、实践过程方面明确互构的逻辑起点,并基于治理理念、治理制度、治理队伍、治理平台四个维度搭建“一站式”社区党小组建设互构模式,实现党建引领“一站式”社区建设精细化、科学化转变,为高校组织育人实践探索提供崭新视角。

第五届全国岩土本构理论研讨会(第1号通知)

第五届全国岩土本构理论研讨会将于2024年10月26日-27日在北京举行。主办单位:中国土木工程学会土力学及岩土工程分会中国力学学会岩土力学专业委员会。承办单位:北京交通大学。

生命共同体理念与行动者网络理论的异质同构研究

人与自然生命共同体理念是以人与自然为有机整体,以追求人与自然和谐共生为目标提出的生态哲学理念,是习近平生态文明思想的重要组成部分。行动者网络理论在西方“物转向”背景下,反叛传统哲学人一物主客二分思维,以人与物平等的观念为理论背景,以“转译”为路径生成的“动态”关系网络。将生命共同体理念与行动者网络理论并置研究,凸显二者在关系哲学层面具有以实践为中介、共生为追求的同构之维。

基于构型力理论的风电齿轮接触损伤研究

风电,这种既清洁又可再生的能源,在全球范围内的整体且广泛的能源结构中,正逐渐而稳定地占据着越来越重要且关键的位置。然而,风电齿轮箱的可靠性问题,一直顽固而持续地在限制和制约整个行业的发展,其中齿轮接触损伤是主要且显著的失效原因之一。构型力理论为深入细致地分析这些复杂多样且各种各样的齿轮接触损伤机理提供了一种全新独特的方法与视角。通过对那些齿面上的接触应力、润滑状况、材料特性以及装配质量等多种影响因素进行详细全面系统性的研究,揭示出导致风电齿轮接触损伤背后的深层次内在机制。齿轮的可靠性评估过程,关键至极,涵盖多个核心环节:从分析齿面接触状态,到研究动态载荷及预测其疲劳寿命。凭借详尽数据分析,制定出了一系列多样且有力的控制策略。对于经过多种策略综合应用后的风电齿轮箱来说,整体结构和性能的可靠性大幅提升,在延长长期使用寿命方面也具有优势。这无疑为风电产业实现持久稳定发展打下坚实基础,并推进清洁能源技术拓展新篇章。

基于立构理论的环保公共座椅设计研究

随着社会经济的迅速发展和环保意识的提升,公共座椅设计逐渐融合环保理念。文章以公共座椅为设计对象,基于立构理论,探索通过几何形态的简化与现代工艺的结合,实现固体废料的循环再利用。通过对可回收材料的切割与镶嵌,创新出兼具实用性与艺术性的环保座椅设计,提升了废料的再利用价值。文章为公共座椅设计提供了基于立构理论的环保设计思路和实践方法,推动了固体废料的循环利用,为公共环保设计提供了重要参考。

从“认知模型”到“模型认知”的教学实践与思考——以杂化轨道理论与分子空间构型的教学为例

微观世界看不见摸不着、抽象复杂,在教学过中可以采用模型建构的方法来帮助学生认识和研究物质的结构特征、性质特征、客观规律等.通过模拟、解释、推理等方法,引导学生通过探究学习,建立相关的认知模型,能够运用所掌握的知识解释相关的结构、性质特征,进而揭示该事物所蕴含的本质规律.通过以“杂化轨道理论与分子的空间构型”教学为例,引导学生通过对价层电子对互斥模型(VSEPR模型)和杂化轨道理论模型的建构与整合,进而掌握预测分子空间构型的方法,并能进行简单的解释与推理,促进学生从“认知模型”到“模型认知”的发展.

基于“点—轴”理论的旅游乡村空间重构研究--以四川芦山县双石镇为例

乡村旅游发展能有效引导乡村的聚落空间、经济产业和社会文化重构,是推动乡村振兴的重要动力。文章以“点—轴”理论为基础,从要素类型、结构形态和系统功能三个维度建构旅游空间系统,并以芦山县双石镇规划为例,探索旅游空间系统驱动乡村聚落空间重构的方法路径,以期为旅游型乡村的规划发展提供参考。

小三角理论下网络流行构式“一种很新的XX”探析

网络流行构式“一种很新的XX” 2022年12月入选《语言文字周报》发布的“十大网络流行语”,至今仍活跃在各大网络社交平台上以及频繁出现在人们的日常生活中。本文在“小三角”理论指导下,对构式“一种很新的XX”进行语表、语里、语值层面的全面动态分析,最后从语言经济性原则、语言模因仿制、社会心理三方面分析其流行动因。

土的基本特性及本构关系与强度理论

土的基本特性及本构关系与强度理论是土力学及岩土工程学科的重要理论基础之一。本文针对饱和黏土、砂土及堆石料等粗粒土,总结了这三类土在基本力学特性及本构强度理论方面的研究现状和发展趋势。饱和黏土部分主要包括压缩特性、剪切特性—临界状态及剪胀/剪缩、结构性及其破坏、中主应力影响、各向异性及主应力偏转效应、不排水抗剪强度、流变特性、微观力学解析模型等;砂土部分包括临界状态概念与剪胀性、砂土各向异性、应变局部化等;堆石料等粗粒土部分则以颗粒破碎对堆石料等粗粒土的力学性质的影响为主线,重点介绍了颗粒破碎的度量方法、颗粒破碎对剪胀性、临界状态线的影响以及相应的本构模型、宏观-微观的力学分析方法。

基于内时理论的软岩流变本构模型

从内时理论出发 ,通过在内蕴时间中引入牛顿时间 ,在Helmholtz自由能中引入损伤变量 ,对它们分别进行重新构造 ,利用连续介质不可逆热力学的基本原理推导了软岩的内时流变本构方程。然后 ,对该方程在单轴应力条件下进行了求解、分析与试验验证。结果表明 :该方程能有效地描述软岩蠕变过程中衰减蠕变、稳定蠕变和加速蠕变等三个阶段的力学特性 ;当损伤尚未发生或未明显出现时 ,该方程能用来描述软岩蠕变第一、二阶段的特性及松弛特性 ,当损伤开始发生或出现时 ,该方程描述的是蠕变第三阶段的特性 ;造成软岩蠕变加速阶段出现的原因是损伤起始于或明显显现于蠕变第二阶段之末。

基于混合物理论的含瓦斯煤本构方程

以混合物理论的Truesdell公设为基础,认为含瓦斯煤是由固相煤、游离相瓦斯和吸附相瓦斯组成的饱和混合物,采用理论推导的方法构建含瓦斯煤的本构方程.方程表明,含瓦斯煤的力学变形特性由各组分特性、瓦斯吸附解吸作用和煤体的孔隙分布共同决定.不同瓦斯压力条件下含瓦斯煤的应力-应变曲线表明:吸附瓦斯促使煤体产生膨胀变形,降低其弹性模量;围压也将对含瓦斯煤的弹性模量和变形产生重要影响.