摘要:能够在微观尺度上移动并相互作用的人工和/或生物微型游泳器在药物输送和显微外科手术等生物医学应用领域展现出巨大的潜力。这些互动式游泳器能否成功应用于生物医学任务,取决于它们能否在复杂的背景流场中穿行于生物流体。Lighthill 于 1952 年发表于《Commun. Pure Appl. Math.》第 109 卷(109 页)中关于纤毛微生物推进的开创性研究,为许多现代低雷诺数下微生物游泳研究提供了参考。本次报告将探讨用于捕捉微生物在不同流体环境中游泳特性的数学模型。邮箱:devanayagam.palaniappan@tamucc.edu 时间:上午 9:10 至 9:45,Kleberg Hall 149
研究超声速气流作用下复合材料层合板的气动弹性失稳问题,通过求解气动弹性特性的广义特征值问题进行分析。通常通过计算不同来流速度下层合结构的固有频率,得到层合板在气流作用下的临界失稳速度,这是由于层合结构刚度减小,导致结构失稳。应根据复合材料壁板所处的力学环境合理设计结构参数,避免在气流作用下出现结构失稳问题。活塞理论最初由Lighthill在Hayes对Tsien高超声速相似理论的扩展基础上发展起来。在壁板颤振研究中,为了更好地模拟实际的气动变化过程,许多研究者提出了各种气动计算模型,但这些气动模型的不足之处在于考虑了较为复杂的边界条件,因此方程的求解过程相当复杂。在结构力学的框架下,利用二维模型,利用活塞理论推导了能够预报超声速范围内先进结构壁板颤振的精细气动弹性模型。活塞理论被广泛应用于许多气动模型,它提供了体表某点处表面下洗流与气动压力之间的准定常点函数关系。这使得活塞理论成为一种计算成本低廉的空气动力学模型。在本论文中,CUF工具的高效性允许推导任意阶模型,Carrera统一公式允许使用紧凑统一的公式推导任何模型。强形式解和提出的CUF模型的有限元近似。本文推导了二维模型的FEM特征矩阵,基本核允许使用自动程序推导矩阵。有限元法(FEM)由于其多功能性和数值效率而仍然值得关注。已经解决了力学的各种问题,包括静态,自由振动和动态响应问题。通过求解气动弹性特性的广义特征值问题对其进行分析,并考虑了许多参数来研究它们对颤振边界的影响。关键词:有限元方法、活塞理论、气动弹性不稳定性、气动弹性、Carrera 统一公式、超音速、复合层压板。
从 1950 年图灵发表《计算机器和智能》到 1990 年代人工智能寒冬逐渐消融,四场针对人工智能基础的独特哲学争论相继出现,短暂地引起了广泛关注,随后逐渐平息。第一场“人工智能战争”始于卢卡斯 [1961],质疑人工智能的逻辑合理性。第二场战争可以追溯到明斯基和帕普特 [1969],涉及不同架构支持者之间的争论。第三场战争由德雷福斯 [1972] 发起,但在塞尔 [1980] 之后最为激烈;它攻击了人工智能系统具有语义的可能性。第四场战争在很多方面都是最微妙的,始于麦卡锡和海斯 [1969],涉及框架问题的含义和影响。这一时期的人工智能战争影响了 20 世纪 60 年代初荒唐的过度乐观主义、20 世纪 70 年代的 Lighthill [1973] 报告和其他灾难、20 世纪 80 年代对专家系统的热情以及 20 世纪 90 年代向人工神经网络 (ANN) 和应用机器人的逐渐过渡,同时也受到了这些影响。到 21 世纪初,人工智能前 50 年的哲学冲突基本结束。它们没有以任何一方的胜利而告终,而是陷入了僵局。取而代之的是,关于意识的本质、人工智能的伦理以及人工智能系统本身是否符合伦理的可能性的新争论出现了。图灵 [1950] 预见到了这两种发展,尽管他不认为它们与他所定义的“智能”有任何关系。在这里,我们要问为什么会发生这种情况,以及它如何影响人工智能和哲学。人工智能战争触及了形而上学、认识论以及心灵、语言和科学哲学等基本问题,在那些参与其中的人看来,它正在重构哲学本身。例如,斯洛曼[1978]自信地预测,“几年之内,如果还有哲学家不熟悉人工智能的一些主要发展,那么指责他们专业无能是公平的”,对人工智能系统的考虑将渗透到学术哲学的教学中。这显然没有发生:许多(如果不是大多数的话)哲学家仍然对人工智能一无所知,大多数哲学教学从未提及它。我们的新书《对人工智能的伟大哲学反对:人工智能战争的历史和遗产》(Bloomsbury,2021)试图纠正这种情况。我们在此总结了其主要论点,同时添加了一些更深入的分析,以便同行研究人员更容易理解。自 2000 年以来,关于人工智能意识和伦理的争论涉及神经科学家、律师和经济学家等,以及人工智能研究人员和哲学家。与 1950-2000 年的“经典”人工智能战争一样,这些新冲突是始于科学革命的普遍文化冲突的一部分。他们的紧迫感部分源于人们日益意识到后工业经济正在迅速转变为人工智能经济,部分源于人们担心后冷战地缘政治体系可能成为人工智能驱动的政治体系。这些辩论挑战了在冷战时期看似自然的假设。