检索结果-南通市图书馆

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

嵌入式系统的需求描述综述

软件学报 2025年第1期36卷 27-46页

作者：陈小红刘少彬金芝上海市高可信计算重点实验室(华东师范大学) 高可信软件技术教育部重点实验室(北京大学) 北京大学计算机学院

随着嵌入式系统的广泛应用,其需求正变得越来越复杂,需求分析成为嵌入式系统开发的关键阶段,如何准确地建模和描述需求成为首要问题.系统地调研嵌入式系统的需求描述,并进行全面的比较分析,以便更深入地理解嵌入式系统需求的核心关注点... 详细信息

随着嵌入式系统的广泛应用,其需求正变得越来越复杂,需求分析成为嵌入式系统开发的关键阶段,如何准确地建模和描述需求成为首要问题.系统地调研嵌入式系统的需求描述,并进行全面的比较分析,以便更深入地理解嵌入式系统需求的核心关注点.首先采用系统化文献综述方法,对1979年1月–2023年11月间发表的相关文献进行识别、筛选、汇总和分析.通过自动检索和滚雪球等检索过程,筛选出150篇与主题密切相关的文献,力求文献综述的全面性.其次,从需求描述关注点、需求描述维度、需求分析要素等方面,分析现有嵌入式需求描述语言的表达能力.最后,总结现有嵌入式系统软件需求描述所面临的挑战,并针对嵌入式软件智能合成任务,提出对嵌入式系统需求描述方法表达能力的要求.

关键词：嵌入式系统需求描述需求描述语言需求分析系统需求

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

延迟震荡杨表的计数

中国科学:数学 2025年第01期 39-48页

作者：杜若霞颜华菲华东师范大学数学科学学院数学与工程应用教育部重点实验室 Department of Mathematics Texas A&M University

延迟震荡杨表是满足特定条件的整数分拆序列.这一概念源于分拆代数的表示论以及组合数学中关于匹配与集合划分中交叉数与嵌套数的研究.本文研究起始于水平形状（n）、终止于任意形状λ的延迟震荡杨表.本文构造满足上述条件的长度为2k的... 详细信息

延迟震荡杨表是满足特定条件的整数分拆序列.这一概念源于分拆代数的表示论以及组合数学中关于匹配与集合划分中交叉数与嵌套数的研究.本文研究起始于水平形状（n）、终止于任意形状λ的延迟震荡杨表.本文构造满足上述条件的长度为2k的延迟震荡杨表与所有有序对（B,T）之间的双射,其中,B是集合{0~n,1,2,...,k}的一个有限制的标记划分,T是由B中有标记分块的最大元构成的半标准杨表.通过分析B的结构,本文得到了用第二类Stirling数表示的延迟震荡杨表的计数的显式表达式.另外本文还研究极限型延迟震荡杨表以及一类特殊的起伏杨表并得到相应结论.

关键词：延迟震荡杨表集合划分半标准杨表第二类Stirling数

同方期刊数据库

在线全文

学校读者我要写书评

暂无评论

发展学生思维打造数字化教学课堂

小学科学 2025年第1期 25-27页

作者：金敬华东师范大学宝山实验学校上海

在现代教育研究中,发展学生的思维能力已经成为教育改革的首要目标。针对小学科学课程的交互性、实践性特点,教师应该在课程活动开发环节落实学生思维能力发展目标,提升学生的综合学习水平。为发展学生科学思维,打造小学科学数字化教学... 详细信息

在现代教育研究中,发展学生的思维能力已经成为教育改革的首要目标。针对小学科学课程的交互性、实践性特点,教师应该在课程活动开发环节落实学生思维能力发展目标,提升学生的综合学习水平。为发展学生科学思维,打造小学科学数字化教学课堂,教师可以在发掘教学资源、创新教学任务的同时,驱动小学生展开自主学习,整合学科知识点。本文从学生科学思维培养要求入手,思考构建小学科学数字化教学方案的有效策略。

关键词：小学科学科学思维数字化教学

在线全文

学校读者我要写书评

暂无评论

HTAP评测基准的评测能力综述

软件学报 2025年第1期36卷 424-445页

作者：翁思扬俞融王清帅胡梓锐倪葎张蓉周烜周傲英徐泉清杨传辉刘维杨攀飞华东师范大学数据科学与工程学院蚂蚁集团OceanBase 工业和信息化部电子第五研究所

对数据库系统即时修改数据的高效实时分析需求推动了数据库系统向同时支持OLTP业务和OLAP业务两种场景的HTAP数据库系统的快速发展.面对众多的HTAP数据库系统,为了推动HTAP数据库系统的公平比较和健康发展,定义和实现相应的评测基准来评... 详细信息

