Regularity of optimal sets for some functional involving eigenvalues of an operator in divergence form

In this paper we consider minimizers of the functional$\min \{{\lambda }_1(\mathrm{\Omega })+\cdots +{\lambda }_k(\mathrm{\Omega })+\mathrm{\Lambda }|\mathrm{\Omega }|,:\mathrm{\Omega }\subset D\text{ open}\}$ where $D\subset {\mathbb{R}}^d$ is a bounded open set and where $0<{\lambda }_1(\mathrm{\Omega })\le \cdots \le {\lambda }_k(\mathrm{\Omega })$ are the first k eigenvalues on Ω of an operator in divergence form with Dirichlet boundary condition and with Hölder continuous coefficients. We prove that the optimal sets ${\mathrm{\Omega }}^{⁎}$ have finite perimeter and that their free boundary $\partial {\mathrm{\Omega }}^{⁎}\cap D$ is composed of a regular part, which is locally the graph of a $C^{1,\alpha }$-regular function, and a singular part, which is empty if $d<d^{⁎}$, discrete if $d=d^{⁎}$ and of Hausdorff dimension at most $d-d^{⁎}$ if $d>d^{⁎}$, for some $d^{⁎}\in \{5,6,7\}$.     

1,3-丁二烯选择性加氢催化剂的设计策略以及构效关系

催化裂化是石油化工的核心单元之一.从催化裂化尾气中分离出来的碳四馏分富含许多的不饱和烯烃,如1-丁烯、顺、反式-2-丁烯以及少量的1,3-丁二烯,这些不饱和烯烃可以通过后续聚合反应,生成合成橡胶和工程塑料的重要原料,具有重要的应用价值.上述工艺过程对原料中1,3-丁二烯的含量(<100~200 ppm)有严苛的要求.采用选择性加氢技术对碳四馏分中的1,3-丁二烯进行选择性加氢,将其转化为更高附加值的单烯烃是一个理想的解决方案.然而,1,3-丁二烯加氢反应得到的单烯烃可能发生深度加氢得到副产物丁烷.因此,开发高效选择性加氢催化剂对碳四资源的利用具有重要的现实意义.另一方面,1,3-丁二烯加氢反应可以作为模型反应,用来考察选择性加氢催化剂的性能.基于此,该反应无论在工业界还是学术界均受到广泛关注.尽管如此,有关1,3-丁二烯加氢催化剂研究进展方面的综述极少.仅有关于1,3-丁二烯加氢作为模型反应的综述报道.本文对过去半个世纪以来1,3-丁二烯加氢反应中不同催化剂的发展历程进行系统综述,特别是包括Pd,Pt和Au等的单一贵金属催化剂.重点介绍以下内容:(1)固体催化剂构效关系,包括活性金属尺寸效应、晶面和形貌效应以及载体效应(晶相、孔道和酸碱性);(2)高性能催化剂的设计新策略,如单原子催化剂、核壳结构催化剂、金属-离子液复合催化体系以及载体的形貌调控;(3)催化剂的反应机理和失活机理.提出了1,3-丁二烯选择性加氢高性能催化剂开发面临的挑战,并对潜在的发展方向进行了展望.本文认为随着纳米技术和金属纳米材料合成方法的快速发展,对贵金属活性组分进行原子层面上的调控(包括形貌、尺寸以及单原子配位环境等)已成为可能.这将有助于研制出一类新型高性能选择性加氢催化材料,从而实现高转化率条件下高附加值单烯烃的定向转化.此外,载体的酸碱性和孔道结构的调控有助于进一步调节催化剂的抗积炭性能,也是未来发展的一个重要方向.     

Het(aryl)isatin to het(aryl)aminoindoline scaffold hopping: A route to selective inhibitors of matrix metalloproteinases

