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

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

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

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

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

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

便携式无线图像传输系统

论述了采用直接序列扩频技术设计的便携式无线图像传输系统原理，结构，关键技术和安全保密方法等。系统具有通信质量好、性能稳定、安全性高，便于机动等优点，适合于需要经常改变安装位置的情况，是多种情况下图像传输的理想选择。     

Blog研究

Blog信息源和信息量迅速增长,并已通过频繁的链接和信息交互在互联网上构建了一个动态且紧密的社会网络,成为现实世界一个重要的信息来源.目前,Blog领域的研究主要集中在Blog的定义与识别、内容挖掘、社区发现、重要性分析、Blog搜索和作弊Blog识别等几个方面.大部分研究采用或借鉴了链接分析、自然语言处理等方面的技术和方法,也提出了一些针对Blog领域的特定方法.分析和比较了Blog领域的相关研究,并且讨论了研究中存在的问题,展望了未来的研究方向.     

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

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

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

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

公钥基础设施PKI的设计

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

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

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