基于任务处理机制的密钥管理系统实现

本文将任务处理机制引入到密钥管理过程中，介绍了集中式密钥管理系统中进行在线密钥更换的任务处理流程。文中将密钥管理通信协议与任务机制相结合，协议运行的各个步骤都与当前任务状态相关联。这种机制可以安全可靠地完成密钥管理相关工作。     

Android与ROS交互通信的可靠性设计

目前,Google和Willow Garage已经为Android系统构建ROS(Robot Operating System)环境提供了基于rosjava的应用功能包集合android_core,便于Android移动终端和ROS进行互联互通。然而,当前的通信机制不能保证Android应用对基于ROS的机器人进行可靠的远程控制。为解决上述问题,从ROS中的应用层和通信机制两方面对ROS进行完善。一是在ROS端TCP/IP协议的应用层设计通信异常检测模块"Check Node Connection"来进行Android移动终端的连接状态检测;二是在Android端设计与ROS中"ROS Action Protocol"相匹配的通信机制"Ros Action On Android"。实验结果表明,设计的通信异常检测模块"Check Node Connection"可以高效地检测Android与ROS间的连接状态。此外,"Ros Action On Android"通信机制可时刻获取ROS机器人在任务执行中的状态反馈信息并支持任务抢占,使得交互控制更加精准可靠。     

自监督学习HOG预测辅助任务下的车位检测方法

针对智能车位管理系统中，光照变化、车位遮挡等因素导致车位预测的精度下降、有效性变差的问题，提出一种自监督学习方向梯度直方图（HOG）预测辅助任务下的车位检测方法。首先，设计预测图像遮挡部分HOG特征的自监督学习辅助任务，利用MobileViTBlock(light-weight, general-purpose, and Mobile-friendly Vision Transformer Block)综合图像全局信息，使模型更充分地学习图像的视觉表征，并提高模型的特征提取能力；其次，改进SE(Squeeze-and-Excitation)注意力机制，使模型在更低的计算开销上达到甚至高于原始SE注意力机制的效果；最后，将辅助任务训练的特征提取部分应用于下游的分类任务进行车位状态预测，在PKLot和CNRPark的混合数据集上进行实验。实验结果表明，所提模型在测试集上的准确率达到了97.49%，相较于RepVGG，遮挡预测准确率提高了5.46个百分点，与其他的车位检测算法相比进步较大。     

P2P MMOG中基于状态差的欺骗检测机制

提出一种适合P2P MMOG的基于状态差的欺骗检测机制。采用定积分对某玩家在其他玩家游戏视图中的状态差进行量化，并在参考网络延迟的基础上根据状态差判定该玩家在游戏过程中是否进行了欺骗。判断标准为既定阈值。实验结果表明，该文提出的欺骗检测机制能有效检测出导致玩家状态不一致类型的欺骗，提高了游戏的安全性。     

单片机多任务架构软件的限时服务设计

介绍了单片机软件中的多任务机制，详细说明了在这种机制下的限时服务原理及设计方法，能够防止和解决因任务交叉重叠而导致运行状态错误，亦可应用在顺序流程的程序结构中，提高系统的冗余度和可靠性．     

基于区块链的物联网任务协作信任管理方案

在物联网智能设备任务协作场景中,为解决设备交互不受信以及存在恶意设备破坏协作的问题,提出一种基于区块链的信任管理方案。半分布式的架构克服了集中式和分布式架构的不足,任务协作过程中兼顾了双方的信任,并设计了审查机制确保任务评价的真实可靠。信任的衡量中使用狄利克雷分布模拟任务评价的多样性,构建信任为数个状态,并利用马尔可夫链评估信任状态和全局信任。仿真结果表明,提出的方案可以客观衡量设备的信任,同时在检测恶意设备、提高协作任务成功率及避免误判方面具有优势,因此可以有效确保任务交互的可信和协作环境的安全。     

嵌入式多任务软件混合自容错机制

