Error in the UNITY substitution rule for subscripted operators

UNITY, introduced by Chandy and Misra [ChM88], is a programming logic intended to reason about temporal properties of distributed programs. Despite the fact that UNITY does not have the full power of, for example, linear temporal logic, it enjoys popularity due to its simplicity.There was however a serious problem with the Substitution Rule. The logic is incomplete without the rule, and with the rule it is inconsistent.     

Connectivity and performance tradeoffs in the cascade correlationlearning architecture

The cascade correlation is a very flexible, efficient and fast algorithm for supervised learning. It incrementally builds the network by adding hidden units one at a time, until the desired input/output mapping is achieved. It connects all the previously installed units to the new unit being added. Consequently, each new unit in effect adds a new layer and the fan-in of the hidden and output units keeps on increasing as more units get added. The resulting structure could be hard to implement in VLSI, because the connections are irregular and the fan-in is unbounded. Moreover, the depth or the propagation delay through the resulting network is directly proportional to the number of units and can be excessive. We have modified the algorithm to generate networks with restricted fan-in and small depth (propagation delay) by controlling the connectivity. Our results reveal that there is a tradeoff between connectivity and other performance attributes like depth, total number of independent parameters, and learning time.     

Robust crossfeed design for hovering rotorcraft

Control law design for rotorcraft fly-by-wire systems normally attempts to decouple the angular responses using fixed-gain crossfeeds. This approach can lead to poor decoupling over the frequency range of pilot inputs and increase the load on the feedback loops. In order to improve the decoupling performance, dynamic crossfeeds should be adopted. Moreover, because of the large changes that occur in the aircraft dynamics due to small changes about the nominal design condition, especially for near-hovering flight, the crossfeed design must be ‘robust’. A new low-order matching method is presented here to design robust crossfeed compensators for multi-input, multi-output (MIMO) systems. The technique minimizes cross-coupling given an anticipated set of parameter variations for the range of flight conditions of concern. Results are presented in this paper of an analysis of the pitch/roll coupling of the UH-60 Black Hawk helicopter in near-hovering flight. A robust crossfeed is designed that shows significant improvement in decoupling perfomance and robustness over the fixed-gain or single point dynamic compensators. The design method and results are presented in an easily used graphical format that lends significant physical insight to the design procedure. This plant precompensation technique is an appropriate preliminary step to the design of robust feedback control laws for rotorcraft.     

ENHANCING THE CREATIVITY OF REENGINEERING Techniques for Making IS More Creative

Industries in the US continue to lose ground in international competition. If IS is to help change that trend, it will have to become more creative. Creativity improvement programs are being introduced in other areas of the company— now is the time for IS organizations to follow suit.     

Vasodilation with adenosine or sodium nitroprusside after coronary artery bypass surgery: a comparative study on myocardial blood flow and metabolism

The effects of adenosine and sodium nitroprusside (SNP) on central hemodynamics and myocardial blood flow and metabolism were investigated postoperatively after elective coronary artery bypass (CABG) surgery in ten sedated and mechanically ventilated patients in the intensive care unit. During three consecutive 15-min periods, SNP (0.8 +/- 0.1 micrograms.kg-1 x min-1), adenosine (88.9 +/- 13.3 micrograms.kg-1 x min-1), and then again SNP (0.7 +/- 0.1 micrograms.kg-1 x min-1) were infused to control postoperative hypertension at a mean arterial pressure of approximately 80 mm Hg. Systemic and pulmonary hemodynamics and global (coronary sinus flow, CSF) as well as regional (great cardiac vein flow, GCVF) myocardial blood flow and metabolic variables were measured. During adenosine infusion, in comparison to SNP, heart rate was unchanged, stroke volume index and cardiac index increased (24% and 32%, respectively), and the systemic vascular resistance index decreased (-26%). Mean pulmonary arterial pressure (24%) as well as pulmonary capillary wedge pressure (27%) and central venous pressure (18%) were higher with adenosine compared to SNP. Adenosine also increased CSF and GCVF (108% and 103%, respectively) without altering the CSF/GCVF flow ratio compared to SNP. Furthermore, adenosine increased the coronary oxygen content (51%) and decreased the arterio-great cardiac vein oxygen content difference (-48%) without changing regional myocardial oxygen consumption, indicating a more pronounced hyperkinetic myocardial circulation compared to SNP. In addition, adenosine infusion decreased arterial PO2 (-11%) and increased the intrapulmonary shunt fraction (57%). The PR interval time of the electrocardiogram was prolonged (12%) and the ST segment was more depressed during adenosine infusion compared to SNP.(ABSTRACT TRUNCATED AT 250 WORDS)     

A study of phase equilibria of nitrogen for constructing a medium value pressure scale

Translated from Izmeritel'naya Tekhnika, No. 3, pp. 40–42, March, 1993.     

Some features of the chemical transformation of a highly exothermic ore concentrate-based mixture in a combustion wave

Use of inexpensive ore concentrates as initial components in SHS metallurgy [1–3] brings about some specific features in the process and the properties of the materials obtained. Ore reagents contain a considerable amount of impurities (Al₂O₃, SiO₂, Fe₂O₃) that decrease the energetics of SHS systems and the temperature and the rate of combustion and create the limits of combustion and phase separation. In addition, the impurities participate in chemical reactions and enter the desired product. In many cases the presence of silicon, iron, and aluminum in a cast product does not prevent use of this product for practical purposes.Institute of Metallurgy, Academy of Sciences of the Republic of Georgia, Tbilisi. Institute of Structural Macrokinetics, Russian Academy of Sciences, Chernogolovka. Translated from Inzhenerno-Fizicheskii Zhurnal, Vol. 65, No. 5, pp. 613–616, November, 1993.