A finite model property for RMImin

It is proved that the variety of relevant disjunction lattices has the finite embeddability property. It follows that Avron's relevance logic RMI _min has a strong form of the finite model property, so it has a solvable deducibility problem. This strengthens Avron's result that RMI _min is decidable. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

A MODEL OF TROPICAL MARINE RESERVE‐FISHERY LINKAGES

ABSTRACT. The excessive and unsustainable exploitation of our marine resources has led to the promotion of marine reserves as a fisheries management tool. Marine reserves, areas in which fishing is restricted or prohibited, can offer opportunities for the recovery of exploited stock and fishery enhancement. In this paper we examine the contribution of fully protected tropical marine reserves to fishery enhancement by modeling marine reserve‐fishery linkages. The consequences of reserve establishment on the long‐run equilibrium fish biomass and fishery catch levels are evaluated. In contrast to earlier models this study highlights the roles of both adult (and juvenile) fish migration and larval dispersal between the reserve and fishing grounds by employing a spawner‐recruit model. Uniform larval dispersal, uniform larval retention and complete larval retention combined with zero, moderate and high fish migration scenarios are analyzed in turn. The numerical simulations are based on Mombasa Marine National Park, Kenya, a fully protected coral reef marine reserve comprising approximately 30% of former fishing grounds. Simulation results suggest that the establishment of a fully protected marine reserve will always lead to an increase in total fish biomass. If the fishery is moderately to heavily exploited, total fishery catch will be greater with the reserve in all scenarios of fish and larval movement. If the fishery faces low levels of exploitation, catches can be optimized without a reserve but with controlled fishing effort. With high fish migration from the reserve, catches are optimized with the reserve. The optimal area of the marine reserve depends on the exploitation rate in the neighboring fishing grounds. For example, if exploitation is maintained at 40%, the ‘optimal’ reserve size would be 10%. If the rate increases to 50%, then the reserve needs to be 30% of the management area in order to maximize catches. However, even in lower exploitation fisheries (below 40%), a small reserve (up to 20%) provides significantly higher gains in fish biomass than losses in catch. Marine reserves are a valuable fisheries management tool. To achieve maximum fishery benefits they should be complemented by fishing effort controls.     

A classical no-interaction theorem for bosonic strings and its quantum significance

We show that, in dimensions equal or greater than three, classical strings do not join or split. This is part of a no-interaction theorem that is also proved. The quantum theory is considered.     

Investigation of multicomponent fluoride optical materials in the UV spectral region: I. Single crystals of Ca1−x R xF2+x (R = Sc, Y, La, Yb, Lu) solid solutions

Crystalline materials that are transparent in the vacuum UV spectral region and currently used have been reviewed. Transmission of crystals of solid solutions with the fluorite structure Ca_1?x R _xF_2+x (R = Sc, Y, La, Yb, Lu) in the UV and vacuum UV spectral regions has been investigated. It is shown that application of different methods of purification of fluorides from some impurities can significantly improve the optical quality of fluoride multicomponent crystals in the short-wavelength spectral region.     

Hamiltonian N2‐locally connected claw‐free graphs

A graph G is N₂‐locally connected if for every vertex ν in G, the edges not incident with ν but having at least one end adjacent to ν in G induce a connected graph. In 1990, Ryjá?ek conjectured that every 3‐connected N₂‐locally connected claw‐free graph is Hamiltonian. This conjecture is proved in this note. © 2004 Wiley Periodicals, Inc. J Graph Theory 48: 142–146, 2005     

Crystallization and morphology of poly(vinylidene fluoride)/poly(3‐hydroxybutyrate) blends. I. Spherulitic morphology and growth by polarized microscopy

