检索结果-南通市图书馆

基于SMT求解器的BPEL过程数据流错误检测

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

计算机工程与设计 2017年第12期38卷 3311-3315页

作者：张成震宋巍唐成宇陈芳菲南京理工大学计算机科学与工程学院江苏南京210094

针对现有检测数据流反模式错误方法常采用枚举策略,存在路径爆炸和异常误报等问题,提出一种基于可满足性模理论(SMT)约束求解器的符号编码去检测所有可行路径中的数据流反模式错误的方法。进行符号编码,包括最常见的3种数据流反模式,根... 详细信息

针对现有检测数据流反模式错误方法常采用枚举策略,存在路径爆炸和异常误报等问题,提出一种基于可满足性模理论(SMT)约束求解器的符号编码去检测所有可行路径中的数据流反模式错误的方法。进行符号编码,包括最常见的3种数据流反模式,根据SMT约束求解器进行数据流反模式错误的识别检测。使用工业界中真实的BPEL过程作为数据集进行实验,实验结果表明,所提方法能够高效无误地检测出BPEL过程中的数据流异常错误。

关键词： BPEL过程数据流反模式符号编码 SMT求解器

项目式学习视角下初中数学教材“综合与实践”的内容特征及改进建议——基于国内现行6版教材的分析

在线全文

学校读者我要写书评

暂无评论

教学月刊（中学版）（教学参考） 2022年第9期 30-34页

作者：斯海霞潘子璇张成震杭州师范大学经亨颐教育学院

基于跨学科的数学项目式学习要求,对国内现行6版初中数学教材的“综合与实践”内容进行分析,可为一线教师提供参考.从活动任务维度分析可发现,真实情境下的跨学科活动占比较低,活动探究过程侧重数学计算与推理论证,且弱化了活动成果展... 详细信息

基于跨学科的数学项目式学习要求,对国内现行6版初中数学教材的“综合与实践”内容进行分析,可为一线教师提供参考.从活动任务维度分析可发现,真实情境下的跨学科活动占比较低,活动探究过程侧重数学计算与推理论证,且弱化了活动成果展示与评价,但可将现有活动围绕“数学核心概念”“现实生活”主题整合为跨学科项目活动.教师在设计活动任务时,建议突出现实性与跨学科性,提高对学生发现和提出问题的要求,并对学生的活动成果强化展示与评价的要求,以力求使教学从学科“割裂”走向学科“统整”,从“解决问题”走向“问题解决”,并以“教—学—评”一体化推动核心素养培育的落地.

关键词：项目式学习综合与实践初中数学教材跨学科活动

二维MXenes材料在柔性光电探测器中的应用展望

在线全文

学校读者我要写书评

暂无评论

无机材料学报 2024年第2期39卷 186-194页

作者：李腊沈国震北京理工大学集成电路与电子学院北京100081 北京理工大学柔性电子器件与智造研究所北京102488

二维过渡金属碳/氮化物(MXenes)自2011年被首次报道以来,凭借其特殊的二维层状结构、优异的导电性和电化学性能在能源、催化、传感、电磁屏蔽和微波吸收等领域吸引了极大关注。近几年,随着对该材料认识的不断加深,其在光电领域的研究也... 详细信息

二维过渡金属碳/氮化物(MXenes)自2011年被首次报道以来,凭借其特殊的二维层状结构、优异的导电性和电化学性能在能源、催化、传感、电磁屏蔽和微波吸收等领域吸引了极大关注。近几年,随着对该材料认识的不断加深,其在光电领域的研究也不断深入。与其它领域不同,光电器件聚焦于延伸MXenes材料半导体性质,通过设计表面官能团、精准控制层数等来打开材料带隙,从而使其从金属性质转变为半导体性质。本文主要围绕MXenes材料的光电性质,介绍其在柔性光电子器件中的应用,系统阐述MXenes材料在透明电子器件、光电探测器、图像传感器、光电晶体管、人工神经视觉网络系统的应用前沿现状与趋势,并展望了MXenes基柔性光电器件面临的挑战以及未来发展前景。

