severization

基本解释严格化 S

网络释义

1)severization,严格化 S2)S-lattices,S-格3)S-lattices morphism,S-格同态4)S-lattices congruence,S-格同余5)C/S style,C/S风格6)S-G Formulation,S-G格式

用法和例句

The act of an ordered semigroup on a poset is extended into a lattice ordered semigroup on a lattice;the notion of S-lattices is introduced;and the properties of S-lattices congruence and S-lattices morphism are discussed to develop the representation theorems of lattice ordered semigroups.

将序半群在偏序集上的作用推广到格半群在格上的作用,提出了S-格的定义并讨论了S-格同态和S-格同余的性质,得到了格半群的表示定理。

We also discuss the congruences on S-lattices.

基于序半群的S-系理论,本篇硕士论文将S-偏序集的一些结论推广到了S-定向完备偏序集和S-格上,主要研究了S-定向完备偏序集范畴和S-格同余关系。

The act of an ordered semigroup on a poset is extended into a lattice ordered semigroup on a lattice;the notion of S-lattices is introduced;and the properties of S-lattices congruence and S-lattices morphism are discussed to develop the representation theorems of lattice ordered semigroups.

将序半群在偏序集上的作用推广到格半群在格上的作用,提出了S-格的定义并讨论了S-格同态和S-格同余的性质,得到了格半群的表示定理。

The act of an ordered semigroup on a poset is extended into a lattice ordered semigroup on a lattice;the notion of S-lattices is introduced;and the properties of S-lattices congruence and S-lattices morphism are discussed to develop the representation theorems of lattice ordered semigroups.

将序半群在偏序集上的作用推广到格半群在格上的作用,提出了S-格的定义并讨论了S-格同态和S-格同余的性质,得到了格半群的表示定理。

This paper gives one kind of resolvent of realizing the access control of information security in system design,with the RBAC96 model realized in C/S style software architecture.

本文提出了一种在设计C/S风格系统的软件体系结构时,采用RBAC96模型来实现系统安全中的访问控制问题的解决方法。

Three-Dimensional Generalization of One-Dimensional S-G Formulation;

一维S-G格式的三维应用

The Category of S-dcpos and Congruences on S-lattices

S-定向完备偏序集范畴和S-格同余关系

Bad packaged unit format: %s.%s

错误组件包单元格式: %s.%s

Bad file format: '%s'

错误的文件格式'%s'

Solution of Euler/N-S Equations Using Gridless Methods;

用无网格算法求解Euler/N-S方程

Double-Nucleus Predicate Case-Frame Research of "S+V+R+O;

“S+V+R+O”双核谓词格框架研究

A New Iterative Scheme Based on G-S Iteration Method

基于G—S迭代法的一种新的迭代格式

Meshing Method of Fiber Placement Track for S-Shaped Inlet

S型进气道纤维铺放轨迹网格化生成

Design of S-OGSA-Based Semantic Grid Service Resource

基于S-OGSA的语义网格服务资源的设计

Critical Properties of the S~4 Model on a Type of Hierarchical Lattice

一种等级晶格上S~4模型的临界性质

On the Definition of the Fuzzy Sublattice, (α,β)-intuitionistic Fuzzy Sublattice and (s,t]-intuitionistic Fuzzy Sublattice

关于模糊子格,(α,β)-直觉模糊子格和(s,t]-直觉模糊子格的定义

Generalization about the B-S Model and the Stock Price Model with Lévy Type;

关于B-S模型和Lévy型股票价格模型的推广研究

The Study of Phase Transitions of S~4 Spin Systems on Fractal Lattices;

分形晶格上S~4自旋系统相变问题的研究

On Hemingway s A Day s Wait;

从《A Day s Wait》看海明威的写作风格及语言特色

Evaluation the Price of Deposit Insurance through B-S Option Pricing Model;

用B-S期权定价模型评估存款保险的价格

Exact diagonalization studies of the spin=1/2 Heisenberg Ladder;

严格对角化方法对S=1/2自旋阶梯模型的研究

The Experimental Analysis of Multifractal Characteristics of Stock Prices--Revised R/S Analysis;

股票价格分形特征的实证研究:修正R/S分析

Strictly quadratic dissipative control for continuous T-S fuzzy systems

连续T-S模糊系统的严格二次型耗散控制

An Adaptive Cartesian Grid Method for the Incompressible Navier-Stokes Equations

一种求解N-S方程的自适应直角网格方法

最新行业英语

行业英语