检索结果-南通市图书馆

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

在线全文

学校读者我要写书评

暂无评论

单分支线性约束循环程序的终止性分析

软件学报 2024年第3期35卷 1307-1320页

作者：李轶唐桐中国科学院重庆绿色智能技术研究院自动推理与认知中心重庆400714 中国科学院大学北京100049

秩函数法是循环终止性分析的主要方法,秩函数的存在表明了循环程序是可终止的.针对单分支线性约束循环程序,提出一种方法对此类循环的终止性进行分析.基于增函数法向空间的计算,该方法将原程序空间上的秩函数计算问题归结为其子空间上... 详细信息

秩函数法是循环终止性分析的主要方法,秩函数的存在表明了循环程序是可终止的.针对单分支线性约束循环程序,提出一种方法对此类循环的终止性进行分析.基于增函数法向空间的计算,该方法将原程序空间上的秩函数计算问题归结为其子空间上的秩函数计算问题.实验结果表明,该方法能有效验证现有文献中大部分循环程序的终止性.

关键词：循环程序线性秩函数增函数终止性多阶段秩函数

在线全文

学校读者我要写书评

暂无评论

主动学习视阈下英语阅读课堂中的意义建构

中小学外语教学 2024年第1期47卷 53-59页

作者：印佳欢浙江省杭州第四中学下沙校区

建构主义理论基础和主动学习理论体现了高度关联和共性,强调学习者对知识意义的主动建构。教师要根据建构主义的教学隐喻改进课堂教学,尊重学生真实的阅读生成过程,发展学生建构知识和意义的能力。本文在主动学习的视阅下结合教学实践... 详细信息

建构主义理论基础和主动学习理论体现了高度关联和共性,强调学习者对知识意义的主动建构。教师要根据建构主义的教学隐喻改进课堂教学,尊重学生真实的阅读生成过程,发展学生建构知识和意义的能力。本文在主动学习的视阅下结合教学实践从主体参与、认知策略、过程体验和角色意识等方面探讨了阅读课堂中意义建构的教学策略。

关键词：主动学习阅读教学意义建构

在线全文

学校读者我要写书评

暂无评论

基于扩展目标的强杂波信息约减因子法研究

控制与决策 2024年

作者：薛琛衍汪玲莫修辞南京航空航天大学雷达成像与微波光子技术教育部重点实验室中国航空工业集团公司雷华电子技术研究所

数智化时代下,日益复杂的电磁对抗态势不断促使着探测环境中杂波密度的上升,雷达分辨率的增强也已将目标量测的类型从点目标转变为扩展目标,二者在用于描述杂波的信息约减因子(Information Reduction Factor, IRF)法中均已成为了重要的... 详细信息

数智化时代下,日益复杂的电磁对抗态势不断促使着探测环境中杂波密度的上升,雷达分辨率的增强也已将目标量测的类型从点目标转变为扩展目标,二者在用于描述杂波的信息约减因子(Information Reduction Factor, IRF)法中均已成为了重要的影响因素.针对这一现象,提出了一种基于扩展目标的强杂波IRF法,并与传统的IRF法进行对比.实验结果表明,点目标量测类型下的强杂波信息约减因子(Strong Clutter IRF, SCIRF)因量级过小而致使其包含的信息过少、性能欠佳;扩展目标量测类型下的SCIRF则拥有与点目标量测类型下理想或弱杂波环境IRF之相同的量级,具备同样的性能.最后,结合全局IRF等指标从理论上分析了扩展目标量测类型能够改善点目标量测类型下SCIRF性能不佳的根本原因,并给予了其合理解释.

关键词：强杂波点目标扩展目标信息约减因子

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

欧氏空间中的一类逆平均曲率流

数学学报(中文版) 2024年第4期67卷 641-651页

作者：龚阿欢武汉大学数学与统计学院

本文研究了欧氏空间中的一类逆平均曲率流.当初始超曲面为闭的、平均凸的星形超曲面时,经过伸缩变换后,沿着该曲率流最终收敛到欧氏空间中的圆球面.

关键词：逆曲率流收敛性一致抛物

美美与共交融认同——“中华民族共同体认同与各民族音乐交融共生研究”学术论坛综述

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

人民音乐 2024年第3期 71-75页

作者：白佳欢中央民族大学音乐学院

自1902年梁启超首次提出“中华民族”概念始,各民族开启了荣辱与共、休戚与共的民族命运共同体历程,最终形成了中华民族多元一体的共识。在中华文明历史发展中,各民族间不断地交流交往交融,为中华民族共同体的形成奠定了历史基础,提供... 详细信息

自1902年梁启超首次提出“中华民族”概念始,各民族开启了荣辱与共、休戚与共的民族命运共同体历程,最终形成了中华民族多元一体的共识。在中华文明历史发展中,各民族间不断地交流交往交融,为中华民族共同体的形成奠定了历史基础,提供了发展经验,注入了不竭动力。

关键词：命运共同体美美与共中华民族共同体民族音乐荣辱与共交融共生中华民族多元一体论坛综述

在线全文

学校读者我要写书评

暂无评论

周期驱动拉曼晶格系统中的动力学拓扑现象

物理学报 2024年

作者：蔡德欢屈苏平合肥国家实验室中国科学院量子信息与量子科技创新研究院蚌埠学院

基于目前超冷原子系统中模拟能带拓扑和动力学量子相变的有关实验进展,我们设计出一个时间周期驱动的一维拉曼晶格系统来模拟动力学拓扑现象.利用振幅周期调制的拉曼光束耦合类碱土171Yb原子的{1S0,3P1}能级可以实现所需要的周期驱动拉... 详细信息

