Implementation of RNS-Based Distributed Arithmetic Discrete Wavelet Transform Architectures Using Field-Programmable Logic

Currently there are design barriers inhibiting the implementation of high-precision digital signal processing (DSP) objects with field programmable logic (FPL) devices. This paper explores overcoming these barriers by fusing together the popular distributed arithmetic (DA) method with the residue number system (RNS) for use in FPL-centric designs. The new design paradigm is studied in the context of a high-performance filter bank and a discrete wavelet transform (DWT). The proposed design paradigm is facilitated by a new RNS accumulator structure based on a carry save adder (CSA). The reported methodology also introduces a polyphase filter structure that results in a reduced look-up table (LUT) budget. The 2C-DA and RNS-DA are compared, in the context of a FPL implementation strategy, using a discrete wavelet transform (DWT) filter bank as a common design theme. The results show that the RNS-DA, compared to a traditional 2C-DA design, enjoys a performance advantage that increases with precision (wordlength).     

大学英语读写课堂教师提问的逻辑性调查分析

教师提问、学生回答是语言课堂中的一个逻辑过程。教师的提的问题和课堂模式具有逻辑艺术,与学生产生思维共振,教与学才能统一。通过对大学英语读、写、译课堂观摩调查结果的分析,提出重视课堂提问的逻辑性,让学习者开动脑筋把注意力从学什么转移到怎样学和怎样思考的问题上,从而提高语言学习者的学习能力、理解能力和表达能力。     

基于PLC的缸体加工机床控制系统

对可编程控制器（PLC）应用于某设备缸体加工专用机床控制系统的设计思路作了介绍，对系统的硬件组成和软件设计作了较为详细的阐述，通过上位监控计算机可对生产现场的设备状态实施监控和对现场参数进行调整。     

软起动器和变频器的时分多机复用技术及其应用

本文提出了时分多机复用的概念，并对其技术和应用加以具体说明，展现了该技术良好的应用前景。     

Ehrenfeucht-Fraïssé games in finite set theory

In this article, with Ehrenfeucht-Fraïssé games we prove that Δ₁≠Δ₀ on BFR, which implies Δ≠Δ₀ on BFR, and thus solve an open problem raised by Albert Atserias in his dissertation (Δ₀,Δ₁,Δ are fragments of first order logic and BFR is a class of finite sets which in essence is equivalent to a class of finite pure arithmetic structures with built-in BIT predicate).     

Using anatomical knowledge expressed as fuzzy constraints to segment the heart in CT images

Segmenting the heart in medical images is a challenging and important task for many applications. In particular, segmenting the heart in CT images is very useful for cardiology and oncological applications such as radiotherapy. Although the majority of methods in the literature are designed for ventricle segmentation, there is a real interest in segmenting the heart as a whole in this modality. In this paper, we address this problem and propose an automatic and robust method, based on anatomical knowledge about the heart, in particular its position with respect to the lungs. This knowledge is represented in a fuzzy formalism and it is used both to define a region of interest and to drive the evolution of a deformable model in order to segment the heart inside this region. The proposed method has been applied on non-contrast CT images and the obtained results have been compared to manual segmentations of the heart, showing the good accuracy and high robustness of our approach.