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

随着电路规模的迅速增长,设计验证越来越复杂,从而需要高速的数据处理系统。基于总线型多机系统环境,研究电路网表和布尔表达式的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调度算法更好地保证了用户使用资源的公平性,提升了系统的吞吐量。     

一类多时滞泛函微分方程周期正解的存在性

利用非线性泛函分析中半序Banach空间的锥理论和不动点指数方法,得到了一类多时滞泛函微分方程周期正解存在性的充分性条件。     

装备体系结构优化可行方案空间构建方法

针对装备体系结构方案数量规模较大及传统构建方法效率较低的问题,以单一费用约束条件下的装备体系结构优化问题为例,提出了一种可行空间构建的新方法,试图缩小体系成员的遍历范围,减少运算量,提高体系结构可行方案空间的构建效率。最后,利用Matlab软件对新算法进行数值模拟与仿真,并与传统方法进行了比较,结果表明:新方法的计算效率得到了明显提高。     

一类非线性系统的浑沌与次谐波

本文利用Melnikov方法讨论了一类非Hamilton可积方程的周期激励系统,得到了该系统存在浑沌解与次谐波分支的充分条件。     

一类广义Liénard方程极限环的不存在性

利用Cauchy问题解的唯一性,研究了一类二阶非线性微分方程极限环的不存在性,得到了在奇点唯一的条件下极限环的不存在的充分条件,所得结果运用和发展了以往的方法。     

基于Matlab/Simulink的舰空导弹系统仿真建模

为便于某新型舰空导弹武器系统的作战研究和训练,对其进行了仿真建模研究.根据动态仿真软件Simulink的特点,提出了复杂系统的建模策略.利用面向对象方法,将整个舰空导弹武器系统按功能分成多个模块,将其封装,并充分利用Matlab中的各种现成模块实现复杂的时序及逻辑控制关系,同时在主要的数据计算部分用C语言来开发有关算法.采用某型防空导弹有关数据进行的仿真试验,对所建立的仿真模型进行了校核、验证和确认.结果表明了本文的建模策略和方法以及得到的仿真模型正确合理,仿真结果可信.     

一类Hamilton周期扰动系统的次谐分枝与浑沌性质

本文利用Melnikov方法讨论了一类三次Hamilton可积系统的周期激励模型,得到了该系统存在浑沌解及次谐波分枝的某些充分条件。     

一类具有阶段结构和潜伏期时滞的SEI模型的全局动力学性态

研究一类具有潜伏期时滞、阶段结构和标准发生率的SEI模型,利用比较定理和单调迭代的方法,分别得到无病平衡点和地方病平衡点全局吸引的充分条件．     

一种用于求解火力分配问题的混沌优化算法

针对火力分配问题,提出了一种新颖的用于解决组合优化问题的混沌优化算法.该算法利用混沌搜索的方法得到新的合法解,充分利用了混沌的随机性和遍历性等特点来改善寻优效率.通过设定逃逸系数,算法在寻优过程中具有了能够跳出局部极小点到达全局最优点的能力.仿真结果表明,该方法的寻优效率明显高于Hopfield等其他优化方法.     

Priority queue with customer upgrades

This article is concerned with a general multi‐class multi‐server priority queueing system with customer priority upgrades. The queueing system has various applications in inventory control, call centers operations, and health care management. Through a novel design of Lyapunov functions, and using matrix‐analytic methods, sufficient conditions for the queueing system to be stable or instable are obtained. Bounds on the queue length process are obtained by a sample path method, with the help of an auxiliary queueing system. © 2012 Wiley Periodicals, Inc. Naval Research Logistics, 2012     

部分服务台同步多重休假的GI/M/c稳态队长

在经典GI/M/c排队中引入部分服务台同步多重休假策略,利用拟单生过程和矩阵几何解的方法,求解系统的稳态队长分布及其条件随机分解。     

A queue with waiting time dependent service times

Sufficient conditions are developed for the ergodicity of a single server, first-come-first-serve queue with waiting time dependent service times.     

连续波强激光武器的动态毁伤概率数学模型

在强激光武器的跟踪误差为均方可导、各态历经、零均值的正态过程的条件下,通过明晰的物理概念与严谨的数理演绎,导出了它的动态毁伤概率的级数表达式。通过算例探讨了动态毁伤概率的性质:它存在两个极大值所对应的随机穿越的自然频率,当跟踪系统工作在其中的非零频率上时,更具有快速反应能力;展现了跟踪误差的传递函数与动态毁伤概率间的定量关系。为论证、设计、检验强激光武器系统的动态毁伤概率提供了理论依据与技术支持。     

