The Realization of CRC in the Telecontrol Polling Protocol

1、

Show you how to use arm processors to achieve a power conversion statute Serial communications agreement principles and design process.

介绍如何使用ARM处理器实现一个电力规约串口协议转换的原理和设计过程。

互联网摘选

2、

This paper performs process soundness verification and reduction verification using Petri nets' formal foundation characteristic.

利用Petri网的形式化基础特性对过程进行合理性验证和规约验证。

互联网摘选

3、

Algorithmic derivation and automatic generation from specification on PAR platform

PAR平台从规约出发的算法推导与自动生成

互联网摘选

4、

Serial Communication Based on Modbus Protocol with Microsoft Visual Basic

VB下基于Modbus规约的串口通信

互联网摘选

5、

103 protocol adopts TCP combined with UDP.

在以太网的链路中，该规约采用UDP报文与TCP报文相结合。

互联网摘选

6、

Lastly, the communication mode and the communication protocol of the communication system in DAS are discussed. A communication mode based on Internet is given.

最后，论文讨论了配电网通信系统的通信方式和通信规约的选择，提出了一种基于Internet的通信方式。

互联网摘选

7、

Research and Realization of Repository-Specification Based Query Method of Persistent Objects

基于资源库&规约PO查询的研究与实现

互联网摘选

8、

Application of COM technique in protocol transform

COM技术在规约转换软件中的应用

互联网摘选

9、

Technology of COM and implementation principle of its protocol card

COM技术及其规约插件的实现原理

互联网摘选

10、

Formal method B can be used in the whole developing cycle from specifications to implementation by the aid of its tools.

形式化方法B是借助于其辅助工具支持从规约到实现的全过程开发工作。

互联网摘选

11、

A Prototype Translation System from the Specification of Algebraic Language into ML

代数语言规约的ML原型翻译系统

互联网摘选

12、

UML Sequence Diagram is widely used for specifying software scenario.

UML顺序图是广泛使用的场景规约语言。

互联网摘选

13、

Implement Annotations as complementary to "Convention over Configuration" principle ( e.g.in Spring).

将注解作为“规约优于配置”法则的补充（如Spring）

互联网摘选

14、

Object Z notation was used to specify formal specification of object oriented program.

用Object Z语言描述面向对象程序的形式化规约。

互联网摘选

15、

Transformation From UML State Machine to B Formal Specification

UML状态机到B形式化规约的转换

互联网摘选

16、

Formal Method B and Its Program Specification Theory

形式化方法B及其程序规约机理

互联网摘选

17、

Specification and evolution of agent from a perspective of software architecture

基于软件体系结构的Agent规约和演化

互联网摘选

18、

Scenario-Based Analysis and Verification for Web Services Message Flows

面向基于场景规约的Web服务消息流分析与验证

互联网摘选

19、

After receiving the required 60 ratifications, the Court came into being on 1 July 20060

个国家批准该规约后，法院于2002年7月1日成立

互联网摘选

20、

This article introduces communication theory of optical fiber, model based on optical fiber Ethernet and choose of stipulations of an agreement.

本文介绍了光纤的基本原理、基于光纤以太网的集控站网络模型，以及通讯规约的选择。

互联网摘选