检索结果-南通市图书馆

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

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

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

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

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

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

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

中西医结合治疗老年性急性脑梗死临床效果研究

在线全文

学校读者我要写书评

暂无评论

中国科技期刊数据库医药 2024年第3期 0138-0140页

作者：陈贞生博白县中医院广西玉林537600

探究临床老年性急性脑梗死(ACI)治疗中西医疗法结合的效果。方法本实验入组病例为老年性ACI者,研究病例从2022.01内开始筛选,期限终止于2023.03内,共90例ACI者入组,按疗法不同划分为45例/组予以研究。西医组ACI者以西医疗法为主,结合组... 详细信息

探究临床老年性急性脑梗死(ACI)治疗中西医疗法结合的效果。方法本实验入组病例为老年性ACI者,研究病例从2022.01内开始筛选,期限终止于2023.03内,共90例ACI者入组,按疗法不同划分为45例/组予以研究。西医组ACI者以西医疗法为主,结合组ACI者以中西医疗法结合为主。比较梅尔评估量表(FMA)评分、卒中量表(NIHSS)评分、生活质量量表(QLQ)-C30评分等变化、副反应及疗效程度。结果相比于入院时,两组ACI者出院时FMA评分、QLQ-C30评分均提高,而NIHSS评分下降,且结合组ACI者的三项得分更优(P0.05)。相比于西医组ACI者,结合组ACI者的疗效程度更高(P<0.05)。结论临床ACI治疗中西医疗法结合后,可改善肢体和神经等各方面功能,也可对生活状况加以改善,且副反应轻微,安全性高,疗效可靠,有推广优势。

关键词：老年性急性脑梗死中西医结合肢体功能神经功能生活质量

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

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

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

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

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

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

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

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

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

化工学报 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年第6期 18-19页

作者：焦钰巧中央档案馆

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

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

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

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

在线全文

学校读者我要写书评

暂无评论

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

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

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

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

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

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

在线全文

学校读者我要写书评

暂无评论

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

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

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

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

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

在线全文

学校读者我要写书评

暂无评论

基于夜间灯光数据的区域经济收敛性研究

统计与决策 2024年第12期40卷 108-112页

作者：肖巧俐王跃上海大学体育学院上海200444 华东理工大学商学院上海200237

文章用夜间灯光表征经济发展水平,基于夜间灯光数据与经济和产业结构的相关性分析,利用非线性时变因子模型的log-t检验,从产业结构视角对中国省级区域经济发展水平的收敛性进行识别,并运用Or⁃der logit模型分析了影响区域经济收敛性的... 详细信息

文章用夜间灯光表征经济发展水平,基于夜间灯光数据与经济和产业结构的相关性分析,利用非线性时变因子模型的log-t检验,从产业结构视角对中国省级区域经济发展水平的收敛性进行识别,并运用Or⁃der logit模型分析了影响区域经济收敛性的产业结构因素。研究发现:夜间灯光不仅能有效反映区域经济发展水平,还能对产业结构给出更敏感的表征。研究期间,除北京之外的其余30个省份的经济发展水平收敛至3个俱乐部,东、中、西部和东北四大地区内部出现了分化现象,俱乐部收敛和板块分化趋势体现了经济发展水平和产业结构的内在联系。产业结构的发展对推动区域经济增长起主导作用,对外开放、科技创新和人力资本的提升是驱动技术创新、产品创新、知识创新来加速产业结构转型升级从而提高区域经济发展水平的重要路径。

关键词：经济增长产业结构俱乐部收敛非线性时变因子模型夜间灯光

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]癸烷提供了绿色和高效的路径.此外,反应易进行克级合成和转化.

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