Simplified Navier-Stokes equations (SNSE)

Ten kinds of the simplified Navier-Stokes equations (SNSE) are reviewed and also used to calculate the Jeffery-Hamel flow as well as to analyze briefly the seven kinds of flows to which the exact solutions of the complete Navier-Stokes equations (CNSE) have been found. Analysis shows that the actual differences among the solutions of the different SNSE can go beyond the range of the order of magnitude of Re-1/2 and result even in different flow patterns, therefore, how to choose the viscous terms included in the SNSE is worthy of notice where Re=S∞u∞ L/μ∞ is the Reynolds numbers. For the aforesaid eight kinds of flows, the solutions to the inner-outer-layer-matched SNSE and to the thin-layer-2-order SNSE agree completely with the exact solutions to CNSE. But the solutions to all the other SNSE are not completely consistent with the exact solutions to CNSE and not a few of them are actually the solutions of the classical boundary layer theory. The innerouter-layer-matched SNSE contains the shear stress causing angular displacement of the inormal axis with respect to the streamwise axis and the normal stress causing expansion-contraction in the direction of the normal axis and the viscous terms being of the order of magnitude of the normal stress; and it can also reasonably treat the inertial terms as well as the relation between the viscous and inertial terms. Therefore, it seems promising in respects of both mechanics and mathematics.

Análisis estratégico de la industria de la construcción en España

[ES] El sector de la construcción tiene, en España, una notable importancia, por su aportación al PIB (del entorno del 10%) y al empleo (en torno al 10%) y porque aglutina un amplio tejido empresarial. El deterioro de la situación económica y la saturación del mercado residencial han llevado a una fuerte contracción de la actividad constructiva, después una larga época de crecimiento.

Experimental Studies on Model Scramjet in a Mach 6 High Enthalpy Free-Jet Wind Tunnel

A side-wall compression scramjet model with different combustor geometries has been tested in a propulsion tunnel that typically provides the testing flow with Mach number of 5.8, total temperature of 1800K, total pressure of 4.5MPa and mass flow rate of 4kg/s. This kerosene-fueled scramjet model consists of a side-wall compression inlet, a combustor and a thrust nozzle. A strut was used to increase the contraction ratio and to inject fuels, as well as a mixing enhancement device. Several wall cavities were also employed for flame-holding. In order to shorten the ignition delay time of the kerosene fuel, a little amount of hydrogen was used as a pilot flame. The pressure along the combustor has an evident raise after ignition occurred. Consequently thrust was observed during the fuel-on period. However, the thrust was still less than the drag of the scramjet model. For this reason, the drag variation produced by different strut and cavities was tested. Typical results showed that the cavities do not influence the drag so much, but the length of the strut does.

Fixed Points of Closed and Compact Composite Sequences of Operators and Projectors in a Class of Banach Spaces

Some results on fixed points related to the contractive compositions of bounded operators in a class of complete metric spaces which can be also considered as Banach's spaces are discussed through the paper. The class of composite operators under study can include, in particular, sequences of projection operators under, in general, oblique projective operators. In this paper we are concerned with composite operators which include sequences of pairs of contractive operators involving, in general, oblique projection operators. The results are generalized to sequences of, in general, nonconstant bounded closed operators which can have bounded, closed, and compact limit operators, such that the relevant composite sequences are also compact operators. It is proven that in both cases, Banach contraction principle guarantees the existence of unique fixed points under contractive conditions.

Invariant-free deduction systems for temporal logic

