检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

基于区间向量抽象域的数值程序分析算法

计算机工程与设计 2015年第2期36卷 410-414页

作者：吴世堂李宁詹海潭中国航天科技集团公司第七一0研究所北京100037

为权衡对矩阵运算静态分析的精度和效率,针对程序中表示矩阵的变量,提出一种基于抽象解释的抽象与分析算法,即区间向量抽象域。将矩阵变量抽象为一个区间向量对,即行区间向量和列区间向量,矩阵各元素的值范围是由这两个区间向量对应元... 详细信息

为权衡对矩阵运算静态分析的精度和效率,针对程序中表示矩阵的变量,提出一种基于抽象解释的抽象与分析算法,即区间向量抽象域。将矩阵变量抽象为一个区间向量对,即行区间向量和列区间向量,矩阵各元素的值范围是由这两个区间向量对应元素的交集表示;设计在该抽象域上的操作以及迁移函数。通过对区间向量抽象域的计算,较好地权衡矩阵元素值范围分析的精确度和分析效率。实验结果表明,该抽象域能够较精确地分析程序中矩阵各元素的值范围,与现有的分析数组的抽象域相比,在分析精度和效率之间取得了合理权衡。

关键词：抽象解释区间向量抽象域静态分析区间分析

在线全文

学校读者我要写书评

暂无评论

军工高安全软件数值型运行时错误分析方法

空间控制技术与应用 2016年第6期42卷 58-62页

作者：黄明詹海潭张伟经小川李宁王潇茵中国工程物理研究院绵阳621900 中国航天系统科学与工程研究院北京100048

提出一种抽象解释和有界模型验证的数值型运行时错误分析方法.利用抽象解释方法分析程序数值变量范围,获得每个程序点达到不动点的变量初步值范围信息.根据待分析的运行时错误类型,在相关需要检测的程序点处将数值变量取值信息转化为断... 详细信息

提出一种抽象解释和有界模型验证的数值型运行时错误分析方法.利用抽象解释方法分析程序数值变量范围,获得每个程序点达到不动点的变量初步值范围信息.根据待分析的运行时错误类型,在相关需要检测的程序点处将数值变量取值信息转化为断言或假设形式插入程序中,将带有断言和假设的程序转化为布尔公式,验证其可满足性,进而验证断言的正确性.实验证明,该方法与现有方法相比,在精度和效率两方面都有良好的表现.

关键词：抽象解释有界模型验证数值型运行时错误值范围分析

在线全文

学校读者我要写书评

暂无评论

CO_(2)熔盐捕集与电解单质碳过程调节

工程科学学报 2024年第10期46卷 1776-1785页

作者：贾亚东吴涛陈云飞朱钊海潭王明涌北京科技大学绿色低碳钢铁冶金全国重点实验室北京100083

CO_(2)熔盐捕集与电解制备单质碳材料由于具有良好的选择性,被认为是一种极有前景的碳捕集利用与封存(CCUS)技术.然而,目前关于CO_(2)在熔盐体系下的动力学捕集机理研究尚显不足,并且电解过程中电耗较高,生产成本偏大,因此CO_(2)高效捕... 详细信息

CO_(2)熔盐捕集与电解制备单质碳材料由于具有良好的选择性,被认为是一种极有前景的碳捕集利用与封存(CCUS)技术.然而,目前关于CO_(2)在熔盐体系下的动力学捕集机理研究尚显不足,并且电解过程中电耗较高,生产成本偏大,因此CO_(2)高效捕集与低电耗电解是关键.本文计算了CO_(2)熔盐捕集转换碳酸盐热力学和碳酸盐电解理论电压与电耗,通过在线气体质谱仪、碳硫分析仪等研究了典型CaCl_(2)基熔盐中CO_(2)捕集动力学规律.通过恒电压电解、扫描电子显微镜(SEM)、拉曼光谱(Raman)等,在典型三元Na_(2)CO_(3)–K_(2)CO_(3)–Li_(2)CO_(3)熔盐和三元CaCl_(2)–NaCl–CaO熔盐中考察了温度和电压对CO_(2)电解制备单质碳材料电解过程、电耗和产物结构的影响规律.结果表明,相比于碱金属氧化物,CaO是较佳的CO_(2)捕集剂,捕集转化获得的CaCO_(3)具有最低的理论分解电压和电耗;在典型CaCl_(2)–3.0%CaO(质量分数)熔盐中,CO_(2)的捕集容量为0.016 gCO_(2)·g^(−1);相比于Na_(2)CO_(3)–K_(2)CO_(3)–Li_(2)CO_(3)熔盐,CaCl_(2)–NaCl–CaO熔盐捕集CO_(2)具有更低的电解电压和电耗,750℃和1.5 V最佳条件下,电解单质碳材料电流效率达到95.3%,电解电耗最低仅为14.1 kW·h·kg^(−1).本研究不仅为寻找性能优异、价格低廉、环境友好的CO_(2)熔盐捕集材料提供了基础,也为实际电解优化工艺指标提供理论依据.

