1.
Relational figure language is one way to express the operation of relational data model.
关系演算语言是表达关系数据模型中的数据操作的1种方式。
2.
Bisimulation Congruence in Robust Ambient Calculus
鲁棒环境演算中的互模拟同余关系
3.
Anmotation for the Proof Axiomatic Independence of Proposotional Calculas;
关于命题演算公理系统独立性证明的注记
4.
Analysis of Calculus Rules on Fuzzy Temporal Relational Algebra
模糊时态数据库关系代数演算规则分析
5.
On Testing Equivalences for Asymmetric and Asynchronous Asymmetric χ-calculus;
非对称与异步非对称χ演算的测试等价关系的研究
6.
The Investigation and Application of the Relationship between the Computer Simulation Courseware and the Material Object Demonstration;
计算机模拟课件与普通物理演示实验关系的探讨与应用
7.
CORRELATIVITY OF ATMOSPHERIC EXTINCTION COEFFICIENT AND REAL-TIME INVERSION COMPUTATION FOR MULTI-WAVELENGTH LASER
多波长激光的大气消光系数相关性及实时反演计算研究
8.
The Operation and Weak Deductive Theorem in FormalDeductive System L~*;
形式演绎系统L~*的运算与弱演绎定理
9.
The Operationand Deductive Theorem in the Formal Deductive System L~*;
形式演绎系统L~*中的运算与演绎定理
10.
3.1.5 Relational operators
3.1.5 关系运算符
11.
The relational operators == and !
关系运算符==和!
12.
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模型原理，包括地表产流子系统演算、地表汇流子系统演算和传输子系统流量演算。
13.
Keywords: genetic algorithms, structural optimization, penalty techniques.
关键词：遗传演算法、构最佳化、罚技术。
14.
Tarski s Definition of Truth in the Calculus of Classes;
塔斯基关于类演算语言的真句子定义
15.
The fractal dimension of the different geotectonic elements was calculated and the relation between the fractal distribution and the damage evolvement was given in this paper.
计算了不同大地构造单元的断裂构造的分形维数，给出了其分形维数与损伤演化的关系。
16.
Research on Pi-calculus-Based Software Architecture Refinement;
基于π演算的软件体系结构求精研究
17.
Formalization of Propositional Calculus Form Systems in Isabelle/HOL;
命题演算形式系统在Isabelle/HOL中的形式化
18.
On the Evolutions and Features of the Inter-Bank Settlement System in Euro Area Based on TARGET System;
论欧元区TARGET清算系统的演进与特征