Composing and Factoring Generalized Green's Operators and Ordinary Boundary Problems

We consider solution operators of linear ordinary boundary problems with "too many" boundary conditions, which are not always solvable. These generalized Green's operators are a certain kind of generalized inverses of differential operators. We answer the question when the product of two generalized Green's operators is again a generalized Green's operator for the product of the corresponding differential operators and which boundary problem it solves. Moreover, we show that---provided a factorization of the underlying differential operator---a generalized boundary problem can be factored into lower order problems corresponding to a factorization of the respective Green's operators. We illustrate our results by examples using the Maple package IntDiffOp, where the presented algorithms are implemented.Comment: 19 page

Estimating the feasibility of transition paths in extended finite state machines

There has been significant interest in automating testing on the basis of an extended finite state machine (EFSM) model of the required behaviour of the implementation under test (IUT). Many test criteria require that certain parts of the EFSM are executed. For example, we may want to execute every transition of the EFSM. In order to find a test suite (set of input sequences) that achieves this we might first derive a set of paths through the EFSM that satisfy the criterion using, for example, algorithms from graph theory. We then attempt to produce input sequences that trigger these paths. Unfortunately, however, the EFSM might have infeasible paths and the problem of determining whether a path is feasible is generally undecidable. This paper describes an approach in which a fitness function is used to estimate how easy it is to find an input sequence to trigger a given path through an EFSM. Such a fitness function could be used in a search-based approach in which we search for a path with good fitness that achieves a test objective, such as executing a particular transition, and then search for an input sequence that triggers the path. If this second search fails then we search for another path with good fitness and repeat the process. We give a computationally inexpensive approach (fitness function) that estimates the feasibility of a path. In order to evaluate this fitness function we compared the fitness of a path with the ease with which an input sequence can be produced using search to trigger the path and we used random sampling in order to estimate this. The empirical evidence suggests that a reasonably good correlation (0.72 and 0.62) exists between the fitness of a path, produced using the proposed fitness function, and an estimate of the ease with which we can randomly generate an input sequence to trigger the path

Modification of the ground state in Sm-Sr manganites by oxygen isotope substitution

The effect of $^{16}$O $\to$ $^{18}$O isotope substitution on electrical resistivity and magnetic susceptibility of Sm$_{1-x}$Sr$_x$MnO$_3$ manganites is analyzed. It is shown that the oxygen isotope substitution drastically affects the phase diagram at the crossover region between the ferromagnetic metal state and that of antiferromagnetic insulator (0.4 $< x <$ 0.6), and induces the metal-insulator transition at for $x$ = 0.475 and 0.5. The nature of antiferromagnetic insulator phase is discussed.Comment: 4 pages, 3 eps figures, RevTeX, submitted to Phys. Rev. Let

A Systematic Study on Energy Dependence of Quasi-Periodic Oscillation Frequency in GRS 1915+105

Systematically studying all the RXTE/PCA observations for GRS 1915+105 before November 2010, we have discovered three additional patterns in the relation between Quasi-Periodic Oscillation (QPO) frequency and photon energy, extending earlier outcomes reported by Qu et al. (2010). We have confirmed that as QPO frequency increases, the relation evolves from the negative correlation to positive one. The newly discovered patterns provide new constraints on the QPO models

High-p_T pion and kaon production in relativistic nuclear collisions

High-p_T pion and kaon production is studied in relativistic proton-proton, proton-nucleus, and nucleus-nucleus collisions in a wide energy range. Cross sections are calculated based on perturbative QCD, augmented by a phenomenological transverse momentum distribution of partons (``intrinsic k_T''). An energy dependent width of the transverse momentum distribution is extracted from pion and charged hadron production data in proton-proton/proton-antiproton collisions. Effects of multiscattering and shadowing in the strongly interacting medium are taken into account. Enhancement of the transverse momentum width is introduced and parameterized to explain the Cronin effect. In collisions between heavy nuclei, the model over-predicts central pion production cross sections (more significantly at higher energies), hinting at the presence of jet quenching. Predictions are made for proton-nucleus and nucleus-nucleus collisions at RHIC energies.Comment: 26 pages in Latex, 19 EPS figure

The sensitivity of the vortex filament method to different reconnection models

