Active-constraint variable ordering for faster feasibility of mixed integer linear programs

The selection of the branching variable can greatly affect the speed of the branch and bound solution of a mixed-integer or integer linear program. Traditional approaches to branching variable selection rely on estimating the effect of the candidate variables on the objective function. We present a new approach that relies on estimating the impact of the candidate variables on the active constraints in the current LP relaxation. We apply this method to the problem of finding the first feasible solution as quickly as possible. Empirical experiments demonstrate a significant improvement compared to a state-of-the art commercial MIP solver.     

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.     

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.     

低价、高效、微波产品用的TPA覆铜版

随着信息产业的飞速发展,高频信号设备,如高速计算机、移动电话、卫星通信等,都已从兆赫频段扩展到千兆赫,这就意味着对它们所用的微波电路基板提出了更高的要求.长期以来,高频微波基板几乎没有越出使用聚四氟乙烯的老传统,但是,它有若干缺点玻璃化温度低,故刚性差;加工复杂,故成本高;金属化孔镀层与孔壁的结合力弱,故可靠性不高. 多年来,美国GIL科技公司一直在研制替代聚四氟乙烯的材料,经过姐妹公司的合作,终于研制成功了TPA板材,这种材料克服了上述缺点,从而获得了美国专利.本文介绍了TPA层压板的电气特性、机械特性和热效应,给出了许多宝贵数据.     

Characterization of solid state array cameras for the mid-IR

We present a characterization of some processes affecting the performance of solid state array cameras designed for ground based astronomical imaging in the 8–13μm atmospheric window. Our discussion includes a novel model for electron-hole generationrecombination noise based on the probable pathlength of an electron in a photoconductor. We use the Berkeley mid-IR Array Camera as an example. For this camera, the results show that the total optical system composed of the camera, a 3m telescope, and the atmosphere has an efficiency of about 3%, a 1σ noise equivalent flux density of 25 mJy min^?1/2arcsec^?2 measured over a Δλ/λ=10% band width, and a noise equivalent expressed as the ambient temperature thermal black body noise of 23%.