检索结果-南通市图书馆

Apache Flink复杂事件处理语言的形式语义

在线全文

学校读者我要写书评

暂无评论

软件学报 2024年第10期35卷 4510-4532页

作者：傅宣登吴志林计算机科学国家重点实验室(中国科学院软件研究所) 中国科学院大学计算机科学与技术学院

Apache Flink是目前最流行的流式计算平台之一,已经在工业界得到了广泛应用.复杂事件处理是流式计算的一种重要使用场景, Apache Flink平台定义并实现了一种复杂事件处理语言(简称FlinkCEP). FlinkCEP语法特性丰富,不仅包括常见的过滤... 详细信息

Apache Flink是目前最流行的流式计算平台之一,已经在工业界得到了广泛应用.复杂事件处理是流式计算的一种重要使用场景, Apache Flink平台定义并实现了一种复杂事件处理语言(简称FlinkCEP). FlinkCEP语法特性丰富,不仅包括常见的过滤、连接、循环等操作,还包括迭代条件、匹配筛选策略等高级特性. FlinkCEP语义复杂,尚缺乏语言规范对其语义进行准确描述,只能通过实现细节来理解,因此对其语义进行形式描述对于开发人员准确理解其语义非常必要.针对FlinkCEP提出一种数据流转换器的自动机模型,该模型包括用于刻画迭代条件的数据变量、存储输出结果的数据流变量、用于刻画匹配筛选策略的迁移优先级等特性.使用数据流转换器对FlinkCEP的语义进行形式建模,并且根据形式语义设计FlinkCEP的查询求值算法,实现原型系统.进一步,生成能够较为全面覆盖FlinkCEP语法特性的测试用例集,利用这些测试用例与FlinkCEP在Flink平台上的实际运行结果进行对比实验.实验结果表明所提出的形式语义与FlinkCEP在Flink平台上的实际语义基本是一致的.而且,对实验结果不一致的情况进行分析,指出FlinkCEP在Flink平台上的实现对于组模式的处理可能存在错误.

关键词：流式计算 Flink 复杂事件处理形式语义数据流转换器查询求值

同方期刊数据库

模型的认识论探究——基于对知识生产过程和传播过程的区分

在线全文

学校读者我要写书评

暂无评论

自然辩证法通讯 2024年第10期 9-16页

作者：向盾南开大学哲学院

本文通过列维和莱希宁对虚构表征中“想象”概念的批判性反思，区分了模型发挥认知功能(生产知识)的过程和传播知识的过程，强调前者才是对模型认识论方面的考察，并在该视角下规范“科学表征”和“代用推理”等概念的使用场景。在此基... 详细信息

本文通过列维和莱希宁对虚构表征中“想象”概念的批判性反思，区分了模型发挥认知功能(生产知识)的过程和传播知识的过程，强调前者才是对模型认识论方面的考察，并在该视角下规范“科学表征”和“代用推理”等概念的使用场景。在此基础之上，本文反驳激进的器物主义观点，重申科学建模对方向性的要求，展现出直接表征的优越性。除此之外，本文通过梳理间接虚构表征、相似观和MISS说明，主张模型系统本身并没有在建模发挥认知价值的阶段扮演任何角色，这使得新视角下的科学表征对模型系统的存在提出了挑战，同时为直接表征提供了支持。

关键词：认识论代用推理直接表征模型描述

基于权利要求层级特征的专利相似度计算方法研究

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

数据分析与知识发现 2024年第2期8卷 33-43页

作者：向姝璇操玉杰毛进南京大学数据智能与交叉创新实验室南京210023 华中师范大学信息管理学院武汉430074 武汉大学信息管理学院武汉430072 武汉大学信息资源研究中心武汉430072

【目的】现有专利相似度计算方法对专利文本独有特征利用不足,并一定程度上忽视了专利内容与结构的特性,本文就上述问题提出一种新的专利相似度计算方法。【方法】通过权利要求层级特征生成技术组合句并进行信息核心度、信息丰富度的加... 详细信息

