面向验证的启发技术设计

采用有效的人工智能技术提高验证效率正成为解决验证复杂性的手段之一。本文针对STG（State Transition Graph）中状态枚举数据量大的问题,提出隐含遍历的状态映射策略。并根据状态存储和电路结构特征,重点研究了HASH表状态冲突处理、函数域限定、函数不相交分解和混合搜索等启发技术策略。     

Parallel machine scheduling with job assignment restrictions

In the classical multiprocessor scheduling problem independent jobs must be assigned to parallel, identical machines with the objective of minimizing the makespan. This article explores the effect of assignment restrictions on the jobs for multiprocessor scheduling problems. This means that each job can only be processed on a specific subset of the machines. Particular attention is given to the case of processing times restricted to one of two values, 1 and λ, differing by at most 2. A matching based polynomial time ε‐approximation algorithm is developed that has a performance ratio tending to . This algorithm is shown to have the best possible performance, tending to 3/2, for processing times 1 and 2. For the special case of nested processing sets, i.e., when the sets of machines upon which individual jobs may be assigned are non‐overlapping, the behavior of list scheduling algorithms is explored. Finally, for assignment restrictions determined by just one characteristic of the machines, such as disc storage or memory constraint in the case of high performance computing, we contribute an algorithm that provides a 3/2 worst case bound and runs in time linear in the number of jobs. © 2006 Wiley Periodicals, Inc. Naval Research Logistics, 2007     

基于物理模型的行星轮系特征提取与评估方法

特征提取与评估是损伤检测和故障预测的基础。针对2K-H行星轮系缺齿损伤,建立了行星轮系的损伤模型,通过分析模型的仿真信号,提出了基于主频边带、小波变换和经验模式分解的多种损伤特征,并采用双样本一致性检验方法对所提取损伤特征的分类能力进行了评估,采用含噪声的仿真信号和试验数据对损伤特征进行了验证。验证结果表明,所提取的损伤特征均具有较强的分类能力,其中主频边带特征的分类性能最优。     

Building peace from the margins in Somalia: The case for political settlement with Al-Shabaab

The prevailing discourse in Mogadishu among the federal government of Somalia and the international community is that Al-Shabaab is no longer relevant in contemporary Somali political landscape. In the language of the government, Al-Shabaab is like a lost crocodile thrown out from the river. In the lexicon of the international community, Al-Shabaab is gradually receding. In fact, Al-Shabaab is actually puissant and potent in terms of social, political and military capabilities; not just in Somalia, but also in the wider East Africa region. Why is Al-Shabaab resilient and resistant? Why is it even more effective than the federal government? To answer these questions, this article reveals how Al-Shabaab is increasingly more legitimate than the federal government. In conclusion, the article proposes that negotiated settlement with the insurgency movement could lead to peace in war-torn southern Somalia.     

论翻译中的文化依附

文化依附问题在翻译中至关重要。本文用若干有说服力的译例从文化偶合、文化并行、文化冲突、文化空缺四个方面介绍分析了在翻译过程中如何处理文化依附矛盾的问题。     

基于阶次小波包与粗糙集的轴承故障诊断

针对齿轮箱启动过程中振动信号表现为非平稳、非高斯特征及传统诊断方法诊断精度不高的现状,将阶次小波包和粗糙集理论引入轴承的故障诊断中,提出了一种新的故障诊断方法。首先利用阶次跟踪算法对瞬态振动信号进行重采样,得到等角度分布振动信号,其次采用小波包对该信号分解—重构,并对每个频段的能量进行归一化,构成特征向量,通过粗糙集理论得到清晰、简明的决策规则,最后通过故障实例验证该方法的有效性。     

基于蒙特卡洛法的无人机飞行冲突解脱安全评估

冲突解脱技术是无人机与有人机共域飞行的前提保障。针对目前缺少对冲突解脱技术安全评估的方法,提出运用蒙特卡洛法对飞行冲突进行仿真模拟,得出冲突解脱算法的安全效率。提出基于改进蚁群算法的冲突解脱技术,实现无人机的飞行冲突解脱;利用蒙特卡洛法,对飞行冲突过程进行大规模仿真,计算冲突解脱效率,与基本蚁群算法进行对比,并从安全角度对结果进行分析。提出的思路可为未来无人机空域运行安全评估体系的构建提供一种理论参考。     

Walking a tightrope: the International Criminal Court and conflict prevention in Africa

Many African countries gained political independence in the 1960s. This era of independence came with promises and great expectations of economic, political and social development. Fifty years later, it is certain that the promises and expectations of independence have not been easily realised. Perennial violent conflicts have continued to ravage many countries in Africa, causing the catastrophic breakdown of law and order. Therefore, one of the major issues in conflict resolution discourse in Africa is how to develop functional mechanisms for the prevention of violent conflicts. This article examines the capacity of the International Criminal Court (ICC) to act as a mechanism for conflict prevention in Africa. Notwithstanding the doubts and uncertainties associated with the impact of law on conflict transformation, this article argues in the main that the ICC contributes to conflict prevention in Africa by expressing global norms of international law, challenging the culture of impunity in some countries, contributing to general deterrence, speedily intervening in some violent conflicts, and contributing to building some records of atrocities by identifying who did what.     

On matched active redundancy allocation for coherent systems with statistically dependent component lifetimes

This study addresses the allocation of matched active redundancy components to coherent systems with base components having statistically dependent lifetimes. We consider base component lifetimes and redundancy component lifetimes which are both stochastic arrangement monotone with respect to a pair of components given the lifetimes of the other components. In this context, allocating a more reliable redundancy component to the weaker base component is shown to incur a stochastically larger system lifetime. Numerical examples are presented as an illustration of the theoretical results.     

The African Capacity for Immediate Response to Crisis: conceptual breakthrough or anti-imperialist phantom?

The creation of an African Capacity for Immediate Response to Crisis (ACIRC) is a sign of Africa's willingness to take its destiny into its own hands. Presented as a reaction to the slowness of the development of the African Standby Force (ASF), it is also a response to some of the ASF's conceptual weaknesses. This decision reflects a wish to establish an instrument better equipped to deal with the challenges Africa is facing. Departing from the (sub)regional logic of the ASF results from a desire to take into account the transnational nature of threats, while its enlarged mandate is meant to offer Africa the capacity to intervene in all kinds of conflicts, including by undertaking peace enforcement activities. But the obstacles on the road towards the actual creation and mobilisation of this capacity should not be underestimated. These include material difficulties, but also political tensions, between ‘small’ and ‘big’ states as well as between the African Union and subregional organisations. The risk then is high that the ACIRC, whose announcement came as a reaction to France's intervention in Mali, ends up joining the ranks of the many ‘anti-imperialist’ phantoms haunting the history of the Organization of African Unity/African Union (OAU/AU). Confronted by events considered ‘neocolonial’ initiatives, African actors have indeed traditionally reacted by launching grand projects that never got off the ground. However, by actually establishing this new instrument, they may also demonstrate that times have definitively changed.