In this thesis we propose a new approach to deduction methods for temporal logic. Our proposal is based on an inductive definition of eventualities that is different from the usual one. On the basis of this non-customary inductive definition for eventualities, we first provide dual systems of tableaux and sequents for Propositional Linear-time Temporal Logic (PLTL). Then, we adapt the deductive approach introduced by means of these dual tableau and sequent systems to the resolution framework and we present a clausal temporal resolution method for PLTL. Finally, we make use of this new clausal temporal resolution method for establishing logical foundations for declarative temporal logic programming languages. The key element in the deduction systems for temporal logic is to deal with eventualities and hidden invariants that may prevent the fulfillment of eventualities. Different ways of addressing this issue can be found in the works on deduction systems for temporal logic. Traditional tableau systems for temporal logic generate an auxiliary graph in a first pass.Then, in a second pass, unsatisfiable nodes are pruned. In particular, the second pass must check whether the eventualities are fulfilled. The one-pass tableau calculus introduced by S. Schwendimann requires an additional handling of information in order to detect cyclic branches that contain unfulfilled eventualities. Regarding traditional sequent calculi for temporal logic, the issue of eventualities and hidden invariants is tackled by making use of a kind of inference rules (mainly, invariant-based rules or infinitary rules) that complicates their automation. A remarkable consequence of using either a two-pass approach based on auxiliary graphs or aone-pass approach that requires an additional handling of information in the tableau framework, and either invariant-based rules or infinitary rules in the sequent framework, is that temporal logic fails to carry out the classical correspondence between tableaux and sequents. In this thesis, we first provide a one-pass tableau method TTM that instead of a graph obtains a cyclic tree to decide whether a set of PLTL-formulas is satisfiable. In TTM tableaux are classical-like. For unsatisfiable sets of formulas, TTM produces tableaux whose leaves contain a formula and its negation. In the case of satisfiable sets of formulas, TTM builds tableaux where each fully expanded open branch characterizes a collection of models for the set of formulas in the root. The tableau method TTM is complete and yields a decision procedure for PLTL. This tableau method is directly associated to a one-sided sequent calculus called TTC. Since TTM is free from all the structural rules that hinder the mechanization of deduction, e.g. weakening and contraction, then the resulting sequent calculus TTC is also free from this kind of structural rules. In particular, TTC is free of any kind of cut, including invariant-based cut. From the deduction system TTC, we obtain a two-sided sequent calculus GTC that preserves all these good freeness properties and is finitary, sound and complete for PLTL. Therefore, we show that the classical correspondence between tableaux and sequent calculi can be extended to temporal logic. The most fruitful approach in the literature on resolution methods for temporal logic, which was started with the seminal paper of M. Fisher, deals with PLTL and requires to generate invariants for performing resolution on eventualities. In this thesis, we present a new approach to resolution for PLTL. The main novelty of our approach is that we do not generate invariants for performing resolution on eventualities. Our method is based on the dual methods of tableaux and sequents for PLTL mentioned above. Our resolution method involves translation into a clausal normal form that is a direct extension of classical CNF. We first show that any PLTL-formula can be transformed into this clausal normal form. Then, we present our temporal resolution method, called TRS-resolution, that extends classical propositional resolution. Finally, we prove that TRS-resolution is sound and complete. In fact, it finishes for any input formula deciding its satisfiability, hence it gives rise to a new decision procedure for PLTL. In the field of temporal logic programming, the declarative proposals that provide a completeness result do not allow eventualities, whereas the proposals that follow the imperative future approach either restrict the use of eventualities or deal with them by calculating an upper bound based on the small model property for PLTL. In the latter, when the length of a derivation reaches the upper bound, the derivation is given up and backtracking is used to try another possible derivation. In this thesis we present a declarative propositional temporal logic programming language, called TeDiLog, that is a combination of the temporal and disjunctive paradigms in Logic Programming. We establish the logical foundations of our proposal by formally defining operational and logical semantics for TeDiLog and by proving their equivalence. Since TeDiLog is, syntactically, a sublanguage of PLTL, the logical semantics of TeDiLog is supported by PLTL logical consequence. The operational semantics of TeDiLog is based on TRS-resolution. TeDiLog allows both eventualities and always-formulas to occur in clause heads and also in clause bodies. To the best of our knowledge, TeDiLog is the first declarative temporal logic programming language that achieves this high degree of expressiveness. Since the tableau method presented in this thesis is able to detect that the fulfillment of an eventuality is prevented by a hidden invariant without checking for it by means of an extra process, since our finitary sequent calculi do not include invariant-based rules and since our resolution method dispenses with invariant generation, we say that our deduction methods are invariant-free.

On Bounded Strictly Positive Operators of Closed Range and Some Applications to Asymptotic Hyperstability of Dynamic Systems

