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

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

一种基于辅助交互的手抓握动作生成方法

针对沉浸式、非沉浸式和混合式虚拟维修系统中,维修动作交互过程繁琐、实现效果不佳的问题,提出一种高效的辅助交互方法,首先基于现有的维修动作规则和用户对维修任务的理解,建立了用户辅助信息接口和系统反馈辅助信息接口,前者由用户提供抓取目标、抓取手形和抓握点等辅助信息加速交互过程,系统通过后者反馈辅助信息帮助用户进一步决策,然后应用增广矩阵方法对经典逆向运动学算法进行扩展并生成具体的维修动作,最后应用该方法实现了装备车辆轮胎更换任务中维修动作的生成,维修动作交互过程的鲁棒性和效率得到显著提高。     

Nonperiodic preventive maintenance for repairable systems

As a complex system with multiple components usually deteriorates with age, preventive maintenance (PM) is often performed to keep the system functioning in a good state to prolong its effective age. In this study, a nonhomogeneous Poisson process with a power law failure intensity is used to describe the deterioration of a repairable system, and the optimal nonperiodic PM schedule can be determined to minimize the expected total cost per unit time. However, since the determination of such optimal PM policies may involve numerous uncertainties, which typically make the analyses difficult to perform because of the scarcity of data, a Bayesian decision model, which utilizes all available information effectively, is also proposed for determining the optimal PM strategies. A numerical example with a real failure data set is used to illustrate the effectiveness of the proposed approach. The results show that the optimal schedules derived by Bayesian approach are relatively more conservative than that for non‐Bayesian approach because of the uncertainty of the intensity function, and if the intensity function are updated using the collected data set, which indicates more severe deterioration than the prior belief, replacing the entire system instead of frequent PM activities before serious deterioration is suggested. © 2010 Wiley Periodicals, Inc. Naval Research Logistics, 2010     

Slow failure: Understanding America’s quagmire in Afghanistan

ABSTRACT

The United States government has no organised way of thinking about war termination other than seeking decisive military victory. This implicit assumption is inducing three major errors. First, the United States tends to select military-centric strategies that have low probabilities of success. Second, the United States is slow to modify losing or ineffective strategies due to cognitive obstacles, internal frictions, and patron-client challenges with the host nation government. Finally, as the U.S. government tires of the war and elects to withdraw, bargaining asymmetries prevent successful transitions (building the host nation to win on its own) or negotiations.     

智能搜救机器人在障碍地形的自主构型规划

为了解决带有辅助摆臂的智能搜救机器人自动规划构型以实现自主越障的难题,提出一种能够适应复杂地面形状的搜救机器人越障构型规划新方法,其核心是一种高适应性、高效率的机器人姿态预测算法。通过将地形表示为离散的点集,建立了搜救机器人的单侧姿态预测数学模型;进一步提出了快速求解该问题的算法,每秒可预测1 000～1 500个姿态。基于此,设计了机器人越障过程中状态、动作的评价指标,运用动态规划算法与滚动优化思想构建了具有优化能力的、能够实时运行的构型规划器。仿真与实物实验的结果表明,该方法能够使机器人自主调整构型穿越复杂地形,且相较强化学习算法和人工操作具有更平稳的越障效果。     

与装备维修组织设计相关的几个问题

论述了建立装备维修组织过程中的主要活动及它们之间的关系。分析了国内外目前在该领域的研究状况。重点讨论了装备维修组织设计中任务环境、资源组成、资源分布、管理结构、维修专业组结构及资源动态决策等六个问题。     

What is the global landpower network and what value might it provide?

US national security guidance, as well as the US Army’s operational experiences since 2001, emphasizes the importance of working closely with partner countries to achieve US strategic objectives. The US Army has introduced the global landpower network (GLN) concept as a means to integrate, sustain and advance the Army’s considerable ongoing efforts to meet US national security guidance. This study develops the GLN concept further, and addresses three questions. What benefits can the GLN provide the Army? What are the essential components of the GLN? What options exist for implementing the GLN concept? By developing the GLN concept, the Army has the opportunity to transition the GLN from an often ad hoc and reactive set of relationships to one that the Army more self-consciously prioritizes and leverages as a resource to meet US strategic objectives.     

美军电子信息装备系统集成技术评析

信息综合集成技术已成为电子信息装备研发的重要手段。叙述了美军最新电子信息装备综合集成技术的发展目标、发展重心和发展措施;介绍了美军信息装备综合集成技术发展策略和方法;分析了其主要功能及技术特性;并对美军电子信息装备的发展现状、技术水准和存在的问题给予了较为客观的评价。     

Europe,Russia and the Ukraine crisis: the dynamics of coercion

This article analyses European strategy towards Russia during the Ukraine crisis between February 2014 and December 2015, conceptualising it as a coercive diplomatic strategy and analysing the relationship between its ends, ways and means. European strategy sought to reverse Russian intervention. However, this overarching aim was flanked by two ‘constraining’ aims of avoiding an escalation of the conflict and a breakdown of relations with Russia. The strategy shifted between these aims, which proved to be irreconcilable: while the EU partly succeeded in containing the conflict, it failed to reverse Russian intervention and relations between the EU and Russia deteriorated sharply.     

Optimal maintenance policies for a safety‐critical system and its deteriorating sensor

We consider the integrated problem of optimally maintaining an imperfect, deteriorating sensor and the safety‐critical system it monitors. The sensor's costless observations of the binary state of the system become less informative over time. A costly full inspection may be conducted to perfectly discern the state of the system, after which the system is replaced if it is in the out‐of‐control state. In addition, a full inspection provides the opportunity to replace the sensor. We formulate the problem of adaptively scheduling full inspections and sensor replacements using a partially observable Markov decision process (POMDP) model. The objective is to minimize the total expected discounted costs associated with system operation, full inspection, system replacement, and sensor replacement. We show that the optimal policy has a threshold structure and demonstrate the value of coordinating system and sensor maintenance via numerical examples. © 2017 Wiley Periodicals, Inc. Naval Research Logistics 64: 399–417, 2017