摘要：超扩展规则是对扩展规则的扩充,基于超扩展规则能够求得任意两个非互补且不相互蕴含的子句所能扩展出极大项集的交集、差集和并集,并将所得结果以EPCCL(each pair of clauses contains complementary literals)理论的形式保存.基于超扩展规则的性质,提出一种EPCCL理论编译算法:求交知识编译算法IKCHER(intersection approach to knowledge compilation based on hyper extension rule).该算法适合难解类SAT问题的知识编译,也是一种可并行的知识编译算法.研究了如何实现多个EPCCL理论的求交操作,证明了EPCCL理论的求交过程是可并行执行的,并设计了相应的并行求交算法PIAE(parellel intersection of any number of EPCCL).通过对输入EPCCL理论对应普通子句集的利用,设计了一种高效的并行求交算法imp-PIAE(improvement of PIAE).基于上述算法,还设计了两种并行知识编译算法P-IKCHER(IKCHER with PIAE)和imp P-IKCHER(IKCHER with imp-PIAE),分别采用PIAE并行合并算法和imp-PUAE并行合并算法.最后,通过实验验证了,大部分情况下,IKCHER算法的编译质量是目前为止所有EPCCL理论编译器中最优的,P-IKCHER算法所使用的合并策略并没有起到加速的效果,反而使得编译效率和编译质量有所下降;imp P-IKCHER算法提高了IKCHER算法的编译效率,CPU四核环境下最高可提高2倍.

摘要：为保证焦面长度大于600mm的大视场空间光学遥感器在空间环境下的成像质量,设计了一套在±2mm调焦范围内焦面组件倾斜小于7″、定位精度优于0.01mm的焦面调焦机构。针对系统对调焦精度、力学环境、真空环境的要求,该调焦机构采用双凸轮驱动技术来满足调焦精度要求;采用失电制动器自锁技术,使相机经发射等力学环境冲击后像面位置仍保持稳定。此外,采用高刚度导轨和轴承使调焦机构具有较高的动态刚度。设计分析及实验证明,该套焦面调焦机构具有较高的调焦精度和可靠性,能够在复杂的空间环境下完成调焦任务,提高遥感器的成像质量。

摘要：社交媒体空间塑造了情绪传播的场景,体现出本我叙事、情绪狂欢及利益诉求的动机,个人情绪的社会化传播特征折射出情绪背后的意义建构、非理性危机和对理性回归的思考。

摘要：在国内的同期城市轨道交通声屏障建设工程中,宁波轨道交通1号线规模最大、投资最多,特别是大量应用了全封闭的声屏障措施,由此带来的诸多问题需要在设计过程中研究解决。结合工程特点,提出了声屏障设计的任务、原则和重点,并进行了若干专题研究。景观造型专题中,采取了多项景观设计措施,并对三种桥面布置方案作了对比分析;根据性能特点,选择了适当的声屏障材料;在全封闭声屏障性能研究中,分别对内部热环境、排烟和声学效果进行了分析,并给出了综合的解决方案。最后介绍了1号线的声屏障设计方案。声屏障实施后的测试结果达到设计预期降噪量,满足环保要求。该工程对国内城市轨道交通声屏障设计具有示范作用。

摘要：基于超扩展规则,证明了EPCCL(Each Pair Contains Complementary Literal)理论的合并过程是可并行执行的,并设计了针对多个EPCCL理论的并行合并算法PUAE(Parallel computing Union of Any number of EPCCL).通过对EPCCL理论原始子句集的利用,提出了另一种高效的EPCCL理论并行合并算法imp-PUAE(improvement of PUAE).UKCHER(computing Union sets of maximum terms for Knowledge Compilation based on Hyper Extension Rule)是一种可并行的EPCCL理论编译算法,分别利用PUAE和imp-PUAE设计了两个并行知识编译算法P-UKCHER(UKCHER with PUAE)和imp P-UKCHER(UKCHER with imp-PUAE).实验结果表明:P-UKCHER算法虽然没有提升UKCHER算法的效率,但能够提升UKCHER算法编译结果的质量,最好情况下可提升4倍;而imp P-UKCHER算法能够提高UKCHER算法的效率,同时也能够提升编译结果的质量,同样最好情况下可提升4倍.

摘要：随着市场经济的发展,文创产品的呈现形式日趋多样化。戏剧文创产品的发展仍处于起步阶段,但其设计与开发逐渐变得丰富多样。文创产品的最终目的是文化消费。现从用户体验的角度出发,构建用户画像,通过采用文献分析、问卷调查、案例分析、田野调查等研究方法,分析戏剧文创产品的开发与设计,探究其提质与创新策略,这对文化创意产业的可持续发展、保护和传承非遗都具有重要意义。

摘要：自古以来,东北地区一直是流放者的居所。时至清初,大批文人因为参与抗清、直谏、党争,或案狱牵连而被遣戍到此,其规模和影响力均堪称空前。这些流放文人在塞外援翰写心,吟咏不辍,东北的山川节物,风土人情成为他们诗作中重要的表现对象。但同时也总会呈现出各种矛盾——畏惧与叹赏,苦闷与旷达,顽强坚韧与焦灼渴望,对东北地域文化的"疏"与"合",往往在诗中相伴并存。这种矛盾为清初流人诗平添了独特的艺术感染力,同时也是流人复杂心态的真实写照。

摘要：差分干涉测量技术(D-InSAR)是一种利用不同时相SAR数据获取形变信息的遥感技术,目前已经被广泛应用于大范围的地表形变监测。各种InSAR传感器搭载平台被应用于不同的空间尺度研究,包括星载、机载、车载和地基InSAR等,小范围江河边坡监测在可以进行对岸观测条件下,目前主要使用固定式地基InSAR监测,但是地基InSAR布设周期较长、成本较高,本文提出一种移动式船载InSAR形变监测技术,并根据船载InSAR成像几何设计一种船载双天线InSAR形变监测模型,该模型使得近距离观测船载InSAR系统在未达到H>>h和R>>h的条件下同样满足■的假设。本文选择云南省澜沧江流域进行试验,并利用角反射器(triangle corner reflector, TCR)模拟形变和评估形变结果的精度。试验结果表明,利用本文提出的船载InSAR技术能够获得2 cm内的视线方向(line of sight, LOS)形变误差。船载InSAR技术适用于江河流域的边坡形变监测,对水利设施的灾害监测和预警具有重要意义。

摘要：为了提高采用遗传算法的气动优化设计的效率,文中探讨了将优化方法中的拟牛顿与遗传算法相结合,形成混合遗传算法,并将分布式计算与分布式遗传算法相结合,形成了基于分布式遗传算法的气动优化设计方法。应用该方法进行了无人机翼型、多段翼型的气动外形优化设计。设计实践表明,文中发展的方法是可行的,且由于采用了混合遗传算法和分布式遗传算法而提高了优化的质量和效率。

摘要：自适应分析研究超出弹性极限的重复载荷作用下结构的弹塑性行为。与其他塑性理论相比,自适应理论的分析结果更逼近结构塑性破坏的实质。以日本某桥为例,以增量分析法为基础编制有限元程序,采用Timoshenko弹塑性分层梁单元模拟连续实腹钢梁桥结构,进行其在重复载荷作用下自适应行为分析。结果表明:随活载系数的增加,结构依次经历全弹性承载、自适应和塑性增量破坏3个阶段;按自适应理论分析,该梁能够承受的最大活载是设计活载的2.804倍;可见,对于按容许应力法设计的旧有钢桥,自适应分析能极大地挖掘其承载潜力。