Spike swapping in basis reinversion

During basis reinversion of either a product form or elimination form linear programming system, it may become necessary to swap spike columns to effect the reinversion and maintain the desired sparsity characteristics. This note shows that the only spikes which need be examined when an interchange is required are those not yet processed in the current external bump.     

Elimination methods in the m × n sequencing problem

This paper considers elimination methods in solving the sequencing problem where no passing is permitted. An elimination method consists of reducing (according to some criterion) the initial set of n solutions to a smaller set. A crucial question arises as to whether this reduced set contains an optimal solution. The answer is affirmative if this elimination criterion implies condition (3).     

Religion and American Foreign Policy, 1945–1960: The Soul of Containment. by William Inboden

This article predicts that the nuclear weapon states may opt sooner for nuclear elimination than generally expected. This delegitimation of nuclear weapons is due to five factors whose importance has grown since the mid-1990s: nuclear proliferation, the risk of nuclear terrorism, the nuclear taboo, missile defence, and the increased importance of international law. The article starts with categorizing nuclear weapons policies: nuclear primacy, maximum deterrence, minimum deterrence, existential deterrence, and post-existential deterrence. The nuclear weapon states will probably shift their policies from nuclear primacy (US), maximum deterrence (Russia), minimum or existential deterrence (UK, France, Israel, China, India, Pakistan, North Korea) to post-existential deterrence (or elimination), taking one step at a time.     

Towards the revision of the 1977 Organisation of African Unity/African Union Convention on the Elimination of Mercenarism in Africa

The revision of the 1977 Organisation of African Unity's Convention on the Elimination of Mercenarism in Africa (Mercenary Convention) is now long overdue. The existence of the Mercenary Convention has over the years failed to eliminate mercenarism in Africa, among others as a result of the manner in which it defines a ‘mercenary’. The problem is exacerbated by the rapid growth of the private security sector in the form of the private military/security company (PMSC), which to a large extent arguably represents a new form of ‘mercenary’ outfit that is technically not covered by the Mercenary Convention. Because the Mercenary Convention was adopted during a different epoch in African history there is now a need to take stock of its successes and failures and determine how it can best be revised to address the new security challenges in Africa. In this contribution the need for the revision of the Mercenary Convention is discussed. Given the difficulties and challenges presented by the Mercenary Convention, the contribution advocates the drafting of two conventions, one focusing on the regulation of PMSCs and the other focusing on the elimination of mercenarism in Africa.     

煤气泄漏报警原理用于潜艇消氢系统的自动控制设计

作者设计了一种煤气泄漏报警装置,并把它的工作原理移植到潜艇消氢系统的设计中,将原来用于手工检测、分散消氢的消氢过程改造成自动检测、集中消氢的自动控制过程,达到了减轻艇员劳动强度,大大提高测氢与消氢的及时性与准确性的目的。实艇的初步试验表明,系统设计是成功的,存在的某些问题需要依靠潜艇修理时才能解决。     

Computing the discounted return in markov and semi-markov chains

This paper addresses the problem of computing the expected discounted return in finite Markov and semi-Markov chains. The objective is to reveal insights into two questions. First, which iterative methods hold the most promise? Second, when are interative methods preferred to Gaussian elimination? A set of twenty-seven randomly generated problems is used to compare the performance of the methods considered. The observations that apply to the problems generated here are as follows: Gauss-Seidel is not preferred to Pre-Jacobi in general. However, if the matrix is reordered in a certain way and the author's row sum extrapolation is used, then Gauss-Seidel is preferred. Transforming a semi-Markov problem into a Markov one using a transformation that comes from Schweitzer does not yield improved performance. A method analogous to symmetric successive overrelaxation (SSOR) in numerical analysis yields improved performance, especially when the row-sum extrapolation is used only sparingly. This method is then compared to Gaussian elimination and is found to be superior for most of the problems generated.     

机器人仿真系统中动态图形的快速生成和处理

本文提出一种用于三维动态图形快速生成与处理的算法,能适应机器人实时仿真的要求。算法包括几何体定义、变换、隐藏线消除和动画技术等内容。本算法使用Turbo-Pascal语言在IBM-PC机上运行通过。     

筒形桅杆有限元振动计算模型的研究及空间杆系结构奇点的消除方法

本文建立了筒形桅杆的有限元计算模型并对其进行了计算、讨论,计算结果精确。本文还对空间杆系结构有限元振动计算模型中的无刚度“奇点”进行了研究,提出了一个可用于消除空间杆系结构有限元振动计算模型中的无刚度“奇点”的方法。     

基于最少谓词思想的可达路径选择

对于结构测试中的不可达路径问题,仅仅使用传统的不可达路径排除方法存在很大的限制性,应用效果一般.积极选择可达路径的思想可有效减少不可达路径的产生.目前,基于最少谓词思想的路径生成方法得到广泛的认可.了解可达路径选择思想后,主要介绍一种基于数据流信息的,具体应用基本程序切片技术来生成可达路径的方法,该方法可生成几乎有最少谓词的路径,有较好效果.     

论人的发展的历史演进与价值理想

人的解放与发展理论是马克思主义理论的最高视角。人的发展是建立在劳动实践基础上的,它经历了三个阶段：人对人的依赖,人对物的依赖,人的全面而自由的发展。人的发展只有既消除物的役使,又消除人的役使,人与社会才能得以和谐统一。     

电脑病毒及防治方法

本文介绍了电脑病毒的定义、来源、特征、形成、传播途径,同时介绍了在实际工作中如何判断电脑是否感染病毒,如何预防,以及常见电脑病毒的检测和解除方法。     

计算机病毒的防治