The problem discussed is the stability of two input-output feedforward and feedback relations, under an integral-type constraint defining an admissible class of feedback controllers. Sufficiency-type conditions are given for the positive, bounded and of closed range feed-forward operator to be strictly positive and then boundedly invertible, with its existing inverse being also a strictly positive operator. The general formalism is first established and the linked to properties of some typical contractive and pseudocontractive mappings while some real-world applications and links of the above formalism to asymptotic hyperstability of dynamic systems are discussed later on.

Best Proximity Points of Generalized Semicyclic Impulsive Self-Mappings: Applications to Impulsive Differential and Difference Equations

This paper is devoted to the study of convergence properties of distances between points and the existence and uniqueness of best proximity and fixed points of the so-called semicyclic impulsive self-mappings on the union of a number of nonempty subsets in metric spaces. The convergences of distances between consecutive iterated points are studied in metric spaces, while those associated with convergence to best proximity points are set in uniformly convex Banach spaces which are simultaneously complete metric spaces. The concept of semicyclic self-mappings generalizes the well-known one of cyclic ones in the sense that the iterated sequences built through such mappings are allowed to have images located in the same subset as their pre-image. The self-mappings under study might be in the most general case impulsive in the sense that they are composite mappings consisting of two self-mappings, and one of them is eventually discontinuous. Thus, the developed formalism can be applied to the study of stability of a class of impulsive differential equations and that of their discrete counterparts. Some application examples to impulsive differential equations are also given.

Microfluidic Rheometry

The development and growth of microfluidics has stimulated interest in the behaviour of complex liquids in micro-scale geometries and provided a rich platform for rheometric investigations of non-Newtonian phenomena at small scales. Microfluidic techniques present the rheologist with new opportunities for material property measurement and this review discusses the use of microfluidic devices to measure bulk rheology in both shear and extensional flows. Capillary, stagnation and contraction flows are presented in this context and developments, limitations and future perspectives are examined. (C) 2008 Elsevier Ltd. All rights reserved.

The past history and present trends in the fisheries of Lake Chad

Lake Chad is a very large, shallow eutrophic lake shared by Chad, Nigeria, Niger and Cameroun. It supplies approximately 13% of Nigeria's inland fish. It however lies in an unstable ecological environment characterised by intermittent period of rainfall and drought. This creates a very large draw down area. Consequently, the fisheries are affected by the oscillation in the size of lake due to the drought. Other factors affecting the volume of water are the numerous dams on the inflow rivers. The fishery is also subjected to intense overfishing and may be affected by pollution and other land use practices. The paper discusses changes that took place over the years as a result of the factors of drought, effect of dams on the inflow rivers. The fishery is also subjected to intense overfishing and may be affected by pollution and other land use practices. The paper discusses changes that took place over the years as a result of the factors of drought, effects of dams and overexploitation. Previous records of fish production, species composition and distribution, the status of the fish stocks, their sizes are compared with more recent data. The status of the fishery before and after the contraction of the lake is discussed. Suggestion for a national exploitation of the lake based on habitat improvement, increasing the volume of the water in the lake through controlled use of the influent rivers as well as reduction in overfishing are made

rhegf-Loaded Plga-Alginate Microspheres Enhance The Healing Of Full-Thickness Excisional Wounds In Diabetised Wistar Rats

[EN] Diabetic foot ulcers (DFUs) represent a major clinical challenge in the ageing population. To address this problem, rhEGF-loaded Poly-Lactic-co-Glycolic-Acid (PLGA)-Alginate microspheres (MS) were prepared by a modified w/o/w-doubleemulsion/ solvent evaporation method. Different formulations were evaluated with the aim of optimising MSs properties by adding NaCl to the surfactant solution and/or the solvent removal phase and adding alginate as a second polymer. The characterization of the developed MS showed that alginate incorporation increased the encapsulation efficiency (EE) and NaCl besides increasing the EE also became the particle surface smooth and regular. Once the MS were optimised, the target loading of rhEGF was increased to 1% (PLGA-Alginate MS), and particles were sterilised by gamma radiation to provide the correct dosage for in vivo studies. In vitro cell culture assays demonstrated that neither the microencapsulation nor the sterilisation process affected rhEGF bioactivity or rhEGF wound contraction. Finally, the MS were evaluated in vivo for treatment of the full-thickness wound model in diabetised Wistar rats. rhEGF MS treated animals showed a statistically significant decrease of the wound area by days 7 and 11, a complete re-epithelisation by day 11 and an earlier resolution of the inflammatory process. Overall, these findings demonstrate the promising potential of rhEGF-loaded MS (PLGA-Alginate MS) to promote faster and more effective wound healing, and suggest its possible application in DFU treatment.

