检索结果-南通市图书馆

求解加权偏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中限制动态权重增量上下限,以及使动态权重增量根据变元得分自适应调整的机制的有效性.

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

在线全文

学校读者我要写书评

暂无评论

全真道传戒钵式考

中国道教 2024年第4期 47-50页

作者：郑淞文昆山市道教协会

受戒可以说是全真派道士完全其特定宗教身份的重要表征。在传授“全真三坛大戒”(初真妙戒、中极净戒、天仙大戒)的仪轨中,戒子的戒衣(初真信衣、轻尘净衣、天仙洞衣)、戒钵、戒规、朝简等戒具由传戒大律师在戒坛为临坛受戒的道士授受,... 详细信息

受戒可以说是全真派道士完全其特定宗教身份的重要表征。在传授“全真三坛大戒”(初真妙戒、中极净戒、天仙大戒)的仪轨中,戒子的戒衣(初真信衣、轻尘净衣、天仙洞衣)、戒钵、戒规、朝简等戒具由传戒大律师在戒坛为临坛受戒的道士授受,后由演礼大师向戒子演习使用戒具的仪范,戒子在受戒期间要依照规范使用。

关键词：全真道全真派大戒传戒净戒仪轨戒衣戒具

恩格斯哲学基本问题观研究 ——基于《路德维希·费尔巴哈和德国古典哲学的终结》

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

恩格斯哲学基本问题观研究 ——基于《路德维希·费尔巴哈和德国...

作者：郑述之曲阜师范大学

学位级别：硕士

对于“思维与存在”关系问题,哲学界历来争论不休。在哲学史上,古希腊哲学以追寻自然本原为中心,近代哲学反思本体论的认识论前提,其主客体二分的哲学范式使思维与存在的关系问题逐渐显现出来。德国古典哲学家都关注到了这个问题,并各... 详细信息

对于“思维与存在”关系问题,哲学界历来争论不休。在哲学史上,古希腊哲学以追寻自然本原为中心,近代哲学反思本体论的认识论前提,其主客体二分的哲学范式使思维与存在的关系问题逐渐显现出来。德国古典哲学家都关注到了这个问题,并各自用独特的方式回答了它,恩格斯在扬弃德国古典哲学基础上,在《路德维希·费尔巴哈和德国古典哲学的终结》(以下简称《费尔巴哈论》)中提出了独特的解答——恩格斯哲学基本问题观。在《费尔巴哈论》中,恩格斯系统论述了马克思主义哲学从青年黑格尔派时的带有唯心主义色彩到科学的唯物主义的转变,把实践的、物质的世界观放在第一位,并将思想视为现实历史过程的产物。恩格斯高度概括了以往哲学,首次将“思维与存在”的关系问题确立为哲学基本问题,并进行了内容丰富、逻辑严密的论述。从唯物、辩证的历史观出发,以“现实的人”以及“历史发展的科学”对思维与存在的关系问题进行了实践形式的“终结”,形成了独特的恩格斯哲学基本问题观。从恩格斯哲学基本问题的文本结构看,恩格斯在批判以往哲学的基础上,提出了思维和存在的关系问题作为哲学基本问题的出场逻辑。恩格斯批评了德国古典哲学中的唯心主义,特别是黑格尔哲学中“思想先于物质”的主张,强调一切现象都根源于物质的社会历史存在,他认为以黑格尔为代表的哲学家们凭借一种信念,直接去沉思至高无上的真理,没有进一步思考真理的前提,因此,对真理的认识只能是“独断”的。从恩格斯哲学基本问题的思想逻辑看,他强调的是对近代哲学的深刻反省,以及从认识产生的活动本身出发去理解真理。这种反省和新的理解方式,使得思维与存在的关系问题成为哲学基本问题具有了特定的含义,即恩格斯将哲学基本问题纳入社会历史和物质条件的框架之中,突出了哲学问题与社会实践的紧密联系。恩格斯哲学基本问题观在黑格尔“思维与存在”辩证法的基础上,进行了实践的唯物史观的精炼与升华,以唯物辩证法去把握物质运动的世界观,以生产方式变革的事实来描绘社会历史过程。恩格斯的思想超越了黑格尔、费尔巴哈,立足实践性、唯物性和辩证性,强调人类历史进程的动力是物质的、客观的,归根结底是生产力和生产关系的不断冲突、迭代与升级。恩格斯哲学基本问题观为我们观察、分析社会发展和历史演变提供了坚实的世界观与方法论。不仅对于理解马克思主义哲学的基本原理和方法论具有重要意义,而且对于回应人工智能的“意识”问题、哲学层面上“人与自然”关系问题等也具有重要价值。

