从Scenarios到状态图的算法分析

来源 :计算机应用研究 | 被引量 : 1次 | 上传用户:pzpsxf
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
采用Scenarios进行需求建模能够反映从用户角度观察到的系统的行为,状态图是系统行为的精确描述。从Scenario到状态图的自动转换是指软件开发过程中从UML需求模型自动生成行为模型的过程,其研究对于细化系统行为,保持开发过程中模型间的一致性有重要意义。对其研究现状及进展进行了介绍,并对现有算法进行了总结和分类,进一步指出这些算法的不足和今后需要改进的方向。
其他文献
提出一种新型无中心的门限代理签名方案,该方案能够有效地抵抗合谋攻击和原始签名人的伪造攻击,同时由于在新方案中只使用一次密钥分享,能极大提高方案的运行效率。
缓冲区溢出漏洞是软件系统中存在的最普遍的安全漏洞之一。各种防护措施大大增加了缓冲区溢出攻击利用的难度,但是它们没有从根本上解决问题,攻击者利用各种手段仍可使攻击成功。从攻击者的角度出发,总结了近年来缓冲区溢出漏洞攻击利用技术发展的情况,主要对溢出后突破防护措施的shellcode技术进行了详细介绍和分析。
探索一种利用交换式网络环境下的Sniffer技术配合交换机远程判断、排除故障的技术。迅速有效处理大型网络的故障,特别是校园网。
在对图像各位平面间游程数变化的分析基础上,提出了一种基于位平面游程变化的隐秘分析方法。采用多元回归模型,对图像LSB位平面的原始参数进行估计和比较,实现待检测图像中是否含有隐藏信息的检测。实验结果表明,该方法通用性强,具有良好的检测率。
重点分析和研究了基于WS-Federation的W eb服务跨域单点登录认证机制的实现原理和过程,并讨论了其安全问题。
应用本体理论和方法研究了企业信息分类编码方法。针对企业的特定领域内的信息资源进行概念收集、关系分析、层次划分、统一标志、OWL描述,最终实例化本体生成需要的信息编码以及领域本体。结果表明,在信息分类编码中使用本体理论和方法可以使编码过程更加科学化,使信息编码更好地面向信息集成,是一种效果良好的新方法。
定义了一类新的图形——升降梯图L3m+n+1,给出了它的优美标号,并证明了它是优美的。
首先概述了现有两种主要的信任模型以及其存在的问题,然后结合不确定概率理论和普适计算的特点,提出了普适环境下一种新的信任模型———基于属性凭证的信任模型。最后给出了它在实际中的应用。
通过引入Tsallis熵,提出了一种新的彩色图像边缘检测方法。该方法首先将彩色图像从RGB空间转换到YCbCr空间,分别求出三个子空间中像素在3×3邻域内的最大边缘强度值;然后采用Tsallis熵求取每一个子空间的最佳边缘强度阈值对亮度子空间Y和颜色信息子空间Cb、Cr分别进行边缘提取,最后将三个子空间中获取的边缘点进行融合,从而完成整幅图像的边缘检测。实验结果表明,与采用Shannon熵的边缘检
运动平台上低信噪比序列图像中的目标跟踪面临着两大困难:平台运动导致图像存在全局平移,使得目标在相邻帧间脱离跟踪算法搜索窗;图像中的干扰使得跟踪窗口经常跳动而导致跟踪失败。鉴于QP_TR信任域算法的优良性能,针对上述两个问题提出了一种新的基于QP_TR信任域和Kalman滤波的跟踪算法。该算法利用QP_TR进行图像稳定和模板匹配,通过Kalman滤波器状态估计滤除干扰。与三步搜索方法相比,加大了搜索