【摘 要】
：
为了在开发分布式系统的过程中帮助设计者优化和验证系统,提出一种基于层次结构图形化描述方法,利用精确的数学模型描述其分布与并发行为:嵌入离散事件(DE)模型的有限自动机模型(FSM)描述软件模块内各进程间的并发及状态转换,定义基于层次图的双外推(DPO)变换建模系统拓扑结构的迁移。格件系统的描述表明该分层描述方法有效地刻画了分布式系统的并发和分布特性,为分布式系统开发提供了新的设计框架和可视化模拟方
【机 构】
：
华南理工大学计算机系统研究所,广东警官学院计算机系
【基金项目】
：
国家自然科学基金资助项目（61070015）,广东省自然科学基金团队项目（10351806001000000）
论文部分内容阅读
为了在开发分布式系统的过程中帮助设计者优化和验证系统,提出一种基于层次结构图形化描述方法,利用精确的数学模型描述其分布与并发行为:嵌入离散事件(DE)模型的有限自动机模型(FSM)描述软件模块内各进程间的并发及状态转换,定义基于层次图的双外推(DPO)变换建模系统拓扑结构的迁移。格件系统的描述表明该分层描述方法有效地刻画了分布式系统的并发和分布特性,为分布式系统开发提供了新的设计框架和可视化模拟方法。
其他文献
学前教育专业认证是为保证幼儿园未来教师达到相应的教育要求,由相关的机构和学前教育方面的专家对学前教育专业质量进行控制的过程。学前教育专业认证面临人才培养目标趋同
当前,教师教书育人能力的提升还存在诸多现实困境亟待解决,学习精力投入不足、培训流于形式以及教师自身内驱力不足等问题仍然严重制约着教师自身育人能力的发展。工作场所学
对中国共产党革命精神的认同状况一定程度反映出新时代大学生的世界观、人生观和价值观,也体现出这一群体的家国情怀和使命担当。以宁波5所民办高校部分大学生为调查对象,通
混合式教学课程中,经常因学生的自主学习不足,导致教学效果较差。针对这个问题,首先,将教师和学生在混合式教学课程学习评价体系中的关系建立为博弈模型,利用学生学习时对于
本文以2018年全国金融与证券投资模拟实训大赛数据为样本,实证研究发现:在大盘下跌的过程中,女生总体在模拟投资中的收益率平均值明显高于男生,说明学生非常需要密切贴近市场
加强大学生社会责任担当意识培育是新时代中国特色社会主义人才培养的迫切要求,是高校思想政治教育重要课题,对国家发展与社会进步具有十分重要的意义。马克思主义相关经典论
依据高速铁路信号传输的特点，提出了基于干扰对齐的高铁无线宽带接入系统。该系统车载两套双天线设备，可以同时支持两个双天线用户无线接入，而接收端可以分离有用信号与干扰信号
针对背景差分法中的鬼影扰乱运动目标检测与跟踪问题,提出目标相似性度量的鬼影抑制方法。首先分析间隔帧中目标的直方图分布和像素变化率,依此判断目标相似度并检测鬼影;然后提出面向鬼影对象的背景模型更新方法,快速校正鬼影背景,抑制鬼影再出现。实验结果表明,该方法克服了自适应背景方法的检测灵敏度低和运动属性方法消耗高的缺点,能够快速准确地抑制鬼影。
针对可信软件可靠性定性评估问题,将云模型理论与GB/T16260中软件可靠性度量指标相结合,提出了一种基于云模型的软件可靠性度量模型。模型根据可靠性度量指标提取样本信息,通过云发生器生成云模型,运用合并云算法将多个属性云合并为一个综合云模型,使用带权重的欧氏距离云决策算法确定综合云模型的可靠性等级。通过某安全关键软件验证,该模型能够更加客观、真实地反映软件的可靠性。
传统的非线性约束优化算法的精度较低,为了克服这一问题,提出了一种基于粒子滤波的新型优化算法。该算法用于解决非线性约束优化问题,并结合粒子滤波器的模型和机制。首先,利用粒子滤波算法的基本原理建立这种优化算法,并给出算法的操作步骤;然后将非线性约束优化问题转换为函数优化问题函数优化问题,并针对非线性约束优化问题,建立粒子滤波优化算法的数学模型。仿真实验结果证明了这种新型算法的正确性,并且表明了相对于传