浅谈合情推理的教学

论述了合情推理与逻辑推理的关系、在高等数学教学中渗透合情推理的意义 ,并结合教学实践就通过合情推理引入数学理论 ,探求问题结论 ,探索解题方法作了初步探讨     

Proton conductivity of phosphoric acid derivative of fullerene

The proton conductive property of methano [60] fullerene diphosphoric acid has been investigated under various humidity conditions at the temperature range between 15 and 45 °C. It shows proton conductivity as high as 10⁻² S cm⁻¹ at 25 °C under relative humidity of 95%. Thermal analyses including TG–DTA and thermal desorption mass spectroscopy (TDS) confirm that the compound is thermally stable up to 200 °C. Proton conduction of the compound depends very much on humidity or water content. The logarithmic conductivity at 25 °C is increased linearly with increasing relative humidity. The activation energy (E_a) estimated from the slope of log(σT) vs. 1/T is decreased from 1.08 to 0.52 eV, as the relative humidity is increased from 40% to 75%. The humidity dependence of conductivity is discussed in the light of the observed hydration isotherm.     

Langmuir-Blodgett deposited cadmium gate inverted InP-GaInAs modulation-doped field-effect transistors

We report on the Langmuir-Blodgett film deposition and plasma etching of cadmium distearate on n-Gao.47Ino.53As to form a high-barrier-height Schottky barrier. Using this technique to form the gate electrode, we fabricated a 1?m-gate-length inverted InP-GalnAs modulation-doped field-effect transistor (MODFET) with an extrinsic transconductance of 170mS/mm and a cutoff frequencyfT of 19 GHz.     

Three New Polyoxygenated Steroids from Two Species of the South China Sea Gorgonian Muricella flexuosa and Menella verrucosa Brundin

Three new polyoxygenated steroids, muricesteroid ( 1 ), and menellsteroids A ( 2 ) and B ( 3 ), were isolated from two species of the South China Sea gorgonian Muricella flexuosa and Menella verrucosa Brundin , respectively. The structures of these new compounds were elucidated on the basis of extensive spectroscopic analysis, chemical methods and comparison with known related compounds.     

A finite model property for RMImin

It is proved that the variety of relevant disjunction lattices has the finite embeddability property. It follows that Avron's relevance logic RMI _min has a strong form of the finite model property, so it has a solvable deducibility problem. This strengthens Avron's result that RMI _min is decidable. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Efficient microwave induced direct α-halogenation of carbonyl compounds

A novel and direct method for the synthesis of α-halocarbonyl compounds using sequential treatment of carbonyl compounds with [hydroxy(tosyloxy)iodo]benzene followed by magnesium halides under solvent-free microwave irradiation conditions is described.     

Investigation of the source/drain asymmetric effects due to gate misalignment in planar double-gate MOSFETs

A planar double-gate SOI MOSFET (DG-SOI) with thin channel and thick source/drain (S/D) was successfully fabricated. Using both experimental data and simulation results, the S/D asymmetric effect induced by gate misalignment was studied. For a misaligned DG-SOI, there is gate nonoverlapped region on one side and extra gate overlapped region on the other side. The nonoverlapped region introduces extra series resistance and weakly controlled channel, while the extra overlapped region introduces additional overlap capacitance and gate leakage current. We compared two cases: bottom gate shift to source side (DG/spl I.bar/S) and bottom gate shift to drain side (DG/spl I.bar/D). At the same gate misalignment value, DG/spl I.bar/S resulted in a larger drain-induced barrier lowering effect and smaller overlap capacitance at drain side than DG/spl I.bar/D. Because of reduced drain-side capacitance, the speed of three-stage ring oscillator of DG/spl I.bar/S, with 20% gate misalignment length (L/sub mis/) over gate length (L/sub g/), or L/sub mis//L/sub g/=20%, was faster than that of two-gate aligned DG-SOI.     

Hamiltonian N2‐locally connected claw‐free graphs

A graph G is N₂‐locally connected if for every vertex ν in G, the edges not incident with ν but having at least one end adjacent to ν in G induce a connected graph. In 1990, Ryjá?ek conjectured that every 3‐connected N₂‐locally connected claw‐free graph is Hamiltonian. This conjecture is proved in this note. © 2004 Wiley Periodicals, Inc. J Graph Theory 48: 142–146, 2005     

A Recursive Frequency Estimator Using Linear Prediction and a Kalman-Filter-Based Iterative Algorithm

This paper proposes a new Kalman-filter-based recursive frequency estimator for discrete-time multicomponent sinusoidal signals whose frequencies may be time-varying. The frequency estimator is based on the linear prediction approach and it employs the Kalman filter to track the linear prediction coefficients (LPCs) recursively. Frequencies of the sinusoids can then be computed using the estimated LPCs. Due to the coloredness of the linear prediction error, an iterative algorithm is employed to estimate the covariance matrix of the prediction error and the LPCs alternately in the Kalman filter in order to improve the tracking performance. Simulation results show that the proposed Kalman-filter-based iterative frequency estimator can achieve better tracking results than the conventional recursive least-squares-based estimators.