移动环境公平支付协议的设计与分析研究

结合固定网络中的支付协议并充分考虑移动装置和无线网络的特点,提出了一种移动环境公平支付协议。利用模型检验工具对协议进行分析并将该协议与其他支付协议进行比较,分析和比较结果表明,该协议具有公平、保密、高效等特点,适用于移动环境。     

嵌入式实时系统及其相关问题

嵌入式实时计算机应用系统有别于常规的通用计算机系统，存在着特殊的性能和设计技术要求，有许多问题需要进一步深入研究和探讨。本文阐述了嵌入式实时系统的概念内涵和基本特征，综述并讨论嵌入式实时系统的现有设计模式和一些关键技术。     

线性时变连续时间系统参数估计中的Taylor级数方法

本文通过引入Taylor级数基函数的微分运算矩阵和向量积矩阵，给出了线性时变连续时间系统参数估计中的Taylor级数方法。     

具有有限缓存器、多托盘的生产系统建模

本文对有限缓存器，多托盘加工的串行生产系统建立了极大代数模型，并给出了一个简例。     

基于符号ADD和线性多分支程序的分类算法安全评估

分类算法是机器学习和数据分析中重要的算法.当需要对分类算法本身以及算法的输入数据进行隐私保护时,就出现了分类算法安全评估问题.针对现有的分类算法安全评估协议效率较低的问题,文章给出了一种基于代数决策图和线性多分支程序的解决方案.首先,设计了基于代数决策图的安全函数评估协议,用以安全评估决策函数;其次,引入了线性多分支程序的概念,用其对分类算法进行表示.最后,借助线性多分支程序和基于代数决策图的安全函数评估协议,给出了一个私有线性多分支程序的安全评估协议.对新的协议的正确性和安全性进行了分析和证明.实验数据表明,与原有的解决方案相比,新的协议在效率上有明显的提高.     

基于时间动态下推网络可达性分析

动态下推网络（DPN,Dynamic Pushdown Networks）由一组能刻画动态创建线程的动态下推系统（DPDS,Dynamic PushDown Systems）组成.本文首先将描述连续时间的实时时钟引入DPN,提出了时间动态下推网络（TDPN,Timed Dynamic Pushdown Networks）,能对动态创建线程的实时并发递归系统建模;然后基于时钟关键点的时钟等价优化方法,并采用on-the-fly技术,仅关心栈顶及下一层的域状态转换,动态的将连续时间模型TDPN转换为时间域表示的离散模型DPN,同时给出TDPN到DPN的转换算法;最后证明在TDPN中的可达状态当且仅当其转换状态在DPN中可达,从而可解决带动态线程创建的实时并发系统的可达性分析.     

有限元分析中的信息处理——单元延拓里兹法

有限元分析给出连续场在若干离散点(网格结点)的信息(例如平面应力板的位移)。如何利用这些离散点信息获得全场信息的连续分布(变形曲面)和进一步推算其它性态信息(应力),一般采用分片插值和分片拟合方法。本文提出了单元延拓里兹法,并将其应用于有限元分析中的信息处理。因利用了单元邻近区域的信息来处理单元内部的信息,从而提高了精度;利用较粗的网格作有限元分析,又节约了计算时间。