Temporal Floorplanning Using Solution Space Smoothing Based on 3D-BSSG Structure

We develop a 3D bounded slice-surface grid （3D-BSSG） structure for representation and introduce the solution space smoothing technique to search for the optimal solution. Experiment results demonstrate that a 3D-BSSG structure based algorithm is very effective and efficient.

Rough Sets in Approximate Solution Space

As a new mathematical theory, Rough sets have been applied to processing imprecise, uncertain and incomplete data. It has been fruitful in finite and non-empty set. Rough sets, however, are only served as the theoretic tool to discretize the real function. As far as the real function research is concerned, the research to define rough sets in the real function is infrequent. In this paper, we exploit a new method to extend the rough set in normed linear space, in which we establish a rough set,put forward an upper and lower approximation definition, and make a preliminary research on the property of the rough set.A new tool is provided to study the approximation solutions of differential equation and functional variation in normed linear space. This research is significant in that it extends the application of rough sets to a new field.

DISTRIBUTION OF REACHABLE WORKSPACE AREAS IN PHYSICAL MODEL OF THE SOLUTION SPACE OF 2-DOF PARALLEL PLANAR MANIPULATORS

The expressions for calculating the values of the workspace areas of 2-DOF parallel planar manipulators (PPM) is derived. By the aid of computer, the values are calculated and plotted on the physical model of the solution space of the 2-DOF PPMs,so the workspaee-area-property atlas is obtained. The atlas delineates the relationship between the workspace areas and the link lengths of the 2-DOF PPMs all-sidedly. It is very useful for designers overalI to understand and know welI the relationship.

Solution Space Coupling in the Random K-Satisfiability Problem

The random K-satisfiability （K-SAT） problem is very diffcult when the clause density is close to the satisfiability threshold. In this paper we study this problem from the perspective of solution space coupling. We divide a given difficult random K-SAT formula into two easy sub-formulas and let the two corresponding solution spaces to interact with each other through a coupling field x. We investigate the statistical mechanical property of this coupled system by mean field theory and computer simulations. The coupled system has an ergodicity-breaking （clustering） transition at certain critical value Xd of the coupling field. At this transition point, the mean overlap value between the solutions of the two solution spaces is very close to 1. The mean energy density of the coupled system at its clustering transition point is less than the mean energy density of the original K-SAT problem at the temperature-induced clustering transition point. The implications of this work for designing new heuristic K-SAT solvers are discussed.

The space time CE/SE method for solving one-dimensional batch crystallization model with fines dissolution

This article is concerned with the numerical investigation of one-dimensional population balance models for batch crystallization process with fines dissolution.In batch crystallization,dissolution of smaller unwanted nuclei below some critical size is of vital importance as it improves the quality of product.The crystal growth rates for both size-independent and size-dependent cases are considered.A delay in recycle pipe is also included in the model.The space–time conservation element and solution element method,originally derived for non-reacting flows,is used to solve the model.This scheme has already been applied to a range of PDEs,mainly in the area of fluid mechanics.The numerical results are compared with those obtained from the Koren scheme,showing that the proposed scheme is more efficient.

GLOBAL EXISTENCE OF SOLUTION TO NONLINEAR INTEGRODIFFERENTIAL EQUATION IN A BANACH SPACE

Using Daher's fixed point theorem, we obtain a local existence theorem, in which the assumption is weaker than That in the Theorem 2.1 in [2]. Based on this theorem, we get a global existence theorem which is an extension of certain results for ordinary differential equations.

State space solution to 3D multilayered elastic soils based on order reduction method

Starting with the governing equations in terms of displacements of 3D elastic media, the solutions to displacement components and their first derivatives are obtained by the application of a double Fourier transform and an order reduction method based on the Cayley-Hamilton theorem. Combining the solutions and the constitutive equations which connect the displacements and stresses, the transfer matrix of a single soil layer is acquired. Then, the state space solution to multilayered elastic soils is further obtained by introducing the boundary conditions and continuity conditions between adjacent soil layers. The numerical analysis based on the present theory is carried out, and the vertical displacements of multilayered foundation with a weak and a hard underlying stratums are compared and discussed.

SOLUTIONS OF THE BENJAMIN-ONO EQUATION IN FRACTIONAL ORDER SOBOLEV SPACES

We show for the Benjamin-Ono equation an existence uniqeness theorem in Sobolev spaces of arbitrary fractional order s greater-than-or-equal-to 2, provided the initial data is given in the same space.

UNIQUENESS OF THE MILD SOLUTION OF SEMILINEAR STOCHASTIC EVOLUTION EQUATION IN HILBERT SPACE

In this paper, we will consider following initial value problem of semilinear stochastic evolution equation in Hilbert Space: [GRAPHICS] where W(t) is a wiener process in H, H and Y are two real separable Hilbert Spaces, A is an infinitesimal generator of a strongly continuous semigroup s(t) on Y, f(t, y): [0, T] x Y --> Y, and G(t, y): [0, T] X Y --> L(H, Y), y0: OMEGA --> Y is a ramdom variable of square integrable. We apply theory of the semigroup and obtain two conclusions of uniqueness of the mild solution of (1) which include the corresponding results in [4].

PIECEWISE SMOOTH SOLUTION OF THE FIRST ORDER SEMILINEAR HYPERBOLIC SYSTEMS IN HIGHER SPACE DIMENSION

