搜索结果: 1-9 共查到“工学 Craig”相关记录9条 . 查询时间(0.078 秒)
完善π芳香性拼图： Craig 反芳香物种的发现（图）
π芳香性 Craig 反芳香物种 碳龙化学
2023/6/20
“碳龙化学（Carbolong Chemistry）”团队再次取得重要进展：报道了首例Craig 反芳香物种的制备方法，并结合理论计算系统分析了其反芳香性的本质及驱动力。从而在首例芳香物种（萘）发现两个世纪后，完善了π芳香体系拼图（图1）。该成果以“Synthesis and Characterization of Craig-type Antiaromatic Species with [4n ...
美国工程院院士Craig H. Benson教授受聘为西南交通大学名誉教授（图）
美国工程院 院士Craig H. Benson教授 西南交通大学 名誉教授 危险废物 放射性污染物 填埋场处置 污染控制
2017/12/21
2017年11月29日上午，美国工程院院士、美国弗吉尼亚大学（University of Virginia）Craig H. Benson教授受聘为西南交通大学名誉教授。受聘仪式在犀浦校区综合楼612会议室举行。晏启鹏副书记向Benson教授表示欢迎，并简要介绍了我校的办学历史和发展定位。他希望，Benson教授能够推动我校与美国弗吉尼亚大学在学生联合培养、联合科研等方面开展务实合作，尤其是我校土...
美国伍斯特理工学院机器人工程系副主任 Craig B.Putnam教授访问北京化工大学并进行学术交流和合作会谈（图）
美国伍斯特理工学院 机器人工程 副主任 Craig B.Putnam教授 北京化工大学 学术交流 合作会谈
2017/7/24
2017年7月11日下午，北京化工大学副校长陈建峰会见美国伍斯特理工学院机器人工程系副主任Craig B.Putnam教授。国际处处长毛立新、国际教育学院副院长冯江鸿参加会谈。Putnam教授主要研究方向是机器人工程STEM教育和计算机科学。会议上，陈建峰副校长根据当前学校学科建设重点问题、机器人实验室建设细节、机器人工程专业社会热点与Craig Putnam教授进行深入研讨。陈建峰校长指出，打造...
结合Craig插值分析的软件错误诊断方法
基于模型诊断 软件错误定位 冗余分析 Craig插值
2016/12/26
基于模型诊断（MBD）的理论应用到软件错误定位中取得了一定的效果.但是经典MBD理论基于元件间独立地发生故障这一假设，导致软件错误定位的结果中存在假阳性的诊断.论文对现有基于MBD的软件错误定位方法进行了改进，提出了冲突中元件的冗余分析方法.该方法既包括了基于Craig插值的元件冗余分析机制，同时利用条件语句取值的二元性（真或假）的特点，对冲突中的条件语句元件进行软件错误的无相关分析.实验结果表明...
Associate Professor Craig J. Fennie，Department of Materials Science and Engineering at Cornell University（图）
Associate Professor Craig J. Fennie Department of Materials Science and Engineering at Cornell University
2015/8/27
Craig J. Fennie,After receiving his doctoral degree in physics from Rutgers-The State University of New Jersey in 2006, Fennie spent two years at The Center for Nanoscale Materials at Argonne Nationia...
Professor Craig Criddle,Department of Civil & Environmental at Stanford University（图）
Department of Civil & Environmental at Stanford University Professor biotechnology microbial ecology for clean water
2015/6/26
Craig Criddle research focuses on biotechnology and microbial ecology for clean water, clean energy, and healthy ecosystems.
最强后件的计算是模型检测算法的核心.本文使用一阶逻辑可满足性模线性算术理论给出线性混成自动机的有界模型检测表示公式，利用一阶逻辑公式不可满足情况下的插值存在性定理，对线性混成自动机的有界模型检测公式进行指定的划分，使用支持线性算术插值计算的可满足性模理论后端证明引擎的线性时间复杂度的消解反证技术获得这两部分公式间的插值公式，按一阶逻辑Craig插值的性质，所得到的插值公式就是模型检测过程中最强后件...
Effects of NaCl on Fermentative Metabolism of Mature Green Tomatoes cv. Ailsa Craig in Brine
alcohol dehydrogenase pyruvate decarboxylase lactate dehydrogenase anoxia
2010/10/14
The effect of osmotic strength on gene expression and activity of the major enzymes of
fermentative metabolism of mature green tomato fruit (Solanum lycopersicum cv. Ailsa Craig)
has been studied by...
基于修正Craig-Bampton方法的轮胎动态子结构模型（Dynamic Substructure Tire Model Based on Modified Craig-Bampton Method）
轮胎 整车动力学模型 有限元法
2009/9/25
以轮胎模态试验获取的模态参数和参数化轮胎有限元模型为基础，通过优化方法使有限元模型的计算模态参数与试验模态参数一致，获得动力学等效的轮胎模型，将该模型视作连接车辆与地面的子结构，基于修正的Craig-Bampton方法和轮胎接地界面特性，得到轮胎子结构的主模态集和约束模态集，使用模态综合方法实现轮胎子结构模型与车辆多体动力学模型的耦合，此模型可广泛应用于车辆平顺性仿真和整车动态优化设计。