检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

二进制翻译正确性及优化方法的形式化模型

计算机研究与发展 2019年第9期56卷 2001-2011页

作者：傅立国庞建民王军张家豪岳峰数学工程与先进计算国家重点实验室(战略支援部队信息工程大学)

二进制翻译在体系结构设计、程序性能优化、安全性分析以及软件移植等领域的研究中备受关注.不同应用场景对二进制翻译的需求各不相同,却总聚焦于翻译的正确性和翻译的效率2个方面.翻译的正确性用于评判翻译前后程序在逻辑功能上是否具... 详细信息

二进制翻译在体系结构设计、程序性能优化、安全性分析以及软件移植等领域的研究中备受关注.不同应用场景对二进制翻译的需求各不相同,却总聚焦于翻译的正确性和翻译的效率2个方面.翻译的正确性用于评判翻译前后程序在逻辑功能上是否具有等价性,而等价的证明依赖于适当的形式化模型.为了满足研究二进制翻译正确性以及翻译优化方法对理论模型的需求,对已有理论模型进行了深入的剖析,并进一步构建了新的基于后继关系的映射模型.该模型既能够形式化地描述正确翻译的二进制翻译过程所具备的性质和构造方法,也可以在翻译过程形式化描述的基础上对翻译过程优化方法的特征和性质进行描述.通过构建翻译正确性及翻译过程优化方法的形式化模型,为二进制翻译技术中关于翻译过程的实现以及优化方法的策略组合等进一步研究提供了更强的理论支撑.

关键词：二进制翻译翻译正确性效率翻译优化形式化模型

我国45岁及以上人群认知功能障碍的空间分布及其影响因素

在线全文

学校读者我要写书评

暂无评论

南方医科大学学报 2023年第4期43卷 611-619页

作者：贺舒凝张佳豪杨若男袁萍四川大学华西公共卫生学院//华西第四医院流行病与卫生统计学系四川成都610041

目的了解我国45岁及以上的中老年人认知功能障碍患病现状的空间分布及其影响因素,为区域化制定中老年人群认知功能障碍防控策略和措施提供理论依据。方法利用中国健康与养老追踪调查(CHARLS)第4期追访数据,选取认知功能数据完整的研究... 详细信息

目的了解我国45岁及以上的中老年人认知功能障碍患病现状的空间分布及其影响因素,为区域化制定中老年人群认知功能障碍防控策略和措施提供理论依据。方法利用中国健康与养老追踪调查(CHARLS)第4期追访数据,选取认知功能数据完整的研究对象进行研究,基于地理信息系统(GIS)技术,以省级作为空间分析单位,采用ArcGis 10.4软件对中老年人认知功能障碍情况进行空间统计分析。结果2018年,我国45岁及以上人群的认知功能障碍患病率为33.59%(5951/17716),全局空间自相关分析结果显示,患病率的Moran'I值=0.333085,表明认知功能障碍患病率存在空间聚集性,且为正自相关(P<0.001)。局部空间自相关分析结果显示,认知功能障碍患者的聚集区域主要在我国西南部。地理加权回归分析显示,男性、高龄、文盲是认知功能障碍患病的主要危险因素(P<0.05),且存在空间分布异质性,分别对我国北部、西部和西北部影响更大。结论我国45岁及以上人群认知功能障碍患病率较高,男性、高龄、文盲是认知功能障碍患病的主要危险因素,且空间分布存在差异,重点防控地区集中于我国北部、西部和西北部,不同地区的认知功能障碍防控措施应结合其地域特点,具备一定针对性。

关键词：认知功能障碍空间分布影响因素

同方期刊数据库博看期刊

莱阳凹陷莱阳群黑色页岩氧化还原敏感微量元素特征与有机质富集的控制因素

在线全文

学校读者我要写书评

暂无评论

现代地质 2023年第3期37卷 733-744页

作者：王续学张祥玉李守军张家豪张振宇山东科技大学地球科学与工程学院山东青岛266590 临沂大学生命科学学院山东临沂276000 中国地质科学院地质研究所自然资源部地层与古生物重点实验室北京100037

