子句集的神经网络归结

给出基于神经网络的归结方法。首先将子句集S表示为δ形式，并且用算子对(⊙， )引入两种类型的神经元；然后用这两种神经元构造子句集S的神经网络结构；而后给出基于子句集的神经网络的归结算法；最后证明了该算法的完备性，并用实例进行了验证。     

光学实验网络课件的设计

实验类教学的网络多媒体课件制作是目前多媒体课件制作中的一个难点，本将介绍光学实验的迈克尔逊干涉仪实验教学的FLASH制作，通过该介绍提出作制作实验类网络教学软件的思路。     

光电混合MESH互连网络的研究

提出一种自由空间空分复用的光学MESH互连网络系统．该光学MESH互连网络系统是由N×4位相型计算全息傅里叶光栅分束器、高速多量子阱空间先调制器SEED器件和高速间接耦合光电探测器列阵组成,具有互连数大、数据通道同步性好、光学硬件少、系统简单等特性．     

On the computational behavior of a polynomial-time network flow algorithm

A variation on the Edmonds-Karp scaling approach to the minimum cost network flow problem is examined. This algorithm, which scales costs rather than right-hand sides, also runs in polynomial time. Large-scale computational experiments indicate that the computational behavior of such scaling algorithms may be much better than had been presumed. Within several distributions of square, dense, capacitated transportation problems, a cost scaling code, SCALE, exhibits linear growth in average execution time with the number of edges, while two network simplex codes, RNET and GNET, exhibit greater than linear growth.Our experiments reveal that median and mean execution times are predictable with surprising accuracy for all of the three codes and all three distributions from which test problems were generated. Moreover, for fixed problem size, individual execution times appear to behave as though they are approximately lognormally distributed with constant variance. The experiments also reveal sensitivity of the parameters in the models, and in the models themselves, to variations in the distribution of problems. This argues for caution in the interpretation of such computational studies beyond the realm in which the computations were performed.This work has been supported in part by NSF grants ENG-7910807, ECS-8313853, DMS-8706133, and DDM-8813054, and by AFOSR, NSF, and ONR under NSF grant DMS-8920550 to Cornell University, and by a Sloan Foundation research fellowship held by the first author.     

Complexity of some parametric integer and network programming problems

Two examples of parametric cost programming problems—one in network programming and one in NP-hard 0-1 programming—are given; in each case, the number of breakpoints in the optimal cost curve is exponential in the square root of the number of variables in the problem. This research is partially supported by the Air Force Office of Scientic Research. Air Force Number AFOSR-78-3646     

On equivalent representations of certain multicommodity networks as single commodity flow problems

Several classes of multicommodity networks have been shown to have the property that they can be transformed to equivalent uncapacitated single commodity flow problems. We show that many of these networks can be further reduced to smaller, semi-capacitated flow problems using the inverse of a result of Ford and Fulkerson. This appears to be a useful computationally-oriented tool for developing practically efficient algorithms. These concepts are also used to establish a generalization of a previous result concerning multicommodity transportation problems.     

引入模拟辅助样本提高BP网络的泛化能力

以2－吲哚醇在20种不同参数固定液上的保留值、19种不同物质在同一固定液上的保留值以及脂肪胺的电谱保留值分别作为网络的训练样本和检验样本，建立了多元线性回归（LR）模型和BP网络模型，并基于LR模型运用随机搜索最优化方法，产生模拟辅助样本并将其引入BP网络训练样本集。预测结果表明，该方法的使用提高了BP网络的泛化能力，对于残缺样本问题的预测研究，提供了一种有效的方法，与线性回归模型及原BP网络模型相比，预测精度有了明显的改善。     

溶胀性能自动检测仪的研制

应用应力传感及计算机技术，研制了网状高分子溶胀性能自动检测仪。该仪灵敏度和精度高，准确性好，可用于研究高分子综合溶胀行为，测定平衡压缩模量，溶胀动力学过程，松弛动力学过程等。     

"高分子化学"网络课件的研制

本课件应用Photoshop8.0处理图片、制作按钮;用Front page2003编辑为静态网页;用Dream weaver MX2004建立链接所需的空白网页。教案采用Power point,其中化学反应方程式采用Chemical word,聚合反应机理采用3DWAX制成三维动画。在界面的设计方面,考虑到了整体布局和用户操作上的方便;在网页中图片使用、颜色搭配得当,版面设计合理,实现了形式与内容的统一。“高分子化学”课程具有化学反应方程式多且冗长、聚合反应机理抽象难以理解等特点。将该课程制成网络课件,以便提高教学质量,达到更好的教学效果。     

Oxidation of methanol at the network film of polyoxometallate-linked ruthenium-stabilized platinum nanoparticles

We explore here the ability of ruthenium hydroxo species to undergo spontaneous deposition on Pt nanoparticles and to form colloidal solutions of oxoruthenium-protected (-stabilized) nanoparticles of Pt. These particles can be spontaneously attracted to carbon substrates, and they form ultrathin self-assembled films. Fabrication of the multilayer network films on electrodes has been achieved by linking the positively charged oxoruthenium-covered Pt clusters with heteropolyanions of tungsten. By repeated alternate treatments in a solution of phosphododecatungstate (PW₁₂O₄₀^3–) and in a colloidal suspension of oxoruthenium-protected (-stabilized) Pt nanoparticles, the film thickness can be increased systematically (layer by layer) to form stable three-dimensional assemblies on carbon electrodes. It is apparent from cyclic voltammetric and chronoamperometric measurements (that were performed at 20 and 60 °C) that the resulting hybrid films show attractive properties towards the oxidation of methanol at fairly low potentials (0.25–0.4 V versus the saturated calomel electrode). With approximately the same loading of oxoruthenium-covered Pt nanoparticles and under analogous conditions, linking or derivatizing the nanoparticles with phosphotungstate leads to the systems higher electrocatalytic activity. It is possible that, in addition to ruthenium hydroxo species, PW₁₂O₄₀^3– exhibits an activating effect on dispersed Pt particles. An alternative explanation may involve the possibility of different morphologies of the catalytic films in the presence and absence of phosphotungstate anions.Dedicated to Zbigniew Galus on the occation of his 70th birthday