打头阵、做表率的战"疫"先锋——中建一局三公司党员先锋申海

正他始终相信,一个人的力量也许是微不足道的,但只要万众一心、众志成城,就一定能打赢这场没有硝烟的疫情防控阻击战,迎来最美好、最温暖、充满和谐、充满爱的春天。"作为一名基层党员干部,在复工复产中,党组织需要我在哪里,哪里疫情防控最急切,哪里群众最需要我,我就战‘疫’在哪里。"     

一种用于TCP/IP减荷的体系结构

TCP/IP减荷的目的是为了将系统主处理器从用于协议处理的繁重的内核中断服务中解脱出来。笔者从对TCP/IP减荷的需求出发,分析了TCP/IP减荷在设计方面的要求,进而提出了一种用于TCP/IP减荷的体系结构。     

基于相关性的人机系统可靠性模型

本文在剖析人机系统中操作者行为特征的基础上,考虑到操作者行为的自适应性、自学习能力及其行为形成主因子,着重结合操作者行为的相关性-感知作用于判断决策后影响到动作,建立了人机系统中操作者行为模式,并推导出计算操作者可靠度的公式,求出了相应参数.最后进行了实例量度,同时定量辨识了行为相关性对人可靠性的制约程度,以期从人机系统可靠性角度为人机系统的优化设计提供新的依据.     

UML顺序图中消息的形式化描述与相关特性分析

为了实现基于UML顺序图的自动化测试,研究了顺序图中消息的形式化描述方法.形式化地定义了消息的发送和接收,并对二者的一致性关系进行了分析.提出了活动点的概念,讨论了其所具有的性质.建立了活动点集合上的二元关系描述方法,形式化地讨论了单个对象活动点集合与顺序图中全部活动点集合中该二元关系的具体表现.定义了消息集合上的二元关系,分析了其所具有的性质.最后,对顺序图中的时间约束特性和消息约束特性进行了形式化的分析.     

仿真技术在装备维修规划中的应用研究

该文应用系统仿真的方法研究了战场武器装备损坏的修理情况。根据实战和训练记录数据资料,研究分析得出了武器战场损坏修理时间服从对数正态分布的规律。用SIMAN仿真语言建立了仿真模型并进行仿真运行实验。这些分析研究结果对于有效组织战损装备抢修,提高武器装备的使用效率有实际应用价值和重要意义。     

公钥基础设施PKI的设计

介绍了公共基础设施PKI系统设计目标、PKI系统开发遇到的主要难点和采用的对应技术,并就证书处理的格式与编码、安全传输使用的SSL技术、浏览器的PKI接口结合开发经验和实例作了比较详细的分析。     

Linux上QoS保证及编程接口的设计

目前的因特网服务并没有提供服务质量（QoS）。随着一些实时的多媒体应用的增加和ATM等具有端到端的服务质量保障的链路技术的出现,需要在IP层上实现QoS的保证。主要讨论Linux的内核中提供的QoS的功能,以及如何在此基础上设计用户编程的接口。     

基于PKI的IPSec—VPN网关的设计与实现

针对IPSec-VPN网关开发的特点,提出了PKI代理网关的概念,并就一个基于PKI的IPSec-VPN网关开发的实例作了比较详细的描述,给出了实现的框图和几个主要算法。     

两种准在线装箱算法

在装箱问题中，下次填充法（NF）由于其在线特性，而被广泛应用。然而这种算法由于按照物件到达先后顺序来填充，资源利用率比较低。该文根据计算机通信网络中的实际应用，在NF算法基础上添加了置换功能，提出两种新的算法：最后物件置换算法和每个物件置换算法。由于物件被置换后，可能会被填充到后续箱内，因此称之为准在线算法。通过平均分析发现，这两种算法性能比NF算法有较大提高，类似于智能NF算法的性能。