【摘 要】
：
采用余度网络是航电全双工交换式以太网(AFDX)的主要特色之一,它对于提高网络的可靠性能有重要作用。余度管理算法规定了余度网络帧的接收规则。目前,已知国外的余度管理算法有多种,但是由于算法自身的缺点,无法保证在网络质量较差时终端之间的通信质量。在已有算法的基础上研究一种新的余度管理算法来提高网络质量差时终端节点之间通信的可靠性已迫在眉睫。
论文部分内容阅读
采用余度网络是航电全双工交换式以太网(AFDX)的主要特色之一,它对于提高网络的可靠性能有重要作用。余度管理算法规定了余度网络帧的接收规则。目前,已知国外的余度管理算法有多种,但是由于算法自身的缺点,无法保证在网络质量较差时终端之间的通信质量。在已有算法的基础上研究一种新的余度管理算法来提高网络质量差时终端节点之间通信的可靠性已迫在眉睫。
其他文献
支持向量机(SVM)的性能与SVM参数的选择有关。SVM参数的优化需要一个准则。针对核函数选择RBF形式的情况,提出了一个新的SVM参数优化的准则,称作导数平方和准则。与著名的SVM参数优化方法如交叉验证或Radius/Margin Bound准则方法相比,利用提出的参数优化准则得到的分类面能够在原空间对样本集"平分秋色",体现了SVM分类器的结构风险最小化的原则,而且算法简单、计算量小、更易于实
气流组织是空调房间内空气的分布、流动形式,主要反映在气流的温度、湿度、气流速度和清洁度等指标,是否符合行业标准规定的空调房间的要求。气流组织可以通过数值计算理论、计算机仿真技术给予实现。以一个典型的变风量中央空调房间为研究基础,以该房间内的送、回风口边界面为研究实例,通过分析、研究悬浮在房间立体内的送、回风口的数值仿真方法,运用实体造型技术,设计出在房间立体与悬浮边界面之间的拓扑关系,使两者成为一
根据1995-2004年5~9月青海湖区域刚察、共和、天峻、海晏4站地面观测资料,对该地区主要降水云状和降水特征进行统计分析。结果表明:混合云的降水频率最高,其次是积云,层云较低;降水特征有明显的差异,降水强度、降水次数南部明显小于北部,大降水东北部多于西南部;刚察、天峻混合性降水出现频率最高,共和阵性降水最高,海晏连续性降水最高,各站降水最高频数多出现在8月;降水概率各站之间有明显差异,降水最大
动态描述逻辑的动作理论对动作的静态描述和动态执行提供了良好的基础和方法。作为对动态描述逻辑的扩充,可以利用Petri网对多个动态描述逻辑动作间的关系进行很好的描述和分析。具体讨论了动态描述逻辑动作系统对应的Petri网模型自动生成问题,利用领域本体对动态描述逻辑动作的条件进行本体定义,通过本体推理,得到不同动作间的条件定义中的相同或等价元素,进一步自动构造得到动作系统的Petri网的PNML+OW
针对MDA开发模式所面临的模型一致性问题,引入Petri网及其等价理论,提出UML动态模型的行为一致性和结构一致性分析技术。这样当UML视图被形式化地描述为Petri网模型,就可以通过分析Petri网模型的语言等价性、分支等价性来判断出UML视图的一致性,进而检验在UML模型的正确性。研究思路对进一步分析其他类型的模型一致性具有借鉴作用。
主要对一种典型作战——“导弹攻击卫星”的指挥活动建立其可视化的军事概念模型。建模过程中主要运用了工作流建模的思想、UML建模语言和Petri网建模方法,建模过程又分为模型构建和模型检验两部分內容,通过模型构建来描述“导弹攻击卫星”指挥活动内容以及活动流程等;通过模型检验来验证模型的正确性。以及对指挥活动分析的正确性。
用P/T网构建了网上商城订单前台处理和后台处理的基本流程模型,此模型保证了订单在后台处理时订单不丢失、订单处理员与发送订单两大主体之间同时核对订单。最后,利用S_不变量给出订单后台处理模型的验证。
用面向对象着色Petri网的结构和执行语义描述入机交互的静态结构和动态行为,充分利用着色Petri网和面向对象技术的优点,从形式化,可视化的角度描述交互行为的建模过程,降低了人机交互建模的复杂度,增强了建模系统的可重用性,并以图形编辑器为例进行了验证,给出了面向对象着色Petri网在人机交互行为方面的具体描述,模型与实际系统中的对象可以相对应,易于理解和实现。
首先给出一个求取同时是极小死锁和陷阱的库所子集的多项式算法(简记为FDMST算法);之后提出了能在多项式时间內判断给定库所子集是否为S-不变量极小支集的RCMSD算法,当给定库所子集被判定为极小支集时,该算法能求得立于该支集上的一个S-不变量;最后将FDMST算法与RCMSD算法结合,提出了能在多项式时间复杂度內求取部分极小支集上S-不变量的STRC算法。
提出了一种基于Petri网进程的协议最小测试例集合生成方法,该方法可以得到覆盖协议行位的最小测试例集合,即用尽可能少的测试例覆盖尽可能多的协议行为,每个具体测试例都可以用Petri网进程给出图形化的直观表示。本方法还可以利用Petri网基本进程段的链接、并、闭包运算,将简单的测试例进行组合,从而得到测试协议复杂行为的测试例。结合一个实例,给出LAPD协议的Petri网模型和该协议的最小测试例集合。