【目的】现有专利相似度计算方法对专利文本独有特征利用不足,并一定程度上忽视了专利内容与结构的特性,本文就上述问题提出一种新的专利相似度计算方法。【方法】通过权利要求层级特征生成技术组合句并进行信息核心度、信息丰富度的加权,兼顾技术内容范围与技术信息重点进行专利表示,在此基础上进行专利相似度计算。通过相关性指标与专利分类的对比实验证明方法的合理性。【结果】本文提出的方法较同类基准方法可以更充分地表达专利信息,更适用于专利相似度计算;技术组合句的重构对模型表现提升作用明显,在该基础上的信息核心度、信息丰富度的加权能进一步提高模型表现。【局限】仅在量子计算领域进行实验,技术领域是否会对方法表现造成影响仍待探究。【结论】权利要求树与技术组合句的信息组织形式能够提高专利文本的利用效率;基于专利权利要求层级特征的技术组合句与对应信息特征加权能够提升专利表示效果及其在相似度任务中的表现。

关键词：权利要求专利相似度权利要求层级

燃烧室百叶与双排孔冷气对透平端壁冷却性能影响研究

在线全文

学校读者我要写书评

暂无评论

西安交通大学学报 2024年第6期58卷 65-76页

作者：张垲垣栗智宇李志刚李军西安交通大学能源与动力工程学院西安710049

针对燃烧室与透平冷气掺混导致实际二次流发展及端壁冷却性能偏离设计值的问题,综合考虑燃烧室百叶冷气尾迹与双排孔射流,数值研究了多源冷气射流在燃烧室与透平交界区的掺混机制,分析了其对透平静叶端壁气膜冷却与流动特性的影响规律... 详细信息

针对燃烧室与透平冷气掺混导致实际二次流发展及端壁冷却性能偏离设计值的问题,综合考虑燃烧室百叶冷气尾迹与双排孔射流,数值研究了多源冷气射流在燃烧室与透平交界区的掺混机制,分析了其对透平静叶端壁气膜冷却与流动特性的影响规律。研究结果表明:空腔涡卷吸大部分百叶冷气,并跨越双排孔冷气向下游发展,马蹄涡卷吸限制大部分双排孔冷气,并向空腔涡外侧发展;当双排孔冷气吹风比M_h=0.5,1.0较小时,马蹄涡导致冷气形成楔形高冷效区域,空腔涡的附着侧和分离侧分别产生了高、低冷效区,随着百叶冷气吹风比M_l的增加,空腔涡强度显著降低,导致位于楔形中心的分离侧冷却效率有所提升;当双排孔冷气吹风比M_h为1.5时,双排孔冷气部分跨越马蹄涡,静叶端壁可实现完全冷气覆盖,此时百叶冷气吹风比M_l从0.5增加到1.5,静叶端壁平均冷却效率可从0.4提升到0.63。该研究为考虑燃烧室与透平交界区实际流动掺混情况的静叶端壁冷却结构与布局设计提供理论基础。

关键词：透平静叶端壁燃烧室百叶冷气双排孔射流气膜冷却

公共图书馆失智症群体服务项目研究——以澳大利亚纽卡斯尔图书馆“记忆空间”项目为例

在线全文

学校读者我要写书评

暂无评论

图书馆学研究 2024年第9期 97-104页

作者：房宣伊华中师范大学信息管理学院

澳大利亚纽卡斯尔图书馆“记忆空间”项目的活动模式成熟、目标用户明确且成效显著，对其调研可为我国公共图书馆失智症群体服务提供借鉴。重点应用网络调查法、案例分析法和文献调研法，探究“记忆空间”项目的背景与目标、服务内容、... 详细信息

澳大利亚纽卡斯尔图书馆“记忆空间”项目的活动模式成熟、目标用户明确且成效显著，对其调研可为我国公共图书馆失智症群体服务提供借鉴。重点应用网络调查法、案例分析法和文献调研法，探究“记忆空间”项目的背景与目标、服务内容、宣传推广、服务保障。从项目特点与问题两方面总结实践经验，并探讨对我国的启示：优化服务制度，落实主体责任；关注重点人群，突出特色服务；建立常态合作，实现优势互补；健全评估体系，推动迭代升级。

