检索结果-南通市图书馆

基于超线性时序逻辑的无二义加权自动机的可检测性研究

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

天津理工大学学报 2025年第1期41卷 112-117页

作者：张涛彭皓天天津理工大学网络安全和信息化办公室天津工业大学控制科学与工程学院

文中从超线性时序逻辑(hyper linear temporal logic, HyperLTL)的角度深入探讨了加权离散事件系统(discrete event systems, DESs)的可检测性问题。先前关于DESs的研究通常假设事件转换是瞬时的或无需成本的。然而，在实际生产环境中... 详细信息

文中从超线性时序逻辑(hyper linear temporal logic, HyperLTL)的角度深入探讨了加权离散事件系统(discrete event systems, DESs)的可检测性问题。先前关于DESs的研究通常假设事件转换是瞬时的或无需成本的。然而，在实际生产环境中，事件转换往往涉及时间和成本的消耗，这需要在DESs研究中引入加权因素。加权决策策略旨在通过为不同事件或状态分配权重来优化系统性能、指导政策制定，并实现高效、安全和可靠地运行。讨论了从加权DESs建模中得出的无二义加权自动机(unambiguous weighted automata, UWAs)。在此基础上，将其转换为一种特殊的Kripke结构，以捕获此类加权自动机的信息，从而实现HyperLTL的明确表示。

关键词：网络安全离散事件系统可检测性超线性时序逻辑无二义加权自动机

具有空间限制结构的竹节状非晶Ni（OH）2纳米管包裹Cu纳米粒子用于流动池中CO2电还原成乙烷（英文）

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science China Materials 2025年

作者：王相宇孙卫培王鹏盛天高峰吴正翠 Key Laboratory of Functional Molecular Solids Ministry of Education Anhui Engineering Research Center of Carbon Neutrality Anhui Key Laboratory of Molecule-Based Materials College of Chemistry and Materials Science Anhui Normal University

当前在用于商业电流密度下CO2电还原（CO2ER）的催化剂和反应器设计方面取得了显著进展.然而,相对于其它C1和C2产物,C2气体产物乙烷的选择性通常较差,这些催化剂体系很少应用于乙烷生成.本文构建了竹节状非晶Ni（OH）2纳米管包裹Cu纳米...

当前在用于商业电流密度下CO2电还原（CO2ER）的催化剂和反应器设计方面取得了显著进展.然而,相对于其它C1和C2产物,C2气体产物乙烷的选择性通常较差,这些催化剂体系很少应用于乙烷生成.本文构建了竹节状非晶Ni（OH）2纳米管包裹Cu纳米粒子复合材料(Cu NPs@a-Ni（OH）2NTs)用于流动池中选择性CO2ER为乙烷.独特的Cu NPs@a-Ni（OH）2NTs提供了空间限制结构提高反应物种的吸附.Cu NPs和Ni（OH）2NTs界面由产生的NiOH物种稳定.生成的Cu@NiOH界面增进CO2活化成*C*OOH,增强Cu位点上*COL吸附,从而产生更多的*COH并进一步二聚,最终生成乙烷.同时,非晶Ni（OH）2纳米管促进水解离,有利于碳中间体质子化生成乙烷.在流动池中,Cu NPs@aNi（OH）2NTs在-0.7 V时乙烷法拉第效率达到48.3%,偏电流密度为-226.7 mA cm-2,并且在24 h内具有优异的稳定性.这项工作提供了一种合理的Cu基复合材料的设计策略用于流动池中选择性CO2E R为乙烷.

关键词：

南京市旧改型菜市场街区活力影响因素分析——以科巷菜市场街区为例

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

城市建筑 2025年第1期22卷 115-119,166页

作者：顾天峣方遥南京工业大学建筑学院

在我国城市更新工作注重基础设施建设的背景下,近年来南京市大力开展菜市场旧改工作,由此诞生了一批活力度较高的菜市场街区。文章选取科巷菜市场街区作为典型案例,通过对热力图、人口构成、业态构成等数据的收集与分析,探索菜市场街区... 详细信息

