论文部分内容阅读
LOTOS形式规范的目标实现是协议设计中必不可少的阶段之.该文对基于LOTOS的形式描述规范的实现方法进行了研究,包括目标实现环境的特点、实现中的空白因素、抽象模型到实现模型的转换、规范的最终目标实现,并对如何将LOTOS规范转换为C、C++语言实现进行了探讨.
基于LOTOS形式规范的目标实现
【摘 要】
：
LOTOS形式规范的目标实现是协议设计中必不可少的阶段之.该文对基于LOTOS的形式描述规范的实现方法进行了研究,包括目标实现环境的特点、实现中的空白因素、抽象模型到实现模
【机 构】
：
兰州理工大学电信工程学院
【出 处】
：
计算机工程
【发表日期】
：
2005年12期
【基金项目】
：
甘肃省自然科学基金
其他文献
2010年11月《美国临床生物学》杂志发表克伦茨教授的研究结果显示:新生儿的出生季节对今后的身高有影响,其原因可能与产前维生素D的营养状况有关。许多研究已经报告,新生儿的
摘要：公证权本身不同于行政权,又有别于司法权,其身份"准公权"的特性要求应设立不同于行政和司法体制的独有体制。现行的公证体制有悖于公证的自身特性,已滋生了种种弊端,因此对其改革已是势在必行。 关键词：公证权 性质 公证体制 改革 一、公证的性质探讨 公证顾名思义就是“公权作证”或“以国家名义证明”。公证的产生,是国家权力顺应社会的发展,介入市民、社会经济和社会效益的产
农业是国民经济的基础，而农业产业化又是提高农村经济发展的有效途径，是在市场经济条件下农村经济进一步深化改革和发展的必然选择。本文通过对我国农村金融支持体系现状的研究
本文根据系统辨识理论，在比较深入分析三维视觉系统观测特性的基础上，提出了一种优化该系统数学模型的非线性迭代算法。实际测试结果表明，视觉系统的测量精度仅低于视觉传感器分辨率的０．２％，且在整个测量空间，其精度基本一致。
中图分类号：D9 文献标识码：A 文章编号：1008-925X(2012)06-0061-02 摘要：夫妻忠诚协议是指夫妻双方于婚前或者婚后协商一致，共同约定双方相互忠诚，互相尊重，其中一方若违反忠诚协议，无过错方有权向过错方要求一定的惩罚。但对此种协议的效力缺乏明确的法
恢复体型几乎是所有新妈妈都会面临的问题。时刻准备站在聚光灯底下的明星们,对脸蛋与身材都非常挑剔,尤其是生产过后的明星妈妈,她们产后比任何人都要着急瘦身,那么她们又是
提出一种动态性神经网络集成方法,该方法针对若干不同的神经网络,采用加权最近邻技术收集它们的泛化误差信息构成性能矩阵,在此基础上动态选择泛化误差较小的神经网络,经过动
讨论了将粒子信息存入神经网络的机制,以加速网络训练,提高清晰度,提出了语言权重的GNN及语言算法规则.GNN比标准BP网络需要少训练时间来学习已知问题,同时知识的表示更易于
现在分布式系统中调度组件包含了预测主机负载的算法.根据这些算法得出的结果,可以看出预测的区间长度会直接影响调度结果.为此,设计了一个模拟试验,获得了预测区间长度与调
针对目前多媒体远程教学及实时监控系统大部分是信息单向传输,缺乏用户间的多媒体信息实时交互功能及多媒体数据存储海量的弊端,文章提供了一种用JMF的数据克隆、数据轨道控制、流媒体的存储及传输等技术来实现网络音、视频数据双向传输及由用户选择和控制将音视频数据以MOV文件格式存储到本地硬盘的方案,并介绍了实现方法。系统软、硬件成本低,且数据量小,易于网络传输和存储。