【摘 要】
：
该文基于Fcielogic_SDL_TTCN_Suite使用规范和描述语言（SDL：speci6cation and Description Language）以及树表结合表示法（TTCN：Tree and Tabular Combined Notation））探讨了协议的形
【机 构】
：
中国人民解放军94362部队94分队
论文部分内容阅读
该文基于Fcielogic_SDL_TTCN_Suite使用规范和描述语言（SDL：speci6cation and Description Language）以及树表结合表示法（TTCN：Tree and Tabular Combined Notation））探讨了协议的形式化描述与一致性验证问题．给出了协议形式化描述与一致性验证的一般方法.
其他文献
目的：探讨剖宫产指征的变化情况,分析影响剖宫产率的因素。方法：回顾性分析1393例剖宫产患者的临床资料。结果2年的剖宫产率为66.7%,其中2010的剖宫产率59.9%,2011产率为72.2%,
通过模拟案例,分析PTN通信技术在高速公路中的应用效果,同时通过与传统的SDH传输设备的对比,从传输带宽、多业务需求及投资成本的角度做出分析。
慢性阻塞性肺疾病（COPD）可存在多种并发症,营养不良是其中之一。营养状况（尤其异常的身体成分）是COPD患者结局的重要的独立决定因素。目前营养筛查与评估的工具有营养风险筛查200
根据水电系统本身的行业特点,提出了一套行之有效的水电系统噪声调查方法,为制定水电系统噪声调查规范提供参考,使嗓声调查工作标准化、制度化、系统化.
摘要：随着城市建设进程的急速加快，高层建筑不断涌现，电梯作为一种自动化运载工具在人民的生活中扮演着越来越重要的角色。因此电梯的安全性能也更加受到人们的重视，电梯有一个轿厢和一个对重，通过钢丝绳将它们连接起来，钢丝绳通过驱动装置（曳引机）的曳引带动，使电梯轿厢和对重在井道内各自的导轨上做垂直往返运动。电梯的安全控制系统主要包含电气控制和机械控制两个方面。 关键词：安全；控制；智能 中图分类号：
数字媒体及动漫产业发展如火如荼，对职业教育的相关课程教育提出了新的挑战。该文就动画设计基础教学的现状进行了分析和探讨，并对如何提高其教学质量进行了深入的思考。
利用模糊数学的综合评价理论以及聚类分析法则，对劳动卫生边缘学科进行研究与探讨，具有较高的实用价值，评价效果较直观，方法简便，是一种较有前任的评价手段。
该文针对当前突发性公共卫生事件防治工作的迫切需求,采用WebGIS技术开发了预警预测系统,利用GIS的较强的地理信息表现能力,将卫生状况的属性数据反映在地图当中,以便于进行可视化分析查询,从而快速做出相应决策。文中根据开发实例详细介绍了数据库的访问方法和空间数据与属性数据的关联。
摘要:构件编程的目标是希望软件能够像积木一样轻松组装,这就需要构件模块做到高内聚低耦合,而将模块放在不同进程和用不同语言实现是实现高内聚低耦合的有效手段。因此,要实现构件编程,首先要解决对象的跨进程和跨语言调用。该文在Elastos构件编程的基础上提出了一种新的对象调用模型,使得不同进程、不同语言间的对象可以相互调用,并用测试数据证明了这种调用模型的可信性和高效性。 关键词:Elastos;对象
婴幼儿脏泻是由一组多病原、多因素引起的以大便次数增多、大便性状改变为特点的消化道综合征，是婴幼儿最为常见的疾病之一。