关键词：二氧化碳捕集电解高温熔盐单质碳电耗

在线全文

学校读者我要写书评

暂无评论

左侧门静脉高压的诊治进展

中华消化杂志 2024年第3期44卷 205-211页

作者：徐学青陈洪潭浙江大学医学院附属第一医院消化内科杭州310003

左侧门静脉高压是由脾静脉阻塞引起的局限于门静脉系统左侧区域的临床综合征, 其临床特征是胃周侧支循环和胃食管静脉曲张形成, 同时门静脉通畅、肝功能无异常, 最常见的并发症为胃静脉曲张破裂出血。左侧门静脉高压属于可治愈性疾病, ... 详细信息

左侧门静脉高压是由脾静脉阻塞引起的局限于门静脉系统左侧区域的临床综合征, 其临床特征是胃周侧支循环和胃食管静脉曲张形成, 同时门静脉通畅、肝功能无异常, 最常见的并发症为胃静脉曲张破裂出血。左侧门静脉高压属于可治愈性疾病, 尽早识别和积极处理对其具有重要的临床意义。

关键词：左侧门静脉高压症脾静脉血栓胃底静脉曲张超声内镜

乡村儿童阅读帮扶行动研究——基于湖北省公安县的实证调研

在线全文

学校读者我要写书评

暂无评论

中国出版 2024年第12期 35-41页

作者：吕山苏映潭陈珂东莞理工学院文学与传媒学院中国传媒大学传播研究院中国传媒大学媒体融合与传播国家重点实验室

乡村儿童是乡村振兴战略关注的重要群体之一,有效提升乡村儿童阅读实践能力,生成全面持续的乡村儿童阅读服务机制,已成为拓宽乡村振兴发展空间的重要环节。为强化理论研究与具体实践的结合,对湖北省公安县乡村小学展开阅读帮扶的行动研... 详细信息

乡村儿童是乡村振兴战略关注的重要群体之一,有效提升乡村儿童阅读实践能力,生成全面持续的乡村儿童阅读服务机制,已成为拓宽乡村振兴发展空间的重要环节。为强化理论研究与具体实践的结合,对湖北省公安县乡村小学展开阅读帮扶的行动研究,基于对乡村儿童阅读需求的分析,设计阅读帮扶行动框架并进行精准实践与评估。研究结果表明,建立“家庭辅助—学校增能—村社支持”的阅读帮扶互动机制是改善乡村儿童阅读现状的可行路径,在乡村振兴的框架下从个体需求把握动态化、家庭与学校运作高效化、帮扶体系持续化三个关键要点出发,有助于推动乡村儿童阅读帮扶体系的发展与完善。

关键词：乡村振兴乡村儿童阅读帮扶行动研究

大面积有机–无机杂化钙钛矿薄膜及其光伏应用研究进展

在线全文

学校读者我要写书评

暂无评论

无机材料学报 2024年第5期39卷 457-466页

作者：张慧许志鹏朱从潭郭学益杨英中南大学冶金与环境学院长沙410083 中南大学有色金属资源循环利用湖南省重点实验室长沙410083

