检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

并发对象强可线性化性质的检测和验证

软件学报 2024年第9期35卷 4141-4159页

作者：王超贾巧雯吕毅吴鹏西南大学计算机与信息科学学院软件研究与创新中心重庆400715 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190 中国科学院大学北京100049

可线性化被公认为并发对象正确性标准,但其已被证明不能作为含有随机语句的并发对象的正确性标准.为此,Golab等人提出了强可线性化概念,它在可线性化的定义上增加了前缀保持性质,对并发对象具有更强的约束性.关于强可线性化的研究集中... 详细信息

可线性化被公认为并发对象正确性标准,但其已被证明不能作为含有随机语句的并发对象的正确性标准.为此,Golab等人提出了强可线性化概念,它在可线性化的定义上增加了前缀保持性质,对并发对象具有更强的约束性.关于强可线性化的研究集中在使用特定的基本对象构造满足强可线性化性质的并发对象的可行性.对常见的并发对象的强可线性化性质的检测和验证方面的研究较为少见.从并发对象的验证算法和证否方法两个方面研究了强可线性化性质.首先,细化强可线性化性质,将它细分为固定生效点和单纯帮助两类,并证明固定生效点是已有的固定可线性化点概念的扩展.其次,提出两种强可线性化的验证算法,其中一种基于固定可线性化点,另一种基于固定生效点.最后,给出一个构造性的证明并发对象违背强可线性化的证明方法,依据该方法证明了Herlihy&Wing队列、一种单读单写寄存器实现和一种并发快照实现违反强可线性化性质.

关键词：并发对象正确性标准可线性化强可线性化

在线全文

学校读者我要写书评

暂无评论

地铁隧道施工对近邻建筑物及农田影响分析

山西建筑 2024年第17期50卷 179-182页

作者：周敬南锟鲁巧稚张密刘跃军中国建筑标准设计研究院有限公司北京100048

地铁区间隧道施工对周边环境造成的不利影响是地铁建设中的重点问题。以某地铁隧道施工过程中近邻建筑物及农田损害为例,通过对建筑物现场检测、水准测量、RTK测量,获取建筑物损伤及农田塌陷特征数据,测定出地铁隧道线路与建筑物、农田... 详细信息

地铁区间隧道施工对周边环境造成的不利影响是地铁建设中的重点问题。以某地铁隧道施工过程中近邻建筑物及农田损害为例,通过对建筑物现场检测、水准测量、RTK测量,获取建筑物损伤及农田塌陷特征数据,测定出地铁隧道线路与建筑物、农田相对位置关系,同时采用FLAC3D有限差分仿真计算软件对隧道开挖施工过程进行数值模拟分析,得出地铁隧道下穿受损建筑物及农田,隧道施工引起的地表沉降是导致建筑物与农田损害的直接原因,分析结果可为类似工程提供参考。

关键词：地铁隧道地表沉降 RTK测量数值模拟

在线全文

学校读者我要写书评

暂无评论

储能式低温空分系统热力学与经济性分析

化工学报 2024年第7期75卷 2409-2421页

作者：秦晓巧谭宏博温娜西安交通大学制冷与低温工程系陕西西安710049

低温空气分离设备是大型化工系统的高耗能环节,若与液态空气储能技术相结合,可有效平衡电网峰谷负荷,显著提高系统的经济效益。提出了一种储能式低温空分系统(ASU-ESG),利用谷电制取液态空气并储存,在峰电期内液态空气膨胀发电并参与低... 详细信息

低温空气分离设备是大型化工系统的高耗能环节,若与液态空气储能技术相结合,可有效平衡电网峰谷负荷,显著提高系统的经济效益。提出了一种储能式低温空分系统(ASU-ESG),利用谷电制取液态空气并储存,在峰电期内液态空气膨胀发电并参与低温精馏。此方案可有效降低系统在用电峰时的压缩负荷和电力成本,改善空分装置的负荷调节能力。研究结果表明,空气处理量为60000 m^(3)/h的ASU-ESG系统的日均制氧压缩功比功耗为0.378 kW·h/m^(3),储能和释能过程氧提取率分别为89.46%和93.71%。相比常规ASU系统,该系统的谷时压缩负荷提高了28%,峰时压缩负荷降低了20%,可节约年度用电成本5.72%~6.88%,动态回收期仅为3.3~4.3年,全生命周期净现值可达(19714.6~28074.7)万元。本系统可平衡电网峰谷波动,并利用电价差显著提高系统的经济效益。