关键词：公共图书馆失智症记忆空间澳大利亚纽卡斯尔图书馆

习近平总书记关于解决大党独有难题的重要论述探析

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

马克思主义研究 2024年 86-99页

作者：唐棣宣西南大学马克思主义学院西南大学马克思主义理论研究中心、国家革命文物协同研究中心

党的十八大以来,以习近平同志为核心的党中央,坚持以马克思主义建党学说指导全面从严治党的伟大实践,逐渐形成了习近平总书记关于解决大党独有难题的重要论述。习近平总书记关于解决大党独有难题重要论述的出场具有深刻的理论逻辑、历... 详细信息

党的十八大以来,以习近平同志为核心的党中央,坚持以马克思主义建党学说指导全面从严治党的伟大实践,逐渐形成了习近平总书记关于解决大党独有难题的重要论述。习近平总书记关于解决大党独有难题重要论述的出场具有深刻的理论逻辑、历史逻辑和现实逻辑。其丰富内涵和核心要义,科学地回答了大党独有难题的表现形态和形成原因,系统阐述了解决大党独有难题的重大意义和实践路径。习近平总书记关于解决大党独有难题的重要论述,以原创性贡献丰富和发展了马克思主义建党学说,对巩固党的长期执政地位、维护国家的长治久安具有重要的现实指导意义,为世界上长期执政的大党老党跳出治乱兴衰历史周期率贡献了中国方案。

关键词：大党独有难题党的自我革命全面从严治党

“家”还是“国家”:西周春秋君臣秩序的演变--基于称名方式的考察

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

北京师范大学学报（社会科学版） 2024年第4期 106-117页

作者：宣柳哥伦比亚大学东亚语言和文化系纽约10027

从称名方式的角度观察,周代君臣秩序存在变化,并非完全等同于家族秩序。西周时期,王命称名方式以私名和官名为主,此时君臣秩序在一定程度上超越了家族秩序。春秋时期,王命多见亲属称谓,君臣秩序中“家”的因素大大加强。这一变化的动力... 详细信息

从称名方式的角度观察,周代君臣秩序存在变化,并非完全等同于家族秩序。西周时期,王命称名方式以私名和官名为主,此时君臣秩序在一定程度上超越了家族秩序。春秋时期,王命多见亲属称谓,君臣秩序中“家”的因素大大加强。这一变化的动力在于权力下降的周王室面对新的政治环境,借用亲属关系加强其与地方诸侯国的联系,凝聚周人共同体和区分华夏、戎狄。将血缘视作一种“策略”,为进一步深化先秦家族组织研究提供了一条新途径。

关键词：称名方式君臣秩序血缘政治

固溶与时效热处理对7B50铝合金组织和性能的影响

在线全文

学校读者我要写书评

暂无评论

固溶与时效热处理对7B50铝合金组织和性能的影响

作者：龙垣壹重庆理工大学

学位级别：硕士

7B50铝合金多以厚板形式加工形成飞机的关键结构件。作为可热处理强化型合金,固溶、时效技术的创新是提高其综合性能的关键手段之一。因此,本文针对7B50铝合金开展了固溶、时效热处理技术的研究,以期获得热处理制度与其力学性能、抗腐... 详细信息

