定性演算的扩充

在已有定性演算的类的划分上进行了扩充并定义了新的定性演算,而且进一步讨论了定性运算的性质.

定性关系方程的最大解

扩充已有的定性演算,引入定性关系及其运算的定义.讨论有解定性关系方程最大解的存在性及其求法.

定性方程的求解

在已有定性演算扩充后又一步讨论了定性方程的求解问题.

基于网络演算的有损分形整形器及其性能模型

为改善Internet流量自相似等突发特征给网络性能带来的影响,提出了一种适合自相似突发流量的有损分形整形器的数学模型,分析了有损分形整形器的队列长度与延迟等性能,讨论了有损分形整形器的引入对端到端延迟、数据丢失总数以及平均包丢失率等的影响,得到了各性能指标上界与流量自相似参数的关系,给出了允许最大平均包丢失率下的最小缓存容量.这对基于分形整形器的拥塞和流量控制策略的评价、分形整形器自身参数的设计具有参考作用.

定性方程的求解

对已有定性演算进行了扩充,进一步讨论了定性方程的求解问题。

基于分形整形器的GPS系统性能确定上界研究

为了精确求解以自相似业务作为输入的网络性能确定边界问题,在GPS(generalized processor sharing)系统入口处利用分形整形器对自相似业务进行调控,提出了基于分形整形器的GPS系统模型,基于确定性网络演算理论推导了使用自相似业务作为输入时该GPS系统的缓存队列长度、延迟、延迟抖动以及有效带宽等性能确定上界模型。数值结果表明,基于分形整形器的GPS系统性能确定上界模型对自相似业务具有较好的性能。

基于度中心性的AFDX网络拓扑生成

航空电子系统随着任务需求和技术的发展不断向深度综合演进,其系统的复杂性给网络的设计和验证带来了巨大的挑战,如何通过网络生成实现受限资源条件下航电信息交互的实时性能保障是目前亟待解决的问题。针对目前存在的无法对航电网络进行实时性调控的拓扑设计方法进行改进,依据终端节点之间所有虚拟链路的最大通信帧长之和的大小关系,提出一种基于度中心性理论的航空电子全双工交换式以太网(AFDX)网络拓扑生成算法。将终端节点之间数据帧长作为节点度的衡量标准,对所有终端节点进行集合划分,并根据集合中终端节点的数据帧长对交换机进行连接。采用确定性网络演算以及仿真的方法对基于度中心性的AFDX网络拓扑生成算法进行效能评估。利用确定性网络演算方法,在小规模虚拟链路(VL)的组网下,结果显示:基于度中心性的拓扑生成算法生成的网络拓扑中75%的VLs实时性能优于原始人工设计的网络拓扑,且端到端延迟平均减小9.37%。利用OMNet++仿真方法,在1400条虚拟链路的组网规模下,结果显示:基于度中心性的拓扑生成算法生成的网络拓扑中94.3%的VLs实时性能优于人为规划网络拓扑,且端到端延迟平均减小50.2%。由此表明:基于度中心性的拓扑生成算法很大程度上提高了网络的实时性能保障。

交换式工业以太网的时延分析

交换式工业以太网应用于工业控制领域,实现了工业一体化网络控制,但其实时性问题一直是阻碍其大规模应用的主要因素,在对交换式工业以太网中传输时延因素分析的基础上,得出了排队时延是影响网络确定性的主要因素。为此采用了确定性网络演算理论对其实时性进行了分析和研究,结合极小加代数下的到达曲线和服务曲线的概念,针对特定的混合队列调度模型,在树形拓扑结构的交换式以太网的基础上计算了其业务流端到端的传输时延上限。

定性关系及其应用

在已有的定性演算的基础上,引入了定性值集上的定性关系,讨论了定性关系的基本性质,并定义了定性关系的并、交、差及复合运算.在文后给出了定性综合评判的3个基本要素,着重给出了主因素决定型定性综合评判的步骤,并将其应用到具体的实例中.