论文部分内容阅读
MAS交互协议的形式化描述和验证
【出 处】
：
计算机研究与发展
【发表日期】
：
2006年z1期
其他文献
请下载后查看，本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view profile.
期刊
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
患者男,58岁。因冠心病、心绞痛于1993年10月11日入院。经用易顺脉、倍他乐可、力平脂等治疗后,心前区疼痛等症状消失,上下四层楼无明显不适,但心电图仍呈缺血型改变,于11月
信息产业是世界经济的重要支柱产业，其发达程度已经成为一个国家或地区综合经济实力和国际竞争能力强弱的重要标志，步入21世纪，世界各国纷纷把信息产业列为战略性新兴产业重点发
20世纪50年代以来，随着工业化的进展，人口的迅速增加，全球环境污染和资源紧张的问题日益凸显。导致"生态危机"逐步加剧，经济增长速度下降，局部地区甚至出现社会动荡，这就迫使人类重