电热泵用于蔬菜温室供热的经济性分析

现代化蔬菜温室是我国都市农业发展中的一个重要组成部分，目前这类温室的冬季加热均以燃煤方式为主．伴随着越加严重的城市环境污染，温室供热系统也面临着改造问题，需要引入清洁供热方式，热泵供热是其中的一种．本文以上海地区现代化蔬菜温室为研究对象，分析了蔬菜温室中使用电热泵供热的运行成本，并与燃煤供热方式进行了对比．就热泵供热系统在温室中的应用前景及可行性、经济性进行了分析，为热泵在温室供热系统中的应用提供了可参考依据．     

完全可分的三元系TS(v,4)的支撑集

§ 1　 IntroductionA triple system of order v and indexλ,denoted by TS(v,λ) ,is a collection of3- ele-mentsubsets Aof a v- set X,so thatevery 2 - subsetof X appears in preciselyλ subsets of A.L etλ≥ 2 and (X,A) be a TS(v,λ) .If Acan be partitioned into t(≥ 2 ) parts A1,A2 ,...,Atsuch that each (X,Ai) is a TS(v,λi) for 1≤ i≤ t,then (X,A) is called de-composable.Otherwise it is indecomposable.If t=λ,λi=1for 1≤ i≤ t,the TS(v,λ) (X,A) is called completely decomposable.It …     

Space–Time Chaos,Critical Phenomena,and Bifurcations of Solutions of Infinite-Dimensional Systems of Ordinary Differential Equations

We study infinite-dimensional systems of ordinary differential equations having applications in some popular and important physical problems. The appearance of infinite-dimensional space–time chaos is considered, namely, the bifurcations and critical phenomena that occur in the phase space of the systems and explain some physical problems are described.     

一类广义非线性混合拟变分包含组

本文引入了一类新的带松弛单调映射和松弛Lipschitz映射的广义非线性混合拟变分包含组 ,构造了求解该类变分包含组的迭代算法 ,证明了该类变分包含组解的存在性以及由本文构造的迭代算法产生的迭代序列的强收敛性 .所得结果推广和改进了大量文献中的最新结果[1 5 ] .     

动态模糊随机信息处理的数学方法

本文系统地概述了我们近年来提出的动态模糊随机信息处理的数学方法,内容包括模糊随机变量、模糊随机过程和模糊随机微分方程的基本解法等方面的基本概念、基本定义和某些重要的定理,以及动态系统的模糊随机响应与可靠性分析的方法等。这些方法是为我们研究工程实际问题的需要逐步发展起来的,对于处理某些类型的问题简便实用。     

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.     

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.