The global attractors and dimensions estimation for the Kirchho type wave equations with nonlinear strongly damped terms

This paper studies the long time behavior of the solution to the initial boundaryvalue problems for a class of strongly damped Kirchho type wave equations:utt "1ut + j ut jp1 ut + j u jq1 u (kruk2)u = f(x):Firstly, we prove the existence and uniqueness of the solution by priori estimate and the Galerkin method. Then we obtain to the existence of the global attractor. Finally, we consider that the estimation of the upper bounds of Hausdor and fractal dimensionsfor the global attractor is obtained

The global attractors and exponential attractors for a class of nonlinear damping Kirchhoff equation

This paper consider the long time behavior of a class of nonlinear damped Kirchhoff equation    2 tt 1 t t u u u u u f x ï² ï€«ï¡ ï€­ï§ï„  ï¡ ï€«ï¢ ïƒ‘ ï„ ï€½ . Study the attractor problem with initial boundary value conditions, then using priori estimate and the Galerkin method prove existence and uniqueness of solution, we obtain to the existence of the global attractors. The squeezing property of the nonlinear semi-group associated with this equation and the existence of exponential attractors are also proved

Generalized Multi-Level Replanning TAMP Framework for Dynamic Environment

Task and Motion Planning (TAMP) algorithms can generate plans that combine logic and motion aspects for robots. However, these plans are sensitive to interference and control errors. To make TAMP more applicable in real-world, we propose the generalized multi-level replanning TAMP framework(GMRF), blending the probabilistic completeness of sampling-based TAMP algorithm with the robustness of reactive replanning. GMRF generates an nominal plan from the initial state, then dynamically reconstructs this nominal plan in real-time, reorders robot manipulations. Following the logic-level adjustment, GMRF will try to replan a new motion path to ensure the updated plan is feasible at the motion level. Finally, we conducted real-world experiments involving stack and rearrange task domains. The result demonstrate GMRF's ability to swiftly complete tasks in scenarios with varying degrees of interference

On incremental global update support in cooperative database systems

OzGateway is a cooperative database system designed for integrating heterogeneous existing information systems into an interoperable environment. It also aims to provide a gatewway for legacy information system migration. This paper summarises the problems and results of multidatabase transaction management research. In supporting global updates in OzGateway in an evolutionary way, we introduce a classification of multidatabase transactions and discuss the problems in each category. The architecture of OzGateway and the design of the global transaction manager and servers are presented

Approximate Inertial Manifold for a Class of the Kirchhoff Wave Equations with Nonlinear Strongly Damped Terms

Abstract This paper is devoted to the long time behavior of the solution to the initial boundary value problems for a class of the Kirchhoff wave equations with nonlinear strongly damped terms: stly, in order to prove the smoothing effect of the solution, we make efficient use of the analytic property of the semigroup generated by the principal operator of the equation in the phase space. Then we obtain the regularity of the global attractor and construct the approximate inertial manifold of the equation. Finally, we prove that arbitrary trajectory of the Kirchhoff wave equations goes into a small neighbourhood of the approximate inertial manifold after large time

GSK-3β regulates tumor growth and angiogenesis in human glioma cells.

BACKGROUND: Glioma accounts for the majority of primary malignant brain tumors in adults. METHODS: Glioma specimens and normal brain tissues were analyzed for the expression levels of GSK-3β and p-GSK-3β (Ser9) by tissue microarray analysis (TMA) and Western blotting. Glioma cells over-expressing GSK-3β were used to analyze biological functions both in vitro and in vivo. RESULTS: The levels of p-GSK-3β (Ser9), but not total GSK-3β, are significantly up-regulated in glioma tissues compared to normal tissues, and are significantly correlated with the glioma grades. Ectopic expression of GSK-3β decreased the phosphorylation levels of mTOR and p70S6K1; and inhibited β-catenin, HIF-1α and VEGF expression. Forced expression of GSK-3β in glioma cells significantly inhibited both tumor growth and angiogenesis in vivo. CONCLUSIONS: These results reveal that GSK-3β regulates mTOR/p70S6K1 signaling pathway and inhibits glioma progression in vivo; its inactivation via p-GSK-3β (Ser9) is associated with glioma development, which is new mechanism that may be helpful in developing GSK-3β-based treatment of glioma in the future

Multi-tissue integrative analysis of personal epigenomes

Evaluating the impact of genetic variants on transcriptional regulation is a central goal in biological science that has been constrained by reliance on a single reference genome. To address this, we constructed phased, diploid genomes for four cadaveric donors (using long-read sequencing) and systematically charted noncoding regulatory elements and transcriptional activity across more than 25 tissues from these donors. Integrative analysis revealed over a million variants with allele-specific activity, coordinated, locus-scale allelic imbalances, and structural variants impacting proximal chromatin structure. We relate the personal genome analysis to the ENCODE encyclopedia, annotating allele- and tissue-specific elements that are strongly enriched for variants impacting expression and disease phenotypes. These experimental and statistical approaches, and the corresponding EN-TEx resource, provide a framework for personalized functional genomics

Improving backward recovery in workflow systems

The notion of compensation is widely used as means of backward recovery in long-lived transactions as well as in business processes supported by workflow management systems. In general, it is non-trivial to design compensating tasks for tasks in the context of a workflow. Actually, a task does not have to be compensatable. In this paper, we first look into the requirements that a compensating task has to satisfy. Then we introduce a new mechanism called confirmation. With the help of confirmation, we can modify some non-compensatable tasks so that they become compensatable. This greatly improves backward recovery for workflow applications in the case of failures. To effectively incorporate confirmation and compensation into the workflow management environment, a three-level bottom-up workflow design method is introduced. The implementation issues of this design are also discussed

Enhancing business process automation by integrating RFID data and events

Business process automation is one of the major benefits for utilising Radio Frequency Identification (RFID) technology. Through readers to RFID middleware systems, the information and the movements of tagged objects can be used to trigger business transactions. These features change the way of business applications for dealing with the physical world from mostly quantity based to object-based. Aiming to facilitate business process automation, this paper introduces a new method to model and incorporate business logics into RFID dge systems from an object-oriented perspective with emphasises on RFID's event-driven characteristics. A framework covering business rule modelling, event handling and system operation invocations is presented on the basis of the event calculus. In regard to the identified delayed effects in RFIDenabled applications, a two-block buffering mechanism is proposed to improve RFID query efficiency within the framework. The performance improvements are analysed with related experiments