本文综合地探讨了计算机病毒的概念、原理及其防治。详细地分析了巴基斯坦病毒的结构和传播原理,并叙述了防治这种病毒的方法,包括消除方法和免疫方法。另外,作者认为病毒的防治尚没有完全统一的方法,必须具体情况具体分析。而最有效的措施是病毒预防。     

An interactive paired comparison method for bicriterion integer programming

This article proposes an interactive paired comparison region elimination method for bicriterion integer mathematical programming problems. The new method isolates the best compromise solution by successively evaluating a pair of associated supported non-dominated solutions. The efficiency of the method is tested by solving randomly generated problems based on varying shapes of efficient frontiers. When compared with the existing branch-and-bound method, the method was effective in reducing the burden on the decision maker. © 1994 John Wiley & Sons, Inc.     

A generalized euclidean procedure for integer linear programs

This paper investigates a new procedure for solving the general-variable pure integer linear programming problem. A simple transformation converts the problem to one of constructing nonnegative integer solutions to a system of linear diophantine equations. Rubin's sequential algorithm, an extension of the classic Euclidean algorithm, is used to find an integer solution to this system of equations. Two new theorems are proved on the properties of integer solutions to linear systems. This permits a modified Fourier-Motzkin elimination method to be used to construct a nonnegative integer solution. An experimental computer code was developed for the algorithm to solve some test problems selected from the literature. The computational results, though limited, are encouraging when compared with the Gomory all-integer algorithm.     

多车通信系统中的同频电子干扰消除优化方法

在多接口多信道车联网多车通信系统中,由于车辆的自组织特性和路网网格的不均衡性,产生同频电子干扰,对电子干扰的滤波消除能提高多车通信的信道均衡性,降低误码率。传统方法采用自适应陷波方法实现同频电子干扰消除,无法在突变的载波频率下消除同频电子干扰,导致性能差的问题。提出一种基于自适应线谱增强的多车通信系统中的同频电子干扰消除优化方法。首先构建多车通信系统,引入一种信噪干扰比的观点,对同频电子干扰进行信号模型构建,根据信号比容易分离的特点,使得模型可分离性变强,结合变步长自适应线谱增强方法,实现信号的分离过滤。仿真实验结果表明,进行同频电子干扰消除抑制处理后的功率谱收敛到信号的真实频率附近,多车通信信号能从背景色噪声中有效检测出来,降低了多车通信系统的误码率,展示了较好的信道均衡和改善能力,性能优越。     

基于状态约减的信息攻防图生成算法

针对攻防图构建中存在的状态爆炸问题,提出一种基于状态约减的攻防图生成算法。该算法在分析攻击者和目标网络特点的基础上,对独立状态节点的权限进行对比;其在保留最高权限节点的前提下,实现对低权限节点的约减,并去除冗余攻击路径。仿真实验表明算法具有计算复杂度低、能有效降低状态爆炸以及控制攻防图规模等优点。     

主动谐波消除多电平射频脉宽调制策略及其性能分析

为降低全数字发信机(All-Digital Transmitters, ADTx)的输出谐波要求,提高系统宽频带工作性能,提出并实现适用于全数字发信机的多电平射频脉宽调制(Radio Frequency Pulse Width Modulation, RF-PWM)策略。该方法通过控制各子脉冲的脉冲宽度,在基波分量加权之和正比于输入信号包络的前提下,实现对RF-PWM脉冲序列特定谐波分量的有效抑制。以3次谐波消除为例,对该5电平RF-PWM策略实现方案进行推导,同时分析验证了该方案下脉冲基波分量与信号幅度之间的最佳增益系数。在此基础上,利用软件仿真验证了理论分析结果以及主动谐波抑制RF-PWM策略的有效性。     

基于Rough集理论的数据库推理通道动态消除

提出了一种基于Rough集理论的数据库推理泄漏通道消除方法。在由数据库中所有数据生成的不完备决策表上,该方法应用Rough集理论,分析提取出敏感和非敏感数据之间的确定性推理关系,以此产生推理控制规则。利用这些规则对数据库系统返回给普通用户的数据动态地做最小修改,防止推理通道的产生。实验结果表明,该方法可扩展性强,在保证较高的数据库安全性的同时提高了数据可用性。     

Perspectives for the development of key industrial capabilities for Canada’s defence sector

With the Canada First Defence Strategy, Canada has put forth a major opportunity to reconcile national security imperatives and industrial policy. The Jenkins Report (2013) set out to examine ways to use that procurement effort to foster key industrial capabilities (KICs) that would put the Canadian defence industry at an advantage both nationally and internationally. The Canadian defence industry should then develop highly focused capabilities with a view to moving up global value chains. As such, KICs that hold the best potential should be selected. They should be sustained through a range of strategies that are however contingent on the elimination of policy gaps. This leads to a balancing act between the need to control intellectual property assets versus accessing them in a world where national boundaries are eroded. Canada’s industry should target opportunities outside North America while continuing to focus on better integration with the North American industry.     

求解布尔不可满足子式的消解悖论算法

求解布尔不可满足子式在超大规模集成电路设计与验证领域都具有非常重要的理论与应用价值,帮助EDA工具迅速定位错误与不一致。针对求解不可满足子式的非完全方法,提出了消解悖论与悖论解析树的概念,在此基础上提出一种启发式局部搜索算法。该算法根据公式的消解规则,采用局部搜索过程直接构造证明不可满足性的悖论解析树,而后递归搜索得到不可满足子式;算法中融合了布尔推理技术、动态剪枝方法及蕴含消除方法以提高搜索效率。基于随机测试集进行了实验对比,结果表明提出的算法优于同类算法。