时序逻辑的并行描述与隐含遍历

随着电路规模的迅速增长,设计验证越来越复杂,从而需要高速的数据处理系统。基于总线型多机系统环境,研究电路网表和布尔表达式的BDD（Binary Decision Diagram）并行构造方法,并通过隐含遍历任务的动态调度设计有效地完成时序逻辑的状态遍历。     

基于小波变换和Feistel密码结构的图像置乱技术

由于图像信息在网络进行传输时,很容易被非法截取.而隐写术能起到保护机密信息免受攻击的作用,因而得到了广泛的研究和应用.置乱技术虽然是隐写术的预处理过程,但它在隐写术中起着非常重要的作用.提出了一种新的基于小波变换和Feistel密码结构的图像置乱方法,其置乱的对象是载体图像中的小波系数,置乱算法基于Feistel密码结构,密钥采用变形约瑟夫遍历产生,属于"一次一密"的密钥生成.将该方法用于油料信息图像隐藏实验取得了良好的效果.     

星地融合网络中基于遍历容量的地面用户调度算法

星地融合网络采用无人机作为卫星与地面用户的中继设备,有效地解决偏远地区因地面无线覆盖能力不足问题。针对星地融合网络的系统资源调度问题,提出基于遍历容量的比例公平性（ergodic capacity-based proportional fairness,ECPF）调度算法。ECPF调度算法构建基于自由空间光通信（free space optical,FSO）的卫星-无人机的通信模型,并推导FSO链路的瞬时信噪比;构建基于译码转发（decode-and-forward,DF）的无人机-用户的通信模型,并推导RF链路的瞬时信噪比。然后,计算用户的遍历容量,并结合比例公平性（proportional fairness,PF）调度算法对资源进行调度。仿真结果表明,提出的ECPF调度算法更好地保证了用户使用资源的公平性,提升了系统的吞吐量。     

杂波环境下多目标跟踪数据关联的快速算法

数据关联是实现杂波环境下多目标跟踪的关键问题,目前公认较好的方法是联合概率数据关联（ＪＰＤＡ）,但是其计算和存储量很大,故在实际中寻求一种快速或近似的算法是十分必要的。本文提供一组有效快速算法,并在我们有关课题中得到初步验证。     

一类拟单生过程与GI/PH/1排队

利用结构矩阵分析的方法得到了一类拟单生过程在离散情形时普通遍历、Ⅰ遍历和几何遍历的关系,并利用得到的结论对排队论中的一类问题作了处理,因而具有理论和实际应用的价值。