检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

浅析舞蹈表演中动作与情感的关系

尚舞 2024年第3期 93-95页

作者：傅思怡北京师范大学艺术与传媒学院

大众普遍认识的舞蹈是一种表演艺术,通过使用身体来完成各种优雅或高难度的动作,然而,经过深入了解就会发现,舞蹈不仅仅是肢体语言,还能够通过肢体动作传达舞蹈所蕴含的情绪和情感,使观众产生情感共鸣。这是舞蹈表演的核心所在,“以情带... 详细信息

大众普遍认识的舞蹈是一种表演艺术,通过使用身体来完成各种优雅或高难度的动作,然而,经过深入了解就会发现,舞蹈不仅仅是肢体语言,还能够通过肢体动作传达舞蹈所蕴含的情绪和情感,使观众产生情感共鸣。这是舞蹈表演的核心所在,“以情带舞,以舞传情”,舞蹈情感需要借助肢体动作来传递。情感赋予舞蹈灵魂,脱离了情感的舞蹈动作僵硬无趣;同时,情感缺乏动作的承载,就失去了表达的根基。动作作为情感的载体,二者相辅相成,只有实现外在身体和内在心灵的高度融合,才能展现舞蹈的灵魂。

关键词：肢体动作情感舞蹈表演

“五位一体”总体布局下陕西省城市宜居性评价及关键驱动力研究

同方期刊数据库博看期刊评论

在线全文

学校读者我要写书评

暂无评论

北京大学学报（自然科学版） 2024年第2期60卷 365-376页

作者：樊艳翔雷社平西北工业大学公共政策与管理学院西安710072

以陕西省为例,基于“五位一体”总体布局,使用熵权TOPSIS法对10个地级市的城市宜居性进行评价与分析,并运用主成分析法对区域内城市宜居性提升的关键驱动力进行研究。结果表明,陕西省西安市的城市宜居性较高,且与其他城市存在较大的差异... 详细信息

以陕西省为例,基于“五位一体”总体布局,使用熵权TOPSIS法对10个地级市的城市宜居性进行评价与分析,并运用主成分析法对区域内城市宜居性提升的关键驱动力进行研究。结果表明,陕西省西安市的城市宜居性较高,且与其他城市存在较大的差异,但总体上各城市宜居性仍有较大的提升空间;商洛、安康和铜川的城市宜居性一直处于较低水平。陕西省城市宜居性提升的驱动力在不同时段存在一定的差异。2011—2015年的关键驱动力为政治、经济和社会因素,关键驱动因子为公共服务水平、经济发展水平、基层政治服务水平、资源供给水平和产业结构优化水平。2016—2020年的关键驱动力转变为经济、文化、社会和生态文明因素,关键驱动因子为通信文化交流环境、公共服务水平、水土流失治理水平、共同富裕水平、污水治理效率和对外开放水平。公共服务水平驱动因子在两个不同的时期对城市宜居性的提升均发挥着重要的促进作用。

关键词：陕西省城市宜居性提升驱动力熵权TOPSIS法主成分分析法

在线全文

学校读者我要写书评

暂无评论

基于交互式定理证明的并发程序验证工作综述

软件学报 2024年第9期35卷 4069-4099页

作者：王中烨吴姝姝曹钦翔上海交通大学电子信息与电气工程学院

并发程序与并发系统可以拥有非常高的执行效率和相对串行系统较快的响应速度,在现实中有着非常广泛的应用.但是并发程序与并发系统往往难以保证其实现的正确性,实际应用程序运行中的错误会带来严重的后果.同时,并发程序执行时的不确定... 详细信息

并发程序与并发系统可以拥有非常高的执行效率和相对串行系统较快的响应速度,在现实中有着非常广泛的应用.但是并发程序与并发系统往往难以保证其实现的正确性,实际应用程序运行中的错误会带来严重的后果.同时,并发程序执行时的不确定性会给其正确性验证带来巨大的困难.在形式化验证方法中,人们可以通过交互式定理证明器严格地对并发程序进行验证.对在交互式定理证明中可用于描述并发程序正确性的验证目标进行总结,它们包括霍尔三元组、可线性化、上下文精化和逻辑原子性.交互式定理证明方法中常用程序逻辑对程序进行验证,分析基于并发分离逻辑、依赖保证逻辑、关系霍尔逻辑等理论研究的系列成果与相应形式化方案,并对使用这些方法的程序验证工具和程序验证成果进行总结.

