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\}$.     

Modular Synthetic Approach to Carboranyl‒Biomolecules Conjugates

The development of novel, tumor-selective and boron-rich compounds as potential agents for use in boron neutron capture therapy (BNCT) represents a very important field in cancer treatment by radiation therapy. Here, we report the design and synthesis of two promising compounds that combine meta-carborane, a water-soluble monosaccharide and a linking unit, namely glycine or ethylenediamine, for facile coupling with various tumor-selective biomolecules bearing a free amino or carboxylic acid group. In this work, coupling experiments with two selected biomolecules, a coumarin derivative and folic acid, were included. The task of every component in this approach was carefully chosen: the carborane moiety supplies ten boron atoms, which is a tenfold increase in boron content compared to the l-boronophenylalanine (l-BPA) presently used in BNCT; the sugar moiety compensates for the hydrophobic character of the carborane; the linking unit, depending on the chosen biomolecule, acts as the connection between the tumor-selective component and the boron-rich moiety; and the respective tumor-selective biomolecule provides the necessary selectivity. This approach makes it possible to develop a modular and feasible strategy for the synthesis of readily obtainable boron-rich agents with optimized properties for potential applications in BNCT.     

Thermally induced solid-state transformation of cimetidine. A multi-spectroscopic/chemometrics determination of the kinetics of the process and structural elucidation of one of the products as a stable N3-enamino tautomer

Exposure of cimetidine (CIM) to dry heat (160–180 °C) afforded, upon cooling, a glassy solid containing new and hitherto unknown products. The kinetics of this process was studied by a second order chemometrics-assisted multi-spectroscopic approach. Proton and carbon-13 nuclear magnetic resonance (NMR), as well as ultraviolet and infrared spectroscopic data were jointly used, whereas multivariate curve resolution with alternating least squares (MCR-ALS) was employed as the chemometrics method to extract process information. It was established that drug degradation follows a first order kinetics.     

音序、形序、义序:并存还是取代?——也谈词典词目编排法

按词目的编排方法分,词典可分为三大类:音序词典、形序词典和义序词典。这三类词典各有优点和缺点;它们之间的关系应该是“长期共存,互相补足”,而不是谁取代谁。以此取代彼,没有必要性,也没有可能性。     

锚索技术在荫营煤矿的应用

锚索支护是一种新型支护形式，对锚索支护原理的分析及在荫营煤矿的多次试验说明：锚索支护作为一种高承载支护形式，完全可取代架棚支护，而且操作简便，同时还可以加快掘进速度。     

组合夹具CAD技术的研究进展

组合夹具CAD(Computer-Aided Design)技术，是利用计算机辅助组装设计代替传统的人工组装设计的方法，可以有效地提高组合夹具组装设计的速度和质量。介绍了近年来国内外组合夹具CAD技术的发展概况，提出了今后组合夹具CAD技术的研究方法和发展方向。     

物理理论与美的统一

从物理学的概念、定义、定理、定律、公式中，浅谈物理学形式美的基本内容：对称美、简洁美、和谐美和多样统一美。     

复数,实数及实对称数据下Bruun FFT算法的实现

本文在复数、实数以及实对称数据下研究和实现了Ｂｒｕｕｎ ＦＦＴ算法。文章分析和评价了各种数据下ＢｒｕｕｎＦＦＴ的运算量和特点，提出了算法的实现结构和方法。最后给了ＴＭＳ３２０Ｃ３０上的运算时间，我们实现的算法比基２ＦＦＴ速度提高３５％。     

An Analogue of Distributivity for Ungraded Lattices

In this paper, we study lattices that posess both the properties of being extremal (in the sense of Markowsky) and of being left modular (in the sense of Blass and Sagan). We call such lattices trim and show that they posess some additional appealing properties, analogous to those of a distributive lattice. For example, trimness is preserved under taking intervals and suitable sublattices. Trim lattices satisfy a weakened form of modularity. The order complex of a trim lattice is contractible or homotopic to a sphere; the latter holds exactly if the maximum element of the lattice is a join of atoms. Any distributive lattice is trim, but trim lattices need not be graded. The main example of ungraded trim lattices are the Tamari lattices and generalizations of them. We show that the Cambrian lattices in types A and B defined by Reading are trim; we conjecture that all Cambrian lattices are trim.     

关于命题公式的主范式

本文讨论了两个命题公式的一次复合的主析(合)取范式与它们的主析(合)取范式之间的关系。