对数据库系统即时修改数据的高效实时分析需求推动了数据库系统向同时支持OLTP业务和OLAP业务两种场景的HTAP数据库系统的快速发展.面对众多的HTAP数据库系统,为了推动HTAP数据库系统的公平比较和健康发展,定义和实现相应的评测基准来评估HTAP数据库系统的新特性至关重要.首先,分析HTAP数据库系统的关键特征并抽象总结HTAP数据库系统实现的关键技术.然后,提炼出HTAP数据库系统的设计难点和构建HTAP评测基准的挑战,并基于此提出HTAP评测基准应考虑的设计维度,包括数据生成、负载生成、评价指标和一致性模型支持性.对比现有HTAP评测基准在设计维度和实现技术上的差异,总结评测基准在不同设计维度上的优劣.此外,运行已公开的典型评测基准,展示并分析它们对HTAP数据库系统关键特征的评测能力以及对不同HTAP数据库系统的横向对比的支持能力.最后,总结对HTAP评测基准的能力需求和未来的一些研究方向,指出语义一致的负载控制和新鲜数据访问度量是HTAP数据库系统评测基准定义的关键问题.

关键词： HTAP评测基准 HTAP数据库系统性能分析新鲜度

区域认知素养在高考地理中的考查特点和教学启示——以2024年6月浙江选考地理试卷为例

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

地理教育 2025年第1期 40-44,48页

作者：尹志和杨春泉湖州市第一中学浙江湖州313000 华东师范大学湖州实验中学浙江湖州313000

区域认知素养已成为高考地理试题考查的重要内容和支撑点。本文以2024年6月浙江选考地理试卷为例,探究区域认知素养在高考地理试题中的考查方式和考查特征,并尝试从构建心理地图、剖析区域特征、创设真实情境、创建思维导图四个方面探... 详细信息

区域认知素养已成为高考地理试题考查的重要内容和支撑点。本文以2024年6月浙江选考地理试卷为例,探究区域认知素养在高考地理试题中的考查方式和考查特征,并尝试从构建心理地图、剖析区域特征、创设真实情境、创建思维导图四个方面探索区域认知素养的培育策略,以提升地理复习教学的有效性和针对性。

关键词：区域认知心理地图真实情境思维导图

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

速度调制光谱技术在等离子体诊断中的应用

物理学报 2000年第3期49卷 421-425页

作者：杨晓华陈扬駸蔡佩佩王荣军卢晶晶华东师范大学物理系上海200062 教育部华东师范大学量子光学开放研究实验室

采用速度调制分子离子激光光谱技术,通过对CO+彗尾带系(A2Π—X2Σ+)(2,3)带转动光谱强度分布和谱线线宽的测量,不仅获得了CO+的转动温度,还获得了离子的漂移速度、迁移率、正柱区电场、热温度等等离子体参量,同时还测量得到速度调制的... 详细信息

采用速度调制分子离子激光光谱技术,通过对CO+彗尾带系(A2Π—X2Σ+)(2,3)带转动光谱强度分布和谱线线宽的测量,不仅获得了CO+的转动温度,还获得了离子的漂移速度、迁移率、正柱区电场、热温度等等离子体参量,同时还测量得到速度调制的调制度为0372±0119.

关键词：速度调制光谱技术等离子体诊断

在线全文

学校读者我要写书评

暂无评论

长江口潮滩沉积物氧化铁与磁性特征的关系

地球物理学报 2003年第1期46卷 79-85页

作者：张卫国俞立中陆敏华东师范大学河口海岸国家重点实验室上海200062 华东师范大学地理系上海200062

通过对长江口潮滩沉积物以连二亚硫酸钠一柠檬酸纳一重碳酸钠 (DCB)、避光草酸铵 (AOD)提取方法进行的氧化铁分析以及磁性测量 ,探讨了氧化铁与磁性参数的关系 ,提出了不同类型氧化铁含量估算方法 ,并分析了DCB提取对全样及分粒级样品... 详细信息

通过对长江口潮滩沉积物以连二亚硫酸钠一柠檬酸纳一重碳酸钠 (DCB)、避光草酸铵 (AOD)提取方法进行的氧化铁分析以及磁性测量 ,探讨了氧化铁与磁性参数的关系 ,提出了不同类型氧化铁含量估算方法 ,并分析了DCB提取对全样及分粒级样品磁性特征的影响 .结果显示 ,磁化率及饱和等温剩磁与游离氧化铁和无定形铁含量之间存在显著的相关性 .对不同类型氧化铁含量的半定量估算显示 ,长江口潮滩沉积物中以无定形铁占绝对优势 ,磁铁矿仅占游离氧化铁的 12 %左右 .DCB提取对磁性特征的影响依赖于磁性矿物晶粒大小和含量 .DCB试剂不仅能提取小于 2 μm粒级中的细晶粒氧化铁 ,还能溶解相当一部分粗晶粒磁铁矿 .此外 ,根据DCB提取前后S-10 0 及硬剩磁的变化 ,表明粘土中更富集不完整反铁磁性氧化铁 .

