检索结果-内蒙古大学图书馆

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

复杂嵌入式系统需求一致性的组合验证方法

引用

软件学报 2025年第4期36卷 1413-1434页

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

形式化方法在需求一致性验证领域已经取得了显著的成就.然而,随着嵌入式系统需求复杂度的不断提升,需求一致性验证面临着状态空间过大的挑战.为了有效约减验证的状态空间,同时考虑到嵌入式系统需求所涉及的设备强依赖性,提出一种复杂嵌... 详细信息

形式化方法在需求一致性验证领域已经取得了显著的成就.然而,随着嵌入式系统需求复杂度的不断提升,需求一致性验证面临着状态空间过大的挑战.为了有效约减验证的状态空间,同时考虑到嵌入式系统需求所涉及的设备强依赖性,提出一种复杂嵌入式系统需求一致性的组合验证方法.它基于需求分解,识别需求间的依赖关系,通过这些依赖关系组装验证子系统,从而实现对复杂嵌入式系统需求的组合验证,并能初步定位到不一致的需求.具体而言,采用问题框架方法对需求进行建模和分解,并预设领域设备知识库对设备的物理特性进行建模.在验证子系统的组装过程中,生成预期软件的行为模型,并结合物理设备的模型进行动态组装.最后,采用航空领域机载侦查系统进行了实例研究,验证了方法的可行性和有效性,并通过5个案例评估证实了验证状态空间的显著减小.此方法为复杂嵌入式系统需求的验证提供了一种切实可行的解决方案.

关键词：复杂嵌入式系统需求一致性组合验证

来源：评论

学校读者我要写书评

暂无评论

义务教育体育与健康课程中运动技能教学若干关键问题审思

引用

上海体育大学学报 2025年第1期49卷 1-10页

作者：季浏华东师范大学体育与健康学院上海200241 华东师范大学青少年健康评价与运动干预教育部重点实验室上海200241

运动技能是体育与健康课程中的主要教学内容,包括基本运动技能内容和专项运动技能内容。如何根据学生身心发展规律、运动技能形成规律和学生体育学习特点进行运动技能的教学设计和实施,对于学生更好地掌握和运用运动技能,发挥运动技能... 详细信息

运动技能是体育与健康课程中的主要教学内容,包括基本运动技能内容和专项运动技能内容。如何根据学生身心发展规律、运动技能形成规律和学生体育学习特点进行运动技能的教学设计和实施,对于学生更好地掌握和运用运动技能,发挥运动技能对培养核心素养、增进身心健康的作用具有重要意义。分析小学是否应采用自主运动选项教学和走班制形式、基本运动技能是否应在整个义务教育阶段进行专门教学、专项运动技能是否应按照年级划分等级3个理论和实践问题,认为,小学不应采用自主运动选项教学和走班制形式,基本运动技能在小学1~2年级进行专门教学更科学合理,按照年级划分专项运动技能等级不符合课程标准的精神和学生体育学习特点。正确认识和理解这3个问题,有助于提升体育与健康课程运动技能教学和评价的科学性和有效性,提高体育与健康教育教学质量,促进学生享受运动乐趣、掌握运动技能、实现健康发展。

关键词：体育与健康课程自主运动选项教学基本运动技能专项运动技能等级

来源：评论

学校读者我要写书评

暂无评论

靶向神经精神疾病的精准干预:运动因子的发掘、应用与转化

引用

上海体育大学学报 2025年第3期49卷 35-51,74页

作者：刘微娜章森何文柯漆正堂华东师范大学青少年健康评价与运动干预教育部重点实验室上海200241 华东师范大学体育与健康学院上海200241

运动因子(Exerkines)作为由骨骼肌及其他组织分泌的生物活性物质,在调节神经系统功能、改善神经炎症、促进神经修复等方面具有重要作用。系统探讨运动因子的来源、转运机制及其在神经精神疾病中的作用,详细阐述运动因子的神经生物功能,... 详细信息

