论文部分内容阅读
Towards a Methodology for Formal Design and Analysis of Agent Interaction Protocols--An Investigatio
【出 处】
：
武汉大学自然科学学报（英文版）
【发表日期】
：
2001年2期
其他文献
普洱供电局输电管理所党支部深入开展“科技创新当先锋,践行承诺保安全”特色党支部创建活动,积极开展科技创新,成效显著。3年来,精心呵护着3000多千米输电线路的正常运行;空
介绍了利用单片机8031对提升机减速段实现多点连续速度监控的原理、软件编程和硬件组成。
Introduced the use of single-chip 8031 elevator deceleration section to
隧道掘进出渣新方法ＫｉｒｕｎａＧｏｍｂｉ是一种带有可拆卸的大型Ｕ形车厢的运载车。这种运载车结构紧揍，长９．５ｍ，宽３．６ｍ。配上适用于在隧道中运行的车厢可装载废石３０ｍ３，能在１０．５ｍ宽的隧道中调头。这种车辆能在较小的区域