检索结果-南通市图书馆

维普期刊数据库博看期刊

在线全文

学校读者我要写书评

暂无评论

单分支线性约束循环程序的终止性分析

软件学报 2024年第3期35卷 1307-1320页

作者：李轶唐桐中国科学院重庆绿色智能技术研究院自动推理与认知中心重庆400714 中国科学院大学北京100049

秩函数法是循环终止性分析的主要方法,秩函数的存在表明了循环程序是可终止的.针对单分支线性约束循环程序,提出一种方法对此类循环的终止性进行分析.基于增函数法向空间的计算,该方法将原程序空间上的秩函数计算问题归结为其子空间上... 详细信息

秩函数法是循环终止性分析的主要方法,秩函数的存在表明了循环程序是可终止的.针对单分支线性约束循环程序,提出一种方法对此类循环的终止性进行分析.基于增函数法向空间的计算,该方法将原程序空间上的秩函数计算问题归结为其子空间上的秩函数计算问题.实验结果表明,该方法能有效验证现有文献中大部分循环程序的终止性.

关键词：循环程序线性秩函数增函数终止性多阶段秩函数

基于改进秃鹰算法的微电网群经济优化调度研究

在线全文

学校读者我要写书评

暂无评论

太阳能学报 2024年第2期45卷 328-335页

作者：周辉张玉肖烈禧赵冠皓桂林理工大学机械与控制工程学院桂林541006 广西建筑新能源与节能重点实验室桂林541006

传统优化算法相较于智能优化算法在求解微电网群优化调度问题中较难寻出可行解或最优解,对此提出一种基于融合反向学习和柯西变异改进的秃鹰算法(IBES),在秃鹰搜索空间猎物阶段采用融合反向学习和柯西变异策略,使得秃鹰算法有效跳出局... 详细信息

传统优化算法相较于智能优化算法在求解微电网群优化调度问题中较难寻出可行解或最优解,对此提出一种基于融合反向学习和柯西变异改进的秃鹰算法(IBES),在秃鹰搜索空间猎物阶段采用融合反向学习和柯西变异策略,使得秃鹰算法有效跳出局部最优,解决算法求解精度低等问题。通过与粒子群算法(PSO)、麻雀算法(SSA)、鲸鱼算法(WOA)进行对比,仿真结果表明IBES寻优精度更高,可有效减少微电网群系统的经济成本。

关键词：微电网优化调度改进秃鹰算法电动汽车

ZnO/g-C_(3)N_(4)异质结光催化材料的制备及对吡啶的降解

在线全文

学校读者我要写书评

暂无评论

无机盐工业 2024年第4期56卷 133-142页

作者：唐贝河南应用技术职业学院河南郑州450042

采用蒸发溶剂-高温热聚合法制备了ZnO/g-C_(3)N_(4)异质结光催化材料,采用XRD、FTIR、TEM、XPS、UV-vis DRS、PL、TPC和EIS等表征技术对其进行了详细系统的表征,评价了ZnO/g-C_(3)N_(4)光催化降解吡啶的活性和稳定性,采用L_(9)(3^(4))... 详细信息

采用蒸发溶剂-高温热聚合法制备了ZnO/g-C_(3)N_(4)异质结光催化材料,采用XRD、FTIR、TEM、XPS、UV-vis DRS、PL、TPC和EIS等表征技术对其进行了详细系统的表征,评价了ZnO/g-C_(3)N_(4)光催化降解吡啶的活性和稳定性,采用L_(9)(3^(4))正交实验考察了不同因素对光催化性能的影响,并对光催化机理进行了探讨。XPS和TEM结果证明了ZnO和g-C_(3)N_(4)之间异质结的形成,异质结的形成有效促进了光电子-空穴的分离,提高了光吸收,拓宽了光谱范围。在ZnO/g-C_(3)N_(4)复合光催化剂投加量为50 mg、ZnO与g-C_(3)N_(4)质量比为1∶2、吡啶初始质量浓度为20 mg/L和体系p H为7.0的条件下,可见光照射60 min后ZnO/g-C_(3)N_(4)对吡啶的光催化降解率达到了98.9%,循环使用5次后光催化降解率为97.3%,具有良好的稳定性。ZnO/g-C_(3)N_(4)光催化降解吡啶主要依赖于活性基团超氧自由基(·O_(2)^(-))和空穴(h^(+))的作用。

