具有计算可靠性的符号模型

MW方法仅考虑使用公钥加密原语,不包含{{mk}k类型消息的双方协议。针对该问题,使用公钥加密和对称加密,建立扩展标记符号模型与扩展计算模型,论证扩展标记符号模型的计算可靠性,实现对MW方法的扩展。     

淄博市水利风景区建设对策

通过分析淄博市水利风景区建设管理工作现状,阐述了存在的问题,并从科学规划、改革创新、完善政策、加大投入、部门联动5个方面提出了加强水利风景区建设管理工作的对策建议。     

一种可解释的自由文本击键事件序列分类模型

TypeNet是一种基于两层长短时记忆网(LSTM)分支结构的孪生网络模型,在自由文本击键事件序列分类任务上取得了很好的效果,但缺乏可解释性。为此,该文改进了TypeNet模型,提出一种基于单层LSTM分支结构的孪生网络模型TypeNet II。TypeNet II模型用多层感知机度量两个分支输出表征向量差的绝对值体现的特征序列的相似度。模型训练完毕后,用多元二项式回归模拟多层感知机部分,基于得到的多元二项式对模型进行解释。实验结果表明,TypeNet II模型的分类效果超出了已有的TypeNet模型,多元二项式回归的结果具有泛化性,表征向量差的绝对值与相似度量之间存在非线性关系。     

数字移动通信系统中认证协议的设计与分析

该文针对数字移动通信系统的背景和需求, 基于公钥密码体制设计了一个端端密钥分发协议,基于对称密码体制设计了一个身份认证协议,并利用Spi演算对身份认证协议进行了分析,证明了其安全性。     

基于积分方程等效电路和BLT方程的传导耦合效应仿真分析

提出了基于积分方程等效电路和Baum-Liu-Tesche(BLT)方程的电磁脉冲传导耦合效应分析方法, 建立外部电磁干扰等效源模型, 提取等效电流和阻抗参数.对内部含复杂传输线网络和集成电路插件的电子设备建立了电磁拓扑模型, 采用BLT方程分析电磁脉冲响应.仿真分析了内部传输线连接关系、外部信号线长度和半径大小、节点负载等因素对传导耦合效应的影响.将计算结果和商用电磁仿真软件CST的结果进行了对比, 分析了所提方法的有效性, 可为电子设备电磁脉冲防护设计提供参考.     

基于攻防信号博弈模型的防御策略选取方法

当前基于博弈理论的防御策略选取方法大多采用完全信息或静态博弈模型,为更加符合网络攻防实际,从动态对抗和有限信息的视角对攻防行为进行研究。构建攻防信号博弈模型,对策略量化计算方法进行改进,并提出精炼贝叶斯均衡求解算法。在博弈均衡分析的基础上,设计了最优防御策略选取算法。通过实验验证了模型和算法的有效性,并在分析实验数据的基础上总结了攻防信号博弈的一般性规律,能够指导不同类型防御者的决策。     

中药缓释制剂的研究进展

结合中药缓释制剂的研究进展,阐述了中药缓释制剂的现状及主要剂型,对目前中药缓释制剂的研究与应用相对滞后的原因作了简要分析,并提出了发展对策,为中药缓控释制剂的研究和开发提供参考。     

HPLC法测定壮肾丸中补骨脂素、异补骨脂素的含量

建立了用HPLC法测定壮肾丸中补骨脂素、异补骨脂素含量的方法.采用Agilent 1100 series高效液相色谱仪C<,18>柱,以乙腈-0.125%磷酸(25:75)为流动相,检测波长247nm.补骨脂素的线性范围为0.026～0.26 μg,r=0.999 9,平均回收率为98.8%:异补骨脂素的线性范围为0.024 56～0.2 456 μg,r=0.999 9,平均回收率为101.9%.本方法简便、准确,可用于控制该制剂的质量.     

非否认协议形式化分析技术

对目前现有的非否认协议的几种形式化分析方法进行了分析和比较,指出了它们的优缺点,最后提出了进一步的研究方向。     

绿色生态城区全寿命期规划建设管控体系探究

绿色生态城区是一个复杂多元的系统,在规划建设到实施运营的过程中,面临着各阶段主体多、规划建设周期长、工程信息流海量协同管理难等问题。为保障绿色生态城区建设顺利实施,在总结多年绿色生态研究与项目经验基础上,通过科学合理的规划、适宜技术的应用、高效有序的管理,形成了一套面向全寿命期的规划建设管控体系,为其他绿色生态城区规划建设提供解决方案。