Structural changes of SiC under electron-beam irradiation: Temperature dependence

Electron-beam-irradiation effects on silicon carbide (SiC) was investigated as a function of the irradiated temperatures. Single crystalline 6H-SiC was irradiated with 300 kV electrons at temperatures ranging from −170 to 250 °C. It was found that amorphous SiC is induced at −170 °C and room temperature, while crystalline Si is formed at 250 °C with a high electron fluence. It is considered that preferential knock-on displacement of C atoms and damage recovery play an important role in the formation of the amorphous SiC and crystalline Si.     

Computational dynamics method for evaluating the mobility of charged biomolecules passing through the electrical potential field within the ion selective channel on an excitable membrane

A mathematical method is introduced to characterize the electrokinetic behavior (electrophoresis) of a biomolecular particle which passes through a specific channel pore on an excitable biological membrane. The basic approach was first proposed by Booth (1950). The system was described by an equation of continuity and an equation of motion in which the driving force involves the diffusion effect, the hydrostatic pressure, and the electrostatic potential. By assuming linear relations between the velocity and the applied electrical field, solutions for the potential, pressure, and velocity were given by a series expansion of the charges on the particle. To examine the influence of ions surrounding the particle and forming an ionic cloud, the Debye–Huckel parameter was introduced. As the thickness of the double layer around the particle increased, the potential, velocity, pressure, and viscosity were changed significantly. The maximum influence was obtained when the radius of the particle became equal to the thickness of the double layer. Although this theory is valid for a charged, spherical, nonconducting particle only, the method is available for evaluating the kinetic behavior of a biomolecule that passes through a channel pore on a cellular membrane.This work was presented, in part, at the 8th International Symposium on Artificial Life and Robotics, Oita, Japan, January 24–26, 2003     

Axioms for Recursion in Call-by-Value

We propose an axiomatization of fixpoint operators in typed call-by-value programming languages, and give its justifications in two ways. First, it is shown to be sound and complete for the notion of uniform T-fixpoint operators of Simpson and Plotkin. Second, the axioms precisely account for Filinski's fixpoint operator derived from an iterator (infinite loop constructor) in the presence of first-class continuations, provided that we define the uniformity principle on such an iterator via a notion of effect-freeness (centrality). We then explain how these two results are related in terms of the underlying categorical structures.     

Program transformation system based on generalized partial computation

Generalized Partial Computation (GPC) is a program transformation method utilizing partial information about input data, abstract data types of auxiliary functions and the logical structure of a source program. GPC uses both an inference engine such as a theorem prover and a classical partial evaluator to optimize programs. Therefore, GPC is more powerful than classical partial evaluators but harder to implement and control. We have implemented an experimental GPC system called WSDFU (Waseda Simplify-Distribute-Fold-Unfold). This paper demonstrates the power of the program transformation system as well as its theorem prover and discusses some future works. Yoshihiko Futamura, Ph.D.: He is Professor of Department of Information and Computer Science and the director of the Institute for Software Production Technology (ISPT) of Waseda University. He received his BS in mathematics from Hokkaido University in 1965, MS in applied mathematics from Harvard University in 1972 and Ph.D. degree from Hokkaido University in 1985. He joined Hitachi Central Research Laboratory in 1965 and moved to Waseda University in 1991. He was a visiting professor of Uppsala University from 1985 to 1986 and a visiting scholar of Harvard University from 1988 to 1989. Automatic generation of computer programs and programming methodology are his main research fields. He is the inventor of the Futamura Projections in partial evaluation and ISO8631 PAD (Problem Analysis Diagram). Zenjiro Konishi: He is a visiting lecturer of Institute for Software Production Technology, Waseda University. He received his M. Sc. degree in mathematics from Waseda University in 1995. His research interests include automated theorem proving. He received JSSST Takahashi Award in 2001. He is a member of JSSST and IPSJ. Robert Glück, Ph.D., Habil.: He is an Associate Professor of Computer Science at the University of Copenhagen. He received his Ph.D. and Habilitation (venia docendi) from the Vienna University of Technology in 1991 and 1997. He was research assistant at the City University of New York and received twice the Erwin-Schrodinger-Fellowship of the Austrian Science Foundation (FWF). After being an Invited Fellow of the Japan Society for the Promotion of Science (JSPS), he is now funded by the PRESTO21 program for basic research of the Japan Science and Technology Corporation (JST) and located at Waseda University in Tokyo. His main research interests are advanced programming languages, theory and practice of program transformation, and metaprogramming.     

Short-term hemodynamic effects of mibefradil in dogs with chronic heart failure: comparison with diltiazem

Despite the marked vasodilator and antiischemic actions of existing calcium channel blockers, their use in the treatment of patients with chronic heart failure (HF) remains highly controversial. We compared the short-term hemodynamic effects of i.v. mibefradil, a predominant T-type calcium channel blocker with only partial L-type calcium channel antagonism, and diltiazem, a selective L-type calcium channel antagonist in dogs with chronic HF. Each of three drugs namely, mibefradil, diltiazem and normal saline (as placebo control), were studied in random order (6 days between each drug intervention), in each of 8 dogs with chronic HF produced by multiple intracoronary microembolizations. Intravenous mibefradil and diltiazem were administered as a 100 micrograms/kg bolus followed by a continuous infusion of 6 and 4 micrograms/kg/min, respectively, for 15 min. Equal volumes of normal saline were administered in an identical fashion. In all instances, hemodynamics were obtained at base line and at 5, 10, 15, 30 and 60 min after bolus drug administration. Left ventriculograms were obtained at baseline, and at 15 and 60 min after bolus drug administration. Saline infusion had no effects on hemodynamic or angiographic indexes of left ventricular (LV) function. At 15 min, mibefradil caused significant increases of LV stroke volume and LV ejection fraction compared to baseline (40 +/- 5 vs. 31 +/- 3 ml, P < .05 and 41 +/- 1 vs. 28 +/- 1%, P < .05, respectively). In contrast, at 15 min, diltiazem produced no significant changes of LV stroke volume or ejection fraction compared to baseline despite reducing mean aortic pressure to the same extent as mibefradil. Short-term i.v. mibefradil improves LV function in dogs with chronic HF. The beneficial effects of mibefradil compared to diltiazem may be a consequence of T-type calcium channel selectivity resulting in a vasodilatory response that is free of negative inotropy.     

