与相对论Boltzmann方程中的输运算子有关的紧性

该文给出了一个与相对论Boltzmann方程中的输运算子有关的紧性的结果，它是一个类似于DiPerna和Lions在非相对论情况下给出的紧性的结果的推广，在研究相对论Boltzmann方程中起着很重要的作用．

模态逻辑系统S5的本原运算子集

探讨了模态逻辑系统Ｓ５的运算子性质，进而证明关于它的本原运算子集的一个定理，并给出一些推论。

单一平面电容传感器原理与应用

本文阐述了电容极板放置在单一平面内的特殊电容传感器工作原理与敏感部分的3种等效电路 ,及这种电路引入拉氏运算子阻抗Zx(s)后的分析方法 ,容抗频率 (Cx/fx)变换电路 ;

极板放在同一平面上的电容敏感器件的研制

文中阐述了电容极板放置在同一平面内的特殊电容敏感器件的工作原理、等效电路、应用测试 ;等效电路用拉氏运算子阻抗Zx(S)分析法 ,容抗频率 (Cx/ fx)变换电路的动作原理 ;及简易高性能配套单片机数据处理与数码显示电路 ;最后给出敏感器件在多方面的应用分析与检测时的注意事项。

关于积分∫x^ne^(ax)sinbxdx的注记

本文给出了积分xn∫eaxsinbxdx的三种不同计算方法。

基于多重服务范例适应性调整的服务组合

提出了抽象多重服务范例来解决服务组合问题.同时,为了提高可适应性,给出一种用来选择适合调整的服务范例的可适应性的相似度测量方法,并提出了基于调整运算子的服务范例适应性调整方法.在这些工作的基础上实现服务组合.实验表明,该方法是可行和有效的.

Linguistic approaches to multiple attribute decision making in uncertain linguistic setting

We studied multiple attribute decision-making problems with uncertain linguistic information, in which the preference values took the form of uncertain linguistic variables. We introduced some operational laws of uncertain linguistic variables and a formula for the comparison between two uncertain linguistic variables. We proposed two new aggregation operators called extended uncertain linguistic aggregation (EULA) operator and interval linguistic aggregation (ILA) operator, and then develop an EULA operator-based linguistic approach and an ILA operator-based linguistic approach, respectively, to multiple attribute decision making in uncertain linguistic setting. The approaches were straightforward and do not produce any loss of information. Finally, an illustrative example was given to verify the developed approaches and to demonstrate their practicality and effectiveness.

Single Event Transients of Operational Amplifier and Optocoupler

The single event transient effects of the operational amplifier LM124J and the optocoupler HCPL 5231 are investigated by a pulsed laser test facility. The relation of transient pulse shape to pulsed laser equivalent LET is tested,the sensitive areas of the SET effects are identified in voltage follower application mode of LM124J, and the mechanism is initially analyzed. The transient amplitude and duration of HCPL5231 at various equivalent LET are examined,and the SET cross-section is measured. The results of our test and heavy ion experimental data coincide closely,indicating that a pulsed laser test facility is a valid tool for single event effect evaluation.

Improvement of Fuzzy Inference Mechanism in FuzzyJ Toolkit

By applying the aggregation operator γ-operator and introducing a new method for global data contribution, the problems of information loss and the decrease of running efficiency in FuzzyJ Toolkit, an expert system shell, can be effectively solved. The example shows that the approach can overcome imprecision of max-operator and min-operator used during the process of fuzzy reasoning. Therefore, the information accuracy and the system performance can be effectively improved, which promotes the usability of FuzzyJ Toolkit.

Canonical Quantum Teleportation of Two-Particle Arbitrary State

The canonical quantum teleportation of two-particle arbitrary state is realized by means of phase operator and number operator. The maximally entangled eigenstates between the difference of phase operators and the sum of number operators are considered as the quantum channels. In contrast to the standard quantum teleportation, the different unitary local operation of canonical teleportation can be simplified by a general expression.

ZMP-based Gait Optimization of the Biped Robot

The gait of the biped robot is described using six parameters such as stature,velocity,length of the step,etc.The algorithm of the Newton-Euler is actualized by object-oriented idea,and then the zero moment point (ZMP) of the dynamically walking biped is calculated.Finally,the gait of biped is optimized using gene algorithm,and the optimized result prove the correctness of the algorithm.

Noncommutative Differential Calculus and Its Application on the Lattice

By introducing the noncommutative differential calculus on the function space of the infinite/finite set and construct a homotopy operator, one prove the analogue of the Poincare lemma for the difference complex. As an application of the differential calculus, a two dimensional integral model can be derived from the noncommutative differential calculus.

Generation of SU(2)Coherent States for a Cavity Mode and a Collective Atomic Mode

We propose a scheme for generation of SU（2） coherent states for an atomic ensemble and a cavity mode. In the scheme a collection of two-level atoms resonantly interact with a single-mode quantized field. Under certain conditions, the system can evolve from a Fock state to a highly entangled SU（2） coherent state. The operation speed increases as the number of atoms increases, which is important in view of deeoherence.

Multipliers on Generalized Bergman Spaces

