Optical properties of ZnO nanocrystals embedded in PMMA

We report in this work the preparation of thin films of ZnO nanocrystals synthesized and dispersed in polymethylmethacrylate using a easy route and deposited in class substrate by spin coating technique. Their structural and optical properties were investigated by X-ray, absorption and photoluminescence spectroscopy. The XRD patterns exhibit sharp peaks at 2θ corresponding to the hexagonal (wurtzite) phase diffraction planes. The optically characterization, exhibit a wide absorption band in the range of the study and a large emission band with three peaks at 481.5, 531.09 and at 671.28 nm.The crystallites radius (R) was estimated by applying the effective mass approximation model and was about 1.8 nm. From measurements of second order susceptibilities using harmonic generation technique at λ=1,064 nm  in picoseconds regime we deduced λ2eff equal to 5.95×10−10  m/V. Obtained λ2eff was four order of magnitude larger compared with ZnO bulk material (2.5 pm/V)

CuO Elaboration and Studies of the Influence of Heat Treatment on the Structural Properties

In the present work we synthesize nano powders of CuO by precipitation method, using CuCl2 as precursor. The obtained powder has undergone a heat treatment annealing 100°C, and 450°C. Structural analysis by X-Ray diffraction, Fourier transform infrared (FTIR) microscopy and scanning electron microscopy (SEM) reveal that CuO nano particles are in nano graphs forms and with improved crystallization at 450°C, annealing temperature as monoclinic crystal lattice structure. The radius of NCs calculated by the Scherrer formula is 12.31 nm

Verifying Safety Properties With the TLA+ Proof System

TLAPS, the TLA+ proof system, is a platform for the development and mechanical verification of TLA+ proofs written in a declarative style requiring little background beyond elementary mathematics. The language supports hierarchical and non-linear proof construction and verification, and it is independent of any verification tool or strategy. A Proof Manager uses backend verifiers such as theorem provers, proof assistants, SMT solvers, and decision procedures to check TLA+ proofs. This paper documents the first public release of TLAPS, distributed with a BSD-like license. It handles almost all the non-temporal part of TLA+ as well as the temporal reasoning needed to prove standard safety properties, in particular invariance and step simulation, but not liveness properties

Optical properties of the ZnSe nanocrystals embedded in PMMA matrix

In this paper we report linear and nonlinear optical properties of the thin films based on nanocrystals ZnSe embedded in centrosymmetric matrix PMMA, deposited by spin coating technique. Absorption and emission spectroscopy are shown respectively a blue shift and a strong band emission near the band gap of bulk material ZnSe, which is tunable with particles size. Blue shift of the absorption edge used to evaluate the average size of nanoparticles by using the E.M.A model. The size of NCs of ZnSe was estimated to 1.98 nm, compared to the exciton Bohr radius of bulk material. We established a strong quantum confinement state for the NCS ZnSe. Using Nd:YAG laser at 1064 nm in picoseconds regime, Second order susceptibilities were measured by SHG technique. The obtained value was four order of magnitude larger compared with the bulk (ZnSe) value

Linear and nonlinear optical properties of the CdSe nanocrystals embedded in PMMA matrix

CdSe nanocrystals (NCs) were prepared using a colloidal solution and dispersed in polymethylmethacrylate (PMMA) matrix. Using spin coating technique, thin films deposited on glass substrates were prepared. Their structural and optical properties were investigated by X-ray diffraction, atomic force microscopy (AFM) and UV-visible absorption, respectively. The absorption spectra of these dispersed NCs exhibit excitonic peaks resulting from the electron-hole coupling transitions. Due to a quantum confinement effect, a blue shift is deduced by comparison of such transition with respect to reported bulk band gap. Assuming a spherical like shape for these NCs, the crystallites radius (R) was estimated by applying the effective mass approximation model and was about 2.92 nm. Such a weak radius value compared to Bohr radius (RB = 5.5 nm) leads to a strong quantum confinement regime. Moreover, the influence of this confinement effect on nonlinear optical (NLO) properties was also studied. Quadratic and cubic NLO properties were investigated by second and third harmonic generation techniques (SHG and THG) with a Q-switched Nd:YAG laser working at 1064 nm fundamental wavelength. The NLO susceptibilities Χ<2>eff, Χ<3>eff were measured to be equal to 2.27.10-10(m/V) and 2.28.10-20(m2/V2), respectively

Phase transition of triangulated spherical surfaces with elastic skeletons

