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.     

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.     

Photoelectrochemical energy conversion system modeled on the photosynthetic process

Photo-excitable electrodes were prepared by incorporating magnesium chlorophyll (MgChl) or manganese chlorophyll (MnChl) into the thin layer of such liquid cyrstals as N-(p-methoxybenzylidene)-p-butylaniline (MBBA) and 4′-heptyl-4-cyanobiphenyl (HCB), being attached to the platinum surface. The MgChl—MBBA electrode gave the positive photo-induced potential shift in an acidic solution. In sharp contrast, the negative photo-induced potential shift was developed by the MnChl—HCB electrode in an alkaline solution. The involvement of a liquid crystal prominently enhanced the photo-response of the immobilized chlorophylls. The photoelectrochemical energy conversion system modeled on the photosynthetic process was assembled by employing the MgChl—MBBA and the MnChl—HCB electrodes as a cathode and an anode, respectively. The photocurrent derived from the system was concluded to result from the decomposition of water, since an evidence for the molecular oxygen evolution at the MnChl—HCB electrode was obtained. Furthermore, the incorporation of β-carotene was found to markedly enhance the stability of the MnChl—HCB electrode.     

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.     

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.     

Molecular motions of non-crystalline poly(aryl ether-ether-ketone) PEEK and influence of elecron beam irradiation

The dynamic mechanical relaxation of non-crystalline poly(aryl ether-ether-ketone) PEEK and the one irradiated with electron beam were studied. The three distinct γ, β, α′ relaxation maxima were observed in unirradiated PEEK from low to high temperature. It was revealed from the study on the irradiation effects that three different molecular processes are overlapped in γ relaxation peak, i.e., molecular motion of water bound to main chain (peak temperature; at ?100°C), local motion of main chain (at ?80°C), and local mode of the aligned and/or oriented moiety (at ?40°C). The β relaxation connected with the glass transition occurred at 150°C and it shifted to higher temperature by irradiation. The α′ relaxation which can be attributed to rearrangement of molecular chain due to crystallization was observed in unirradiated PEEK ～ 180°C and its magnitude decreased with the increase in irradiation dose. This effect indicates the formation of structures inhibiting crystallization such as crosslinking and/or short branching during irradiation. A new relaxation, β′, appeared in the temperature range of 40° to 100°C by irradiation and its magnitude increased with dose. This relaxation was attributed to rearrangement of molecular chain from loosened packing around chain ends, which were introduced into the non-crystalline region by chain scission under irradiation, to more rigid molecular packing, From these observations, we proposed that deterioration in mechanical properties of non-crystalline PEEK by high energy electron beam was brought about not only by chain scission but structural changes such as crosslinking and/or branching in the main chain.     

Novel CO2 Absorbents Using Lithium-Containing Oxide

We have discovered a series of lithium-containing oxides that immediately react with ambient carbon dioxide (CO₂) up to 700°C. The products react and return reversibly to the oxides at a temperatures higher than about 700°C. The absorption capacity surpasses that of other CO₂ absorbents by a factor of 10. Utilizing these absorbents, the possibility of a CO₂ separation system that operates at around 500°C is proposed. It is generally believed that a CO₂ separation process operable at temperatures higher than 500°C has the special benefit of a small energy penalty. Moreover, the absorption also proceeds at ambient temperature in the atmospheric environment. This property offers the possibility of many other applications, such as air cleaners or cartridges. Therefore, we think these materials have the potential to make a valuable contribution to the realization of CO₂ emission control.