Stability analysis of continuous-time periodic systems via theharmonic analysis

Asymptotic stability of finite-dimensional linear continuous-time periodic (FDLCP) systems is studied by harmonic analysis. It is first shown that stability can be examined with what we call the harmonic Lyapunov equation. Another necessary and sufficient stability criterion is developed via this generalized Lyapunov equation, which reduces the stability test into that of an approximate FDLCP model whose transition matrix can be determined explicitly. By extending the Gerschgorin theorem to linear operators on the linear space l₂, yet another disc-group criterion is derived, which is only sufficient. Stability of the lossy Mathieu equation is analyzed as a numerical example to illustrate the results     

Mechanical stress control in a VLSI-fabrication process: a method for obtaining the relation between stress levels and stress-induced failures

An ideal fabrication process is designed to minimize mechanical stress in semiconductor devices and to improve device reliability. Mechanical stress levels were predicted by in-house simulations supported by a thin-film database. These stress levels were correlated with stress-induced defects by TEM analysis supported by fail bit addressing on matured megabit SRAMs. Amorphous-doped silicon film with various annealing temperatures were used for the gate electrode to change the mechanical stress in devices and to get the direct relationship between predicted stress levels and stress related defects. The authors describe brief guidelines for suppressing dislocations in the small geometry shallow-trench isolation process utilizing this system. Polysilicon thickness in the W-polycide gate electrode is designed to minimize mechanical stress in the gate oxide and to suppress the gate oxide failure in probe and class tests. Moreover, critical stress generates dislocations during post source/drain ion implantation anneal obtained by a ball indentation method. This indicated that lower temperature anneal is effective in suppressing the dislocations. A two-step anneal was introduced to suppress dislocations and to enable higher ion activation.     

ILU factorization well suited to the vector processor using a variant of the 5-point difference scheme

The implementation on the vector processor of Incomplete LU factorization in the Preconditioned Conjugate Gradient method and other Preconditioned CG-like methods for the numerical solutions of the partial differential equations is discussed. For sufficient vectorization, a variant of the standard 5-point difference scheme for 2-dimensional problems is introduced. The convergence property of ILU factorization for this variant is examined in comparison with that vectorized with the usual hyperplane ordering method for the standard 5-point difference scheme on the vector processor. The efficiency and effectiveness of this factorization for the variant of the difference scheme is demonstrated through several computational experiments.     

Evidence that angiotensin II, endothelins and nitric oxide regulate mitogen-activated protein kinase activity in rat aorta

We measured the activity of mitogen-activated protein (MAP) kinases, enzymes believed to be involved in the pathway for cell proliferation, in rat aortic strips with or without endothelium, and examined effects of angiotensin receptor antagonists, endothelin receptor antagonists and nitric oxide (NO)-related agents. Endothelium removal produced an activation of MAP kinase activity in the strips, whereas the enzyme activity was not affected in the adventitia. The MAP kinase activation was inhibited by either the angiotensin AT1 receptor antagonist losartan or the endothelin ETA receptor antagonist BQ 123. The combination of both antagonists caused an additive inhibition. The angiotensin AT2 receptor antagonist PD 123,319 and the endothelin ETB receptor antagonist BQ 788 did not affect the MAP kinase activation. The NO synthase inhibitor NG-nitro-L-arginine methyl ester (L-NAME) caused an activation of MAP kinase in the endothelium-intact aorta and the MAP kinase activation was inhibited by losartan or BQ123. The NO releaser nitroprusside inhibited the MAP kinase activation induced by endothelium removal or angiotensin II. These results suggest that even in isolated arteries, NO of endothelial origin tonically exert MAP kinase-inhibiting effects and endogenous angiotensin II and endothelins in the media are tonically released to cause MAP kinase-stimulating effects in medial smooth muscle.     

Formalization of Shannon’s Theorems

The most fundamental results of information theory are Shannon’s theorems. These theorems express the bounds for (1) reliable data compression and (2) data transmission over a noisy channel. Their proofs are non-trivial but are rarely detailed, even in the introductory literature. This lack of formal foundations is all the more unfortunate that crucial results in computer security rely solely on information theory: this is the so-called “unconditional security”. In this article, we report on the formalization of a library for information theory in the SSReflect extension of the Coq proof-assistant. In particular, we produce the first formal proofs of the source coding theorem, that introduces the entropy as the bound for lossless compression, and of the channel coding theorem, that introduces the capacity as the bound for reliable communication over a noisy channel.     

