检索结果-南通市图书馆

专项债赋能经济高质量发展的机理与成效——以青岛市为例

在线全文

学校读者我要写书评

暂无评论

青岛职业技术学院学报 2024年第2期37卷 64-69页

作者：陈丽茜杜怡颖青岛理工大学商学院山东青岛266520

近年青岛市专项债发行规模持续扩张,有力促进了经济的稳定发展。同时,债务扩张引发的资源配置扭曲和金融风险累积不容忽视。解决专项债投资效率低下、债务资金空间配置失衡、信贷竞争挤出企业投融资等一系列问题,需要加强专项债项目申... 详细信息

近年青岛市专项债发行规模持续扩张,有力促进了经济的稳定发展。同时,债务扩张引发的资源配置扭曲和金融风险累积不容忽视。解决专项债投资效率低下、债务资金空间配置失衡、信贷竞争挤出企业投融资等一系列问题,需要加强专项债项目申报审核管理,回归专项债“投资”属性,稳控债务增速,并将人口要素纳入发展规划,以优化资源配置效率、助推产业升级和激发企业创新活力。

关键词：专项债高质量发展机理成效

两种Cd积累型番茄品种联合土著微生物对土壤有效态Cd的影响

在线全文

学校读者我要写书评

暂无评论

中国生态农业学报（中英文） 2024年第7期32卷 1227-1240页

作者：孟庆宇张光伟高夕彤高佳圆米良陈莉倩杨志新河北农业大学资源与环境科学学院/河北省农田生态环境重点实验室保定071000 省部共建华北作物改良与调控国家重点实验室保定071000

镉(Cd)在作物体内的累积能力主要受土壤Cd有效性决定,为降低Cd积累和保障作物安全,本研究以低Cd积累型‘普罗旺斯’和高Cd积累型‘合作908’番茄品种为研究对象,结合Illumina MiSeq测序,探讨番茄和土著微生物共同作用对土壤中有效态Cd... 详细信息

镉(Cd)在作物体内的累积能力主要受土壤Cd有效性决定,为降低Cd积累和保障作物安全,本研究以低Cd积累型‘普罗旺斯’和高Cd积累型‘合作908’番茄品种为研究对象,结合Illumina MiSeq测序,探讨番茄和土著微生物共同作用对土壤中有效态Cd及微生物多样性的影响。试验设置背景土壤(Cd含量0.24 mg·kg^(-1))和Cd污染土壤(Cd含量0.60 mg·kg^(-1))的灭菌(无土著微生物)与不灭菌(有土著微生物)处理,在此基础上,分别设置不种植番茄、种植‘合作908’和‘普罗旺斯’处理。结果表明:在背景土壤和Cd污染土壤中,‘合作908’吸收积累土壤Cd的能力均显著高于‘普罗旺斯’。与不种植(CK)相比,在灭菌土壤种植‘普罗旺斯’和‘合作908’的单一作用使污染土壤有效态Cd含量分别增加3.16%和5.26%;不灭菌土壤的土著微生物单一作用使污染土壤有效态Cd增加27.37%;不灭菌土壤种植‘普罗旺斯’和‘合作908’(与土著微生物联合)比在灭菌土壤中作物单一种植使土壤有效态Cd含量分别增加29.59%和28.00%,比不灭菌土壤(土著微生物单一作用)分别提高4.96%和5.79%。与CK处理相比,不灭菌污染土壤种植‘普罗旺斯’和‘合作908’使土壤鞘氨醇单胞菌属(Sphingomonas)、微鞘藻属(Microcoleus)、Haliangium和爬管菌属(Herpetosiphon)相对丰度均明显增加。同时,在不灭菌污染土壤种植‘普罗旺斯’处理中游动放线菌属(Actinoplanes)和硝化螺菌属(Nitrospira)相对丰度增加,而在不灭菌污染土壤种植‘合作908’处理中噬氢菌属(Hydrogenophaga)和溶杆菌属(Lysobacter)相对丰度增加,两处理间存在着明显的差异菌属。这些优势菌属可能与两种积累型番茄品种种植下的土壤有效态Cd含量差异有关。综上,两种积累型番茄品种-土著微生物的联合作用提高了土壤微生物的多样性,改变了土壤细菌群落结构,显著提升了土壤中有效态Cd的含量。

关键词：番茄 Cd积累型品种土著微生物 Cd污染土壤 Cd吸收积累土壤有效态Cd

Automated regression unit test generation for program merges

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

在线全文

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2022年第9期65卷 297-298页

作者： Tao JI liqian chen Xiaoguang MAO Xin YI Jiahong JIANG College of Computer National University of Defense Technology Beijing Institute of Tracking and Telecommunication Technology

Dear editor,Merging of various branches of software with the current branch is common in collaborative software *** decades of hard work on detecting merge conflicts,various tools have been proposed [1] for assisting software developers in detecting and resolving conflicts. However,software developers are still deeply relying on textual merge tools to handle complicated merge tasks [2]. They may not be able to detect latent semantic merge conflicts, which reduces the software quality.

