电子政务安全中的三网隔离技术及应用

本文介绍了电子政务中各种业务的安全性要求及相应的安全隔离技术,并结合宁波市电子政务的建设,描述了三网隔离技术的应用。     

Divide and Congruence Applied to η-Bisimulation

We present congruence formats for η- and rooted η-bisimulation equivalence. These formats are derived using a method for decomposing modal formulas in process algebra. To decide whether a process algebra term satisfies a modal formula, one can check whether its subterms satisfy formulas that are obtained by decomposing the original formula. The decomposition uses the structural operational semantics that underlies the process algebra.     

螺杆泵举升性能模糊综合评价

对螺杆泵举升性能的影响因素进行了综合分析，建立了螺杆泵举升性能综合评价的指标体系，并利用模糊数学方法确立了该系统的综合评价模型，将该模型应用于2台GLB500—12型螺杆泵，其评价结果与在实际工作中的产液量和寿命的综合指标基本吻合，从而验证了该方法的正确性，为螺杆泵举升性能的综合评价提供了一种有效方法。     

模糊技术的发展及在相关领域中的应用

本文介绍了模糊技术的发展和现状，以及在相关领域中的应用情况，并且讨论了模糊技术在我国的产业化方向等问题。     

利用模糊评判方法确定张东构造油藏储量计算的可靠程度

张巨河油田张东构造地处大港滩海交接处,海域部分探井少.目前用油藏描述方法计算的探明储量,其落实程度备受关注.储量落实程度的评价是一个多因素综合评判问题,而且这些因素还分属不同层次.模糊综合评判是应用较为广泛的模糊数学方法之一.该方法建立的综合评判涉及三个要素,即因素集、评判集和单因素评判,由此所构造的模糊评判关系是模糊综合评判的基础.本文用该方法对张东构造沙二段油藏的探明储量落实程度作了尝试性评价.     

A design and analysis of objective function-based unsupervised neural networks for fuzzy clustering

Fuzzy clustering has played an important role in solving many problems. In this paper, we design an unsupervised neural network model based on a fuzzy objective function, called OFUNN. The learning rule for the OFUNN model is a result of the formal derivation by the gradient descent method of a fuzzy objective function. The performance of the cluster analysis algorithm is often evaluated by counting the number of crisp clustering errors. However, the number of clustering errors alone is not a reliable and consistent measure for the performance of clustering, especially in the case of input data with fuzzy boundaries. We introduce two measures to evaluate the performance of the fuzzy clustering algorithm. The clustering results on three data sets, Iris data and two artificial data sets, are analyzed using the proposed measures. They show that OFUNN is very competitive in terms of speed and accuracy compared to the fuzzy c-means algorithm.     

逻辑与数据库技术概论

本文对二十余年来人们在逻辑与数据库相结合领域所作的工作进行了归纳总结,并把它们区分为三类:理论和完全关系结构方法,纯理论方法以及理论和不完全关系结构方法。本文简要介绍了这三种方法的基本思想和关键技术,并讨论了它们各自的特点和适用范围。     

EXTENSION OF THE RELATIONAL DATABASE AND ITS ALGEBRA WITH ROUGH SET TECHNIQUES

This paper describes a database model based on the original rough sets theory. Its rough relations permit the representation of a rough set of tuples not definable in terms of the elementary classes, except through use of lower and upper approximations. The rough relational database model also incorporates indiscernibility in the representation and in all the operators of the rough relational algebra. This indiscernibility is based strictly on equivalence classes which must be defined for every attribute domain. There are several obvious applications for which the rough relational database model can more accurately model an enterprise than does the standard relational model. These include systems involving ambiguous, imprecise, or uncertain data. Retrieval over mismatched domains caused by the merging of one or more applications can be facilitated by the use of indiscernibility, and naive system users can achieve greater recall with the rough relational database. In addition, applications inherently “rough” could be more easily implemented and maintained in the rough relational database.     

模糊自适应的高超飞行器控制与干扰

针对具有超大飞行马赫数、超宽飞行包络、飞行环境复杂等特点的高超声速飞行器,提出了基于模糊自适应的高超飞行器高度控制方法,分别设计了高度和速度控制器.针对所设计的控制器,分析了气动干扰力矩、测量噪声、舵机干扰、气动参数不确定性和飞行器模型参数不确定性对飞行器高度控制和速度控制效果的影响,然后又分析了综合考虑以上干扰和不确定性对飞行器高度控制和速度控制效果的影响.仿真结果表明,对各种干扰和不确定性,所设计的控制器速度和高度控制有较好的跟踪性和鲁棒性,达到了满意的效果.     

An institution theory of formal meta-modelling in graphically extended BNF

Meta-modelling plays an important role in model driven software development.In this paper,a graphic extension of BNF (GEBNF) is proposed to define the abstract syntax of graphic modelling languages.Fro...