Experimental and numerical investigations of interface properties of Ti6Al4V/CP-Ti/Copper composite plate prepared by explosive welding

Explosive welding technique is widely used in many industries. This technique is useful to weld different kinds of metal alloys that are not easily welded by any other welding methods. Interlayer plays an important role to improve the welding quality and control energy loss during the collision process. In this paper, the Ti6Al4V plate was welded with a copper plate in the presence of a commercially pure titanium interlayer. Microstructure details of welded composite plate were observed through optical and scanning electron microscope. Interlayer-base plate interface morphology showed a wavy structure with solid melted regions inside the vortices. Moreover, the energy dispersive spectroscopy analysis in the interlayer-base interface reveals that there are some identified regions of different kinds of chemical equilibrium phases of Cu–Ti, i.e. CuTi, Cu₂Ti, CuTi₂, Cu₄Ti, etc. To study the mechanical properties of composite plates, mechanical tests were conducted, including the tensile test, bending test, shear test and Vickers hardness test. Numerical simulation of explosive welding process was performed with coupled Smooth Particle Hydrodynamic method, Euler and Arbitrary Lagrangian-Eulerian method. The multi-physics process of explosive welding, including detonation, jetting and interface morphology, was observed with simulation. Moreover, simulated plastic strain, temperature and pressure profiles were analysed to understand the welding conditions. Simulated results show that the interlayer base plate interface was created due to the high plastic deformation and localized melting of the parent plates. At the collision point, both alloys behave like fluids, resulting in the formation of a wavy morphology with vortices, which is in good agreement with the experimental results.     

Techniques for establishing ergodic and recurrence properties of continuous-valued markov chains

We present techniques for classifying Markov chains with a continuous state space as either ergodic or recurrent. These methods are analogous to those of Foster for countable space chains. The theory is presented in the first half of the paper, while the second half consists of examples illustrating these techniques. The technique for proving ergodicity involves, in practice, three steps: showing that the chain is irreducible in a suitable sense; verifying that the mean hitting times on certain (usually bounded) sets are bounded, by using a “mean drift” criterion analogous to that of Foster; and finally, checking that the chain is such that bounded mean hitting times for these sets does actually imply ergodicity. The examples comprise a number of known and new results: using our techniques we investigate random walks, queues with waiting-time-dependent service times, dams with general and random-release rules, the s-S inventory model, and feedback models.     

弹载SINS/GPS组合导航信息同步与融合技术

针对一种基于DSP+FPGA+MCU多处理器计算机平台的弹载组合导航系统设计了精确有效的信息同步的方法,采用GPS接收机提供的1PPS脉冲和MCU提供的脉冲信号实现GPS和SINS信号时间上的同步,采用杆臂校正算法完成了GPS和SINS测量信号空间上的同步.由于系统噪声难于准确统计,因此采用自适应卡尔曼滤波算法进行数据融合.最后对系统进行了跑车试验,试验结果表明系统所采用的方法具有较好的效果.     

OGY法控制混沌研究

OGY法是一种有效的混沌控制方法,其利用混沌运动对微小扰动极端敏感及遍历特性,通过系统参数的微小摄动将混沌控制到期望的轨道.文中对OGY法及其两种改进方法作了介绍,进行数值仿真,比较3种方法的差异,为今后的混沌控制研究方法指出了新的方向.     

A New Chaotic Genetic Hybrid Algorithm and Its Applications in Mechanical Optimization Design

A new chaotic genetic hybrid algorithm(CGHA) based on float point coding was put forward in this paper.Firstly,it used chaos optimization to search coarsely and produced a better initial population.Then,a power function carrier was adopted to improve the ergodicity and the sufficiency of the chaos optimization.Secondly,the genetic algorithm(GA) was used to search finely and guaranteed the population's evolution.To avoid the search being trapped in local minimum,a chaos degenerate mutation operator was designed to make the search converge to a global optimum quickly.Finally,CGHA was used to solve a typical mechanical optimization problem of shear stress checking for a cylinder helix spring.Compared with traditional penalty function method,chaos-Powell hybrid algorithm and standard GA,CGHA shows better performance in solution precision and convergence speed than those of the algorithms.Therefore,CGHA is a new effective way to solve the problems in mechanical optimization design.