基于裂纹扩展的涡轮叶片热障涂层寿命预测模型

热障涂层在高温热循环的服役环境中会出现性能退化,最终剥离失效.本文以等离子喷涂的YSZ涂层为研究对象,基于亚临界裂纹扩展模型,引入临界能量释放率指数模型,结合改进的热生长氧化层增厚模型,推导了涂层循环失效预测模型.通过和公开的实验数据对比,验证了本文方法的准确性.之后将该模型应用于国内某型燃气轮机涡轮导叶热障涂层的寿命预测.结果表明,随着热生长氧化层的增厚,当达到临界厚度时在陶瓷层和黏结层界面会出现应力反转.陶瓷层和黏结层界面出现的拉伸应力会诱导附近微小裂纹扩展.此时热生长氧化层进一步增厚,将会加速裂纹的扩展速度,直至裂纹贯通,界面出现剥离失效.涂层寿命与服役温度呈指数递减规律,在一定范围内提高陶瓷层和黏结层界面粗糙度可以延长涂层服役寿命.本文模型对预测等离子喷涂的YSZ涂层寿命具有很好的应用价值.     

基于系统思维的智慧城市治理创新研究

新一代信息技术在提供城市治理手段的同时,重塑了智慧城市的社会结构和城市治理规则。用系统科学的思维范式指导复杂城市治理模式的智慧化转型,是实现城市善治的重要途径。本文从智慧城市治理的技术基础入手,考察智慧治理的逻辑起点,以及智慧化的技术逻辑与城市治理的融合路径,进而探讨整体性、系统性、自组织性、协同性、精确性思维对于创新城市治理,建构适应复杂性要求的智慧治理模式的作用机理。     

可逆计算原理与实验进展

计算能耗高和散热问题使传统计算芯片的集成度和运算能力的提升遇到瓶颈.大规模量子计算探索的关键是比特的相干叠加性和可逆性.因此,可逆计算既作为一种可能从根本上解决计算耗能高和散热问题的方案,又作为一种兼容量子计算的方案,近年来在理论上和实验上得到了深入的研究.本文介绍了可逆计算的基本原理,总结了目前基于微机械、传统微电子和超导领域的可逆计算实验研究进展,分析了超导器件实现可逆计算的独特优势,并着重对其中两种器件的工作原理进行了论述.     

逻辑的计算进路——从莱布尼茨到图灵的逻辑发展

现代逻辑肇始于莱布尼茨,在布尔和弗雷格处发生了分流,形成了所谓的逻辑的代数传统和逻辑的语言传统,然而,无论是代数传统亦或者是语言传统都与莱布尼茨的逻辑学纲领(即:"作为科学、数学和哲学"的基础)相去甚远。在图灵机理论中,图灵核心阐述了"自动机"和"指令表语言"这两个概念,这两者很好地契合了莱布尼茨关于"理性演算"和"普遍语言"的构想,可以说,图灵机理论最为接近莱布尼茨的逻辑学纲领,也跳出代数传统和语言传统,另辟蹊径,形成了一种新的"作为计算的逻辑"传统(也可以称为"计算传统")。"作为计算的逻辑"实质上是一种"主体转向","以往的逻辑"是当仁不让地以人类为主体,研究的对象是人的思维、自然语言种种,"作为计算的逻辑"则是将计算机作为信息处理的主体,研究的是计算机的处理方式以及人与计算机的互动关系。     

基于模糊逻辑方法的多船会遇安全态势评估

为了提高水上交通安全,减少船舶碰撞风险,基于模糊逻辑理论提出一种多船会遇安全态势感知评估方法。首先,基于船舶自动识别系统数据判断船舶会遇等典型交通场景下船舶避让优先级;然后,利用船舶相对距离、航速、船速比(本船与他船的航速比值)和相对方位(本船与他船的航向比值)等因素建立模糊评价规则,利用模糊综合评价法量化会遇态势下船舶的碰撞危险程度;最后,基于给定的风险阈值给出船舶航行安全风险预警。基于AIS数据对上海洋山深水港水域附近的多船交叉会遇和多船对遇局面进行仿真实验,实验结果表明所提出的方法能有效评估不同交通态势下船舶安全风险程度,可为智能船舶智能航行决策和安全预警提供数据支撑。     

法治与德治的德摩根定律——一种走向共和的治理逻辑

国家治理体系和治理能力现代化必然坚持依法治国和以德治国相结合的命题,蕴含着法治与德治二者同质元素走向共和的治理逻辑判断。从命题的形式和实质逻辑来看,作为两种约束个体变元的法治与德治在现代化体内在关系的演算形式符合德摩根定律的合取否定式和析取否定式的数理推演逻辑,同时于此已然的形式逻辑清晰的描述判断条件外亦是有可确定的经验的普遍性知识的实质内涵支持:人的主体结构、群体的社会结构、国家的治理经验。因此,法治与德治相结合的治理模式存在着形式和内容的辩证统一,本质上是国家治理体系和治理能力现代化的必要条件,必然走向一种共和的治理逻辑。     

基于逻辑工作流网的有限无死锁组合

以逻辑工作流网作为描述过程模型的方法,提出了逻辑工作流网的有限组合,以状态转换图来描述工作流网的可达逻辑活动序列。根据死锁的充分条件,提出状态映射用以判断两个工作流网组合后出现的死锁。通过删除进入死锁的逻辑活动序列,提出标准伙伴状态转换图用以表述无死锁组合的活动序列。最后提出判断有限组合是否存在死锁的方法,并用一个简单的电子商务实例说明了方法的有效性。