【摘 要】
：
本文首先建立了一种具有原因歧义性的(实时)并发系统的形式化模型—具有原因歧义性的(实时)集束事件结构,然后提出了一种对具有原因歧义性的(实时)并发系统进行动作精化的方
论文部分内容阅读
本文首先建立了一种具有原因歧义性的(实时)并发系统的形式化模型—具有原因歧义性的(实时)集束事件结构,然后提出了一种对具有原因歧义性的(实时)并发系统进行动作精化的方法.本文进而证明了本文定义的动作精化操作运行的很好,满足一些公认的好的性质.本文的主要创新体现在:1.建立了具有原因歧义性的并发系统的形式化模型—具有原因歧义性的集束事件结构,并且定义了五类具有原因歧义性的偏序语义;基于这些偏序语义,本文建立了两类重要的等价关系,一类迹等价的变体和一类双模拟等价的变体.2.提出了种对具有原因歧义性的并发系统进行动作精化的方法;并且证明了动作精化操作运行的很好,满足一些公认的好的性质.3.建立了具有原因歧义性的实时并发系统的形式化模型—具有原因歧义性的实时集束事件结构,其中,系统的功能框架采用具有原因歧义性的集束事件结构来建模,时间指标采用一种特殊的灵活的方式嵌入;此外,还采用了一种强有力的方法来处理紧急事件的交互作用.4.提出了一种新的对具有原因歧义性的实时并发系统进行动作精化的方法,对系统的功能和性能的正确性以及同余问题进行分析并得到了一些好的结果.5.给出UML状态图一种基于简单状态图代数语言(SSAL)的并发语义.6.在SSAL语义框架下定义了一种动作精化操作;并且提出了一种方法,把精化操作的结果返回到UML状态图空间中.
其他文献
当前工业设备的精密及复杂化都到达了一个极高的程度，只靠人力已无法对其有效控制，计算机依靠其计算精度及其实效性，在工业控制领域的作用日益凸现。Buck变换器是所有电力变换器的基础，一般作为整机的电源部件出现，其质量对整机的性能有重要的影响，所以对Buck变换器输出精度的要求越来越高。对Buck变换器控制的主要算法尤其是现实应用中的方法大多为线性算法，这些算法有明显的缺点就是对系统参数的要求非常敏感，
近几年来随着电力系统容量和规模的扩大，电网运行状况与系统故障都呈现出复杂性，这种复杂性要求对电网动态过程和继电保护动作行为的分析，必须采用先进、科学的方法与手段，这就对
旅游行业网站具有被访问量大、客户忠诚度不高等特点,而且旅游网站上的旅游产品具有一定的隐藏性和灵活的组合性,这就导致了配置旅游产品困难,网站性能不高等问题。为了解决
本文在工业大数据和PHM的应用背景下,利用数据驱动式的分析流程对数控铣刀磨损的预测性评估方法进行了深入的研究和分析。在研究过程中,本文首先对铣削过程中采集的信号进行
自从被W3C推出以来，XML已经得到了越来越多的应用。在很多传统领域，当使用XML处理数据后都收到了意想不到的效果。论文首先对XML技术的特点、XML与传统技术的区别进行了分析，并
本文采用最小二乘支持向量机(Least Square Support Vector Machines,LSSVM)方法来解决模式识别问题.因为LSSVM只需求解一组线性方程组,内存需求少,学习速度快,并保持了传统S
随着计算机技术的发展，基于构件的软件开发逐渐成为软件开发的主流技术，它为软件的高开发费用、低生产率、不可控制的软件质量和高风险性提供了有效的解决途径。但是基于构件的
本文设计了一个应用于自行火炮武器控制系统中的图像处理系统.对于包含飞行目标的图像,进行图像处理,包括图像的滤波、图像的分割、图像的形态学修正等.首先,使用中值滤波算
本文针对目前研究较热的利用区间分析技术的全局优化方法进行了深入与细致的研究,分析了区间优化方法的优缺点,并针对其缺点提出了混合全局优化方法.主要的工作和贡献有:①充
本文在现有实时系统过载调度技术的基础上,将概率理论与任务调度结合起来,提出基于概率的调度分析方法.其最大优势是可以预测系统在指定时间段内的实时性能,用户能在概率意义