On the algebraic formulation of certain geometry statements and mechanical geometry theorem proving

In this paper we analyze the algebraic formulations of certain geometry statements appearing in recent literature related to mechanical geometry theorem proving and give several examples to show that one of these formulations can cause serious problems. We clarify a formulation which is essentially due to W. T. Wu and, in our opinion, is the most satisfactory.This author was supported by NSF Grants DCR-8503498 and CCR-8702108.     

Time series modeling and spectrum analysis for chatter mode in endmilling dynamics

To analyze the chatter mechanics, the power spectrum of a time series method was analyzed by considering cutting and structural dynamics. In this study, several time series models such as AR (burg, least square, yule walker, geometric lattice, instrument variable), ARX (arx, iv4), ARMAX, ARMA, Box Jenkins, Output Error were modeled and compared with one another. Finally, it was proved that arx, armax and iv4 are more desirable and reliable algorithms than the others for the calculation of the chatter mode in the endmilling operation. The cutting forces Fx and Fz have more powerful effects on the chatter than Fy in the sense that there is no shifting or pseudo mode in the power spectrum.     

A CMOS ratio-independent and gain-insensitive algorithmicanalog-to-digital converter

This paper describes the design of a CMOS capacitor-ratio-independent and gain-insensitive algorithmic analog-to-digital (A/D) converter. Using the fully differential switched-capacitor technique, the A/D converter is insensitive to capacitor-ratio accuracy as well as finite gain and offset voltage of operational amplifiers. The switch-induced error voltage becomes the only major error source, which is further suppressed by the fully differential structure. The proposed A/D converter is designed and fabricated by 0.8 μm double-poly double-metal CMOS technology. The op-amp gain is only 60 dB and no special layout care is done for capacitor matching. Experimental results have shown that 14-b resolution at the sampling frequency of 10 kHz can be achieved in the fabricated A/D converter. Thus it can be used in the applications which require low-cost high-resolution A/D conversion     

Recurrence and death in non-small cell lung carcinomas: a prognostic model using pathological parameters, microvessel count, and gene protein products

Optimized stent expansion by high-pressure inflations of oversized balloons has initially been derived from experience obtained with the Palmaz-Schatz stent, whereas there is little experience with this strategy in the Wallstent. By using this approach with quantitative coronary angiographic guidance, 20 Wallstents and 20 Palmaz-Schatz stents were implanted in 34 patients and consecutively examined by conventional two-dimensional (2D) intracoronary ultrasound (ICUS) and three-dimensional (3D) ICUS on the basis of the application of a pattern recognition algorithm. Ultrasound criteria of adequate stent expansion were defined as a complete apposition of the stent to the vessel wall, a stent symmetry index (SSI = minimum/maximum lumen diameter) > or = O.7, and a stent-reference lumen area ratio (SRR = Minimum intrastent lumen area/Average of proximal and distal reference lumen area) > or = O.8. In all cases a smooth angiographic lumen and a negative diameter stenosis, on the basis of a distal reference, was achieved. For the Wallstents ICUS showed a higher SSI (2D, 0.95 +/- 0.04 vs 0.85 +/- 0.09; p < 0.001; 3D, 0.90 +/- 0.09 vs 0.82 +/- 0.11, p < 0.05) and a lower SRR (2D, 0.66 +/- 0.12 vs 0.81 +/- 0.13, p < 0.005; 3D, 0.63 +/- 0.14 vs 0.74 +/- 0.15, p < 0.05) than for the Palmaz-Schatz stents. Ninety percent of failure in meeting these criteria resulted from a low SRR. The incidence of incomplete stent apposition (one in both stents) or SSI <0.7 was low and generally associated with an SRR <0.8. The Wallstents met the ICUS criteria less often (2D, 2(1O%) vs 10(50%), p < 0.01; 3D, 3(15%) vs 9(45%), p < 0.05), were significantly longer (35.1 +/- 7.7 mm and 14.3 +/- 3.3 mm, p < 0.0001), and generally demonstrated a larger vessel tapering, measured as proximal minus distal ICUS reference lumen area (1.33 +/- 2.91 mm2 vs 0.44 +/- 1.97 mm(2), not significant). Wallstents meeting the ICUS criteria, however, showed less vessel tapering (0.18 +/- 1.64 mm(2)). Thus optimized stent expansion was followed by excellent angiographic results for both Palmaz-Schatz and Wallstent. Although angiographic results and visual assessment of the ICUS examination suggested a good outcome, few Wallstents met the ICUS criteria in contrast to the Palmaz-Schatz stents. The low value of the SRR in the Wallstents is likely to be caused by vessel tapering, suggesting that this criterion may be unsuitable in assessing the adequacy of the expansion of relatively long stents such as the Wallstent.     

