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)技术,既降低了系统功耗,又实现长距离的计算机双向通信.     

高炉与风机配置的优化

根据高炉风机配置的具体情况 ,为充分发挥大风机生产优势 ,建立了适宜的送风制度及装料制度 ,对利旧风机采取了自动防喘振控制、高压水阻软启动的措施 ,风机仪表采用集散控制 ,并优化上料系统 ,提高了高炉上料能力。一系列优化方案保证了高炉稳定、安全、顺行 ,1号、2号高炉利用系数分别由 3 .3 64、3 .43 2t/m3.d提高到 3 .917和 3 .767t/m3.d。     

Design of software systems based on axiomatic design

The ability to utilize fully automated flexible manufacturing systems (FMS) or develop reliable computer-integrated manufacturing (CIM) systems will depend on our ability to develop reliable and reusable software for large complex systems on a timely basis. To date, software design has not gone very far beyond the ad hoc trial-and-error stage. Consequently, the development of software is slow, expensive, unreliable, and unmanageable. The purpose of this paper is to provide a scientific basis for designing software. The approach used here is that of axiomatic design, which is based on two design axioms: the Independence Axiom and the Information Axiom. The axiomatic approach is based on the recognition of the following common elements in design: the existence of independent domains (i.e. the consumer domain, the functional domain, the physical domain, and the process domain); the need to map between various domains during the design process; the decomposition of the characteristic vectors (i.e. functional requirements, design parameters, and process variables) in their respective domains; the zig-zagging required between the domains for decomposition; and the need to satisfy the design axioms during the design process. The axiomatic approach discussed in this paper provides decision making tools for software design in addition to systematic means of knowledge and data representation, synthesis and analysis of software, and the construction of the module-junction structure diagram.     

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.