Induction in linear logic

Linear logic, introduced by Girardet al., has a great power of expression, but no method for induction. This paper proposes a method of induction using knowledge represented by linear logical formulas. In linear logic, the number of propositions is controlled by logical operators. When a background theory and a hypothesis prove an example, the number of propositions on each side must be equivalent.     

The branching point in the petasaccharides viridopentaoses A,B and C

The branching point in the viridopentaoses has been determined by a three step sequence, permethylation/methanolysis/benzoylation, followed by CD measurements, a method which can be scaled down to microgram quantities.     

Coherent transients observed by Stark switching in ruby having narrow optical hole burning

By using the Stark switching technique we observed new coherent transient signals in ruby at low laser intensities, which are unique in solids where T₁ ? T₂. It was confirmed that the existence of narrow optical hole burning before the switching plays an essential role in giving rise to the signals. The effects of the multiple optical hole burning were also observed in the time domain. Assuming the existence of the holes, the signals can well be interpreted by linear system analysis.     

Studies of phase characteristics of various photon echoes with a phase sensitive detection method

Various optical coherent transient signals in ruby have been examined by using an optical phase sensitive detection (PSD) technique. The PSD is performed by comparing the phase of the heterodyne beat signals obtained by the Stark switching technique with that of a local oscillator whose frequency is equal to the heterodyne beat frequency. The optical FID, two-pulse photon echoes, radiation locked echoes and notched echoes have been detected as υ-mode signals with small u-mode signals probably due to the asymmetry of the inhomogeneous broadening. The dependence of the phase of the radiation locked and notched echoes upon the driving pulses is also examined. The experimental results are in good agreement with theoretical predictions based on Bloch equations.     

Layer-by-layer electrodeposition of copper in the presence of o-phenanthroline, caused by a new type of hidden NDR oscillation with the effective electrode surface area as the key variable

Electrochemical deposition of copper (Cu) from aqueous acidic Cu2+ solutions with o-phenanthroline (o-phen) shows both potential and current oscillations, together with a (partially hidden) N-shaped negative differential resistance (N-NDR), indicating that the oscillations are classified into hidden N-NDR (or HN-NDR) oscillations. The color and the surface morphology of Cu deposits oscillate in synchronization with the potential and current oscillations. Microscopic inspection has shown that dense round Cu leaflets, which look gray, grow in the positive side of the potential oscillation or in the high-current state of the current oscillation, whereas thin Cu leaflets, which look black, grow in the opposite-side stages of the potential and current oscillations, thus finally resulting in a layered Cu deposit with the layer thickness of about 5 microm. The appearance of the NDR is explained to be due to adsorption of the reduced form of a [Cu(II)(o-phen)2]2+ complex, which suppresses the Cu electrodeposition. The increase in the effective electrode surface area by growth of thin Cu leaflets, on the other hand, causes a current increase that can hide the NDR. This NDR-hiding mechanism is of a new type and the present oscillation is regarded as a new-type of HN-NDR oscillator.     

Carrier-envelope phase-controlled quantum interference in optical poling

We demonstrate the efficiency of the optical poling process that depends on the CE phase-controlled quantum interference. For the experiment we employed our noncollinear optical parametric amplifier system for the self-stabilization of the CE phase, with the f-to-2f spectral interferometry system to control the CE phase.     

Excitation and decay of the isovector giant monopole resonances via the 208Pb(3He,t p) reaction at 410 MeV

The excitation and subsequent proton decay of the isovector spin-flip giant monopole resonance (IVSGMR) is studied via the 208Pb(3He,t) reaction at 410 MeV. In the inclusive spectrum (60+/-5)% of the non-energy-weighted sum-rule strength for this 2 variant Planck's over 2h omega resonance was found in the region 29相似文献   

Efficient synthesis of 2,4-disubstituted 1,2,4-benzothiadiazin-3-one 1,1-dioxides on solid support

The first solid-phase synthesis of 1,2,4-benzothiadiazin-3-one 1,1-dioxides has been developed. Synthesis of the title compounds was achieved by the reduction of 2-nitrobenzenesulfonamides, followed by cyclization with carbonyldiimidazole. Because 1,2,4-benzothiadiazin-3-one 1,1-dioxides have been known to possess various bioactivities, this method is useful from the viewpoint of new drug discovery. In addition to the excellent purity of the title compounds, a large number of compounds can be synthesized with this method, because this synthesis includes four diversity points.