基于模型检测的信息流策略安全性分析

分布式信息流控制是增强系统安全的一种有效方法,但其灵活性也增加了策略管理和分析的复杂性。策略的安全性分析判定系统的所有可达状态是否都能保持特定的安全属性,可以验证策略是否一致完备的满足安全需求。形式化定义了基于Kripke结构和计算树时序逻辑的信息流策略安全性分析问题,验证信息流允许、禁止和授权管理三类信息流安全目标。提出了分支限界和模型检测两种策略验证算法,实验结果表明,算法可有效验证分布式信息流控制系统是否满足特定安全需求,提高了分布式信息流控制的可用性。     

标准模型下基于身份的门限签名方案

在标准模型下（不使用随机预言模型）设计可证明安全的门限签名方案具有实际意义。利用L-J方案,设计了一个在标准模型下基于身份的安全的门限签名方案。该方案可容忍[t]小于[n/2+1]个成员被敌手破坏,门限密钥生成算法不需要可信中心,只需成员之间交互协商完成。在计算Diffie-Hellman问题（CDH问题）假设下,该方案是健壮的,且对适应性选择消息攻击是不可伪造的。     

基于主动学习的命名实体识别算法

命名实体识别的目的是识别文本中的实体指称的边界和类别.在进行命名实体识别模型训练的过程中,通常需要大量的标注样本.本文通过实现有效的选择算法,从大量样本中选择适合模型更新的样本,减少对样本的标注工作.通过5组对比实验,验证使用有效的选择算法能够获得更好的样本集,实现具有针对性的标注样本.通过设计在微博网络数据集上的实验...     

基于随机模型检验的社交网络隐私保护研究

针对现有社交网络所提供静态隐私策略的隐私设置不够灵活且难以定量验证问题,提出一种动态隐私保护框架,将社交网络建模为离散时间马尔科夫链模型,通过设置触发条件实现用户动态隐私规约并将其转化为概率计算树逻辑公式,同时结合随机模型检验和运行时验证中的参数化与监控技术,保护社交网络发生随机故障情况下的用户动态隐私信息.在Dias...     

基于移动路径预测的车载边缘计算卸载切换策略研究

车载云计算环境中的计算卸载存在回程网络延迟高、远程云端负载大等问题,车载边缘计算利用边缘服务器靠近车载终端,就近提供云计算服务的特点,在一定程度上解决了上述问题。但由于汽车运动造成的通信环境动态变化进而导致任务完成时间增加,为此该文提出一种基于移动路径可预测的计算卸载切换策略MPOHS,即在车辆移动路径可预测情况下,引入基于最小完成时间的计算切换策略,以降低车辆移动性对计算卸载的影响。实验结果表明,相对于现有研究,该文所提算法能够在减少平均任务完成时间的同时,减少切换次数和切换时间开销,有效降低汽车运动对计算卸载的影响。     

一种汉字楷书特征提取方法＊

本文针对汉字楷体手书识别问题,从整体计算的角度,提出了一种汉字形体特征提取的解决方法并付诸于具体系统的实现。由于强调了汉字整体信息和相对关系的结构特征,比较成功地把握了区分手书汉字的关键因素,汉字识别率达80％以上,效果比较理想。     

TD-SCDMA系统终端RRC连接建立过程研究

第一部分介绍了TD-SCDMA系统终端RRC子层的功能模型及RRC的主要功能。第二部分描述了RRC子层的状态，各状态下的任务以及状态间的转换。最后详细描述了TD-SCDMA系统终端RRC连接建立的过程，包括建立过程的消息流图及子过程。     

THE STUDY OF AN M-ARY MC-CDMA SYSTEM BASED ON CYCLIC SPREADING CODES ＆ PRE-EQUALIZATION

A novel fast despreading scheme for M-ary Multi-Carrier Code-Division Multiple Access (MC-CDMA) system is proposed based on cyclic spreading codes and pre-equalizer. In the transmitter, the M spreading codes of each user are generated by circularly shifting the prototype spreading code. A feedback pre-equalizer is employed to process the M-ary MCCDMA signal before transmitted. The received signal is multiplied by the Inverse Discrete Fourier Transform (IDFT) result of the mirror image code of the prototype spreading code, and then demodulated by Orthogonal Frequency-Division Multiplexing (OFDM) demodulator. Compared with the conventional M-ary MC-CDMA receiver, the proposed scheme increases bandwidth efficiency, meanwhile, it achieves M-ary despread spectrum and multi-carrier demodulation, which reduces computation complexity remarkably.     

云雾混合网络下基于多智能体架构的资源分配及卸载决策研究

针对D2D辅助的云雾混合架构下资源分配及任务卸载决策优化问题,该文提出一种基于多智能体架构深度强化学习的资源分配及卸载决策算法.首先,该算法考虑激励约束、能量约束以及网络资源约束,联合优化无线资源分配、计算资源分配以及卸载决策,建立了最大化系统总用户体验质量(QoE)的随机优化模型,并进一步将其转化为MDP问题.其次,...     

从AutoCAD中提取实体数据的研究

从提取实体数据的角度,对ＡｕｔｏＣＡＤ中ＤＸＦ文件结构进行了简单分析,着重介绍了基本图形实体数据、尺寸标注信息和块实体数据的提取过程,对于 ＣＡＤ／ＣＡＰＰ／ＣＡＭ的信息集成有重要意义。