Multiclass Multiserver Threshold-Based Systems: A Study of Noninstantaneous Server Activation

In this paper, we consider performance evaluation of a system which shares K servers (or resources) among N heterogeneous classes of workloads, where server allocation and deallocation for class i is dictated by a class specific threshold-based policy with hysteresis control. In particular, the server activation time for class i is noninstantaneous. There are many systems and applications where a multiclass threshold-based queueing system can be of great use. One important utility of using threshold-based approaches is in situations where applications may incur server usage costs. In these cases, one needs to consider not only the performance aspects but also the resulting cost/performance ratio. The motivation for using hysteresis control is to reduce the unnecessary cost of server setup (or activation) and server removal (or deactivation) whenever there are momentary fluctuations in workload. Moreover, servers in such systems and applications are often needed by multiple classes of workloads and, hence, it is desirable to find good approaches to sharing server resources among the different classes of workloads, preferably without statically partitioning the server pool among these classes. An important and distinguishing characteristic of our work is that we consider the modeling and analysis of a multiclass system with noninstantaneous server activation. The main contributions of this work are: 1) in developing an efficient approximation method for solving such models; 2) in verifying the convergence of our iterative method, and 3) in evaluating the resulting accuracy of the technique for computing performance measures of interest, which can subsequently be used in making system design choices     

Efficient encoding of IEEE 802.11n LDPC codes

Addressed is the issue of LDPC coding for the emerging IEEE 802.11n standard. An efficient encoding algorithm is proposed. The algorithm is simple and easy to implement. The memory requirement is trivial     

Synergistic interaction of D1 and D2 dopamine receptors in the modulation of the reinforcing effect of brain stimulation.

Rats were trained to press a bar for hypothalamic stimulation, and a frequency-response function was plotted. Quinpirole (a selective D2 agonist) facilitated self-stimulation when injected alone but failed to show the facilitatory effect when injected either 1 hr before or 1 hr after injection of SCH 23390 (a D1 antagonist). Injection of reserpine followed by α-methyl-p-tyrosine virtually eliminated self-stimulation. Subsequent injection of either SKF 38393 (a D1 agonist) alone or quinpirole alone did not restore self-stimulation, but a combination of quinpirole and SKF 38393 did. Results suggest that a D2 dopamine agonist facilitates the reinforcing effect of brain stimulation only if D1 receptors are activated by endogenous dopamine or by an exogenous agonist. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Analysis of a grating metal structure with broad back-scatteringfield pattern for applications in vehicle collision avoidancesystem

In this paper, grating metal structures with broad and flat back-scattering field patterns are studied for possible applications in a vehicle collision avoidance system. The two-dimensional TE scattering of a planar grating structure and a curved grating structure are analyzed at a frequency of 77 GHz. For the planar structure, the method of moments and Floquet's theorem are used to solve the induced current and the resultant back-scattering field. Based on the results of the planar structure, the scattering field of the curved grating structure is obtained by using a perturbation method. The influence on the field pattern of the curvature as well as other structure parameters, such as the width and geometry of each period in the grating structure, is investigated     

Proposed modification to the CIECAM02 colour appearance model to include the simultaneous contrast effects

A modified CIECAM02 colour appearance model, named CIECAM02‐m2, is proposed to enable CIECAM02 to predict the simultaneous contrast effect. The structure of the CIECAM02‐m2 is a development from CIECAM02, and contains two different procedures for modifying the reference white; one is for lightness and the other is for hue. The model was tested using a data set accumulated in this study and the LUTCHI data. The CV values for three colour attributes between predictions and experimental data were used to evaluate the accuracy of the model. The low CV values obtained show the performance of the CIECAM02‐m2 model to predict the simultaneous contrast effect satisfactorily. © 2007 Wiley Periodicals, Inc. Col Res Appl, 32, 121 – 129, 2007     

A new model for transformer saturation characteristics by includinghysteresis loops

A simplified analytical expression in polynomial form to determine the transformer saturation and hysteresis characteristics without field test data is presented. Higher-order approximations are simulated for comparison with transformers of various capacities. The results are compared with experiments and simulations and show very good agreement. It is possible to determine accurate transformer saturation and hysteresis characteristics with this simplified procedure