咸化湖盆泥岩和页岩的地球化学特征对咸化烃源岩的形成条件和沉积环境具有重要指示意义。对山东莱阳凹陷下白垩统莱阳群泥岩和页岩的氧化还原敏感微量元素(RSE,包括Mo、Cr、Zn、Cu、Ni、Co、V、As、U和Th)和总有机碳(TOC)进行分析,旨在... 详细信息

咸化湖盆泥岩和页岩的地球化学特征对咸化烃源岩的形成条件和沉积环境具有重要指示意义。对山东莱阳凹陷下白垩统莱阳群泥岩和页岩的氧化还原敏感微量元素(RSE,包括Mo、Cr、Zn、Cu、Ni、Co、V、As、U和Th)和总有机碳(TOC)进行分析,旨在恢复研究区氧化还原环境和探讨盐湖有机质富集的控制因素。研究结果显示,瓦屋夼组和止凤庄组泥岩的TOC含量较低,RSE没有明显富集,RSE及其比值(U/Th、Cu/Zn、V/Cr和Ni/Co)反映该沉积时期为氧化环境;水南组黑色泥页岩的TOC含量骤增,RSE显著富集,反映该沉积时期为弱还原环境;龙旺庄组和曲格庄组TOC含量迅速减小,RSE含量较低,反映该沉积时期为富氧环境。水南组黑色页岩有机质的富集与古气候、古生产力、古盐度和氧化还原条件等综合因素有关,其中古气候是导致古生产力、古盐度和氧化还原条件等因素变化的主控因素。

关键词：氧化还原敏感元素莱阳凹陷水南组黑色页岩有机质控制因素

大数据是经济高质量发展的新引擎吗?——基于数据基础设施与技术应用的双重效应解释

在线全文

学校读者我要写书评

暂无评论

统计研究 2023年第5期40卷 103-119页

作者：王欣亮张家豪刘飞西北大学公共管理学院西北大学哲学学院

本文以高质量发展为目标,对大数据基础设施与技术应用能力的双重驱动机制进行分析,验证“梅特卡夫定律”是否能解释大数据发展规律。研究发现,第一,大数据能通过推进市场一体化优化资本与劳动力配置,推进经济高质量发展,且大数据技术应... 详细信息

本文以高质量发展为目标,对大数据基础设施与技术应用能力的双重驱动机制进行分析,验证“梅特卡夫定律”是否能解释大数据发展规律。研究发现,第一,大数据能通过推进市场一体化优化资本与劳动力配置,推进经济高质量发展,且大数据技术应用的积极作用强于数据基础设施。第二,现阶段,数据基础设施与技术应用存在异质性高质量发展效应,前者的积极效应发挥需跨越一定门槛,且存在“适度区间”;后者则呈正向“边际递增”特征,且在数据基础设施支撑下,数据技术应用的“边际递增”效应增强。第三,“邻近合作”有利于激发数据基础设施的高质量发展溢出作用,“技术强强联合”可增强数据技术应用的空间溢出作用。第四,数据技术应用的积极效应发挥存在营商环境与教育水平依赖性,现阶段其仅能激发数字经济产业高质量发展,在传统产业方面动力不足。本文证明了“梅特卡夫定律”在大数据应用中依然存在,有助于加深对数据基础设施建设与技术应用能力提升的认识。

关键词：大数据数据基础设施数据技术应用经济发展质量

同方期刊数据库

在线全文

学校读者我要写书评

暂无评论

考虑输入变量相关性的输电网区间潮流分析

电力自动化设备 2020年第12期40卷 172-178页

作者：冷仕鹏刘开培冉晓洪张嘉豪张学志武汉大学电气与自动化学院湖北武汉430072 国网江西省电力有限公司南昌市红谷滩供电分公司江西南昌330006

在仿射算法的基础上,考虑电力系统中部分输入变量之间的相关性对区间潮流算法进行改进。构建以平行四边形模型为基础的区间相关性体系,建立考虑区间相关性的电力系统不确定潮流模型。考虑区间包络不够准确对区间潮流计算准确性的影响,... 详细信息

