论文部分内容阅读
用形式化语言Z定义了统一建模语言序列图的严格语义,给出了抽象句法、合式规则及应满足的一致性约束,并通过一个应用实例说明了该形式规范为序列图的语义分析与正确性验证提供了支持.
UML序列图的Z形式规范
【摘 要】
：
用形式化语言Z定义了统一建模语言序列图的严格语义,给出了抽象句法、合式规则及应满足的一致性约束,并通过一个应用实例说明了该形式规范为序列图的语义分析与正确性验证提
【机 构】
：
西安电子科技大学,上海贝尔有限公司
【出 处】
：
西安电子科技大学学报
【发表日期】
：
2002年6期
【基金项目】
：
国家军事预研项目
其他文献
胡锦涛总书记提出的“八荣八耻”，十分明确地划清了我们当今社会是与非、善与恶、美与丑的界限。对我们在日常工作和生活中坚持什么、反对什么、倡导什么、抑制什么，都旗帜鲜明
在新《环境保护法》生效之前,所谓“环境侵权”通常是指《侵权责任法》中环境污染侵权。和世界上大多数国家一样,我国在环境侵权领域适用无过错责任这种严格责任,以便实现对
医药类院校，课程种类多，特别是实验、实习课程多，课程前后接续性强，采用的是学期制日课表。正是由于其特殊性，我们以．NET为平台，结合SQL Server2000后台数据库，利用C#和ASP．Net开发一
地源热泵技术与绿色建筑相结合,是可再生能源技术与绿色建筑理念的交汇,由于绿色建筑具有围护结构热工性能较好,冷热负荷较低等特点,地源热泵技术在绿色建筑中应用可带来更明显的节能效果和环保效益。而近年来,绿色建筑可再生能源系统在实际应用过程中存在盲目技术堆砌现象,由于管理疏忽,运行策略不合理,运行与设计工况差异等一系列原因,部分绿色建筑地源热泵系统存在运行能耗较高,节能效果差,运行成本增加等一系列问题,
<正> 目前,在各高等医学院校物理实验室尚有许多A型超声诊断仪,如何充分发挥其在医学物理实验中的作用,使学生在实验中既掌握超声在医学诊断中的作用,又学会必要的测量方法,
信道编码参数分析,是接收方对编码数据进行逆向分析获取编码参数的过程,在智能通信、信号截获和信息对抗等领域都有重要意义。实际通信中非合作方接收到的数据除了误码之外,
在非协作通信系统中,接收端无法确定发送端使用的信道编码类型和具体参数,而信道编码盲识别技术能够利用接收到的数据序列,在基本不依赖任何先验知识的前提下从中分析出发送端所采用的编码类型和参数,从而为后续破译信息奠定基础。信道编码盲识别技术在智能通信和军事侦查等领域发挥着重要作用,也逐渐成为了现代通信研究领域中的一个热点。LDPC码(Low-Density Parity-Check Code,低密度奇偶
无线传感网络技术在现代物联网系统中已得到了广泛的应用,物联网系统中应用到的无线传感网络技术主要有Zig Bee技术、Bluetooth蓝牙技术、wifi技术等,在众多的无线传感网络技
目的:研发一种拥有自主知识产权的可生物降解肠吻合支架,并探讨提高临床医生自主研发新型手术器械效率的方法。方法:利用SolidWorks软件将设计思路在普通计算机上三维虚拟实现,并生成工程图申报专利,提交厂家生产。结果:工程图符合专利申报、生产要求,样品顺利进入动物实验阶段。结论:临床医生主动学习和利用计算机辅助设计(CAD)软件,进行新型手术器械的自主研发,避免了大量的设计更改,缩短了开发周期,提
密码学中对称加密,各种公钥密码都归结为群的运算,基于此,对右对合广群的i-v Fuzzy性及Fuzzy理想进行了研究,给出了A为右对合广群X的一个i-v Fuzzy集条件下,A是X的一个i-v Fu