运动因子(Exerkines)作为由骨骼肌及其他组织分泌的生物活性物质,在调节神经系统功能、改善神经炎症、促进神经修复等方面具有重要作用。系统探讨运动因子的来源、转运机制及其在神经精神疾病中的作用,详细阐述运动因子的神经生物功能,并探讨其在神经精神疾病精准干预中的潜力。运动因子可分为骨骼肌源性因子、心源性因子、肝源性因子、脂肪源性因子和神经源性因子等,其神经生物学功能包括神经修复与再生、神经炎症调节、神经发育等。在运动的诱导下,这些因子通过血液循环或囊泡转运等方式传递信息,并在靶组织中发挥作用。在神经精神疾病的精准干预中,可通过运动因子进行个性化评估、精准诊断和治疗监测。通过整合生物组学、神经影像学及数据分析技术,可以更全面地了解运动因子的功能机制,并为疾病的精准干预提供科学依据。

关键词：运动因子精准干预神经精神疾病神经生物学

来源：评论

学校读者我要写书评

暂无评论

基于转录组分析智力发育过程中性别差异的关键基因

引用

生理学报 2025年第2期77卷 211-221页

作者：张家玮郑小丽周海倩朱朕韩威殷东敏脑功能基因组学教育部和上海市重点实验室华东师范大学生命科学学院

智力包括了逻辑推理能力、理解能力、自我意识能力、学习能力、计划能力、创造能力和解决问题等能力。智力发育存在性别差异，女性智力的成熟时间往往早于男性。然而，关于智力发育性别差异的关键基因及其分子网络机制尚不清楚。迄今为... 详细信息

智力包括了逻辑推理能力、理解能力、自我意识能力、学习能力、计划能力、创造能力和解决问题等能力。智力发育存在性别差异，女性智力的成熟时间往往早于男性。然而，关于智力发育性别差异的关键基因及其分子网络机制尚不清楚。迄今为止，全基因组关联分析(Genome-Wide Association Studies, GWAS)发现了507个与智力显著相关的基因。本论文首先分析了BrainSpan人脑RNA-seq数据集中大脑在各个发育阶段的转录测序数据，发现在胚胎晚期，507个智力基因在大脑中的平均表达水平男性高于女性，而在青春期则相反。接着进一步构建了大脑中表达水平具有性别差异的智力基因的互作网络，包括胚胎晚期中男性高表达的智力基因互作网络HELP-M (intelligence genes with higher expression levels in prenatal males)、青春期女性高表达的智力基因互作网络HELP-F (intelligence genes with higher expression levels in pubertal females)。结果表明，这两个网络的关键基因均是Ep300和Ctnnb1。其中Ep300在HELP-M和HELP-F中调控了53个基因的转录，Ctnnb1在HELP-M和HELP-F中调控了45个基因转录，Ctnnb1在HELP-M以及Ep300在HELP-F中分别发挥更重要的作用。对不同发育时间的大鼠进行测序验证，发现在青春期雌性大鼠前额叶皮层中HELP-F的智力基因和关键基因Ep300、Ctnnb1表达水平显著高于雄性大鼠，并且参与了神经发育等相关生物过程。以上结果揭示了在神经发育过程中表达水平具有性别差异的智力基因网络及其关键基因。

关键词：智力发育关键基因性别差异

来源：评论

学校读者我要写书评

暂无评论

单峰强随机传递模型的估计及其在英超排名中的应用

引用

中国科学:数学 2025年

作者：蔡天文李少堃项冬冬 Department of Statistics and Data Science the Wharton School University of Pennsylvania 华东师范大学统计与数据科学前沿理论及应用教育部重点实验室

成对比较在传统的体育竞赛领域有着广泛的应用.随着互联网技术的迅速发展,这一问题在推荐系统和在线决策等前沿领域的重要性愈发突出.与参数模型相比,强随机传递(strong stochastic transitivity, SST)模型因其灵活性、广泛适用性和提... 详细信息

