基于USB总线的虚拟频谱分析仪设计

文章详细介绍了基于USB总线的虚拟频谱分析仪的设计过程。该仪器使用嵌入式混合处理器MC56F8323来实现动态信号的实时采集、频谱分析和数字滤波等功能。处理结果由USB2．0接口芯片CY7C68013上传至PC机．以完成数据显示、存储、绘制图形等功能。其中，CY7C68013工作于Slave FIFO模式，以实现与MC56F8323间的数据传输。该系统可同时对两路动态信号进行实时谱分析，每路采样频率高选500kHz。     

Generation of Technology-Independent Retargetable Analog Blocks

This paper introduces a complete methodology for retargeting of analog cells to different sets of specifications. This methodology is technology-independent, thus allowing the migration, from one technology to another, of the circuit under retargeting. Careful integration of the device sizing and layout generation tasks via the incorporation of layout constraints during the sizing process allows to generate fully functional designs in a few minutes. The methodology is illustrated via the retargeting of a fully-differential Miller-compensated two-stage operational amplifier for a new set of specifications and two different technological processes.An erratum to this article can be found at     

微型生化分析仪样品室温度控制系统研究

结合微型生化分析仪样品室的要求,设计了一种基于单片机的微型生化分析仪样品室温度控制系统.它以AT89S51为核心,采用单总线高精度数字温度传感器DS18B20对样品室温度采样,同时利用汇编语言编写温度设定与控制程序,采用半导体制冷的方式,实现了温度在25℃、30℃、32℃和37℃四个温度值的稳定,控制精度达±0.5℃.     

Automating application software generation

Many approaches have been proposed to enhance software productivity and reliability. These approaches typically fall into three categories: the engineering approach, the formal approach and the knowledge-based approach. But the optimal gain in software productivity cannot be obtained if one relies on only one of these approaches. This paper describes the work in knowledge-based software engineering conducted by the authors for the past 10 years. The final goal of the research is to develop a paradigm for software engineering which integrates the three approaches mentioned above. A knowledge-based tool which can support the whole process of software development is provided in this paper.     

An automated coding and classification system with supporting database for effective design of manufacturing systems

The philosophy of group technology (GT) is an important concept in the design of flexible manufacturing systems and manufacturing cells. Group technology is a manufacturing philosophy that identifies similar parts and groups them into families. Beside assigning unique codes to these parts, group technology developers intend to take advantage of part similarities during design and manufacturing processes. GT is not the answer to all manufacturing problems, but it is a good management technique with which to standardize efforts and eliminate duplication. Group technology classifies parts by assigning them to different families based on their similarities in: (1) design attributes (physical shape and size), and/or (2) manufacturing attributes (processing sequence). The manufacturing industry today is process focused; departments and sub units are no longer independent but are interdependent. If the product development process is to be optimized, engineering and manufacturing cannot remain independent any more: they must be coordinated. Each sub-system is a critical component within an integrated manufacturing framework. The coding and classification system is the basis of CAPP and the functioning and reliability of CAPP depends on the robustness of the coding system. The proposed coding system is considered superior to the previously proposed coding systems, in that it has the capability to migrate into multiple manufacturing environments. This article presents the design of a coding and classification system and the supporting database for manufacturing processes based on both design and manufacturing attributes of parts. An interface with the spreadsheet will calculate the machine operation costs for various processes. This menu-driven interactive package is implemented using dBASE-IV. Part Family formation is achieved using a KAMCELL package developed in TURBO Pascal.     

Testing of multi-output circuits by means of signature analyzer

Let a circuit havem outputs,m>1. There are two ways to test this circuit by means of a signature analyzer: use a single input analyzer for each output or use anm-input analyzer to test all outputs simultaneously. The main goal of this letter is to demonstrate that for fault output sequences with small multiplicity of errors and long length the second approach is more effective.     

The problem of definition expansion and contraction

This article is the fourth of a series of articles discussing various open research problems in automated reasoning. The problem proposed for research focuses on finding criteria that would enable an automated reasoning program to expand or contract definitions wisely. For evaluating a proposed solution to this research problem, we include suggestions concerning possible test problems.This work was supported by the Applied Mathematical Sciences subprogram of the Office of Energy Research, U.S. Department of Energy, under contract W-31-109-Eng-38.     

Ti-45Al-10Nb合金的高温氧化行为

研究了Ti—45A1—10Nb(原子分数，％)合金在800-960℃在氧气和空气中的氧化行为．结果表明，该合金具有较好的高温抗氧化性能，其氧化增重速率与铁基耐热不锈钢相似或略优．与Ti—50A1合金相反，Ti-45A1-10Nb合金在空气中的氧化增重速率明显低于在纯氧中的氧化增重速率．X射线衍射与能谱分析表明，Ti-45Al一10Nb合金在氧气中的氧化产物主要有TiO2和Al2O3，但在空气中的氧化产物中有TiN相．这是降低氧化速率的主要原因，同时，合金元素Nb稳定了氧化层中的TiN相，因而提高了合金在空气中的抗氧化性能．     

Resolution calculus for the first order linear logic

This paper presents a formulation and completeness proof of the resolution-type calculi for the first order fragment of Girard's linear logic by a general method which provides the general scheme of transforming a cutfree Gentzen-type system into a resolution type system, preserving the structure of derivations. This is a direct extension of the method introduced by Maslov for classical predicate logic. Ideas of the author and Zamov are used to avoid skolomization. Completeness of strategies is first established for the Gentzen-type system, and then transferred to resolution. The propositional resolution system was implemented by T. Tammet.     

A computational model for analysing interactive buckling and delamination growth in composite structures

In this paper, a unified method is presented: (i) to model delaminated stiffened laminated composite shells; (ii) for synthesising accurate multiple post-buckling solution paths under compressive loading; and (iii) for predicting delamination growth. A multi-domain modelling technique is used for modelling the delaminated stiffened shell structures. Error-free geometrically nonlinear element formulations — a 2-noded curved stiffener element (BEAM2) and a 3-noded shell element (SHELL3) — are used for the finite element analysis. An accurate and simple automated solution strategy based on Newton type iterations is used for predicting the general geometrically nonlinear and postbuckling behaviour of structures. A simple method derived from the 3-dimensionalJ-integral is used for computing the pointwise energy release rate at the delamination front in the plate/shell models. Finally, the influence of post-buckling structural behaviour and the delamination growth on each other has been demonstrated.