The development of the poly(3‐hydroxybutyrate) (PHB) morphology in the presence of already existent poly(vinylidene fluoride) (PVDF) spherulites was studied by two‐stage solidification with two separate crystallization temperatures. PVDF formed irregular dendrites at lower temperatures and regular, banded spherulites at elevated temperatures. The transition temperature of the spherulitic morphology from dendrites to regular, banded spherulites increased with increasing PVDF content. A remarkable amount of PHB was included in the PVDF dendrites, whereas PHB was rejected into the remaining melt from the banded spherulites. When PVDF crystallized as banded spherulites, PHB could consequently crystallize only around them, if at all. In contrast, PHB crystallized with a common growth front, starting from a defined site in the interfibrillar regions of volume‐filling PVDF dendrites. It formed by itself dendritic spherulites that included a large number of PVDF spherulites. For blends with a PHB content of more than 80 wt %, for which the PVDF dendrites were not volume‐filling, PHB first formed regular spherulites. Their growth started from outside the PVDF dendrites but could later interpenetrate them, and this made their own morphology dendritic. These PHB spherulites melted stepwise because the lamellae inside the PVDF dendrites melted at a lower temperature than those from outside. This reflected the regularity of the two fractions of the lamellae because that of those inside the dendrites of PVDF was controlled by the intraspherulitic order of PVDF, whereas that from outside was only controlled by the temperature and the melt composition. The described morphologies developed without mutual nucleating efficiency of the components. © 2003 Wiley Periodicals, Inc. J Polym Sci Part B: Polym Phys 41: 873–882, 2003     

Crystallographic report: catena‐Aqua(2,2′‐bipyrimidine)lithium(I) perchlorate

A lithium(I) coordination polymer has been formed from LiClO₄ and the 2,2′‐bipyrimidine (bpym) ligand in which each square pyramidal lithium(I) atom is coordinated in the basal plane by four nitrogen donor atoms derived from two bpym ligands and one water molecule at the apical position. These are connected into a layer structure via hydrogen‐bonding interactions involving the perchlorate anions. Copyright © 2004 John Wiley & Sons, Ltd.     

A model study for the steady state error of numerical approximations of inviscid flow equations on Cartesian grid

The widely used locally adaptive Cartesian grid methods involve a series of abruptly refined interfaces. In this paper we consider the influence of the refined interfaces on the steady state errors for second‐order three‐point difference approximations of flow equations. Since the various characteristic components of the Euler equations should behave similarly on such grids with regard to refinement‐induced errors, it is sufficient enough to conduct the analysis on a scalar model problem. The error we consider is a global error, different to local truncation error, and reflects the interaction between multiple interfaces. The steady state error will be compared to the errors on smooth refinement grids and on uniform grids. The conclusion seems to support the numerical findings of Yamaleev and Carpenter (J. Comput. Phys. 2002; 181: 280–316) that refinement does not necessarily reduce the numerical error. Copyright © 2005 John Wiley & Sons, Ltd.     

Synthesis and characterization of a polyfluorene containing carbazole and oxadiazole dipolar pendent groups and its application to electroluminescent devices

We have synthesized a blue‐light‐emitting polyfluorene (PF) derivative ( PF‐CBZ‐OXD ) that presents bulky hole‐transporting carbazole and electron‐transporting oxadiazole pendent groups functionalized at the C‐9 positions of alternating fluorene units. The results from photoluminescence and electrochemical measurements indicate that both the side chains and the PF main chain retain their own electronic characteristics in the copolymer. An electroluminescent device incorporating this polymer as the emitting layer was turned on at 4.5 V; it exhibited a stable blue emission with a maximum external quantum efficiency of 1.1%. Moreover, we doped PF‐CBZ‐OXD and its analogue PF‐TPA‐OXD with a red‐light‐emitting iridium phosphor for use as components of phosphorescent red‐light emitters to investigate the effect of the host's HOMO energy level on the degree of charge trapping and on the electrophosphorescent efficiency. We found that spectral overlap and individual energy level matching between the host and guest were both crucial features affecting the performance of the electroluminescence devices. Atomic force microscopy measurements indicated that the dipolar nature of PF‐CBZ‐OXD , in contrast to the general nonpolarity of polydialkylfluorenes, provided a stabilizing environment that allowed homogeneous dispersion of the polar iridium triplet dopant. © 2007 Wiley Periodicals, Inc. J Polym Sci Part A: Polym Chem 45: 2925–2937, 2007