一种增强电子商务协议安全性的形式化分析方法

本文用半规则实体代表参与协议并为其利益驱动协议的实体,基于此设想给出一种在串空间模型中的形式化方法。引入Hash和Diffie-Hellman Exchange的案例,在模型中加入半规则串和半规则节点。最后,找到一种对因特网密钥交换(IKE)协议的攻击。     

应急仿真中的碰撞检测算法研究

以应急仿真场景为背景,针对其中大量物体碰撞检测过程的需求,提出了层次包围盒与空间划分方法结合的实时碰撞检测算法,可以在完全不降低碰撞检测精度的同时,大大改进了仿真环境碰撞检测的效率,减轻了计算负担,提高了系统的实时性。     

使用基于进程代数的方法建立软件体系结构的安全模型

安全体系结构集成了软件体系结构与信息安全两大领域的研究,基于进程代数的语言适合描述基于并发交互构件的软件体系结构的一系列重要性质。使用基于进程代数的描述语言对结构中各组成元素和整体拓扑构形分别建模,形成安全的软件体系结构。     

SZF波浪浮标接收机与上位机串行通信实现

本文主要讲述了如何实现SZF波浪方向浮标接收机与上位机之间的数据通信,用方便的高级计算机语言代替汇编语言来实现波浪数据的处理.应用VC++语言实现SZF波浪方向浮标接收机数据的回放和格式化输出,并给出了一种软件设计方案.     

基于FARADAY旋光镜的光学电流互感器分析与试验研究

为解决全光纤电流互感器因采用相位调制器、性能要求高的电子元器件以及复杂的调制解调算法等导致其成本高的问题,提出了一种基于法拉第旋光镜(faraday rotation mirror,FRM)的光学电流互感器(optical current transformer,OCT)方案;分析了该OCT的电流传感原理以及信号获取方法,试验研究了其电流测量精度和温度性能、谐波准确度以及振动特性,试验结果表明其满足5P20的要求,在-40～+50℃范围内,光纤传感环对该OCT系统误差影响不超过0.75%;OCT光纤传感环在承受10g的加速度冲击过程中,系统无异常信号输出。研制的该OCT主要技术指标满足中高压交流输电系统中保护级电流互感器的精度要求,可用于架空线—电缆混合线缆故障区域判别电流测量、分接开关故障电流监测等。     

基于改进多嵌入空间的实时语义数据流推理

将语义数据流处理引擎与知识图谱嵌入表示学习相结合,可以有效提高实时数据流推理查询性能,但是现有的知识表示学习模型更多关注静态知识图谱嵌入,忽略了知识图谱的动态特性,导致难以应用于实时动态语义数据流推理任务。为了使知识表示学习模型适应知识图谱的在线更新并能够应用于语义数据流引擎,建立一种基于改进多嵌入空间的动态知识图谱嵌入模型PUKALE。针对传递闭包等复杂推理场景,提出3种嵌入空间生成算法。为了在进行增量更新时更合理地选择嵌入空间,设计2种嵌入空间选择算法。基于上述算法实现PUKALE模型,并将其嵌入数据流推理引擎CSPARQL-engine中,以实现实时语义数据流推理查询。实验结果表明,与传统的CSPARQL和KALE推理相比,PUKALE模型的推理查询时间分别约降低85%和93%,其在支持动态图谱嵌入的同时能够提升实时语义数据流推理准确率。     

欠驱动刚性航天器时间最优轨迹规划设计

应用伪谱法解决欠驱动刚性航天器的时间最优轨迹规划问题.首先建立欠驱动刚性航天器的动力学和运动学模型,对于给定的初末姿态,选取机动时间最短为待优化的性能指标,并考虑到实际控制输入受限,将其转化为优化过程中的不等式约束条件;然后应用Legendre伪谱法,将优化问题离散化为非线性规划问题进行求解.仿真结果表明,应用伪谱法规划得到的欠驱动航天器最优轨迹,能够较好地满足各种约束条件,而且计算精度高、速度快,具有良好的实时性.     

可控P2P流媒体分发的利他协作机制研究

可控网络环境下的P2P流媒体分发是近期的研究热点.利用帮手节点协助分发是可控P2P特有的分发方式,目前这方面的研究还很少.针对已有方案存在的问题,提出一套帮手节点协助的流媒体分发方案,对方案的体系结构、资源分配、资源调度等算法进行详细的描述.与其他方案相比,本方案无须对媒体数据进行特殊编码处理,与数据驱动模式完全兼容.实验证明,非编码的帮手协助机制可以极大地提升系统性能,方案是可行、高效的.     

数据网格环境下的多媒体资源检索

提出一种数据网格环境下的多媒体资源检索方法。通过设计分层结构的虚拟资源空间管理非结构化异构资源,当网格查询节点收到检索请求时,根据虚拟集和元数据等信息进行信息过滤,得到候选集及相应的结构化特征和语义标注,执行节点对候选集进行相似度求精和排序运算,并将排序结果返回查询节点。仿真结果表明,该方法具有较好的时间性能和较高的查准率。     

一种动态适应性连接器设计实现关键问题研究

连接器对软件的适应性具有重要影响.为正在研发的适应性软件开发平台-smartFramework提出一种动态适应性连接器模型.针对该模型设计实现存在的一系列关键问题,基于实例化方法和反射技术,并融合所提出的动态设定通信缓冲区方法和使用主题描述与匹配数据方法,给出支持不同构件间连接机制、构件间动态连接机制、传输和匹配异类数据机制,形成完整的解决方案,设计实现了该模型.应用该模型进行的示例开发实验进一步证实了解决方案可行有效,为适应性软件支撑工具开发提供了支持.