成对比较在传统的体育竞赛领域有着广泛的应用.随着互联网技术的迅速发展,这一问题在推荐系统和在线决策等前沿领域的重要性愈发突出.与参数模型相比,强随机传递(strong stochastic transitivity, SST)模型因其灵活性、广泛适用性和提取复杂结构的高效率而备受关注.然而, SST模型的有限假设使得概率矩阵的估计具有挑战性,从而使得SST模型框架能否有效刻画成对比较问题充满不确定性.本文对SST模型引入了一个自然约束,提出了单峰强随机传递(unimodal SST, USST)模型.该模型保留了SST模型的灵活性,并包含许多解决成对比较问题的参数模型作为特例.本文证明了在USST模型中,约束最小二乘估计量在log(log n)的多项式因子范围内是速率最优的.本文还提出了一个用于估计概率矩阵的高效算法,在log n的多项式因子范围内速率最优.与现有的SST相关方法相比,本文的算法在收敛速度上有显著提高,在对数因子内达到了最优.通过数值模拟,本文展示了所提出算法的优越性,并使用英超联赛比赛的真实数据验证了其有效性.

关键词：成对比较单峰强随机传递性模型极小极大收敛速率

来源：评论

学校读者我要写书评

暂无评论

气候变化下沿海城市极端复合洪涝灾害危险性预估——以海口市为例

引用

热带地理 2025年第4期45卷 527-539页

作者：刘青吴国凤姚前许瀚卿牛怡莹魏旭辰王军李梦雅北京师范大学环境演变与自然灾害教育部重点实验室北京100875 华东师范大学地理科学学院上海200241 华东师范大学地理信息科学教育部重点实验室上海200241 华东师范大学国家安全与应急管理研究院上海200062 华东师范大学崇明生态研究院上海200241 上海市宜川中学上海200065 华东师范大学公共管理学院上海200062

以海口市为例,基于高分辨率气候模式数据,利用热带气旋路径数据集模拟1960-2099年热带气旋风暴潮位,并结合降雨和河流流量,利用超阈值法和极值分布,分析海口市复合洪涝致灾因子变化特征。基于此,构建复合洪涝情景,对极端复合洪涝灾害进... 详细信息

以海口市为例,基于高分辨率气候模式数据,利用热带气旋路径数据集模拟1960-2099年热带气旋风暴潮位,并结合降雨和河流流量,利用超阈值法和极值分布,分析海口市复合洪涝致灾因子变化特征。基于此,构建复合洪涝情景,对极端复合洪涝灾害进行危险性模拟并深入探究。结果表明:1)最高风暴潮位、累积降雨量和上游最大流量的极值分布拟合结果显示,气候变化下未来海口市最高风暴潮位和上游最大流量有所上升,累积降雨量有所减少;2)海口市复合洪涝灾害致灾因子统计结果表明,气候变化下海口市发生多致灾因子碰头事件概率增加,降雨峰值与风暴潮峰值同时发生的概率较大,与上游流量峰值碰头概率较低,但存在同天发生的可能性,因此需全面考虑多致灾因子的耦合作用,否则将会低估极端洪涝灾害的影响;3)模拟结果表明,在50 a一遇情景下,未来阶段(2015-2099年)总淹没面积达371.01 km^(2),相较历史阶段(1960-2014年)的396.96 km^(2)有所减少,但深度>3 m的淹没区域面积和体积大幅增加,分别从50.13扩展至78.45 km^(2),从529.29×10^(6)增加至637.08×10^(6) m^(3),尤其是南渡江沿岸及北部滨海区的洪涝风险将进一步加剧。

关键词：复合洪涝高分辨率气候模式热带气旋危险性评估气候变化海口市

来源：评论

学校读者我要写书评

暂无评论

小脑异常发育与孤独症谱系障碍的关系

引用

心理科学进展 2025年第4期33卷 565-573页

作者：涂海霞翁旭初徐波华东师范大学体育与健康学院上海200241 华东师范大学青少年健康评价与运动干预教育部重点实验室上海200241 华南师范大学脑科学与康复医学研究院广州510898

尽管小脑体积只占人脑总量的10%,但包含超半数的神经元。此前,小脑一直被认为主要控制肢体的运动协调,但近年来越来越多的证据表明小脑与学习、注意、语言等高级认知功能密切相关,参与多种非运动功能的调节。与此同时,小脑异常发育与多... 详细信息