关键词：空气分离液态空气储能动态回收期

维普期刊数据库博看期刊

在线全文

学校读者我要写书评

暂无评论

区域性学术期刊出版集团的建设思考

出版广角 2024年第S1期 53-56页

作者：张淑巧广西出版杂志社有限公司

学术期刊普遍存在主管、主办和出版单位分布分散，出版单位大多以单刊编辑部为主的特点，难以做大做强。在地方行政主管部门的支持下，以规模性出版企业为主导，对区域内的学术期刊进行并购整合，是打造区域性学术期刊出版集团现实可行... 详细信息

学术期刊普遍存在主管、主办和出版单位分布分散，出版单位大多以单刊编辑部为主的特点，难以做大做强。在地方行政主管部门的支持下，以规模性出版企业为主导，对区域内的学术期刊进行并购整合，是打造区域性学术期刊出版集团现实可行的路径。区域性学术期刊出版集团在建设过程中，应尊重学术期刊办刊特点，以优质学术期刊为龙头重组整合资源，营造丰富的学术期刊生态和完善的期刊梯队，实现资源的共享与增生。

关键词：学术期刊集团区域性并购整合规模性出版企业出版产业集团化

统筹职业教育、高等教育、继续教育协同创新:历史、价值与路径

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

职业技术教育 2024年第7期45卷 26-32页

作者：何巧巧湖北职业教育研究院孝感432000 湖北职业技术学院职业教育研究中心编辑室

统筹职业教育、高等教育、继续教育协同创新是加快建设高质量教育体系的重要举措,职业教育、高等教育、继续教育协同创新经历了独立到融通的发展历程、模糊到清晰的目标定位过程、粗疏到完善的体系建构过程。统筹职业教育、高等教育、... 详细信息

统筹职业教育、高等教育、继续教育协同创新是加快建设高质量教育体系的重要举措,职业教育、高等教育、继续教育协同创新经历了独立到融通的发展历程、模糊到清晰的目标定位过程、粗疏到完善的体系建构过程。统筹职业教育、高等教育、继续教育协同创新具有推进教育现代化、适应产业变革、应对人口结构变化的重要价值。体系上,要打造纵向到底横向到边的终身教育体系、建立互认互信互融互促的人才培养体系和多层畅通互相支持的教育评价体系。制度上,要构建结构完整的职业教育三级学位制度,完善职业教育、高等教育、继续教育专业设置管理办法,推进功能齐全内容丰富的学分银行制度。

关键词：职业教育高等教育继续教育协同创新

在线全文

学校读者我要写书评

暂无评论

第一部《毛泽东选集》的出版

中国档案 2024年第6期 18-19页

作者：焦钰巧中央档案馆

《毛泽东选集》(以下简称《毛选》)是毛泽东思想的重要载体和集中体现。从抗日战争时期至今,《毛选》不仅在国内发行多个版本,还先后被翻译成几十种文字在世界范围流传。其中,1944年5月晋察冀日报社编辑出版的《毛选》是最早的版本。聂... 详细信息

《毛泽东选集》(以下简称《毛选》)是毛泽东思想的重要载体和集中体现。从抗日战争时期至今,《毛选》不仅在国内发行多个版本,还先后被翻译成几十种文字在世界范围流传。其中,1944年5月晋察冀日报社编辑出版的《毛选》是最早的版本。聂荣臻元帅曾称赞道:“这是全国第一本系统选编毛泽东同志著作的选读本,为传播毛泽东思想做出了贡献。”党史专家龚育之评价这部《毛选》是“第一个系统的版本”“一个流传最早、最广泛的版本”。这部《毛选》为后来多个版本的校正、增订、选编、翻印提供了最早的参照蓝本,对研究毛泽东思想发展史、中国革命史等具有十分重要的意义。

关键词：《毛泽东选集》抗日战争时期中国革命史龚育之聂荣臻元帅毛泽东思想发展史编辑出版国内发行

在线全文

学校读者我要写书评