Preliminary report of fishing at the Alawariwa beels, Ogun State, Nigeria

The Alawariwa beels located in the flood plains of the Ogun River, off Ibafo in Owode/Obafemi Local Government Area of Ogun State number 16 with an approximate total surface area of 28.0 hectares. The beels are conveniently exploited between January and April annually when the dry season and riverine contraction make this possible. The daily landing showed that the fish enclosure is truly a natural fisheries reserve as well as a medium of biodiversity. Fish catch per unit effort is reasonable especially for the more abundant fish species. The beel is sufficiently productive and worthy of the fishing efforts of the fishing efforts of eight fishers undertaking the daily assignment. Beel fishing is therefore economically advisable for fishers having access to such valuable communal or individual natural wetland resources

Palladium-catalyzed asymmetric allylic alkylation: insights, application toward cyclopentanoid and cycloheptanoid molecules, and the total synthesis of several daucane sesquiterpenes

The asymmetric construction of quaternary stereocenters is a topic of great interest in the organic chemistry community given their prevalence in natural products and biologically active molecules. Over the last decade, the Stoltz group has pursued the synthesis of this challenging motif via a palladium-catalyzed allylic alkylation using chiral phosphinooxazoline (PHOX) ligands. Recent results indicate that the alkylation of lactams and imides consistently proceeds with enantioselectivities substantially higher than any other substrate class previously examined in this system. This observation prompted exploration of the characteristics that distinguish these molecules as superior alkylation substrates, resulting in newfound insights and marked improvements in the allylic alkylation of carbocyclic compounds.

General routes to cyclopentanoid and cycloheptanoid core structures have been developed that incorporate the palladium-catalyzed allylic alkylation as a key transformation. The unique reactivity of α-quaternary vinylogous esters upon addition of hydride or organometallic reagents enables divergent access to γ-quaternary acylcyclopentenes or cycloheptenones through respective ring contraction or carbonyl transposition pathways. Derivatization of the resulting molecules provides a series of mono-, bi-, and tricyclic systems that can serve as valuable intermediates for the total synthesis of complex natural products.

The allylic alkylation and ring contraction methodology has been employed to prepare variably functionalized bicyclo[5.3.0]decane molecules and enables the enantioselective total syntheses of daucene, daucenal, epoxydaucenal B, and 14-p-anisoyloxydauc-4,8-diene. This route overcomes the challenge of accessing β-substituted acylcyclopentenes by employing a siloxyenone to effect the Grignard addition and ring opening in a single step. Subsequent ring-closing metathesis and aldol reactions form the hydroazulene core of these targets. Derivatization of a key enone intermediate allows access to either the daucane sesquiterpene or sphenobolane diterpene carbon skeletons, as well as other oxygenated scaffolds.

Nonlinear dynamic transfer functions for certain retinal neuronal systems

The applicability of the white-noise method to the identification of a nonlinear system is investigated. Subsequently, the method is applied to certain vertebrate retinal neuronal systems and nonlinear, dynamic transfer functions are derived which describe quantitatively the information transformations starting with the light-pattern stimulus and culminating in the ganglion response which constitutes the visually-derived input to the brain. The retina of the catfish, Ictalurus punctatus, is used for the experiments.

The Wiener formulation of the white-noise theory is shown to be impractical and difficult to apply to a physical system. A different formulation based on crosscorrelation techniques is shown to be applicable to a wide range of physical systems provided certain considerations are taken into account. These considerations include the time-invariancy of the system, an optimum choice of the white-noise input bandwidth, nonlinearities that allow a representation in terms of a small number of characterizing kernels, the memory of the system and the temporal length of the characterizing experiment. Error analysis of the kernel estimates is made taking into account various sources of error such as noise at the input and output, bandwidth of white-noise input and the truncation of the gaussian by the apparatus.