We present a detailed analysis on the effect of using different algorithms to model the reconnection of vortices in quantum turbulence, using the thin-filament approach. We examine differences between four main algorithms for the case of turbulence driven by a counterflow. In calculating the velocity field we use both the local induction approximation (LIA) and the full Biot-Savart integral. We show that results of Biot-Savart simulations are not sensitive to the particular reconnection method used, but LIA results are.Comment: 9 pages, 9 figure

Structural and dynamical properties of superfluid helium: a density functional approach

We present a novel density functional for liquid 4He, properly accounting for the static response function and the phonon-roton dispersion in the uniform liquid. The functional is used to study both structural and dynamical properties of superfluid helium in various geometries. The equilibrium properties of the free surface, droplets and films at zero temperature are calculated. Our predictions agree closely to the results of ab initio Monte Carlo calculations, when available. The introduction of a phenomenological velocity dependent interaction, which accounts for backflow effects, is discussed. The spectrum of the elementary excitations of the free surface and films is studied.Comment: 37 pages, REVTeX 3.0, figures on request at [email protected]

Fruiting body, spores and in vitro produced mycelium of ganoderma lucidum from northeast Portugal : a comparative study of the antioxidant potential of phenolic and polysaccharidic extracts

Ganoderma lucidum is one of the most extensively studied mushrooms due to its medicinal properties. Herein, a systematic study was carried out in order to compare the antioxidant activity of phenolic and polysaccharidic extracts from fruiting body, spores and mycelium, obtained in three different culture media, of G. lucidum from Northeast Portugal. Phenolic extracts were characterized using high-performance liquid chromatography coupled to photodiode array detection, while polysaccharidic extracts were hydrolysed and further characterized using HPLC and refraction index detection. In general, the phenolic extracts (Ph) proved to have higher antioxidant potential than their corresponding polysaccharidic extracts (Ps). Amongst phenolic extracts, FB-Ph provided the highest antioxidant activity (EC50 ≤ 0.6 mg/ml) and the highest content in total phenolics (~29 mg GAE/g extract) and phenolic acids (p-hydroxybenzoic and p-coumaric acids). S-Ps was the polysaccharidic extract with the best antioxidant activity (EC50 ≤ 2 mg/ml); nevertheless, the highest levels of total phenolics were obtained in FB-PS (~56 mg GAE/g extract), while the highest levels of total polysaccharides (~14 mg PE/g extract) and individual sugars were observed in mycelia obtained from solid culture media, M-PDA-Ps and M-sMMN-Ps. The free radical scavenging properties, reducing power and lipid peroxidation inhibition of G. lucidum seemed to be correlated with phenolic compounds mostly in a free form, but also linked to polysaccharides.The authors are grateful to Fundação para a Ciência e a Tecnologia (FCT, Portugal) and COMPETE/QREN/UE (research project PTDC/AGR-ALI/110062/2009) for financial support. S.A. Heleno (BD/70304/2010) and L. Barros (BPD/4609/2008) thank to FCT, POPH-QREN and FSE for their grants. The GIP-USAL is financially supported by the Spanish Ministerio de Ciencia e Innovación through the Consolider-Ingenio 2010 Programme (FUN-C-FOOD, CSD2007-00063), and Junta de Castilla y León (Grupo de Investigación de Excelencia, GR133)

Non-monotonic variation with salt concentration of the second virial coefficient in protein solutions

The osmotic virial coefficient $B_2$ of globular protein solutions is calculated as a function of added salt concentration at fixed pH by computer simulations of the ``primitive model''. The salt and counter-ions as well as a discrete charge pattern on the protein surface are explicitly incorporated. For parameters roughly corresponding to lysozyme, we find that $B_2$ first decreases with added salt concentration up to a threshold concentration, then increases to a maximum, and then decreases again upon further raising the ionic strength. Our studies demonstrate that the existence of a discrete charge pattern on the protein surface profoundly influences the effective interactions and that non-linear Poisson Boltzmann and Derjaguin-Landau-Verwey-Overbeek (DLVO) theory fail for large ionic strength. The observed non-monotonicity of $B_2$ is compared to experiments. Implications for protein crystallization are discussed.Comment: 43 pages, including 17 figure