关键词： Software testing

蔬菜废弃物堆肥中耐高温菌QK降解木质纤维素的特征

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

河北农业大学学报 2024年第2期47卷 65-72页

作者：王镱颖李家辉张惠陈莉倩王小敏宁国辉杨志新河北农业大学资源与环境科学学院/省部共建华北作物改良与调控国家重点实验室/河北省农田生态环境重点实验室河北保定071000

为探究添加微生物对好氧堆肥中木质纤维素降解特征,本研究以番茄、甜瓜蔬菜废弃物为原料,设置不添加菌剂对照组CK和添加自主筛选的耐55℃高温芽孢杆菌QK进行高温好氧堆肥试验,采集0、7、15和31 d样品分析木质纤维素含量、酶活性以及微... 详细信息

为探究添加微生物对好氧堆肥中木质纤维素降解特征,本研究以番茄、甜瓜蔬菜废弃物为原料,设置不添加菌剂对照组CK和添加自主筛选的耐55℃高温芽孢杆菌QK进行高温好氧堆肥试验,采集0、7、15和31 d样品分析木质纤维素含量、酶活性以及微生物多样性,探究蔬菜废弃物堆肥中耐高温菌QK降解木质纤维素的特征。结果表明,添加QK对纤维素、半纤维素、木质素的降解率分别为65.14%、58.28%、48.51%,较CK提高了8.27%、7.26%、15.21%。添加QK提升了羧甲基纤维素酶、半纤维素木聚糖酶、木质素过氧化物酶、锰过氧化物酶、漆酶活性,较CK显著提升22.64%、25.46%、50%、186.25%、61.70%。添加QK改变了细菌和真菌群落结构及多样性,其Shannon指数均得到显著提高,增加促进木质纤维素降解的拟诺卡氏菌属(Nocardiopsis)、短杆菌属(Brachybacterium)等相对丰度,同时降低病原菌棒杆菌属(Corynebacterium)、气球菌属(Aerococcus)相对丰度。耐高温芽孢杆菌QK的表现特征掲示它可以作为堆肥的良好促腐菌剂,并为解析木质纤维素降解转化机制提供了理论依据。

关键词：蔬菜废弃物好氧堆肥耐高温菌木质纤维素酶活性微生物多样性

Recent advances on trusted computing in China

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

在线全文

学校读者我要写书评

暂无评论

Chinese Science Bulletin 2012年第35期57卷 4529-4532页

作者： DONG Wei chen liqian School of Computer National University of Defense TechnologyChangsha 410073China National Laboratory for Parallel and Distributed Processing Changsha 410073China

This article highlights some recent research advances on trusted computing in China,focusing mainly on the methodologies and technologies related to trusted computing module,trusted computing platform,trusted network ... 详细信息

关键词：可信计算平台中国计算模块网络连接软件

在线全文

学校读者我要写书评

暂无评论

抽象解释及其应用研究进展

计算机研究与发展 2023年第2期60卷 227-247页

作者：陈立前范广生尹帮虎王戟国防科技大学计算机学院长沙410073 国防科技大学系统工程学院长沙410073 高性能计算国家重点实验室国防科技大学长沙410073

抽象解释是一种对用于形式描述复杂系统行为的数学结构进行抽象和近似并推导或验证其性质的理论.抽象解释自20世纪70年代提出以来,在语义模型、程序分析验证、混成系统验证、程序转换、系统生物学模型分析等领域取得了广泛应用.近年来,... 详细信息

抽象解释是一种对用于形式描述复杂系统行为的数学结构进行抽象和近似并推导或验证其性质的理论.抽象解释自20世纪70年代提出以来,在语义模型、程序分析验证、混成系统验证、程序转换、系统生物学模型分析等领域取得了广泛应用.近年来,抽象解释在程序分析、神经网络验证、完备性推理、抽象域改进等方面取得较大进展.基于此,系统综述了抽象解释及其应用的研究进展.首先概述了抽象解释理论的基本概念,介绍了抽象解释理论、抽象域的研究进展;然后概述了基于抽象解释的程序分析方面的研究进展;之后概述了基于抽象解释的神经网络模型验证、神经网络模型鲁棒训练、深度学习程序的分析等方面的研究进展;又对抽象解释在智能合约可信保证、信息安全保证、量子计算可信保证等方面的应用进展进行了介绍;最后指明了抽象解释未来可能的研究方向.

关键词：抽象解释程序语义程序分析形式验证抽象域

The Impact of Foreign Trade on Carbon Emission Efficiency in the Yangtze River Delta

在线全文

学校读者我要写书评

暂无评论

The Impact of Foreign Trade on Carbon Emission Efficiency in...

尼可刹米辅助治疗AECOPD并Ⅱ型呼吸衰竭患者的疗效

作者： Shuli Dong liqian chen Jiahao Wang School of enterprise management Hohai University School of Internet of things Engineering Hohai University

