ufuk topcu教授德克萨斯大学在奥斯汀上举行,2025年2月28日,星期五,上午10:30麦克唐纳·道格拉斯工程礼堂(MDEA)摘要:自主系统正在作为无数应用程序的驾驶技术出现。许多学科应对使这些系统值得信赖,适应性,用户友好和经济的挑战。另一方面,现有的纪律界限延迟,甚至可能阻碍进步。我认为,设计和验证自主系统在控制,学习和正式方法的交集(除其他学科)时,出现的非惯例问题需要混合解决方案。我将在顺序决策过程中学习中的这种混合解决方案的示例。这些结果提供了有效地将基于物理,上下文或结构性的先验知识整合到数据驱动的学习算法中的新颖手段。他们通过对环境和系统以前没有经历的环境和任务的多个数量级和通用性提高了数据效率。我将在一些有希望的未来研究方向上发表评论。BIO:UFUK TOPCU是德克萨斯大学奥斯汀大学航空航天工程与工程机制的教授,他在那里拥有W.A.“ Tex” Moncrief,Jr。 计算工程和科学VI主席。 他是德克萨斯机器人技术和奥登计算工程与科学研究所的核心教师,也是自治中心主任。“ Tex” Moncrief,Jr。计算工程和科学VI主席。他是德克萨斯机器人技术和奥登计算工程与科学研究所的核心教师,也是自治中心主任。他的研究重点是自主系统设计和验证的理论和算法方面。
杰克逊堡年度家庭成员或平民奖的提名人为 Crystal Bennett(由宗教支持办公室和教堂新教妇女提名)、Martina Duncan(由第 165 步兵旅提名)、Melina Fink(由第 13 步兵团第 1 旅提名)、Jade Medeiros(由蒙克里夫陆军健康诊所提名)、Carrie Satterlee(由杰克逊堡美国陆军宗教领导学院提名)、Maurice Schneider(由家庭、士气、福利和娱乐 - 青少年体育理事会提名)、Amy Smith(由杰克逊堡美国陆军宗教领导学院提名)和 Sharrion Sweet(由第 165 步兵旅提名)。Melina Fink 获得年度家庭成员志愿者荣誉,Amy Smith 获得年度平民志愿者荣誉。
在这里,我们证明了半线性波方程解的全球存在定理,具有批判性的非线性,承认有肯定的哈密顿量。在全球双曲线弯曲的时空中为波方程制定了一个参数,我们将Apriori在非线性波方程的溶液中以最初的能量为单位,从而以直接的方式遵循全局存在。这是通过两个步骤完成的。首先,基于Moncrief的光锥制剂,我们根据过去的光锥从任意时空点到“初始”,Cauchy hypersurface和该锥体与初始hypersurface的相交的“初始cauchy hypersurface”,从过去的光锥上呈现标量的表达。其次,我们获得了与三个准局部相关时间样的保形杀害和一个近似杀伤载体场相关的能量的先验估计。利用这些与物理应力 - 能量张量和积分方程相关的自然定义的能量,我们表明,标量场的时空L∞规范在初始数据方面保持界定,并且只要空间时空保持奇异/cauchy-horizon notimulition/cauchy-horizon nove the the n of tim to n of。
Janelle A. Arnete 上校目前是卫生局局长办公室 (OTSG) 的支援副参谋长,G-1/4/6。她出生于弗吉尼亚州亚历山大市,毕业于俄亥俄大学 (1995 年,以优异成绩毕业),获得生物科学预科物理治疗学士学位,并通过陆军 ROTC 项目被任命为医疗服务团少尉。她毕业于中密歇根大学 (2009 年,以优异成绩毕业),获得管理学硕士学位,并毕业于美国陆军战争学院 (2020),获得战略研究硕士学位。Arnette 上校在她 28 年的职业生涯中担任过各种领导职务,包括:南卡罗来纳州杰克逊堡蒙克里夫陆军社区医院管理分析科科长 (1995-1997 年);北卡罗来纳州布拉格堡第 261 区域支援医疗营 S1 营 (1997-1998 年);波斯尼亚和黑塞哥维那 S1 特遣队 (1998 年);北卡罗来纳州布拉格堡第 28 战斗支援医院 (1998-1999 年);北卡罗来纳州布拉格堡第 55 医疗组副官 (1999 年);沃马克陆军医疗中心连长 (2000-2002 年);华盛顿特区沃特里德陆军医疗中心 S1 医疗旅 (2002-2004 年);弗吉尼亚州亚历山大市陆军秘书处人力资源司令部 (HRC) 委员会记录员 (2004-2006 年);弗吉尼亚州亚历山大市 HRC 医疗队分部职业经理 (2006-2008 年);科威特阿里夫詹营美国陆军中央司令部医务人事主管 (2008-2009 年);南卡罗来纳州杰克逊堡蒙克里夫陆军社区医院人力资源部部队指挥官兼负责人(2009-2011 年);德克萨斯州圣安东尼奥 AMEDD 中心与学校人力资源课程主任(2011-2013 年);肯塔基州诺克斯堡 HRC 医疗队分部副负责人(2013-2015 年);弗吉尼亚州福尔斯彻奇卫生局局长办公室政策、计划和项目负责人(2015-2016 年);部队管理负责人/人力资源局/G1 副主任(2016-2017 年);美国陆军医学研究与物资司令部 (USAMRMC) 人力资源/G1 副参谋长(DCSHR/G1)(2017-2020 年);以及东部 DCSHR/G1 医疗准备司令部(2020-2023 年)。阿内特上校获得的奖项和勋章包括功绩勋章、功绩服务勋章(8 OLC)、陆军嘉奖勋章(4 OLC)、陆军成就勋章、陆军参谋勋章和跳伞员勋章。她是军事医疗功绩勋章的成员。阿内特上校和她的丈夫杰拉尔德·L·阿内特二世先生有两个 24 岁的双胞胎儿子,迈克尔和尼古拉斯。
Janelle A. Arnette 上校目前是卫生局局长办公室 (OTSG) 的支援副参谋长,G-1/4/6。她出生于弗吉尼亚州亚历山大市,毕业于俄亥俄大学 (1995 年,以优异成绩毕业),获得生物科学预科物理治疗学士学位,并通过陆军 ROTC 项目被任命为医疗服务团少尉。她毕业于中密歇根大学 (2009 年,以优异成绩毕业),获得管理学硕士学位,并毕业于美国陆军战争学院 (2020),获得战略研究硕士学位。Arnette 上校在她 28 年的职业生涯中担任过各种领导职务,包括:南卡罗来纳州杰克逊堡蒙克里夫陆军社区医院管理分析科科长 (1995-1997 年);北卡罗来纳州布拉格堡第 261 区域支援医疗营 S1 营 (1997-1998 年);波斯尼亚和黑塞哥维那 S1 特遣队 (1998 年);北卡罗来纳州布拉格堡第 28 战斗支援医院 (1998-1999 年);北卡罗来纳州布拉格堡第 55 医疗组副官 (1999 年);沃马克陆军医疗中心连长 (2000-2002 年);华盛顿特区沃特里德陆军医疗中心 S1 医疗旅 (2002-2004 年);弗吉尼亚州亚历山大市陆军秘书处人力资源司令部 (HRC) 委员会记录员 (2004-2006 年);弗吉尼亚州亚历山大市 HRC 医疗队分部职业经理 (2006-2008 年);科威特阿里夫詹营美国陆军中央司令部医务人事主管 (2008-2009 年);南卡罗来纳州杰克逊堡蒙克里夫陆军社区医院人力资源部部队指挥官兼负责人(2009-2011 年);德克萨斯州圣安东尼奥 AMEDD 中心与学校人力资源课程主任(2011-2013 年);肯塔基州诺克斯堡 HRC 医疗队分部副负责人(2013-2015 年);弗吉尼亚州福尔斯彻奇卫生局局长办公室政策、计划和项目负责人(2015-2016 年);部队管理负责人/人力资源局/G1 副主任(2016-2017 年);美国陆军医学研究与物资司令部 (USAMRMC) 人力资源/G1 副参谋长(DCSHR/G1)(2017-2020 年);以及东部 DCSHR/G1 医疗准备司令部(2020-2023 年)。阿内特上校获得的奖项和勋章包括功绩勋章、功绩服务勋章(8 OLC)、陆军嘉奖勋章(4 OLC)、陆军成就勋章、陆军参谋勋章和跳伞员勋章。她是军事医疗功绩勋章的成员。阿内特上校和她的丈夫杰拉尔德·L·阿内特二世先生有两个 24 岁的双胞胎儿子,迈克尔和尼古拉斯。
Karen E. Willcox (主席) 是德克萨斯大学奥斯汀分校奥登计算工程与科学研究所所长、研究副总裁兼航空航天工程与工程力学教授。她还是圣达菲研究所的外聘教授。在德克萨斯大学,她担任基于模拟的工程与科学 WA“Tex”Moncrief, Jr. 主席和计算系统 Peter O'Donnell, Jr. 百年主席。在 2018 年加入奥登研究所之前,她曾在麻省理工学院担任教授 17 年,担任麻省理工学院计算工程中心创始联席主任和麻省理工学院航空航天系副主任。在加入麻省理工学院教职员工之前,她曾在波音幻影工厂的翼身融合飞机设计小组工作。她是工业与应用数学学会 (SIAM) 会员、美国航空航天学会 (AIAA) 会员,并于 2017 年因在航空航天工程和教育领域的贡献被授予新西兰功绩勋章 (MNZM)。2022 年,她当选为美国国家工程院 (NAE) 院士。威尔科克斯在设计、优化和控制下一代工程系统的计算方法的开发和应用方面处于领先地位。她的许多活跃研究项目和与工业界的合作正在开发核心数学和计算能力,以实现大规模预测数字孪生。
Karen E. Willcox(主席)是德克萨斯大学奥斯汀分校奥登计算工程与科学研究所所长、研究副总裁和航空航天工程与工程力学教授。她还是圣达菲研究所的外部教授。在 UT,她担任 W. A.“Tex” Moncrief, Jr.基于模拟的工程与科学主席和 Peter O'Donnell, Jr. 计算系统百年主席。在 2018 年加入奥登研究所之前,她曾在麻省理工学院担任教授 17 年,担任麻省理工学院计算工程中心的创始联席主任和麻省理工学院航空航天系副主任。在加入麻省理工学院教职员工之前,她曾在波音幻影工程公司 (Boeing Phantom Works) 的混合翼身飞机设计小组工作。她是工业与应用数学学会 (SIAM) 会员、美国航空航天学会 (AIAA) 会员,并于 2017 年因对航空航天工程和教育的贡献被任命为新西兰功绩勋章 (MNZM) 成员。2022 年,她当选为美国国家工程院 (NAE) 院士。威尔科克斯 (Willcox) 是下一代工程系统设计、优化和控制计算方法开发和应用的先驱。她的许多活跃研究项目和与工业界的合作正在开发核心数学和计算能力,以实现大规模预测数字孪生。
Karen E. Willcox (主席) 是德克萨斯大学奥斯汀分校奥登计算工程与科学研究所所长、研究副总裁兼航空航天工程与工程力学教授。她还是圣达菲研究所的外聘教授。在德克萨斯大学,她担任基于模拟的工程与科学 WA“Tex”Moncrief, Jr. 主席和计算系统 Peter O'Donnell, Jr. 百年主席。在 2018 年加入奥登研究所之前,她曾在麻省理工学院担任教授 17 年,担任麻省理工学院计算工程中心创始联席主任和麻省理工学院航空航天系副主任。在加入麻省理工学院教职员工之前,她曾在波音幻影工厂的翼身融合飞机设计小组工作。她是工业与应用数学学会 (SIAM) 会员、美国航空航天学会 (AIAA) 会员,并于 2017 年因在航空航天工程和教育领域的贡献被授予新西兰功绩勋章 (MNZM)。2022 年,她当选为美国国家工程院 (NAE) 院士。威尔科克斯在设计、优化和控制下一代工程系统的计算方法的开发和应用方面处于领先地位。她的许多活跃研究项目和与工业界的合作正在开发核心数学和计算能力,以实现大规模预测数字孪生。
Karen E. Willcox (主席) 是德克萨斯大学奥斯汀分校奥登计算工程与科学研究所所长、研究副总裁兼航空航天工程与工程力学教授。她还是圣达菲研究所的外聘教授。在德克萨斯大学,她担任基于模拟的工程与科学 WA“Tex”Moncrief, Jr. 主席和计算系统 Peter O'Donnell, Jr. 百年主席。在 2018 年加入奥登研究所之前,她曾在麻省理工学院担任教授 17 年,担任麻省理工学院计算工程中心创始联席主任和麻省理工学院航空航天系副主任。在加入麻省理工学院教职员工之前,她曾在波音幻影工厂的翼身融合飞机设计小组工作。她是工业与应用数学学会 (SIAM) 会员、美国航空航天学会 (AIAA) 会员,并于 2017 年因在航空航天工程和教育领域的贡献被授予新西兰功绩勋章 (MNZM)。2022 年,她当选为美国国家工程院 (NAE) 院士。威尔科克斯在设计、优化和控制下一代工程系统的计算方法的开发和应用方面处于领先地位。她的许多活跃研究项目和与工业界的合作正在开发核心数学和计算能力,以实现大规模预测数字孪生。
Karen E. Willcox (主席) 是德克萨斯大学奥斯汀分校奥登计算工程与科学研究所所长、研究副总裁兼航空航天工程与工程力学教授。她还是圣达菲研究所的外聘教授。在德克萨斯大学,她担任基于模拟的工程与科学 WA“Tex”Moncrief, Jr. 主席和计算系统 Peter O'Donnell, Jr. 百年主席。在 2018 年加入奥登研究所之前,她曾在麻省理工学院担任教授 17 年,担任麻省理工学院计算工程中心创始联席主任和麻省理工学院航空航天系副主任。在加入麻省理工学院教职员工之前,她曾在波音幻影工厂的翼身融合飞机设计小组工作。她是工业与应用数学学会 (SIAM) 会员、美国航空航天学会 (AIAA) 会员,并于 2017 年因在航空航天工程和教育领域的贡献被授予新西兰功绩勋章 (MNZM)。2022 年,她当选为美国国家工程院 (NAE) 院士。威尔科克斯在设计、优化和控制下一代工程系统的计算方法的开发和应用方面处于领先地位。她的许多活跃研究项目和与工业界的合作正在开发核心数学和计算能力,以实现大规模预测数字孪生。