在仿射算法的基础上,考虑电力系统中部分输入变量之间的相关性对区间潮流算法进行改进。构建以平行四边形模型为基础的区间相关性体系,建立考虑区间相关性的电力系统不确定潮流模型。考虑区间包络不够准确对区间潮流计算准确性的影响,提出一种基于凸多边形模型的区间潮流计算方法。利用仿射算法将传统的区间潮流迭代转化成一组非线性优化问题,通过凸多边形模型将区间变量之间的相关关系转换成一组新的约束条件,并利用优化算法对该非线性优化问题进行求解,得到一系列更窄的区间潮流解。2个输电网算例表明,所提方法不仅能够反映不同相关性水平对计算结果的影响,还能定量刻画区间包络准确程度对区间潮流的影响。

关键词：仿射算法区间潮流区间相关性凸多边形模型潮流分析

中国中老年人群抑郁症状与代谢综合征的关联分析

在线全文

学校读者我要写书评

暂无评论

中华疾病控制杂志 2023年第10期27卷 1117-1121,1227页

作者：杨若男贺舒凝张佳豪袁萍四川大学华西公共卫生学院流行病与卫生统计学系四川大学华西第四医院成都610041

目的分析中国中老年人抑郁症状对代谢综合征(metabolic syndrome,MS)患病的影响。方法选取2015年中国健康与养老追踪调查(China Health and Retirement Longitudinal Study,CHARLS)数据库中重要变量完整的6963名年龄≥45岁的中老年人为... 详细信息

目的分析中国中老年人抑郁症状对代谢综合征(metabolic syndrome,MS)患病的影响。方法选取2015年中国健康与养老追踪调查(China Health and Retirement Longitudinal Study,CHARLS)数据库中重要变量完整的6963名年龄≥45岁的中老年人为研究对象,采用简版流调中心抑郁水平评定量表(the center for epidemiological studies depression scale,CES-D10)评估抑郁症状,根据2020年中华医学会糖尿病学分会(Chinese Diabetes Society,CDS)提出的诊断标准评估MS的患病情况。采用倾向性评分匹配法,在均衡潜在混杂因素的基础上估计抑郁症状对中国中老年人MS患病的平均处理效应(average treatment effect on the treated,ATT),以探究抑郁症状对MS影响。结果6963例研究对象中,有33.10%(95%CI:32.00%~34.21%)的中老年人存在抑郁症状,MS检出率为18.44%(95%CI:17.53%~19.35%)。经倾向性评分均衡混杂因素后发现,抑郁症状对中老年人是否患MS没有影响(ATT=-0.002~0.002,均P>0.05)。结论中国中老年人群的抑郁症状和MS检出率较高,但有抑郁症状与该人群是否患MS无明显关联。

关键词：中老年人抑郁症状代谢综合征倾向性评分匹配

基于位姿数据校正的遥感红外图像相似性先验拼接

在线全文

学校读者我要写书评

暂无评论

红外技术 2019年第12期41卷 1091-1099页

作者：王向军张嘉豪王越天津大学精密测试技术及仪器国家重点实验室天津300072 天津大学微光机电系统技术教育部重点实验室天津300072

无人机遥感系统可实现高分辨率成像且成本低、风险小,但成像系统视场小、获取的图像数量多,应采用图像拼接技术进行处理。遥感图像拼接主要存在的问题有系统的实际成像方式为倾斜成像并且图像本身的复杂性对图像配准提出了很大的考验。... 详细信息

无人机遥感系统可实现高分辨率成像且成本低、风险小,但成像系统视场小、获取的图像数量多,应采用图像拼接技术进行处理。遥感图像拼接主要存在的问题有系统的实际成像方式为倾斜成像并且图像本身的复杂性对图像配准提出了很大的考验。本文提出一种基于位姿数据校正的遥感红外图像相似性先验拼接。首先,设计了一种拼接成像系统,并利用同步位姿数据校正倾斜成像获取的图像,然后结合网格变形的优化方法,提出了基于相似性先验的图像拼接。实验结果表明,该方法既保证了遥感图像拼接中重叠区域的高精度对齐,又确保了非重叠区域在变换前后的形状相似性,拼接效果出色。

