检索结果-南通市图书馆

求解加权偏MaxSAT问题的通用子句加权方法

在线全文

学校读者我要写书评

暂无评论

计算机学报 2024年第6期47卷 1341-1354页

作者：郑迥之何琨华中科技大学计算机科学与技术学院武汉430074

最大可满足性问题(Maximum Satisfiability Problem,MaxSAT)是著名的可满足性问题(Satisfiability Problem,SAT)的优化形式,也是一个经典的NP难组合优化问题.加权偏MaxSAT(Weighted Partial MaxSAT,WPMS)是最一般的一类MaxSAT问题,其中包含了必须要满足的硬子句,对应了优化问题中的约束条件,以及带权重的软子句,对应了优化问题中的优化目标.WPMS旨在满足所有硬子句的同时最大化被满足软子句的权重之和.工业场景中和学术领域中的许多优化问题都能够转化成WPMS问题进行求解,因此WPMS具有广泛的应用领域和重要的研究意义.局部搜索方法是求解WPMS问题的一种著名且被广泛研究的非完备方法.子句加权技术是WPMS局部搜索算法中常用的一种有效且关键的技术,通过为子句赋予动态权重并在搜索过程中更新它们以引导搜索方向,帮助算法逃离局部最优.最先进的WPMS局部搜索算法都提出或采用了有效的子句加权技术,以帮助它们在不同的解空间中搜索.然而,现有的子句加权技术仅根据当前局部最优解更新子句动态权重,而未考虑任何历史信息,可能导致子句加权的视野局限,对搜索方向的引导不够准确.为了解决这一问题,提出了一种新的子句加权技术,称为Hist-Weighting(Clause Weighting with Historical Information),同时考虑了当前及历史信息来更新子句的动态权重,以改进子句加权机制和局部搜索算法的搜索精度和效率.具体而言,Hist-Weighting为那些同时被当前和历史局部最优解所不满足的子句赋予更大的动态权重增量,使算法更倾向于满足那些久未被满足且难以被满足的子句,提高子句加权的准确度.此外,在Hist-Weighting中,子句动态权重的增量能够根据子句中的变元得分自适应地调整,使子句加权更具有灵活性.Hist-Weighting还为子句动态权重的增量设置了上下限,保证了子句加权的稳定性.为了评估所提出的Hist-Weighting子句加权技术的性能,将其应用于三种最先进的WPMS局部搜索算法,即BandMaxSAT、SATLike3.0和CCEHC.在近五届 MaxSAT国际算法竞赛 MaxSAT Evaluation非完备组的所有WPMS算例上的实验结果表明,应用Hist-Weighting技术的改进算法相比于原算法在获胜算例数上能够提升约10%至60%,体现了所提出的Hist-Weighting子句加权技术在求解WPMS问题时的有效性.此外,通过将应用了 Hist-Weighting的改进局部搜索算法与其变体算法对比以进行消融实验,表明了 Hist-Weighting中限制动态权重增量上下限,以及使动态权重增量根据变元得分自适应调整的机制的有效性.

关键词：最大可满足性问题局部搜索子句加权技术历史信息

不确定离散半马尔可夫跳变系统的有限时间鲁棒H_(∞)控制

在线全文

学校读者我要写书评

暂无评论

控制与决策 2024年第3期39卷 836-844页

作者：郑柏浩嵇小辅朱毅江南大学物联网工程学院江苏无锡214122 江南大学轻工过程先进控制教育部重点实验室江苏无锡214122

研究一类不确定离散时间半马尔可夫跳变系统的有限时间鲁棒H_(∞)控制问题.首先,应用半马尔可夫核方法建模离散时间系统的半马尔可夫跳变过程,其中驻留时间的概率密度函数依赖系统当前模态和下一模态,使得所提出理论可考虑不同的驻留时... 详细信息

研究一类不确定离散时间半马尔可夫跳变系统的有限时间鲁棒H_(∞)控制问题.首先,应用半马尔可夫核方法建模离散时间系统的半马尔可夫跳变过程,其中驻留时间的概率密度函数依赖系统当前模态和下一模态,使得所提出理论可考虑不同的驻留时间概率分布类型,针对随机跳变系统有限时间分析中的跳变次数问题,提出估计跳变次数最大值的方法;然后,考虑系统模态驻留时间的上下界,提出新的有限时间有界概念,并保证基于半马尔可夫核方法给出的不确定离散时间半马尔可夫随机跳变系统有限时间有界判据数值可解;接着,在此基础上,分析系统的H_(∞)性能指标,设计模态依赖的状态反馈控制律保证闭环系统的有限时间鲁棒H_(∞)性能;最后,通过2个算例仿真验证所提出理论的可行性和有效性.

关键词：离散时间系统半马尔可夫跳变系统有限时间有界鲁棒H_(∞)控制半马尔可夫核线性矩阵不等式

Werner盐作为镍源和氨源光化学合成芳基伯胺

在线全文

学校读者我要写书评