关键词：恩格斯哲学基本问题思维与存在关系德国古典哲学

耦合生态系统服务和景观连通性的环塔里木盆地绿洲区生态安全格局研究

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

干旱区地理 2024年

作者：黄秋淞何浩新疆大学建筑工程学院

生态安全在保护生物多样性和维持生态系统服务中发挥着重要作用。目前生态安全格局构建研究多注重将自然保护区视为生态源地，而忽略具有潜在生态服务的斑块以及斑块连通性的影响。为此，提出一种改进的生态安全格局构建方法，以环塔里... 详细信息

生态安全在保护生物多样性和维持生态系统服务中发挥着重要作用。目前生态安全格局构建研究多注重将自然保护区视为生态源地，而忽略具有潜在生态服务的斑块以及斑块连通性的影响。为此，提出一种改进的生态安全格局构建方法，以环塔里木盆地绿洲区为例，通过耦合碳储存、水源涵养、土壤保持、防风固沙4种生态系统服务和景观连通性优化生态源地，构建综合阻力面并利用电路理论确定研究区生态安全格局。结果表明：(1)环塔里木盆地绿洲区处于低生态安全地带，区域内水资源短缺和沙漠化严重。(2)环塔里木盆地绿洲区共识别22个生态源地，面积69622.24 km2，以及33条生态廊道，长度4722.39 km。源地呈现南部分散，北部密集的格局，且南、北源地间连通性较差。(3)形成“两屏、一环、多片区”的生态安全格局优化布局方案，明确生态功能分区，改善区域生态环境。研究可为国土空间规划提供参考借鉴。

关键词：生态安全格局生态系统服务景观连通性电路理论环塔里木盆地绿洲区

口罩污染物苯甲醛的光化学氧化反应的直接质谱监测

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

质谱学报 2024年第1期45卷 157-164,I0005页

作者：易曼董淞斌胡斌暨南大学质谱仪器与大气环境研究所广东省大气污染在线源解析系统工程技术研究中心广东广州510632

苯甲醛化学性质活泼,是口罩原料及制造过程中容易产生的有机污染物。本文采用直接质谱技术监测口罩中苯甲醛在光照与臭氧条件下发生的光化学氧化反应中间体及产物,并用全二维气相色谱-质谱进行验证,探究苯甲醛的光化学反应和氧化反应机... 详细信息

苯甲醛化学性质活泼,是口罩原料及制造过程中容易产生的有机污染物。本文采用直接质谱技术监测口罩中苯甲醛在光照与臭氧条件下发生的光化学氧化反应中间体及产物,并用全二维气相色谱-质谱进行验证,探究苯甲醛的光化学反应和氧化反应机制。结果表明,经日光照射、紫外光照射或臭氧处理之后,口罩污染物苯甲醛可以生成二苯甲酮、4-戊烯酸、苯甲酸甲酯和苯甲酸等产物和中间体。口罩中苯甲醛的光化学氧化过程的质谱监测,有望为不同环境条件下口罩污染物的研究与控制提供新途径。

关键词：质谱口罩苯甲醛光化学氧化反应

维普期刊数据库博看期刊

论扣缴义务人的逃税罪构成——基于A公司与孟某逃税案的分析

在线全文

学校读者我要写书评

暂无评论

税务研究 2024年第1期 90-95页

作者：薛榆淞北京大学法学院

一、基本案情孟某为A公司的法定代表人,2015年7月,甲地地方税务局稽查局(以下简称“稽查局”)在稽查工作中发现A公司在2008年1月1日至2014年12月31日期间(以下简称“涉案期间”)的实际收支与其纳税申报信息不匹配。根据A公司的账簿资料... 详细信息

一、基本案情孟某为A公司的法定代表人,2015年7月,甲地地方税务局稽查局(以下简称“稽查局”)在稽查工作中发现A公司在2008年1月1日至2014年12月31日期间(以下简称“涉案期间”)的实际收支与其纳税申报信息不匹配。根据A公司的账簿资料、个人所得税申报表和会计人员的证人证言等相关证据.

关键词：地方税务局扣缴义务人 A公司个人所得税纳税申报逃税罪会计人员证人证言

在线全文

学校读者我要写书评

暂无评论

弃物:宋代的文学改造与士人精神

浙江学刊 2024年第4期 190-199页

作者：邓淞露西南交通大学人文学院成都611756

