论文部分内容阅读
采用统一建模语言UML进行系统建模的过程中，模型一致性的建立和维护是正确建模的必要前提。在UML模型的基础上对模型一致性问题进行了分析，给出了一致性问题的分类及模型一致性产生的原因。在此基础上进行模型一致性研究，并提出了关于模型一致性问题的解决方案和思路。
基于UML模型的一致性研究
【摘 要】
：
采用统一建模语言UML进行系统建模的过程中，模型一致性的建立和维护是正确建模的必要前提。在UML模型的基础上对模型一致性问题进行了分析，给出了一致性问题的分类及模型一致性
【机 构】
：
武汉工程大学计算机学院
【出 处】
：
软件导刊
【发表日期】
：
2009年4期
其他文献
孕妇，27岁，G1P0。孕30周常规围产期检查。超声显示：单胎，头位，双顶径84mm，颅骨光环完整，颅内结构清晰，无异常，脊柱纵切见胸椎，腰椎连接处后凸（图1），且纵切沿直线探测脊柱两平行强回声光带
本文对山西综合调控中心的结构和功能进行了阐述。介绍了各子系统在山西综合调控中心的实现方法及整体集成方式。山西综合调控中心主要包括以下系统：主用SCADA系统调度中心，备用SCADA系统调动中心，全线ESD系统，远程诊断、维护系统，电子计量系统，综合报警管理系统，地理信息系统，企业信息平台，管道模拟仿真系统，大屏幕显示系统，工业电视监控系统，高清视频会议系统，光纤通讯系统，卫星通讯系统，网络系统，V
信息技术的迅速发展使得计算机支持的协作学习（CSCL）逐渐成为网络学习的一种重要形式。在对CSCL的内涵、特点探讨的基础上,阐述基于CSCL的网络教育模式的特色和优势,以及可能存
随着人们对移动自组网(ad hoc网络)研究的深入,服务质量(QoS)已经成为了当前的研究热点之一。为了在adhoc特殊的网络中提供对QoS的支持,必须设计一种针对流的高效的接纳控制算法。通过分析无线信道的特点,提出了估算本地可用带宽和流可用带宽的方法,同时对流的带宽耗费进行了推导,解决了实现接纳控制必须解决的关键问题,提出了一种基于QoS的分布式接纳控制算法。仿真实验证明,接纳控制算法应用到传统
本文介绍了一种使用边沿检测来识别智能车赛道起跑线的方法,详细地对起跑线的特征以及智能车经过起跑线的情况进行分析,论述了起跑线边沿检测法的实现步骤,并讨论了如何进一步提高起跑线边沿检测法准确性的问题。
随着国民经济的快速发展，各种工况对高压差的流动要求越来越多。调节阀作为一种节流装置，当压差较高时，流速往往较高，对节流处的冲击相对也大。若使用普通阀门，极有可能使阀门的振
患者，女性，63岁，因腹痛，腹胀伴恶心，呕吐2d，肛门停止排气排便1d就诊。体格检查：腹部略膨、隆，全腹压痛，尤以上腹部及右下腹痛为重，无反跳痛及肌紧张，肠鸣音存在。血常规：白细胞16.5×
为解决当前单一的弯曲/伸展辅助运动的软体康复手套不能提供手部完整的运动动作支持,对脑卒中后肌张力异常导致的手部运动障碍康复效果欠佳,设计了一种新的纤维强化并联腔道
目的 与病理结果对照，探讨正常妊娠胎盘内绒毛血管树的三维能量多普勒超声显像特征。方法 用三维能量多普勒超声显示20～39周32例正常单胎妊娠胎盘内绒毛血管树分支。分娩结束后