关键词：沉积物氧化铁磁性特征潮滩长江口富集磁化率

Er^(3+)在二氧化硅介孔分子筛中的高效率发光及其分析

在线全文

学校读者我要写书评

暂无评论

物理学报 2008年第9期57卷 5989-5995页

作者：林良书薛燕陵蒋器成张晓敏吴鹏刘月明华东师范大学电子系上海200062 华东师范大学上海市绿色化学重点实验室上海200062

研究了一种新型的负载Er3+的二氧化硅介孔分子筛纳米材料,分析了其在有无功能化试剂全氟甲基磺酰(bis(perfluoromethylsulfonyl)amine)修饰作用下的吸收和荧光光谱特性,获得了高强度的荧光发射.应用Judd-Ofelt理论计算了强度参数(Ω2=1... 详细信息

研究了一种新型的负载Er3+的二氧化硅介孔分子筛纳米材料,分析了其在有无功能化试剂全氟甲基磺酰(bis(perfluoromethylsulfonyl)amine)修饰作用下的吸收和荧光光谱特性,获得了高强度的荧光发射.应用Judd-Ofelt理论计算了强度参数(Ω2=1.88×10-20cm2,Ω4=5.45×10-20cm2,Ω6=3.11×10-20cm2)、跃迁振子强度、自发跃迁概率、能级辐射寿命等重要的光谱参数,讨论了吸收和发射跃迁截面(Ωem=10.9×10-21cm2),研究了在介孔分子筛纳米材料中的Er3+在不同的抽运功率条件下的荧光强度变化情况.比较了Er3+在不同基质材料中的带宽特性.研究表明二氧化硅介孔分子筛有利于实现高效率的激光输出或具有较宽带宽的高增益光放大,能够成为掺铒激光器或光放大器的新型基质材料.

关键词：发光二氧化硅介孔分子筛稀土离子 Judd-Ofelt理论

弱极低频磁场对Actin骨架组装效率的频率窗口效应初探

在线全文

学校读者我要写书评

暂无评论

生物化学与生物物理进展 2015年第8期42卷 758-769页

作者：杜娟吴霞齐红新宋维涛王志丹饶凌月张三军陈树德夏若虹华东师范大学物理系生物物理实验室上海200241 华东师范大学物理系光学实验室上海200241 华东师范大学精密光谱科学与技术国家重点实验室上海200062

前期研究发现，50Hz弱磁场辐照能明显降低细胞的微丝含量和组装效率，对actin骨架形态也有明显影响．电磁生物学效应是否与辐照场频率相关，一直受到研究者的关注．单体球状肌动蛋白（G—actin）是带电结构，电磁场频率会影响其振荡频... 详细信息

前期研究发现，50Hz弱磁场辐照能明显降低细胞的微丝含量和组装效率，对actin骨架形态也有明显影响．电磁生物学效应是否与辐照场频率相关，一直受到研究者的关注．单体球状肌动蛋白（G—actin）是带电结构，电磁场频率会影响其振荡频率并对微丝聚合效率产生影响．本文从细胞骨架形态和蛋白质两层次，采用免疫荧光技术考察0．4mT，在35～140Hz范围内5个频率的极低频磁场（ELF-MF）对FL细胞中纤维状肌动蛋白（F-actin）含量的影响，并采用荧光共振能量转移技术（FRET）验证效应最明显的频率对离体G-actin组装效率的干扰程度．结果显示，相比假辐照组，细胞中F—actin含量在50Hz辐照组下降T（34．66±3．141％，110Hz次之，而另外3组（35、70和140Hz）无显著性差异．同时利用FRET方法验证，在50Hz磁场辐照下，离体环境中***组装成***的效率较假辐照组、35和70Hz组显著降低．经初步分析，G-actin在弱ELF—MF中受到以洛伦兹力和感生电场力的合力为主的相关电磁力干扰，致使组装效率下降，且由于工频磁场周期与微丝组装周期的特殊相干性，在50Hz频率附近可能存在一个外磁场干扰actin骨架组装的频率窗口．

关键词：工频磁场磁场频率 G-actin F—actin 洛伦兹力感生电场力