【摘 要】
:
提出了一种基于扩展UML statecharts的协议一致性测试方法。实时扩展使得UML statecharts可直接描述时间约束,方便进行一致性测试;以FREE(Flattened Regular Expression)模型图为基础生成抽象测试序列,然后根据时间覆盖准则,生成实时测试序列。
论文部分内容阅读
提出了一种基于扩展UML statecharts的协议一致性测试方法。实时扩展使得UML statecharts可直接描述时间约束,方便进行一致性测试;以FREE(Flattened Regular Expression)模型图为基础生成抽象测试序列,然后根据时间覆盖准则,生成实时测试序列。
其他文献
介绍了经典的二分图的匹配算法Ford-Fulkenson,并作了改进,在毕业设计选题系统中进行了应用,能在学生的志愿和老师的要求之间进行自动匹配,使负责选题的工作人员能从冗杂的课题需求中尽量准确的达成匹配,从而提高院校的教学质量。
根据决策规则在实际应用中的匹配思想,对数值型一致决策表提出了一种基于模糊聚类方法的决策表约简方法。该方法在保持决策表一致性的前提下,通过冗余度大小的调整,对具有相同决策的对象进行压缩,从而达到对决策表约简的目的。基于计算相关规则的直接分类法验证结果显示,它是有效和可行的。
在目前的形势下,IPv6取代IPv4是必然的趋势,同时又是一个漫长的过程,在这个过程中,需寻求一种过渡的方法。从协议翻译的角度出发,研究了无状态的IP/ICMP翻译技术(即Stateless IP/ICMP Translation,SIIT)的实现过程,并在基于网络处理器的平台上实现了IPv4和IPv6之间的互通。
针对Web服务组合中动态优化选取问题,设计了支持Web服务组合的Web服务评价模型和一个三层结构组织模型。在充分考虑Web服务之间的接口匹配问题的基础上,提出了一个基于赋权多段图最长路径选择策略的Web服务全局优化选取方法,并提出了动态规划、线性规划以及遗传算法进行Web服务动态优化选取。基于赋权多段图的Web服务优化选取方法,有效解决了Web服务组合中Web服务的接口匹配问题,使Web服务的选取
提出了一种新的基于傅里叶变换的形状上下文描述方法,与以前的形状上下文描述子相比,增加了天然的旋转不变性,同时描述子本身也更加简洁。该傅里叶形状描述子,将全局采样点的分布信息有机地结合到了每个采样点的特征描述中去,从而使代表不同形状的采样点集可以得到准确的鉴别匹配。进一步考虑点集之间仿射变换的代价,从而可以很好地运用到二维形状分类识别问题中去。该方法满足平移、缩放、旋转三个不变性,在形状有遮挡、缺损
针对五元索引结构在编码上的不足,提出了更为紧凑的四元索引结构。基于该结构扩展了SQL语言,根据XML数据的底层结构实现了扩展的SQL运算符,设计了基于SQL语言的XPath优化方案。实验表明,基于四元索引结构的优化方案在性能上有了显著改善。
分析了SIP协议在嵌入式系统中的应用,探讨了SIP如何在嵌入式系统中提供更多服务,从而增强设备间的互操作性、开放性,并根据嵌入式环境的特点,给出了一个简化的嵌入式SIP协议栈的设计以及一个SIP终端系统的实例。
在网络设计中,为了保证网络服务质量,需要对网络节点间的跳数进行限制。同时网络设计还必须考虑一定的抗毁性要求。提出了使用生成树优化算法来求解某些抗毁性网络设计的难题。生成树优化算法较圆满地解决了既有连通度要求又有跳数限制的抗毁性网络设计问题。该算法不仅具有较强的实际应用价值,也对推动抗毁性网络的研究有十分重要的意义。
混沌系统具有对初始条件的极端敏感性,初始条件的微小差异,将导致混沌系统的轨道演化很快变得互不相关,混沌的这种特性能很好地满足密码学的要求。提出了一种新的混沌加密算法模型,它以传统的分组加密思想为基础,把离散的Logistic映射与基于空间混沌的cat映射相结合,实现了对多媒体视频流AVI文件加密,实验表明该算法具有加密复杂度高和抗破译能力强等特点。
在分析现有柔性流程建模方法的基础上,总结柔性流程建模的实现途径。在面向角色的柔性流程建模方法中采用角色类的划分和角色的动态选取和配置,简化流程的构造。同时提出将Agent技术和Services相结合,设计一种面向角色服务的、封装的、分层的和去耦合的建模系统,并讨论了基于服务组合的柔性流程建模的实现方案。