基于障碍Lyapunov函数的多智能体系统误差约束同步

带误差约束的多智能体同步除了要求多智能体的状态同步以外,同时还要求同步误差受给定的界约束。针对期望实现误差约束的未知非线性领航-追随者多智能体系统,提出了一种分布式神经自适应同步控制方法。首先利用神经网络近似智能体动力学方程中的未知非线性项,提出了一种新的分布式障碍Lyapunov函数来限制同步误差,然后根据所提出的障碍Lyapunov函数,通过稳定性分析推导出分布式自适应控制律。最后给出了一个仿真实例,验证了利用所提出的控制律可以实现同步误差约束。

面向无人驾驶时空同步约束制导的安全强化学习

无人驾驶系统综合了软件和硬件复杂的交互过程,在系统设计阶段,形式化方法可以保证系统满足逻辑规约和安全需求;在系统运行阶段,深度强化学习被广泛应用于无人驾驶系统决策中.然而,在面对没有经验的场景和复杂决策任务时,基于黑盒的深度强化学习系统并不能保证系统的安全性和复杂任务奖励函数设置的可解释性.为此提出了一种形式化时空同步约束制导的安全强化学习方法.首先,提出了一种形式化时空同步约束规约语言,接近自然语言的安全需求规约使奖励函数的设置更具有解释性.其次,展示了时空同步自动机和状态动作空间迁移系统,保证强化学习的状态行为策略更加安全.然后,提出了结合形式化时空约束制导的安全强化学习方法.最后,通过无人驾驶汽车在高速场景变道超车的案例,验证所提方法的有效性.

基于区间同步实现混沌保密通信

利用区间同步方案实现混沌保密通信是基于脉冲和语音信号有一些间隙或一些幅度相对弱的区间的特点．在发射端，对语音信号在时域内进行压缩使其出现幅度为０的一些区间，然后将脉冲信号或压缩后的语音信号对混沌信号进行调制．在接收端，利用约束同步和自由演化同步，将所传送的脉冲信号或语音信号从已调制的混沌信号中提取出来．最后。

利用小波多尺度分解实现混沌区间同步

出利用小波的多尺度分解算法将混沌信号伪装语音信号后的已调信号，分离出仅存在混沌信号的区间和混沌信号与语音信号同时存在的区间，实施区间同步法实现混沌保密通信的方案．以Ｌｏｒｅｎｚ混沌系统为例，给出了计算机模拟结果．

基于电子商务竞标结构的分布式作战资源调度

针对现代战争作战任务规划问题,提出一种基于电子商务多轮竞标结构的作战资源调度方法,以异步、分散的方式让多个供应商协调来自多个消费者的任务资源请求。每个任务关联一个时间窗口,有些任务需要不同类的多个资源同步服务。招标由消费者发起,供应商对各资源请求发起投标,消费者根据投标结果中任务的3种状态,采取不同策略,并向供应商发送中标信息以执行任务或启动下一轮竞标。建立供应商和消费者调度问题数学模型,针对供应商资源调度非确定性多项式(nondeterministic polynomial,NP)完全问题特点,提出基于改进节约算法和自适应大邻域搜索算法的两阶段启发式求解方法;消费者模型使用混合整数线性规划来选择成本最低的投标组合,以满足任务需求。算例分析验证了所提方法的有效性。

基于滑动相关峰检测的混沌码同步法

混沌无线数字通信是未来高安全高保密无线通信的重要发展方向,而混沌码同步是其核心技术之一。该文根据混沌无线通信特点,提出一种基于滑动相关峰检测的混沌码同步方法。针对非周期混沌码同步,设计了在混沌码同步3个约束条件下的相位延迟控制模块,搭建了基于Logistic序列的同步系统动态模型,并进行了仿真。仿真结果表明,该方法可实现收发两端混沌码同步,同步速度快,抗噪能力强,有效地解决了混沌无线数字通信中的同步方法问题。

上下文无关语言的同步运算及其性质

针对上下文无关语言,引入了语言的可重复序列的依赖运算和同步运算,分析了两种运算的性质、特点,给出了可重复序列的依赖表达式、同步串约束表达式;提出了同步串约束上下文无关语言,给出了该类语言的构造规则:对于字母表上的同步串约束上下文无关语言L,都是由该字母表上的一个正规语言R与该正规语言R中某些可重复序列之间的依赖约束所形成的;证明了同步串约束上下文无关语言与同步串约束表达式所描述的语言等价,且该类语言是上下文无关语言的真子集。

运输资源共享的多层单元流水式车间排队网建模与分析

针对多层单元流水式车间,着重考虑其运输资源共享的特点,研究该车间的排队网建模方法。首先,定义不同任务的可能场景及其发生概率,采用两矩近似法描述任务节点的服务时间;其次,提出一种混合排队网模型处理车间中的同步性约束问题,并根据这些约束建立模型中各节点的关系,考虑一般分布和有限缓存区,通过迭代近似求解系统的性能指标;最后,设计了一系列的算例实验并与仿真结果对比,验证了假设模型的有效性和求解方法的精确性,并分析运输设备和缓存区对系统性能的影响,为该类生产车间的资源配置和布局规划等问题提供重要的理论支撑。

继承异常的一种解决方法

继承异常用来描述在并发面向对象语言中继承与并发的冲突．对继承异常做了系统的分析，给出一种新的分类．提出在一并发对象中将同步部分与顺序部分分离，生成两个对象，通过将同步代码放入一单独对象，将继承过程分为顺序部分和同步部分，这种分离大大地减少了继承异常的发生．

基于并发性发掘的低开销回卷恢复实现方法

现有的回卷恢复容错技术存在同步约束和阻塞问题,其时间开销随系统节点规模的增大而剧增。为此,提出一种基于并发性发掘的低开销回卷恢复实现方法。利用消息传递附带跟踪消息依赖的策略解除消息日志中的同步约束,解析进程负载以发掘进程负载的并发性,构建进程负载并发执行的实现架构,采用数据缓存策略和多线程技术实现进程内部各负载的并发执行,以降低故障恢复开销。3个NAS NPB2.3标准性能检测程序的实验结果表明,该方法可使检查点开销从0.63 s、3.19 s、1.21 s分别降低到0.18 s、0.67 s、0.19 s,日志开销率从13.4%、3.5%、18.3%分别降低到0.7%、0.1%、1.0%。