一阶形式系统K~*及其完备性

模糊命题演算的形式系统L＊已经在模糊逻辑与模糊推理的结合研究中得到了成功的应用.本文考虑与系统L＊相应的一阶逻辑理论,建立了一阶形式系统K＊,并证明了这个系统的完备性.     

模糊关系矩阵传递闭包的Warshall算法

通过对照关系的传递闭包和模糊关系的传递闭包，把求关系矩阵的传递闭包的算法完整地推广到模糊关系矩阵上。     

Tomographic reconstruction using heuristic Monte Carlo methods

A tomographic reconstruction method based on Monte Carlo random searching guided by the information contained in the projections of radiographed objects is presented. In order to solve the optimization problem, a multiscale algorithm is proposed to reduce computation. The reconstruction is performed in a coarse-to-fine multigrid scale that initializes each resolution level with the reconstruction of the previous coarser level, which substantially improves the performance. The method was applied to a real case reconstructing the internal structure of a small metallic object with internal components, showing excellent results.     

A new stochastic method of reconstructing porous media

We present a new stochastic method of reconstructing porous medium from limited morphological information obtained from two-dimensional micro- images of real porous medium. The method is similar to simulated annealing method in the capability of reconstructing both isotropic and anisotropic structures of multi-phase but differs from the latter in that voxels for exchange are not selected completely randomly as their neighborhood will also be checked and this new method is much simpler to implement and program. We applied it to reconstruct real sandstone utilizing morphological information contained in porosity, two-point probability function and linear-path function. Good agreement of those references verifies our developed method’s powerful capability. The existing isolated regions of both pore phase and matrix phase do quite minor harm to their good connectivity. The lattice Boltzmann method (LBM) is used to compute the permeability of the reconstructed system and the results show its good isotropy and conductivity. However, due to the disadvantage of this method that the connectivity of the reconstructed system’s pore space will decrease when porosity becomes small, we suggest the porosity of the system to be reconstructed be no less than 0.2 to ensure its connectivity and conductivity.     

On I-fuzzy topologies derived from a decreasing family of I-topologies

The aim of this paper is to study I-fuzzy topologies (fuzzy topologies in ostak's sense) derived from decreasing families of I-topologies (fuzzy topologies in Chang's sense), defined on a set X.     

基于CAPPFramework的CAPP系统的开发与应用

在国家863CIMS目标产品CAPPFramework系统的基础上，研究了面向对象的信息建模技术、信息模型驱动的所见即所得工艺设计技术、工作流技术．并在此基础上进行集成化、智能化计算机辅助工艺设计(CAPP)的应用与开发，实现了工艺设计的自动化，基本达到了在信息集成基础上的工艺设计与工艺信息管理一体化的目的，对企业的CAPP实施具有一定的参考价值．     

Blind Channel Identification Based on Noisy Observation by Stochastic Approximation Method

A stochastic approximation algorithm for estimating multichannel coefficients is proposed, and the estimate is proved to converge to the true parameters a.s. up-to a constant scaling factor. The estimate is updated after receiving each new observation, so the output data need not be collected in advance. The input signal is allowed to be dependent and the observation is allowed to be corrupted by noise, but no noise statistics are used in the estimation algorithm.     

有限循环群的Fuzzy子群的等价类数

有限循环群G的F子群可以有无数个．但是．若当两个F子群的水平集构成的集合相等就称其等价的话，那么其等价类数是有限的。通过研究群的合成群列、商群列以及数的因数列和极大因数列找出了有限循环群的极大F子群和F子群的等价类数的求解公式．并给出二者之间的关系式．     

Demand variability and incentives in inventory-based contracts

We present some results on the impact of demand variability on stocking policies and incentives to forecast, in the context of single period inventory-based contracts in a manufacturer-retailer channel.