Room-temperature phosphorescence of anilinonaphthalenesulfonate “fluorescence probe” compounds

2,6-anilinonaphthalenesulfonate (2,6-ANS) and 2,6-toluidinonaphthalenesulfonate (2,6-TNS) exhibit room-temperature phosphorescence when absorbed on filter paper, but the corresponding 1,8-isomers (1,8-ANS and 1,8-TNS) do not. The phosphorescence of the 2,6-isomers and nonphosphorescence of the 1,8-isomers is also found to hold in rigid glass at 77 K. No phosphorescence was detectable from N-phenyl-1-napthylamine at room temperature or 77 K, indicating that intramolecular hydrogen bonding in the 1,8-isomers isomers is not an essential feature inhibiting phosphorescence. Very effective heavy-atom enhancement of the phosphorescences of 2,6-ANS and 2,6-TNS by sodium iodide is observed.     

Halogen adsorption on Fe(100): I. The adsorption of Cl2 studied by AES,LEED, work function change and thermal desorption

The initial sticking probability of chlorine on Fe(100) at room temperature is calculated to be 0.13, and there is evidence to suggest that the chlorine adsorbs into a short lived mobile precursor state above the surface. The work function change, Δφ, is proportional to coverage and reaches a maximum value of 1.43 eV at saturation. At this coverage a c(2 × 4) LEED pattern is formed. On heating, chlorine is lost from the surface, but the mechanism is such that no detectable loss is incurred at a constant elevated temperature. The c(2 × 4) pattern is shown to be a coincidence structure formed from a $\text{(}\text{1}\text{2}\text{3}\text{?1}\text{2}\text{3}\text{)}$ net of chlorine atoms on the Fe(100) substrate. This structure is a special case of the more general $\text{(}\text{1}\text{2}\text{tan}\text{α}\text{?1}\text{2}\text{tan}\text{α}\text{)}$ structure formed at lower concentrations of chlorine. The c(2 × 4) is formed when α = 56.31°, which gives the chlorine atoms a hard sphere diameter of 0.345 nm and a concentration of 0.75 atoms per four-fold site.     

The infrared spectrum of HC13F3

The infrared spectrum of HC¹³F₃ is reported for the first time. Fundamental frequency shifts due to carbon-13 substitution have been measured and rotational analyses of several of the fundamental and combination bands are given. Coriolis x-y and Fermi perturbations are evident in several of the bands. Table VI summarizes the data obtained in this study.     

Microwave spectrum,structure, and chemical bonding of trimethylbromosilane

The microwave spectrum of trimethylbromosilane (trimethylsilylbromide) has been investigated in the 26.5–40.0-GHz region. Spectra of several isotopic species have been observed, including the previously unreported spectrum of the ¹H¹²C³⁰Si⁸¹Br species, which yielded a B rotational constant of 1440.92 ± 0.02 MHz. From the experimental data it has been possible to derive the following structural parameters: SiBr = 2.235 ± 0.002 Å, SiC = 1.856 ± 0.010 Å, and ∠CSiBr = 107.5 ± 0.1°. The results have been compared to other relevant data and discussed in terms of prevailing chemical bonding principles.     

Magnetoelastic domain wall wave in a ferromagnet

We show that in a magnetically and elastically uniaxial ferromagnetic insulator, a new type of inhomogeneous elastic wave may propagate along a 180° domain wall. A numerical example is given.     

Relating geologic units and mobility system kinematics contributing to Curiosity wheel damage at Gale Crater,Mars

Curiosity landed on plains to the north of Mount Sharp in August 2012. By June 2016 the rover had traversed 12.9 km to the southwest, encountering extensive strata that were deposited in a fluvial-deltaic-lacustrine system. Initial drives across sharp sandstone outcrops initiated an unacceptably high rate of punctures and cracks in the thin aluminum wheel skin structures. Initial damage was found to be related to the drive control mode of the six wheel drive actuators and the kinematics of the rocker-bogie suspension. Wheels leading a suspension pivot were forced onto sharp, immobile surfaces by the other wheels as they maintained their commanded angular velocities. Wheel damage mechanisms such as geometry-induced stress concentration cracking and low-cycle fatigue were then exacerbated. A geomorphic map was generated to assist in planning traverses that would minimize further wheel damage. A steady increase in punctures and cracks between landing and June 2016 was due in part because of drives across the sharp sandstone outcrops that could not be avoided. Wheel lifetime estimates show that with careful path planning the wheels will be operational for an additional ten kilometers or more, allowing the rover to reach key strata exposed on the slopes of Mount Sharp.     

格值命题逻辑系统中基于滤子的MP归结演绎

给出了格值命题逻辑系统中子句的极简规则型范式,定义了MP归结.结合格蕴涵代数中滤子的性质,对格值命题逻辑系统中基于滤予的MP归结演绎及其语义与语法性质进行了研究,证明了归结演绎的可靠性与完备性定理.为进一步研究格值逻辑的自动归结推理奠定了理论基础.     

2IV^m-p设计的弱最小低阶混杂与纯净效应准则等价的条件

该文给出了2IVm-p设计包含最多纯净两因子交互效应与该设计具有弱最小低阶混杂等价的几个条件．并在文章的末尾给出了一组既具有弱最小低阶混杂又包含最多纯净两因子交互效应的2IVm-p设计．     

A multi-level search strategy for the 0-1 Multidimensional Knapsack Problem

We propose an exact method based on a multi-level search strategy for solving the 0-1 Multidimensional Knapsack Problem. Our search strategy is primarily based on the reduced costs of the non-basic variables of the LP-relaxation solution. Considering that the variables are sorted in decreasing order of their absolute reduced cost value, the top level branches of the search tree are enumerated following Resolution Search strategy, the middle level branches are enumerated following Branch & Bound strategy and the lower level branches are enumerated according to a simple Depth First Search enumeration strategy. Experimentally, this cooperative scheme is able to solve optimally large-scale strongly correlated 0-1 Multidimensional Knapsack Problem instances. The optimal values of all the 10 constraint, 500 variable instances and some of the 30 constraint, 250 variable instances of the OR-Library were found. These values were previously unknown.     

Model checking with Boolean Satisfiability

The evolution of SAT algorithms over the last decade has motivated the application of SAT to model checking, initially through the use of SAT in bounded model checking and, more recently, in unbounded model checking. This paper provides an overview of modern SAT algorithms, SAT-based bounded model checking and some of the most promising approaches for unbounded model checking, namely induction and interpolation. Moreover, the paper details a number of techniques that have proven effective in using SAT solvers in model checking.