网络安全的随机模型方法与评价技术

随着网络系统逐渐复杂和庞大,特别是网络攻击和破坏行为的日益普遍和多样,网络安全性面临严峻的挑战．网络安全性研究已经成为国际上重大的科学问题之一,也是影响社会经济发展和国家发展战略的重要因素．文章综述了网络安全性的随机模型与评价技术等方面的研究工作,介绍了该领域的研究现状与进展,总结了网络安全性随机模型的若干研究方法和评价技术,分析了网络的可生存性．基于这些讨论,展望了未来网络安全性研究的新方向．     

RDC网远程作业录入系统

为了开发RDC网,我们设计了远程作业录入(RJE)系统。本文讨论了管理和使用网络资源的远程作业录入协议的基本功能,提出了RDC网的远程作业录入协议,说明了在DJS-100机上实现RJE系统的方法。     

一种资源共享系统的模型和近似性能分析

本文提出一种随机Ｐｅｔｒｉ网（ＳＰＮ）的资源共享系统的模型，并给出了模型分解和子模型迭代近似求解的两种方法：标识概率交换和平均标志个数交换。例子显示了这两种方法的有效性和相对误差。本文还证明了主述两种方法在固定迭代求解中，固定点解的存在。本文的复杂模型近似性能求解方法可以应用到很多复杂系统的性能分析中。     

策略三十六计和算法三十六计

本着文化自信的精神,深入学习具有三千多年历史的《易经》,挖掘《易经》形象思维的抽象和推理的理念,结合现代计算机学科的发展和作者本身的专业经历,给出了计算机系统设计策略三十六计和算法三十六计的初步成果.本文提出了计算机学科的四个基本对立统一关系,即四个基本科学问题：集分定位、刚柔相摩、供需相应、串并转换.从集分定位出发,在策略三十六计中提出了架构设计十八计,它包括了时空转换和多种计算模式的计策.从刚柔相摩出发,在策略三十六计中提出了系统特性十八计,它包括了八类特性设计的计策,例如,可控性、效率性、安全性、可变性等方面的计策.供需相应和串并转换所涉及的科学问题,主要体现在资源管理和任务调度的算法三十六计中.这些算法计策中包含了计算机学科的经典和热点问题,例如,可计算性、多目标优化、云计算、软件定义系统、大数据思维和人工智能等.策略三十六计和算法三十六计可以为计算机专业人员在学习和系统研发工作中提供思维框架、策略辩证思路和需要的计策及实例,更为重要的是可以进一步理解事物的哲学道理.     

使用确定随机Petri网对Hadoop公平调度的建模和性能分析

由于Hadoop能在同一时间处理多个用户提交的不同作业的多个任务,这使得用传统的方法对其进行建模和性能分析变得十分困难.为了解决这个问题,基于马尔可夫排队模型M/MMDP/C/K建立了一个随机Petri网(SPN)模型和一个确定随机Petri网(DSPN)模型来分别描述Hadoop调度中的数据状态和作业公平调度.通过设置DSPN中的使动谓词和随机开关来建模Hadoop公平调度和YARN公平调度.使用嵌入的马尔可夫链模型来分析单用户情景,而在分析多用户情景时则引入分解和迭代技术来减小模型的状态空间,从而避免产生状态爆炸问题.研究侧重于Hadoop中作业调度的平均性能,仅通过求解提出的分析模型,就可以对比和分析服务质量(QoS)的一些关键指标,如平均吞吐量、平均队列长度和平均时延.采用Matlab进行仿真:当每秒到达任务数大于等于20时,YARN算法的数据积压和平均时延明显少于公平算法;当每秒到达任务数大于等于30时,YARN算法的平均吞吐量明显高于公平算法.实验结果表明,YARN公平算法能够减少平均处理和排队等待时间,在平均吞吐量、平均队列长度和平均时延上明显优于公平算法.     

基于DTN的空间网络互联服务研究综述

空间通信需求的迅猛增长促使空间通信向网络化和天地一体化的方向不断发展.空间网络具有子网异构、网络拓扑不断变化、链路传输延迟大、链路误码率高等特点.TCP/IP网络协议族需要连续稳定的网络连接和较短的传输时延,空间网络不能满足这些条件,因此相关协议不能直接应用于空间网络.延迟/中断容忍网络(delay/disruption tolerant network,DTN)是一种通用的面向消息的覆盖层网络体系结构,能够适应空间网络的特点,是实现空间网络互联的有效连接方式.首先阐述了DTN应用于空间网络互联服务(space internetworking service,SIS)的体系结构,分析了组成要素和工作模式,包含协议栈构成、消息转发机制、命名与寻址机制等,介绍了支撑空间DTN应用的LTP(licklider transmissionprotocol)协议,并给出了火星探测场景实例;然后针对路由机制、安全机制和服务质量控制3个重点研究方向,阐述了关键技术和进展情况,分析了存在的问题和下一步的研究方向;然后介绍了相关的开发、实践和飞行验证项目;最后分析了在中国开展基于DTN的SIS研究及应用前景.     

绿色网络和绿色评价:节能机制、模型和评价

随着网络规模的扩大和网络设备的不断更新,目前的网络对能量的利用日益暴露出能耗高、效率低,浪费多等诸多问题.节省网络能耗、构建绿色网络不仅成为计算机领域一个意义重大、需要迫切解决的课题,也成为影响社会可持续发展和国家发展战略的一个重要因素.目前,大量绿色网络的研究工作致力于减少网络系统的无用能耗,提高能量利用率.文中将能...     

无线数据网络中机会调度理论模型的研究

机会通信作为一种对无线通信系统设计具有革命性意义的概念正在受到越来越多的关注.目前对机会调度算法的研究往往采用不同的模型进行性能评价,使得不同算法之间很难直接进行性能比较.本文主要将各种用于机会调度算法研究的理论模型进行分类和比较,对几种典型的机会调度算法在各类理论模型下的性能评价指标、方法和结果进行讨论,最后探讨了该领域未来的发展趋势并给出了一些有待研究的方向.     

基于Petri网的数字媒体分发协议的安全性证明

 安全协议的形式化证明是目前的一个热点和难点问题.本文以一种数字媒体分发协议(DMDP)为例,采用基于Petri网模型并结合进程代数和逻辑归纳方法对其进行形式化证明,新的方法有效避免了状态空间爆炸问题.在证明过程中,采用协议安全性等价原则,对分发协议进行简化,使证明更加简洁.文章同时对证明方法的完备性进行了讨论,说明了Petri网模型证明协议安全性的有效性.     

扩展时段时序逻辑的模型、一致性和推理

给出了扩展时段时序逻辑的时间Petri网（TPN）模型构造方法，在构造模型的同时对时序关系进行一致性检验，在模型的基础上提出了一种时序关系推理算法，这种推理算法基于TPN模型的性质及基本不等式规则，可由一组已知的扩展时段时序关系推出一些未知的扩展时段时序关系，这种推广理算法的优势在于利用了TNP模型的分析技术，减小了推理的时间复杂度比单纯利用不等式规则的推理更直观，也更简单，是一种有效的方法，最后，对扩展时段时序逻辑的TPN模型进行了扩充，增强了其模型和分析的能力。