济钢小板坯连铸机φ360mm拉辊优化改造

为解决小板坯连铸机φ360mm拉辊断颈、断辊问题，对拉辊原设计及现场使用条件进行了分析，将材质由55^#锻钢改为35CrNiMo，辊身与辊颈处改为圆锥台式，同时加大辊颈处过渡圆弧并磨削处理，延长水冷孔通过辊颈圆弧，从而使拉辊寿命由3～4个月延长到10～12个月，减少了事故损失，加快了生产节奏，年直接经济效益达49万元。     

Evaluation codes at singular points of algebraic differential equations

We use the special geometry of singular points of algebraic differential equations on the affine plane over finite fields to study the main features and parameters of error correcting codes giving by evaluating functions at sets of singular points. In particular, one gets new methods to construct codes with designed minimum distance. This work was partially supported by MCyT BFM2001-2251.     

A constructive approach to sequential Nash equilibria

We present a Coq-formalized proof that all non-cooperative, sequential games have a Nash equilibrium point. Our proof methodology follows the style advocated by LCF-style theorem provers, i.e., it is based on inductive definitions and is computational in nature. The proof (i) uses simple computational means, only, (ii) basically is by construction, and (iii) reaches a constructively stronger conclusion than informal efforts. We believe the development is a first as far as formalized game theory goes.     

Automated Theorem Proving in Temporal Logic:T-Resolution

This paper presentes a novel resolution method,T-resolution,based on the first order temporal logic.The primary claim of this method is its soundness and completeness.For this purpose,we construct the corresponding semantic trees and extend Herbrand‘s Theorem.     

On the algebraic formulation of certain geometry statements and mechanical geometry theorem proving

In this paper we analyze the algebraic formulations of certain geometry statements appearing in recent literature related to mechanical geometry theorem proving and give several examples to show that one of these formulations can cause serious problems. We clarify a formulation which is essentially due to W. T. Wu and, in our opinion, is the most satisfactory.This author was supported by NSF Grants DCR-8503498 and CCR-8702108.     

Artificial Neural Network Modeling of Osmotic Dehydration Mass Transfer Kinetics of Fruits

Artificial neural network (ANN) models were developed for the prediction of transient moisture loss (ML) and solid gain (SG) in osmotic dehydration of fruits using process kinetics data from the literature. ANN models for ML and SG were developed based on data over a broad range of operating conditions and ten common processing variables: temperature and concentration of osmotic solution, immersion time, initial water and solid content of the fruit, porosity, surface area, characteristic length, solution-to-fruit mass ratio, and agitation level. The trained models were able to accurately predict the outputs with associated regression coefficients (r) of 0.96 and 0.93, respectively, for ML and SG. These ANN models performed much better than those obtained from linear multivariate regression analysis. The large number of process variables and their wide ranges considered along with their easy implementation in a spreadsheet make them very useful and practical for process design and control.     

Elimination of fictitious penetrating rays from PO and hybridization with AFIM

Physical optics (PO) is an approximation method for high‐frequency scattering and diffraction problems. But PO fields are inaccurate in the shadow region where the source is screened by the scatter. Two key factors of the error for PO are (i) edge diffraction coefficients and (ii) existence of fictitious penetrating rays. The correction with respect to the former has been extensively investigated by many authors using various ray techniques such as GTD, UTD, and UAT. On the other hand, the latter was identified recently by the authors. This paper proposes novel PO‐based calculation procedures termed PO‐AF and PTD‐AF, where PO and Aperture Field Integration Method (AFIM) are merged with the help of special elementary diffraction coefficients. These can uniformly cover the whole angular region and only the error factor (ii) is removed in PO‐AF while both (i) and (ii) are removed in PTD‐AF. The theoretical backgrounds of PO currents are discussed in terms of field equivalence theorem and visualization of EM waves. Next, new methods are proposed and their validity is numerically demonstrated for 2D scattering problems of a strip, a corner reflector, and a cylinder of circular arc. © 2004 Wiley Periodicals, Inc. Electr Eng Jpn, 150(2): 1–10, 2005; Published online in Wiley InterScience ( www.interscience.wiley.com ). DOI 10.1002/eej.20037     

随机过程的一个小波表示定理

得到一类随机过程 xt( E|xt|2 <+∞ )的一个小波表示定理     

Three-dimensional stability analysis of the dam foundation at Baise

It is usually difficult to determine the actual safety factors of rock masses in an ordinary two-dimensional stability analysis if the safety factors of the different cross sections in the rock mass vary significantly. In addition to the actual slope, arch dam abutment, and the actual foundation of a high building, another example is that the different cross sections of the foundation in the monolith of a gravity dam vary significantly, just like the condition at the overflow dam in the Baise project. A three-dimensional stability analysis method based on the upper-bound theorem was employed to solve this problem. The parameters used in the analysis were obtained from geomechanics tests, as well as continuity simulations of the randomly distributed joints. Two failure patterns against sliding are analyzed. One pattern is the foundation slide along deep-seated planes which were determined by calculations. The other pattern is the foundation slide along the planes across the bottom of the high steps in the foundation pit. The results indicate that a special overflow dam monolith can be considered to be safe in case of considering the three dimensional effect. However, a key wall with a depth of 5m must be constructed at the upper side of this monolith in order to ensure the safety of the foundation. Translated from Chinese Journal of Rock Mechanics and Engineering, 2006, 25(3): 533–538 [译自: 岩土力学与工程学报]     

Miniaturization and bandwidth enhancement of a cavity backed circular microstrip patch antenna

The resonant frequency of a circular patch antenna with and without circular cavity is measured. The patch miniaturization in the presence of the cavity is proved. Different methods of reducing resonant frequencies and broadening bandwidth without significantly reducing antenna gain are presented. Capacitively loaded patch and slits on the patch stimulate the patch at lower frequencies and multiple resonances, thus help miniaturization. Finally ferrite loading on the feed probe further increases the bandwidth without significantly reducing the antenna gain. The method is much more improved than that for a resistive loaded patch and a deformed patch. © 2007 Wiley Periodicals, Inc. Int J RF and Microwave CAE, 2007.