尽管小脑体积只占人脑总量的10%,但包含超半数的神经元。此前,小脑一直被认为主要控制肢体的运动协调,但近年来越来越多的证据表明小脑与学习、注意、语言等高级认知功能密切相关,参与多种非运动功能的调节。与此同时,小脑异常发育与多种神经发育疾病密切相关,其中包括孤独症谱系障碍(Autism spectrum disorder,ASD),或称自闭症、孤独症,是一类典型的神经发育疾病,以社交障碍、重复刻板行为和语言障碍为主要特征,并常伴有感觉异常。临床研究发现,ASD患者通常伴有小脑结构与功能的改变。有意思的是,在ASD动物模型中也发现与人类似的小脑异常表型。重要的是,特异敲除小脑神经元中ASD易感基因可导致模式动物表现出典型的孤独症样行为,提示小脑异常发育是导致ASD的关键病理机制之一。将从临床及基础研究两个方面简要概括小脑与ASD的关系,为ASD的诊断和治疗提供了新的视角。

关键词：孤独症小脑结构功能模式动物

来源：评论

学校读者我要写书评

暂无评论

体育与健康课程跨学科主题学习实践:要义、困境与路径

引用

沈阳体育学院学报 2025年第2期44卷 30-36页

作者：吕慧于连庚汪晓赞山西大学体育学院山西太原030006 华东师范大学体育与健康学院上海200241 华东师范大学青少年健康评价与运动干预教育部重点实验室上海200241

跨学科主题学习是当前五育融合教育背景下体育与健康课程落实学生核心素养形成和发展的重要抓手。本研究采用文献资料法和实地考察法,对体育与健康课程中跨学科主题学习的实践要义、困境和路径进行系统分析。体育与健康课程跨学科主题... 详细信息

跨学科主题学习是当前五育融合教育背景下体育与健康课程落实学生核心素养形成和发展的重要抓手。本研究采用文献资料法和实地考察法,对体育与健康课程中跨学科主题学习的实践要义、困境和路径进行系统分析。体育与健康课程跨学科主题学习的实践要义是以跨学科为根本属性、以培养学生核心素养为价值遵循、以本学科为概念边界、以学习主题为设计起点、以问题情境驱动跨学科主题学习。然而,当前体育与健康课程跨学科主题学习在教师认知、体系建立、协调发展、情境创设、教学评价等方面仍存困境。基于此,提出提高教师跨学科实践能力、搭建跨学科主题学习实施体系、建立跨学科教研共同体、创设真实问题情境、拓宽教学评价体系和应用场域等实践路径,旨在提高体育与健康课程跨学科主题学习的质量,促进学生全面发展。

关键词：体育与健康课程跨学科主题学习学科整合课程改革核心素养

来源：评论

学校读者我要写书评

暂无评论

广西金鼓江红树林空间分布动态变化研究

引用

海洋科学进展 2025年

作者：王日明戴志军吴天亮黄鹄欧业宁周泰声北部湾大学广西北部湾海洋环境变化与灾害研究重点实验室/资源与环境学院华东师范大学河口海岸学国家重点实验室南宁师范大学北部湾环境演变与资源利用教育部重点实验室

红树林动态变化及其驱动因素是当前红树林生物地貌研究的重要内容。本文以广西金鼓江感潮河段为研究区，将现场勘查与基于Google Earth Engine平台的遥感影像解译结合，进而分析金鼓江感潮段1987—2021年红树林的时空演变过程。研究结... 详细信息

红树林动态变化及其驱动因素是当前红树林生物地貌研究的重要内容。本文以广西金鼓江感潮河段为研究区，将现场勘查与基于Google Earth Engine平台的遥感影像解译结合，进而分析金鼓江感潮段1987—2021年红树林的时空演变过程。研究结果表明：（1）金鼓江自海向陆依次分布“桐花树+秋茄”“海漆-桐花树+秋茄”“海漆-桐花树+秋茄+白骨壤-老鼠簕”红树林群落，群落种群结构与龄级结构单一。（2）1987—2021年间，金鼓江红树林总面积减少36%，其中金鼓江河口段、玉垌根江与下埠江区域呈持续减少趋势；望鸦江区域在1987—2000年增加20.89 hm2,2000—2021年减少13.74 hm2。（3）围塘养殖、城市建设等人类活动直接侵占红树林地，工程措施改变区域生境如沉积物粒度与孔隙度，影响红树林群落龄级结构的变化，进而导致红树林退化。研究结果为河口红树林保育与生态修复提供部分理论依据。

关键词：红树林群落时空分布生境因子金鼓江感潮河段

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：