暂无评论

有机化学 2024年第2期44卷 665-667页

作者：郑先舟袁伟明华中科技大学化学与化工学院武汉430074

将廉价丰富的原料转化成高附加值的精细化学品是合成化学永恒的主题.氨是化肥工业和有机化工的重要原料,全球每年通过Haber-Bosch法合成氨的总量超过1.82亿吨[1],巨大的产量和低廉的价格使其成为合成含氮化合物的理想原料.以苯胺及其衍... 详细信息

将廉价丰富的原料转化成高附加值的精细化学品是合成化学永恒的主题.氨是化肥工业和有机化工的重要原料,全球每年通过Haber-Bosch法合成氨的总量超过1.82亿吨[1],巨大的产量和低廉的价格使其成为合成含氮化合物的理想原料.以苯胺及其衍生物为代表的芳基伯胺是医药、农药、染料、功能材料及高分子材料中的关键中间体[2].工业上合成苯胺及其衍生物要经过芳烃的硝化和加氢还原过程,硝化过程中作为氮源的HNO3是通过两步Ostwald法制备的(Scheme 1,A)[3],由于使用硫酸和硝酸作为硝化试剂,该工艺反应选择性差,且会产生大量废酸,后处理困难.

关键词：反应选择性有机化工伯胺高分子材料合成化学化肥工业光化学合成含氮化合物

在线全文

学校读者我要写书评

暂无评论

黄宾虹与故宫鉴画

新美术 2024年第2期45卷 253-258页

作者：郑亦山中国美术学院

1935年12月11日,黄宾虹收到了首都(南京)地方法院检察处的聘书,聘书附“选任鉴定人条件”一纸:一、鉴定书画全部。二、期间暂定为六个月,于必要时得延长或辞退之。三、鉴定费,每一鉴定人每月至多不得过五百元。四、鉴定首应依刑事诉讼... 详细信息

1935年12月11日,黄宾虹收到了首都(南京)地方法院检察处的聘书,聘书附“选任鉴定人条件”一纸:一、鉴定书画全部。二、期间暂定为六个月,于必要时得延长或辞退之。三、鉴定费,每一鉴定人每月至多不得过五百元。四、鉴定首应依刑事诉讼法第一百八十九条之规定具结。五、须作鉴定报告。六、每日鉴定时间以中央银行开库时为准。

关键词：地方法院中央银行黄宾虹鉴定人刑事诉讼法鉴定报告鉴定时间检察处

在线全文

学校读者我要写书评

暂无评论

新型电力系统柔性构网技术及其应用

电力系统自动化 2024年

作者：郑外生饶宏南方电网科学研究院有限责任公司中国南方电网有限责任公司

随着新能源大规模并网，电力系统电磁特性和机电特性间的相互耦合更加紧密，动态行为更加复杂，面临频率电压支撑能力不足、失稳风险增加等诸多挑战。而现有电网规划和运行控制设计方法仍承袭传统电力系统方法，难以发挥新能源、储能、... 详细信息

随着新能源大规模并网，电力系统电磁特性和机电特性间的相互耦合更加紧密，动态行为更加复杂，面临频率电压支撑能力不足、失稳风险增加等诸多挑战。而现有电网规划和运行控制设计方法仍承袭传统电力系统方法，难以发挥新能源、储能、直流等电力电子设备快速灵活调控的优势。文中提出利用电力电子设备构造灵活可控柔性电网（简称柔性构网）的新型电力系统构建技术。通过“柔性互联”避免交流电网故障连锁传播、故障影响范围过大的问题，并保持分区间灵活互济能力；通过“主动支撑”提升关键节点电压/频率支撑能力，提高电网稳定性。文中阐述了新型电力系统发展面临的挑战，提出柔性构网概念及其内涵，并研究了柔性构网的基本思路和未来发展方向。最后，介绍了柔性构网技术在中国南方电网实际工程中的应用情况。

关键词：柔性构网柔性互联主动支撑新型电力系统

芳菲难亏,芬犹未沬——楚辞生态意象的翻译对比评析

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

中国翻译 2024年第4期45卷 136-143页

作者：郑意长天津财经大学

生态批评为楚辞中生态意象的翻译提供了重要的研究视角。本文首先将楚辞生态意象分为单体生态意象、伴生生态意象及间性生态意象三类,而后本着学术争鸣的精神对许渊冲译本与杨宪益、戴乃迭译本进行对照评析,认为:就单体生态意象的翻译而... 详细信息

生态批评为楚辞中生态意象的翻译提供了重要的研究视角。本文首先将楚辞生态意象分为单体生态意象、伴生生态意象及间性生态意象三类,而后本着学术争鸣的精神对许渊冲译本与杨宪益、戴乃迭译本进行对照评析,认为:就单体生态意象的翻译而言,自然人格化与生态区域主义能够赋予译文中的意象主体以生态心灵与区域标签;通体性与物质叙事能力则为伴生生态意象翻译带来了新的言说方式,彰显了以物为友的生态翻译美学主张;就间性生态意象的翻译而言,荒野意识与“放弃的美学”能够使译文如实地呈现出原作的自然生态样貌,促使译者与读者放弃自身主体地位,使审美意识外延至天地宇宙之境。

