【摘 要】
：
并行传播是并行约束程序领域中的一个研究方向,其研究内容是如何并行执行在约束上的过滤算法.根据维持表约束网络广义弧相容(generalized arc consistency,简称GAC)的串行传播模式,提出了维持表约束网络临时广义弧相容(temporary generalized arc consistency,简称TGAC)的并行传播模式,该模式基于多核CPU,由并行传播算法和并行过滤算法两部分组成;之后,给出了并行传播模式的可靠性证明,而且通过对并行传播模式的最坏时间复杂度分析,可以认为并行传播模式在
【机 构】
：
吉林大学软件学院,吉林大学计算机科学与技术学院,符号计算与知识工程教育部重点实验室（吉林大学）
【基金项目】
：
国家自然科学基金(61802056),吉林省自然科学基金(2018010143JC),吉林省发展和改革委员会产业技术研究与开发项目(2019C053-9),中国科学院太空应用重点实验室开放基金课题(LSU-KFJJ-2019-08)。
论文部分内容阅读
并行传播是并行约束程序领域中的一个研究方向,其研究内容是如何并行执行在约束上的过滤算法.根据维持表约束网络广义弧相容(generalized arc consistency,简称GAC)的串行传播模式,提出了维持表约束网络临时广义弧相容(temporary generalized arc consistency,简称TGAC)的并行传播模式,该模式基于多核CPU,由并行传播算法和并行过滤算法两部分组成;之后,给出了并行传播模式的可靠性证明,而且通过对并行传播模式的最坏时间复杂度分析,可以认为并行传播模式在
其他文献
摘要：【目的】探究 N-乙酰氨基葡萄糖（N-acetyl-D-glucosamine，NAG）對水稻幼苗的抗寒效果及其潜在的抗寒机制，以期为NAG在农业免疫诱抗领域的应用提供理论依据。【方法】以水稻品种内5优907为供试材料，外源施用不同浓度（0、50、100、150 mg/L）的NAG进行根系培养，测定低温条件下水稻幼苗的生长指标、叶绿素含量及可溶性糖含量，表征NAG的抗寒效果并筛选最适施用浓度
摘要：【目的】探討不同热风温度、切片厚度及装载量对牛大力切片热风干燥速率的影响，并建立牛大力切片热风干燥动力学模型，为牛大力干燥工艺探索提供理论依据。【方法】以热风温度（50、60、70、80 ℃）、切片厚度（2、4、6、8 mm）和装载量（100、200、300 g）为考察因素，实时测定各条件下牛大力切片热风干燥过程中水分变化，对常见的5种干燥模型进行筛选，并计算干燥过程中的有效水分扩散系数和活
摘要：【目的】探究烤煙型卷烟感官质量与烟气主要化学成分的关系，为烤烟型卷烟生产提供理论依据。【方法】以275份烤烟型卷烟烟气烟碱量、焦油量、一氧化碳量和感官质量得分为研究对象，进行相关分析、通径分析、回归分析、灰色关联分析和典型相关分析。【结果】烤烟型卷烟样品焦油量、一氧化碳量和烟气烟碱量的平均值分别为11.39、12.39和0.96 mg/支，变异系数分别为19.35%、20.02%和21.72
背景:近年来,领域驱动设计(domain driven design,简称DDD)作为一种软件设计方法在业界中逐渐流行起来,并形成了若干应用的固有范式,即领域驱动设计模式(domain driven design pattern,简称DDDP).然而,目前软件开发社区却仍然对DDDP在软件项目中的作用缺少较为全面的了解.目的:旨在揭示DDDP的应用情况,即哪些DDDP被应用到了软件开发中,以及其所带来的收益、挑战及相应的缓解挑战方法.方法:应用系统化文献综述方法,对2003年-2019年7月之间发表的相关
摘要：【目的】了解降雨天氣条件下红椎树干直径微变化特征，为开展红椎直径微生长对全球气候变化的响应研究提供基础数据。【方法】试验样地位于广西友谊关森林生态系统国家定位观测研究站实验区范围内，选取3株长势良好的红椎标准木，在树干1.3 m高处安装树干径向变化记录仪，于2019年5—10月连续观测直径微变化过程，同步观测风速、空气温度、降雨、空气相对湿度、光合有效辐射、土壤含水量及土壤温度等环境因子，揭
摘要：【目的】探究南方果园蚁巢土壤中特有的微生物资源及其功能，为探寻功能微生物资源及南方果园土壤的生态管理提供理论依据和技术支撑。【方法】以南方荔枝园中日本弓背蚁（Camponotus japonicus）的蚁巢土壤和非蚁巢土壤为研究对象，采用高通量测序技术，分析蚁巢和非蚁巢土壤微生物群落的结构特征。【结果】蚂蚁筑巢虽然对果园土壤微生物多样性及丰富度无显著影响（P>0.05），但明显改变了果园土壤
针对室外电子设备在自然对流条件下的散热问题,设计开发了一种新型散热器翅片结构——翅片开孔式涡流发生器,易于加工且直接与翅片连接,不存在焊接的问题。利用数值模拟的方法探究了涡流发生器的布置方式与攻角对散热器散热的影响。结果表明:翅片开设三角孔,在翅片间空气流动过程中起到了明显的作用,有效降低了三角形涡流发生器造成的流动阻力,增加了空气的扰动;当涡流发生器间距为40 mm、攻角为15°时,散热器翅片高温热源区域的散热效果最好。
通过水培试验,探究不同Mg2+浓度对粳稻黑糯72、籼稻红优2号、C两优华占和宜香优2115苗期Cd2+吸收及转运的影响。结果表明,各品种水稻幼苗植株内Cd含量表现为根>叶鞘>叶片,根是水稻吸收和富集Cd的主要器官;不同水稻品种各器官中Cd2+的转移能力存在显著差异,在Cd2+胁迫下添加Mg2+能够显著降低4种水稻根系、叶鞘及叶片中的Cd含量,添加Mg2+能够抑制C
针对情感分析任务中没有充分利用现有的语言知识和情感资源,以及在序列模型中存在的问题:模型会将输入文本序列解码为某一个特定的长度向量,如果向量的长度设定过短,会造成输入文本信息丢失.提出了一种基于多通道特征和自注意力的双向LSTM情感分类方法(MFSA-BiLSTM),该模型对情感分析任务中现有的语言知识和情感资源进行建模,形成不同的特征通道,并使用自注意力重点关注加强这些情感信息.MFSA-BiLSTM可以充分挖掘句子中的情感目标词和情感极性词之间的关系,且不依赖人工整理的情感词典.另外,在MFSA-Bi
[目的]探讨阳光玫瑰葡萄果实生长发育及品质对不同光质的响应,为提高果实品质提供参考依据.[方法]通过夜间对盛花后1周的阳光玫瑰葡萄每天进行6h补充红光、蓝光和白光处理,至