基于nRF24L01无人船舰数据传输系统的时钟同步

设计一种基于nRF24L01的无人船舰数据传输系统。该系统由数据发送端、无线信道和数据接收端组成。利用nRF24L01芯片的自动应答功能,判断接收端与发送端的时钟是否同步。采用基于令牌环的时钟同步协议,将通信时间片段化,主时钟以数据帧的方式将时间戳信息发送给从时钟,从时钟按照收到的时间戳信息校准自身的时钟,从而实现发送端和接受端的时钟同步。实验结果表明,系统运行到稳态时,主时钟和从时钟之间的时间误差可精确到1 us以内。     

基于FPGA的精确时钟同步方法

为实现分布式系统高精度同步数据采集和控制的实时性要求，提出了一种基于工业以太网的分布式控制系统时钟硬件同步方法.基于高速数字逻辑硬件方法解析IEEE1588时间同步协议，采用硬件描述语言（VHDL）和现场可编程逻辑门阵列（FPGA）设计时间戳截获、晶振频率补偿、时钟同步算法等模块，为嵌入式实时控制系统构架高精度的硬件时钟同步方案，该方法解决了传统的基于嵌入式软件的时钟同步方案中时间戳不稳定、同步精度低等问题.对基于工业以太网的分布式控制系统进行了动态测试验证，实际测试数据表明系统各节点达到了亚微秒级的时钟同步精度，长期运行结果验证了系统同步精度的稳定性.     

黄河通信专网中的网络时钟同步应用

分析黄河通信专网情况,论述时钟同步问题对网络的影响及通信网时钟同步技术及设置的方法,通过工作中的案例说明专网通信中网络时钟的重要性。     

基于IEEE1588协议的高精度网络时钟同步软件设计

在分析IEEE 1588原理以及影响同步精度因素的基础上,设计了基于Windows平台的时间同步方法,为分布式网络系统的时钟精确同步提供了一种有效可行的解决办法。目前,Windows平台下直接在应用层获取的时间戳精度在10 ms级左右,系统的同步精度为ms级。针对Windows平台下获取更高精度1588时间戳的困难,设计了基于SharpPcap的时间戳处理模块,得到高精度的数据链路层时间戳,从而提高了应用层的时间戳精度。实验结果表明,采用该方法系统主从时钟的同步精度达到亚ms级,满足电力系统中同步精度在ms级以内的时钟同步需求。     

数字短波阵列天线的时钟同步算法

针对阵列天线端数字采样时钟的同步问题,提出一种高精度的时钟同步算法。在PTP同步协议的基础上,通过对时钟脉冲的上升沿和下降沿检测提高时间戳精度。基于FPGA设计了以双边沿检测算法为核心的时钟同步电路,并搭建仿真平台对算法进行验证。仿真结果表明,该算法能对短波阵列天线输出的阵列信号进行高精度的同步采样。     

高性能计算节点中的同步操作加速引擎设计

随着GPU等加速部件在超级计算领域的广泛应用,超级计算机单个节点的硬件并行度比单核时代高几倍甚至几十倍。在该环境下,并行应用于单个芯片、计算节点内和计算节点间的通信密度较单核时代急剧增加,通信瓶颈问题愈发突出。为应对高并行度带来的通信瓶颈问题,提出一种同步引擎的硬件设计,该同步引擎可有效地支持和加速计算节点内多任务间频繁小数据量传输(细粒度同步)以及计算节点内和节点间的Barrier、All-reduce集合操作,进而加速并行应用的性能。测试结果表明,在16进程规模下的集合操作测试中,同步引擎相比传统的软件实现有约4倍的加速,在三角矩阵分解(LU分解)测试程序中可以获得约20%的性能提升。     

基于DS理论的网络时钟同步算法

目前的NTP（Network Time Protoc01）时钟同步算法已不能满足许多新兴网络对时钟同步精度的要求。为此,提出一种基于DS（Dempster／Shafer）理论的NTP时钟同步改进算法。在分析目前NTP时钟同步算法不足的基础上,将Ds理论引进到传统的NTP时钟同步中,建立一种改进的NTP时钟同步算法并进行了仿真实验。实验结果表明,与传统算法相比,该NTP时钟同步算法有效地提高了同步精度。     

授时同步产品

中国航天时代电子公司天合导航通信技术有限公司开发的卫星授时同步产品．在卫星导航定位系统的基础上．采用了GPS／GLO／BD三系统卫星接收技术、10ps高精度的误差测量技术、48bit的数字DLL调相技术、完善的DLL算法．以及可靠的多类型接口保护技术等授时技术．在完成精确定位的同时．可提供高精度的对时服务．还可利用各种时钟传输方式．为用户提供多类型的高精度同步时钟信号。     

桥梁健康监测系统中时钟同步的应用研究

基于桥梁健康实时监测系统的总体框架和现状,重点分析了该系统中存在的时钟不同步的问题。介绍了几种主要的时钟同步技术和方法。根据监测系统的实际情况、结合常用的时钟同步技术,设计提出了一种适用于小范围局域网内的高速实时数据采集系统的时钟同步模型,阐述了该模型的时钟同步过程。最后,讨论了该模型的时钟同步过程的误差来源及其系统的扩展性问题。     

基于平方根-卡尔曼滤波的无线网络仪器时钟同步算法

提出基于平方根-卡尔曼滤波算法的时钟同步算法,在保证算法收敛的前提下对时钟偏差和偏斜进行最优估计。算法中提出通信能耗与时钟精度的关系模型,在满足一定精度的前提下校准时钟,既能保证时钟的稳定和精准,又能较少地占用带宽资源,节约通信能耗。最后通过网络模拟器模拟实验论证了算法的性能。     