关键词： ZnO/g-C_(3)N_(4) 光催化异质结吡啶

高密度场景下基于改进A*算法的无人机路径规划

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

在线全文

学校读者我要写书评

暂无评论

无线电通信技术 2024年

作者：赵烈海李大鹏南京邮电大学通信与信息工程学院

针对无人机在高密度障碍物的城市环境飞行中路径规划实时性难以满足的问题，在A*算法基础上结合跳点搜索（Jump Point Search，JPS）策略，提出一种Jump A*（JA*）算法。将A*算法进行三维扩展，并提出了一种三维对角距离精确表示了实际... 详细信息

针对无人机在高密度障碍物的城市环境飞行中路径规划实时性难以满足的问题，在A*算法基础上结合跳点搜索（Jump Point Search，JPS）策略，提出一种Jump A*（JA*）算法。将A*算法进行三维扩展，并提出了一种三维对角距离精确表示了实际路径代价，缩短了搜索时间。在二维跳点搜索策略的基础上拓展得到了三维跳点搜索策略，代替了A*算法中的几何邻居扩展，大大减少了扩展结点数。对障碍物密度0.1～0.4的复杂三维栅格地图进行了路径规划仿真。仿真结果表明，JA*算法相较于A*算法，在高密度多障碍物的近地城市环境下，路径长度几乎不变，评估节点数大幅度减小，搜索速度具有显著提升。

关键词：路径规划跳点搜索 A*算法三维栅格地图高密度障碍物

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

高技术创业企业发展环境分析

科学学与科学技术管理 2001年第1期22卷 41-45页

作者：唐烈东南大学

高技术创业企业的形成与发展是高技术持续发展的必然结果，它们具有高投入、高回报和高风险的特点。统计资料表明，高科技创业的成功率只有20％～30％，但是一旦成功其回报将是数十倍甚至百倍于投资，因此我国要在高技术上实现对强国的... 详细信息

高技术创业企业的形成与发展是高技术持续发展的必然结果，它们具有高投入、高回报和高风险的特点。统计资料表明，高科技创业的成功率只有20％～30％，但是一旦成功其回报将是数十倍甚至百倍于投资，因此我国要在高技术上实现对强国的赶超，必须从高技术创业企业生存与发展的支撑环境系统入手。如果说高技术创业企业是从一粒“种子”开始萌生并发展成长为支撑国家经济发展的高技术行业群体，那么作为它赖以生存的土壤、阳光、空气等环境系统则起到了关键性作用。

关键词：技术创业企业风险投资美国投资者创业者金融美利坚合众国北美洲财政金融高科技产业高技术产业资本退出

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

饱和土盾构曲线掘进引起地表变形理论研究

铁道学报 2024年第5期46卷 160-170页

作者：丁智董毓庆张霄冯丛烈彭少杰浙大城市学院土木工程系浙江杭州310015 浙大城市学院浙江省城市盾构隧道安全建造与智能养护重点实验室浙江杭州310015 浙江大学建筑工程学院浙江杭州310058

由于城市复杂多变的地质条件和地上或地下建筑物等因素制约,地铁建设中沿曲线段的盾构隧道普遍存在。本文基于半无限饱和土初值解,考虑不均衡开挖面附加推力的挤土效应、不均衡盾壳摩擦力及盾尾浆液蔓延软化效应、盾尾注浆压力环向填充... 详细信息

由于城市复杂多变的地质条件和地上或地下建筑物等因素制约,地铁建设中沿曲线段的盾构隧道普遍存在。本文基于半无限饱和土初值解,考虑不均衡开挖面附加推力的挤土效应、不均衡盾壳摩擦力及盾尾浆液蔓延软化效应、盾尾注浆压力环向填充效应与曲线盾构超挖的土体损失影响,推导饱和黏性土盾构曲线掘进引起地表变形的理论计算公式,分析地表变形规律和各参数影响。计算得出的地表变形预测情况符合现场实测规律,表明理论公式具有一定的指导性。与常规盾构沿直线施工不同,盾构曲线掘进更容易引起显著的地层局部损失和地表非对称性隆沉。随着曲线盾构开挖面左右区附加推力和盾壳内外侧摩擦力差异的增大,地表变形逐渐增大,且变形最值向曲线内侧偏移。轴线偏移量和最值与转弯半径成反比,而刀盘直径仅对轴线偏移有影响。

