A finite model property for RMImin

It is proved that the variety of relevant disjunction lattices has the finite embeddability property. It follows that Avron's relevance logic RMI _min has a strong form of the finite model property, so it has a solvable deducibility problem. This strengthens Avron's result that RMI _min is decidable. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Orbital Stability of Solitary Waves for Generalized Zakharov System

In the interaction of laser-plasma the system of Zakharov equation plays an important role.This system attracted many scientists' wide interest and attention.And the formation, evolution and interaction of the Langmuir solutions differ from solutions of the KDV equation. Here we consider the following generalized Zakharov system     

Ultrasound imaging and evaluation of lesion induced by High Intensity Focused Ultrasound

The present study was to investigate the differential imaging method for detecting HIFU (High Intensity Focused Ultrasound)-induced lesions and the estimation of variation of attenuation for lesion evaluation with log spectral difference algorithm. Experiment results of bovine muscle and liver in vitro were acquired. Several algorithms for lesion detection - Absolute Difference (AD), Sum Absolute Differences (SAD) and Sum Squared Differences (SSD) - were analyzed with several window sizes and threshold values. Then three attenuation parameters were compared to evaluate the degree of tissue damage. It was found that variation of the mean attenuation △α was an effective parameter to evaluate lesions.     

入侵检测及网络层安全的研究

随着计算机网络的迅速发展，网络安全问题正变得日益重要。文章介绍了计算机网络系统IP层安全概况和入侵者对IP层常采用的入侵手段，以及为防止这种入侵所采取的措施。     

基于同步辐射加速器的康普顿背散射γ射线源(Ⅰ)产生MeV量级γ光子的数值计算

提出在筹建的上海同步辐射装置上建造一条MeV量级γ射线束及应用站,采用μm波长的红外(或远红外)激光与储存环中3.5GeV电子束进行康普顿背散射,从而获得能区为1—25MeV的康普顿背散射γ光子束,该光子束具有高强度、高极化度(线和圆极化)、准单色、方向性好的优点,可以广泛地应用于核物理和核天体物理基础研究及相关的应用研究领域.介绍了康普顿背散射的基本原理,并结合储存环参数给出了光子束性能的数值计算结果.     

Active long pulse shaping technique of pulsed CO2 laser using multi-pulse discharge control

We describe the pulse forming of pulsed CO₂ laser using multi-pulse superposition technique. Various pulse shapes, high duty cycle pulse forming network (PFN) are constructed by time sequence. This study shows a technology that makes it possible to make various long pulse shapes by activating SCRs of three PFN modules consecutively at a desirable delay time with the aid of a PIC one-chip microprocessor. The power supply for this experiment consists of three PFN modules. Each PFN module uses a capacitor, a pulse forming inductor, a SCR, a high voltage pulse transformer, and a bridge rectifier on each transformer secondary. The PFN modules operate at low voltage by driving the primary of HV pulse transformer. The secondary of the transformer has a full-wave rectifier, which passes the pulse energy to the load in a continuous sequence.We investigated various long pulse shapes as different trigger time intervals of SCRs among three PFN modules. As a result, we could obtain laser beam with various pulse shapes and durations from about 250 to 1000 μs.     

Highly Efficient Orange and Green Solid‐State Light‐Emitting Electrochemical Cells Based on Cationic IrIII Complexes with Enhanced Steric Hindrance

Highly efficient orange and green emission from single‐layered solid‐state light‐emitting electrochemical cells based on cationic transition‐metal complexes [Ir(ppy)₂sb]PF₆ and [Ir(dFppy)₂sb]PF₆ (where ppy is 2‐phenylpyridine, dFppy is 2‐(2,4‐difluorophenyl)pyridine, and sb is 4,5‐diaza‐9,9′‐spirobifluorene) is reported. Photoluminescence measurements show highly retained quantum yields for [Ir(ppy)₂sb]PF₆ and [Ir(dFppy)₂ sb]PF₆ in neat films (compared with quantum yields of these complexes dispersed in m‐bis(N‐carbazolyl)benzene films). The spiroconfigured sb ligands effectively enhance the steric hindrance of the complexes and reduce the self‐quenching effect. The devices that use single‐layered neat films of [Ir(ppy)₂sb]PF₆ and [Ir(dFppy)₂sb]PF₆ achieve high peak external quantum efficiencies and power efficiencies of 7.1 % and 22.6 lm W^–1) at 2.5 V, and 7.1 % and 26.2 lm W^–1 at 2.8 V, respectively. These efficiencies are among the highest reported for solid‐state light‐emitting electrochemical cells, and indicate that cationic transition‐metal complexes containing ligands with good steric hindrance are excellent candidates for highly efficient solid‐state electrochemical cells.