Cytotoxic 2,3-secoaromadendrane-type sesquiterpenoids from the liverwort Plagiochila ovalifolia

The ether extract of the Japanese liverwort, Plagiochila ovalifolia Mitt. (Plagiochilaceae) yielded three 2,3-secoaromadendrane-type sesquiterpenoids, plagiochiline-A-15-yl octanoate, 14-hydroxyplagiochiline-A-15-yl 2E,4E-dodecadienoate and 14-hydroxyplagiochiline-A-15-yl 2E,4E,8Z-tetradecatrienoate. The two latter compounds were first isolated from the Plagiochila species. The structures of the new compounds were elucidated by spectroscopy. Plagiochiline-A-15-yl octanoate and 14-hydroxyplagiochiline-A-15-yl 2E,4E-dodecadienoate showed significant cytotoxicity against P-388 murine leukemia tumor cells, both compounds exhibiting an ID50 of 0.05 microgram/ml. Plagiochiline A also showed cytotoxic activity. The ID50 was 3.0 micrograms/ml.     

Self-assembly of a silica-surfactant nanocomposite in a porous alumina membrane

A mesoporous membrane composed of nanochannels with a uniform diameter has a potential use for precise size-exclusive separation of molecules. Here, we report a novel method to form a hybrid membrane composed of silica-surfactant nanocomposite and a porous alumina membrane, by which size-selective transport of molecules across the membrane becomes possible. The nanocomposite formed inside each columnar alumina pore was an assembly of surfactant-templated silica-nanochannels with a channel diameter of 3.4 nm; the channel direction being predominantly oriented along the wall of the columnar alumina pore. Molecules could be transported across the membrane including the silica-surfactant nanocomposite with a capability of nanometre-order size-exclusive separation. Our proposed membrane system has a potential use not only for separation science, but also catalysis and chip technologies.     

Construction of 144, 565 keV and 5.0 MeV monoenergetic neutron calibration fields at JAERI

Monoenergetic neutron calibration fields of 144, 565 keV and 5.0 MeV have been developed at the Facility of Radiation Standards of JAERI using a 4 MV Pelletron accelerator. The 7Li(p,n)7Be and 2H(d,n)3He reactions are employed for neutron production. The neutron energy was measured by the time-of-flight method with a liquid scintillation detector and calculated with the MCNP-ANT code. A long counter is employed as a neutron monitor because of the flat response. The monitor is set up where the influence of inscattered neutrons from devices and their supporting materials at a calibration point is as small as possible. The calibration coefficients from the monitor counts to the neutron fluence at a calibration point were obtained from the reference fluence measured with the transfer instrument of the primary standard laboratory (AIST), a 24.13 cm phi Bonner sphere counter. The traceability of the fields to AIST was established through the calibration.     

Novel gene assay by probe-regulated simultaneous separation using capillary electrophoresis (CE-PRESS)

A novel methodology, a probe-regulated simultaneous separation using capillary electrophoresis (CE-PRESS), was developed for simultaneous assay of multiple genes. The single-stranded (ss) DNA-polymer conjugate-probes were placed in a capillary, and then a mixture of target ssDNAs was injected. These ssDNAs were hybridized with corresponding complementary ssDNA-polymer conjugate-probes after charging the capillary. Two resulting double-stranded (ds) complexes of ssDNAs and ssDNA-polymer conjugate-probes were detected at different migration times. We found that the electrophoretic mobilities of two ssDNA-poly(acrylamide) conjugate-probes [-(5'-GCCACCAGC-3')m-AAm(n)- and -(5'-ACCTTCACT-3')p-AAm(q)-; AAm, acrylamide] obtained by copolymerizing 5'-methacryloyl-modified ssDNA and AAm were different, depending on their molar fraction of ssDNA, although the ssDNAs chain lengths were the same. Two ssDNAs (5'-GCTGGTGGC-3' and 5'-AGTGAAGGT-3') having the same chain length were successfully separated with our novel system, although the separation of these ssDNAs is impossible in conventional capillary electrophoresis systems.     

Profile structure of magnetic flux lines in type-II superconductor from a rectangular electron hologram

Profile magnetic configuration of a quantized flux line and flux-line lattice penetrating a type-II superconductor thin foil, niobium, was observed by electron holography and Lorentz microscopy using a 300 kV field-emission electron microscope. Each single flux line was distributed periodically as lattice structure in the mixed state just below its critical temperature of 8.5 K, while at low temperature of 5 K the flux lines were weakly bound as bundles. In order to observe the flux-line distribution over a wide area, discrete Fourier transform reconstruction in the holography was extended for a rectangular area without loss of information and data precision.