It is important to study the propagation and interaction of progressing waves of nonlinear equations in the class of piecewise smooth function. However, there has not been many works on that in multidimensional case. In 1985, J, Rauch & M. Reed have provad the existence and uniqueness of piecewise smooth solution for

Analytical solution of basic equations set of atmospheric motion

On condition that the basic equations set of atmospheric motion possesses the best stability in the smooth function classes, the structure of solution space for local analytical solution is discussed, by which the third-class initial value problem with typ- icality and application is analyzed. The calculational method and concrete expressions of analytical solution about the well-posed initial value problem of the third-kind are given in the analytic function classes. Near an appointed point, the relevant theoretical and computational problems about analytical solution of initial value problem are solved completely in the meaning of local solution. Moreover, for other type ofproblems for determining solution, the computational method and process of their stable analytical solution can be obtained in a similar way given in this paper.

Stokes'first problem for the fourth order fluid in a porous half space

In this study, the flow of a fourth order fluid in a porous half space is modeled. By using the modified Darcy＇s law, the flow over a suddenly moving flat plate is studied numerically. The influence of various parameters of interest on the velocity profile is revealed.

A PRIORI ESTIMATES TO THE MAXIMUM MODULUS OF GENERALIZED SOLUTIONS OF A CLASS OF QUASILINEAR ELLIPTIC EQUATIONS WITH ANISOTROPIC GROWTH CONDITIONS

In this paper we give a priori estimates for the maximum modulus of generalizedsolulions of the quasilinear elliplic equations irith anisotropic growth condition.

Stability of Navier-Stokes Equation(Ⅱ)

In this paper. we make some comparisons between the solutions for Narier-Stokesequation and those .for heat conduction equation.In his study of Navier-Stokes equation .Professor J.Leray. a Frenehmathematician and authority on partial differential equation, starting from heatconduction equation, obtained some results of properly posed of certain initialboundary value problems of Navier-Stokes equation. Professor R. Temam of University de Paris XI and other experts in this field also brought up the possibility ofcomparing these two classes of equations. This paper attempts to describe and provethe .fundamental difference between these two.

Stability of Navier-Stokes Equation(Ⅰ)

In this paper. we make some comparisons between the solutions for Narier-Stokesequation and those .for heat conduction equation.In his study of Navier-Stokes equation .Professor J.Leray. a Frenehmathematician and authority on partial differential equation, starting from heatconduction equation, obtained some results of properly posed of certain initialboundary value problems of Navier-Stokes equation. Professor R. Temam of University de Paris XI and other experts in this field also brought up the possibility ofcomparing these two classes of equations. This paper attempts to describe and provethe .fundamental difference between these two.

ON THE STABILITY OF FORCED DISSIPATIVE NONLINEAR SYSTEM

This paper, applying the stratification theory, proves the instability of certain initial (boundary) Value problem of forced dissipative nonlinear system in atmospheric dynamies. An example in given.

Space Periodic Solutions and Rogue Wave Solution of the Derivative Nonlinear Schrodinger Equation

The derivative nonlinear Schrodinger equation, which is extensively applied in plasma physics and nonlinear optics, is analytically studied by Hirota method. Space periodic solutions are determined by means of Hirota＇s bilinear formalism, and the rogue wave solution is derived as a long-wave limit of the space periodic solution.

Uncoupled state space solution to layered poroelastic medium with anisotropic permeability and compressible pore fluid

This paper presents an uncoupled state space solution to three-dimensional consolidation of layered poroelastic medium with anisotropic permeability and compressible pore fluid.Starting from the basic equations of poroelastic medium,and introducing intermediate variables,the state space equation usually comprising eight coupled state vectors is uncoupled into two sets of equations of six and two state vectors in the Laplace-Fourier transform domain.Combined with the continuity conditions between adjacent layers and boundary conditions,the uncoupled state space solution of a layered poroelastic medium is obtained by using the transfer matrix method.Numerical results show that the anisotropy of permeability and the compressibility of pore fluid have remarkable influence on the consolidation behavior of poroelastic medium.

Global Solution for Fully Nonlinear Parabolic Equations in One-Dimensional Space

We discuss the existence of global classical solution for the uniformly parabolic equation ■ut=a(x,t,u,ux,uxx)+b（x,t,u,ux）,（x,t）∈（-1,1）×(0,T], u（±1,t）=0,u（x,0）=■（x）, where a is strongly nonlinear with respect to uxxand ■ is not necessarily small.We also deal with nonuniform case.

Well-posedness in the Energy Space for Non-linear System of Wave Equations with Critical Growth

The authors consider the well-posedness in energy space of the critical non-linear system of wave equations with Hamiltonian structure{utt-△u=-F1（｜u｜^2,｜v｜^2）u,utt-△u=-F2（｜u｜^2,｜v｜^2）u where there exists a function F（λ,μ） such that δF（λ,μ）/δλ=F1（λ,μ）.δF（λ,μ）/δμ=F2（λ,μ） By showing that the energy and dilation identities hold for weak solution under some assumptions on the non-linearities, we prove the global well-posedness in energy space by a similar argument to that for global regularity as shown in ＂Shatah and Struwe＇s paper, Ann. of Math. 138, 503-518 （1993）＂.