关键词：红外图像遥感图像拼接图像配准网格变形

基于自然伽马测井的莺歌海盆地中央凹陷地层生热率及岩石圈热结构研究

在线全文

学校读者我要写书评

暂无评论

煤田地质与勘探 2024年第11期52卷 108-117页

作者：张佳豪宋荣彩郑峰张严唐鑫黎波董树义成都理工大学地球与行星科学学院四川成都610059 成都理工大学油气藏地质及开发工程全国重点实验室四川成都610059 四川省综合地质调查研究所四川成都610081

【目的】岩石圈热结构对探索盆地热演化的动力学过程、地热资源评价和开发利用具有重要意义。由于莺歌海盆地生热率数据的匮乏,限制了岩石圈热结构的研究。【方法】利用莺歌海盆地23口钻井的自然伽马测井数据,通过GR(自然伽马值)-A(岩... 详细信息

【目的】岩石圈热结构对探索盆地热演化的动力学过程、地热资源评价和开发利用具有重要意义。由于莺歌海盆地生热率数据的匮乏,限制了岩石圈热结构的研究。【方法】利用莺歌海盆地23口钻井的自然伽马测井数据,通过GR(自然伽马值)-A(岩石放射性生热率)经验公式,计算莺歌海盆地中央凹陷的地层生热率;依托OBS地壳速度结构模型建立地层生热率参数柱,计算壳幔热流及其比值、莫霍面温度和热岩石圈厚度,获取岩石圈热结构。【结果和结论】结果表明:莺歌海盆地中央凹陷地壳热流为19.2~27.1 mW/m^(2),平均值为(23.5±2.8) mW/m^(2),地幔热流为49.2~57.2 mW/m^(2),平均值为(52.8±2.8) mW/m^(2);莫霍面温度为613~707℃,平均温度为(671±31)℃;热岩石圈厚度为61.23~64.89 km,平均厚度为(63.58±1.35) km;壳幔热流配比为0.45±0.08,岩石圈热结构表现出“冷壳热幔”的特征,反映出莺歌海盆地中央凹陷的热状态受深部热源的影响。研究成果不仅为该地区地热资源的进一步勘探和开发提供了科学依据,还为盆地的地球动力学研究提供重要参考。

关键词：莺歌海盆地中央凹陷自然伽马值岩石圈热结构热岩石圈厚度地球动力学

污染环境罪司法适用实证分析——基于319份判决案例

在线全文

学校读者我要写书评

暂无评论

温州职业技术学院学报 2024年第3期24卷 83-90页

作者：张家豪杭州师范大学杭州310000

现有关于污染环境罪的研究大多以理论探讨为主,对于该罪在司法实践中应用的整体情况缺乏关注。将司法实践中对于污染环境行为的定性以及情节的适用转换为可量化的数据语言,通过运用数据模型并分析可以发现,司法实践对于“违反国家规定... 详细信息

现有关于污染环境罪的研究大多以理论探讨为主,对于该罪在司法实践中应用的整体情况缺乏关注。将司法实践中对于污染环境行为的定性以及情节的适用转换为可量化的数据语言,通过运用数据模型并分析可以发现,司法实践对于“违反国家规定”的适用存在裁判文书书写的规范性问题;有毒、有害物质的种类以及其他有害物质的范围需要细化解释;司法解释对于“严重污染环境”与“后果特别严重”规定的各要件需要逐一对应,司法实践中量刑的难以预测化已经表明这一问题,且“后果特别严重”可以解释为“情节严重”;因此司法实践应当注重完善司法裁判文书内容的规范性,减少量刑过程中的非规律性,进而改善本罪在司法实践中的认定与适用。

关键词：司法大数据污染环境罪情节严重

维普期刊数据库博看期刊