Automatic continuity of functional calculus;
关于泛函演算的自动连续性
It is proved that the Riesz functional calculus f:x)f(x) is a Lipschitz operator from some A_δ~γinto A,i.
设A是具有单位的复Banach代数,Ω为复平面C上的一个区域,γ是复平面上的任一可求长的封闭曲线且其内部区域ins(γ)Ω,证明了存在A的子集A_δ~γ,使得对于Ω上的任一解析函数f,Riesz函数演算f:xf(x)是从A_δ~γ到A中的Lipschitz映射即f∈L~1(A_δ~γ,A)且其Lipschtiz常数(L_1(f)■M_f(γ)Γ)/(2πδ~2)。
The CCS(Coordinated Control System) of large-scale thermal power plant is a complicated multi-variable control system,for which the reverse-deviation function is studied and designed.
研究了反演算函数在大机组CCS中的设计与实现问题。
Simulation Analysis of SSL3.0 Security Protocol Based on Spi Calculus;
基于Spi演算的SSL3.0安全协议仿真分析
In view ofthe implementation and analysis of the NRDS,two keyproblems of the NRDS,which are mobile diagnosis and group diagnosis,are modeled with calculus and calculus algebra modeling tools,which are highly abstract and well suited to distributed mobile com-putation mode.
针对基于网络的远程监测诊断系统的实现和分析问题,利用了演算以及演算这一高度抽象的适于移动分布计算模式的代数建模工具,完成了基于网络的远程监测诊断系统的两个诊断特征问题:移动诊断和群组诊断的建模。
As a system do describe mobile communication,π-Calculus has an advantage to describe communication between agents.
演算作为一种刻划通信系统的进程演算在刻划Agent间的交互时具有得天独厚的优势。
Mikusinski's operational calculus
米库辛斯基算子演算
Allow me to show you.
让我来演算给你看。
atomic formula in predicate calculus
谓词演算中的原子公式
connective in predicate calculus
谓词演算中的连接词
A Denotational Semantic Description for Safe Ambient Calculus
Ambient演算的一种分层语义
On Inversion and Non-calculation of Four Basic Types of Logical Inference
对逻辑推理四大基础类型的反演算和非演算
The computer performs these calculations with surprising speed.
计算机以惊人的速度完成这些演算。
This paper presents the principles of SWMM model, which consists mainly of three parts, i.e. ground surface rainfall sub-system calculation, overland flow sub-system calculation and storm-sewer flow sub-system calculation.
介绍了SWMM模型原理，包括地表产流子系统演算、地表汇流子系统演算和传输子系统流量演算。
A legitimate expression of the predicate calculus. That is, it is acceptable under the predicate calculus' syntax.
一个合法的谓词演算表达式，即谓词演算语法所允许的公式。
The algorithm used to create this loop free logical topology is the spanning-tree algorithm.
用来建立没有?圈的逻辑拓扑之演算法通常称为扩充树演算法。
On the Computation of End-to-End Delay Bound in Guaranteed Service by Network Calculus
基于网络演算计算保证服务端到端延迟上界
Reasoning system OCRS based on order calculus and its decision algorithm
基于序演算的推理系统OCRS及其判定算法
deductive operation on structured object
结构化事物的演绎运算
a demonstration of the computer's functions
计算机功能的示范表演.
The Operation and Weak Deductive Theorem in FormalDeductive System L~*;
形式演绎系统L~*的运算与弱演绎定理
The Operationand Deductive Theorem in the Formal Deductive System L~*;
形式演绎系统L~*中的运算与演绎定理
Implications of Budget-Practice Evolution to College Budget Management;
预算方法演变给高校预算管理的启示
Parallel Evolutionary Algorithm to TSP Based on Inver-over Operator
基于Inver-over算子的并行TSP演化算法研究