A first-order transition is numerically found in a spherical surface model with skeletons, which are linked to each other at junctions. The shape of the triangulated surfaces is maintained by skeletons, which have a one-dimensional bending elasticity characterized by the bending rigidity $b$, and the surfaces have no two-dimensional bending elasticity except at the junctions. The surfaces swell and become spherical at large $b$ and collapse and crumple at small $b$. These two phases are separated from each other by the first-order transition. Although both of the surfaces and the skeleton are allowed to self-intersect and, hence, phantom, our results indicate a possible phase transition in biological or artificial membranes whose shape is maintained by cytoskeletons.Comment: 15 pages with 10 figure

Phase transition of meshwork models for spherical membranes

We have studied two types of meshwork models by using the canonical Monte Carlo simulation technique. The first meshwork model has elastic junctions, which are composed of vertices, bonds, and triangles, while the second model has rigid junctions, which are hexagonal (or pentagonal) rigid plates. Two-dimensional elasticity is assumed only at the elastic junctions in the first model, and no two-dimensional bending elasticity is assumed in the second model. Both of the meshworks are of spherical topology. We find that both models undergo a first-order collapsing transition between the smooth spherical phase and the collapsed phase. The Hausdorff dimension of the smooth phase is H\simeq 2 in both models as expected. It is also found that H\simeq 2 in the collapsed phase of the second model, and that H is relatively larger than 2 in the collapsed phase of the first model, but it remains in the physical bound, i.e., H<3. Moreover, the first model undergoes a discontinuous surface fluctuation transition at the same transition point as that of the collapsing transition, while the second model undergoes a continuous transition of surface fluctuation. This indicates that the phase structure of the meshwork model is weakly dependent on the elasticity at the junctions.Comment: 21 pages, 12 figure

Isabelle/PIDE as Platform for Educational Tools

The Isabelle/PIDE platform addresses the question whether proof assistants of the LCF family are suitable as technological basis for educational tools. The traditionally strong logical foundations of systems like HOL, Coq, or Isabelle have so far been counter-balanced by somewhat inaccessible interaction via the TTY (or minor variations like the well-known Proof General / Emacs interface). Thus the fundamental question of math education tools with fully-formal background theories has often been answered negatively due to accidental weaknesses of existing proof engines. The idea of "PIDE" (which means "Prover IDE") is to integrate existing provers like Isabelle into a larger environment, that facilitates access by end-users and other tools. We use Scala to expose the proof engine in ML to the JVM world, where many user-interfaces, editor frameworks, and educational tools already exist. This shall ultimately lead to combined mathematical assistants, where the logical engine is in the background, without obstructing the view on applications of formal methods, formalized mathematics, and math education in particular.Comment: In Proceedings THedu'11, arXiv:1202.453

Growth hormone secretory in healthy aged women and men of Tunisian population

With aging, men and women experience multiple hormonal changes, and in particular the activity of the growth hormone (GH)/insulin-like growth factor-I (IGF-I) axis. This perturbation may be involved inaggravations of numerous abnormalities. In 64 healthy elderly, we determined the concentrations of GH in both sexes and its correlation with thyroid-stimulating hormone (TSH), the descriptive data, BMI,electrolytic assessment and some biochemical parameters. Collected data suggest that there was an age-dependent decrease in GH secretion. For TSH, there was a slight increase. The simple regressionanalysis revealed non-significant direct relation between these two hormones. We also found that BMI values were inversely related to the serum concentrations of these hormones. For the lipid metabolism,the positively correlated relation only exists between GH and total-cholesterol, on one hand, and between GH and LDL-cholesterol, on the other. For the other parameters such as glucose and triglycerides as well as HDL-cholesterol, this relation does not exist. For the BMI, this index shows a positively correlated relation with glucose and triglycerides. The electrolytic assessment shows that inmen, phosphorus was positively related to GH. In women, calcium and sodium were positively related to GH. Aging was found to be associated with decreased morning serum GH levels and slightly increased TSH levels in healthy elderly Tunisian population. Reduction of the GH-IGF-I axis in the elderly has important clinical implications. Indeed, this deficiency in GH could contribute to the decline of various functions associated with normal aging

On a class of stationary loops on SO(n) and the existence of multiple twisting solutions to a nonlinear elliptic system subject to a hard incompressibility constraint

For full abstract please refer to http://dx.doi.org/10.1186/s13661-018-1047-