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.     

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.     

Analysis of Antennas with PBG Substrate

The use of photonic materials has been used in the theory of optical waves. The PBG (Photonic Band Gap) theory and material, was developed recently for optical frequencies and can be easily applied to millimeter waves, microwaves and planar antenna frequencies. The presence of photonic materials as substrate in antennas has some good characteristics such as, supression of light spontaneous emission and suppression of surface waves, allowing the application in planar antenna array. In this work an elaborate analysis using the full wave Transverse Transmission Line - TTL method, that provides efficient and concise results is applied to the planar antennas array with PBG substrate.     

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.     

Book Reviews

Unsigned book reviews are by the Book Review Editor.     

Complexation thermodynamics of free and graft oligomers with complementary polymers

The dilute solution complexation equilibrium between linear macromolecules and smaller complementary oligomers is considered when: (1) the oligomers are free in solution; and (2) the oligomers are covalently attached at one end to the polymer. A general statistical mechanical framework is developed and is illustrated using a simple random walk model for polymer conformation. The statistical mechanical partition functions are formulated using a generating function technique, allowing thermodynamic averages in the complexed state to be calculated. Loops, trains, and tails of all possible length are allowed in the conformation of a complexed oligomer. Simulation results for the free oligomer case are compared with those obtained for oligomers covalently attached to the polymeric molecular. The model provides a theoretical explanation for the experimentally observed enhancement of complexation of oligomers grafted to the complementary polymers.