OTIS-RSL串行协议-中文版。 文档描述了远程串行接口协议标准在奥地斯电梯系统中的应用，该文档在使 用远程串行接口协议标准进行通讯的建模过程提供了参考。对于多个模块的标准 接口定义有参考作用，但是获取不了有些专门的模块信息。

OTIS-RSL串行协议-中文版。 文档描述了远程串行接口协议标准在奥地斯电梯系统中的应用，该文档在使 用远程串行接口协议标准进行通讯的建模过程提供了参考。对于多个模块的标准 接口定义有参考作用，但是获取不了有些专门的模块信息。

RLS自适应算法的基本原理、RLS算法性能分析、RLS算法的特点、RLS算法简单应用

Charon Housing是一个开放源代码住房系统，被编写为在Charon环境下用作应用程序，并且针对英国的RSL（LA / HA / ALMO）。 Charon住房系统利用了Charon应用程序环境，该环境在其他地方都有介绍。 Charon Housing的两个关键功能是：它具有超扩展性，因此可以处理成千上万的并发用户，并且它是一个完全多权限的系统。 管理客户端RSL的住房要求的组织需要此第二个功能。 据我所知，没有其他系统具有从设计阶段开始就内置的这些功能。 下一次演示计划于2014年1月进行，但在这里我们已经过了一年，现在还没有发布。 这是由于团队成员个人情况的变化。 该项目仍在进行中，但速度要慢得多。

随着软件形式化方法的不断发展，各种各具特色的形式化方法涌现出来，为了解决在具体的系统开发中如何选取合适的形式化方法，对目前较为流行的几种形式化方法RSL，B，VDM，Z的特点进行对比分析，然后针对不同的软件开发人员和所需开发系统的不同，给出了适合用形式化方法开发的情况和如何选择合适的形式化开发方法。