关键词： MXene 柔性电子透明电子光电探测器带隙调控专题评述

互动叙事的两面性——电子游戏叙事中的作者复归

在线全文

学校读者我要写书评

暂无评论

上海大学学报（社会科学版） 2024年第2期41卷 67-79页

作者：张成华东师范大学哲学系上海200062

电子游戏行业迅速发展,成为继印刷文字、电影、电视等之后的又一重要叙事媒介。随着媒介平台的更新发展,经典叙事学理论面对新型文本,亟待进行理论范式的更新。以电子游戏叙事中的作者为主题,运用叙事伦理方法论述游戏叙事中作者与玩家... 详细信息

电子游戏行业迅速发展,成为继印刷文字、电影、电视等之后的又一重要叙事媒介。随着媒介平台的更新发展,经典叙事学理论面对新型文本,亟待进行理论范式的更新。以电子游戏叙事中的作者为主题,运用叙事伦理方法论述游戏叙事中作者与玩家两个主体在叙事中的作用,可做如下探讨:首先探讨叙事学范式的发展以及将游戏纳入叙事研究的必要性;进而具体分析游戏作品中体现出的“作者已死”的假象,此时的作者作为虚构世界的创作者,在游戏中隐藏于算法背后而非“已死”;最后阐明作者在隐身的同时对玩家及作品具有控制力,作者通过给予玩家被控制的自由,在游戏叙事中去而复归。

关键词：叙事电子游戏互动叙事作者

在线全文

学校读者我要写书评

暂无评论

鄱阳湖草洲景观连通性对植物多样性的影响

地理学报 2024年第1期79卷 259-278页

作者：张成陈文波黄芳芳东华理工大学测绘与空间信息工程学院南昌330013 东华理工大学南昌市景观过程与国土空间生态修复重点实验室南昌330013 江西农业大学国土资源与环境学院南昌330045 浙江广厦建设职业技术大学建筑工程学院东阳322100

在全球景观破碎化不断加剧的背景下,剖析景观连通度对生物多样性的影响机制对恢复生态过程和保护生物多样性具有深远意义。本文以鄱阳湖草洲为研究对象,综合考虑水位变化与物种扩散生态过程,在识别不同水位梯度下草洲分布格局的基础上,... 详细信息

在全球景观破碎化不断加剧的背景下,剖析景观连通度对生物多样性的影响机制对恢复生态过程和保护生物多样性具有深远意义。本文以鄱阳湖草洲为研究对象,综合考虑水位变化与物种扩散生态过程,在识别不同水位梯度下草洲分布格局的基础上,通过景观格局指数和基于图论的景观连通度指数相结合的方法,分析不同水位草洲景观结构连通度和功能连通度的动态变化,揭示草洲景观连通度对植物多样性的影响及其尺度效应,比较结构连通度与功能连通度对植物多样性格局的相对解释力。研究结果表明:①鄱阳湖草洲呈现“水落滩出、水进草退”的景观格局特征,随着水位的增加,草洲同时面临水体的淹没效应和分割效应,面积萎缩和破碎化并存;②随着水位的增加,草洲斑块面积不断减小、形状趋于简单、密度降低、破碎化加剧,景观结构连通度下降,难以连接的独立组分增加、斑块连通的可能性降低,景观功能连通度下降;③草洲景观连通度越高,景观尺度上的植物物种丰富度越高,斑块尺度上的植物群落相似性越大,功能连通度比结构连通度更加能解释植物多样性格局。本文研究结果可从景观连通度的新视角为湖泊地区景观格局优化和植物多样性保护提供参考。

关键词：鄱阳湖草洲景观连通度植物多样性尺度效应

改进型高增益耦合电感Boost-Sepic变换器

在线全文