关键词：并发程序验证可线性化上下文精化程序逻辑关系霍尔逻辑

同方期刊数据库

网红城市何以长红?影响城市品牌可持续性的因素——基于26个案例的模糊集定性比较分析

在线全文

学校读者我要写书评

暂无评论

城市发展研究 2024年第6期031卷 38-46页

作者：严小翔李济翔澳门大学社会科学学院

网络走红为城市的发展带来了机遇与挑战。网红城市如何实现长红?为回答此问题，运用模糊集定性比较分析方法，基于城市品牌理论构建了“情景—策略”分析框架，对影响城市品牌可持续性的因素进行分析。研究发现，当地方政府领导重视不... 详细信息

网络走红为城市的发展带来了机遇与挑战。网红城市如何实现长红?为回答此问题，运用模糊集定性比较分析方法，基于城市品牌理论构建了“情景—策略”分析框架，对影响城市品牌可持续性的因素进行分析。研究发现，当地方政府领导重视不足时，如果地方政府能采用城市品牌营销并改善城市营商环境，那么规模较小的城市能够保持长红。当地方政府领导高度重视时，如果地方政府采用城市品牌营销并呼吁市民进行共同生产，那么城市规模较大的网红城市也能实现长红。研究结论有助于理解网红城市成为长红城市的多因素组合路径，同时也启示了地方政府应做好城市品牌战略规划、改善营商环境并鼓励市民参与共同生产。

关键词：网红城市城市品牌可持续性定性比较分析

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

略论新时代党员权利的正确行使

郑州轻工业大学学报(社会科学版) 2024年

作者：傅思明王逍静中共中央党校(国家行政学院)政治与法律教研部

党的二十大强调“保障党员权利，激励党员发挥先锋模范作用”，这是对党员权利保障工作提出的时代要求。党员是党的肌体细胞，党的生机活力源于党员正确行使党内权利。新修改的《党员权利保障条例》，从三个方面保障党员权利的正确行使... 详细信息

党的二十大强调“保障党员权利，激励党员发挥先锋模范作用”，这是对党员权利保障工作提出的时代要求。党员是党的肌体细胞，党的生机活力源于党员正确行使党内权利。新修改的《党员权利保障条例》，从三个方面保障党员权利的正确行使。正确理解权利的内涵是保证党员正确行使权利的基础，党员不仅要理解各项权利的具体内容，还要掌握各项权利的具体行使方式。民主集中制是我们党的根本组织原则，党员必须正确认识党员义务与党员权利的辩证关系，坚持党性原则，坚持义务在先。严明边界是保证党员正确行使权利的前提，党员必须遵守党的纪律，在宪法和法律范围内行使各项权利。

关键词：党员权利党内民主党员义务权利保障

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

超致密矮星系的潮汐剥离演化序列

科学通报 2024年第4期69卷 473-475页

作者：王凯翔刘成则北京大学物理学院天文学系北京100871 北京大学科维理天文与天体物理研究所北京100871 上海交通大学物理与天文学院天文学系上海200240 上海交通大学李政道研究所上海200240

长期以来,星系(galaxy)和星团(star cluster)被认为是截然不同的两类天体.星系在暗物质晕中诞生成长,有较为复杂的恒星形成历史,是由大量恒星、气体、尘埃和暗物质等物质组成的天体系统,往往有着庞大的结构.星系的形态也多种多样,包括... 详细信息

长期以来,星系(galaxy)和星团(star cluster)被认为是截然不同的两类天体.星系在暗物质晕中诞生成长,有较为复杂的恒星形成历史,是由大量恒星、气体、尘埃和暗物质等物质组成的天体系统,往往有着庞大的结构.星系的形态也多种多样,包括椭圆星系、旋涡星系、不规则星系等.多个星系通常以星系群和星系团的形式存在,形成宇宙中大尺度结构的同时,也互相影响着各自的演化轨迹.

关键词：大尺度结构旋涡星系不规则星系椭圆星系恒星形成星系群星系团暗物质

基于NSGA II的智慧交通信号优化控制研究

在线全文

学校读者我要写书评

暂无评论

河北软件职业技术学院学报 2024年第2期26卷 1-4页

作者：傅思萍泉州经贸职业技术学院信息技术系福建泉州362000

随着城市私家车的日益增多,交通拥堵等问题也越来越严重。交叉路口交通信号配时直接影响道路通行效率,而定时或多时段控制交通信号,无法及时根据车、人流量优化控制交通信号。以城市单交叉路口三车道为基础,来探讨基于NSGA II的智慧交... 详细信息