分析安全关键应用对嵌入式系统自容错能力的需求,进而研究嵌入式系统中关键任务状态的形式化描述方法及任务故障的自监测机制。在此基础上,提出一种基于策略的嵌入式多任务软件混合自容错机制。在该机制中,软件系统在监测各任务实体运行时状态的基础上,可依据不同方法对故障任务进行自恢复处理,并尽量保证系统主要功能的可靠性与稳定性。实验结果表明,该机制有助于从嵌入式软件方面提高嵌入式系统的可靠运行能力。     

一种支持负载均衡的多机心跳模型

状态检测是高可用性和可靠性的重要组成部分，设计实现了一个分布式的高可用检测机制，该机制逻辑上分为一个主节点和多个从节点；主节点由所有节点选举产生，周期性的对需要检测的虚拟子网进行轮循，从节点在收到轮循消息后给予响应；主从节点分别依据轮循响应和轮循信息对彼此的健康状态进行检测．较好的定时策略，确保了较低的误报概率和诊断延迟．该机制支持负载在主从节点上的均衡分配，扩展性好，状态机需要维护的状态数少，管理简单．     

用VC5控制Windows任务栏图标

通过在Windows任务栏中设置图标，我们可以有效控制系统和程序中最常用功能，使用户实时观察应用程序的工作状态。Windows95、98中已经有设备状态、系统时钟、计划任务以及中文输入法程序等，其他应用程序中也有，如调制解调器通信状态、后台打印任务的执行状态、解霸五中的VCD自动侦测状态、屏幕抓图程序的控制状态以及其他后台任务事件等。通过在应用程序中合理有效地控制任务栏中的目标，不仅可以使应用程序具有很高的专业水准，同时极大地方便了用户操作，避免了通过任务栏中窗口最小化标题切换任务的繁琐操作，而且在节省使用任务条…     

基于任务的故障检测机制的研究

磁盘阵列故障检测机制是保证磁盘阵列可靠性的核心技术;为了能够及时检测系统故障,提出一种基于任务的故障检测机制;该机制根据磁盘阵列任务特征,将任务分为三类,并描述任务间的依赖关系;当故障发生时,该机制能够及时主动地检测出错任务,并根据任务间依赖关系划分恢复组,将故障影响控制在恢复组内;计算机仿真结果显示,采用该故障检测机制的故障处理系统不仅故障检出率高,而且对磁盘阵列控制器系统读写速率影响小,能够显著地提高磁盘阵列系统可靠性。     

入侵检测系统中的协议分析子系统的设计和实现

对于一个网络入侵检测系统,协议分析主要有三方面的作用:为检测引擎提供输入,提高检测的有效性,提高检测效率。对于这些功能,该文论述的协议分析子系统对应有三个功能模块:基本协议数据解析模块,包括对数据包各个头部字段的解析;上下文相关的数据关联模块,包括IP分片合并和TCP会话重组;应用层协议分析模块,包括对常见应用协议数据的关键字段的提取和分析。文章的最后给出了系统的应用层协议分析的性能测试数据。     

基于数字证书的数字签名系统的设计与实现

数字签名已经得到了相关法律的认可,数字签名在电子商务中发挥着越来越重要的作用。文章介绍了数字签名的基本方法及其原理,并指出了他们各自的特点。提出了基于数字证书的数字签名方案,论证了其合理性、有效性和可行性。并结合成德绵区域网络化制造系统中电子商务模块的开发实践,详细介绍了一个基于数字证书的数字签名系统的设计和实现过程。并给出了重要的源代码和真实系统的运行界面。     

基于CAN总线的分布式井—地电位检测系统设计

油藏中注水的分布和剩余油的分布研究是油气开发工业中一个研究热点,井-地电位检测技术在这一领域的应用方兴未艾;详细阐述了井地电位检测系统中CAN总线通讯的实现技术,其中包括基于DSP的智能CAN节点的设计、CAN-USB转接模块的设计,上位机接口驱动程序设计;通过工程现场应用,各项设计指标满足实际工程要求。     

基于多源异构数据融合的网络安全态势评估体系

