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

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

逐步Ⅰ型混合截尾试验下Burr部件的可靠性分析

在逐步Ⅰ型混合截尾试验下,研究了Burr部件寿命参数及可靠性指标的极大似然估计和Bayes估计.利用简单迭代方法,给出了寿命参数和可靠性指标的极大似然估计的数值解.然后利用Lindely Bayes近似算法得到了平方损失下寿命参数以及可靠性指标的Bayes估计.最后,运用Monte-Carlo方法对各估计结果作了模拟比较,结果表明Bayes估计较极大似然估计的误差小.     

导航技术及其在作战指挥自动化中的作用

导航技术在陆海空三军中均发挥着重要作用,本文介绍了几种常用的导航技术及其结合在一起的综合导航技术,分析了导航和C3I的关系及其在作战指挥自动化中的地位和作用,阐述了导航是三军协同作战的重要纽带之一。     

逐步增加Ⅱ型截尾样本下k/N(G)系统可靠性指标的置信区间

在逐步增加Ⅰ型截尾样本下,研究k/N(G)系统可靠性指标的区间估计问题。假设部件寿命服从指数分布,利用极大似然法和Bayes方法,首先给出了部件失效率的Bayes近似置信区间,其次推导出了系统可靠度和平均寿命的Bayes近似置信区间的计算公式。最后给出随机模拟例子,并对置信区间的精度进行了讨论。     

以应变能释放率判据为基础的Ⅰ-Ⅱ混合型裂纹相变增韧计算

以应变能释放率判据为基础 ,采用压力敏感准则和权函数法对相变增韧陶瓷Ⅰ -Ⅱ混合型裂纹的增韧效应进行了理论计算 ,分别给出了静止裂纹和定常扩展裂纹相变塑性屏蔽的理论表达式。结果表明 :相变对静止裂纹有负屏蔽效应 ,并随KⅡ/KⅠ 的比值增大而增大 ;对定常扩展裂纹的增韧结果除与材料弹性模量、相变尾区高度和相变体积分数有关外 ,还随KⅡ/KⅠ的比值增大而减小。     

武器装备一体化试验鉴定中两类风险管理

在制定武器装备试验鉴定方案时,厂家和部队双方很难协调生产方风险α、使用方风险β和试验成本之间相矛盾的问题。提出的一体化试验鉴定方法,引用F分布构造的统计量,根据试验具有继承性的特点,充分结合先验数据与现场试验数据对产品进行鉴定,证明了2类风险α、β与现场数据样本量n、先验数据样本量m等参数间的内在联系,运用MATLAB软件计算出一体化试验鉴定方法对应的各参数间量化数值表。     

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

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

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

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

二战“传奇虎”的兴衰

虎,百兽之王。一声怒吼,群山为之震颤,令人望而生畏。就连以它的名字命名的武器也是威力无比。二战时期的德国“虎”Ⅰ坦克以其独有的迅速的机动力、凶猛的火力、良好的防护力给了苏、美、英等军队不少血淋淋的教训．使他们的军队“谈虎变色”。下面我们一起看看这种猛虎的庐山真面目。     

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

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