暂无评论

论大平东北风格音乐创演的传统与创新

文艺争鸣 2024年第3期 171-175页

作者：孟大山浙江音乐学院

在中国当代音乐领域,大平以其特色鲜明的创作风格和雅俗共赏的艺术作品,深刻地诠释了东北风格音乐创作的传统与创新。作为中宣部“五个一工程奖”、团中央“五个一工程奖”、中国音乐“金钟奖”获得者,扎根在东北这片既富饶又贫瘠的文... 详细信息

在中国当代音乐领域,大平以其特色鲜明的创作风格和雅俗共赏的艺术作品,深刻地诠释了东北风格音乐创作的传统与创新。作为中宣部“五个一工程奖”、团中央“五个一工程奖”、中国音乐“金钟奖”获得者,扎根在东北这片既富饶又贫瘠的文化黑土地中,大平逐步展现出其东北风格音乐创作的影响力^((1)).

关键词：传统与创新五个一工程奖中国当代音乐艺术作品音乐创作雅俗共赏黑土地创作风格

N-苄基丙烯酰胺的电化学三氟甲基化/螺环化合成三氟甲基取代2-氮杂螺[4.5]癸烷

在线全文

学校读者我要写书评

暂无评论

有机化学 2024年第3期44卷 981-988页

作者：周兰何红杨德巧侯中伟王磊台州学院高等研究院药学院浙江台州318000 杭州师范大学材料与化学化工学院、有机硅化学及材料技术教育部重点实验室杭州311121 中国科学院上海有机化学研究所、金属有机化学国家重点实验室上海200032

利用CF_(3)SO_(2)Na作为三氟甲基来源,开发了N-苄基丙烯酰胺的电化学三氟甲基化/螺环化反应.该方法在室温下于一个简单未分室电解池中进行,无需依赖金属试剂和氧化剂,为构建系列三氟甲基取代2-氮杂螺[4.5]癸烷提供了绿色和高效的路径.此... 详细信息

利用CF_(3)SO_(2)Na作为三氟甲基来源,开发了N-苄基丙烯酰胺的电化学三氟甲基化/螺环化反应.该方法在室温下于一个简单未分室电解池中进行,无需依赖金属试剂和氧化剂,为构建系列三氟甲基取代2-氮杂螺[4.5]癸烷提供了绿色和高效的路径.此外,反应易进行克级合成和转化.

关键词：有机电化学三氟甲基化螺环化螺环产物

数据产权的分配正义及其制度实现——基于马克思的产权论与正义观

在线全文

学校读者我要写书评

暂无评论

行政法学研究 2024年第3期 164-176页

作者：李巧巧中国人民大学哲学院北京100872

《数据二十条》为构建数据产权基础制度提供了框架性意见,但如何进行数据产权的立法设计和制度安排,目前学界众说纷纭。按照马克思的观点,产权本质上是特定生产关系的具体化、法律化。所以,数据产权的立法问题本质上是数据权益的分配问... 详细信息

《数据二十条》为构建数据产权基础制度提供了框架性意见,但如何进行数据产权的立法设计和制度安排,目前学界众说纷纭。按照马克思的观点,产权本质上是特定生产关系的具体化、法律化。所以,数据产权的立法问题本质上是数据权益的分配问题。数据的非竞争性、非消耗性特征,使得数据产权不再适用产权分配领域的科斯定理,而应将“体现效率、促进公平”作为构建利益均衡的数据产权结构的基准。在马克思的产权论与正义观视域下,数据产权的分配正义以占有事实为产权分配的初步根据,价值贡献为产权收益分配的充分理由,共同富裕为数据产权正义的最终目标。数据产权的分配正义最终要依靠国家制度来分类分级实现。在初次分配中,个人数据产权分配要侧重占有事实;企业数据产权分配要突出其价值贡献;公共数据产权分配应重视共同富裕。在再分配中,要发挥财政税收在数据产权收益分配中的引导调节作用,逐步建立数据课税制度和数据公共化制度。在三次分配中,要推动优势数据企业积极承担社会责任,创新税收和慈善制度以缩小数字鸿沟、增进社会公平、促进共同富裕。

关键词：数据二十条马克思产权理论数据产权分配正义共同富裕