有机–无机杂化钙钛矿太阳能电池具有制备成本低、光电转换效率(Photoelectric Conversion Efficiency,PCE)高的巨大优势,显示出广阔的商业化前景。经过十几年的深入研究,钙钛矿太阳能电池(Perovskite Solar Cells,PSCs)的实验室器件(80... 详细信息

有机–无机杂化钙钛矿太阳能电池具有制备成本低、光电转换效率(Photoelectric Conversion Efficiency,PCE)高的巨大优势,显示出广阔的商业化前景。经过十几年的深入研究,钙钛矿太阳能电池(Perovskite Solar Cells,PSCs)的实验室器件(800 cm^(2))的最高认证PCE已分别提升至26.10%、24.35%、22.40%和18.60%。随着PSCs面积扩大,PCE急剧下降,这主要是因为制备方法的局限性,难以获得高质量的大面积钙钛矿薄膜。实验室器件常采用的旋涂法难以应用到实际生产中,目前大面积钙钛矿薄膜的制备方法主要有刮涂法和狭缝涂布法,但其存在薄膜成核结晶过程难以精确控制等问题。本文从大面积有机–无机杂化钙钛矿薄膜的制备方法入手,介绍了大面积钙钛矿层成膜机制及薄膜质量提升策略。最后,对未来高PCE、高稳定性的大面积PSCs的制备技术和应用进行了展望,旨在对高性能的大面积PSCs研究提供有益参考。

关键词：钙钛矿薄膜钙钛矿太阳能电池大面积成膜控制综述

同方期刊数据库

海带酶解物对生长育肥猪生长性能、肉品质和肠道形态的影响

在线全文

学校读者我要写书评

暂无评论

动物营养学报 2024年第3期36卷 1549-1561页

作者：曲元凯李明潭臧建军威海市世代海洋生物科技股份有限公司威海264319 中国农业大学动物科学技术学院北京100193

本试验旨在研究海带酶解物对生长育肥猪生长性能、肉品质和肠道健康的影响。选取体重[(45.3±7.5)kg]相近的生长猪200头,随机分为5组(每组5个重复,每个重复8头猪):对照组饲喂基础饲粮,试验组分别饲喂在基础饲粮中添加5、10、15和25 kg/... 详细信息

本试验旨在研究海带酶解物对生长育肥猪生长性能、肉品质和肠道健康的影响。选取体重[(45.3±7.5)kg]相近的生长猪200头,随机分为5组(每组5个重复,每个重复8头猪):对照组饲喂基础饲粮,试验组分别饲喂在基础饲粮中添加5、10、15和25 kg/t海带酶解物的试验饲粮,试验期84 d。结果表明:与对照组相比,1)饲粮中添加10 kg/t的海带酶解物组试验全期料重比显著降低(P海带酶解物显著提高了育肥猪屠宰后背最长肌的红度(a∗)值(P海带酶解物组育肥猪空肠和回肠的绒毛高度显著增加(P海带酶解物可以改善生长育肥猪生长性能、肉品质和肠道形态;基于本试验结果,生长育肥猪饲粮中海带酶解物的推荐添加量为10~15 kg/t。

关键词：海带酶解物生长育肥猪生长性能肉品质肠道形态

基于Cite Space的污水处理厂生命周期碳排放评价领域研究热点

在线全文

学校读者我要写书评

暂无评论

应用与环境生物学报 2024年第3期30卷 633-641页

作者：唐婧李威潭杨佳豪沈阳建筑大学市政与环境工程学院沈阳110168

污水处理厂是温室气体排放的重要来源之一,生命周期评价(LCA)对制定污水处理厂碳减排策略和指导新技术向环境友好型方向发展具有重要作用.为揭示近23年来LCA在污水处理厂碳排放领域的发展历程和研究热点,采用CiteSpace和Origin软件对Web... 详细信息

污水处理厂是温室气体排放的重要来源之一,生命周期评价(LCA)对制定污水处理厂碳减排策略和指导新技术向环境友好型方向发展具有重要作用.为揭示近23年来LCA在污水处理厂碳排放领域的发展历程和研究热点,采用CiteSpace和Origin软件对WebofScience核心合集数据库中该领域相关文献的研究前沿、研究方向、研究热点及热点演变趋势进行定量分析. 2001-2023年间,污水处理厂生命周期碳排放领域年发文量整体呈现增长趋势;研究的中坚力量集中在中国和美国;明确污水处理厂生命周期碳排放研究的目标和范围定义、功能单元和系统边界、数据清单中变量及其来源、影响评估方法和结果解释方法,是应用LCA法设计和优化污水处理厂碳排放的知识基础;该领域目前的研究方向主要集中在评估不同污水处理、污泥处理技术和资源/能源回收技术的碳排放、能源消耗以及全球变暖潜力等环境影响;“资源回收”和“模型”以及两者的结合是未来的研究热点和发展趋势.由此可见,未来的研究应在提高模型评估结果准确性的基础上,深入探究不同处理技术和资源/能源回收技术的碳减排潜力,从LCA的角度优化碳减排方案.

关键词： CiteSpace 生命周期评价污水处理厂碳排放知识图谱

同方期刊数据库

螺旋形压电悬臂梁多方向振动能量采集器设计及性能分析

在线全文

学校读者我要写书评

暂无评论

传感技术学报 2024年第4期37卷 551-557页

作者：曹东兴詹昌海李莎莎毛佳佳北京工业大学材料与制造学部机械结构非线性振动与强度北京市重点实验室

为适应振动环境多方向激励输入，提出一种基于螺旋形压电悬臂梁结构的多方向振动能量采集器。首先把聚偏氟乙烯（PVDF）粘贴在紫铜基层上组成螺旋压电片，进一步由四个螺旋压电片组成双向耦合的振动能量采集器。通过有限元仿真和实验分... 详细信息

为适应振动环境多方向激励输入，提出一种基于螺旋形压电悬臂梁结构的多方向振动能量采集器。首先把聚偏氟乙烯（PVDF）粘贴在紫铜基层上组成螺旋压电片，进一步由四个螺旋压电片组成双向耦合的振动能量采集器。通过有限元仿真和实验分析单螺旋压电片和四片耦合的多方向振动能量采集器的振动特性及能量采集特性，探讨了螺旋形结构几何参数和附加质量对其固有频率的影响、负载电阻对其输出功率的影响以及在不同负载下的开路输出电压和功率。结果表明，半径、径向节距、配重质量和厚度对对单片螺旋压电片的固有频率影响较大。通过对其附加5 g和10 g附加质量，将第一阶固有频率从无附加质量的29 Hz分别降至22 Hz和18 Hz;最佳外接电阻为1×10～7Ω,峰值电压和功率分别为12 V和7μW。对于由四片螺旋压电片组成的多方向振动能量采集器，结果表明其在5 m/s2加速度激振器激励时，输出电压最高可达17 V,具有良好的低频振动能量多方向采集的效果。

关键词：振动能量采集螺旋压电梁多方向低频振动固有频率