法律智能合约平台模型的研究与设计

现有的智能合约技术本质上只是一段链上代码，而真正的智能合约应是法律合约的数字化，可以实现合约条款的自动执行。为此，介绍了法律智能合约的重要科技，包括法律考量、预言机、事件模型等基础设施，在分析相关机构工作的基础上提出了法律智能合约的5个标准开发步骤，通过对法律流程标准的研究提出了设计智能合约模版的方法。为解决智能合约模版上数据预处理的问题，还设计了基于预言机技术的安全多管道事件模型。基于上述理论和模型，可进一步实现法律智能合约的开发和自动化处理。     

激光复混沌系统构建及其点乘函数投影同步

提出了一种新的激光复混沌系统及其点乘函数投影同步方法。首先,以四维激光实超混沌系统模型为基础,构建了一个新的激光复混沌系统,基于常规动力学分析方法和MATLAB仿真软件研究了系统的耗散性、平衡点、Lyapunov指数谱、相图、分叉图等基本动力学特性。研究结果表明,该系统动力学行为丰富,在一定参数下具有蝴蝶结型混沌、超混沌吸引子,非常适用于混沌加密领域。进一步,以向量点积运算为基础,定义了一种新的点乘函数投影同步方式,基于滑模控制方法实现了蝴蝶结型激光复混沌系统的点乘函数投影同步。数值仿真验证了理论分析的正确性和有效性。     

一类离散时间复杂网络系统的输出同步

利用线性稳定性理论和Lyapunov函数方法,研究了一类离散时间复杂网络系统的输出同步问题,得到了系统输出指数同步的充分性条件,数值算例表明了方法的有效性.     

基于TSK型递归模糊神经网络的加工中心双直线电机交叉耦合同步控制

为解决高精密龙门移动式镗铣床加工中心X轴的两台直线电机的同步跟踪问题,采用一种TSK型递归模糊神经网络(TSK-type recurrent fuzzy neural network,TSKRFNN)与交叉耦合控制(cross-coupled control,CCC)相结合的控制方法。利用TSKRFNN解决单轴PMLSM受到参数变化和外界扰动等不确定性影响的问题,估计并补偿总不确定性因素并在线调整网络参数,从而抵抗外界干扰,提高系统的鲁棒性和跟踪性。其次,为解决双直线电机运行时存在的参数不匹配性和耦合问题,将CCC与TSKRFNN相结合,CCC可以将单轴跟踪误差按照一定比例分配给两台永磁直线同步电动机(permanent magnet linear synchronous motor,PMLSM),以抑制由不同步问题引起的不平衡扭矩,从而使系统高精度同步运行。最后,通过双直线电机平台上证明所提方法的有效性,实验结果表明该方法鲁棒性及跟踪性优良,可以较好地满足加工中心同步控制的要求。     

时间触发以太网时钟同步协议攻击行为的性能评估方法

时间触发以太网时钟同步协议的PCF帧（Protocal Control Frames）是决定该网络能否正常工作的核心要素，一旦发生针对PCF帧的攻击行为，可能会导致整个时间触发以太网的时序错乱和瘫痪。为了更好的深入分析这种攻击行为，本文提出一种针对PCF帧的攻击行为的性能评估方法，可对攻击者能力和攻击造成的影响进行有效评估。首先以不同阶段的时钟同步过程为考量依据，对攻击行为的实施过程和造成的影响进行详细分析，建立针对PCF帧的攻击行为分类框架。然后对攻击行为的要素进行分析提取，并结合量化参数，推导出攻击行为性能量化的数学表述。最后通过典型示例，对提出的方法进行应用说明,结果表明，本文的方法可以较为合理的对攻击效能进行评估。     

结构因素对动力电池用多孔平板热管性能的影响

基于VOF(volume of fluid)两相流模型,采用计算流体力学(CFD)方法对某款锂离子电池用多孔平板热管的性能进行了仿真研究。分析表明:方孔结构比圆孔结构具有更大的蒸发/冷凝传质率和管内平均流速,6方孔平板热管的当量导热系数比原始6圆孔结构提升了30.5%;热管当量导热系数随内部孔数的增加而增加,但性能提升幅度渐渐变小;在蒸发段参数不变的前提下,热管的性能是由冷凝效果及冷凝段回流效率共同决定,热管冷凝段长度的增大并没有实质性改变热管的冷热端温差,此时所定义的当量导热系数并不能反应热管的实际性能。     

卫星移动通信中基于前导的定时同步算法

针对正交频分复用(orthogonal frequency division multiplexing,OFDM)系统中应急数据每帧长度一般为ns级或s级不等,如果无法检测到数据帧的准确到达时刻,便有可能丢失掉整帧数据的问题,提出了一种基于OFDM符号前导的联合检测同步算法(combined detecting synchronization OFDM-based preamble,CDSOP).该算法在利用改进的发送帧前导结构完成粗定时,在粗定时的基础上对接收的数据帧进行细定时,即可完成对OFDM符号定时同步的联合检测.仿真结果表明,在卫星信道环境下,该算法在定时估计标准误差等方面表现出了较好的定时同步性能.     

一种基于RTP/RTCP协议的音视频同步算法研究

提出了一种基于RTP/RTCP协议的音视频同步算法。该算法将到达接收端的音视频RTP数据包时间戳映射至一个公共的绝对时间轴上,以测算出网络传输过程中的延时误差△Ti。然后,针对接收端音视频播映不同的速度,测算数据包在缓冲区等待播映过程中的延时误差△Wi。最后以△Ti和△Wi的和作为总误差给出相应的播映策略。仿真实验结果表明,该算法的RSME低于其他同步算法,对于音视频的失步现象具有较明显的纠正效果,用户对于播映质量的满意度大幅提升。     

基于离散阵列广义同步的彩色图像加密算法

为设计出具有较高安全性能的图像算法,提出了一种基于离散阵列广义同步系统的彩色图像加密算法。首先利用离散阵列广义同步定理,在3D-Lorenz映射的基础上构造了一个具有16×16×6的阵列广义同步系统。其次,结合二维离散分数阶傅里叶变换设计了一种彩色图像加密算法。该算法对像素矩阵进行了新混沌序列的位置变换,提高了密钥空间。加密算法的密钥敏感性、直方图和信息熵的仿真实验表明:该加密算法安全性高,能够达到较好的加解密效果。     

基于InfiniBand的集群分布式并行绘制系统设计

为解决 sort-first型并行绘制负载不均衡和网络拥塞问题,在研究原有体系结构的基础上,提出了一种基于InfiniBand高速网络的PC集群分布式并行图形绘制解决方案。增加了显示节点负责场景显示。使用一种改进型的基于绘制历史的动态负载均衡算法解决了负载不平衡问题;利用InfiniBand消息传输机制开发了同步控制策略,有效地实现了帧同步。实验结果表明,该方案在保存场景一致完整性的基础上,与传统体系结构相比,显著地提高了系统帧率,降低网络通讯消耗。