Inverse Piston Problem for the System of One-Dimensional Isentropic Flow

In this paper, the authors consider the inverse piston problem for the system of one-dimensional isentropic flow and obtain that, under suitable conditions, the piston velocity can be uniquely determined by the initial state of the gas on the right side of the piston and the position of the forward shock.     

Effect of Notoginsenoside-Rg_1 on the Expression of Several Proteins in the Striatum of Rat Models with Parkinson′s Disease

Introduction Parkinson′sdisease(PD),alsocalledshaking palsy,isaneurodegenerativedisorderandfrequently occursinthepeopleabovetheageof65[1].PDisa relativelycommonneurodegenerativedisorder,which hasclinicalsymptomsincludingbradykinesia,rest tremor,rigidity,…     

A Rapid Solid-phase Synthesis to Soluble Oligothiophene Molecular Wires

A novel method for the preparation of oligothiophene molecular wires is described via a bi-directional solid-phase synthesis. Using an alternating sequence of bromination and Stille coupling reactions, oligomers were obtained up to the heptamer in excellent yield and purity.     

Single-period Two-product Inventory Model with Reorder and Substitution

In market, excess demands for many products can be met by reorder even during one period, and retailers usually adopt substitution strategy for more benefit. Under the retailer's substitution strategy and permission of reorder, we develop the profits maximization model for the two-substitutable-product inventory problem with stochastic demands and proportional costs and revenues. We show that the objective function is concave and submodular, and therefore the optimal policy exists. We present the optimal conditions for order quantity and provide some properties of the optimal order quantities. Comparing our model with Netessine and Rudi's, we prove that reorder and adoption of the substitution strategy can raise the general profits and adjust down the general stock level.     

Acoustic vector sensor signal processing

Acoustic vector sensor simultaneously, colocately and directly measures orthogonal components of particle velocity as well as pressure at single point in acoustic field so that is possible to improve performance of traditional underwater acoustic measurement devices or detection systems and extends new ideas for solving practical underwater acoustic engineering problems. Although acoustic vector sensor history of appearing in underwater acoustic area is no long, but with huge and potential military demands, acoustic vector sensor has strong development trend in last decade, it is evolving into a one of important underwater acoustic technology. Under this background, we try to review recent progress in study on acoustic vector sensor signal processing, such as signal detection, DOA estimation, beamforming, and so on.     

Isolation and Characterization of Proteins Interacting with Activin Type Ⅱ Receptors

Introduction Activinisamemberofthetransforminggrowth factor(TGF)βsuperfamilyofextracellularsignaling proteins.Themembersofthisfamilyplayacriticalrole duringembryogenesisandinmaintainingtissuehomeo stasisinadultlife[1—3].DeregulatedTGFfamilysigna lingisi…     

12-Ring Network Coordination Polymer——{[Cu(C_4N_2H_(10))_4]_2·H_4V_4O_(14)}_n Formed by Linking cyclo-[H_4V_4O_(14)]~(4-) with Cu(C_4N_2H_(10))~(2+)_4 Cation Clusters

IntroductionThe interest in polyoxometalates that are widelyused in medical chemistry, catalyst reactions, and ma-terial sciences stems from their complicated aggregatesformed by means of corner-, edge- and face-sha-ring[1—4]. The exploitation of new str…     

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.     

无约束全局优化的一个可调参数的填充函数

A filled function with adjustable parameters is suggested in this paper for finding a global minimum point of a general class of nonlinear programming problems with a bounded and closed domain. This function has two adjustable parameters. We will discuss the properties of the proposed filled function. Conditions on this function and on the values of parameters are given so that the constructed function has the desired properties of traditional filled function.     

Navier-Stokes方程带Backtracking技巧的两重网格算法

1 引 言考虑二维不可压 Navier-Stokes方程: