Security protocol; process algebra; formal verification; authentication; Objective Caml
安全协议；进程代数；形式化验证；认证性； ObjectiveCaml
The structure of Chinese thesauruses of a large Chinese information retrieval computer system is analyzed and a kind of formal description is presented through strictly inferring by using abstract algebra.
本文根据大型新闻资料计算机检索系统对中文检索语言的具体要求，对中文叙词表结构进行了分析，并以抽象代数为工具进行推导，给出了一种叙词表结构的形式化的描述方式。
In this paper, by studying the load combination algebra system, its formal definition and translation grammar are presented.
本文通过对荷载组合代数系统的研究，给出了其赋值语句形式化的定义和相应的翻译语法，并且由此设计并实现了一个简单、可行的语法制导翻译程序。
At last, the limitations of Web Services are pointed out and the process algebra, a formal method, is proposed as a tool for studying Web Services.
最后提出了Web服务存在的问题和形式化研究方法的思路。
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为模型。该模型基于进程代数，能用严密的代数演算方法验证协议性质。
Specifically, major contributions are as follows: Firstly, a formal architecture description language π ADL is proposed based on process algebra π calculus, to express the structure and behavior of software architecture in a precise and practical way.
基于移动进程代数π演算，提出软件体系结构形式化描述语言πADL，形式化描述软件系统的结构和行为。
In order to support the formal research on task management policy, the concepts of attribute schema and attribute relation were introduced and the fundamental operations for workflow attribute relational algebra were defined.
为支持任务管理策略的形式化研究，引入了属性模式和属性关系等概念，定义了工作流属性关系代数的基本运算。
Using temporal logic and algebra, a formal requirement language was presented and used to describe the formal hierarchy requirements for cryptographic protocols.
采用近世代数和时序逻辑的方法定义了形式化描述语言，并形式化地描述了密码协议的分层安全需求。
The second-order signature is introduced for the formal definition of spatiotemporal query algebra, and the definitions on the logical structure of spatiotemporal database, the type system, as well as the query operations are further presented.
引入了二阶基调用于时空查询代数的形式化定义，给出了时空数据库的逻辑结构定义、类型系统定义以及查询操作定义。
In this paper, formal derivation of the Kalman filter is made on the basis of an elementary knowledge of probability theory and matrix algebra. The structure of this filter formula and its application have also been illustrated through an example of estimating ship's position.
本文用较少的概率论和矩阵代数知识对卡尔曼滤波公式作了形式上的推导，并以船位估计问题为例介绍了滤波公式的结构和它的应用。
The Method of Formal Power Series in Matrix Algebra
形式幂级数方法在矩阵运算中的应用
The formal solution for coefficients of the standard expression of modular algebra in multivalued logic
多值逻辑函数模代数标准展开式系数的公式解
Research on Formal Methods of Web Service Data and Service Composition Based on Process Algebra
基于进程代数的Web服务数据和组合的形式化方法研究
FSP is a kind of process algebra notation that can be used to describe formal specifications of concurrent programs.
FSP是一类描述并发程序形式化规约的进程代数记法。