论文部分内容阅读
UML缺乏精确的语义,难以对其所表示的系统进行形式化分析和一致性检验.为了使UML能够更精确地对系统模型进行描述,学者们提出了一些形式化的方法.论文对比分析了用Petri网、时序逻辑XYE/E和动态描述逻辑形式化UML状态图的方法,指出了它们各自的优缺点以及应用领域.
UML状态图形式化方法的分析与比较
【摘 要】
：
UML缺乏精确的语义,难以对其所表示的系统进行形式化分析和一致性检验.为了使UML能够更精确地对系统模型进行描述,学者们提出了一些形式化的方法.论文对比分析了用Petri网、
【机 构】
：
新疆阿克苏地区第一人民医院,国网新疆阿克苏供电公司
【出 处】
：
计算机与数字工程
【发表日期】
：
2014年8期
其他文献
怎样根据语文课的特点,利用教材进行爱国主义教育?第一,在教学中,有目的地通过某些适宜于进行爱国主义教育的课文来感染教育学生,发掘爱国观点的潜在因素,能动地发挥教材中固
简要介绍了Agent与多Agent的相关知识,并以军用通信系统为例,分析了远程分布式故障诊断的系统结构,并提出了一种基于多Agent远程分布式故障诊断模型,对其系统工作流程进行了
文本聚类中,文本特征向量的高维特性使得对样本统计特征的评估十分困难,所以有必要进行有效的维数简约.LLE算法利用线性重构的局部对称性找出高维数据空间中的非线性结构,并
针对基本蚁群算法的搜索时间长和局部收敛等现象,提出一种用于求解旅行商问题（TSP）的优化型蚁群算法,该算法有效地将最大最小蚁群算法（MMAS）和遗传算法（GA）相结合,一方面在很大程度
在西文经济学中，人才被当作一种资源或生产要素来看待。同样，在市场经济条件下发展的中国，也离不开人才的批量涌现。如果没有人才脱颖而出的土壤，也就没有经济的快速发展。
蒙学即启蒙之学。中国古人蒙学主要是指中国的传统语文教育。中国传统的语文教育,大体说来,由三个阶段构成。开头是启蒙阶段,以识字教育为中心;其次是进行初步的读写基础训练
由于校准形式的灵活性，校准活动已经越来越多应用于各种试验设备，校准证书一般不给出合格与否的结论，校准数据是否满足设备技术指标要求或满足实际工作使用要求，则需技术人员依据
南宋词人刘辰翁,对《项羽本纪》中的鸿门宴上的人物描写赞不绝口,称道这段描写“历历如目睹,无毫发渗漉,非十分笔力,模写不出”。节选《项羽本纪》的《鸿门宴》一文,虽篇幅不
70年代以前的很长一段时间内,园艺学家、育种家和广大的蔬菜工作者、生产者都把提高产量作为蔬菜生产和消费领域的中心课题,进行了大量的研究。随着科学技术的进步和经济的发
期刊
关联规则挖掘是数据挖掘研究的重要内容之一。通过对关联规则挖掘算法的详细分析,提出了一种基于有向关联图的频繁项集挖掘算法,该方法仅需扫描数据库一次,避免了Apriori算法