基于语言等价的Petri网化简

定义了α闭包表达式和同步交错正规表达式,证明了同步交错正规表达式与Petri网语言的等价性,给出了Petri网语言的结构特征:任意一个Petri网语言都是一个正规语言表达式与α闭包表达式的同步,借助于这一特性,给出了Petri网的化简过程及其算法。     

同步轨道SAR参数分析及成像方法

针对地表信息探测及监控的地面遥感应用场合,利用同步轨道卫星对地观测重复周期短、可实时监控的特点,从概念、原理上对同步轨道合成孔径雷达进行了说明,对其参数设计方法进行了研究。在条带成像模式下对卫星相对运行轨迹和波束覆盖范围进行了重点研究,理论上分析和计算了卫星轨道及姿态对雷达成像斜视角及多普勒中心的影响。基于对中国地区地理的监测,设计了一组有效的雷达参数,对此进行了理论仿真,对GEOSAR成像中的距离多普勒成像算法和后向投影算法分别进行了对比和说明。通过数据仿真结果验证了本系统的有效性和可行性。     

一种强干扰环境下异步串行通信再同步方法

针对传统异步串行通信再同步方法在强干扰环境下暴露出的问题,提出了组合同步的概念,并将其应用于实现异步串行通信的再同步。接收端通过识别母同步码组的子同步码实现与发送端再同步,有效提高了复杂环境下的异步串行通信再同步概率。对算法实现进行了描述,给出了算法复杂度和实现再同步概率的数学表达式,定义了表征再同步算法抗干扰能力的度量标准并给出了表达式,就以上指标与传统再同步算法做了仿真比较和深入分析。以两种二进制频移键控(binary system frequency shift keying,2FSK)调制解调器搭建系统进行实验,验证了该方法的有效性。     

Petri网的公平性及分析

公平性是反映了在资源竞争时Petri网模型系统中行为的无饥饿性。公平关系分为三个层次,即公平关系、弱公平关系和广义公平关系,并衍生出亚公平关系和准公平关系;对应的系统网模型包括公平网、弱公平网,亚公平网等。同时相对公平网严格要求,系统的Petri网模型存在分组公平和局部公平,反映了网系统局部行为的公平关系。在Petri网模型简化和子网合成时的公平性保性,反映简化和合成后资源共享的保持特性。综述了以上公平性及判定方法,介绍公平性在系统中的应用,并给出公平性的细化定义和同步距离的关系,展望了Petri网公平性在连续系统与离散事件系统中的未来研究方向和应用难点,对公平关系今后的研究具有一定的指导意义。     

一个临界混沌系统的驱动和时滞反馈控制同步

利用驱动和时滞反馈控制的混合方法,从理论上提出了渐近同步的新标准.其中,只要设置两个控制器就能使得驱动系统和响应系统达到完全同步,而且这种同步是时滞无关的同步.最后的数值模拟也表明提出的理论结果是正确和有效的.     

电压不对称时永磁同步电动机的动态过程

文章探讨了永磁同步电动机输入电压不对称运行的动态过程.通过建立数学模型及实时仿真,获得定子电流、感应电动势、电磁转矩、角速度的实时变化曲线.结果表明,永磁同步电动机输入三相不对称电压时,其定子电流、感应电动势、电磁转矩、转速均发生振荡,这不仅使电机无法正常运行,而且可能导致电机的转子永磁体退磁.这一结果可以为改进永磁同步电动机的控制提供有力依据.     

Unix邮件系统双机数据自动同步备份的一种方法

通过对Unix邮件系统的备份时同和双机备份软件自动任务执行方法的分析,给出一种适合学校Unix邮件系统的备份方案．利用Rsync软件和crontab实现了双机数据自动同步备份．     

泥水盾构施工废弃泥浆对同步注浆材料性能的影响

泥水盾构施工会产生大量废弃泥浆,传统的抛弃堆放不但污染环境且占用土地资源。依托南京长江新济洲供水廊道项目泥水盾构工程,针对江底盾构施工中的废弃泥浆,开展了将其应用于同步注浆材料的可行性研究。通过室内试验,研究了泥浆固水比、膨润土替代率和废弃泥浆黏粒含量对注浆材料性能的影响,同时对比分析了新配制膨润土泥浆和废弃泥浆对注浆材料性能影响的差异。结果表明：增大泥浆固水比,可使砂浆凝结时间缩短、强度增大、泌水率和体积收缩率降低,但会导致砂浆流动性变差。相比于新配制膨润土泥浆,废弃泥浆制备的砂浆具有更优的流动性能,但存在泌水率偏大和强度偏低的问题。采用废弃泥浆替代部分新配制膨润土泥浆,则能够有效控制砂浆的泌水率增大和强度降低的问题,同时使砂浆的流动性能大幅提高;废弃泥浆黏粒含量对砂浆性能影响相对较小,一定程度上表明了使用不同地层废弃泥浆制备的砂浆性能差异不大,故无须随地层变化而对砂浆配比进行较大调整,便于实际工程施工应用。     

基于单片机实现的单总线病房对讲系统

简单介绍了单总线的传输协议,详细分析在单总线上利用单片机实现码分多址和串行时分复用的解决方案.利用码分多址和串行时分复用的方法,设计并实现了一种基于单片机的单总线病房对讲系统.     

基于Reed-Solomon码的量子可同步码

提出了基于Reed-Solomon码构造量子可同步码的一个方法,并给出了这些量子可同步码达到块同步能力上界时的条件。同时,这些量子可同步码对由量子噪声引起的比特错误和相位错误具有最优的纠错能力。