Abstract:
A solar-aided coal-fired power plant realizes the integration of a fossil fuel (coal or gas) and clean energy (solar). In this paper, a conventional 600 MW coal-fired power plant and a 600 MW solar-aided coal-fired power plant have been taken as the study case to understand the merits of solar-aided power generation (SAPG) technology. The plants in the case study have been analyzed by using the First and Second Laws of Thermodynamics principles. The solar irradiation and load ratio have been considered in the analysis. We conclude that if the solar irradiation was 925 W/m 2 and load ratio of the SAPG plant was 100%, the exergy efficiency would be 44.54% and the energy efficiency of the plant (46.35%). It was found that in the SAPG plant the largest exergy loss was from the boiler, which accounted for about 76.74% of the total loss. When the load ratio of the unit remains at 100%, and the solar irradiation varies from 500 W/m 2 to 1,100 W/m 2, the coal savings would be in the range of 8.6 g/kWh to 15.8 g/kWh. If the solar irradiation were kept at 925 W/m 2 while the load ratio of the plant changed from 30% to 100%, the coal savings could be in the range of 11.99 g/kWh to 13.75 g/kWh.

Abstract:
Context is a rich concept and is an elusive concept to define. The concept of context has been studied by philosophers, linguists, psychologists, and recently by computer scientists. Within each research community the term context was interpreted in a certain way that is well-suited for their goals, however no attempt was made to define context. In many areas of research in computer science, notably on web-based services, human-computer interaction (HCI), ubiquitous computing applications, and context-aware systems there is a need to provide a formal operational definition of context. In this brief survey an account of the early work on context, as well as the recent work on many working definitions of context, context modeling, and a formalization of context are given. An attempt is made to unify the different context models within the formalization. A brief commentary on the usefulness of the formalization in the development of context-aware and dependable systems is included.

Abstract:
Context is a rich concept and is an elusive concept to define. The concept of context has been studied by philosophers, linguists, psychologists, and recently by computer scientists. Within each research community the term context was interpreted in a certain way that is well-suited for their goals, however no attempt was made to define context. In many areas of research in computer science, notably on web-based services, human-computer interaction (HCI), ubiquitous computing applications, and context-aware systems there is a need to provide a formal operational definition of context. In this brief survey an account of the early work on context, as well as the recent work on many working definitions of context, context modeling, and a formalization of context are given. An attempt is made to unify the different context models within the formalization. A brief commentary on the usefulness of the formalization in the development of context-aware and dependable systems is included.

Group B Streptococcus (GBS) is a
major cause of serious bacterial infection in numerous animal species. The
production of capsular polysaccharide(CPs) is vital to GBS to evade host
immunity. One of the genes that required for production of CPs, cpsE, has been
determined to be well conserved in capsule gene cluster (cps).This study cloned
the cpsE gene from Tilapia of GBS clinical isolate (serotype Ia) and expressed
this gene with aid of pET-32a(+) in Escherichia coli BL21(DE3) competent cells
to obtain high levels of the recombinant protein for further study about CpsE
in fish and examination of its immunogenicity. The optimization of induction
conditions (IPTG concentration, temperature and time) in E.coli was accomplished
and let us to perform the recombinant protein induction at 37℃ for 3h,with 0.2mM IPTG in Luria Bertani (LB) medium.
At the optimal conditions, recombinant protein was expressed in an insoluble
form (inclusion bodies) and accounted for approximately 23% of the total
protein. Purification by affinity chromatography yielded about 480mg fusion
protein per liter culture.

Abstract:
The pressure impulse test system is a complex nonlinear system; its control methods are very different from the traditional linear systems. The difficulty of its analysis focused on the physical realization of the entire system and mathematical model on complex pipeline system. We analyze the composition and principles of the entire test system, detailed study the basic equation of unsteady flow and do the static design which provides parameters for the dynamic simulation. Method of characteristics is used to establish the mathematical model. Then we analyze the transient process of the test system with the model, main analyze the affecting factors of water hammer wave-shaped through simulation. Finally, verify the correctness of simulation analysis model and ensure the impulse test can be successfully completed through the test of our main specimen -retractable actuator of landing gear with different combinations of key parameters.