在我国城市更新工作注重基础设施建设的背景下,近年来南京市大力开展菜市场旧改工作,由此诞生了一批活力度较高的菜市场街区。文章选取科巷菜市场街区作为典型案例,通过对热力图、人口构成、业态构成等数据的收集与分析,探索菜市场街区活力的影响因素,最终确定公共交通设施、人口年龄构成和业态构成是影响菜市场街区活力的因素。

关键词：城市更新旧改型菜市场街区活力影响因素

维普期刊数据库

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

在线全文

学校读者我要写书评

暂无评论

垂直布里奇曼法生长氧化镓单晶及其性能表征

人工晶体学报 2025年

作者：黄东阳黄浩天潘明艳徐子骞贾宁齐红基杭州富加镓业科技有限公司中国科学院上海光学精密机械研究所

本文采用自主设计的垂直布里奇曼（VB）炉，通过动态模拟与实验深度耦合迭代优化的方法，建立了生长炉模型，通过优化生长炉的温场得到最佳温场，并根据模拟最佳温场对实际温场进行优化改造，成功生长出直径3英寸（1英寸=2.54 cm）氧化... 详细信息

本文采用自主设计的垂直布里奇曼（VB）炉，通过动态模拟与实验深度耦合迭代优化的方法，建立了生长炉模型，通过优化生长炉的温场得到最佳温场，并根据模拟最佳温场对实际温场进行优化改造，成功生长出直径3英寸（1英寸=2.54 cm）氧化镓(β-Ga2O3)单晶。进一步加工得到最大尺寸为直径2.5英寸的（100）面β-Ga2O3晶圆，并对β-Ga2O3晶体的结晶质量和光学性能进行了表征测试。测试结果表明，β-Ga2O3晶体具有较高质量，其紫外截止边为257.5 nm，对应光学带隙为4.78 eV，晶体的劳埃衍射斑点清晰、对称，摇摆曲线半峰全宽（FWHM）最小为39.6"。

关键词： β-Ga O 垂直布里奇曼法晶体生长高质量结晶宽禁带半导体

Z世代Citywalk的空间生产、交往实践与身份认同

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

思想理论教育 2025年第1期 106-111页

作者：张玉璞李拜天上海理工大学出版学院

以Z世代为主要群体的城市漫步（Citywalk）逐渐成为青年群体中流行的文化现象，也构成研究Z世代群体的新视角。在空间生产层面，以城市历史建筑、街区等作为空间实践基础，以Citywalk路线串联起空间实践策略，产出多元化的Citywalk地图... 详细信息

以Z世代为主要群体的城市漫步（Citywalk）逐渐成为青年群体中流行的文化现象，也构成研究Z世代群体的新视角。在空间生产层面，以城市历史建筑、街区等作为空间实践基础，以Citywalk路线串联起空间实践策略，产出多元化的Citywalk地图；在交往实践层面，寻找“搭子”促成交往对象的“去空间化”，制造“相遇”过程，形成交往方式的“再空间化”，连续性流动推进开放空间中的“再生产”；在身体认同层面，通过内在体验的“共鸣”增强自我身份认同，通过行走路线的规划设计完善群体身份认同，通过社交媒介的个性化叙事强化身份认同。Citywalk对青年人感受城市空间、丰富文化体验、融入城市生活具有重要作用。

关键词： Z世代 Citywalk 空间生产交往实践身份认同

基于EL-InVEST模型的玛多地震对高寒湿地面积及生境质量影响研究

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

生态环境学报 2025年

作者：顾天江杜凯毛旭锋金鑫于红妍唐文家吴艺刘泽碧青藏高原地表过程与生态保育教育部重点实验室青海省自然地理与环境过程重点实验室青海师范大学地理科学学院青海祁连山南坡森林生态系统国家定位观测研究站青海祁连山国家公园青海服务保障中心青海省生态环境厅

为准确评估2021年玛多地震对高寒湿地的影响，选取震中6度烈度带为研究区，依托Google Earth Engine （GEE）平台，融合Sentinel-2、Sentinel-1以及SRTM数据，构建原始光谱、植被指数、水体指数、红边指数、纹理、地形、雷达特征7个遥... 详细信息

为准确评估2021年玛多地震对高寒湿地的影响，选取震中6度烈度带为研究区，依托Google Earth Engine （GEE）平台，融合Sentinel-2、Sentinel-1以及SRTM数据，构建原始光谱、植被指数、水体指数、红边指数、纹理、地形、雷达特征7个遥感特征集，利用Stacking算法构建集成学习模型实现震前、震后的高寒湿地分类；结合In VEST模型实现地震前后生境质量的定量评估。结果表明，1)集成学习分类精度优于支持向量机和随机森林，特征优选方案下分类精度最高为92.741%、Kappa系数为0.902，较支持向量机和随机森林有所提高。2)在原始光谱的基础上加入纹理特征，湖泊湿地和河流湿地的分类精度可达0.987、0.933，加入地形特征后沼泽湿地分类精度可达0.857，纹理特征方差和相关性以及地形特征坡度、高程对高寒湿地分类效果影响显著。3)地震造成湿地面积减小，其中沼泽湿地减少43.088 km2，变化率为-0.254%；河流湿地减少31.654 km2，变化率为-3.522%，湖泊湿地面积下降4.971 km2，变化率为-0.303%。而裸地面积增加了36.160 km2。4)生境质量均值从震前0.523下降到震后0.482，高等级生境质量面积占比从7.399%下降到5.993%，而低等级生境质量面积占比从2.191%上升到7.658%。研究显示地震对高寒湿地产生负面影响，结果可为后续灾后生态恢复与管理提供依据。

关键词：遥感分类 Google Earth Engine 地震高寒湿地特征优选哨兵2号

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

粉墨春秋(二)

上海戏剧 1960年第7期 35-36页

作者：盖叫天何慢龔义江

《粉墨春秋》是著名京剧表演艺术家盖叫天先生的舞台艺术記录,第一集于1958年出版。他在表演艺术上的許多精辟的見解,对戏曲工作者极有启发,因此出版后受到讀者的重视和欢迎。但当时記录工作还未做完,发表的只是他的艺术生活的一部分。... 详细信息

《粉墨春秋》是著名京剧表演艺术家盖叫天先生的舞台艺术記录,第一集于1958年出版。他在表演艺术上的許多精辟的見解,对戏曲工作者极有启发,因此出版后受到讀者的重视和欢迎。但当时記录工作还未做完,发表的只是他的艺术生活的一部分。《粉墨春秋》第二集的記录整理工作,还在繼續进行,本刊特选擇盖叫天先生平生最杰出的关于“武松”的几个戏的表演艺术記录,尽先发表,以供大家参考研究。

关键词：武松酒店打虎身段艺术盖叫天太白醉写观众

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

粉墨春秋(二) 《獅子楼》

上海戏剧 1961年第3期 33-36页

作者：盖叫天何慢龚义江

《獅子楼》按老戏的路子是从打虎路遇武大郎起至杀嫂投案止,其中包括遇兄、归家、戏叔、挑帘、裁衣、定計謀害、訪邻告状、獅子楼替兄报仇等大小約二十余揚。近年作为折子戏演出,就只从武松奉差出外归来至杀西門庆止。这戏主要表現武松... 详细信息

《獅子楼》按老戏的路子是从打虎路遇武大郎起至杀嫂投案止,其中包括遇兄、归家、戏叔、挑帘、裁衣、定計謀害、訪邻告状、獅子楼替兄报仇等大小約二十余揚。近年作为折子戏演出,就只从武松奉差出外归来至杀西門庆止。这戏主要表現武松的剛正不阿、有仇必报、光明磊落和遇事胆大心細、有条不紊的精神。这种精神,从他替兄报仇这件事上,可以清楚地看出来。武松未曾奉差出门前已經听得一些关于潘金蓮

关键词：武松打虎潘金莲金薄武大郎

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

猜猜他是谁

小星星（阅读100分）（小学1-3年级） 2025年第1期 48-49页

作者：廖天乐巫彭彤(指导) 江西省赣州市章贡区阳明小学西郊路校区不详

他个子不高,头发像刺猬的刺一样竖起来,一双水灵灵的大眼睛炯炯有神。他是一个乐天派。有一次数学单元考试,他只考了八十多分。可他一点儿也不着急,笑着对我说:“没关系,回家再多练习几遍,下次说不定就可以考到九十多分。”

关键词：数学刺猬乐天派