学校读者我要写书评

暂无评论

电机与控制学报 2024年第8期28卷 124-134页

作者：房绪鹏郭红震刘坤邢斌山东科技大学电气与自动化工程学院

针对光伏电池输出电压等级低、稳定性差的问题，本文将Boost-Sepic变换器进行改进，并加入耦合电感与开关电容两种增益单元，提出一种高增益耦合电感组合Boost-Sepic变换器。首先将组合后的Boost-Sepic变换器中输入电感替换为耦合电感... 详细信息

针对光伏电池输出电压等级低、稳定性差的问题，本文将Boost-Sepic变换器进行改进，并加入耦合电感与开关电容两种增益单元，提出一种高增益耦合电感组合Boost-Sepic变换器。首先将组合后的Boost-Sepic变换器中输入电感替换为耦合电感原边，保证输入侧电流连续并钳位开关管电压；同时将耦合电感倍压单元与开关电容进行串联以提高电压增益。采用无源钳位吸收回路回收耦合电感漏感的能量，抑制开关管两端产生的电压尖峰。详细分析了Boost-Sepic变换器的工作模态、电压增益、开关器件电压/电流应力及器件参数的选择，并与其他高增益变换器对比。最后，通过200 W实验样机验证了变换器的可行性与正确性。

关键词：高增益低应力耦合电感开关电容无源钳位 Boost-Sepic变换器

ALOS-2和Sentinel-1形变观测揭示的青藏高原西部郭扎错断层三维运动学特征

同方期刊数据库

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

在线全文

学校读者我要写书评

暂无评论

科学通报 2024年第18期69卷 2648-2659页

作者：周宇黄自成张培震中山大学地球科学与工程学院广东省地球动力作用与地质灾害重点实验室珠海519080 南方海洋科学与工程广东省实验室(珠海) 珠海519080

龙木-郭扎错断裂系是青藏高原西部甜水海地块的南边界,其运动学特征研究程度较低.本文利用2014~2022年ALOS-2 PALSAR-2长条带雷达数据,采用小基线集时序处理方法,获取了该断裂系中东段的地表形变速率场,发现其现今应变积累主要集中于郭... 详细信息

龙木-郭扎错断裂系是青藏高原西部甜水海地块的南边界,其运动学特征研究程度较低.本文利用2014~2022年ALOS-2 PALSAR-2长条带雷达数据,采用小基线集时序处理方法,获取了该断裂系中东段的地表形变速率场,发现其现今应变积累主要集中于郭扎错断层,具有明显的左旋走滑特征,且该断层的中东段存在浅部蠕滑现象.随后,结合已发表的高精度Sentinel-1地表形变速率场所构成的雷达干涉测量数据集作为观测约束,通过使用弹性位错模型获取了郭扎错断层的三维滑动速率空间分布.结果表明:整个断层面的滑动速率具有空间异质性,在孕震层的深度范围内,由断层西段的一个长约40 km的强闭锁区和东段的一个长约100 km的无震蠕滑区所组成,其中无震蠕滑区内的平均速率从断层西侧的部分蠕滑区~2.8 mm/a向东逐渐增加至东侧的完全蠕滑区~5.6 mm/a.最后,进一步计算了郭扎错断层的地震矩积累速率,发现浅部蠕滑段内地震矩积累速率较小,约为(3.3±1.9)×10^(16)N m/a,这与地震台站记录的较低水平地震活动性相一致;而浅部蠕滑段以西的区域具有较高的地震矩积累速率,约为(1.2±0.2)×10^(17)N m/a,考虑到缺少微震记录,该段落的地震危险性需要重点关注.

关键词：郭扎错断层青藏高原西部合成孔径雷达干涉测量浅部蠕滑地震矩积累

金红石型TiO_(2)的氧化硅膜包覆及其动力学研究

在线全文

学校读者我要写书评

暂无评论

表面技术 2024年第8期53卷 210-219页