Matrix metalloproteinases (MMPs) are a large family of zinc-dependent endoproteases known to exert multiple regulatory roles in tumor progression. A variety of chemical classes have been explored for targeting individual MMP isoforms. In the present study, we further developed our isatin based scaffold BB0223107 capable of binding to and inactivating MMP-2 in a zinc-independent manner (Agamennone et al., 2016). Forty four new compounds were synthesized based on the modified BB0223107. All compounds were tested in enzyme inhibition assays against MMP-2, ?8 and ?13. SAR studies demonstrated that 5-het(aryl)-3-aminoindolin-2-ones (37–39) were active toward MMP-2 and MMP-13. The most potent compounds 33 and 37 displayed an IC₅₀ of 3 µM against MMP-13 and showed a negligible activity toward MMP-8; almost all new compounds were inactive toward MMP-8. Replacement of the isatin ring with a biaryl system (compound 33) did not decrease the potency against MMP-13 but reduced the selectivity. Structure-based computational studies were carried out to rationalize the inhibitory activity data. The analysis of binding geometries confirmed that all fragments occupied the S1′ site in the three enzymes while no ligand was able to bind the catalytic zinc ion. To the best of our knowledge, this is the first example of 3-aminoindolin-2-one-based MMP inhibitors that, based on the computer modeling study, do not coordinate the zinc ion. Thus, the het(aryl)-3-aminoindolin-2-one derivatives emerge as a drug-like and promising chemotype that, along with the hetaryl variations, represents an alternative and thrifty tool for chemical space exploration aimed at MMP inhibitor design.     

全局优化问题的一个新的无参数填充函数

求全局最优化问题的填充函数算法被提出以来，参数的选取和调整一直是制约算法有效性的因素。如何在实际的计算过程中选取合适的参数，直接影响和决定了运算速度和效率。因此，构造不含参数的填充函数就显得极为重要。提出一个新的无参数的填充函数，对其理论性质进行了分析，并给出相应的填充函数算法，数值计算验证了算法的有效性。     

Performance guarantees of forward and reverse greedy algorithms for minimizing nonsupermodular nonsubmodular functions on a matroid

This letter studies the problem of minimizing increasing set functions, equivalently, maximizing decreasing set functions, over the base matroid. This setting has received great interest, since it generalizes several applied problems including actuator and sensor placement problems in control, task allocation problems, video summarization, and many others. We study two greedy heuristics, namely, the forward and reverse greedy. We provide two novel performance guarantees for the approximate solutions obtained by them depending on both submodularity ratio and curvature.     

大尺寸电阻加热式碳化硅晶体生长热场设计与优化

大尺寸低缺陷碳化硅(SiC)单晶体是功率器件和射频(RF)器件的重要基础材料,物理气相传输(physical vapor transport, PVT)法是目前生长大尺寸SiC单晶体的主要方法。获得大尺寸高品质晶体的核心是通过调节组分、温度、压力实现气相组分在晶体生长界面均匀定向结晶,同时尽可能减小晶体的热应力。本文对电阻加热式8英寸(1英寸=2.54 cm)碳化硅大尺寸晶体生长系统展开热场设计研究。首先建立描述碳化硅原料受热分解热质输运及其多孔结构演变、系统热输运的物理和数学模型,进而使用数值模拟方法研究加热器位置、加热器功率和辐射孔径对温度分布的影响及其规律,并优化热场结构。数值模拟结果显示,通过优化散热孔形状、保温棉的结构等设计参数,电阻加热式大尺寸晶体生长系统在晶锭厚度变化、多孔介质原料消耗的情况下均能达到较低的晶体横向温度梯度和较高的纵向温度梯度。     

The 4-GDDs of type 3562

We determine the 22 isomorphism classes of 4-GDDs with group type $3^5{6}^2$ and compare their automorphism groups. We also observe for the first time an example of a three dimensional Pasch triangle in a GDD.     

在对比情境中走进真实的化学科学*——高一化学绪言课教学

绪言课的教学效果对于学生后续学习起着举足轻重的作用,基于对高一化学绪言课教学意蕴的分析,选取了历史与现代、生活与科研、国内与国外等多种情境素材,并设计成对比的教学情境,竭力将学生带进真实的化学科学,引领高中化学学习的方向,打开学生的国际视野,培养学生的家国情怀。并结合问卷调查对本节课教学效果进行了反思。     

基于流量测点的热网变动阻力系数优化辨识

随着供热计量系统的普及，系统可以根据负荷的变化进行调整，管网的阻力系数随即发生变化。对变动阻力系数进行优化辨识是了解供热管网实时运行状况的有效手段。提出一种基于流量监测数据的供热管网变动阻力系数优化辨识方法，并利用遗传算法进行求解。对洛阳市某小区供暖季管网实际运行数据进行验证，辨识结果的相对误差在5%以内。结果表明：该方法可以在只有流量观测数据时得到精度较高的供热管网变动阻力系数，为供热系统的运行调节提供指导。