具阻尼的非线性耦合方程组的能量衰减估计

应用一个新的积分不等式,得到了具阻尼的非线性耦合方程组的衰减估计,以及精确的估计常数.     

On a Boolean-valued Model of the Strict Implication System(Continuous)

The reference [4] proved the consistency of S1 and S2 among Lewis' five strict implication systems in the modal logic by using the method of the Boolean-valued model. But, in this method, the consistency of S3, S4 and S5 in Lewis' five strict implication systems is not decided. This paper makes use of the properties: (1) the equivalence of the modal systems S3 and P3, S4 and P4; (2) the modal systems P3 and P4 all contained the modal axiom T(□p → p); (3) the modal axiom T is correspondence to the reflexive property in VB. Hence, the paper proves: (a) ‖As31‖ = 1; (b) ‖AS41‖ = 1; (c) ‖AS5l‖ = 1 in the model (where B is a complete Boolean algebra, R is reflexive property in VB). Therefore, the paper finally proves that the Boolean-valued model VB of the ZFC axiom system in set theory is also a Boolean-valued model of Lewis' the strict implication system S3, S4 and S5.     

OSCILLATION FOR SOLUTIONS OF SYSTEMS OF N-TH ORDER PARTIAL FUNCTIONAL DIFFERENTIAL EQUATIONS

In this paper, some sufficient conditions for the oscillation for solutions to systems of n-th order partial functional differential equations are obtained.     

Near-optimal design of Global Positioning System (GPS) networks using the Tabu Search technique

This paper describes an optimization technique based on an heuristic procedure which is applied to analyse and improve the efficiency of the design of Global Positioning System (GPS) surveying networks. GPS is a valuable survey tool because of its ability to increase the accuracy, speed and flexibility of a survey. A GPS network can be defined as a number of stations, which are co-ordinated by a series of sessions, formed by placing receivers on stations. The goal is to select the best order in which these sessions can be organised to give the best possible schedule. Generally, solving large networks to optimality requires impractical computational time. This paper proposes a Tabu Search technique which provides optimal or near-optimal solutions for large networks with an acceptable amount of computational effort. Computational results for several case studies with known and unknown optimal schedules have been presented to assess the performance of the proposed technique.     

Hydroformylation in fluorous solvents

The hydroformylation of long chain alkenes under fluorous biphase conditions and in neat perfluorocarbon solvents is reviewed. Special emphasis is placed upon the authors' evaluation of the steric and electronic influence of perfluoroalkylation on catalyst activity, regioselectivity and retention in the fluorocarbon phase.     

Decentered twisted Gaussian Schell-model beams and their propagation through a misaligned first-order optical system

The propagation properties of decentered twisted Gaussian Schell-model (DTGSM) beams passing through a misaligned first-order optical system are studied. The explicit expressions for the cross-spectral density function and Wigner distribution function of the output beam are derived, which retain their form unchanged. It is shown that the DTGSM beams preserve their closed property. The second-order moments matrix and the Wigner distribution function evolve with the usual laws, whereas the first-order moments matrix varies, as if a ray passes through such system. The propagation of DTGSM beams through an aligned first-order optical system is treated as the limiting case that corresponds to the vanishing misalignment parameters.     

Nonlinear Diffusion Processes

We study elliptic systems of strongly nonlinear first-order differential equations in complex form on the plane. For such systems we develop the theory of Hilbert boundary value problems which is very much similar to the well-known theory for a holomorphic vector. Systems of nonlinear elliptic equations describe problems of interaction of several nonlinear stationary processes in the diffusive and convective mass and heat transport by hydrodynamic fluid flows.     

修饰聚合物液-固亲和萃取体系纯化大豆中的组氨酸

聚乙二醇(PEG)6000经亚氨基二乙酸(IDA)修饰后和CuSO4反应,形成PEG修饰聚合物PEG-(IDA-Cu)2 ,与吐温80、磷酸盐混合,构成液-固亲和萃取体系,直接从大豆蛋白匀浆中提取氨基酸.选定萃取条件为磷酸盐摩尔比n(K2HPO4)∶n(NaH2PO4)为4.8∶1,体系pH值 7.70,总盐浓度为1.60 mol·L-1;吐温80的体积分数为10.5%.结果表明该体系对大豆蛋白匀浆中氨基酸的二次萃取率为66.5%,用离子交换技术后继处理,得纯度较高的组氨酸.     

Stability analysis of structurally unstable man–machine system involving time delays

In this paper, a structurally unstable man–machine system is considered and a rigorous mathematical analysis is performed to study the influence of time delays in the control force on stability of the equilibrium solution of this system. Results on stability, instability and conditions for the preservation of stability (instability), besides the existence of bifurcation are presented.     

机械结构因素对光电跟踪伺服系统性能的影响

为克服机械结构因素对光电跟踪伺服系统性能的不良影响,分析了转动惯量、结构谐振频率、摩擦力矩等伺服机械结构因素与伺服系统性能的关系,包括分析转动惯量与伺服系统性能的关系、结构谐振频率与伺服系统性能的关系、摩擦力矩与伺服系统性能的关系,探讨了消除或减小机械谐振的措施.该分析方法可应用于设计和制造响应速度快、跟踪精度高的光电跟踪伺服系统.