rsl

Analysis and comparison for two formal methods : rsl and Z

两种形式语言：RSL与Z的分析比较

Rsl : a representation language based on Rough Set Theory

RSL：基于RoughSet的表示语言

Research of Protocols Formal Description Technology Based on CSP and RSL

基于CSP和RSL的协议形式化描述技术研究

Described the design ? organization and management of RSL reusable software library .

描述了RSL可复用软件库的设计、组织和管理；

Few studies explored remote synchronous learning ( RSL ) based on network .

很少有探究基于网络的远程同步教学模式（RSL）。

Protocol Formal Description and Verification Method Based on RSL

基于RSL的协议形式化描述与验证方法

This paper discusses the construction of an RSL translator .

本文主要讲述如何构造形式化描述语言RSL的翻译程序。

Research on Formal Description of Protocols Based on RSL

RSL应用于协议形式化描述的研究

However , it was hard to take individual differences into account in RSL mode setting .

然而，在这种学习模式的背景下很难考虑到学生的个体差异。

Specification and refinement relation are defined by the formal language RSL .

使用形式化语言RSL定义MRPI系统的规范和精化关系。

A New Type Heat Treatment Equipment of High Efficiency for Saving Energy & RSL Electrical Stove with Fluidized Particle

节能高效的新型热处理设备&RSL系列流态粒子电炉

The Study of Faceted Classification Scheme of the Specific Domain-Based RSL

基于特定领域构件库系统中刻面分类模式的研究

If the application uses an RSL , you must also deploy the RSL .

如果应用程序使用RSL，你必须也部署RSL。

In this paper , we study the faceted classification scheme of the specific domain-based RSL and abstract some effective principles and methods .

该文主要针对构件的刻面分类技术加以研究，提出了有效的原则和方法，并实际应用到特定领域构件库系统刻面分类模式的制定。

In addition , we extend the CSP model and RSL , giving the translation rules and process from CSP model to RSL .

文中对CSP模型和RSL语言作了时间的扩充，并且给出了从CSP模型到RSL语言的转换步骤及规则。

Using the RAISE Specification Language ( RSL ), a formal model of MRP ⅱ systems is established . An implementation of MRP ⅱ system is then made .

使用RAISE（工业软件工程的严格方法）规范语言，建立了MRPⅡ系统的形式化模型，并且实现了该系统。

In total , it took Mr Webster and his team more than three years to find their company , a prosthetic limb supplier called RSL .

总之，韦伯斯特和他的团队用了3年多的时间找到了他们心仪的公司&假肢供应商RSL。

The analysis of mathematics and mechanism show that this low pass digital filter is very important and effective for determining the secular trend of RSL , and eliminate high frequency impacts .

从数值计算过程、高频扰动机制及实测验潮资料的估算结果来看，低通数字滤波在确定海平面长期变化趋势中，对消除高频扰动的影响是非常重要而有效的。

The ELISA titer of rabbit serum immunized with rSl was 1:32000 , and the protective rate of it in passive immunity test was 100 % .

家兔免疫血清ELISA效价为1：32000。抗rS1血清对小鼠被动的免疫保护率为100%。

The arrangement pattern of the ring structure and mitochondria in rsl / mil and rs2 / mi2 ;

线粒体与环状结构的排列模式：rsl／mil、rs2／mi2；

In the tests of S.mutans impacting on GTF dynamic , the total protein content was increased with the increasing concentration of RSL dental care buccal tablets .

在甜茶护齿含片溶液对变形链球菌GTF活力影响的实验中，随着甜茶护齿含片浓度的升高，S.mutans酶液中总蛋白质的含量也随之增加。

In the aspect of caries prevention , RSL dental care buccal tablets is expected to be a new , inexpensive dental-care products , with a certain economic developmental value .

在龋病防治方面，甜茶护齿含片有望成为一种新型的、廉价的防龋保健品，具有一定的经济开发价值。

The marriage took place in the Anglican Church , Biggera Waters with the reception held in Southport RSL 's Palm Lounge .

结婚仪式在彼格雷·沃特斯安立甘宗教堂举行，然后他们在南港皇家文学社棕榈厅举行了婚宴。

To make sure that the Flash application is small enough to make for a fast download , be sure to make use of the Runtime Shared Library ( RSL ) functionality in the new Flash player .

为了确保Flash应用的尺寸足够小方便下载，记得一定要使用新版本Flash播放器中的运行时共享库（RuntimeSharedLibrary，RSL）。

High frequency components were filtered out from monthly mean time series by the use of Gauss filter which has a reliable technical function , and then linear regression was applied to estimate the secular trends in RSL changes .

并设计了技术性能可靠的高斯滤波器，对月均验潮序列进行低通数字滤波，由低通序列进行一元线性回归分析来确定海平面的变化趋势。

Therefore , the use of remote synchronous learning method may be an alternative to narrow the gap between remote schools and leading schools by sharing mutual teaching resources . The study also provided a critical overview and assessment of RSL .

因此，RSL模式是缩小偏远地区学校与一流学校差距的一种选择。本项研究还提出了对RSL学习模式的关键性概要和评价。

The paper adopts a new RSL ( Formal Description Language ) to describe network protocols with CSP ( Communication Sequential Processes ) model , which is based on process algebra and is able to use strict algebra calculation method to verify the protocol character .

文中用一种新的形式化描述语言RSL来描述网络协议，采用通信顺序进程CSP为模型。该模型基于进程代数，能用严密的代数演算方法验证协议性质。