关键词：盾构隧道曲线掘进饱和土施工因素超挖

在线全文

学校读者我要写书评

暂无评论

融合语义信息的视觉惯性SLAM算法

计算机应用研究 2024年

作者：何铭臻何元烈胡涛广东工业大学计算机学院

针对传统SLAM(simultaneous localization and mapping)算法在动态环境中会受到动态特征点的影响，导致算法定位精度下降的问题，提出了一种融合语义信息的视觉惯性SLAM算法SF-VINS(Visual inertial navigation system based on semantics fusion)。首先基于VINS-Mono算法框架，将语义分割网络PP-LiteSeg集成到系统前端，并根据语义分割结果去除动态特征点。其次，在后端利用像素语义概率构建语义概率误差约束项，并使用特征点自适应权重，以此提出了新的BA代价函数和相机外参优化策略，提高了状态估计的准确度。最后，为验证该算法的有效性，在VIODE数据集和NTU VIRAL数据集上进行实验。实验结果表明，与目前先进的视觉惯性SLAM算法对比，该算法在动态场景和静态场景的定位精度和鲁棒性均有一定优势。

关键词：动态物体语义概率位姿估计视觉惯性SLAM

重新理解价值:民族地区生态文明建设的一个伦理前提

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

湖北民族大学学报(哲学社会科学版) 2024年

作者：陈文烈周明顺青海民族大学经济与管理学院青海民族大学

生态价值作为生态文明建设中重要的生态伦理表现,与民族地区践行中国式现代化目标有着相通相承的战略诉求。如果继续以市场价值为衡量基准来将生态价值的货币化实现视为中心变量,势必为民族地区基于生态文明底色的发展形成理念障碍。仅... 详细信息

生态价值作为生态文明建设中重要的生态伦理表现,与民族地区践行中国式现代化目标有着相通相承的战略诉求。如果继续以市场价值为衡量基准来将生态价值的货币化实现视为中心变量,势必为民族地区基于生态文明底色的发展形成理念障碍。仅以市场交换价值来衡量生态产品、生态体系的整体性贡献,不仅存在技术层面的罅隙,而且由此延展的发展伦理价值更存在对发展理念的偏废性引导。在现行研究范式中,民族地区“最大的价值在生态”的整体评估亟须一个前置性的社会想象作为参照,将民族地区的发展空间和生态价值实现嵌入这一贡献评估框架内。在这种市场模式离场、生态价值异域同构发展的理念建构中,生态价值被型塑成非生产性或非交换性的共同资产,其价值从市场交换的物品属性被建构成绿色发展的场域与伦理基础,极大地拓展了民族地区生态贡献的价值光谱。

关键词：生态价值生产性贡献社会想象共同资产

“朝贡”抑或“互市”?——从法规范看清代中、欧法律关系嬗变

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

当代法学 2024年第4期 150-160页

作者：邱唐华东政法大学法律学院

清朝前期努力以传统的“朝贡—册封”体制来规范和解释中欧互动,将欧洲各国等量齐观地视作亚洲各朝贡国,强行纳入“朝贡体系”的想象之中。而康熙开海之后则开始更加务实地正视与承认这些国家与中国交往的纯粹经济动因,就规范语言的角... 详细信息

清朝前期努力以传统的“朝贡—册封”体制来规范和解释中欧互动,将欧洲各国等量齐观地视作亚洲各朝贡国,强行纳入“朝贡体系”的想象之中。而康熙开海之后则开始更加务实地正视与承认这些国家与中国交往的纯粹经济动因,就规范语言的角度来看,原本的“朝贡国”之外又提出了“互市国”概念并举。由此可以看到,清朝对于荷兰、西洋等欧洲国家事务的秩序设计,明显经历了一个由“朝贡”到“朝贡”与“互市”杂糅的转变,这一转变可以窥见清政府面对全新交往对象,突破旧有交往模式的调试努力与纠结心态。

关键词：清代中欧关系朝贡体制互市贸易法律规范