针对基于单点网络数据很难准确地检测网络恶意活动且无法有效地分析网络状况的问题,本文通过引入多源异构数据融合策略,借鉴层次化网络分析思想,构建出包含流量探测模块、属性提炼模块、决策引擎模块、多源融合模块、态势评估模块等五大模块的网络安全态势评估体系。评估体系以BP神经网络为决策引擎分析各数据源的数据,使用指数加权D-S证据理论融合各决策引擎的输出结果,并基于层次化网络威胁评估方法评估网络威胁状况。实验结果表明:不同探测器探测到的数据对于识别不同类型攻击的优势不同;多源融合技术进一步将识别攻击类型的准确率提升到88.7%;层次化网络威胁评估方法能够有效地评估网络威胁状况。     

State and path coalition effectivity models of concurrent multi-player games

We consider models of multi-player games where abilities of players and coalitions are defined in terms of sets of outcomes which they can effectively enforce. We extend the well-studied state effectivity models of one-step games in two different ways. On the one hand, we develop multiple state effectivity functions associated with different long-term temporal operators. On the other hand, we define and study coalitional path effectivity models where the outcomes of strategic plays are infinite paths. For both extensions we obtain representation results with respect to concrete models arising from concurrent game structures. We also apply state and path coalitional effectivity models to provide alternative, arguably more natural and elegant semantics to the alternating-time temporal logic ATL*, and discuss their technical and conceptual advantages.     

Strategic games and truly playable effectivity functions

A well-known result in the logical analysis of cooperative games states that the so-called playable effectivity functions exactly correspond to strategic games. More precisely, this result states that for every playable effectivity function E there exists a strategic game that assigns to coalitions of players exactly the same power as E, and every strategic game generates a playable effectivity function. While the latter direction of the correspondence is correct, we show that the former does not hold for a number of infinite state games. We point out where the original proof of correspondence goes wrong, and we present examples of playable effectivity functions for which no equivalent strategic game exists. Then, we characterize the class of truly playable effectivity functions, that do correspond to strategic games. Moreover, we discuss a construction that transforms any playable effectivity function into a truly playable one while preserving the power of most (but not all) coalitions. We also show that Coalition Logic (CL), a formalism used to reason about effectivity functions, is not expressive enough to distinguish between playable and truly playable effectivity functions, and we extend it to a logic that can make that distinction while still enjoying the good meta-logical properties of CL, such as finite axiomatization and decidability via finite model property.     

数控刀位轨迹的新算法

CAM中的一个关键技术就是数控刀位轨迹的生成。本文在HANSEN[1]提出的干涉标志量概念及算法基础上，提出了新的理论观点及相应的新算法。新算法用在研制的美术造型图案模腔自动加工成型系统即GNC统中，几年来运行验证效果一直良好。     

基于恒星敏感器的姿态确定算法研究

星敏感器是一种精度极高的姿态敏感器。基于恒星敏感器的姿态确定问题,从理论上推导了利用TRIAD算法,QUEST算法和Euler-q算法求解姿态矩阵的公式;以Wahba损失函数为指标,利用确定已知的方向余弦阵、恒星观测矢量及在噪声干扰下的星敏感器的观测矢量,对比研究了各种算法的优缺点。利用一个标准星表,通过仿真计算验证了上述三种算法的正确性和有效性。     

评价数字水印相似程度的公式分析及改进

当前常见的作为评价数字水印相似程度公式的归一化相关值, 在表示提取出的水印与原始水印反面相似时存在很大的不足. 为此, 本文首先对常见的几种归一化相关值公式进行了分析, 然后继承这些公式的合理性和有效性, 克服这些公式的不足, 构造出了一个新的能更科学、合理和有效地评价数字水印相似程度的公式, 本文称之为两极化相关值. 最后对两极化相关值与归一化相关值进行了对比实验, 实验结果验证了两极化相关值的科学性、合理性和有效性.     

ka频段片式一体化发射组件的设计与实现

介绍了一种ka频段片式一体化发射组件的研制方法和关键技术。为满足一体化片式组件小型化且工作频率高的要求,提出了一种集成天线辐射单元与射频模块三维垂直互联的方法,同时结合多功能芯片 (MFC)技术、多芯片组装(MCM)技术实现组件高密度集成。研制的一体化组件尺寸为48 mm×48 mm×6.3 mm、质量不超过100g,集成16个发射通道,每个通道包含6位数控移相器和5位数控衰减器。该组件集成度高、较传统组件在尺寸和重量上具有较大的优势。