UM L顺序图的形式化定义与特性分析

以统一建模语言(UML,Unified Modeling Language)规范为基础,给出UML顺序图及组合顺序图的形式化定义;并在此基础上,详细讨论了UML顺序图中对象的消息发送特性和消息接收特性,给出了发送消息集合和接收消息集合的形式化定义;同时进一步分析了对象消息发送和接收之间的一致性问题;最后,通过实例分析,对UML顺序图的特性作进一步的解释.该形式化定义与特性分析为基于UML顺序图的模型转换和模型验证提供了必要的前提条件,也为基于UML顺序图的测试用例的自动生成奠定了基础.UML顺序图的形式化描述可用于对软件结构的理解和构造可视化建模工具.     

探月工程嫦娥二号任务圆满成功

<正>由嫦娥二号卫星拍摄的分辨率达到米级的月面虹湾局部影像图11月8日精彩亮相。该影像图的传回标志着嫦娥二号任务所确定的工程目标全部实现,科学目标也正在陆续实现,探月工程二     

肯索里努斯影像图

肯索里努斯影像图是由嫦娥二号探测器上的CCD立体相机获得的。CCD相机采用线阵推扫的方式获取图像,轨道高度约100km,每一轨的月面幅宽43km,像元分辨率7m。     

研究Ramsey问题的计算机方法

本文阐述了一个构造Ｒａｍｓｅｙ图的算法，它可以作为寻找Ｒａｍｓｅｙ数的一个辅助工具，算法采用回溯方法，搜索极大独立集组成的堆栈。并给出了寻找Ｒａｍｓｅｙ数的一种具体的步骤。     

电力部门图形处理系统的设计与实现

在研究背景的基础上，结合电力图的特点，讨论了以电气图符为核心的图形处理系统的设计与实现，解决了其中的一些关键性技术问题。     

计算机分析加快了波纹喇叭设计

当波纹喇叭天线的张角、轴长和直径给出后,利用写成BASIC语言的计算机程序可以很快地预知天线辐射方向图。     

大比例尺地图图幅编号的计算

根据飞行任务和航行情报工作的需要,在需使用大比例尺地图时,必须知道所在地点大比例尺地图的图幅编号。为迅速、准确地算出大比例尺地图的图幅编号,本文介绍了一种运用公式计算的新方法。计算结果,经验证无误。