论文部分内容阅读
采用非形式化到形式化的过程:先用自然语言描述移动Agent,然后用形式语言Z及组件技术来描述移动Agent,并给出一个形式化的基础及移动Agent系统的一个精确高效的开发方法.
移动Agent系统的Z语言形式化描述
【摘 要】
：
采用非形式化到形式化的过程:先用自然语言描述移动Agent,然后用形式语言Z及组件技术来描述移动Agent,并给出一个形式化的基础及移动Agent系统的一个精确高效的开发方法.
【机 构】
：
浙江大学计算机科学与工程系
【出 处】
：
计算机工程
【发表日期】
：
2003年19期
其他文献
给出了一种综合地利用Oracle数据库技术、ActiveX技术、ObjectARX2002、XML中间件技术、统计分析技术实现的PDM图档管理方法。
上期卷首刊出题为“六十，没有病”的短文后，首先是得到洪昭光教授的充分肯定，接下来是老年读者们的热烈反响。包括我岳父母在内的许多老年朋友们在读到这篇短文之前，甚至从未意识到，自己的身体健康和国家的经济发展、民族的生存状态会有那么直接的关系! 六十岁开始的人生第二春，人们大多开始从工作岗位上退休下来，开始回归家庭，回归社会，开始关注自己的健康和生活。殊不知，每个60岁以上的老年人，在其人生的第二春都
简单介绍了嵌入式实时操作系统的板级支撑包的开发,包括概念,开发方式,开发流程,测试方式的介绍.着重介绍了板级支撑包与普通应用软件的区别.
在南非被尊为国父的纳尔逊·曼德拉近日出版了他个人的第二部传记《与自己交谈》。相对于他的第一本自传《漫漫自由路》,这本书中表达的似乎更多是他对自己一生的深刻反省。而给我留下最深印象的是他在书中说的一句必将成为名言的话:我不是圣人! 曼德拉当年是南非一个部落大酋长的长子,是理所当然的酋长继承人。但他“决不愿以酋长身份统治一个受压迫的部族”,而要“以一个战士的名义投身于民族解放事业”。 他因领导反对
整整10年前，我正迷茫于事业和人生交错的十字路口，一位长者送给我一句语重心长的开导：事业要有进取心，生活要有平常心。这淡淡的14个字像一滴甘露点化了枯萎的幼苗，几乎是在瞬间让我找到了清晰、明了的生命坐标。也由此揭开了我追随长者共同为中国大众健康教育和科普传播事业努力耕耘的精彩画卷。 整整10年中，长者用一段段易懂易记而脍炙人口、朴实无华却深蕴哲理的连珠妙语，把健康生活的全新理念传递给中国的百姓。
对网络中的应用程序实施管理和监控已成为网管系统发展之必需.在对SNMP中MIB信息和协议数据单元扩充的基础上,设计并实现了面向应用软件的网络监控系统.文章重点阐述了容错机
由于USB总线的诸多优点,传统的低速外围设备正越来越多地朝着USB总线的方向发展.设计一种低成本的USB协议转换器不仅可以保护大量已有的成熟设计,而且可以在一定程度上适应计
上个世纪末,洪昭光教授提出了他的“新世纪健康新观念”:六十(岁)以前没有病,八十(岁)以前不衰老,轻轻松松一百岁,快快乐乐一辈子!琅琅上口四句话,连幼儿园的孩子都能听懂,但真正能读懂的有多少人却不得而知。从洪教授众多“粉丝”的反馈看,人们对他的“一二三四五、红黄绿白黑”、“三个半小时,三个半分钟”似乎响应更为热烈。就我本人来说,因为距六十岁开始的人生第二春尚有一段时间,对“轻轻松松一百岁”的理解更
在国庆节前召开的第六届昭光健康科普传播论坛上，卫生部原副部长、中华预防医学会会长、中国工程院院士王陇德先生专程到会做主题演讲：科学引领健康，提高生活品质。 这是我第二次现场聆听王部长做健康科普讲座。而他的讲座给我留下最深印象的，就是自始至终贯穿着逻辑严谨、务求实证的科学精神。 比如讲到适量运动是人类健康长寿的四大基石之一，会有人质疑说“千年王八万年龟”的“长寿”秘诀就是静而不动，何以人的生命在于