基于目前超冷原子系统中模拟能带拓扑和动力学量子相变的有关实验进展,我们设计出一个时间周期驱动的一维拉曼晶格系统来模拟动力学拓扑现象.利用振幅周期调制的拉曼光束耦合类碱土171Yb原子的{1S0,3P1}能级可以实现所需要的周期驱动拉曼晶格系统.时间周期系统的单带紧束缚近似哈密顿量通过特定变换可以解析求得有效Floquet哈密顿量和微动算符（micromotion operator）,从而可以在一维晶格系统中研究任意驱动频率下Floquet动力学量子相变和动力学斯格明子结构出现的条件.结果表明,拓扑非平庸的有效Floquet哈密顿量是系统出现Floquet动力学量子相变的充分不必要条件,并且可以保护Floquet微动过程中的动力学斯格明子结构.

关键词：拓扑相动力学量子相变超冷原子拉曼晶格

基于共定位相位成像的白细胞亚结构特征参数研究

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

中国激光 2024年第3期51卷 76-84页

作者：查宝飞王祉涵苏衍峰刘辰中国计量大学光学与电子科技学院浙江杭州310018

白细胞分类在血液分析、临床疾病的诊断和治疗中具有重要意义。人工镜检作为血细胞分析的金标准,耗时较长且高度依赖检测人员的经验。定量相位成像可测量细胞各处的相位分布,是研究细胞形态学和生物化学特征的有效方法。利用基于数字全... 详细信息

白细胞分类在血液分析、临床疾病的诊断和治疗中具有重要意义。人工镜检作为血细胞分析的金标准,耗时较长且高度依赖检测人员的经验。定量相位成像可测量细胞各处的相位分布,是研究细胞形态学和生物化学特征的有效方法。利用基于数字全息显微和明场显微成像的共定位相位成像系统对健康人外周血涂片中的5种白细胞进行研究,定量分析了不同白细胞及其亚结构中的相位分布情况,提取出多个有效辅助白细胞分类的特征参数,并进一步分析了镜检中容易混淆的异型淋巴细胞。结果表明,利用提取的细胞亚结构特征参数可对白细胞进行有效分类,也能较好区分异型淋巴细胞。因此,基于共定位相位成像的细胞亚结构特征参数可为白细胞分类、各类血液疾病的诊断和治疗提供依据和参考,且此种方法无须再对常用的染色样品进行特殊处理,应用场景众多。

关键词：生物光学定量相位成像数字全息白细胞亚结构相位分布特征

在线全文

学校读者我要写书评

暂无评论

数据非依赖采集张量质谱数据计算平台的开发

质谱学报 2024年第3期45卷 412-421,I0005页

作者：周海洋刘朋欢金尚忠中国计量大学光学与电子科技学院浙江杭州310000

数据非依赖采集张量(data independent acquisition tensor,DIAT)是一种质谱数据格式,用于处理和分析数据非依赖采集方法获得的蛋白质组学数据。与传统方法相比,DIAT技术具有便捷的数据可视化处理和高效的深度学习模型训练等优势。但由... 详细信息

数据非依赖采集张量(data independent acquisition tensor,DIAT)是一种质谱数据格式,用于处理和分析数据非依赖采集方法获得的蛋白质组学数据。与传统方法相比,DIAT技术具有便捷的数据可视化处理和高效的深度学习模型训练等优势。但由于目前缺乏支持DIAT格式数据的软件平台,限制了其应用。为解决这一问题,本文基于PyQt框架设计了一款用于处理和分析DIAT数据的软件,涵盖了与DIAT技术相关的所有功能,使用户能够轻松地利用DIAT数据进行复杂分析,降低了使用门槛,为数据非依赖采集(DIA)质谱数据分析注入了活力。

关键词：质谱数据非依赖采集(DIA) 图形化用户交互界面(GUI) 深度学习视觉变换网络

数字经济反垄断中消费者福利标准的反思与适用

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

在线全文

学校读者我要写书评

暂无评论

中国流通经济 2024年第2期38卷 83-92页

作者：朱公欢武汉大学法学院湖北武汉430072

数字经济背景下消费者福利损害范围的规模性和不特定性、损害方式的个性化、损害结果的难以计量性要求反垄断法介入保护,数字经济非价格因素和动态竞争的特征使得传统消费者福利标准适用失灵,而实践中消费者福利标准往往会成为案件分析... 详细信息

数字经济背景下消费者福利损害范围的规模性和不特定性、损害方式的个性化、损害结果的难以计量性要求反垄断法介入保护,数字经济非价格因素和动态竞争的特征使得传统消费者福利标准适用失灵,而实践中消费者福利标准往往会成为案件分析中的修饰性表达,导致反垄断法规范目标偏移。数字经济高度集中化的趋势,要求消费者福利保护由重视经济效率向重视市场结构和竞争过程转变,反垄断法作为行为规制法对消费者福利进行保护,防止消费者福利庸俗化。为避免科技巨头经济垄断权力蔓延至政治中心,新布兰代斯学派反对以消费者福利作为唯一诉求,主张通过反垄断法分析范式转型保障消费者选择权,实现经济民主和反垄断法多元目标。消费者福利保护是反垄断法的间接目标,应被作为判断竞争损害的参考要素。对于数字经济反垄断中消费者选择权损害的分析,应遵循合理原则,综合权衡经营者行为的竞争损害效果和消费者福利增进效果。同时,从实体标准和程序制度层面细化和完善消费者福利标准在垄断协议、滥用市场支配地位和经营者集中行为规制中的具体适用。

关键词：数字经济反垄断消费者福利标准行为规制法选择权