弃物被宋代文学充分表现并加以改造,成为洞察宋代文学新变以及士人精神的窗口。弃物与弃人具有深刻的文化关联,弃物在宋代文学中突破感伤传统,成为士人寻求精神自振的物质投射。理学影响下的宋代士人形成了新的观物方式和思辨理路,使弃... 详细信息

弃物被宋代文学充分表现并加以改造,成为洞察宋代文学新变以及士人精神的窗口。弃物与弃人具有深刻的文化关联,弃物在宋代文学中突破感伤传统,成为士人寻求精神自振的物质投射。理学影响下的宋代士人形成了新的观物方式和思辨理路,使弃物从被抽空意义的日常俗物成为富含理性精神的文化象征。宋代审美观念的发展推动了对丑怪卑俗之物的欣赏,使弃物抽离于原有领域并实现属性转化,以新的身份和意义载体重新参与到宋代文化的建构之中。

关键词：弃物垃圾士人精神

基于协同学习特征融合和转换器的乳腺癌病灶分割方法

在线全文

学校读者我要写书评

暂无评论

生物医学工程学杂志 2024年第2期41卷 237-245页

作者：翟悦淞陈智丽邵丹沈阳建筑大学、计算机科学与工程学院沈阳110168 广东省人民医院、广东省医学科学院核医学科广州519041

结合正电子发射断层扫描(PET)和计算机断层扫描(CT)的PET/CT成像技术是目前较先进的影像学检查手段,主要用于肿瘤筛查、良恶性鉴别诊断和分期分级。本文提出了一种基于PET/CT双模态图像的乳腺癌病灶分割方法,设计了一种双路U型网络框架... 详细信息

结合正电子发射断层扫描(PET)和计算机断层扫描(CT)的PET/CT成像技术是目前较先进的影像学检查手段,主要用于肿瘤筛查、良恶性鉴别诊断和分期分级。本文提出了一种基于PET/CT双模态图像的乳腺癌病灶分割方法,设计了一种双路U型网络框架,主要包括编码器模块、特征融合模块和解码器模块三个组成部分。其中,编码器模块使用传统的卷积进行单模态图像特征提取;特征融合模块采用协同学习特征融合技术,并使用转换器(Transformer)提取融合图的全局特征;解码器模块主要采用多层感知机以实现病灶分割。本文实验使用实际临床PET/CT数据评估算法的有效性,实验结果表明乳腺癌病灶分割的精确率、召回率和准确率分别达到95.67%、97.58%和96.16%,均优于基线算法。研究结果证明了本文实验设计的卷积与Transformer相结合的单、双模态特征提取方式的合理性,为多模态医学图像分割或分类等任务的特征提取方法提供参考。

关键词：正电子发射断层扫描和计算机断层扫描乳腺癌病灶分割双路U型网络协同学习特征融合转换器

一种含Re/Ru镍基单晶合金的蠕变行为及其机理

在线全文

学校读者我要写书评

暂无评论

材料研究学报 2024年第4期38卷 248-256页

作者：田淞文刘丽荣田素贵沈阳三迪度维科技开发有限公司沈阳110270 沈阳工业大学材料科学与工程学院沈阳110870

针对含Re/Ru单晶合金共晶组织中的高熔点元素和高推重比发动机材料的高承温能力等问题,研究了固溶温度和组织演化对其高温蠕变行为的影响。结果表明,在1328℃固溶处理的合金中仍存在粒状残余共晶,在1332℃固溶处理可将其消除,使合金在1... 详细信息

针对含Re/Ru单晶合金共晶组织中的高熔点元素和高推重比发动机材料的高承温能力等问题,研究了固溶温度和组织演化对其高温蠕变行为的影响。结果表明,在1328℃固溶处理的合金中仍存在粒状残余共晶,在1332℃固溶处理可将其消除,使合金在1100℃/140 MPa的蠕变寿命由321 h延长到476 h。在蠕变初期的合金中γ′相转变为N-型筏状组织,在蠕变后期位错剪切进入γ′相形成的位错锁,可抑制位错运动,使合金的蠕变抗力提高。但是高应变速率下位错的交替滑移使筏状γ′相扭折和形成亚晶,可降低合金的蠕变抗力,特别是筏状γ′相转变成“类块状”形态的逆向组织演化提高了应变速率,是合金高温蠕变较后期间的变形和损伤特征。其中,合金在1140℃寿命的大幅度降低,归因于γ′相的溶解使其尺寸减小和体积分数降低。

关键词：金属材料镍基单晶合金 Re/Ru 固溶温度蠕变损伤逆向组织演化