Technology for testing nondeterministic client/server database applications

The execution of a client/server application involving database access requires a sequence of database transaction events (or, T-events), called a transaction sequence (or, T-sequence). A client/server database application may have nondeterministic behavior in that multiple executions thereof with the same input may produce different T-sequences. We present a framework for testing all possible T-sequences of a client/server database application. We first show how to define a T-sequence in order to provide sufficient information to detect race conditions between T-events. Second, we design algorithms to change the outcomes of race conditions in order to derive race variants, which are prefixes of other T-sequences. Third, we develop a prefix-based replay technique for race variants derived from T-sequences. We prove that our framework can derive all the possible T-sequences in cases where every execution of the application terminates. A formal proof and an analysis of the proposed framework are given. We describe a prototype implementation of the framework and present experimental results obtained from it.     

基于DSP+CPLD的高精度信号发生器

介绍了基于直接数字式频率合成(DDS)原理的全数字信号发生器(DSP),利用DSP芯片快速、高精度的运算优势以及CPLD芯片灵活的编程逻辑、大容量存储功能的特点,采用通用可编程芯片以及数字波形合成技术,形成高稳定、高精度、高动态的数字合成信号.该信号发生器可产生0～25 kHz的正弦波、三角波和方波,输出电压峰峰值为0～5 V,频率步进1 Hz,幅度步进0.001 V.     

基于PCI总线的高速多路数据传输卡设计

介绍了一套基于外部设备互连(PCI)总线的高速多路数据传输卡的设计,采用基于PCI内核与PCI用户逻辑相结合的新型设计方案,在顶层通过仿真来验证PCI接口以及用户逻辑设计正确与否.降低了设计的复杂程度,提高了电路的集成度和系统的性能,并根据PCI卡对外部设备驱动能力较弱的特点,在传输卡中加入了长线驱动功能,采用低电压差分信号(LVDS)技术,既降低了系统功耗,又实现长距离的计算机双向通信.     

A 0.25-/spl mu/m CMOS quad-band GSM RF transceiver using an efficient LO frequency plan

This paper describes a single-chip CMOS quad-band (850/900/1800/1900 MHz) RF transceiver for GSM/GPRS applications. It is the most important design issue to maximize resource sharing and reuse in designing the multiband transceivers. In particular, reducing the number of voltage-controlled oscillators (VCOs) required for local oscillator (LO) frequency generation is very important because the VCO and phase-locked loop (PLL) circuits occupy a relatively large area. We propose a quad-band GSM transceiver architecture that employs a direct conversion receiver and an offset PLL transmitter, which requires only one VCO/PLL to generate LO signals by using an efficient LO frequency plan. In the receive path, four separate LNAs are used for each band, and two down-conversion mixers are used, one for the low bands (850/900 MHz) and the other for the high bands (1800/1900 MHz). A receiver baseband circuit is shared for all four bands because all of their channel spaces are the same. In the transmit path, most of the building blocks of the offset PLL, including a TX VCO and IF filters, are integrated. The quad-band GSM transceiver that was implemented in 0.25-/spl mu/m CMOS technology has a size of 3.3/spl times/3.2 mm/sup 2/, including its pad area. From the experimental results, we found that the receiver provides a maximum noise figure of 2.9 dB and a minimum IIP3 of -13.2dBm for the EGSM 900 band. The transmitter shows an rms phase error of 1.4/spl deg/ and meets the GSM spectral mask specification. The prototype chip consumes 56 and 58 mA at 2.8 V in the RX and TX modes, respectively.     

Peripheral nerve injury as a complication from orthopedic operation

We report a case of pulmonary carcinosarcoma. Surgery is required for this rare mixed type, biphasic tumor. It is generally considered to be a malignant formation issuing from a single cell line but with a two-way differentiation into epithelial and conjunctive components. There is a differentiation continuum between spindle-cell carcinomas (also called monophasic sarcomatoid carcinoma) and carcinosarcoma (or biphasic sarcomatoid carcinoma) leading to debate concerning the immunohistochemical and ultrastructural features.     