作者：张成周春勇何俊陈葵华东理工大学化工学院上海200237 龙佰四川钛业有限公司四川德阳618209

目的研究以液相沉淀法制备硅包膜钛白粉(SiO_(2)@TiO_(2))及氧化硅在TiO_(2)粒子表面的沉积成膜过程动力学,从而指导钛白粉表面改性工艺的优化。方法以硅酸钠为包膜剂在TiO_(2)表面包覆氧化硅膜层,通过比表面积、Zeta电位、SEM和酸溶率... 详细信息

目的研究以液相沉淀法制备硅包膜钛白粉(SiO_(2)@TiO_(2))及氧化硅在TiO_(2)粒子表面的沉积成膜过程动力学,从而指导钛白粉表面改性工艺的优化。方法以硅酸钠为包膜剂在TiO_(2)表面包覆氧化硅膜层,通过比表面积、Zeta电位、SEM和酸溶率分析,研究包膜温度、包膜pH、熟化时间等工艺条件对SiO_(2)@TiO_(2)膜层结构的影响。采用动力学模型对氧化硅在TiO_(2)粒子表面的反应成膜过程进行计算拟合。结果在包膜温度368 K、包膜pH=9.0以及反应熟化时间180 min时,获得的SiO_(2)@TiO_(2)氧化硅膜层致密性好,酸溶率稳定在14%的较低水平,比表面积保持在10.58 m^(2)/g,等电点维持在2.34。氧化硅在TiO_(2)粒子表面的成核点形成阶段的活化能为16.31 kJ/mol,生长成膜阶段的活化能为25.80 kJ/mol。结论提高反应温度、在弱碱性条件下、延长熟化时间可使制备的SiO_(2)@TiO_(2)膜层致密性提高;SiO_(2)@TiO_(2)的比表面积、等电点与反映SiO_(2)@TiO_(2)膜层致密程度的酸溶率具有高度的相关性;氧化硅膜层在TiO_(2)表面的包覆过程分为成核点形成以及氧化硅沉积成膜两个阶段,均符合三级反应动力学特征。

关键词：氧化硅二氧化钛膜层包覆致密性反应动力学

维普期刊数据库博看期刊

斜坡限制域对脱体火焰宏观形状和燃烧振荡影响实验研究

在线全文

学校读者我要写书评

暂无评论

推进技术 2024年第5期45卷 107-116页

作者：宋恒韩啸张弛林宇震中国航空综合技术研究所北京100028 北京航空航天大学航空发动机研究院北京100191 北京航空航天大学航空发动机气动热力国家级重点实验室北京100191 北京航空航天大学先进航空发动机协同创新中心北京100191

燃烧振荡是贫油预混火焰中广泛存在的非定常过程,是燃烧室设计中必须避免的。其中,脱体火焰对降低氮氧化物排放有优势,但其燃烧振荡往往更加严重。本文在中心分级燃烧器中,通过实验方法研究了斜坡限制域对脱体火焰燃烧振荡的被动控制效... 详细信息

燃烧振荡是贫油预混火焰中广泛存在的非定常过程,是燃烧室设计中必须避免的。其中,脱体火焰对降低氮氧化物排放有优势,但其燃烧振荡往往更加严重。本文在中心分级燃烧器中,通过实验方法研究了斜坡限制域对脱体火焰燃烧振荡的被动控制效果。本文通过单反相机和高速摄像获取了火焰平均结构和瞬态图像,并通过相平均图像和本征正交分解研究了火焰动态演变过程。结果表明,当台阶高度为0 mm时,不同斜坡张角的斜坡限制域均能对燃烧振荡起到非常显著的抑制效果。而在30°斜坡张角的斜坡限制域中,随着台阶高度的增加,抑制效果变差,但振幅相较突扩限制域发生了明显的降低。

关键词：燃烧室脱体火焰燃烧振荡被动控制斜坡限制域