Based on the perspective of all factors, this article uses the super-efficiency SBM model that considers undesirable output to measure the carbon emission efficiency in the Yangtze River Delta, and studies the impact of foreign trade on the carbon emission efficiency by establishing the panel model. The study found that the overall carbon emission efficiency in the Yangtze River Delta is relatively high, among which Shanghai has the highest efficiency. In addition, there is a significant positive correlation between foreign trade and carbon emission efficiency, and expanding the level of foreign trade can further improve carbon emission efficiency. Finally, according to the above conclusions, the corresponding policy recommendations are given.

关键词： Yangtze River Delta foreign trade carbon emission efficiency

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

临床合理用药杂志 2023年第33期16卷 22-25,29页

作者：林杰陈丽茜冼沛勤广东省肇庆市第二人民医院呼吸内科 526000

目的观察尼可刹米辅助治疗慢性阻塞性肺疾病急性加重期(AECOPD)并Ⅱ型呼吸衰竭患者的疗效。方法选取2019年9月—2021年9月肇庆市第二人民医院收治的AECOPD并Ⅱ型呼吸衰竭患者59例,根据随机数字表法分为呼吸机治疗组(n=29)与联合药物治疗... 详细信息

目的观察尼可刹米辅助治疗慢性阻塞性肺疾病急性加重期(AECOPD)并Ⅱ型呼吸衰竭患者的疗效。方法选取2019年9月—2021年9月肇庆市第二人民医院收治的AECOPD并Ⅱ型呼吸衰竭患者59例,根据随机数字表法分为呼吸机治疗组(n=29)与联合药物治疗组(n=30)。呼吸机治疗组给予BiPAP无创呼吸机治疗,联合药物治疗组在呼吸机治疗组基础上联合尼可刹米治疗,2组患者均持续治疗7 d。比较2组临床疗效,治疗前与治疗7 d后肺功能指标[呼气流量峰值占预计值百分比(PEF%)、用力肺活量(FVC)、第1秒用力呼气容积(FEV_(1))、FEV_(1)/FVC]、血气指标[动脉血氧分压(PaO_(2))、动脉血二氧化碳分压(PaCO_(2))]、炎性指标[白细胞计数(WBC)、C反应蛋白(CRP)、降钙素原(PCT)、白介素-4(IL-4)]及蛋白酶水平。结果联合药物治疗组总有效率为93.33%,高于呼吸机治疗组的68.97%(χ^(2)=5.773,P=0.016)。治疗7 d后,联合药物治疗组PEF%高于治疗前,2组FVC、FEV_(1)、FEV_(1)/FVC高于治疗前,且联合药物治疗组PEF%、FVC、FEV_(1)、FEV_(1)/FVC高于呼吸机治疗组(P<0.05或P<0.01);2组PaO_(2)高于治疗前,PaCO_(2)低于治疗前,且联合药物治疗组升高/降低幅度大于呼吸机治疗组(P<0.01);2组WBC及血清CRP、PCT、IL-4水平低于治疗前,且联合药物治疗组低于呼吸机治疗组(P<0.05或P<0.01);2组中性粒细胞弹性蛋白酶、抗中性粒细胞组织蛋白酶G水平低于治疗前,且联合药物治疗组低于呼吸机治疗组(P<0.01)。结论尼可刹米辅助治疗AECOPD并Ⅱ型呼吸衰竭可提高患者肺功能,减轻炎性反应,改善血气指标,进而增强临床疗效。

关键词：慢性阻塞性肺疾病急性加重期 Ⅱ型呼吸衰竭 BiPAP无创呼吸机尼可刹米炎性因子

基于局部堆内存抽象表示的堆操作程序内存泄露检测

在线全文

学校读者我要写书评

暂无评论

计算机研究与发展 2012年第9期49卷 1832-1842页

作者：董龙明王戟陈立前董威国防科学技术大学计算机学院并行与分布处理国家重点实验室长沙410073 国防科学技术大学计算机学院计算机系长沙410073

堆操作程序通过共享易变数据结构可灵活地申请、合并、删除堆内存.这类程序的内存泄漏检测要求精确的域敏感的指针别名信息,变得尤其复杂和难以处理.针对这个问题,提出了基于"指针扩展类型"域敏感的堆内存抽象方法,对指针变量在形态上... 详细信息

堆操作程序通过共享易变数据结构可灵活地申请、合并、删除堆内存.这类程序的内存泄漏检测要求精确的域敏感的指针别名信息,变得尤其复杂和难以处理.针对这个问题,提出了基于"指针扩展类型"域敏感的堆内存抽象方法,对指针变量在形态上的排列关系进行抽象以支持堆的局部推理.首先,定义了各种基本语句的操作语义,然后基于该抽象方法采用前向数据流迭代算法提出了一种新的内存泄露检测算法.在Crystal编译框架下实现了面向C程序的内存泄漏检测原型工具Heapcheck,该工具支持复杂数据结构内指针型数据域上的内存泄露检测.在典型基准C程序上的实验结果分析表明,该方法与现有的技术相比在效率和精度上都具有优势.

关键词：堆操作程序指针扩展类型堆局部抽象内存泄漏检测数据流迭代静态分析