Nonlinear transfer functions are obtained, as sets of kernels, for several neuronal systems: Light → Receptors, Light → Horizontal, Horizontal → Ganglion, Light → Ganglion and Light → ERG. The derived models can predict, with reasonable accuracy, the system response to any input. Comparison of model and physical system performance showed close agreement for a great number of tests, the most stringent of which is comparison of their responses to a white-noise input. Other tests include step and sine responses and power spectra.

Many functional traits are revealed by these models. Some are: (a) the receptor and horizontal cell systems are nearly linear (small signal) with certain "small" nonlinearities, and become faster (latency-wise and frequency-response-wise) at higher intensity levels, (b) all ganglion systems are nonlinear (half-wave rectification), (c) the receptive field center to ganglion system is slower (latency-wise and frequency-response-wise) than the periphery to ganglion system, (d) the lateral (eccentric) ganglion systems are just as fast (latency and frequency response) as the concentric ones, (e) (bipolar response) = (input from receptors) - (input from horizontal cell), (f) receptive field center and periphery exert an antagonistic influence on the ganglion response, (g) implications about the origin of ERG, and many others.

An analytical solution is obtained for the spatial distribution of potential in the S-space, which fits very well experimental data. Different synaptic mechanisms of excitation for the external and internal horizontal cells are implied.

Efeitos da aplicação tópica da S-Nitrosoglutationa no reparo tecidual de lesões cutâneas isquêmicas

A aplicação tópica do hidrogel Pluronic F-127 (poli(óxido de etileno)99-poli(óxido de propileno)65-poli(óxido de etileno)99, PEO99-PPO65-PEO99) contendo um doador de óxido nítrico, a S-nitrosoglutationa (GSNO) é conhecida por exercer efeitos benéficos no reparo tecidual cutâneo. O objetivo deste trabalho foi avaliar o efeito da aplicação tópica do hidrogel Pulronic F-127 contendo um doador de óxido nítrico no reparo tecidual de lesões isquêmicas. Ratos Wistar machos foram submetidos a duas lesões incisionais paralelas no dorso, a pele foi separada do tecido subjacente, as incisões foram suturadas e uma lesão excisional foi feita entre elas para criar uma condição isquêmica ao redor da lesão. Os animais foram separados em grupo controle, que recebeu a aplicação apenas do hidrogel sem doador de óxido nítrico e grupo tratado, que recebeu a aplicação do hidrogel contendo o doador de óxido nítrico. Os animais foram tratados por 7 dias consecutivos com uma aplicação diária dos hidrogéis. O grupo tratado apresentou taxas mais altas de contração e re-epitelização, menor quantidade de células inflamatórias, um aumento na densidade e organização de fibras colágenas e uma diminuição na neovascularização 14 dias após a lesão, comparado ao grupo controle. Esses resultados indicam que a aplicação tópica do gel doador de óxido nítrico é eficaz no tratamento de lesões isquêmicas em ratos, levando a uma melhora significativa na cicatrização. Consequentemente, a aplicação tópica de um hidrogel contendo doador de óxido nítrico poderá ter, futuramente, potencial para o tratamento terapêutico de úlceras venosas e decorrentes de diabetes.

Range of validity of the method of averaging

Sufficient conditions are derived for the validity of approximate periodic solutions of a class of second order ordinary nonlinear differential equations. An approximate solution is defined to be valid if an exact solution exists in a neighborhood of the approximation.

Two classes of validity criteria are developed. Existence is obtained using the contraction mapping principle in one case, and the Schauder-Leray fixed point theorem in the other. Both classes of validity criteria make use of symmetry properties of periodic functions, and both classes yield an upper bound on a norm of the difference between the approximate and exact solution. This bound is used in a procedure which establishes sufficient stability conditions for the approximated solution.

Application to a system with piecewise linear restoring force (bilinear system) reveals that the approximate solution obtained by the method of averaging is valid away from regions where the response exhibits vertical tangents. A narrow instability region is obtained near one-half the natural frequency of the equivalent linear system. Sufficient conditions for the validity of resonant solutions are also derived, and two term harmonic balance approximate solutions which exhibit ultraharmonic and subharmonic resonances are studied.