Commutative idempotent residuated lattices

We investigate the variety of residuated lattices with a commutative and idempotent monoid reduct.     

Comparative analysis of heterogeneous solid and soft materials by adsorption, NMR and thermally stimulated depolarisation current methods

Structural characterisation of such bio-objects as fibrinogen solution, yeast cells, wheat seeds and bone tissues has been done using two versions of cryoporometry based on the integral Gibbs-Thomson (IGT) equation for freezing point depression of pore liquids and the measurements by ¹H NMR spectroscopy (180-200 < T < 273 K) and the thermally stimulated depolarisation current (TSDC) method (90 < T < 273 K) of structured water. The IGT equation was solved using a self-consisting regularization procedure including the maximum entropy principle applied to the distribution function of pore size (PSD). Both methods give clear pictures of changes in the structural characteristics caused, e.g., by hydration and swelling of wheat seeds and yeast cells, coagulation and interaction of fibrinogen with solid nanoparticles in the aqueous media, and the human bone tissue disease.     

Enhanced Image Detection on an ARM based Embedded System

This paper presents a new technique for thedetection of Integrated Circuits within images of Printed Circuit Boards autonomouslyand without the need to be assisted by CAD data. The technique is a key partof a suite of algorithms targeted for an embedded System On Chip architecturebased on the ARM7 platform for real time detection of PCB images for diagnosticpurposes. The technique has a significant reduction in complexity when comparedto conventional approaches such as the Hough Transform. The reduction in complexitymakes the approach ideal for an embedded vision application suchas the one described in this paper. This paper presents the technique, thetarget embedded architecture and results showing the reduction in complexitywhen compared to a Hough Transform.     

降低射频电路串扰噪声的布线方法

研究并解决了无障碍多层无网格射频电路的布线问题,主要包括三个部分:设计规则、串扰噪声限制和布线方法.首先通过设计规则计算连线参数,运用RLc模型估算串扰噪声,然后,按照需要连接的实节点个数进行归类并提出相应的布线算法.实验结果表明,该布线方法可有效地降低射频电路的串扰噪声.     

属性区间识别理论模型研究及其应用

根据程乾生教授创立的属性识别理论模型[1] ,提出了属性测度区间的概念 ,建立了属性区间识别理论模型 ,并在自然科学学术期刊质量评价中进行了应用 .     

The π-π-theorem for manifold pairs with boundaries

The surgery obstruction of a normal map to a simple Poincaré pair (X, Y) lies in the relative surgery obstruction group L _*(π ₁(Y) → π ₁(X)). A well-known result of Wall, the so-called π-π-theorem, states that in higher dimensions a normal map of a manifold with boundary to a simple Poincaré pair with π ₁(X) ? π ₁(Y) is normally bordant to a simple homotopy equivalence of pairs. In order to study normal maps to a manifold with a submanifold, Wall introduced the surgery obstruction groups LP _* for manifold pairs and splitting obstruction groups LS _*. In the present paper, we formulate and prove for manifold pairs with boundary results similar to the π-π-theorem. We give direct geometric proofs, which are based on the original statements of Wall’s results and apply obtained results to investigate surgery on filtered manifolds.     

Performance Enhancement for Optical Fast Frequency-hopping CDMA Systems by BCH Channel Coding

In this paper, the impact of optical beat noise on the performance of optical fast frequency-hopping code-division multiple-access (FFH OCDMA) networks is analyzed. BCH/FFH-OCDMA to reduce the impact of optical beat noise is proposed. It is shown that, BCH/FFH-OCDMA has much better performance under the same bit rate, same chip time and same number of available wavelengths. Another advantage for BCH/FFH-OCDMA is that the code length of one-coincidence sequence will be shorter, which can greatly reduce the difficulty of fabrication for fiber gratings.     

Acoustic characterization and prediction for fan-duct-plenum-room integrations

This paper investigates mutual influence of duct and room acoustics in the whole fan-duct-plenum-room integrations. Applying the parametric design language of finite element software ANSYS (APDL), dimensional and positional influence on system acoustics has been studied. Models with different room dimensions, duct lengths, duct cross-sections, duct locations, duct discharges and duct elbow were constructed, and their characteristics were compared qualitatively. Results show that small rooms, short ducts, large duct cross-sections and bell mouth duct discharges help to increase room sound pressure levels (SPLs); SPLs in ducts and plenums are sensitive to duct dimensions and duct discharge types but insensitive to duct locations and room dimensions; duct elbows have relatively indistinct acoustic influence in each component. Based on the calculation results, a semi-experimental method was proposed for simply and approximately evaluating indoor acoustic spectra of fan-duct-plenum-room integrations, then an example was used to demonstrate the prediction process. Finally, by adopting several ideal models, sound field constitutions, duct and room wall admittances and duct end reflection were explored quantitatively. This study may give a detailed understanding of fan-duct-plenum-room acoustics for researchers, also it might provide a new, simple and approximate prediction method for professionals to evaluate and improve fan-ducted acoustics.     

一类广义Bent型S-Box的构造

S-box是密码理论与实践中十分重要的一种装置 ,它的密码性能由其分量函数所决定 .于是 ,选择适当的分量函数来构造 S-box就成了一个重要的研究课题 .在一定意义上 ,Bent函数是最优良的密码函数 .本文通过函数序列半群和置换群来构造其任何非零线性组合为 Bent函数与线性函数之和的函数组 ,从而可由 Bent函数构造出具有高度非线性度和其他良好性状的 S-box     

Generation of 3rd and 5th harmonics in a thin superconducting film by temperature oscillations and isothermal nonlinear current response

The generation of harmonics of the voltage response is considered when an AC current is applied through a superconducting film above T_c. It is shown that almost at all temperatures the mechanism of the temperature oscillations created by the AC current and the temperature dependence of the resistance dominates over the isothermal nonlinear electric conductivity. Only in a narrow critical region close to T_c the latter is essential for the generation of the harmonics. A detailed investigation of harmonics generation provides an accurate method for measuring the thermal boundary conductance between the film and the insulating substrate. The critical behaviour of the third harmonic will give a new method for the determination of the lifetime of metastable Cooper pairs above T_c. The comparison of the calculated fifth harmonics of the voltage with the experiment is proposed as an important test for the applicability of the employed theoretical models. Received 8 September 2001