关键词：楚辞生态意象翻译

基于广义坐标变换的起伏地表频率域波动方程正演模拟与逆时偏移

在线全文

学校读者我要写书评

暂无评论

地球物理学报 2024年第9期67卷 3472-3482页

作者：郑忆康姚艺范礼中国科学院地质与地球物理研究所中国科学院油气资源研究重点实验室北京100029 中国科学院大学地球与行星科学学院北京100049

高效精确的波动方程正演模拟是地震偏移成像和参数反演的核心,频率域的有限差分方法在正演模拟具备一定优势,包括能够在多震源模拟中计算效率更高,在选择网格间距时更具有灵活性等.然而,这种方法在处理起伏地表问题上较为困难.为了解决... 详细信息

高效精确的波动方程正演模拟是地震偏移成像和参数反演的核心,频率域的有限差分方法在正演模拟具备一定优势,包括能够在多震源模拟中计算效率更高,在选择网格间距时更具有灵活性等.然而,这种方法在处理起伏地表问题上较为困难.为了解决起伏地表情况下的频率域波动方程正演模拟与逆时偏移问题,我们提出通过建立广义坐标系,利用传统笛卡尔坐标系到起伏地表坐标系的映射关系,在起伏地表条件下高精度地模拟地震波传播波场.在此基础上,进一步讨论了实现频率域逆时偏移的可行性.并使用均匀模型和Foothills模型的数值测试来验证本文方法基本流程的有效性和计算效率.结果表明,在进行复杂地表场景的频率域地震成像和反演时,本文方法具有作为正演建模求解器的潜力.

关键词：起伏地表波动方程正演模拟频率域有限差分逆时偏移

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

在线全文

学校读者我要写书评

暂无评论

词头“阿”音读流变考

语文研究 2024年第2期 11-21页

作者：郑妞上海大学文学院上海200444

词头“阿”兴起于汉代,最初为阴声韵平声。魏晋以后“阿”词头的用法开始盛行,从唐宋格律诗的平仄规律和宋元时期的音注材料可以推知,中古的词头“阿”读为入声。结合历史文献和现代汉语方言材料,文章推测是“阿某”作为称谓名词的双音... 详细信息

词头“阿”兴起于汉代,最初为阴声韵平声。魏晋以后“阿”词头的用法开始盛行,从唐宋格律诗的平仄规律和宋元时期的音注材料可以推知,中古的词头“阿”读为入声。结合历史文献和现代汉语方言材料,文章推测是“阿某”作为称谓名词的双音节化及其词义的虚化,促使词头“阿”发生了“舒声促化”。元代开始,随着北方话中入声的消失,北方通语中词头“阿”不再读入声,北京话读成阴声韵[a],而江浙一带则保留了入声的读音,从曷韵[ɑt]演变为屋韵[uoʔ]。至晚到清代中晚期,随着北京话地位的提高,“阿”阴声韵[a]的读法逐渐获得正统地位,后被吴地方言借入,但受到其原本读为入声的影响,读为了[aʔ],成为今天吴地各方言词头“阿”入声读音的来源。

关键词：词头阿入声舒声促化音读流变

BiVO_(4)/CoPc S型异质结的构建及其光热增强光催化性能

在线全文

学校读者我要写书评

暂无评论

Science China Materials 2024年第2期67卷 550-561页

作者：龙子洋郑相阳史海峰 School of Science Jiangnan UniversityWuxi 214122China National Laboratory of Solid State Microstructures Nanjing UniversityNanjing 210093China

光热催化降解去除污染物对解决环境问题具有独特的优势.本文通过水热法结合超声处理的方法合成了BiVO4/CoPc S型异质结光热催化材料.实验结果表明,BVO-1%CoPc在10分钟内对四环素对降解率可达76%,相比钒酸铋单质提高了1.8倍.进一步的红... 详细信息

光热催化降解去除污染物对解决环境问题具有独特的优势.本文通过水热法结合超声处理的方法合成了BiVO4/CoPc S型异质结光热催化材料.实验结果表明,BVO-1%CoPc在10分钟内对四环素对降解率可达76%,相比钒酸铋单质提高了1.8倍.进一步的红外热成像仪表明酞菁钴(CoPc)的光热效应可以提高反应体系的温度.同时,研究人员还发现降解后的中间产物毒性显著降低.光致发光光谱的结果表明,合成的复合材料可以增强光生载流子的分离能力.基于捕获实验、能带结构和原位XPS等研究结果,我们提出了光生电荷在合成的催化剂中的S型传输机制.本工作为设计和开发用于去除有机污染物的S型光热催化材料提供了一种可行的策略.

关键词： BiVO_(4) CoPc photothermal effect S-scheme heterojunction tetracycline