High-speed digital scan converter for high-frequency ultrasound sector scanners

This paper presents a high-speed digital scan converter (DSC) capable of providing more than 400 images per second, which is necessary to examine the activities of the mouse heart whose rate is 5-10 beats per second. To achieve the desired high-speed performance in cost-effective manner, the DSC developed adopts a linear interpolation algorithm in which two nearest samples to each object pixel of a monitor are selected and only angular interpolation is performed. Through computer simulation with the Field II program, its accuracy was investigated by comparing it to that of bilinear interpolation known as the best algorithm in terms of accuracy and processing speed. The simulation results show that the linear interpolation algorithm is capable of providing an acceptable image quality, which means that the difference of the root mean square error (RMSE) values of the linear and bilinear interpolation algorithms is below 1%, if the sample rate of the envelope samples is at least four times higher than the Nyquist rate for the baseband component of echo signals. The designed DSC was implemented with a single FPGA (Stratix EP1S60F1020C6, Altera Corporation, San Jose, CA) on a DSC board that is a part of a high-speed ultrasound imaging system developed. The temporal and spatial resolutions of the implemented DSC were evaluated by examining its maximum processing time with a time stamp indicating when an image is completely formed and wire phantom testing, respectively. The experimental results show that the implemented DSC is capable of providing images at the rate of 400 images per second with negligible processing error.     

Scalar–vector–tensor gravity from preferred reference frame effects

Using some suitable combinations of a dynamical unit time-like four-velocity of a preferred reference frame, Ricci tensor and covariant derivatives of the Brans–Dicke (BD) scalar field, we propose a new scalar–vector–tensor gravity model in which an Euclidean Jordan–Brans–Dicke (JBD) action is reduced to its Lorentzian version with no used complex coordinates. Thus it should be play an important role in the process of metric signature transition of a suitable dynamical curved space-time. In this work we follow the ideas proposed by Barbero et al. As an application of the model, we study a classical perfect fluid cosmological universe described in a flat Robertson–Walker background metric. Mathematical derivations of the equations predict a non-singular scale factor for the space-time in the both of dust and radiation dominated states where value of the Brans–Dicke parameter is fixed, but there is still an arbitrary parameter which should be determined by the boundary values of the cosmological system. Furthermore its classical cosmological vacuum solutions is obtained as a non-singular model with a fixed Brans–Dicke parameter. Although there is obtained a singular perfect fluid cosmological solution which may not be suitable, because in this case the Brans–Dicke parameter is not still fixed.     

On embedded material derivative and frame spin

In the present paper, the concept of embedded material derivative is proposed, the general expression for frame spin is derived, the difference between embedded material derivative and conventional one of trial unit vectors is clarified. Furthermore, the formula for strain-rate frame spin is obtained. And by means of this example, the distinction between the two kinds of material derivatives is discussed. Then, the relations between several frame spins and the rates of corresponding tensors co-rotating with the frame are elucidated. Now part-time Ph.D. student at Tsinghua University.     

基于多层结构的智能报表系统研究与设计

探讨了中国式报表的常见结构和实现过程的合理分区方法；详细阐述了智能报表系统实现的几个概念，并提出了系统框架和实现方案。     

简单数据链路协议(SDL)及其帧同步技术

简单数据链路协议 (SDL)作为一种新型的IPoverFiber技术 ,其简单性和低开销更能适应高速传输链路的要求 ;介绍了SDL协议中的帧同步方案 ,提出了一种多个帧捕获器共用一个CRC校验的帧同步器实现。     

Exhibiting Wide Families of Maximal Intermediate Propositional Logics with the Disjunction Property

We provide results allowing to state, by the simple inspection of suitable classes of posets (propositional Kripke frames), that the corresponding intermediate propositional logics are maximal among the ones which satisfy the disjunction property. Starting from these results, we directly exhibit, without using the axiom of choice, the Kripke frames semantics of 2^No maximal intermediate propositional logics with the disjunction property. This improves previous evaluations, giving rise to the same conclusion but made with an essential use of the axiom of choice, of the cardinality of the set of the maximal intermediate propositional logics with the disjunction property. Mathematics Subject Classification: 03B55, 03C90.     

离散拟正交GaBor展开

利用一般条件的离散Ｚａｋ变换及连续Ｇｏｂｏｒ展开和离散Ｇａｂｏｒ展开间的关系。本文首次提出了在整数倍过抽样条件下，由Ｗｅｙｌ－Ｈｅｉｓｅｎｂｅｒｇ紧框架构造离散ＧＡＢＯＲ展开的方法。     

Kirkman Packing Designs KPD ({3, 5*},v)

A Kirkman packing design KPD ({3, 5^*},v) is a resolvable packing with maximum possible number of parallel classes, each class containing one block of size 5 and all other blocks of size three. Such designs can be used to construct certain threshold schemes in cryptography. In this paper, direct and recursive constructions are discussed for such designs. The existence of a KPD ({3, 5^*},v) for is established with a few possible exceptions.     

Thermodynamics and Preferred Frame

The Lorentz covariant statistical physics and thermodynamics is formulated within the preferred frame approach. The transformation laws for geometrical and mechanical quantities such as volume and pressure as well as the Lorentz-invariant measure on the phase space are found using Lorentz transformations in absolute synchronization. Next, the probability density and partition function are investigated using the preferred frame approach, and the transformation laws for internal energy, entropy, temperature and other thermodynamical potentials are established. The Lorentz covariance of basic thermodynamical relations, including Clapeyron's equation and Maxwell's relations is shown. Finally, the relation of presented approach to the previous approaches to relativistic thermodynamics is briefly discussed.     

A necessary and sufficient condition for dual Weyl-Heisenberg frames to be compactly supported

In this note we consider continuous-time Weyl-Heisenberg (Gabor) frame expansions with rational oversampling. We present a necessary and sufficient condition on a compactly supported function g(t) generating a Weyl-Heisenberg frame for L² () for its minimal dual (Wexler-Razdual) ⁰ (t) to be compactly supported. We furthermore provide a necessary and sufficient condition for a band-limited function g(t) generating a Weyl-Heisenberg frame for L² () to have a band-limited minimal dual ⁰ (t). As a consequence of these conditions, we show that in the cases of integer oversampling and critical sampling a compactly supported (band-limited) g(t) has a compactly supported (band-limited) minimal dual ⁰(t) if and only if the Weyl-Heisenberg frame operator is a multiplication operator in the time (frequency) domain. Our proofs rely on the Zak transform, on the Zibulski-Zeevi representation of the Weyl-Heisenberg frame operator, and on the theory of polynomial matrices.on leave from Department of Communications, Vienna University of TechnologyThis work was supported in part by FWF grants P10531-ÖPH, P12228-TEC, and J1629-TEC.