In this paper,we characterize the multipliers of generalized Bergman spaces A^p，q，α with 0＜p≤1, 0＜q, α<∞into some analytic function spaces and into sequence spaces,and show that the multipliers of A^p，q，α(0<p≤1,0<q, α<∞) into a given space are the same as those of A^p，α(0<p≤1, α>0) in almost every case considered. The corollaries on multipliers of the spaces A^p，q，α extend some related results.

Multiverse and the Time State

This article is not inspired by any religion or quantum many-worlds interpretation. The mathematics of multiverse is presented here. The mass operator was introduced earlier by Alnobani. This operator is used here to deduce the time state. It is found that time has four states and those four states are orthogonal. Time is the constitution of any verse. Time has direction. Every orthogonal direction of time belongs to a verse. Past and future belong to opposite directions of time and they are arbitrary. Other verses are there by their own and not a probabilities of any other verse and if any similarity it is only a coincidence. Among applications of this thesis is travelling through groups of galaxies, or more or less.

Quantum Privacy Amplification for a Sequence of Single Qubits

We present a scheme for quantum privacy amplification （QPA） for a sequence of single qubits. The QPA procedure uses a unitary operation with two controlled-not gates and a Hadamard gate. Every two qubits are performed with the unitary gate operation, and a measurement is made on one photon and the other one is retained. The retained qubit carries the state information of the discarded one. In this way, the information leakage is reduced. The procedure can be performed repeatedly so that the information leakage is reduced to any arbitrarily low level. With this QPA scheme, the quantum secure direct communication with single qubits can be implemented with arbitrarily high security. We also exploit this scheme to do privacy amplification on the single qubits in quantum information sharing for long-distance communication with quantum repeaters.

The Formalization of The Arithmetic System on The Ground of The Atomic Logic

This paper is a continuation of the paper [16]. Namely, in [16] we have introduced, among others, the definition of the N atomic entailment and we have constructed the system S, which is based on the atomic entailment. In this paper we show that the classical Arithmetic can be based on the Atomic Logic （see [17]）.

A high fidelity VQ coding algorithm with region adaptive subbanding

Image subbands can be obtained by using filterbank. Traditional compression method uses direct entropy coding for each subband. After studying the energy distribution in image subbands, we proposed a vector quantization (VQ) coding algorithm to image subband. In the algorithm, vector quantizers were adaptively designed for high-frequency bands in an image. In particular, the edges of the image were examined and fewer bits were assigned to high-energy regions. The experimental result showed that the algorithm had higher SNR and higher compression ratio than possible by traditional subband coding, JPEG and JPEG 2000.

Identification of Sperm Subpopulations in Water Buffalo Ejaculates： Changes in Cryopreservation Stages and Bull Variation

This study aimed to identify and characterize the sperm subpopulations existing in water buffalo semen using a computer assisted sperm analyzer （CASA）, as well as assess the effects of cryopreservation on the sperm subpopulation structure and evaluate bull variability. The semen of eight Bulgarian Murrah bulls was collected by four times in an interval of one week each. The semen was cryopreserved following a standard protocol and sperm kinematics was assessed. Clustering methods were applied to individual sperms, forming two significantly different （P 〈 0.05） subpopulations （P1 and P2）. Subpopulation P1 represents those spermatozoa that moved most rapidly and progressively （46.29%）, and subpopulation P2 includes spermatozoa with relatively low velocity or poorly motile but with high progressiveness （53.41%）. There was a decline on the population of P1 sperms from fresh （52.52%）, pre-freeze （45.73%） to post-thaw （35.17%） stages and significant difference on the sperm kinematics between P1 and P2. A significant decline in the values of distance, velocity and amplitude of lateral head （ALH） parameters were observed at post-thaw stage, while an increase was observed on trajectory and beat cross frequency （BCF） kinematics. Values of sperm kinematics were also significantly different （P 〈 0.05） among all bulls. The frequency distribution of spermatozoa on both subpopulations P1 and P2 was quite similar for all bulls in pre-freeze and post-thaw stages, but with significant （P 〈 0.05） variability on fresh stage. Bulls with the highest maintained frequency of P1 sperms are denoted as good freezer bulls. In sum, kinematic characterization of water buffalo sperm and clustering into subpopulation enable to identify bulls that are more resistant to cryopreservation and production of quality semen for genetic propagation.

4D ConflictFree Trajectory Planning for Fixed-Wing UAV

Four-dimensional trajectory based operation(4D-TBO)is believed to enhance the planning and execution of efficient flights,reduce potential conflicts and resolve upcoming tremendous flight demand.Most of the 4D trajectory planning related studies have focused on manned aircraft instead of unmanned aerial vehicles(UAVs).This paper focuses on planning conflict-free 4D trajectories for fixed-wing UAVs before the departure or during the flight planning.A 4D trajectory generation technique based on Tau theory is developed,which can incorporate the time constraints over the waypoint sequence in the flight plan.Then the 4D trajectory is optimized by the particle swarm optimization(PSO)algorithm.Further simulations are performed to demonstrate the effectiveness of the proposed method,which would offer a good chance for integrating UAV into civil airspace in the future.