摘要：给出并证明了可满足性问题有解的一个充分必要条件,即合取范式的成假赋值仅由与简单析取式个数相等的有限个向量决定.在此条件基础上设计出用这些向量对初始赋值进行筛除的可满足性问题过滤算法,该算法的时间复杂性仅与向量个数和维数有关.为了在DNA计算模型上实现可满足性问题过滤算法,采用2n维向量的数据结构进行DNA编码代表可满足性问题的赋值;而闭环DNA计算模型的删除实验恰好能够完成对初始赋值的筛选,得到可满足性问题的可行解.最后用闭环DNA计算模型实现了可满足性问题过滤算法,并用实例说明了算法的有效性和可行性.

摘要：针对空心多孔结构参数化建模困难、承载性能不足的问题,提出了一种梯度空心多孔结构优化设计方法。将不同水平参数的I-WP(I-wrapped package)型三周期极小曲面进行布尔运算实现了空心多孔结构单胞的隐式建模,并基于数值均匀化法对该结构的等效弹性属性进行了评估。通过引入凸优化理论的仿射概念,构造混合水平集函数,实现了梯度空心多孔结构的参数化建模;以刚度最大化为目标函数,建立了基于混合水平集方法的梯度空心多孔结构拓扑优化模型,通过优化准则算法进行求解,得到了具有良好连续性的梯度多孔结构。对优化结构进行了有限元分析,并采用选择性激光烧结技术制造了模型样件,开展了力学实验。数值案例和实验结果表明,该方法可有效实现空心多孔结构的参数化设计,显著提高了多孔结构的承载性能。

摘要：利用传热学理论结合UHMWPE单螺杆挤出管材的成型规律,采用数值计算法(有限差分法)建立起基于UHMWPE单螺杆挤出机的熔融数学模型,并开发出相应CAD软件,采用该软件能比较客观准确地对原料的熔融过程进行数值模拟,对正确设计UHMWPE单螺杆挤出机的结构参数提供了理论基础。

摘要：为解决传统功能梯度多孔结构单胞分布形式单一、几何连续性差的问题,提出了一种功能梯度多孔结构拓扑优化的混合水平集方法。引入权重系数构造隐式水平集函数的仿射,实现了梯度微结构单胞与宏观结构隐式建模。建立全局更新-局部插值的设计变量更新策略,将几何连续性嵌入拓扑优化模型。以权重系数作为设计变量,结构体积分数为约束,建立了功能梯度多孔结构刚度拓扑优化模型,并采用优化准则算法进行求解。数值算例表明,本方法可有效实现功能梯度多孔结构拓扑优化,丰富了多孔结构单胞的梯度变化形式,保证了不同多孔结构之间的连续性。

摘要：近年来,离子液体以其独特的优势成为催化体系研究的热点。离子液体具有良好的溶解性、较低的挥发性、可设计性和可重复使用性等特点,作为反应催化剂和溶剂,其相比于传统溶剂展现出更好的选择性和反应速率。综述了离子液体作为反应催化剂、反应溶剂、共催化剂或活性催化剂、负载型离子液体等在催化体系中的应用研究进展,并展望了离子液体在催化中的发展前景。

摘要：为了实现尺度关联周期性多孔结构的隔振性能优化,提出一种周期性多孔结构特征值拓扑优化方法。基于子结构动态凝聚方法对多孔结构的刚度和质量矩阵进行缩减,采用局部水平集函数(LLSF)对多孔结构进行几何隐式描述,以最大化前6阶特征值为目标函数,以结构体积分数为约束条件,建立周期性多孔结构特征值拓扑优化模型,采用优化准则法对拓扑优化模型进行求解,并研究了多孔结构特征值拓扑优化的尺度效应。研究表明,该方法能有效实现尺度关联的二维和三维周期性多孔结构的特征值拓扑优化,并能大幅提高特征值拓扑优化的计算效率。

摘要：提出了一种基于Pancharatnam-Berry相位设计制作的超表面平面轴棱锥透镜产生贝塞尔光束的方法.理论分析表明:由于Pancharatnam-Berry相位的自旋相关性,设计的平面轴棱锥透镜需采用左旋圆偏振光入射才能有效地产生贝塞尔光束.超表面微结构单元的旋转率与最大无衍射距离成反比,这提供了一个获得更大无衍射距离的方便的途径.最后,搭建了一套基于平面轴棱锥透镜的贝塞尔光束产生系统,实验结果与数值模拟结果一致.这些结论有助于设计制作更多新颖的基于Pancharatnam-Berry相位的平面光子学器件.

摘要：目的　研究含N 乙基 2 甲基 5 硝基咪唑的诺氟沙星、环丙沙星和依诺沙星衍生物的合成及其抗菌活性。方法　用含 2 甲基 5 硝基咪唑的诺氟沙星、环丙沙星和依诺沙星等为原料 ,通过亲核取代、酯化合成目的物 ;测定目的物的抗菌活性。结果　设计、合成了 9个新化合物 (IIa～c ,IIIa～f) ,其结构经MS ,1 HNMR和元素分析确证。化合物IIa～c的体内抗菌活性较明显。结论　化合物IIa～c显示了一定的体内抗菌活性 。

摘要：针对多功能结构承载散热一体化需求,提出面向功能梯度多孔结构的拓扑优化设计方法.首先基于三周期极小曲面实现C0连续梯度多孔结构建模;然后引入数值均匀化法计算多孔结构宏观等效弹性张量和宏观等效热传导张量;最后以多孔结构体积分数为设计变量,建立散热弱度和结构柔度最小化加权多目标拓扑优化模型,采用优化准则法求解.数值算例结果表明,相比于单目标拓扑优化设计,该方法通过牺牲较低的散热性能换取较大的承载性能提升,显著地提高了多孔结构的综合性能.

摘要：带约束的Delaunay剖分算法多应用于表达数字地面模型,用于三维地质模型的构建尚不成熟。为了直观显示工程地质结构和快速准确分析工程地质条件,可依据带约束Delaunay三角剖分算法分别生成地层、断裂、界线类地质结构的TIN模型,拼合形成工程整体三维地质模型。通过编制基于TIN模型的工程三维地质建模程序,建立了金沙江两家人水电工程坝址区域的三维地质模型,为工程地质评价及工程设计提供了决策支持,以此作为工程应用实例。实践应用表明,该方法具有快速、准确、通适的特点。