子句集的神经网络归结

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

L-Fuzzy Domain及其相关性质

基于[5]提出的L-fuzzy拟序集，引入L-fuzzy集关于L-fuzzy偏序的并，当L是完全分配格时L-fuzzy拟序集上的L-fuzzy定向集等概念，在此基础上定义L-fuzzy domain，证明它是通常Domain的模糊推广，并得到若干相关性质。     

集值上鞅的轨道正则性

本文证明了在有限维Ｂａｎａｃｈ空间中，任一闭凸集值鞅（在ｋ－收敛意义下）存在右连左极修正．     

Likely Limit Sets of Feigenbaum''''s Maps and Their Hausdorf f Dimensions

A continuous map from a closed interval into itself is called a Feigenbaum's map if it is a solution of the functional equation f2(λx)=λf(x).In this paper, the likely limit sets of a type of Feigenbaum's maps are studied and their Hausdorff dimensions are estimated.As an application, we prove that for any 0相似文献   

A bijection between ordered trees and 2-Motzkin paths and its many consequences

A new bijection between ordered trees and 2-Motzkin paths is presented, together with its numerous consequences regarding ordered trees as well as other combinatorial structures such as Dyck paths, bushes, {0,1,2}-trees, Schröder paths, RNA secondary structures, noncrossing partitions, Fine paths, and Davenport-Schinzel sequences.RésuméUne nouvelle bijection entre arbres ordonnés et chemins de Motzkin bicolorés est présentée, avec ses nombreuses conséquences en ce qui concerne les arbres ordonnés ainsi que d'autres structures combinatoires telles que chemins de Dyck, buissons, arbres de type {0,1,2}, chemins de Schröder, structures secondaires de type RNA, partitions non croisées, chemins de Fine, et enfin suites de Davenport-Schinzel.     

Set Differential Equations and Flow Invariance

The study of Set Differential Equations is initiated in the metric space of nonempty, compact, convex subsets of , endowed with the Hausdorff metric. The existence of a generalized solution for the associated initial value problems is proved when the function involved does not satisfy any continuity assumptions. Utilizing the ideas of nonsmooth analysis, a proximal aiming condition is employed to investigate the weak and strong invariance for these solutions.     

On the subdifferential of a submodular function

The author recently introduced a concept of a subdifferential of a submodular function defined on a distributive lattice. Each subdifferential is an unbounded polyhedron. In the present paper we determine the set of all the extreme points and rays of each subdifferential and show the relationship between subdifferentials of a submodular function and subdifferentials, in an ordinary sense of convex analysis, of Lovász's extension of the submodular function. Furthermore, for a modular function on a distributive lattice we give an algorithm for determining which subdifferential contains a given vector and finding a nonnegative linear combination of extreme vectors of the subdifferential which expresses the given vector minus the unique extreme point of the subdifferential.     

有序介孔材料在分离科学中的应用

在简要介绍有序介孔材料发展的基础上，重点综述了其在分离科学中作为吸附剂和色谱固定相的应用，并指出了其在应用中所存在的一些问题及今后的发展趋势。     

Two-dimensional ordered arrays of monodisperse silica particles grafted with concentrated polymer brushes

Hybrid particles which have a core of monodisperse silica particle and a shell of well-defined poly(methyl methacrylate) chains end-grafted on the core surface with a surface density as high as 0.8 chains/nm² were prepared by surface-initiated atom transfer radical polymerization of methyl methacrylate with an initiator-fixed silica particle. Monolayers of the hybrid particles were formed at the air-water interface by depositing a defined amount of the particle suspension onto water surface. Transmission electron microscopic and atomic force microscopic observations of these monolayers showed that the hybrid particles formed a two-dimensional hexagonally ordered lattice with a wide controllability of interparticle distance. This lattice structure was utilized as a template for the fabrication of a negatively patterned surface of poly(dimethylsiloxane) elastomer.     

Preparation and characterization of three-dimensionally ordered macroporous styrene/p-methylstyrene syndiotactic copolymer

Three-dimensionally ordered macroporous (3DOM) styrene/p-methylstyrene syndiotactic copolymer (sPMS) with pore size 170 nm were fabricated by means of silica templates using (dbm)₂ Ti(OPh)₂/MAO catalytic system. The resulting materials were characterized by NMR, SEM, GPC and DSC. The results indicated that the 3DOM sPMS were highly syndiotacic, and the pore contraction was approximately 20.6%. Compared with bulk sPMS, 3DOM sPMS possessed the lower number-average molecular weight and broader molecular weight distribution. In terms of DSC results, the bulk sPMS exhibited the lower glass transition temperature than that of 3DOM one.