代数模型

传统的对密码协议的建模和分析主要包括：代数模型，逻辑模型，逻辑和代数模型，代数和状态转换模型，Petri网模型等。

Conventional Specification and analysis models for protocols can be classified as follows : algebraic models , logical models , logical and algebraic models , algebraic and state transition models , Petri nets models .

针对电力系统实际负荷以及直流系统本身的非线性特性，在微分代数模型的基础上，将M导数、M括号以及MIMO微分代数系统反馈线性化技术运用到交直流并联系统非线性控制器设计中。

The M derivative 、 M bracket and MIMO feedback linearization based on differential algebraic models are introduced to the design of nonlinear controller for parallel AC / DC power system in view of the nonlinearity of power loads and HVDC in real power systems .

一类混杂Petri网的极大代数模型研究

Study on max-plus algebraic model for hybrid Petri nets

GA状态空间的代数模型

An Algebraic Model for State Space of GA

在这篇论文里，我们用两种不同形式的U（2）代数模型描述分子的振动。

In this thesis , we employ two kinds of U ( 2 ) model to molecular vibrations .

湍流模型采用BaldwinLomax代数模型。

Baldwin-Lomax model is adopted for turbulence enclosure .

湍流模拟采用了Baldwin-Lomax代数模型。

The Baldwin - Lomax algebraic model is used for turbulence simulation .

还给出了使用k方程模型求解边界层分离流问题的技术细节与技巧，对计算结果与代数模型结果以及试验结果作了比较。

Besides , The , technical details and skills for solving the problems about boundary layer separation flow using k-equation model are also given . The calculation results are compared with the algebra model results and the experiment results .

本文运用频率域建模法，分别建立了飞机大迎角滚转运动的Fourier变换模型及非线性代数模型，并从数学模型中提取动导数。

The method of modeling in frequency domain is used to establish the Fourier model and nonlinear algebra model of a rolling aircraft model at high angle of attack . The general dynamic derivatives are extracted from these mathematical models .

在对ECC的基础算法进行分析的基础上建立了计算机代数模型及相应的软件体系结构，为算法优化提供了理论依据；

Based on the analysis of the basic algorithms for the ECC , the computer algebraic model and the software architecture are established , thus lay a solid foundation for the algorithm optimization .

极大代数模型的优点在于可对多路由器形成的链路（而不是仅限于单个瓶颈路由器）上的TCP传输进行定量分析，为分析网络环境下的TCP动态行为提供了一条新的途径。

The advantage of this Max-Plus model is that TCP transportation over links containing several routers , not only a single router , can be quantified , therefore provides a promising way to analyze the dynamic behaviors of TCP in a network environment .

以修正的Baldwin-Lomax代数模型模拟湍流流动。

The modified Baldwin Lomax algebraic turbulent model is used to numerically simulate high incidence vortical flows about a tangent ogive cylinder .

该文系统地讨论了无阻尼项和包括阻尼项的电力系统微分代数模型（DAE）发生奇异诱导分岔（SIB）的特点；

The paper discusses the different attributes of singularity induced bifurcation ( SIB ) between power system differential algebraic model ( DAE ) without dissipation term and with .

综合逆压突扩流动和浮力各向异性的流场特征，运用颗粒群理论，引入Shih的Reynolds应力通用本构关系建立了可实现性应力代数模型。

Referring to the specificities of the flow field with anisotropic property , the group theory of particles is used and the general constitutive equation of Reynolds stress proposed by Shih is introduced to build a realizable algebraic stress model .

GASFLOW中代数模型不能较好模拟氢气的质量扩散和动量扩散，氢气的浓度场分布与其他模型的汁算结果间存在较大差异。

The results calculated by algebraic model in GASFLOW have large differences from the others in the simulation of mass diffusion , momentum diffu - sion , and parameter fluctuation .

湍流模型采用修正的Baldwin-Lomax涡粘性代数模型，数值方法空间离散对流项采用显式NND格式，粘性项采用中心差。

The correctional Baldwin-Lomax turbulent model is employed . A NND ( TVD type ) explicit difference scheme with the flux vector splitting for convective terms and centered differencing for viscous terms is used to solve these equations .

应用BaldwinLomax湍流二层代数模型模拟了大攻角时前缘分离涡的形成，旋涡对流及其非定常现象。

By using the Baldwin-Lomax turbulent model , the formation of the leading edge separation bubble , as well as the convection of vortex along the airfoil surface and unsteady phenomena of vortex are simulated at high angle of attack .

湍流模型采用CFD计算中广泛使用的Baldwin-Lomax湍流模型，它是一种代数模型，不增加求解方程的数目，计算量相对较少。

Thus , the high spatial resolution and the correctness of shape and location of the shock in transonic flow were taken into consideration . The Baldwin-Lomax turbulent model was adopted , which is an algebra model , and does not increase the number of equations and easy to solve .

分布式状态机的代数模型及其模型检验算法

Algebraic Model for Distributed State Machine and Its Model Checking Algorithm

指出由于数学求解和物理量可比性的限制，模型一般都采用线性化建模，通常分为代数模型和常微分模型。

It usually uses algebraic model or constant differential model .

缓冲区有限的串行生产线的一种代数模型

An algebraic model for serial production lines with finite buffers

群体交叉分类效应的代数模型及其潜在加工过程

The Algebraic Models and the Underlying Processes of Crossed Categorization

代数模型在分子振动能谱中的应用

Algebraic Methods Applied to Highly Excited Vibrational Spectrum in Molecules

主要研究离散时间序列上的代数模型。

This paper studies algebraic modeling of discrete time series .

面向对象数据库类型继承关系的代数模型

On the Algebraic Model of Inheritance in Object-Oriented Databases

电力系统中微分代数模型的非线性控制

Nonlinear control of differential algebraic model in power systems

空洞探测的代数模型

A model of algebra about detection of a hole

时态对象结构的代数模型

An Algebraic Model of Structure of Temporal Objects

朝永-Rowe理论作为原子核代数模型的基础

Tomonaga - Rowe 's theory as a kind of foundation of algebraic nuclear models

柔性制造系统为一类重要的离散事件系统。本文首先给出了该系统在任意排序、有限缓存器容量和多托盘配置下的极大代数模型；

Based on Max-algebra the model for a kind of discrete event systems is developed .