论文部分内容阅读
在ITCPN（IntervalTimedColoredPetriNets）模型的基础上引入变迁条件函数和变迁数据操作函数，实现对UML状态图中数据计算的建模；利用抑止孤对迁移的优先级进行建模；同时借助抑止弧实现了对UML状态图中子状态之间“或”语义的建模。
基于扩展ITCPN的UML状态图建模
【摘 要】
：
在ITCPN（IntervalTimedColoredPetriNets）模型的基础上引入变迁条件函数和变迁数据操作函数，实现对UML状态图中数据计算的建模；利用抑止孤对迁移的优先级进行建模；同时借助抑止弧
【机 构】
：
上海对外贸易学院商务信息学院,华东理工大学计算机科学与工程系
【出 处】
：
华东理工大学学报：自然科学版
【发表日期】
：
2011年6期
【基金项目】
：
国家自然科学基金（60473055,60773094）,上海市曙光计划（07SG32）,上海市高校“085工程”项目,上海市教委科研创新项目（12ZS170）
其他文献
以Gemini表面活性剂GEM16-6-16为模板剂,乙醇为调控剂,采用共聚或浸渍方法,合成了MgO-SiO2复合材料。分别采用X射线衍射（XRD）、扫描电子显微镜（SEM）、透射电镜（TEM）等方法对该复合
提出了一种基于净图的多模纹理空域隐写分析方法。首先将图片进行切割并按照梯度能量划分成不同的集合;然后对这些集合中的图片用小波镜像滤波器恢复和进行LSB二次攻击,并提取三维净图特征向量;最后通过One-class SVM进行训练,得到多超球体SVM。该方法的优点是训练不需要载密图像,对空域隐写分析有很好的效果,在嵌入率为100%、50%、20%时,平滑组分别有100%、99.73%、66.22%的检
通过维吉尼链霉菌（Streptomyces virginiae）IBL-14对薯蓣皂苷元进行生物转化,得到一系列新的代谢产物;用四唑蓝（MTT）比色法测定薯蓣皂苷元及其衍生物对Hela、Bcap37、KB-3-1、SW1
消隐可增强三维图的立体感和直观性,使图形所表达的物体形状唯一被确定。利用投影图可保留三维模型拓扑关系的特性,针对线框模型提出利用图形在投影变换后线段深度的差值来进行隐藏线的判断,使问题得以简化。通过线段在投影过程中的深度比较,可区分可见线段和不可见线段,利用邻边几何关系补充部分可见线段,结合LISP语言和VB软件生成人机交互系统,使计算机能够实现对立体图的消隐。
在多目标的鲁棒控制系统设计中,使用传统方法通常存在一定的保守性。应用粒子群算法研究多目标的鲁棒控制设计问题,提出了基于多目标粒子群算法H2/H∞鲁棒控制设计方法。数值
针对间歇过程提出了基于小波神经网络的迭代学习优化控制算法,实现产品终点质量指标的控制。小波递归神经网络用于建立提供长期预测的间歇过程模型。由于模型误差以及未知干
研究了控制输入受限情况下不确定系统的滑模控制问题,其中,系统不确定性同时存在于状态矩阵和控制增益矩阵中。首先,利用状态观测器估计不可测状态;然后,在状态估计空间选择一种积分型切换面;最后,设计一个基于状态估计的滑模控制律以保证系统状态轨迹在有限时间内到达指定的切换面,同时利用等价控制律方法给出了滑模动态渐近稳定的充分条件。数值仿真实验验证了本文算法的有效性。