Unique satisfiability of Horn sets can be solved in nearly linear time

If a Horn set I has a single satisfying truth assignment or model then that model is said to be unique for I. The question of determining whether a unique model exists for a given Horn set I is shown to be solved in O((L)*L) time, where L is the sum of the lengths of the clauses in I and is the inverse Ackermann function. It is also shown that if LA*log (A) where A is the number of distinct proposition letters then unique satisfiability can be determined in O(L) time.     

An efficient palladium catalyzed synthesis of 2-arylbenzothiazoles

A novel and convergent palladium catalyzed synthesis of 2-arylbenzothiazoles has been investigated. The key step in the synthesis is a Suzuki biaryl coupling of 2-bromobenzothiazole with aryl boronic acids to provide a variety of 2-arylbenzothiazole derivatives in good yield. The synthetic utility of this methodology is demonstrated by the synthesis of 2-(4-aminophenyl)-6-methoxybenzothiazole, a PET probe precursor for the in vivo imaging of Alzheimer's disease.     

First-principles study of indium on silicon (1 0 0)—the structure, defects and interdiffusion

The atomic structures of indium (In) on silicon (Si) (1 0 0)-(2 × 1) surface are investigated by the local density approximation using first-principles pseudopotentials. Total energy optimizations show that the energetically favored structure is the parallel ad-dimer model. The adsorption energy of In on ideal Si(1 0 0)-(1 × 1) surface is significantly higher than that on reconstructed Si(1 0 0)-(2 × 1) surface, suggesting that In adsorption does not break the Si-Si dimer bond of the substrate. When Si surface contains single dimer vacancy defects, In chain will be interrupted, leading to disconnected In nanowires. Displacive adsorption of In on Si(1 0 0) is also considered, and the calculation suggests that interdiffusion of In into Si substrate will not be favorable under equilibrium conditions.     

Synthesis and characterization of white‐light‐emitting polyfluorenes containing orange phosphorescent moieties in the side chain

Two orange phosphorescent iridium complex monomers, 9‐hexyl‐9‐(iridium (III)bis(2‐(4′‐fluorophenyl)‐4‐phenylquinoline‐N,C^2′)(tetradecanedionate‐11,13))‐2,7‐dibromofluorene (Br‐PIr) and 9‐hexyl‐9‐(iridium(III)bis(2‐(4′‐fluorophenyl)‐4‐methylquinoline‐N,C^2′)(tetradecanedionate‐11,13))‐2,7‐dibromofluorene (Br‐MIr), were successfully synthesized. The Suzuki polycondensation of 2,7‐bis(trimethylene boronate)‐9,9‐dioctylfluorene with 2,7‐dibromo‐9,9‐dioctylfluorene and Br‐PIr or Br‐MIr afforded two series of copolymers, PIrPFs and MIrPFs, in good yields, in which the concentrations of the phosphorescent moieties were kept small (0.5–3 mol % feed ratio) to realize incomplete energy transfer. The photoluminescence (PL) of the copolymers showed blue‐ and orange‐emission peaks. A white‐light‐emitting diode with a configuration of indium tin oxide/poly(3,4‐ethylenedioxythiophene):poly(styrenesulfonate)/PIr05PF (0.5 mol % feed ratio of Br‐PIr)/Ca/Al exhibited a luminous efficiency of 4.49 cd/A and a power efficiency of 2.35 lm/W at 6.0 V with Commission Internationale de L'Eclairage (CIE) coordinates of (0.46, 0.33). The CIE coordinates were improved to (0.34, 0.33) when copolymer MIr10PF (1.0 mol % feed ratio of Br‐MIr) was employed as the white‐emissive layer. The strong orange emission in the electroluminescence spectra in comparison with PL for these kinds of polymers was attributed to the additional contribution of charge trapping in the phosphorescent dopants. © 2007 Wiley Periodicals, Inc. JPolym Sci Part A: Polym Chem 45: 1746–1757, 2007     

13C and 1H NMR analysis of the nitration products of 2-amino-4-oxo-(3H)-5-trifluoromethylquinazoline and 2-amino-4-oxo-(3H)-5-fluoroquinazoline

Nitration of 2-amino-4-oxo-(3H)-5-trifluoromethylquinazoline is shown to occur exclusively at C⁶ as determined from an analysis of long range ¹H and ¹⁹F scalar couplings to ring carbons. Nitration of 2-amino-4-oxo-(3H)-5-fluoroquinazoline is found to occur both at C⁶ and C⁸ as evident from an analysis of the ¹⁹F and ¹H couplings of the ring protons.     

Some Experiences with the Teaching of Decision Support Systems to Management Students

There are essentially two schools of thought regarding the function of decision support systems. One is that the main purpose is to support the decision-maker in whatever style of decision-making he or she wishes. The other is that the support, while suiting the decision-maker's individual style, must also be based on an appropriate theoretical paradigm. The work with students of decision support systems reported here suggests that the latter, normative, view is not one which comes naturally to many of the students, even when working on an example where it seemed relatively easy to incorporate. Other conclusions are also presented, relating to the choice of software for decision support system development, the process of teaching about decision support systems, and group formation.     

字节全加器及其在无线电测控系统中的应用

对全加器概念进行了推广，并在此基础上给出了使用字节全加器网络的无线电抗干扰算法。通过在实际的无线电测控系统中的应用，结果表明该算法具有良好的无线电抗干扰效果。     

A Practical Solution to a Cargo Loading Problem at Bethlehem Steel

The optimum assignment of structural steel shapes to rail cars is an important logistical problem in the steel industry. In this paper, we discuss an application at Bethlehem Steel that not only involves weight and dimensional constraints, but also customer unloading constraints. The formulation is a generalized bin packing problem which is solved by modifying and extending the first fit decreasing algorithm. The solution algorithm, SOLID (for Structural Optimal Loading IDentification), has been used extensively for one of Bethlehem's high tonnage customers providing very good practical (implementable) results that achieve the desired goals. Bethlehem has enhanced this approach for use with other customers.