7B50铝合金多以厚板形式加工形成飞机的关键结构件。作为可热处理强化型合金,固溶、时效技术的创新是提高其综合性能的关键手段之一。因此,本文针对7B50铝合金开展了固溶、时效热处理技术的研究,以期获得热处理制度与其力学性能、抗腐蚀性能的关系,为7B50铝合金的综合性能提升提供实验依据和理论指导。主要结论如下:（1）经过单级固溶+峰值时效处理后,在440-490℃温度范围内,随着固溶温度的升高,7B50铝合金中第二相逐渐减少;同时,合金的硬度、强度和断后延伸率先升高后降低,经过480℃/1h+120℃/24h处理后的试样力学性能最优,其硬度、抗拉强度、屈服强度和断后延伸率分别为196.2,577.6MPa、541.1MPa和6.5%。（2）经过单级固溶+峰值时效处理后,在440-490℃温度范围内,固溶温度的逐步升高导致7B50铝合金的耐蚀性能先提升后降低。经过480℃/1h+120℃/24h处理后,合金的综合耐蚀性能达到最佳,其自腐蚀电位最正,晶间腐蚀的最大腐蚀深度为45.580μm,腐蚀等级为3级;剥落腐蚀的腐蚀前后质量差为4.4×10g,腐蚀等级为EB。（3）经过固溶-预析出-再固溶+峰值时效处理后,7B50铝合金的硬度总体提升,表层强度高于1/4层和1/2层。随着再固溶时间的增加,合金的强度先增加后降低。在处理参数为480℃/1h+455℃/15min+480℃/30min+120℃/24h时,在本实验参数的范围内,合金的综合力学性能达到最佳,其硬度、抗拉强度、屈服强度和断后延伸率分别为:表层188.5、609.7MPa、565.87MPa和5.3%;1/4层186.2、683.5MPa、637.13MPa和5.9%;1/2层186.6、556.3MPa、509.45MPa和5.1%。与经过480℃/1h+120℃/24h处理后的试样相比较,硬度降低,抗拉强度提升,屈服强度增大,断后延伸率下降。（4）微观组织观察发现,经过480℃/1h+120℃/24h处理后的试样小角度晶界为38.6%,大角度为5.5%;经过480℃/1h+455℃/15min+480℃/30min+120℃/24h处理后的试样的小角度晶界为33.9%,大角度为4.8%。同时,经过480℃/1h+455℃/15min+480℃/30min+120℃/24h处理后的试样第二相较少。经过固溶-预析出-再固溶+峰值时效处理后,7B50铝合金中的晶界大部分为小角度晶界,且随着再固溶时间的增加,大角度晶界比例先降低再增加。（5）腐蚀试验结果表明,对于经过固溶-预析出-再固溶+峰值时效处理后的7B50铝合金,在预析出时间为15 min时,热处理后的合金拥有较好的耐蚀性能,且随着再固溶时间增加,合金耐蚀性先增强后降低。在本实验条件下,再固溶时间为30 min时,合金的耐腐蚀性能最好,其晶间腐蚀最大深度为29μm,晶间腐蚀等级为2级;剥落腐蚀前后质量差为2.3×10g,剥落腐蚀等级为EB。与经过480℃/1h+120℃/24h处理后的试样相比,合金的抗晶间腐蚀性由3级提升到了2级;抗剥落腐蚀由EB提升到了EB。（6）综合比较,在本试验条件下,7B50铝合金获得最优综合性能的热处理工艺为固溶-预析出-再固溶+T6时效,具体参数为:480℃/1h+455℃/15min+480℃/30min+120℃/24h。

关键词： 7B50铝合金热处理工艺力学性能微观组织腐蚀性能

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

论思想政治教育技术化生存

思想理论教育 2024年第8期 67-72页

作者：轩宣武汉大学马克思主义学院湖北武汉430072

随着信息技术的发展,思想政治教育营造了自身的技术场景并进行持续的技术转向,因而技术化生存是思想政治教育发展到一定阶段的必然选择。基于“历时—共时”的分析向度,思想政治教育技术化生存呈现为阶梯式技术进化和嵌套式技术群聚两... 详细信息

随着信息技术的发展,思想政治教育营造了自身的技术场景并进行持续的技术转向,因而技术化生存是思想政治教育发展到一定阶段的必然选择。基于“历时—共时”的分析向度,思想政治教育技术化生存呈现为阶梯式技术进化和嵌套式技术群聚两种样态。技术与思想政治教育之间存在“无涉”与“负载”的矛盾性挑战、“离场”与“在场”的悖离性挑战、“传统”与“现代”的对立性挑战、“风险”与“责任”的冲突性挑战,使思想政治教育技术化生存面临各种新情况。为确保思想政治教育在技术快速迭代背景下始终成为实效性的存在,必须构筑研究合力、推动责任创新、完善行动框架。

关键词：思想政治教育技术化生存信息技术