随着城市私家车的日益增多,交通拥堵等问题也越来越严重。交叉路口交通信号配时直接影响道路通行效率,而定时或多时段控制交通信号,无法及时根据车、人流量优化控制交通信号。以城市单交叉路口三车道为基础,来探讨基于NSGA II的智慧交通信号优化方案,以车辆延误、排序长度和行人延误三个目标优化交通信号配时方案。通过实验分析NSGA II和GA算法表明,NSGA II在多目标交通信号中配时更智慧,能取得更优交通效益。

关键词：智慧交通信号遗传算法多目标优化精英保留策略快速非支配排序

面向抓取检测的位姿估计数据集自动采集标注系统

在线全文

学校读者我要写书评

暂无评论

工程科学学报 2024年第8期46卷 1458-1468页

作者：陈鹏白勇孙翰翔河北工业大学人工智能与数据科学学院天津300401

机器人抓取在物流分拣、自动装配和医疗手术等领域中具有广泛的应用.抓取检测是机器人抓取中的重要步骤之一,随着三维传感器的成本逐渐降低,抓取检测任务中越来越多地使用深度相机采集彩色图像和深度图像对(RGB-D),并采用基于位姿估计... 详细信息

机器人抓取在物流分拣、自动装配和医疗手术等领域中具有广泛的应用.抓取检测是机器人抓取中的重要步骤之一,随着三维传感器的成本逐渐降低,抓取检测任务中越来越多地使用深度相机采集彩色图像和深度图像对(RGB-D),并采用基于位姿估计的方法实现机器人抓取.然而,目前已经公开的基于RGB-D图像的位姿估计数据集,大多需要借助价格昂贵的三维激光扫描仪获得目标物体的三维模型,而且标注过程依赖人工操作,费时费力,不利于大规模数据集的制作.为此,本文设计并实现了一个面向位姿估计的数据集自动采集标注系统.该系统无需使用三维激光扫描仪,只通过采集、分析由深度相机获得的RGB-D图像序列即可重建出目标物体的三维模型,并自动标注目标物体的位姿信息,生成二维图像中的分割掩码.实验中,使用该系统制作了包含84个物体、8400张RGB-D图像的位姿估计数据集,并将自动标注数据与手动标注数据进行了对比,发现两者分割掩码重合率可以达到98%,并且自动标注的位姿信息能够使模型点云与场景点云的对齐率达到100%,充分说明了所提系统自动标注结果的准确性与可靠性.

关键词：抓取检测自动标注三维重建位姿估计分割掩码

滇中城市群工业用地扩张与经济增长互动特征时空格局演化及交互响应关系

在线全文

学校读者我要写书评

暂无评论

干旱区资源与环境 2024年第10期 10-21页

作者：樊艳翔贺灿飞北京大学城市与环境学院西南联合研究生院北京大学-林肯研究院城市发展与土地政策研究中心

工业用地扩张与经济增长的良性互动关乎地区高质量发展命脉，对推动地区经济、社会、资源与环境协调发展具有重要意义。基于此，以滇中城市群为例，使用2000-2022年县域面板数据，整合脱钩模型、耦合协调模型、PVAR模型深入探讨了其工... 详细信息

工业用地扩张与经济增长的良性互动关乎地区高质量发展命脉，对推动地区经济、社会、资源与环境协调发展具有重要意义。基于此，以滇中城市群为例，使用2000-2022年县域面板数据，整合脱钩模型、耦合协调模型、PVAR模型深入探讨了其工业用地扩张与经济增长的互动特征及交互响应关系。研究表明：1)研究期内，滇中城市群工业用地扩张与经济增长发展模式以低效扩张型为主，占比为60.85%,其次是集约扩张型，占比为25.14%,两者合计为86%,但仍然有12.24%的为粗放扩张型，而衰退收缩型发展模式占比不高。2)耦合协调水平整体呈现波动上升的演变趋势，绝大多数地区均向更高水平的耦合协调发展状态跃进，但研究期内仅有五华区、罗平县、楚雄市、弥勒市、禄丰县耦合协调度大于0.5,区域间发展不平衡，上升空间大。3)工业用地扩张与经济增长存在长期均衡关系，短期内工业用地扩张受经济增长的正向影响较为明显，但工业用地扩张冲击对经济增长影响效果不理想，二者之间的良性互动程度较低。

关键词：滇中城市群工业用地扩张经济增长耦合协调度模型 PVAR模型