Activation of a Au/TiO2 Catalyst by Loading a Large Amount of Fe–Oxide: Oxidation of CO Enhanced by H2 and H2O

Catalytic activity of a 1 wt% Au/TiO₂ catalyst is markedly improved by loading a large amount of FeO_x, on which the oxidation of CO in excess H₂ is selectively promoted at temperature lower than 60 °C. Oxidation of CO with O₂ on the FeO_x/Au/TiO₂ catalyst is markedly enhanced by H₂, and H₂O moisture also enhances the oxidation of CO but its effect is not so large as the promotion by H₂. We deduced that activation of Au/TiO₂ catalyst by loading FeO_x is not caused by the size effect of Au particles but a new reaction path via hydroxyl carbonyl intermediate is responsible for the superior activity of the FeO_x/Au/TiO₂ catalyst.     

Studies on syntheses and permeabilities of special polymer membranes

Summary The permeation and separation characteristics of methanol/n-pentanol systems and n-propanol/n-heptane systems through nylon 12 membranes were studied by changing the feed composition of the binary organic mixtures. These characteristics were discussed from the viewpoints of physical and chemical nature of the permeating molecules and the membrane.     

High oleic acid oil suppresses lung tumorigenesis in mice through the modulation of extracellular signal-regulated kinase cascade

This study was undertaken to estimate the effect of dietary high oleic acid oil (OA) on 4-(methylnitrosamino)-1-(3-pyridyl)-1-butanone (NNK)-induced lung tumorigenesis in mice. Diet containing 10% oil was fed to mice through experimental periods. On day 30 after NNK injection (100 mg/kg body weight, i.p.), the treatment increased the level of prostaglandin E₂ (PGE₂) as well as proliferating cell nuclear antigen, a marker of cell proliferation in a high linoleic acid oil (LA)-fed group but not in an OA-fed group. The NNK treatment also induced the activation of an extracellular signal-regulated kinase (Erk) cascade (Erk, Mek and Raf-1) in an LA-fed group. On the other hand, OA feeding abolished the NNK-induced activation of the Erk cascade. In conjugation with these events, OA feeding reduced lung tumor incidence and tumor multiplicity (percentage of mice with tumors) in mice compared with LA feeding at the 20th experimental week. These results suggest that OA suppresses lung tumorigenesis and that this suppression is correlated with the inhibition of PGE₂ production and inactivation of the Erk cascade.     

Synthesis of functional π-conjugated polymers from aromatic acetylenes

Because of their unique structures and properties, π-conjugated polymers have attracted the attention of scientists and engineers. The authors have studied the synthesis of two kinds of π-conjugated poly(aromatic acetylene)s, i.e. poly(arylacetylene)s and poly(aryleneethynylene)s with the aim of obtaining new polymers having novel functions or higher performances. This review mainly concerns the authors' results, as follows: first, we describe the synthesis and properties of achiral poly(arylacetylene)s, containing trimethylsilyl groups, oligodimethylsiloxanyl groups, dendritic groups, and glavinoxyl groups, for application as oxygen permselective membrane materials. Their self-membrane-forming abilities and high oxygen permeabilities are presented. Second, the synthesis by asymmetric-induced polymerization of chiral poly(arylacetylene)s having both a main-chain chirality and chiral pendant groups and their application as optical resolution membranes are described. Third, two new synthetic methods for preparing chiral helical poly(phenylacetylene)s without the coexistence of any other chiral moieties are presented. One is helix-sense-selective addition polymerization and the other is in situ removal of chiral pendant groups from membranes of poly(arylacetylene)s that also contain a main-chain chirality. The chiral helical poly(arylacetylene)s were tested as optical resolution membranes. The chiral and achiral poly(arylacetylene)s were synthesized by addition polymerization using metathesis catalysts or rhodium complexes. Finally, the synthesis of regiospecific poly(aryleneethynylene)s bearing stable radicals by the polycondensation of bromoethynylanthracene derivatives using a Pd(0) complex is described. The magnetization and the static magnetic susceptibility of the polyradicals are explained.