事件约束的时间不确定事件流查询处理

提出两种事件约束的时间不确定事件流查询处理方法.基于可能世界的查询处理方法,根据事件约束的不确定事件查询语义,通过对可能世界的遍历获取查询结果.基于事件约束优先的查询处理方法中,根据事件约束计算其所涉及事件发生时间的联合分布律,进而获得复合查询所涉及事件的边缘分布律,最后利用时间不确定事件查询处理技术进行后续的查询处理.实验证明了2种方法对时间不确定约束事件查询有效.基于事件约束优先查询处理方法的可能世界集规模更小,比基于可能世界的查询处理方法更高效.     

基于Modelsim与Matlab/Simulink联合仿真技术的接口与应用研究

根据Modelsim与Matlab/Simulink软件各自的特点,对两者的联合仿真技术进行了研究。应用Simulink仿真库里提供的link for modelsim功能解决了联合仿真的接口与实现问题,并把该技术应用于IEEE1588时钟同步仿真中硬件时间戳的获取,取得了良好的效果。     

分布式发电系统中的人工智能技术

总结分布式发电系统运行于孤立模式和并网模式时需要考虑的主要问题,全面综述多代理系统（MAS）、人工神经网络（ANN）、遗传算法（GA）和模糊逻辑（FL）等典型人工智能技术在分布式发电系统中应用情况及国内外的研究现状,分析并指出各种方法在应用中存在的问题和解决思路．提出一种基于高速配电网通信技术（PLC）和Multi-agent技术的网络化分布式发电系统协调控制系统方案．     

蓄电池在线监测两个关键技术的研究

在分析比较已有的各种蓄电池电压测量方法的基础上,提出了在蓄电池监测仪器研发方面的两个关键技术：一是采用低价格、高精度、高共模抑制比的INAl48差动放大器芯片,组成一种线性采样电路,并以ARM（STM32F103ZE）微处理器为核心,作为下位机负责采集Ⅳ路蓄电池单节电压和温度等参数的巡检;二是选用RS485作为单片机与上位机实现远距离通信的串行接口,将定时采集的数据进行处理和向上位机传送,并通过“逻辑分析仪”为蓄电池的在线监测和故障快速诊断提供准确的技术参数．该技术已成功用于一种新型蓄电池组监测仪的研发,并在徐塘发电公司等企业得到了推广应用．     

军网身份鉴别协议形式化分析

形式逻辑是一种抽象的逻辑证明工具,密码协议的形式逻辑证明技术日趋得到重视,人们采用形式逻辑分析方法发现了许多协议中存在的安全缺陷,它的实用性已经得到了充分证明。本文对目前较为常用的形式逻辑分析方法——BAN逻辑的形式化分析理论进行了介绍,在此基础上对军网身份鉴别协议进行了BAN逻辑描述,并对协议的安全性进行了理论分析与证明。结果为协议能正确传递鉴别双方的信任关系,协议设计上不存在冗余步骤。     

基于单片微机的模糊逻辑控制方法（下）

基于单片微机的模糊逻辑控制方法（下）马鸣锦２．２模糊控制过程模糊控制过程的主要步骤由此流程给出（见图８），与其它控制方法一样，仍然需要从输入传感器获取输入变量的值，如温度、湿度，经体现模糊控制技术的模糊推理器处理后，仍然需要输出信息去驱动被控执行机构...     

事件驱动的电信业务过程建模方法

通过分析电信业务过程中涉及的动作和事件的关键概念,提出一种基于扩展UML活动图的方法. 该方法通过事件驱动机制将动作和事件进行组合,使业务逻辑能正确响应来自网络的各种异步事件,而且能满足对电信业务过程建模的需求. 重点研究了UML活动图的扩展、事件驱动机制的模型描述和业务过程模型的执行机制.     

生产调度广义析取规划模型求解算法

充分考虑广义析取规划模型利用符号逻辑表达关系这一特点,提出一种新的基于逻辑分支的分支定界算法.首先结合生产工艺的特点,使用分支变量的选取准则确定出部分离散变量,然后应用逻辑分支的方法确定逻辑变量之间的关系,再分别应用逻辑推理确定其它的离散变量.根据算法详细实现步骤,对一个典型的间歇过程生产调度模型求解,并对结果进行分析和说明.仿真结果表明,依据模型布尔变量之间存在的关系,通过逻辑分支和推理剪掉了大量分支,提高了问题的求解效率并得到了最优解.     

基于DSP的现场总线通信节点的设计与实现

设计一种以DSP芯片为核心的现场总线通信节点,采用CAN总线在通信节点与远程主机之间形成总线式网络拓扑结构,实现信息交换.CAN总线所具有的优点,保证了通信节点的可靠性及实时性的要求,同时通信节点又具有极强的可扩展性,可应用于多种工程实践.     

数字电路逻辑模拟软件DCLSS的研究与实现

为了能够在微机上用软件实现不依赖于特定实验装置的数字电路实验 ,开发了基于Windows环境下的数字电路逻辑模拟软件DCLSS .软件采用图形输入方式 ,元件模型为五值、三强度及上下跳变延迟 ,模拟算法采用表驱动方法、时间映射方式、门级和功能级混合模拟 .该软件能够模拟组合逻辑电路、同步和异步时序逻辑电路及部分GAL等可编程逻辑元件组成的电路 .并重点介绍了软件所采用的元件模型及模拟算法