Effects of ACh on the electric activity of rostral ventrolateral medullary neurons of rat in vitro

Extracellular single-unit discharges were obtained from 165 spontaneously active neurons within the region of the rostral ventrolateral medulla (RVLM) by glass microelectrode from 89 brain slices of the Sprague-Dawley rats. The units could be divided into three types: regular (61.8%), irregular (24.2%) and silent (14%). Acetylcholine (ACh, 0.1, 0.3 mumol/L) showed four kinds of effects on spontaneous discharges of RVLM neurons: excitatory, inhibitory, biphasic and non-responsive, counting respectively 41.8%, 20%, 3% and 35.2% of the neurons tested. The excitatory effect of ACh was dose-dependent. The effects, either excitatory or inhibitory, of ACh (n = 49) were mostly blocked by atropine (0.3 mumol/L, n = 42). The excitatory effect of ACh (n = 14) could be blocked mainly by selective antagonist of M1 receptor, pirenzepine (PZ, 30 nmol/L, n = 9), but not by selective antagonist of M2 receptor, methoctramine (MT) and AFDX-116. The inhibitory effect of ACh (n = 10) could be blocked mostly by M2 receptor antagonist MT (30 nmol/L, n = 7); and this inhibitory effect (n = 9) could be blocked mostly by another M2 receptor antagonist AFDX-116 (30 nmol/L, n = 6), but not by M1 receptor antagonist PZ.     

Fast optical switching in Sm/sup 3+/-doped fibers

We report an experimental investigation of the fast optical switching in a Sm/sup 3+/-doped fiber. We discovered that this fiber can effect a fast switching speed less than 5 ns. However, the required switching power is 472 W with pulsewidth 10 ns.     

Performance analysis of an improved MMSE multiuser receiver formismatched delay channels

Motivated by the fact that time delays in a practical direct-sequence code-division multiple-access (DS-CDMA) system can never be perfectly estimated, an improved minimum-mean squared-error (MMSE)-based receiver is proposed and analyzed. Via the simple assumption of a probability distribution for the delay estimation errors, the proposed receiver can achieve a performance superior to that of the conventional MMSE (CMMSE) receiver. The performances of this improved receiver and the CMMSE receiver are compared in terms of the mean squared error (MSE), probability of error, and asymptotic multiuser efficiency (AME). As the original definition of AME does not consider mismatched channels, the behavior of three single-user receivers bearing imperfect delay estimation is also investigated. These single-user receivers are employed to define a more appropriate AME. Finally, an efficient update mechanism to accommodate dynamic channel statistics, and thus practical implementation, is proposed     

Characterization of the cavity nucleation factor for life prediction under creep-fatigue interaction

It is understood that grain boundary cavitation is one of the detrimental processes for the degradation of materials that reduces the creep-fatigue life at high temperatures. In a previous investigation, a model for life prediction under creep-fatigue conditions was proposed in terms of cavity nucleation and growth. In that model, the cavity nucleation factor (P) was introduced to correlate between the number of cavities and the plastic strain range from which athermal vacancies are generated. It was considered to be a material specific constant which was independent of the experimental conditions. However, in this study, it is found that the cavity nucleation factor is a function of the plastic strain range but is independent of the testing temperature at near 0.5 T _m. In the light of this dependency, a new cavity nucleation factor (P'), is introduced. Using this new cavity nucleation factor (P'), a modified equation for life prediction is proposed, and it is shown that there is good agreement between predicted and experimental lives. Additionally, an interesting approach has been made to find the physical meaning of the new cavity nucleation factor (P'). According to this study, it is suggested that the new cavity nucleation factor, which is regarded as a material specific constant, is found to be strongly related to the density of the grain boundary precipitates with a linear relationship existing between them.