静态数据模型的形式化表示

来源 :计算机应用与软件 | 被引量 : 4次 | 上传用户:poiuytrewq444
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文论述了如何将OMT规范中的静态数据模型表示成B AMN中的MACHINE结构。
其他文献
NLN(Nicholl_Lee_Nicholl)裁剪算法的主要思想是通过在裁剪窗口周围划分多个区域来避免对一条直线多次裁剪及求交运算,但是仍存在不必要的求斜率的运算。本文提出依据裁剪线段两端点相对位置来划分窗口区域的方法,减少了求斜率的运算。算法的理论分析和在车载导航地图显示的实践运用都证实,改进是有效的。
结合水利行业目前的现状,本文采用分布式移动地理信息系统的结构框架,对防汛指挥中的移动车辆监控提出了一种基于GSM网络作为无线通讯方式的方案,为实现移动GIS作为尝试。
本文提出了一种基于曲线轮廓汉字的等距晕线效果的生成算法。文中通过分析实现过程中可能出现的异常情况,提出了针对这些异常的修正算法。
Java语言是Internet时代最流行的一种编程语言。然而在当今网络时候、病毒和黑客肆虐,人们对信息安全性的要求越来越高。为满足Java用户日益增长的安全需求。Java的开发商SUN
为了提高教学效果 ,制作课件时经常调用Flash动画 ,文章详细讨论了在Authorware和PowerPoint制作的课件中 ,灵活调用Flash动画的多种方法和技巧。
文章钩沉了关于《离骚》创作年代的不同材料,提出了《离骚》创作于怀王三十年到顷襄王三年的观点。
与传统GIS相比,“基于Web-GIS的城市地下管线系统”利用了Ihternet的优势,实现地下管线统一管理,管线信息共享,跨越时间、空间、行业的隔阂,符合今后GIS的发展方向。本文中,笔者选择组件技术作为构建“基于Web-GIS的城市地下管线系统”的主要技术,提出以Microsoft的COM/ActiveX为技术标准,采用MaInfo公司的GIS组件MapX来构建“基于Web-GIS的城市地下管
目前,弓上颅外动脉粥样硬化性斑块和心脏是被公认的脑栓塞的主要来源,但仍有资料显示近1/3的脑栓塞栓子来源不明,提示着可能存在其他潜在的栓塞来源。随着各种影像学手段的不断普
微核糖核酸(micro ribonucleic acid,microRNA,又称miRNA)是一类广泛存在于真核细胞中的非编码核糖核酸(ribonucleic acid,RNA),在转录后水平调节基因表达,参与生物体生长、
目的 筛选缺血性卒中患者机械通气撤机成功的影响因素。方法 采用前瞻性研究方法,对通过筛查试验和自主呼吸试验并满足撤机标准的30例急性缺血性卒中患者,检测机械通气前及撤机