Abstract:
Let $q$ be an odd prime power, and $H_{d,q}$ denote the set of square-free monic polynomials $D(x) \in F_q[x]$ of degree $d$. Katz and Sarnak showed that the moments, over $H_{d,q}$, of the zeta functions associated to the curves $y^2=D(x)$, evaluated at the central point, tend, as $q \to \infty$, to the moments of characteristic polynomials, evaluated at the central point, of matrices in $USp(2\lfloor (d-1)/2 \rfloor)$. Using techniques that were originally developed for studying moments of $L$-functions over number fields, Andrade and Keating conjectured an asymptotic formula for the moments for $q$ fixed and $d \to \infty$. We provide theoretical and numerical evidence in favour of their conjecture. In some cases we are able to work out exact formulas for the moments and use these to precisely determine the size of the remainder term in the predicted moments.

Abstract:
We investigate first the existence of periodic solution in general Cohen-Grossberg BAM neural networks with multiple time-varying delays by means of using degree theory. Then using the existence result of periodic solution and constructing a Lyapunov functional, we discuss global exponential stability of periodic solution for the above neural networks. Our result on global exponential stability of periodic solution is different from the existing results. In our result, the hypothesis for monotonicity ineqiality conditions in the works of Xia (2010) Chen and Cao (2007) on the behaved functions is removed and the assumption for boundedness in the works of Zhang et al. (2011) and Li et al. (2009) is also removed. We just require that the behaved functions satisfy sign conditions and activation functions are globally Lipschitz continuous.

Abstract:
This paper deals with the existence of positive solutions for the elliptic problems with sublinear and superlinear nonlinearities in , in , on , where is a real parameter, . is a bounded domain in , and and are some given functions. By means of variational method and super-subsolution method, we obtain some results about existence of positive solutions. 1. Introduction In this paper, we consider the elliptic problems with sublinear and superlinear nonlinearities where ？？is a real parameter,？？ . ？ is a bounded domain in ,？and？ and are some given functions which satisfies the following assumptions:( ) ,？？ ,？？ ,？？where ,？？ are positive constants, or( ) ,？ ,？？ ,？？where is a positive constant. For convenience, we denote with hypothesis or by and , respectively. Such problems occur in various branches of mathematical physics and population dynamics, and sublinear analogues or superlinear analogues of have been considered by many authors in recent years (see [1–9] and their references). But most of such studies have been concerned with equations of the type involving sublinear nonlinearity (see [3–6, 8, 9]), with only few references dealing with the elliptic problems with sublinear and superlinear nonlinearities. In [1], Ambrosetti et al. deal with the analogue of with . It is known from [2] that there exist , such that problem has a solution if ？？and has no solution if ,？？provided on . Our goal in this paper is to show how variational method and super-subsolution method can be used to establish some existence results of problem . We work on the Sobolev space ？equipped with the norm？？ . ？？For ？we define ？？by Let be the first eigenvalue of ？？denotes the corresponding eigenfunction satisfying？？ . ？ ,？？ , denotes Lebesgue spaces, and the norm in is denoted by . 2. The Existence of Positive Solution of It is well known that Define？？ ; ？？from (2.1) we know？？ , ？so we can split the domain into two parts: and , where . Let？？ ; ？we obtain that？？ ？？by the positivity of ？？in？？ , ？and？？ ？？is nonempty when？？ ？？is small enough. Theorem 2.1. Let？？ ,？？ satisfy assumption , ？and？？ , where？？ is the limiting exponent in the Sobolev embedding. Then there exists a constant ？？such that possesses at least a weak positive solution ？for？？ . Proof. Let？？ ？denote the positive solution of the following equation: Here and hereafter we use the following notations: , ？？ , ？？ . Since , for all , ？there exists？？ ？？satisfying Observing that？？ , ？as a consequence, the function？？ ？？verifies and hence it is a supersolution of . ？Let？？ ,？？ ,？？ . For , we have or . We will discuss it from two

Abstract:
The renaturation efficiency of recombinant prochymosin depends on not only the renaturation conditions but also the solubilization (denaturation) conditions. Compared with pH 8, solubilization of prochymosin-containing inclusion bodies at pH 11 (8 mol/L urea) results in onefold increase of renaturation efficiency (～40% vs. ～ 20 %). Alkaline pH facilitates the solubilization of inclusion bodies via the breakage of intermolecular disulfide bonds. Moreover, alkaline pH renders prochymosin molecules to be in a more reduced and more unfolded state which undergoes refolding readily.