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)     

Numerical analysis of turbulent structure in compound meandering open channel by algebraic Reynolds stress model

The turbulent flow in a compound meandering channel with a rectangular cross section is one of the most complicated turbulent flows, because the flow behaviour is influenced by several kinds of forces, including centrifugal forces, pressure‐driven forces and shear stresses generated by momentum transfer between the main channel and the flood plain. Numerical analysis has been performed for the fully developed turbulent flow in a compound meandering open‐channel flow using an algebraic Reynolds stress model. The boundary‐fitted coordinate system is introduced as a method for coordinate transformation in order to set the boundary conditions along the complicated shape of the meandering open channel. The turbulence model consists of transport equations for turbulent energy and dissipation, in conjunction with an algebraic stress model based on the Reynolds stress transport equations. With reference to the pressure–strain term, we have made use of a modified pressure–strain term. The boundary condition of the fluctuating vertical velocity is set to zero not only for the free surface, but also for computational grid points next to the free surface, because experimental results have shown that the fluctuating vertical velocity approaches zero near the free surface. In order to examine the validity of the present numerical method and the turbulent model, the calculated results are compared with experimental data measured by laser Doppler anemometer. In addition, the compound meandering open channel is clarified somewhat based on the calculated results. As a result of the analysis, the present algebraic Reynolds stress model is shown to be able to reasonably predict the turbulent flow in a compound meandering open channel. Copyright © 2005 John Wiley & Sons, Ltd.     

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     

A posteriori error estimates for a time discrete scheme for a phase-field system of Penrose-Fife type

A time discrete scheme is used to approximate the solution toa phase field system of Penrose–Fife type with a non-conservedorder parameter. An a posteriori error estimate is presentedthat allows the estimation of the difference between continuousand semidiscrete solutions by quantities that can be calculatedfrom the approximation and given data.     

Estimation of growth rate in unidirectionally solidified multicrystalline silicon by the growth-induced striation method

Multicrystalline silicon was grown by unidirectional solidification method using the accelerated crucible rotation technique. The application of the accelerated crucible rotation technique in unidirectional solidification method induced growth striations across the axial direction of the grown crystal. This striation pattern was observed from carbon concentration distribution, obtained by using Fourier transform infrared spectroscopy. The generated striation pattern was found to be weak and discontinuous. Some striations were absent, probably due to back melting, caused during each crucible rotation. From the growth striations and applied time period in crucible rotation, the growth rate was estimated by using Fourier transformation analysis.     

Microstructure dependent dynamic fracture analyses of trabecular bone based on nascent bone atomistic simulations

Trabecular bone fracture is closely related to the trabecular architecture, microdamage accumulation, and bone tissue properties. Primary constituents of trabecular tissue are hydroxyapatite (HA) mineralized type-I collagen fibers. In this research, dynamic fracture in two dimensional (2-D) micrographs of ovine (sheep) trabecular bone is modeled using the mesoscale cohesive finite element method (CFEM). The bone tissue fracture properties are obtained based on the atomistic strength analyses of a type-I collagen + HA interfacial arrangement using molecular dynamics (MD). Analyses show that the presented framework is capable of analyzing the architecture dependent fracture in 2-D micrographs of trabecular bone.     

Stress concentration and effective stiffness of aligned fiber reinforced composite with anisotropic constituents

The paper addresses the problem of calculation of the local stress field and effective elastic properties of a unidirectional fiber reinforced composite with anisotropic constituents. For this aim, the representative unit cell approach has been utilized. The micro geometry of the composite is modeled by a periodic structure with a unit cell containing multiple circular fibers. The number of fibers is sufficient to account for the micro structure statistics of composite. A new method based on the multipole expansion technique is developed to obtain the exact series solution for the micro stress field. The method combines the principle of superposition, technique of complex potentials and some new results in the theory of special functions. A proper choice of potentials and new results for their series expansions allow one to reduce the boundary-value problem for the multiple-connected domain to an ordinary, well-posed set of linear algebraic equations. This reduction provides high numerical efficiency of the developed method. Exact expressions for the components of the effective stiffness tensor have been obtained by analytical averaging of the strain and stress fields.     

Study of the dynamic structure factor of strong glasses

The dynamic structure factors (DSFs) of several strong glasses (SF6, SF10, BK7, SUPRASIL) measured by Brillouin light scattering spectroscopy are reported. Spectra have been collected, at and above room temperature, at two scattering angles, θ=90° and θ=180° corresponding to exchanged wavevector q values ranging from 0.0256 to 0.0448 nm⁻¹. In particular we find that the isotropic spectral lineshapes are in all cases well described by the simple hydrodynamic theory of an amorphous solid. The width of the Brillouin peaks are found to be consistent with the predicted q² dependence at both investigated temperatures. This damping is however found to account only partially for the strong asymmetry of the Brillouin line clearly visible on a logarithmic intensity scale. As a matter of fact there is an excess intensity in the very low frequency plateau underlying the central component. The height of this plateau and hence the entire lineshape is well reproduced if a relaxation process is taken into account in the hydrodynamic equations. Owing to the intense elastic scattering we are able to determine unambiguously only the ratio between amplitude and characteristic time of this process which quantifies the sound dispersion to be of the order of a few percent in all samples. The temperature dependence of the parameters indicates that this relaxation cannot be attributed to thermally activated relaxation phenomena. These general findings favorably compare with molecular dynamics simulation results on similar systems.     

Polymerization of 1,3‐dienes with functional groups. III. Free‐radical polymerization of N,N‐diethyl‐2‐methylene‐3‐butenamide

Free‐radical homo‐ and copolymerization behavior of N,N‐diethyl‐2‐methylene‐3‐butenamide (DEA) was investigated. When the monomer was heated in bulk at 60 °C for 25 h without initiator, rubbery, solid gel was formed by the thermal polymerization. No such reaction was observed when the polymerization was carried out in 2 mol/L of benzene solution with with 1 mol % of azobisisobutyronitrile (AIBN) as an initiator. The polymerization rate (R_p) equation was R_p ∝ [DEA]^1.1[AIBN]^0.51, and the overall activation energy of polymerization was calculated 84.1 kJ/mol. The microstructure of the resulting polymer was exclusively a 1,4‐structure where both 1,4‐E and 1,4‐Z structures were included. From the product analysis of the telomerization with tert‐butylmercaptan as a telogen, the modes of monomer addition were estimated to be both 1,4‐ and 4,1‐addition. The copolymerizations of this monomer with styrene and/or chloroprene as comonomers were also carried out in benzene solution at 60 °C. In the copolymerization with styrene, the monomer reactivity ratios obtained were r₁ = 5.83 and r₂ = 0.05, and the Q and e values were Q = 8.4 and e = 0.33, respectively. © 2004 Wiley Periodicals, Inc. J Polym Sci Part A: Polym Chem 42: 999–1007, 2004